5*x - 2*(x - 4) > 9*x + 23
And(-oo < x, x < -5/2)
(-oo < x)∧(x < -5/2)
(-oo, -5/2)
x in Interval.open(-oo, -5/2)