# X / 2 = (3x) / 4 + 5 #
Vermenigvuldig beide kanten met #color (rood) 4 #.
#implies kleur (rood) 4 (x / 2) = kleur (rood) 4 ((3x) / 4 + 5) #
#implies kleur (rood) 4 (x / 2) = kleur (rood) 4 * (3x) / 4 + kleur (rood) 4 * 5 #
#implies 2x = 3x + 20 #
Aftrekken #color (paars) (2x) # van beide kanten.
#implies 2x-kleur (paars) (2x) = 3x + 20 kleuren (paars) (2x) #
#implies 0 = x + 20 #
Aftrekken #color (blauw) 20 # van beide kanten.
#implies 0-kleur (blauw) 20 = x + 20 kleuren (blauw) 20 #
#implies -20 = x #
#implies x = -20 #
