Convert string representation of a comparison formula back to formula

Question

Python newbie here.

I have a library function that is expecting a formula; solver.Add(x + y < 5)

However my formula is dynamic and being provid