Solving equations using properties