WolframAlpha computational knowledge AI
gcd (x^3-2, x + 1)