MathDB
2006 SMT Algebra #6 - All Values of a+b+c

Source:

August 24, 2011
SFFT

Problem Statement

Let a,b,ca,b,c be real numbers satisfying: aba=b+119ab-a=b+119 bcb=c+59bc-b=c+59 cac=a+71ca-c=a+71 Determine all possible values of a+b+ca+b+c.