log(x + 6) log(12 - 2*x) ---------- <= ------------- log(2) log(3)
log(x + 6)/log(2) <= log(12 - 2*x)/log(3)