Maybe I have to wait until I learn and study more, but I just became curious. I know that every finite group of prime order is cyclic, and hence unique up to isomorphism. I have 2 questions about this.
(1) [Converse] If I know that a finite group of nonprime order $n$ is always cyclic, can we conclude that $n$ is a prime or 1? In other words, if $n$ is not a prime or 1, can we always find a group of order $n$ which is not cyclic?
(2) If I know that a finite group of nonprime order $n$ is always unique up to isomorphism, can we conclude that every finite group of order $n$ is cyclic as well?
(1) No, the smallest counterexample is $n = 15$; up to isomorphism the only group of order $15$ is $Z_3 \times Z_5 \cong Z_{15}$ but $15$ is not prime.
Much more generally, if $$n = p_1 \cdots p_k$$ for distinct primes $p_1, \ldots, p_k$ such that $p_i \, \nmid \, (p_j - 1)$ for all $1 \leq i, j \leq k$, then there is only one group of order $n$ up to isomorphism, namely $Z_n \cong Z_{p_1} \times \cdots \times Z_{p_k}$. In fact, such numbers account for all counterexamples; see http://groupprops.subwiki.org/wiki/Classification_of_cyclicity-forcing_numbers .
The list of such numbers is given as OEIS A050384 (with $1$ not excluded as in the question, NB we can regard it as the empty product of primes):
$$1, 15, 33, 35, 51, 65, 69, 77, 85, 87, \ldots.$$
With $1$ included, this is precisely the list of positive integers $n$ that are coprime with their cototient $n - \phi(n)$, where $\phi$ is Euler's totient function.
(2) If I understand you correctly---namely, if you're asking that if for some $n$ there is exactly one group of order $n$ up to isomorphism, is it cyclic)---the answer is yes, as for any $n$, there is a cyclic group $Z_n$ of order $n$.