WolframAlpha computational knowledge AI
isprime(10^15+37)