These are really fun, thanks for posting this. Only weirdness I've seen is that I got a red bar for selecting a correct answer on one question because I had not yet selected the correct answer for the question it was about, which threw me off briefly. Working on level 3 now.

“what is the only answer with ${q}?” seems like a bug.

It took me a second to realize "has the answer E" meant "as the answer" not "as an option," but I think that's a glitch in my brain, not the puzzle.

I did accidentally pull down too hard on my screen when I was trying to scroll up, which accidentally refreshed and deleted all my answers on all difficulties, not even just the one I was working on/hadn't solved yet, so that's less than ideal. I almost had level 4 done, but no way I wanted to go back and redo it all!

I'd also love an "answer lock" button, and/or floating undo/redo buttons, because sometimes to take the next step, I need to put in an answer and game out how the rest of the puzzle comes together with that answer, and it would help to be able to undo back to that point, not just try to count my steps and keep scrolling down to the undo button for more of them. I'm not likely to get out a piece of paper or pop open a notepad app to game it out that way.

Both Gemini and Claude can effortlessly write a python program to solve the first problem, using z3

https://claude.ai/share/86224755-5245-4635-ba6d-66fad5573118

https://g.co/gemini/share/d94e7e3d675e

Not really surprising, but was still nice to see

I probably shouldn't be trying this so late at night, but that was a lot of fun! Thanks for sharing!

The undo/redo buttons were very helpful, I was certain I had figured a test out but ended up being wrong. Being able to go back to the assumption I made early on instead of having to restart was much appreciated

Finished my first level 5 today! I like the format of having this as a daily puzzle. If I went back through the archives I'd probably burn out on it pretty quick. Once again, nice work and thanks for sharing.