MathDB
SMT 2002 Algebra #5

Source:

June 27, 2012

Problem Statement

Solve for a,b,ca, b, c given that abca \le b \le c, and
a+b+c=1a+b+c=-1
ab+bc+ac=4ab+bc+ac=-4
abc=2abc=-2