A w. E z. E y. E x. (1 - 5y < x + 2z && 1 + y - 4z + w < 13x && x < -2 && z > 0 && x < 10)
