Wow! See the classic https://en.wikipedia.org/wiki/TK_Solver
and Borland's Eureka solver https://nagodede.github.io/eureka/