Solving equations involving vertical angles and linear pairs