• B + E = A
• A + C = D
• A + E = F

• A + F = E
• B + C = F
• C + D = E
• C + F = D

• B + E = F + 3
• D + E = A + 5
• D + F = E + 2

• B + C = A + 6
• A + F = D + 5
• C + E = F + 2

• E = C + 3
• F = E + 1
• D = B + 1
• B = A + 2

• E = A + 4
• C = A + 1
• F = E + 1
• D = C + 1

• B = 4D
• A = 3C
• 3D = F

• 2C = D
• 2A = 3B
• A = 2E

• 3E = C
• 3F = 4A
• 2E = 4D

• 4A = 3D
• 4B = 2D
• D = 4C
• E > F

• D + E = C + F
• B ≠ 2
• D ≠ 6
• B ≠ 1
• B + C = A + F
• D ≠ 4
• B ≠ 5

• C + E = A + F
• A + C = B + D
• D ≠ 6
• B ≠ 1
• D ≠ 1
• A + E = B + F

• 2C = B + E
• B > F
• 2A = B + D
• E > A

• 2E = B + F
• 2F = C + E
• 2C = A + E
• F > A

• A + E ≤ 3
• C + D ≤ 8
• B + C ≤ 8
• C + E = D
• D + E ≤ 5

• D + F = C
• B + D = A
• C + F = B
• E > B

• E + F = 7
• A + B = 9
• B + E = 11
• C + E + F = 8

• A + D = 8
• B + D = 10
• B + D + E = 15
• D + E + F = 14

• 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

• 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

• 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

• 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

• C = DF
• A = AE
• F = D + E
• D + F = A

• A = 2B + E
• BE + F = C
• C = B + F

• CE + F = A
• DE = A

• A + B + 4E = CD + F
• B = AC