Decompositions of Natural Numbers: From a Case Study in Mathematical Theory Exploration