WolframAlpha computational knowledge AI
solve [1-0.05*(x-y-1)]*z < [1-0.05*(x-(y-5)-1)]*(z+10) for x