Dividing both sides of an equation