21+z*x < 34*y