mathematical reasoning via verifiable subquestions