Solving problems with proportions