-9 - 8*x <= 2*x - 17
-8*x - 9 <= 2*x - 17
And(4/5 <= x, x < oo)
(4/5 <= x)∧(x < oo)
[4/5, oo)
x in Interval(4/5, oo)