On 8/4/11 9:05 AM, Jerome Baum wrote: > What is that supposed to tell you? It's not like Mathematica does an > exhaustive check either. The PRIMES algorithm can be expressed in Mathematica, and provides an exhaustive check. Mathematica's built-in tools don't provide PRIMES, but it can be added by a modestly proficient Mathematica user.