Arithmetic reasoning datasets in a consistent format, with mutually exclusive data splits.