8*x - 2 x <= ------- x + 5
x <= (8*x - 2)/(x + 5)
Or(And(1 <= x, x <= 2), And(-oo < x, x < -5))
((1 <= x)∧(x <= 2))∨((-oo < x)∧(x < -5))
(-oo, -5) U [1, 2]
x in Union(Interval.open(-oo, -5), Interval(1, 2))