This was awesome. It takes way too long to search for solutions in the later levels when you need lots of variables, but other than that, this was a very, very fun game.
Polynomials: Enterprise Edition
Polynomials: Enterprise Edition is a programming problem-solving game heavily based on the style of Zachtronics games. While most programming games use their own imperative language, Polynomials: Enterprise Edition uses a highly limited constraint-based language based on Diophantine Equations. According to the Matiyasevich (MRDP) Theorem, this language is technically Turing complete, but limitations on the implementation and practical constraints prevent it from being even remotely useful as a programming language.
Uses math.js: http://mathjs.org/
Created for the Game Maker's Toolkit Jam 2018