/ 2 \ log(2)*\x + 2*x - 3/ <= log(2)*(x + 9)
(x^2 + 2*x - 3)*log(2) <= (x + 9)*log(2)
And(-4 <= x, x <= 3)
(-4 <= x)∧(x <= 3)
[-4, 3]
x in Interval(-4, 3)