WolframAlpha computational knowledge AI
z = 4 - 2x - y