r equal to -4?
False
Let c be 6 - -3*8/(-4). Which is smaller: -3/13 or c?
-3/13
Let f be 28 - (-1)/((-2)/2). Suppose 26 = -g - 3*b, -4*g + 36 = 2*b + 170. Let q = g + f. Is -8 != q?
False
Let b(j) = -2*j - 9. Let c be b(-6). Is -1 smaller than c?
True
Let f = -49384280423543/2532402270090 - 4/609043355. Let s = f + 2/2079. Which is greater: s or -21?
s
Let m be (3 + -2)/((-3)/57). Let j be (-66)/(-4) + ((-33)/(-6) - 6). Let w be j/(-8) + m/(-8). Which is smaller: 1 or w?
w
Let z = -6 + 6.4. Let r = z + 0.6. Let v be 2/4*((-63)/27 + 3). Do v and r have different values?
True
Let a = -446/57 - -60/19. Is a > 6?
False
Let h = 55 + -39. Suppose -2*m + 52 = -5*w, 3*m + 4*w - 36 = w. Is h smaller than m?
False
Let o be (-6)/(-2) - 20/5 - -1. Let s(i) = 10*i + 1. Let c be s(4). Which is greater: c or o?
c
Let s = 109 + -78. Let a = s - 28. Which is smaller: -2 or a?
-2
Suppose -5*b = -b. Let i = -1515 + 10541/7. Let w = i - -60/7. Is w at most b?
True
Let n be (1388/(-660)*-3)/(-17). Let d = n - -1/55. Which is smaller: 0 or d?
d
Let o be 0/1 + (69 - 71). Let q = 11 + 10. Suppose -2*l = 3*w - 3, 3*w = -4*l + 6*w - q. Is l at least as big as o?
False
Let z be (2/(-4))/(4/24). Let o be (z + 2 + 1)/3. Suppose o = j - 3 - 9. Which is greater: 10 or j?
j
Suppose 5*q - 697 + 141 = -l, 3*q + 4*l - 337 = 0. Which is bigger: q or 109?
q
Let z(k) = -3 - k - 7*k**2 - 3*k - 4*k - k**3 - 6. Let v be z(-6). Let w be 4 - (v + (-1 - -3)). Is -6/5 > w?
False
Suppose -5*y + 0*y = 2*l - 25, 0 = 4*y - 5*l + 13. Let q be (6/y)/((-2)/21). Is -22 less than q?
True
Let v = 15 - 15. Let a be (-40)/6 + (v - -4). Is a not equal to -4?
True
Suppose -1679*a = -1686*a - 7. Is -40/19 < a?
True
Let w = 268 - 277. Is 2/11 smaller than w?
False
Suppose -2*y + 2*j = 7*j - 45, 0 = 5*y + 3*j - 65. Which is smaller: y or -16?
-16
Let o be (-39)/(-8)*2*4/24. Suppose 2*u - 5 = -5*z, 3*z - 5*u + 3*u - 3 = 0. Is z greater than o?
False
Let w be (2 - 4)/4*(-8)/18. Suppose 0 = -4*q + 4 + 4. Suppose -a + q = a. Is a bigger than w?
True
Let j = -5 - -10. Let t be (12/(-10) - -2)/((-14)/70). Let z = j + t. Is z smaller than 4/9?
False
Suppose 640 = 7*a - 2*a. Suppose -3*v + a = 35. Suppose 3*c + 4*x = 98, -36 = -c - 6*x + 3*x. Which is smaller: v or c?
c
Suppose -6 = 3*s + g, g + 0 - 9 = 2*s. Let y be s/(-6) - 1/2. Suppose 4*c + c - 5 = y. Which is smaller: 2/13 or c?
2/13
Let w be (5/330)/((-1)/(-266)) + -4. Let q = w - 155/33. Which is smaller: -6 or q?
-6
Let k = -87.909 + -0.091. Let b = -75 - k. Are 1 and b equal?
False
Let h be (-12)/(-15)*(-1 - (-5)/2). Let j = 0.6 + 1.4. Do j and h have the same value?
False
Let i = 4809 + -14284/3. Which is smaller: 47 or i?
47
Let b(w) = -w**2 - 10*w - 10. Let x be b(-7). Suppose 9*s = x*s. Suppose s = j - 0 - 1. Which is bigger: -1/3 or j?
j
Suppose -5*m - 35 = -5*z, 4*m - 7 = -3*z - 0*m. Suppose z*h = 2*h + 6. Let i be (-2)/(1/((-12)/(-40) - 1)). Is h bigger than i?
True
Let x(f) = 9*f - 90. Let m be x(10). Which is greater: m or 14/43?
14/43
Let y = -1.3 + 3. Let x = y - 2.4. Which is bigger: x or -2/3?
-2/3
Suppose -4*b = p + 12, 0 = 7*b + 5*p + 5 + 3. Which is smaller: -13 or b?
-13
Let k be (-16 - 2)/(-2) + 3. Let y be ((-7)/(-14))/((-1)/k). Let a = 6 - 6. Does y = a?
False
Let j be 120/6*(-14)/(-3052). Is -1 != j?
True
Let u = 650 + -596. Is u bigger than 58?
False
Suppose 2 = 2*w - 2. Let s be 1 - (w - 4) - 4. Is s at most 0.013?
True
Let b = -3830133 + 1623975235/424. Let j = 32/53 + b. Which is greater: j or -2?
-2
Let p be 12/(-21) + (2 - 64/(-14)). Let t(l) = -5*l**2 - 1. Let w(i) = -4*i**2 - i - 1. Let q(s) = 5*t(s) - 6*w(s). Let a be q(p). Which is smaller: 2/13 or a?
2/13
Let r = 0.508 - 0.048. Let j = 0.33 - r. Let p = 0.87 - j. Which is bigger: 0.3 or p?
p
Let i be ((-1)/(1/(-10)))/(-7). Let r = 36/35 + i. Is r < -1.7?
False
Let x = 0.2 - 0.1. Let v = 0 - x. Suppose 45*g = 61*g - 32. Are v and g equal?
False
Let j(v) = -4 + 3*v**3 + 8*v**2 + 3*v - 5*v**3 + 3*v**3 - 6*v**2. Let a be j(-3). Is a at most as big as -23?
False
Let i = -0.5 + 0.1. Let l = -0.3 - i. Let a = 8.9824 - -0.0176. Is a < l?
False
Let l be (-2 + 3)/((-1)/(-64)). Let s(v) = -98*v + 1143. Let q be s(11). Is l greater than q?
False
Suppose 4*q - 66 = -2*n - 0*q, -2*q - 117 = -5*n. Suppose 0 = w + 2*h + 2, 2*h = 5*w + 9 + n. Is w at most -7?
False
Let o be (2 - 0)/(4/6). Suppose m = o*m. Is 0 at least m?
True
Suppose 0 = 3*k + 2*r - 1378 + 75, 2*r = 5*k - 2161. Is k at least as big as 432?
True
Let i = 553 + -538. Let d = 307 - 587/2. Is i less than or equal to d?
False
Suppose -2*o + 2*c + 110 = 120, -2*o = -4*c + 18. Which is greater: 0.65 or o?
0.65
Let f(l) = l**2 + 10*l - 38. Let s be f(-13). Let z(n) = 9*n. Let b be z(3). Let d be b/36*8/21. Is d greater than s?
False
Let h be ((-6)/15)/(12/(-10)). Let w = 12 - 12.26. Let a = w + 0.36. Do a and h have different values?
True
Let s = 18 + -15. Let k = s - 12. Let j = k + 15. Is j less than 6?
False
Let f be 0 - 2*(3 - 4). Let j = 37 - 52. Let n = j - -16. Is f <= n?
False
Let k = -61/5 - -11. Let y = -2 + 7. Suppose -d = -y*d. Are d and k non-equal?
True
Suppose -4*j = 10 + 2. Let t = -10 - j. Which is bigger: t or -9?
t
Suppose -2*d + 3*d - 3 = 0. Suppose 2*b - 3*y - 41 = 0, 2*y + d*y - 1 = -b. Let q = 17 - b. Is q != 10/9?
True
Let c = 1363.274 - 1377.1. Let t = -0.026 - c. Let i = -14 + t. Which is greater: i or -3?
i
Let x = 2 + -1.7. Let p = -25 + 33. Let w = p - 7. Which is smaller: w or x?
x
Suppose -2*n = 18 - 68. Suppose 3*a + 2*a = -5*u - n, 5*u + 29 = -4*a. Let i(m) = 3*m + 23. Let l be i(u). Which is smaller: 3 or l?
l
Let d = -54.23 - -50. Let k = d - -0.23. Which is greater: k or -2?
-2
Let k = 11357482/694067 - 2/63097. Let h = k - 966/55. Is 0.04 less than or equal to h?
False
Let j be (-2)/(1*(-4 - -3)). Let m(l) = -2*l - 5 + 4 + 1. Let c be m(j). Which is greater: c or -2?
-2
Let o be 30/18 + 6/(-9). Is o != -2/597?
True
Let q = -1621.04 + 1621. Let o be (-4 + 2)/(-2) + -1. Let j = -1 - o. Which is smaller: q or j?
j
Let y be (-99)/15 + 6/(6/5). Let x be (0/(-2) + -2)/(-1). Suppose -2*l = -0*l - g + 1, -x*l = -4*g - 8. Which is greater: l or y?
y
Suppose -3*q + 1 = -14. Let c(o) = -2*o**2 - 6*o - 11 + 13 + 3*o**2. Let b be c(q). Is b at most -3?
True
Let q(v) = v - 1. Let n be q(7). Let r(o) = o - 2. Let s be r(n). Suppose -s + 1 = p. Which is greater: p or -5?
p
Let l(b) = -b**3 + 6*b**2 + 88*b - 20. Let m be l(12). Is -2 greater than m?
False
Suppose -3*g + p = -2*g - 2, 0 = 3*p - 6. Suppose 5*f + 2*m + 5 = 7*m, 2*f - 16 = -g*m. Let r be 2 - (f + 4/74). Which is greater: 0 or r?
0
Let g(t) = -2*t**2 + t**2 + 0*t**2. Let h be g(-1). Let w be (-26 - -21) + (-43)/(-8). Is h less than w?
True
Suppose 0 = -2*w + m - 9, -w + m - 2*m = -3. Which is greater: 16 or w?
16
Suppose -37 - 33 = -5*i. Let v be -1 + 1 - (4 + i). Let y = v + 145/8. Which is smaller: 0 or y?
0
Let n(p) = 6 - p + 1 - 3 - 7*p**2 - p**2 - p**3. Let c be n(-8). Suppose 2*f - 19 = 3*o, c - 3 = -o + 2*f. Which is greater: -6 or o?
o
Let k(i) = i**2 + 7*i - 1. Let p be k(-8). Suppose 0 = -p*z - 3*z + 260. Is z smaller than 24?
False
Let j be (2 + -2)*(-5)/(-10). Let p = -4981/154 + 228/7. Which is bigger: j or p?
p
Let b = -6 + -24. Let c = -30.2 - b. Which is bigger: c or -2.2?
c
Let h = 8610/19 + -453. Suppose 0 = 5*q - 3*q + 2. Is h <= q?
False
Suppose 5*n - 55 = -3*t, 4*n + 2 + 2 = 0. Suppose 26 = 3*p + 5. Let r be (-5)/(t/(-16)) - p. Which is smaller: r or -2?
r
Let b = 23 + -22. Which is greater: b or 1/37?
b
Let y = -16 + 20. Suppose 0 = k - y*k - 3. Which is greater: -2/51 or k?
-2/51
Let y be ((-41)/123)/(1/3). Let x = -14096 - -775232/55. Let s = x - -3/11. Which is greater: s or y?
s
Let n(s) = -111*s - 149. Let a be n(0). Is -149 < a?
False
Let j = 338647/15 + -22589. Let u = -40/3 - j. Which is smaller: -2 or u?
-2
Let f = -12072913445/113 - -106841578. Let z = f - 1636. Is 0 at least z?
False
Let y = 6 - 6.113. Is -0.1 <= y?
False
Suppose 3*q - 4*y = -69, 24 = 3*q - 4*q + y. Let l = 28 + q. Which is bigger: l or -1/6?
l
Let t = 921/4 + -230. Let y = 1 + -2. Let r be (y - 1)/((-4)/(-2)). Is t less than r?
False
Let c be ((-378)/(-72))/(-1 + -2)*-8. Is c less than or equal to 24?
True
Let j be 11/(-3)*422/(-581). Let o =