- A + D = B
- B + D = C
- C + D = E
Solve
- A + B = C
- B + E = A
- B + C = D
Solve
- B + E = D + 5
- C + D = E + 2
- B + C = E + 3
Solve
- B + C = A + 4
- B + D = A + 1
Solve
- E = C + 3
- E = A + 4
- B = A + 2
Solve
- E = A + 4
- C = A + 1
- D = C + 1
Solve
- D + E = A + B
- C + D = A + E
- A ≠ 5
- A ≠ 1
- B + E = A + C
- A ≠ 4
Solve
- C + E = A + B
- C + D = B + E
- E ≠ 2
- A ≠ 5
- E ≠ 4
Solve
- 2B = A + C
- D > B
- 2E = C + D
Solve
- 2E = B + D
- 2C = D + E
- A > E
Solve
- A + E ≤ 4
- C + E = A
- A + C = D
Solve
- D + E = B
- B + D = A
- A + E ≤ 6
- C + E = A
Solve
- B + C + D = 8
- C + E = 3
- B + C = 5
Solve
- A + D = 5
- B + D = 8
- B + C = 9
Solve
- if C > 1 then A > 3
- if B + E ≤ 3 then A + D ≤ 6
- if A ≥ 1 then E ≥ 2
- if A + E ≤ 9 then B + D ≤ 4
- if B + D ≤ 3 then A + E ≤ 6
- if D + E ≤ 5 then B ≥ 4
- if C ≠ 1 then B + E ≤ 6
- if C + D ≤ 5 then B + E ≤ 5
Solve
- if B + E ≤ 9 then C + D ≤ 3
- if D + E ≤ 6 then A + B ≤ 7
- if A + C ≤ 5 then D + E ≤ 3
Solve
- C ≥ 1 if and only if B + D ≤ 3
- C < 2 if and only if D > 1
- D + E ≤ 3 if and only if B + C ≤ 5
- A < 4 if and only if B + D ≤ 4
- B + D ≤ 6 if and only if E ≠ 5
Solve
- A + B ≤ 7 if and only if C < 1
- A + C ≤ 7 if and only if D + E ≤ 8
- A + E ≤ 7 if and only if C + D ≤ 4
- E > 2 if and only if C ≥ 2
- E ≤ 4 if and only if C + D ≤ 3
- A + D ≤ 4 if and only if B + E ≤ 4
Solve
- AD + B + CD = C + E
- A > BD
Solve
- C = A + B
- D = A + C
- B + E = AC + D
Solve
- C = A + E
- E = B + 2
- if BE + 3E ≠ B then AA + D > E
Solve
- A = CC
- C + D = 5
- B + C = D
Solve