Для работы с выражениями любой сложности необходимы формальные правила вычислений.
... с помощью обозначений мы можем делать переходы в рассуждениях почти механически; без обозначений нам бы потребовались высшие способности мозга. ... Цивилизация развивается за счёт увеличения числа важных операций, которые могут быть выполнены машинально.
А.Н.Уайтхед: Введение в математику, 1919.
x - 3 = 5 - x
⇓
2x = 5 + 3