Рівносильність

Школяр Бека з'ясував, що одне й те саме математичне відношення можна записати у різних формах. Наприклад, x \geq 25 також можна подати як x-25 \geq 0, 25 \leq x, або навіть 2*x-3*y-12 > x-y*3+13. Бека почав перевіряти еквівалентність різних відношень, поданих у великій книжці математичних задач. Два відношення вважаються еквівалентними, якщо для будь-якої множини значень змінних, що використовуються в цих відношеннях, обидва вони або істинні, або хибні (тобто їхні значення істинності завжди співпадають).

Бека захотів перевірити еквівалентність усіх відношень у книжці, але швидко зрозумів, що йому потрібна програма для пришвидшення цього процесу. Оскільки він не вміє програмувати, він звертається до вас по допомогу.

Вам потрібно написати програму, яка за двома заданими відношеннями визначає, чи є вони еквівалентними, виводячи або YES, або NO. Кожне відношення задано у вигляді рядка. Оператор порівняння може бути одним із таких: $<$, $<=$, $>$, $>=$, $=$, або $<>$. Операндами у виразах, що утворюють ліву й праву частини відношення, можуть бути лише однолітерні змінні $0$, $1$, $\dots$, $9$ або не більш ніж двоцифрові десяткові числа (можливо з нулем на початку). У виразах можуть використовуватись такі знаки операцій: $-$, $|$, $\ast$.