WolframAlpha computational knowledge AI
solve ax^2+y = 3, y-x=a for x,y