WolframAlpha computational knowledge AI
0 <= x(1+y) <= 100