title: Verifying properties using Solver
body: <p>I have a system of equations of the form:</p>
  
  <p>x1 * x2 *.... * xn = a,  where * can either be + or - .</p>
  
  <p>I am building some other equation of the same form, and I want to verify 
  if they are satisfied by the first system.</p>
  
  <p>My question is: Is there a solver that can affirm whether the given equation is satisfied or not?</p>
  
  <p>Many thanks,
  Cheers</p>