2 |x + 4| > x + 7*x + 12
|x + 4| > x^2 + 7*x + 12
(-4, -2)
x in Interval.open(-4, -2)
And(-4 < x, x < -2)
(-4 < x)∧(x < -2)