Log[6, (21-7x)] >= Log[6, (x^2-8x+15)]+Log[6, (x+3)]