Mathematics Distillation Challenge – Equational Theories