Definition Let be the unique integer (with respect to a fixed ) such that
Conjecture A natural number is a prime iff
The conjecture is obviously true when is prime, so it suffices to check when is composite.
Bibliography
* indicates original appearance(s) of problem.