16 - 8*x > 28 - 4*(x - 3)
(-oo, -6)
x in Interval.open(-oo, -6)
And(-oo < x, x < -6)
(-oo < x)∧(x < -6)