/ 2 \ log(25 - 5*x) >= log\x - 8*x - 15/ + log(x + 2)
log(25 - 5*x) >= log(x + 2) + log(x^2 - 8*x - 15)
/ ____\ And\-2 < x, x < 4 - \/ 31 /
(-2 < x)∧(x < 4 - sqrt(31))
____ (-2, 4 - \/ 31 )
x in Interval.open(-2, 4 - sqrt(31))