if 4 x = 12 then x = 3.​