Exercise algebra.inequalities.quadratic

Description
solve a quadratic inequation

Derivation

x^2-x-7 < -100

⇒ algebra.inequalities.to-equation, clipboard=[ineq == (x^2-x-7 < -100)]

x^2-x-7 == -100

⇒ algebra.equations.quadratic.move-left

x^2-x+93 == 0

⇒ algebra.equations.quadratic.abc, clipboard=[D == -371, a == 1, b == -1, c == 93, ineq == (x^2-x-7 < -100)]

false

⇒ algebra.inequalities.give-solution, clipboard=[D == -371, a == 1, b == -1, c == 93]

false