eolymp
bolt
Спробуйте наш новий інтерфейс для відправки розв'язків
Задачі

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

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

Школяр Бека виявив, що одне і те ж співвідношення можна записати по-різному. Наприклад: "\textbf{x>=25}" можна записати і як "\textbf{x-25>=0}", і як "\textbf{25<=x}" і навіть як "\textbf{2*x-3*y-12>=x-y*3+13}". Він почав перевіряти рівносильність різноманітних співвідношень, наведених у одному товстому задачнику з математики. Нагадаємо, что два співвідношення називаються рівносильними, якщо для довільного комплекту значень змінних, використаних у них, або обидва ці співвідношення вірні, або обидва вони не вірні (тобто якщо їхні так звані істиностні значення рівні завжди). Задавшись метою перевірити еквівалентність абсолютно усіх співвіношень з книги, Бека швидко зрозумів, що йому необхідна програма, яка допоможе прискорити цю роботу. Програмувати він ще не вміє, тому просить про допомогу Вас. Потрібно скласти програму, яка за заданими двома співвіношеннями видасть вердикт про їхню рівносильність на англійській мові -- або \textbf{YES}, або \textbf{NO}. Кожне з співвіношень задано у вигляді рядка. У якості знака співвіношення може бути один з наступних: \textbf{< <= > >= = <>} . У якості операндів виразів, які складають ліву та праву частини співвідношення, можуть бути або двосимвольні сполучення \textbf{Х0}, \textbf{Х1}, ..., \textbf{Х9}, які позначають змінні, або не більше ніж двозначні десяткові числа (можливо з ведучим нулем). У якості знаків операцій у виразах можуть бути використані наступні: \textbf{- + *} . \InputFile Вхідний файл містить два рядки, які задовольняють наведеним обмеженням. У кожному рядку по одному співвідношенню, яке задовльняє наведеним умовам. Довжина кожного рядка, що містить досліджуване співвідношення, не менша \textbf{3} і не більша \textbf{1000}. У послідовності, складеній лише зі знаків операцій окремо для лівої та окремо для правої частин, знак множення не може зустрічатись двічі підряд. Рядки не містять пропусків. У виразі змінна може домножуватись лише на число. Аналогічно, число може домножуватись лише на змінну. Тести гарантують, що співвідношення задано коректно. Тобто у кожного співвідношення є рівно один знак порівняння, а також є і права і ліва частини, задані у відповідності з умовою. \OutputFile Вихідний файл містить єдиний рядок. У цьому рядку з першої позиції повинен бути текст \textbf{YES}, якщо рядки еквівалентні, а у протилежному випадку повинен бути (також з першої позиції) текст \textbf{NO}.
Ліміт часу 1 секунда
Ліміт використання пам'яті 64 MiB
Автор Теодор Заркуа
Джерело Зимова школа, Харків 2009, контест Теодора Заркуа та його учнів