WolframAlpha computational knowledge AI
x >= y / 2 + 7 and y >= x/2 +7