Problem: in an office , 60 percent of the workers have at least 5 years of service , and a total of 16 workers have at least 10 years of service . if 90 percent of the workers have fewer than 10 years of service , how many of the workers have at least 5 but fewer than 10 years of service ?
Rationale: "( 10 / 100 ) workers = 16 = > number of workers = 160 ( 60 / 100 ) * workers = x + 16 = > x = 96 answer a"
annotated_formula: divide(subtract(divide(multiply(divide(16, divide(10, const_100)), 90), const_100), multiply(divide(16, divide(10, const_100)), divide(const_1, const_2))), multiply(const_2, const_4))