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