WolframAlpha computational knowledge AI
X + 6 = Z; Y + 1 = Z; X + Y < Z