I would say in my applied math degree we didn't really solve most problems (maybe an easy problem on a test) but we did work more directly with actual numbers in our proofs, and we usually proved theorems focused on solving computational problems. But mostly, no, we were not solving problems computaitonally