solve for y, [y = x+7,y=z+1, y>x+z, x>0, z>0, y>0]