Simplify 6-1>=5+8(2+y)+y^2