8*x - 4*(x - 9) > 10 - 5*x
(-26/9, oo)
x in Interval.open(-26/9, oo)
And(-26/9 < x, x < oo)
(-26/9 < x)∧(x < oo)