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