I have a system of about 20 equations and 16 variables with (fairly large > 2^30) integer coefficients including some symbolic constants. When I use
Solve[eqns,vars]
it gives me {{}} so it seems to say there is no solution. However when I use
Solve[eqns,vars,Integers]
it introduces some new constants and gives me a Conditional Solution. I do not know how (or why) the new constants are selected. I am concerned about the uniqueness of the solution.
I am new to Mathematica 10. I last used Mathematica ver 4.0 when I taught "Calculus and Mathematica" in 1989.