Is this true?
If d divides |G| then G has a subgroup of order d
No — it is false.
From Groups › Subgroups, cosets, Lagrange, cyclic groups