[lou1306]

This requires arithmetics and constraint solving skills that are wildly out of reach to any pure-LLM platform. At the very least you would need interfacing with a real SMT or LP solver to get something that fits the bill.

[gadders]

Looks like we're stuck with coding assistants and Studio Ghibli pics then :-)