2*m**3 - 63*m**2 + 170*m - 21. Let y be l(-34). Which is bigger: -157/7 or y?
y
Let c be ((-14)/(-6) + 8 + -10)*3. Let s be -1*(-2 + (3 - c)). Suppose -4*y + n = -40, s = -n + 4*n + 12. Which is greater: 11 or y?
11
Suppose 25*y + 1032 = 37*y. Let u = y + -99. Which is greater: u or -5?
-5
Suppose -4*i - 2*j = -84, -i + 2*j = -3 - 8. Suppose i*w + 20 = 23*w. Let r be 12/(-30) + 67/w. Is 6 greater than or equal to r?
False
Let y = -163959/50 - -3280. Is y greater than 1?
False
Let l = 27439 + -103609665/3776. Is l greater than -1/4?
True
Let o = -156 - -143. Let g = -56 - o. Let x = g - -51. Which is bigger: -1/5 or x?
x
Suppose -5*x + 2*x = -150. Suppose -3*m + x = -1. Let s be (-69)/184 + (-131)/(-8). Is s equal to m?
False
Let p = -4.091 - -2.621. Is -2 < p?
True
Let h be 168/(2 - 144/76). Let k be 168/h - 4/38. Is k at least as big as 7/12?
False
Suppose -8 = 4*r - 4*n, 0 = -r + 2*n - 0 + 2. Let h be 4/8 + 45/(-10). Let q be (r/(-590))/(6/h). Is q less than or equal to 0?
True
Let i = 85 - 243. Let b = -156 - i. Which is greater: b or 18/13?
b
Let m be 12/6 - (-31 - -1). Suppose 1 - m = -s. Suppose 4*v - 7 = -s. Which is greater: -3 or v?
-3
Let w = -543 + 544. Suppose 0 = c - i + 6, 23 = c + 5*i - w. Let z = 1 - 4. Is c bigger than z?
True
Suppose -2*l - l - 763 = -5*v, -2*v = 2*l - 318. Let s = v - 430. Is s not equal to -275?
False
Let n(f) = 3*f**2 - 45 + 20 - 44*f - 6 - 6*f**2. Let i be n(-14). Which is bigger: 7 or i?
7
Let h = -2687 + 502468/187. Let n = h + -735/2431. Suppose -148 = -256*d + 108*d. Are d and n unequal?
True
Suppose 0 = 3*q - g + 1107, -g = 4*q + 1361 + 115. Are q and -371 non-equal?
True
Let a = 288 + -313. Let r be a/(-30)*(633/315 + -2). Which is smaller: r or -1?
-1
Let r be (4/(-6))/((-320)/150). Let n be (-6)/(-4)*68/306. Is n at most r?
False
Let a(k) = 2*k**2 + 19*k - 943. Let d be a(-27). Are 95/56 and d non-equal?
True
Let y be (-126450)/(-14) + 455/(-3185). Which is smaller: 9033 or y?
y
Let v(s) = -18*s - 151. Let h be v(-9). Let r = -23 - -21. Do h and r have the same value?
False
Suppose 7690*q - 1430 = 7703*q. Which is smaller: q or -108?
q
Let p = 13.4 + -83.4. Let z = 47.175 - 0.175. Let f = p + z. Which is smaller: f or 2?
f
Suppose -10127 = -t + 3*x, -12*t - 3*x - 50671 = -17*t. Which is smaller: 10137 or t?
t
Let c = -14 + 35. Suppose 0 = -22*t + c*t + 58. Suppose 5*p - t = 2. Is p at most as big as 14?
True
Let z = 61 + -16. Let w(d) = d**3 + 11*d**2 - 15*d + 8. Suppose -185 = 44*v + 343. Let j be w(v). Is z less than or equal to j?
False
Let d be 3 - (-69)/(-36) - 6/8. Let n = -478 + 275. Let k = 336 + n. Is d less than or equal to k?
True
Let g(v) = -5*v - 29. Let k(c) = -c - 7. Suppose -28 = 12*j + 2*j. Let a(b) = j*g(b) + 9*k(b). Let z be a(18). Which is smaller: 15 or z?
z
Let q(l) = l**2 + l + 5. Let v be q(7). Let o = 11166 - 11105. Does v = o?
True
Let b = 0.944 - -38.656. Is b less than -3?
False
Let p = -733772/121 + 6064. Which is bigger: 1 or p?
1
Let a be ((-69)/4*-1)/(3/8). Let b = a - 35. Suppose 6*t = b*t - 4*c - 16, 20 = -3*t - 5*c. Which is greater: -2 or t?
t
Suppose -4*c + 180 = 11*c. Suppose 15*a = c*a. Do a and -6/41 have different values?
True
Let d = 77542 + -77542. Let t(i) = -2*i**3 + 6*i + 4. Let v be t(-4). Which is bigger: v or d?
v
Suppose -66*s + 21*s = -33*s - 1080. Which is bigger: 59 or s?
s
Suppose -18*i + 16*i + 2*l + 88 = 0, -5*i + 4*l = -220. Do 33 and i have the same value?
False
Let v be 1/(((-1)/(-2))/((-2)/4)). Let t be (71 - v) + -34 + 29. Is t greater than or equal to 69?
False
Let x = 0.1 + 0. Suppose 4*f - 5*h = 230 + 4, 4*f = -5*h + 174. Is x bigger than f?
False
Let c be -22 - (17 - 22)*3. Is 150 less than c?
False
Let m(h) = -h + 4. Suppose -a + 25 = 5*g, -2*g - 3 = 2*a - 5. Let c be m(g). Suppose 3*p = -3*k - 3, p + 30 = 2*k + 26. Is c >= p?
True
Let n = 6 - -41. Let r be 944/(-30)*(-6)/(-4). Let u = r + n. Is -1 not equal to u?
True
Let z(o) = -o**3 + 2*o**2 - 2*o + 3. Suppose -243 = 5*s + 3*f, 7*s + 4*f = 4*s - 137. Let y be -10*(-3 - s/15) - -8. Let a be z(y). Does -38 = a?
False
Let l be 3*(11 + -4) + -9 + 4. Let c(s) = -s**2 - 4*s. Let j(z) = z. Let r(i) = -c(i) + 5*j(i). Let h be r(-10). Which is bigger: l or h?
l
Let s = 6559/23 - 285. Suppose 0 = -2*o - 0 - 2. Let f = o - -1. Which is bigger: s or f?
s
Let o = 537.33355 - 0.03355. Let m = o - 537. Let d = -34/3 + 11. Which is smaller: d or m?
d
Let v = 14838.9 + -14839. Is -9/773 < v?
False
Let d(n) = -n**2 - 8*n + 3681. Let x be d(-65). Which is smaller: -25 or x?
-25
Let b be 0*(-4 - -3) - (1027/468 - 2). Suppose 5*w = w. Which is smaller: w or b?
b
Let s be (-5)/(-20) - (-23)/4 - 38031/63. Is s bigger than -597?
False
Let y = 0.253 + 0.047. Let s = 0.088 + 12.912. Are y and s non-equal?
True
Let j = 47921 - 47570. Does j = 356?
False
Let s be 40/96*2/(-5)*(-2 + -4). Which is smaller: s or -33/71?
-33/71
Let j be (-20 - -1)/(2/(-6)). Let a = -17162 + 17165. Suppose 0 = -4*g - z + j + 60, a*g - z = 86. Which is smaller: 30 or g?
g
Let f be (-1059)/2745*7 + 3. Let c = 4/15 - f. Are -1 and c nonequal?
True
Let s = 28.57 - 12.9. Let x = s + -16. Let y = -0.23 - x. Is -36 at least as big as y?
False
Suppose 602*l - 601*l - 1331 = -111*f, -2*l + 2*f - 26 = 0. Let k = -5 + 9. Suppose k*j + 57 - 1 = 0. Is l less than j?
False
Let d be -24*((-192)/(-54) + -3)/(15/18). Which is smaller: d or -47/3?
d
Let u = 46 - 76. Let x be 258/u + 9 + (-19)/10. Let h = -4.09 - -0.09. Which is bigger: h or x?
x
Let y = 4281 + -4282. Which is smaller: -1/2724 or y?
y
Let b(x) = x**3 - 16*x**2 + 27*x + 19. Let s be b(14). Suppose 2*t - 19 = 5*i - 7, 32 = -3*i - s*t. Is i less than -6?
False
Suppose -2*o + 30*i - 25*i - 12951 = 0, -5*o = 5*i + 32290. Is -6464 > o?
False
Suppose 0 = -402*p + 299*p - 82091. Which is smaller: p or -1593/2?
p
Let w = -0.01 + -0.17. Let s = -0.109 - -12.309. Let g = s + -12.5. Is g > w?
False
Suppose 1076 - 1616 = 60*l. Which is smaller: -193/20 or l?
-193/20
Let a(o) = 34*o**2 - 55*o - 145. Let t be a(-3). Which is smaller: -22 or t?
-22
Suppose 475*x - 50355 = 502*x. Which is bigger: x or -1864?
-1864
Let o(z) = z**2 + 7*z + 12. Let l be o(-5). Let s(m) = 5*m - 634 - l*m + 668. Let d be s(-12). Which is bigger: d or -14/13?
-14/13
Let h(o) be the second derivative of o**5/20 + 5*o**4/3 + 17*o**3/6 - 21*o**2 + 8*o. Let i be h(-19). Let k be (-16 + 121)*i/(-10). Is 43 greater than k?
True
Let p = -35360 + 4561510/129. Which is greater: p or 1?
1
Let j(x) = x**2 - 2*x - 15. Let a be j(-2). Let z(i) = 30*i + 212. Let p be z(a). Which is greater: 14/9 or p?
p
Let v be 0/3 - 6/(-2). Suppose -f - v + 6 = 0. Let x(o) = 2*o**3 + 3*o**2 - 6*o + 4. Let p be x(1). Are f and p nonequal?
False
Let d(m) = -4338*m**3 - 11*m - 6. Let c be d(7). Let k = c + 16379103/11. Let f = k + -991. Is f bigger than 1?
True
Let j(h) = h**3 - 2*h**2 + 3*h - 3. Let s be j(2). Let x be 8/10*(57 + (s - 0)). Let l be (0 + 3)*(x/(-63) + 2). Which is bigger: 4 or l?
4
Suppose -i + 3*g = -0*i + 6, -4*i + g = 24. Let l be (i + 7)*28 + -2. Suppose 21 = r + 4*h, 3 + 1 = -4*h. Which is bigger: r or l?
l
Let v = 1281 + -1280. Is v <= 2332?
True
Let c = -0.5 - -0.64. Let q = c - 0.21. Let j = -3329 - -3323. Which is smaller: j or q?
j
Let s(j) = -101*j + 1887. Let q be s(15). Which is bigger: 370 or q?
q
Suppose -6810*t = -6799*t - 11. Let q be 2/(-704)*3 - 0. Is q at least t?
False
Let c = 12 + 8. Let a be (-50)/10 + 68/c + 2. Is a equal to -1?
False
Let n = 0.00478 + 0.29522. Which is bigger: -68 or n?
n
Let n = 30918.2 + -30916. Let b = 1/33 + 1/3. Which is bigger: n or b?
n
Suppose -195 = 18*v - 5*v. Let z be ((0 - 4) + 8)/(-1 - v). Is z at most -0.18?
False
Suppose 3*p + 1 - 10 = 0, 5*p - 11 = z. Let y(j) = j**2 - 3*j - 4. Let r be y(z). Which is bigger: 2/261 or r?
2/261
Let t be (-7)/2*(-820)/574. Suppose 2*f + 15 = y + 4*f, 0 = -3*y - t*f + 50. Is 25 <= y?
True
Suppose 2*d - 5*u + 1 = -4*u, -5*d = -5*u + 10. Suppose -2*a - d = -a. Suppose -5*c = -3*w - 22, 34*c - 5*w - 42 = 31*c. Is c not equal to a?
False
Let l(r) be the first derivative of r**3/3 + 9*r**2/2 - 34*r + 1. Let v be l(-12). Suppose 2*d = -4*w + 28, -4*d = -5*w + 11 - v. Which is smaller: d or 7?
d
Let z = 34426 + -45567. Which is greater: 2 or z?
2
Su