I'm trying to build an algebra trainer for students. I want to construct a representative problem, define constraints and relationships on the parameters, and then generate a bunch of Latex formatted problems from the representation. As an example:

A specific question might be:

If y < 0 and (x+3)(y-5) = 0, what is x?

Answer (x = -3)

I would like to encode this as a Latex formatted problem like.

If $y<0$ and $(x+constant_1)(y+constant_2)=0$ what is the value of x?
Answer = -constant_1

And plug into my problem solver

constant_1 > 0, constant_1 < 60, constant_1 = INTEGER
constant_2 < 0, constant_2 > -60, constant_2 = INTEGER

Then it will randomly construct me pairs of (constant_1, constant_2) that I can feed into my Latex generator.

Obviously this is an extremely simple example with no real "solving" but hopefully it gets the point across.

Things I'm looking for ideally in priority order
* Solve algebra problems
* Definition of relationships relatively straight forward
* Rich support for latex formatting (not just writing encoded strings)

Thanks!