is Prime Iff the 14 Diophantine Equations in 26 variables
References
Riesel, H. Prime Numbers and Computer Methods for Factorization, 2nd ed. Boston, MA: Birkhäuser, p. 39, 1994.