Exhibiting Randomness in Arithmetic using Mathematica and C

In my book "Algorithmic Information Theory" I explain how I constructed a million-character equation that proves that there is randomness in arithmetic. My book only includes a few pages from the monster equation, and omits the software used to construct it. This software has now been rewritten in Mathematica. The Mathematica software for my book, and its input, are here in their entirety. The Mathematica code is remarkably compact, but it sometimes is slow. So one C program plus equipment for automatically generating another is also included in this software package.