xy - 8 + 2z = 30