WolframAlpha computational knowledge AI
x^32+y^31, x+y=4, xy=1