2 x - x + 3 -5*x 7 <= 7
7^(x^2 - x + 3) <= (1/7)^(5*x)
And(-3 <= x, x <= -1)
(-3 <= x)∧(x <= -1)
[-3, -1]
x in Interval(-3, -1)