(y + 2x ≠ 36) ∨ (y > A) ∨ (x > A)
(y + 2x ≠ 40) ∨ (y > A) ∨ (2x > A)
(2y + 3x ≠ 64) ∨ (2y > A) ∨ (x > A)
(2y + 3x ≠ 48) ∨ (2y > A) ∨ (3x > A)
(5y + x ≠ 96) ∨ (y > A) ∨ (3x > A)
(y + 3x < A) ∨ (y + x > 28) ∨ (y - x < 10)
(y + 3x < A) ∨ (x > 20) ∨ (y > 40)
(y + 2x < A) ∨ (x > 20) ∨ (y > 40)
(2y + 3x < A) ∨ (x + y > 40)
(7y + x < A) ∨ (2x + 3y > 100)