x-12=13
Let's solve in ℝ: x -12 = 13
x = 13 + 12
▶Solution found: x = 25