Various routines for brute-force solution to exercises from Birkhoff and MacLane's Algebra.