3944/7 + 20563. Which is bigger: n or 100?
100
Let j = 180530.498 - 180357. Let g = -0.502 - j. Which is bigger: 3 or g?
3
Let s be (-46)/36 - (0 - 1). Let z = -386/3 - -4633/36. Let t = z + s. Which is bigger: t or 2/13?
2/13
Let v = -2.1 - -0.7. Let d = 1.5 + v. Let w = -34.21 + 0.21. Which is smaller: w or d?
w
Let d = 13849/1846 + -2/923. Suppose 0 = 4*l + 3 - 11. Suppose -7 = l*m - 3*m. Are d and m nonequal?
True
Suppose -f - 3 = 0, -h = f + 15 + 7. Suppose 4*z + 22 = -c, -3*c + 2*z = -2*z + 50. Which is bigger: h or c?
c
Let p(l) = -l**2 - 3*l - 3. Let t be p(-7). Let v = -55 + 57. Suppose -76 = -v*c - 136. Is t < c?
True
Suppose 37 = 3*x - 4*u, 26 = 3*x - x - 3*u. Suppose -4*g + 3*g = 4*c - 62, -g = -2. Is c smaller than x?
False
Let n = 629 - 627. Suppose 5*b + y - 17 = 0, 3*y + 11 = 3*b + 4*y. Suppose 82 = b*z - 5*z - n*c, -4*c - 29 = z. Is z less than -45?
False
Suppose 5*v + 6304 = -2*r, -11*v + 7*v + 2*r = 5036. Let u = v - -4951/4. Are -23 and u unequal?
True
Let z = 7464 - 7462. Is 1/7484 >= z?
False
Let r = 315532 - 315741.857. Let u = r + 210. Let g = -0.057 - u. Do -6 and g have different values?
True
Let n be (9/(-135))/((-24)/756). Let w(k) = k**3 + 13*k**2 + 11*k - 10. Let i be w(-12). Is i greater than or equal to n?
False
Let y(r) = -12*r - 54. Let a be y(19). Let l = a + 306. Which is smaller: l or 68/3?
68/3
Suppose -26*k - 23*k - 47677 = 0. Is k smaller than -968?
True
Suppose -3*m = -2*z + 2, 4*m - 2*m + 3*z = 3. Let y = 556 + 44. Let b = y - 7793/13. Which is bigger: b or m?
b
Suppose -325*j + 10 - 10 = 0. Which is smaller: -1/10268 or j?
-1/10268
Let v = 0.335 + -0.627. Let k = 42.708 - v. Which is bigger: k or 1?
k
Suppose 3*j - 19119 - 18892 = 10*f, 0 = j + 3. Which is bigger: f or 1?
1
Suppose -76*o = -87*o + 220. Let a be o/15*32/(-2). Which is bigger: a or -22?
a
Let t(h) = h**3 - 7*h**2 + h - 2. Let d be t(7). Suppose d*x - 11 = 59. Suppose -32 = 10*l - x*l. Is l at least as big as 10?
False
Let g = 0.002 - -0.03. Let v = -1.272 - -1.2. Let p = g + v. Which is greater: -0.3 or p?
p
Let i = 215587/29 - 7434. Is i > -356?
True
Let b = 42 + -26. Suppose -11*v + 7*v = -b. Suppose 0 = 2*q - 2 + v. Which is smaller: q or 1/10?
q
Let r = -244 - -252. Let j be 402/36*((r - 2) + 0). Which is greater: j or 63?
j
Let j be (-32)/(-6)*81/(-36). Let b be (-6)/j*(3 + -2 + -1). Let g be 1*-5*((-69)/21 + 3). Is g < b?
False
Suppose 0 = p - 6, -2*k + 106 = 24*p - 22*p. Does k = 64?
False
Let i = -12.2 + -3.8. Let j(z) = -20*z - 8. Let a be j(-1). Let w be ((-15)/a - -1)/1. Is w bigger than i?
True
Let k = -255 - -256. Let p = -1364007 + 302810045/222. Let g = -14/37 + p. Is g > k?
True
Let v = 1.9742 + 0.0958. Which is smaller: 2/7 or v?
2/7
Let m(h) = h**2 - h + 1. Let f be m(0). Let w be 8*(15/12 - f). Suppose 4*t + 2*t = -36. Is w <= t?
False
Let b(q) = q**2 - 15*q - 194. Let a be b(0). Is a >= -201?
True
Suppose -j - 4*r + 1023 = 0, 18*j - 14*j + 5*r = 4114. Is 1029 != j?
True
Let o = -222787/180283181 - -2/72607. Which is smaller: o or 1?
o
Let f = -0.02 + 187.02. Let b = -189 + f. Let n = -1.4 - -3.3. Which is bigger: b or n?
n
Let d = 432 - 169. Is -0.4 bigger than d?
False
Let o = 15 + -8. Suppose 0 = -q - b - o, 4*q + 0*q = -2*b - 18. Let v be (((-154)/4)/11)/(q/(-4)). Are -1/3 and v nonequal?
True
Let j(b) = -2*b**3 - 21*b**2 - 24*b - 33. Let k be j(-12). Let x = -52897/77 + k. Is x <= 2/7?
True
Let b = -341.9939 + -0.0061. Let f = -352 - b. Which is bigger: f or 0.13?
0.13
Let g(m) = -m**2 - 3*m + 3. Let y be g(-5). Let q(v) be the first derivative of v**4/4 + 2*v**3 - 9*v**2/2 - 14*v + 13. Let n be q(y). Which is greater: n or 4?
4
Let m be ((-28)/(-77))/((-94)/(-5687)). Which is smaller: 534/23 or m?
m
Let n(q) = 8*q**2 - 6*q + 2. Let l be n(-5). Suppose 0 = -2*m - 4*v - 78, l - 23 = -5*m + 4*v. Let w = -203/5 - m. Is w less than -1.4?
False
Let d(p) = 5*p**3 + 60*p**2 + p + 11. Let r be d(-12). Is r less than or equal to -16/355?
True
Suppose -572*h - 337 = -235*h. Is h at least 47/58?
False
Suppose 0 = 5*m - 2*i - 13, 5*i + 17 = -2*m - m. Let c(f) = f**2 + 2*f - 56. Let b be c(0). Let j be 19/88 + b/616. Which is bigger: m or j?
m
Let m(y) = 114*y - 36. Let u be m(-9). Do u and -1061 have different values?
True
Suppose -3*h + s - 5 = 0, -h + 5*s - 6 - 5 = 0. Let j = 22/2869 + 1/906. Is h equal to j?
False
Let r = 112 - 297. Let p = r + 395/2. Which is greater: 13 or p?
13
Let w = -653.957 + 654. Let h = 14332 - 14338.043. Let b = h + w. Which is smaller: b or -0.2?
b
Let z be 1/(-4 - (-764)/192). Let u be (-7 + (-348)/z)/((-6)/32). Let r = -2.6 - -0.6. Is r at most as big as u?
True
Let b(i) = 2*i - 10*i + 20 + 4*i. Let r be b(5). Suppose 0 = -3*z + 2 - 8. Which is bigger: z or r?
r
Suppose -a = -0*a + 4, -3*h + 26 = -2*a. Suppose h*v - 180 = 3*v. Suppose 354 = -178*q + 184*q. Which is smaller: q or v?
q
Let q = -0.11 - -0.11. Suppose a - 180 = 2*w, -4*w + a - 272 = -w. Let y be (416/w)/(-2) - 2. Which is greater: y or q?
y
Let y be 1 + -5 + (-25 - -35) + 168/(-22). Which is greater: 62 or y?
62
Suppose 422 = -4*r - a, 4*r + 7*a - 4*a = -418. Let h(t) = 3*t**3 - 392*t**2 + 1022*t + 152. Let m be h(128). Is m greater than or equal to r?
True
Suppose 5*x = -3*n - 69, 5*x + 167 = -5*n + 42. Let g = -57 - n. Is -29 less than g?
False
Let l = 11.89 + -6.89. Let h = 2 - 5. Let t be (-5)/((-105)/2)*h. Is l bigger than t?
True
Suppose -24*t = -28*t + 140. Suppose t = 11*l - 53. Which is greater: l or 7?
l
Let m = 3681 + -3701. Is m < 6/11?
True
Let d = -31 + 31. Let h = 364 - 85. Let i = -1957/7 + h. Are d and i nonequal?
True
Suppose 14*v + 73 = 34751. Is 2479 bigger than v?
True
Let i = 14521 + -319559/22. Let a = 43/11 + i. Which is greater: a or 304?
304
Let b be -2*(-2)/(-4)*9. Let c be 11600/13000 + (-27)/35 + 15/(-35). Are c and b non-equal?
True
Let q = 12 - 11. Let l be -6 + 1452/378 - 4/(-2). Which is smaller: l or q?
l
Let w = 352 - 283. Let a = w + -69.1. Let f be 0 - ((-5)/(-7) - 1). Which is smaller: f or a?
a
Let w = 4699 - 4454. Does w = 1/4?
False
Let t be 70 + 2/8 + (-152)/(-32). Is t greater than or equal to 63?
True
Let a = -1 - 0. Suppose 0 = 916*g - 915*g + 2*i + 12, -g + 5*i + 23 = 0. Are g and a non-equal?
True
Let u be ((-2)/9)/(7*(-437)/(-156975)). Which is bigger: -12 or u?
u
Let x be 3/(-2) + 1 - (-504)/48. Suppose 3*r = -k - 4, -18*k + 17*k - 2 = r. Are k and x non-equal?
True
Let x = -228415/23 - -9931. Let h(n) = 22*n**3 - 2*n**2 + n. Let m be h(1). Is m equal to x?
False
Let b = 3107 - 3107.1. Is b < -4.23?
False
Let r = 40 - 19. Suppose 439*o - 20 = 438*o. Which is greater: o or r?
r
Suppose 3*m - 5*m = -26. Let s = -9 + m. Suppose 5*n = 4*f - 10, -f + 8 = -5*f - s*n. Do -5/8 and f have the same value?
False
Let k(a) = 3*a**3 - 2*a**2 + 1. Let v be k(1). Suppose -v*n = -0*n + 4. Suppose 4*r - 12 = 4*d, 0*r - d + 3 = r. Is r >= n?
True
Suppose -1050 = -6*w + w. Suppose w = 21*f - 35*f. Which is smaller: -47/3 or f?
-47/3
Let u = 22238 - 174623/8. Let r = u + -410. Which is greater: 64/3 or r?
64/3
Let m be (9 - (10 - (-188)/(-140)))/(4/14). Which is greater: 946 or m?
946
Let u = -0.55 + -2.55. Let h = 3.3 + u. Suppose 6*t - t + s + 8 = 0, 2*t = -5*s - 17. Which is bigger: h or t?
h
Let j = -0.606 + -1.134. Let x = 2.74 + j. Is x < -2/265?
False
Let c = 5949/5746 + -35/34. Let y = 283 + -267. Suppose -y*l + 6*l = -4*l. Which is bigger: c or l?
c
Suppose 7*f - 4*o + 6 = 5*f, -3*f - 3*o = 0. Let t = 2/47 + 23/2773. Let h = -405/1003 + t. Which is greater: h or f?
h
Let a be (6/15 - (-77)/(-5))/(-1). Suppose 3*o - 3 = 0, -3*o = -2*f - f - a. Let x be ((-2)/(-4))/(f/(-32)). Are 44/9 and x nonequal?
True
Let l be 22/3 + -16 + 3 + 9. Let i = 0 - 4. Which is greater: l or i?
l
Let y = -99 - -98. Let w(o) = -14*o - 3. Let s be w(y). Is s at least 8?
True
Let r(p) = -10*p - 65. Let s be r(-16). Suppose 0 = 18*j - s - 49. Do j and 0 have the same value?
False
Suppose -q + 1430 = 5*f, -2*q = q - 15. Which is smaller: f or 2000/7?
f
Let g(k) = -7*k**2 + 3*k - 9. Let b be g(3). Let t = b - -34. Suppose 4*o + 0*c - 4*c = -120, 5*c + 150 = -5*o. Are o and t nonequal?
True
Let o(x) = -2*x**2 - 11*x - 3. Let y be o(-5). Suppose -5*w = y*c - 119, 2*w - 60 = -w - 5*c. Which is smaller: 103/4 or w?
w
Let