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

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

• B + E = D + 5
• C + D = E + 2
• B + C = E + 3

• B + C = A + 4
• B + D = A + 1

• E = C + 3
• E = A + 4
• B = A + 2

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

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

• 4D = 2A
• E = 3C

• 3E = C
• 2D = B

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

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

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

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

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

• A + E ≤ 4
• C + E = A
• A + C = D

• D + E = B
• B + D = A
• A + E ≤ 6
• C + E = A

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

• A + D = 5
• B + D = 8
• B + C = 9

• 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

• if B + E ≤ 9 then C + D ≤ 3
• if D + E ≤ 6 then A + B ≤ 7
• if A + C ≤ 5 then D + E ≤ 3

• 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

• 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

• D + E = A
• 2E = B
• 2B = A

• D = BB
• AD = D
• E > 3

• AD + B + CD = C + E
• A > BD

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

• C = A + E
• E = B + 2
• if BE + 3E ≠ B then AA + D > E

• A = CC
• C + D = 5
• B + C = D