• 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

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

Solve

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

Solve

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

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

  • CE + F = A
  • DE = A

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