-5*(x - 3) + 12 > 4*x - 9
12 - 5*(x - 3) > 4*x - 9
And(-oo < x, x < 4)
(-oo < x)∧(x < 4)
(-oo, 4)
x in Interval.open(-oo, 4)