x < 0.5*(2*y + sqrt(z^2+10*z+1600) - z - 8) where y = 5 and z = 8