[Question] Is there a good software solution for mathematical questions?

I have a programming problem that I want to optimize. To optimize it I have to calculate the minimum value that’s possible for one variable given a set of equations (where some but not all variables are known at runtime). Is there any good automatized system that does that job for me and that gives me a formula given my constraints?