# x / 2 = (3x) / 4 + 5 #
הכפל את שני הצדדים על ידי #color (אדום) 4 #.
# צבע אדום # (x / 2) = צבע (אדום) 4 ((3x) / 4 + 5) #
# צבע אדום (אדום) 4 (x / 2) = צבע (אדום) 4 * (3x) / 4 + צבע (אדום) 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 (כחול) 20 = x 20 צבע (כחול) 20 #
#implies -20 = x #
#implies x = -20 #
