Mathematica's PrimeQ returns True For more info, see http://mathworld.wolfram.com/IntegerSequencePrimes.html and links therein
To be completed...