3-(x-5)/2 <= ((x+4)^2)/2-(1+x)(x-1)