/ 2 \ log(45 - 9*x) < log\x - 12*x + 35/ + log(x - 1)
log(45 - 9*x) < log(x - 1) + log(x^2 - 12*x + 35)