- B + E = A
- A + C = D
- A + E = F
Solve
- A + F = E
- B + C = F
- C + D = E
- C + F = D
Solve
- B + E = F + 3
- D + E = A + 5
- D + F = E + 2
Solve
- B + C = A + 6
- A + F = D + 5
- C + E = F + 2
Solve
- E = C + 3
- F = E + 1
- D = B + 1
- B = A + 2
Solve
- E = A + 4
- C = A + 1
- F = E + 1
- D = C + 1
Solve
- 4A = 3D
- 4B = 2D
- D = 4C
- E > F
Solve
- D + E = C + F
- B ≠ 2
- D ≠ 6
- B ≠ 1
- B + C = A + F
- D ≠ 4
- B ≠ 5
Solve
- C + E = A + F
- A + C = B + D
- D ≠ 6
- B ≠ 1
- D ≠ 1
- A + E = B + F
Solve
- 2C = B + E
- B > F
- 2A = B + D
- E > A
Solve
- 2E = B + F
- 2F = C + E
- 2C = A + E
- F > A
Solve
- A + E ≤ 3
- C + D ≤ 8
- B + C ≤ 8
- C + E = D
- D + E ≤ 5
Solve
- D + F = C
- B + D = A
- C + F = B
- E > B
Solve
- E + F = 7
- A + B = 9
- B + E = 11
- C + E + F = 8
Solve
- A + D = 8
- B + D = 10
- B + D + E = 15
- D + E + F = 14
Solve
- if D ≠ 5 then E < 1
- if D + F ≤ 9 then A + C ≤ 8
- if E + F ≤ 4 then A ≠ 2
- if D ≠ 6 then F ≤ 2
- if B ≥ 5 then C + D ≤ 5
- if F ≤ 4 then A ≤ 5
- if D > 3 then A ≥ 4
- if A + B ≤ 11 then C + E ≤ 8
- if F ≠ 2 then B + E ≤ 6
Solve
- if B ≠ 2 then C + F ≤ 8
- if A ≠ 6 then D ≤ 4
- if B + E ≤ 3 then A + F ≤ 6
- if C + F ≤ 7 then B ≤ 1
- if B + C ≤ 10 then D < 2
- if F ≠ 1 then B ≥ 5
- if E ≠ 3 then C + F ≤ 4
- if C ≤ 6 then A < 2
Solve
- A ≤ 1 if and only if B ≠ 5
- C ≥ 4 if and only if A + B ≤ 10
- B < 1 if and only if E + F ≤ 4
- A + D ≤ 11 if and only if F < 5
- E ≤ 3 if and only if B + F ≤ 8
- B > 4 if and only if A + F ≤ 11
- E ≠ 4 if and only if B < 2
Solve
- A + E ≤ 10 if and only if B > 4
- E + F ≤ 5 if and only if B + D ≤ 3
- B + D ≤ 9 if and only if A + E ≤ 5
- C + F ≤ 3 if and only if B + D ≤ 7
- A + D ≤ 7 if and only if F ≥ 2
- D > 2 if and only if A + C ≤ 9
- F < 1 if and only if C + E ≤ 6
- D ≠ 3 if and only if A < 4
- B ≤ 1 if and only if C ≠ 2
Solve
- C = DF
- A = AE
- F = D + E
- D + F = A
Solve
- A = 2B + E
- BE + F = C
- C = B + F
Solve
- A + B + 4E = CD + F
- B = AC
Solve
- E = AD
- 8B + D + 1 = A + 2F
- C > F
Solve
- CD = B
- A + D = 6
- D + 4 = C if and only if A > F
Solve