Here's a link to the Math Encounters Blog with an example of designing a dual-modulus counter using Mathcad.
"This blog post shows how to design a basic dual-modulus counter. It presents both the theory and a worked example. This example is very similar to a frequency divider that is currently out in the field in thousands of units."