Каждое действие понятно...
Ну, может, и понятно. Не знаю.
По-моему, бесспорно здесь лишь то, что когда-то автор видел, как выполняют тождественные преобразования уравнений или неравенств. И вот попытался сам эти преобразования сымитировать. А в каком направлении вильнёт его мысль — по-моему, прогнозировать невозможно.
Например, когда и с какой стати символ
отношения «меньше» должен вдруг превратиться в символ
операции «минус»? А затем вновь в символ
отношения, но уже другого? Выбор этих моментов едва ли предсказуем.