18 - 5*(x + 3) > 2 - 7*x
And(-1/2 < x, x < oo)
(-1/2 < x)∧(x < oo)
(-1/2, oo)
x in Interval.open(-1/2, oo)