9-(x-y+4)-(x+z-2)+(z-y+1)