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