solving proportions with variables