No. The alternating group has order twelve, and six is a proper divisor of twelve, but has no element of order six. Its nonidentity elements are eight 3-cycles of order three and three double transpositions of order two.
Solved by gpt-5.6-sol high.
Codex Wiki