. Which is greater: -2/1737 or n?
n
Suppose 3*n = 2*s + 4, 0 = 3*n - 4*n + 2*s - 4. Suppose 0 = 2*a + n*a - 204. Let y be (-1)/3 - (-3)/(-18)*-218. Is a >= y?
False
Suppose -v = -24 + 21. Suppose -v*z - 4 = -7*z. Let k be z/67*(-4 - -2). Which is smaller: k or -1?
-1
Suppose -4*o + 36 = -8. Let j = -12 + o. Let i be (-2)/(-42) - 6/(-21). Which is smaller: j or i?
j
Let i = -26633 - -17521. Which is bigger: -9113 or i?
i
Let w = -0.1 - -10.1. Let k be 3 + 16/(-4) - -6. Suppose -4*z = -k*n + 27, -6*n + 4*z + 21 = -3*n. Is n less than w?
True
Let i be ((-3)/12)/((-60)/64). Let a(v) = -4*v + 30. Let j be a(-19). Let k = -106 + j. Is k < i?
True
Let p(z) = -2*z. Let o be p(5). Let v(n) = n**2 + 15*n - 40. Let j be v(3). Suppose j*f + 100 + 26 = 0. Which is bigger: o or f?
f
Let p be (1/(1/2))/((-3)/(-3)). Suppose 4*y = 4*c + 52, -4*c - 21 - 15 = -p*y. Let b be y/14 - (-9)/21. Is 2/135 equal to b?
False
Let y be ((-33)/(-2))/(1/2). Suppose -63 = -2*m - 219. Let a = -44 - m. Which is greater: y or a?
a
Let v = -389 + 383. Let u be (1 + 66 - -2)/((-2)/v). Is u at least as big as 208?
False
Let o = -583/18 + 287/9. Which is smaller: -0.1283 or o?
o
Let k be (-24)/135*(56/(-70))/((-4)/210). Which is bigger: k or -7?
-7
Suppose 2*z = r + 2137, -25*z = -22*z + 2*r - 3209. Are 1073 and z nonequal?
True
Let y be (-21*1)/((-9)/6). Let w = 2417 + -2413. Suppose -2*c + 3*m - 1 = y, 0 = -w*c - 2*m + 10. Is c smaller than -4/7?
False
Let p(c) = 2*c**3 + 2. Let v be p(0). Let k be (696/(-60) - -6)/((-23)/5). Which is bigger: v or k?
v
Let h(k) = -k**3 + 61*k**2 + 59*k + 78. Let d be h(62). Is 5 > d?
True
Let f(u) = u**3 - 3*u**2 + 6*u - 6. Let b be f(2). Let a be (3 - (-34 + -1))/b. Let p be (-68)/6*(-6)/4. Is a at most p?
False
Let o(f) = -2*f - 12. Let k be o(-7). Let g be (78/(-12) + 6)*k. Which is smaller: -1/174 or g?
g
Let z(f) = -f**3 - f**2 + 2*f. Let k be z(-2). Let p(b) = -4*b + 13032. Let g be p(0). Let v be 5 - ((-4)/(-654))/(16/g). Is v greater than k?
True
Suppose 4*d + 4 = 0, u - 2*d - 8 = 3*d. Suppose 3*z + 3*r = 122 - 533, z = -u*r - 129. Which is bigger: 2 or z?
2
Suppose h - 53 = -50. Let u(y) = -24*y**2 + 12*y - 48. Let t be u(h). Is t greater than -1/4?
False
Let w be (3 - 21/9)*(12 + 7 + -103). Is w <= -103?
False
Let a = 6538 + -6887. Is -351 > a?
False
Suppose w = l - 64, -5*l + 3*w + 253 = -59. Let y be 20*-4*6/l. Which is bigger: y or -58/7?
y
Suppose -40 = 12*n - 20*n. Suppose 11*c + 55 = -n*k + 8*c, 4*k = 4*c - 44. Let i = 0.28 - -2.72. Is k equal to i?
False
Let y(x) = x + 12. Let z be y(-9). Let k = -121 - -124. Let i be (0 + z)/k + -2. Which is greater: i or 2/139?
2/139
Suppose -83 = 5*n + 42. Suppose -20*g - 308 = 52. Which is smaller: g or n?
n
Let x = 72.4 + -56. Let g = 17 - x. Let t = 0.68 - g. Which is greater: t or -0.3?
t
Let v be (-4)/(8/(-6))*-1. Let a(o) = 4*o - 50. Let s be a(14). Let q be s/10 - (-874)/(-190). Which is smaller: v or q?
q
Let h(s) = 56*s**2 - 24*s**2 - 31*s**2 + 2*s + 3. Let l be h(-2). Let j be 0/(-8) + 58/(-20) + l. Which is bigger: 0 or j?
j
Let g(o) = -10*o**3 - 2*o**2 + 46*o + 47. Let b be g(-1). Which is bigger: -95 or b?
b
Suppose -i - 6 = 2*r + 4, 0 = 2*r + 3*i + 6. Let b be (2 + -29)*(5 + r). Which is smaller: 0 or b?
0
Let z be 28/42*(169/26 - 8). Suppose -3 = 3*p, -2*c = -c - 3*p - 3. Is c > z?
True
Let o = -22 - -13. Let m = -574 - -604. Suppose 123 - 33 = -m*v. Which is smaller: o or v?
o
Suppose -z = -5*l + 555, -4*l = -l + z - 333. Let g = -79 + l. Suppose 2 = -5*b + g. Are 7 and b equal?
False
Let b = 42 + -39. Let f be (b - 6) + (-3)/(2/(-2)). Which is smaller: f or -8?
-8
Let w = -286 - -2004/7. Let x be (-16)/(-4) - (-1 - -1). Let c be x/28 + (-2)/(-7). Is c > w?
True
Let g(b) = 117*b**3 + 2*b**2 - 3*b + 1. Let p be g(1). Let j = 136 - p. Suppose -21*k + 104 = -j*k. Is 53 != k?
True
Suppose -9*g + 8*g + 42 = 0. Suppose f + q + 3 = -11, -3*f - q = g. Which is greater: f or -10?
-10
Let c = -3037 + 69857/23. Which is smaller: 0 or c?
0
Suppose 0 = -63*a + 122*a - 76*a - 136. Which is bigger: 38.4 or a?
38.4
Let j = -44 + 43. Which is bigger: j or -2931?
j
Let d = -5138 + 5134. Which is smaller: d or -59/16?
d
Let p = 17214 - 17223. Which is smaller: -0.517 or p?
p
Let b = 110.1 + -117. Let o = b + 7.9. Which is smaller: o or -12.6?
-12.6
Let k be 0 + -1*(-1 + 2). Let u = -17 + k. Let b be 2 + 2/u*7*2. Is -1 at least as big as b?
False
Suppose -4*s = -0*s - 40. Let m(y) = -2*y**2 + 19*y + 8. Let r be m(s). Let w = -2 - -13. Is r greater than w?
False
Let u(n) = -2766*n + 4496. Let w be u(-2). Which is greater: 10027 or w?
w
Suppose 4*b - h + 903 = -1655, -2*b + 3*h = 1264. Is b equal to -6?
False
Let f(o) = o**2 + 2*o - 14. Let h be f(-6). Let d be 7/35 - 82/h. Do -13 and d have different values?
True
Let j = -3982 + 3978. Which is bigger: -6.43 or j?
j
Let p(x) = x**3 - 55*x**2 - 112*x - 122. Let z be p(57). Suppose -3*r - 28 = r. Which is greater: r or z?
r
Let d = -11 - -7. Let v = 3.8 + d. Let m = 30.83 + -30.9. Is m <= v?
False
Let g = -70 + 79. Suppose o = 5*y + 18, o - 3*y - g = -y. Suppose 4*q + 21 = 5*j, -5*q + 5*j = o*j + 39. Which is smaller: -5 or q?
q
Suppose -11*d + 136 = -16*d - 3*d. Is d greater than -1058/67?
False
Suppose 40*b + 94 = -54*b. Which is bigger: b or 11/46?
11/46
Let o = 20392 - 20138. Are 229 and o unequal?
True
Let u(r) = -r**3 - 2*r**2 + 3*r - 1. Let j be u(2). Suppose 19*d - 29*d - 4570 = 0. Let m = d + 444. Is j greater than or equal to m?
True
Let x = 1083.032 - 1064. Let g = -0.032 + x. Let t = g + -31. Is t equal to -2/3?
False
Let p(f) = -8*f - 198. Let w be p(-24). Let o(l) be the third derivative of -l**6/120 - 2*l**5/15 - 13*l**4/24 - l**3 - 15*l**2. Let m be o(w). Is 10/9 >= m?
True
Suppose -67*o + 13*o = -108. Is -903 greater than or equal to o?
False
Let d be (-53992)/(-68340) + 64/20 + -4. Let x be (-10)/(-2)*(-5)/(-5). Suppose r - 15 = 3*r - x*l, 2*l = r + 6. Which is smaller: d or r?
d
Suppose 3*l - 439 = 4*h, l - 4*h - 298 = -l. Let d = l - 138. Let a(y) = -6*y + 9. Let r be a(d). Which is smaller: -11 or r?
-11
Let u(s) = -s**3 + 7*s + 6. Let v be u(3). Suppose -3*y = h - 6*y + 4, 0 = -y + 3. Suppose -h*l + v*l = x - 13, x + 3 = 3*l. Does x = 3?
True
Suppose 353682 + 206456 = 111*p + 130013. Is p at most as big as 3876?
True
Let z(g) = g - 30. Let m be z(2). Let w be (-32)/m - -5 - 6. Is w >= 0.4?
False
Let m(r) = -10*r + 132. Let v be m(14). Let d be (-6)/v + 2 + 30/(-8). Which is bigger: d or -1/27?
-1/27
Let o(n) = n**3 + n**2 - 3*n - 6. Let j be o(-2). Let c(y) = -y**3 - 7*y**2 - 10*y - 1. Let b be c(j). Is b >= 8?
False
Let j = 5045 + -5086. Which is bigger: j or -199/5?
-199/5
Let x be 451675/(-6230)*(-4)/(-18)*3. Suppose 4*p + 188 = -0*p. Are p and x equal?
False
Let q(v) = v**3 - 5*v**2 - 9*v + 2. Let j be 312/42 + 9/(-21). Let t be q(j). Let n be 28 - t - (-2)/(-2). Which is greater: n or -3?
-3
Let i be (-3)/(1/(-2)*(-10 - -12)). Is i < -85?
False
Let k(b) = -b**2 + 23*b - 55. Let w be k(20). Suppose 3*n + 87 = 4*a, -n - 2*n + w*a - 90 = 0. Which is smaller: n or 2/3?
n
Suppose 0 = 2*a + 2*z - 4, 14 = 3*a - 3*z - 10. Is 733 less than a?
False
Let n(s) = s**3 + s**2 + 11*s - 7. Let f be n(4). Let a = f - 118. Let y be (-138)/(-330) + (-6)/10. Is y <= a?
False
Let c = 3.536 - 20.536. Are c and 47 nonequal?
True
Let f be (2/(-48))/(4/36) - (-429)/824. Which is bigger: f or 0?
f
Let c = -19516/9 - -183088/63. Is c smaller than 738?
True
Let h = 12.528 - -0.532. Let v = 11.06 - h. Let a = -6 + -6. Which is bigger: v or a?
v
Let a be (3 - 21/6)*-12. Let i(o) be the third derivative of o**4/12 - 31*o**3/6 + o**2. Let d be i(a). Is d bigger than -20?
True
Let s = -3 - -4. Suppose 0 = 10*g - 3*g - 42. Let w be g/(-11) - 4371/(-6138). Which is smaller: w or s?
w
Let x = 4 + -10. Suppose -21*m + 5*p - 29 = -18*m, -p - 15 = 2*m. Which is smaller: x or m?
m
Let l = 2273 - 2272.017. Let c = l - -0.017. Which is smaller: -0.05 or c?
-0.05
Let d = -14764 - -9898. Let q = d + 248158/51. Do 1 and q have the same value?
False
Suppose -8*r - 5*j + 15 = -12*r, -r + j - 3 = 0. Is -1/3294 less than r?
True
Let g(o) = -2*o**2 - 32*o - 3. Let y(m) = 1. Let b(p) = -2*p + 16. Let l(s) = -b(s) + 12*y(s). Let t be l(-6). Let x be g(t). Which is smaller