log(1) log(1) ------*(x + 15) >= ------*(x - 1) - 2 3 3
(log(1)/3)*(x + 15) >= (log(1)/3)*(x - 1) - 2
(-oo, oo)
x in Interval(-oo, oo)
And(-oo < x, x < oo)
(-oo < x)∧(x < oo)