2 x - 9 x + 1 x - 5 ------ - ----- >= ----- 5 4 2
-(x + 1)/4 + (x^2 - 9)/5 >= (x - 5)/2
(-oo, 3/4] U [3, oo)
x in Union(Interval(-oo, 3/4), Interval(3, oo))
Or(And(3 <= x, x < oo), And(x <= 3/4, -oo < x))
((3 <= x)∧(x < oo))∨((x <= 3/4)∧(-oo < x))