Solving real-world problems with high-level math