[2401.05384] From Good to Great: Improving Math Reasoning with Tool-Augmented Interleaf Prompting