get range of values for inequalities

edit

Simply using solve or solve_ineq is not solving the problem. For example, look at the piece of code mentioned in the sage docs:

sage: solve_ineq([x-y<0,x+y-3<0]) # random [[x < y, y < -x + 3, x < (3/2)]]

I get some other inequalities as output!

As for qepcad package, I too read that it might offer a solution to my problem and try to go through the docs. I couldn't really wrap my head around what's written there and I have very less time to do this :(

This is just a one time requirement for me. I don't really have to deal with sage or any other mathematics software again. Heck, I read about sage, mathematica etc for the first time yesterday. As for my mathematics prowess, I haven't really worked on this since my college :)

It would be really helpful if one could solve atleast one

Could you precise what kind of result do you expect ?

For the following set of inequalities, a == b + c && a >= 12 && b <= 10 && c <= 10 && b >= 1 && c >= 1 I expect the solution to be, 12 <= a <= 20 && 2 <= b <= 10 && 2 <= c <= 10 I would want range of values of the variables involved as the output