# x / 2 = (3x) / 4 + 5 #
คูณทั้งสองข้างด้วย #COLOR (สีแดง) 4 #.
#implies color (red) 4 (x / 2) = color (red) 4 ((3x) / 4 + 5) #
#implies color (red) 4 (x / 2) = color (red) 4 * (3x) / 4 + color (red) 4 * 5 #
#implies 2x = 3x + 20 #
ลบออก #COLOR (สีม่วง) (2x) # จากทั้งสองด้าน
#implies 2x-color (สีม่วง) (2x) = 3x + 20-color (สีม่วง) (2x) #
#implies 0 = x + 20 #
ลบออก #color (สีน้ำเงิน) 20 # จากทั้งสองด้าน
#implies 0-color (blue) 20 = x + 20-color (blue) 20 #
#implies -20 = x #
#implies x = -20 #
