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