Vous utiliserez pour vérifier si un nombre est premier l'algorithme suivant, basé sur le petit théorème de Fermat. Il teste le théorème de Fermat pour s'assurer que est premier. Si ne vérifie pas ce théorème pour une valeur arbitraire, alors n'est pas premier. Sinon, on ne peut pas conclure immédiatement. Le cas particulier où on trouverait un nombre inversible qui ne soit pas un multiple de nous permet de conclure la non-primarité de . Le test est effectué fois, si aucune valeur ne mettant en défaut le théorème de Fermat n'est trouvée, alors est probablement premier.
Ecrire cet algorithme sans gmp pour tester la primarité de nombres générés aléatoirement, vérifier les résultats retournés.