Sí y no. Podemos ver algunos ejemplos:
e3=ex⟹3=x
esto es cierto porque las ex es una función.
22=x2⟹x=2
es que no es cierto, porque x2 no es uno a uno.
Para la aplicación de las funciones puede cambiar ciertos aspectos de las ecuaciones. La solución original que queda en alguna parte, pero a veces extra soluciones pueden pop-up, o a intervalos que no contienen la solución no es válida. En tu ejemplo:
1x=5⟹5x=1
es cierto. La solución es claramente 15. Sin embargo,
1x=0⟹0x=1
claramente no tiene soluciones (ya que la implicación es una falsedad), y es la razón por la que la primera ecuación es de más de R∖{0}. Lo que estamos diciendo es que las ecuaciones en abstracto no siempre funcionan en los mismos números, pero si la solución existe en el primer caso, en el segundo también.