E y. E x. 1 - 5y < x && 1 + y < 13x && x < -2
