False
Let t(o) = -11*o**3 + 561*o**2 + 6. Let d be t(51). Suppose -10 = 2*z, 15 = 4*v - 4*z - 25. Suppose -v*m - d*m = -451. Which is bigger: 43 or m?
43
Suppose -18*s - 112 = -22*s. Suppose -o - 3*g + 7*g + s = 0, 19 = o + 5*g. Suppose 0*r - 12*r = o. Which is greater: r or -6/7?
-6/7
Suppose t - 4550 = 4*z, -12*t = 3*z - 9*t + 3435. Which is smaller: -1141 or z?
-1141
Let l(c) = -c**3 + 4*c**2 + 4*c - 30. Let j be l(7). Suppose 1110*z = 1125*z + 2250. Which is smaller: z or j?
z
Let s be (-16)/(-22)*(-6)/24. Let z = 8/107 + -131/321. Is z equal to s?
False
Let n = -15/206 + -277/1854. Is n greater than or equal to 0.118?
False
Suppose -43 - 14 = q. Let v = 1075 - 1132. Is v not equal to q?
False
Let n = -672/5 + 134. Suppose g + 5025 = -5*h + 2*g, -3*g = 3*h + 3015. Let x be (h/501 + 2)*2. Which is bigger: x or n?
x
Let a = -9.479 - 29.521. Which is smaller: 18 or a?
a
Let d be (6/(-4))/(15/(-20)). Let n = -282127/9 + 31350. Which is smaller: n or d?
d
Let o be (-8)/36 - 4534/9. Let y = 535 + o. Is 33 less than or equal to y?
False
Let q = 57 - 39. Let d(k) be the third derivative of k**5/60 + 7*k**4/24 + 19*k**3/6 - 15*k**2. Let y be d(0). Is q greater than or equal to y?
False
Let k = -179754/7 + 1953144/77. Let p = 75903/242 + k. Is -1 <= p?
True
Suppose -q = 5 - 0. Let c be (-24)/(203/112 - 2). Let v = c + -136. Which is smaller: v or q?
v
Let u = 345626 - 3798448/11. Do 312 and u have the same value?
False
Let f(l) = 2*l + 18. Let d be f(-13). Let a(j) = 2*j + 18. Let o be a(d). Suppose 64 = -o*s - 6*s. Are -9 and s equal?
False
Let v = -17410036/18545 - -4694/5. Is 0 less than or equal to v?
True
Let x = -13032 - -13032.1. Which is smaller: -7207 or x?
-7207
Let o(m) = m**2 - 4*m - 60. Let q be o(13). Suppose -4*w + t - 79 = 0, 3*w + 3*t + q = w. Is w > -19?
False
Suppose -n = -4*k + 48, -3*k + 5*n = -42 + 6. Suppose -15 = -3*q, 6 - 1 = 3*w + q. Suppose w = y + y - 18. Is k equal to y?
False
Let d be -2*(3/(-2) + 3). Which is smaller: -25/7 or d?
-25/7
Let u = 9645 - 9120. Which is smaller: u or 514?
514
Let c be (-1)/(-1)*(-132)/(-176)*4/3. Let i be (4*(-1)/2562)/(6/(-14)). Which is smaller: i or c?
i
Let l be (2/117)/((-2968)/95487). Let v = l + 22/39. Is 1 > v?
True
Let l(r) = -3*r - 29. Let f be l(11). Let i(n) = 0 + 29*n - 13*n + 9 + 20*n. Let d be i(-2). Which is bigger: f or d?
f
Let o = 6517 + -6765. Suppose 2*a - 249 = 3*a. Which is smaller: a or o?
a
Let y be 2065/(-7) + 3 - 5. Let h = -143 - y. Is 154 != h?
False
Let m(q) = 0*q**3 - 10 + 0*q**3 + q**3 + 109*q**2 - 2*q - 103*q**2. Let c be m(-6). Suppose -4*p = 5*b + 7, -b = -c*p + b - 26. Which is greater: -20/3 or p?
-20/3
Let x = -3 - -5. Suppose 192 = x*z + 2*z. Suppose 2*s = -4*s - z. Is s equal to -10?
False
Suppose -a + 0 = -5*j - 8, -10 = 5*a. Let b be j/5 - (-5)/75. Let d = -77.84 + 78. Which is smaller: d or b?
b
Let b = -185 + 186. Let s be (-2*b/(-3))/((-1054)/(-31)). Which is smaller: s or 0?
0
Let a = 656 + -667. Suppose -5*t + 3 = -4*y + 9, 2*t = 2*y - 4. Suppose 0 = -4*o - y*f - 40, 5*o + 48 = o + 4*f. Is o less than a?
False
Let r = 1107 - 686. Let x = r + -422. Let y = 0 - -1. Which is greater: x or y?
y
Let f be (-2)/(-14) - (-1)/(-11 - -4). Let b be (-21)/(-9) + 1/(-1 - f). Which is greater: b or 2?
2
Let r be ((-44)/(-132) - 127*-1)*-6. Is r less than or equal to -766?
False
Suppose 2*x = -4*i + 56 - 10, -4*x + 87 = 3*i. Suppose -b + 2*a = a - x, 4*b - 84 = -2*a. Let l = -44 + b. Which is bigger: l or -24?
l
Let v = 174083 + -102086. Let d be -3*(-4 - -5) + v/120. Let m = -597 + d. Which is smaller: 0 or m?
m
Let h = -239 + 236. Let g be h/(-24) - ((-110)/16 - 1). Are g and 13 nonequal?
True
Let o be 47 + -48 - (-5)/(15/(-288)). Is o at most -2?
True
Suppose 2*b + 0*b + 46 = -5*c, -4*b - c - 92 = 0. Let k be b/((-9476)/(-1260)) - -3*1. Which is bigger: -1 or k?
k
Let n = 4287 + -4282. Which is bigger: n or -41?
n
Let z = -3 + 4. Let w = -13026/410921 + 32/1249. Which is smaller: z or w?
w
Let k be 7 - 5 - (4 + (-1852)/925). Let f(v) = -v + 7. Let h be f(6). Which is greater: k or h?
h
Suppose -8 = -3*h - 2*u, 20 = 5*h + u + u. Suppose h*f - 725 = 11*f. Let q be (-1*(-1 - 0))/(261/f). Is 0 equal to q?
False
Let o(x) = -x**3 - 6*x**2 - 2*x + 10. Let v = 11 + -16. Let z be o(v). Let s be (-24)/40 + 2/z. Is s greater than 2/15?
False
Let v be 4/(-14) - 120135/21. Let l = v - -120091/21. Is -3 equal to l?
False
Let l = -11987907/494 + 24267. Does 0 = l?
False
Let h be 68/12291*18/12. Suppose -7*u + 5*u = -7*u. Which is greater: h or u?
h
Suppose -2*a + h = -2, 0 = -3*a + 6*a + 5*h - 3. Suppose -2*f - a = -5. Suppose -5*d - 2*n - 6 + 161 = 0, -f*d = -2*n - 76. Which is smaller: d or 34?
d
Let d = 104253 - 104251. Let h = 589 + -15898/27. Is h <= d?
True
Suppose r - 45 = -2*t, -23*t + 29*t - 127 = 5*r. Is 30 bigger than t?
True
Let a be (79/(-553) - (-50)/(-42)) + 3018/2241. Is a smaller than -1?
False
Let i = -895 - -12521/14. Suppose 0 = -43*r + 1800 + 2328. Suppose -r*n = -94*n. Do i and n have the same value?
False
Suppose -b = -3*h + 10, 3*h + 16 = 7*h - 4*b. Suppose 2*p + r = -h*p + 16, -5*p + 24 = -r. Let v be (1 + p/(-6))*(9 - 3). Is 0.18 <= v?
True
Suppose -q = 2*x + 4, -4*x = -15*q + 12*q + 28. Suppose -2*s = -4*h - q, -3*s + 4 = 3*h - s. Let m be (-34)/(-30) + (-1 - 0). Which is bigger: m or h?
m
Let p be (0 - -2) + 12/(-18)*3. Suppose 4*j + p + 48 = 0. Let y be (-1 + 2)*((-46)/j + -4). Is -1 <= y?
True
Let a = 151 - 149. Let u = 83 + -47. Let r be (-6)/a - (u/(-16) - 1). Which is greater: r or 36?
36
Let v(y) = y**3 + y**2 + y. Let g be v(2). Let l be 168/(-16)*10/(-3). Let n be ((-128)/160)/((-2)/l). Is n greater than g?
False
Suppose -1904 = -10*y - 7*y. Let d be 7/y*8*-6. Is d > -48/13?
True
Suppose 177*j - 189*j + 12 = 0. Are 7/292 and j nonequal?
True
Let t(l) = -3*l + 29. Let h(b) = -b. Let n(f) = -3*h(f) - t(f). Let i be n(5). Is -0.1 bigger than i?
False
Suppose -54*u - 2*u - 56 = 0. Which is bigger: 25/124 or u?
25/124
Let s = 11821 + -9313. Which is greater: s or 2510?
2510
Let q be (-2)/((-83310)/(-831100) + 3/(-30)). Which is smaller: q or -8310?
q
Let u = -97 - -96.834. Let j = u + 2.166. Which is bigger: j or 4?
4
Suppose -4*i - 13 + 37 = 0. Let z be 22/24 + -2*(-4)/i. Which is smaller: z or 3?
z
Suppose 2*c - 1 = -4*i + 11, -2*i = 4*c - 24. Suppose h - 118 = c*h - 4*w, -3*h - w - 64 = 0. Do h and -9 have different values?
True
Let z = -5.6107 + 0.1007. Let p = z + -74.49. Which is greater: p or 1?
1
Let h = -8924.911 + 8926. Is h > 3?
False
Suppose -m = -3*m - 12. Let j be (-1)/(2/(-4)) + m. Let z be ((-3)/(-36))/(j/(-12)). Which is smaller: z or 1?
z
Let p(h) = -105*h - 15. Let d be p(-2). Let m = d - 185. Let w be 1*(-20)/(-2 + 0). Is w greater than m?
False
Let r(a) = 6*a**3 + 13*a**2 + 13*a + 117. Let c(p) = -5*p**3 - 12*p**2 - 15*p - 116. Let s(u) = -5*c(u) - 4*r(u). Let b be s(-7). Which is bigger: 4/47 or b?
4/47
Suppose 8*m - 18 = 14. Suppose -5*w + 8 = -2*u + 1, -5*w = -m*u + 1. Is 34/11 at most u?
True
Suppose 118*c = -33*c. Which is smaller: 44/59 or c?
c
Let n = -1/1653 + -31402/8265. Let y = -63.5 - -63.4. Which is bigger: n or y?
y
Let o = 25547 - 25546.7. Let q(u) = u - 2. Let w be q(-3). Does o = w?
False
Let o = -6 + 2. Let p = 213 + -214. Let q be 26*o/(-88) + p. Is 1 > q?
True
Let v be 568/497 - 2/14. Which is greater: v or -3/283?
v
Suppose -11*v = -17*v - 7*v - 585. Suppose -3*i = -h - 35, -h - 129 = 2*h - i. Which is smaller: v or h?
v
Suppose 11*s - 24 = -s. Let i be (6 - 0)/(s/4). Let u be 50/4 + 15/(-10). Are i and u non-equal?
True
Let i = 4097 - 4095.6415. Let k = 88.6115 + i. Let x = 90 - k. Which is smaller: 0.04 or x?
x
Let y = 1791 + -1838. Suppose -3*t = -4*b - 380, 0*t + 5*b + 640 = 5*t. Suppose -t = 3*u + 9. Is y bigger than u?
False
Let l = 58 + -54. Suppose -5*s - 1 = l*g + 19, -2*s = -g + 8. Is g greater than -1/654?
True
Let a be 0 + (-3 - 27/(-9)). Let z = 0.67 - 1.83. Is z smaller than a?
True
Let c be 19/((-220932)/90)*4/55. Is c greater than 1?
False
Let v = 5187 + -5184.3. Which is greater: -19 or v?
v
Suppose -11*d + 17*d = -19*d - 8050. Which is smaller: 23 or d?
d
Let p = -10.08 - -10.6. Let b = p + -0.481. Let o = 0.239 - b. Is -3/4 greater than or equal to o?
False
Suppose 17*l - 901