PrimeQ[29*(80!) + 1]