Problem: a mixture of sand and cement contains , 3 parts of sand and 5 parts of cement . how much of the mixture must be substituted with sand to make the mixture half sand and half cement ?
Rationale: we have total of 8 parts : 3 parts of sand and 5 parts of cement . in order there to be half sand and half cement ( 4 parts of sand and 4 parts of cement ) , we should remove 1 part of cement . with 1 part of cement comes 3 / 5 parts of sand , so we should remove 1 + 3 / 5 = 8 / 5 part of the mixture , which is ( 8 / 5 ) / 8 = 1 / 5 of the mixture . answer : c .
annotated_formula: divide(add(const_1, divide(3, 5)), add(5, 3))