x - 4 < 3*x + 9
And(-13/2 < x, x < oo)
(-13/2 < x)∧(x < oo)
(-13/2, oo)
x in Interval.open(-13/2, oo)