WolframAlpha computational knowledge AI
(x-4)(y+5)=(x+4)(y-3), (x+1)(y-4)=(x-5)(y+2)