uppose -12*v = 25*v - 25*v - 29280. Which is greater: v or 2441?
2441
Let g = 19/990 + 2/55. Let b(x) be the third derivative of -x**5/60 - x**4/4 - 2*x**3/3 + 10*x**2. Let r be b(-5). Which is greater: r or g?
r
Let j = -196 - -194. Let v be ((-8)/j)/2 + 3 + -12. Does -8 = v?
False
Let v = -97 + 95. Let a = 964.05 - 938. Let m = 0.05 - a. Is v at least m?
True
Let d be (-1 - -1)/(-5 + 8 - 5). Suppose d = -3*n - 2*n + 2*k - 33, -20 = -5*k. Let u = 1.62 + -1.62. Is n >= u?
False
Let f = -0.2692 - 0.0308. Is -516 > f?
False
Let z(b) = 59*b + 473. Let i be z(-8). Which is smaller: 7/328 or i?
7/328
Let g = -137/126 + 9/14. Let m be (210/245)/((-10)/239). Let c = m + 101/5. Which is smaller: g or c?
g
Suppose 0 = -151*w - 102*w - 1752784. Which is smaller: -0.1 or w?
w
Let w be 5 - 231/45 - (-1968)/(-90). Let k = -23 - -16. Let g = 6.9 + k. Is w bigger than g?
False
Let q(k) = 2*k**3 + 2*k**2 + 8*k - 12. Let t be q(-6). Let y be t/52 + 3 + 6. Which is smaller: y or 1?
y
Let z = -4221 + 4218. Which is smaller: 634 or z?
z
Let v be ((-12)/8)/(1*(17 - 23)). Which is smaller: v or -0.08267?
-0.08267
Let i be ((-9350)/30)/(5/30*3/(-3)). Which is smaller: 1872 or i?
i
Let z = -150727/6850 - -23/274. Are -21 and z non-equal?
True
Let w be 6 - (-22 + 34)/((-8)/(-4)). Which is greater: -2/3279 or w?
w
Let s = 172 + -152. Suppose 239 + 81 = s*g. Do 65/4 and g have different values?
True
Let i(s) = s**3 + 6*s**2 + s - 4. Let f be i(-3). Suppose -2*l - 5*o = l - 49, -5*o + 57 = 4*l. Is l greater than f?
False
Suppose -2 = 2*w - 4. Suppose -12*c - 6*c = 54. Let o be -2*c/(-276)*(1 - 5). Are w and o equal?
False
Suppose -9 = -2*p + 5*p, 2*b + 2*p = -6. Let x be 12/(-30) + 3/(-5). Let r = 26 + x. Which is smaller: b or r?
b
Let a = 1 - -2. Suppose -8*m + 581 = 469. Suppose m*i - 10 = 16*i, 2*l = 5*i - 7. Is a greater than l?
True
Let h = -114 - -116. Suppose -c + 0*k = h*k - 19, k + 3 = 0. Which is bigger: c or 23?
c
Let u be 35/(-10) + (-30)/(-12). Let z = -97082/29469 + 188/57. Which is greater: z or u?
z
Suppose 3*s + 158 + 433 = 0. Let m be (-8410)/42 - 5685/(-23877). Which is smaller: s or m?
m
Let x = -5066 + 4691. Is x < -376?
False
Let z = 3471 + 7630. Is z smaller than 0.2?
False
Let d be (-470940)/67280 + 11 + -4. Is d bigger than -1?
True
Let n be ((-17177)/178)/(3 - (-15)/(-6)). Do -385/2 and n have the same value?
False
Suppose -46*m + 29 + 27 = 10. Let b = -12260/1456211 + -2/6359. Which is bigger: m or b?
m
Let s = -102 + 104. Suppose 4*k + 2650 = -d, -4*k - 5324 = 2*d - s*k. Let o = d - -34622/13. Is -3 <= o?
True
Let q be 0/(-1) - 40*-1. Let k(g) = 3*g**2 + 12*g - 22. Let r be k(3). Which is greater: q or r?
r
Let f(q) = -317*q**3 + 5*q**2 + 5*q + 1. Let j be f(-1). Let l = j + -9. Let r = 7415/24 - l. Is 1 < r?
False
Let d = 12.2 - -545.8. Let n = 564 - d. Let s = 128/341 - 6/31. Which is smaller: n or s?
s
Let t = -101 + -71. Let c be (1/(-16)*t)/((-1)/(-4)). Let u be (3 + -2)/(4*35/(-56)). Are c and u nonequal?
True
Let q = -64 - -97. Let w = -25 + 49. Let y be w/(-10)*(-6)/(-18)*-40. Is q at least y?
True
Let h(y) = -y**3 + 15*y**2 - 24*y + 133. Suppose -6*r + 108 = 24. Let p be h(r). Which is greater: 4 or p?
4
Let c be (-157)/(-785)*(-5)/(-1). Is c < -3/2630?
False
Let j = 977 + -141667/145. Let d = j + 439/290. Suppose -3*b = -6*b + 6. Which is smaller: d or b?
d
Let x be (-10)/(-3) - 2/6. Let n = -38297.5 + 38302. Is x at least as big as n?
False
Let b be (2 + 8 + -3)*1. Suppose -2 = i + 3*t, -5*i = -3*i - 5*t - b. Let f = 63.2 - 63.3. Which is bigger: i or f?
i
Let h(v) = 10*v**2 - 12. Let d(i) = 9*i - 32. Let s be d(4). Let q be h(s). Which is greater: 149 or q?
149
Let h be 3 + 4/((-12)/(-3)) - -392. Let r be (h/14)/((-63)/(-294)). Which is smaller: 131 or r?
131
Let r(g) = 9*g - 145. Let y(f) = 17*f - 290. Let u(n) = -5*r(n) + 3*y(n). Let k be u(24). Which is bigger: k or -7/10?
-7/10
Let x(p) = p**2 - 12*p - 62. Let a be x(16). Let j be 9/a*(-31)/93. Is 33 at most as big as j?
False
Suppose -63*i + 184*i = -59*i - 402660. Which is bigger: i or -2239?
i
Let j be (-24)/(-4) - 2 - -21. Let t = j + -13. Let l(h) = -h**3 - 12*h**2 - 40*h - 57. Let r be l(-8). Is t greater than or equal to r?
True
Let z = -6428821/17796 - -4/4449. Which is smaller: z or -362?
-362
Let v = 1561.1 - -1982.9. Which is bigger: v or -2?
v
Let j be 204/54*6*60/(-40). Is j greater than -20?
False
Let t = -4712.789 + 4714. Which is greater: t or -2?
t
Suppose 184*a - 176*a = -16. Let f = -12279 - -233235/19. Which is bigger: a or f?
a
Let v = -28 + 157. Let u = v - 89. Let x = -39 + u. Which is bigger: x or 0.04?
x
Let i = 469.04761 - 0.04761. Is i equal to -3?
False
Let z = 1415.38 + -1402. Let f = 48 + -47.62. Let j = z - f. Which is bigger: -0.1 or j?
j
Let i(b) = b**3 - 6*b**2 + b + 2. Let s be i(3). Let f be (-27)/66 - (-2)/s. Which is bigger: f or 142?
142
Let q(m) = -70*m**2 - 7*m + 1. Let h be q(1). Is -80 equal to h?
False
Suppose -113*y - 32*y + 931 = -15164. Is 23 bigger than y?
False
Let h be ((-6)/(-21))/((-28)/(-126))*11/47850. Is 0 not equal to h?
True
Let f = -166 + 169. Let r be 2/f*12/4. Is r != 2?
False
Let w = -13019/30 - -434. Suppose 43213 = -117*o + 43096. Are w and o nonequal?
True
Let b(d) = d + 11. Suppose 2*n + 2*n = -24. Let z be b(n). Suppose -3 = w + 6*c - 2*c, -3*c = -z*w + 8. Is -0.01 at most w?
True
Let r be 3 + (-25)/5 - 8*53. Let k = -89749863/41 + 2188595. Let u = k - r. Is u at least as big as 0?
False
Let v be (66/5)/(14/35). Let j = v - 24. Let b be (j - 4) + (-9 - -3). Is b at least as big as 1?
False
Let l = 12 + 2. Suppose 5*c - 1677 = -4*y, 12*c - 16*c = y - 433. Let u = -414 + y. Is l smaller than u?
False
Suppose 0*n + 34 = n - 4*d, 61 = 4*n - d. Suppose n = 2*a + 8. Suppose -4*q + 3*l = 10 + 5, a*q = l - 5. Do q and -2 have the same value?
False
Suppose 0 = 4*w + 7*w + 11. Let y be (-6)/7*(-21)/(-33). Is y < w?
False
Let i be -2 + -7 + -115 + 101. Do i and -51 have the same value?
False
Let f be ((-24)/20)/(72/1520). Which is bigger: f or -24?
-24
Suppose -5*v = -3*l, 2*l - 3*v + 3 = 2. Let o(w) = -w**3 - 12*w**2 + 12*w - 7. Let h be o(-13). Is h != l?
True
Let r be ((-36)/60)/(-3) - (2249/(-5) + 1). Is 440 at least r?
False
Let g = -21 - -29. Let l be (-2 + 0)/(g - 7)*-9. Let w(f) = f**3 - 19*f**2 + 15*f + 49. Let m be w(l). Are m and -2/5 non-equal?
True
Suppose -49*h = 43*h - 186*h + 3093540. Are 32911 and h nonequal?
True
Let p = 1.4 - 64.4. Let i = -104 - -30. Let m = p - i. Are m and -1 equal?
False
Let d = -1/2423697 + 647129089/4823157030. Let s = 1/1194 - d. Let a = -0.6 + 0.54. Is s at most a?
True
Let h(v) = v**3 - 7*v**2 - 7*v + 28. Let l be h(9). Let x = 181 - l. Suppose f + 2*i - x = 3*i, -252 = -5*f - 4*i. Which is greater: 51 or f?
f
Let j = -62.19 + 65.19. Are j and 0.0065 equal?
False
Let r = 13.004 - 0.294. Let z = 0.29 + r. Let j = 155 + -156. Is j > z?
False
Let g = -2356 - -2356.02. Which is smaller: -2/15 or g?
-2/15
Let b be (-3)/21 + ((-199)/28 - -5). Which is smaller: b or -3?
-3
Let a = 44 + -30. Suppose y = -0*y - 4*z - 17, 2*y + a = -3*z. Is 2/105 smaller than y?
False
Let j = 630280 - 630176. Let k(h) = 13*h**3 + 2*h**2 - 2*h - 2. Let x be k(2). Is j greater than or equal to x?
False
Let a = -2.88 + 9.29. Let c = 0.41 - a. Let b = c + 5.97. Is b less than or equal to 4?
True
Suppose -33 = -6*r - 5*r. Let c(k) = -k - 2*k**2 - 12 - 66 - k**r + 5*k**3 - 5*k**3. Let i be c(0). Is i greater than -78?
False
Suppose 2578 + 10867 = 5*u. Let t be -4*(-5 + u/538). Is t greater than or equal to 0?
True
Let p = 184 - 182. Suppose 5 - 39 = p*j. Is j at least -19?
True
Suppose 0*t - 38*t + 23*t - 39915 = 0. Is t at most as big as -2662?
False
Let r = -0.49 + 1.64. Let p = 1.06 - r. Is -0.2 at most p?
True
Let q be 14/(4129/4203 + -1). Suppose -6*n + 2381 = 3*v - 10*n, -5*v + 3977 = 2*n. Let t = q + v. Which is smaller: t or 0?
t
Suppose 3*k + 2*g - 9 = 0, 0 = 3*k + 4*g - 6 - 3. Let j = -2234 - -6710/3. Does k = j?
False
Let d = -68 - -84. Suppose -d*p = 3*p + 304. Are p and -16 equal?
True
Let p = 2/9445 + -368471/547810. Is -1 smaller than p?
True
Suppose 0 = -11*g + 29*g - 72. Suppose 0*h + 12 = -4*h, -g*h = -4*o + 8. Is o bigger than 14/31?
False
Let r = -5147/60 + 343/4. Let d be (-3)/4 - 8/32