21/2 - b. Let i = 1/12 + k. Is 3 at most as big as i?
False
Suppose 3*k - 20 = -2*d + 26, 0 = 5*d + 2*k - 93. Let c(o) = -3*o**2 + 51*o - 11. Let t be c(d). Is t not equal to -15?
True
Let o be (-1 - 8942/(-731)) + -10. Which is smaller: o or 1?
1
Let k = -3 - -2. Let p = 253 - 255. Let v be 0 + 10/p + (-700)/(-150). Are v and k nonequal?
True
Let w = 3.54 + -0.54. Let n = w + -2.7. Let l(t) = t**2 + 4*t - 2. Let r be l(-5). Which is smaller: r or n?
n
Let r be 329/(-56) + -4 + 1/(-8). Suppose t = -4 - 1. Let l be 8/2*t/r. Which is smaller: 10 or l?
l
Suppose 9 - 56 = 2*j + k, 0 = k + 5. Suppose -3*o + 103*v = 99*v + 21, 42 = -3*o - 3*v. Is j less than o?
True
Let s(p) = p + 36. Let u be s(9). Let q = 44 - u. Which is smaller: -2/93 or q?
q
Let r = 0.0283 + 23.2717. Let t = 24.3 - r. Is -1/13 != t?
True
Let n be 2/((-14 - -12)*-1). Is n equal to 32/543?
False
Let d be (-1)/(2 - 10/6). Let g = 175 + -178. Let t be g - ((-42)/30 - 4/(-10)). Which is smaller: d or t?
d
Let v be (4/46)/((-28)/336). Let p = 95 - 96. Which is bigger: v or p?
p
Let s = 1897888/615 + -3086. Do s and 1 have the same value?
False
Let c = 16108 - 16107. Which is smaller: c or -2/4917?
-2/4917
Suppose 5*v + 3*g + 164 = 0, 212*v - 5*g = 211*v - 72. Let d be 4/(2 - 6) - 33. Are d and v unequal?
True
Let q = 8111 + -8112. Is 3021 smaller than q?
False
Let y(w) = -w**3 + 8*w**2 - w + 4. Let j be y(8). Let z = 7896 + -118486/15. Is z less than or equal to j?
False
Suppose i = 2*a - 32, -3*i + 8*i + 6 = -a. Let f = 12721 + -114487/9. Is f greater than or equal to a?
False
Suppose -2*c + q = 66, -c + 40 = -2*c - 3*q. Let w be (-8)/(9/21 + c/14). Is 24/5 smaller than w?
False
Let v = -532786 + 532695. Let j = 6.3 - 6. Which is smaller: v or j?
v
Suppose 0 = -2*z - 5*v - 12 - 27, 50 = -3*z + v. Suppose -7*c - 120 = -2*c + 5*b, -2*c = -2*b + 28. Is c at most z?
True
Let o = -27453253/11914 - -16130/7. Is -1 equal to o?
False
Suppose 10*h = -3 + 3. Let u = 106892612/519285 - -16/39945. Let r = 206 - u. Do h and r have different values?
True
Let c = -71 - 30. Let h = 93 + c. Let v be (-1)/(-8) + (3 - (-390)/(-48)). Which is bigger: h or v?
v
Let f be ((-465)/(-124))/((-42)/(-40) + -1). Suppose 12*p = -13*p + f. Is 56/13 less than or equal to p?
False
Let m = -13 + 13.045. Let q = -35.955 - m. Let b = -37 - q. Is -1 not equal to b?
False
Let l(k) = -k**3 - 12*k**2 - 21*k + 2. Let p be l(-10). Suppose 0 = -o - p - 33. Suppose 2*c = -4*d - 172, 17*c - 215 = 5*d + 16*c. Is o at most d?
True
Let g(k) = 24*k - 876. Let b be g(33). Which is smaller: b or -113?
-113
Suppose 98 = -c + 3*c. Suppose w - 6*w - 3*y + c = 0, 4*w + 5*y = 47. Suppose -7*z = -w*z + 1. Which is greater: 0 or z?
z
Let k = -737 - -521. Let z = 214 + k. Which is smaller: -4.9 or z?
-4.9
Let m = -2375 + 888. Let t = m + 2871/2. Is t less than or equal to -1/2?
True
Let k(o) = 2*o**2 + 21. Let p be k(-10). Let s = -213 + p. Which is smaller: 6 or s?
6
Let u(l) = l**2 + l + 1. Let w(v) = -23*v**3 - 2*v**2 - 4*v - 5. Let z(x) = 4*u(x) + w(x). Let c be z(-1). Which is greater: 20 or c?
c
Let z = -7397/5 + 1487. Suppose 5*w - 4*q = 45, -2*q = -4*w + 2*w + 18. Which is smaller: z or w?
z
Let w = -11248.3 - -11248. Which is bigger: 3872 or w?
3872
Let b = -569 + 569. Which is bigger: 8/691 or b?
8/691
Suppose 88*u + 60 = 93*u. Suppose 13*c + 21 = u*c + 4*q, 4*c - 4*q = -24. Let n = -97 - -677/7. Is c less than n?
True
Let o = 50 + -54. Let g be 2/((-6)/(-11))*(-14 + 11). Is o at most as big as g?
False
Let l = 0 - 0. Suppose -p - 4998 = 12*g - 7*g, -p + 996 = -g. Let k = g - -62935/63. Is l > k?
True
Let b be 11/(-3) + (-4)/(-6). Let q(m) = -23 - 1494*m + 12 - 28 + 1496*m. Let d be q(18). Is b at least as big as d?
True
Let t(y) = -y**3 + 11*y**2 + 10*y + 23. Let z be t(12). Let b be ((-1)/z)/(1 - 162/105). Which is smaller: b or -2?
-2
Let a = -12 - -8. Let w = a + 3.7. Suppose -279*m + 301*m + 44 = 0. Which is bigger: w or m?
w
Let o = 89.2 + -84. Let u = o - 5.1. Let d = 4699/7 + -670. Is d at least as big as u?
True
Let a(c) = -61*c - 75. Suppose -3*z - 19 + 7 = 0. Let w be a(z). Is w > 170?
False
Let u = -21753 + 21754. Let y be ((-1)/4)/(3/4). Does u = y?
False
Let o = 180 - 179.909. Let d = o - -80.909. Let m = d + -78. Which is smaller: m or -6?
-6
Suppose -4*i - 5*t = -10, -33*i - 6 = -36*i - 3*t. Which is smaller: i or -3/361?
-3/361
Let a be (6/45)/(1/5). Let u = 3.09 - 24.89. Let q = u + 21.83. Are q and a equal?
False
Let x(p) = -p**3 - 4*p**2 + p + 4. Let n be ((-8)/(-10))/((-6)/30). Let s be x(n). Do s and 67/2 have different values?
True
Let k be -1*8/(-6) - -2. Let h(d) = 3*d**3 + 6*d**2 + 10*d + 2. Let m be h(-1). Which is greater: k or m?
k
Let l(c) = c**3 - 6*c**2 - 9*c - 4. Let a(b) = b**3 - 6*b**2 - 8*b - 5. Let g(t) = 3*a(t) - 2*l(t). Let z be g(7). Is -8/11 less than or equal to z?
True
Let m be (-1)/5*-10 - (0 + 1). Let g be 2/(2/(-27)*m). Is g <= -29?
False
Let c = 19560 + -17335. Which is greater: 2226 or c?
2226
Suppose -b - 31 = -2*h, -4*h + 3*b = -0*b - 63. Let o be 0 - (2 + h - -3). Suppose 0 = -11*r + 14*r - p + 58, -4*r - 3*p - 73 = 0. Which is bigger: o or r?
r
Suppose 288*t = -1228015 - 529188 - 841709. Is -0.2 at least as big as t?
True
Let l = -0.05867 + -2.94133. Is 228 < l?
False
Suppose 5*z + 7*x - 205 = 2*x, 0 = z - x - 35. Let s(j) = -82*j + 6153. Let k be s(75). Is z bigger than k?
True
Let o = -1317 - -732. Let f be 4/3 + 429/o. Let z = 0 - 0. Which is bigger: z or f?
f
Suppose 3*a + 4*a - 2*a = 0. Let d be (36/(-3402))/(48/(-28)). Do d and a have the same value?
False
Suppose -1735 = 7*o - 1861. Is 20 greater than o?
True
Let r be (1 - 243/(-6))*(10 - 8). Let i = -80 + r. Let l be 0*(-1 + i/(3 + 3)). Which is greater: 1/17 or l?
1/17
Suppose 7*p = -6*p - 17*p - 4*p. Which is bigger: p or -40/449?
p
Let n be (1 - (1 + 2) - -3)*8. Suppose -n*v - 54 = -11*v. Let o be (-2*(-42)/v)/(4/(-6)). Is o at least as big as -1?
False
Let z = -0.19365 + -2.80635. Which is smaller: z or 1748?
z
Let n = -34228.3 - -34228. Which is bigger: n or 405?
405
Let n be (-4 - -12) + 0 + -3. Let p(z) = -z**3 + 5*z**2 + 2*z - 11. Let j be p(n). Are 2 and j nonequal?
True
Let s = 266.255 - 266. Let n = s + -4.255. Are n and 0.13 equal?
False
Suppose 23 + 55 = 3*k. Suppose 221*f + 37*f - 7982 = -49*f. Are f and k equal?
True
Let w be -7*6/56 + (-7)/(38220/(-4131)). Is w <= -1?
False
Let x = 2751 - 2752. Is x at most as big as 1/639?
True
Suppose q + 1322 = -3*m, 439*m - 434*m = 2*q - 2207. Is m at most -439?
True
Suppose -5*t = -4*t + 10*t. Suppose -10*o - 1 + 11 = t. Which is smaller: o or -13.8?
-13.8
Suppose -92 = 5*l - 2*b, 2*b = 7*b - 5. Let u = -164/9 - l. Are 54 and u unequal?
True
Let j = 4049 - 4024. Is 500/21 bigger than j?
False
Let g = 211 + -214.22. Let d = 6.22 + g. Is d bigger than 38?
False
Suppose -64 = -4*b - 28. Suppose -2*f + w + 13 = 0, -2*f - 2 = -4*w - 0. Are b and f non-equal?
False
Let z be -241 - (2/(-5) - 119/(-35)). Which is smaller: z or -248?
-248
Let x = 39.69 + -1.79. Let z = -38 + x. Which is bigger: -88 or z?
z
Let w(c) = 277*c - 2692. Let x be w(9). Which is smaller: x or -86?
x
Let n be ((-355)/(-10))/((-15)/10) - 7*1. Let t(m) = -33*m**2 + 2*m - 1. Let q be t(1). Is n < q?
False
Let d = 3228.992 - 3229. Which is smaller: d or -3?
-3
Let q be (-19)/1 - (-6 + 7 + 3). Let d = 19 + q. Let i be d - (-25)/5 - (-5)/(-3). Is -0.038 < i?
False
Suppose -697 + 121 = -11*u + 40. Which is greater: u or 55?
u
Let d be (-1)/(-3) - 122/(-3). Let k(x) = 809*x + 11364. Let p be k(-14). Is d bigger than p?
True
Let p = 55 - 55. Let g = -601/46 - -13. Is p > g?
True
Let g(n) = 7*n**3 + 21*n - 48. Let b(s) = -3*s**3 + s**2 - 11*s + 24. Let c(v) = -5*b(v) - 2*g(v). Let x be c(4). Which is bigger: -0.3 or x?
x
Let z = -361 + 361.202. Let l = 69.202 - z. Is l at most 2/9?
False
Let c(r) = -2*r**3 - 4*r**2 + 5*r + 2. Let y be c(-4). Let b = y + -64. Suppose 66*j + 2*s - 30 = 68*j, 0 = -2*j - 8*s - 60. Are b and j nonequal?
False
Let o(k) = k**2 - 1. Let a be o(3). Suppose -a*h = -8 - 0. Which is smaller: 3/94 or h?
3/94
Let l be (-35)/(-175) - 48/15 - 72/(-26). Let u = 4.1 + -4. Is l > u?
False
Suppose -5*k = -4*m + 861, 2*m + 2*m + 523 = -3*k. Let s be 7299/42 + 2/(-4). Let g = k + s. Which is bi