solve x/2=5
Let's solve in ℝ: x2 = 5
x = 5·2
▶Solution found: x = 10