WolframAlpha computational knowledge AI
5a^2-4a/a>1