Upgrading from:

NumberTheory`PrimeQ`

All the functionality in NumberTheory`PrimeQ` is now available through the newly created Primality Proving Package.

To access functionality from the new Primality Proving Package, load PrimalityProving`:

Version 5.2 << NumberTheory`PrimeQ`

The options should be given as strings:

Version 5.2 << NumberTheory`PrimeQ`
ProvablePrimeQ[11, Certificate -> True]