WolframAlpha computational knowledge AI
(-5x-20)'*(x)/(-5*(x)-20)>1