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{<=}" "\textbf{>}" "\textbf{>=}" "\textbf{=}" "\textbf{<>}". У якості операндів виразів, які складають ліву і праву частини співвідношень, можуть бути лише двсимвольні \textbf{0}, \textbf{1}, ..., \textbf{9}, які поозначають змінні, або не більше ніж двозначні десяткові числа (можливо з ведучим нулем). У якості знаків операцій у виразах можуть бути використані наступні: "\textbf{-}" "\textbf{|}" "\textbf{*}". \InputFile Вхідний файл містить два рядка, які задовольняють наведеним обмеженням. У кожному рядку по одному співвідношенню, яке задовольняє наступні умови. Довжина кожного рядкаи, який містить досліджуване співвідношення, не менше \textbf{3} і не більше \textbf{1000}. У послідовності, складеній лише зі знаків операцій окремо для лівої і правої частин, знак множення не може зустрічатись двічі підряд. Рядки не містять пропусків. У виразі змінна може множитись лише на число. Аналогічно, число може множитись лише на змінну. Тести гарантують, що співвідношення задані коректно. Тобто у кожного співвідношення є рівно один знак порівняння, а також є і права, і ліва частини, задані у відповідності з умовою. \OutputFile Вихідний файл містить єдиний рядок. У цьому рядку з первшої позиції повинен бути текст \textbf{YES}, якщо рядки еквівалентні, або у протилежному випадку повинен бути (також з першої позиції) текст \textbf{NO}.
Ліміт часу 1 секунда
Ліміт використання пам'яті 256 MiB
Вхідні дані #1
2<-1
X0+32=0*X1-X0-25+X0*2
Вихідні дані #1
YES
Автор Т.Заркуа
Джерело Зимові збори у Харкові 2010 День 7