WolframAlpha computational knowledge AI
(a)*(21+b-x)/20 < (a+10) * (16+b-x)/20