https://english-audio-conversations.blogspot.com/2023/12/solver-arithmetic-expressions-with.html