Data Augmentation for Mathematical Objects