Solving equations using properties of operations