WolframAlpha computational knowledge AI
Reduce[{x + y < 0, x y > 3}, {x,y}]