WolframAlpha computational knowledge AI
PrimeQ[29*(80!) + 1]