
Let q(c) = -3 - 8*c**2 - 2*c + c + 0 + 2*c - c**3 - 7*c. Let i be q(-7). Which is bigger: 5 or i?
5
Suppose -25*p - 441 - 1309 = 0. Which is greater: -3/7 or p?
-3/7
Let v be 1/5 + (-2874)/70. Let a = -246755 + 246755. Do a and v have the same value?
False
Let l be (((-2)/42)/1)/((-8)/24)*7. Which is greater: l or 2/3089?
l
Let o = 2551 + -186220/73. Suppose -5*i = 0, 0*m + 4*m - 5*i - 4 = 0. Which is smaller: o or m?
o
Let g = -17779 + 17774. Suppose 2*v - p = p + 6, 5*p - 17 = -3*v. Is g at most v?
True
Suppose 2*h + 3*h + 60 = 0. Suppose u - y - 144 = 0, -2*u - 55 = -5*y - 355. Let b be 46/u*-1 - 6/h. Does b = 0?
False
Let f be (4 - 1 - 9) + 76. Let g = 71 - f. Which is greater: g or -2/349?
g
Suppose 696 = -98*v + 95*v. Let t = 231 + v. Which is greater: t or -1/159?
-1/159
Let n be 3*2*(-10)/(-20). Suppose n*y + y + 2*x = 106, 0 = 4*x + 20. Suppose -y*p = -24*p - 50. Is 8 at most p?
True
Let v(o) = o**3 - 28*o**2 + 23*o - 220. Let j be v(27). Are j and -325 non-equal?
True
Suppose 0 = -3*h - 9, 4*k - 3*h + 49 + 418 = 0. Is -148 at least as big as k?
False
Let k = 5409/1577 - -36107389/39425. Let b = k - 919. Are -1 and b nonequal?
True
Suppose 0 = 3*s - 2*s - 2*y + 54, -3*y + 105 = -2*s. Let x(k) = 2*k**3 - 76*k**2 + 75*k + 11. Let u be x(37). Let c = s + u. Is -3 bigger than c?
False
Let p = 106156921/2023 - 52475. Which is greater: p or 1?
1
Suppose 0 = -2*l + 12*c - 17*c - 27, -26 = l + 5*c. Which is bigger: -1/283 or l?
-1/283
Let h = -2.09 + 129.09. Let m = 154.51 + -27.61. Let n = m - h. Do n and 0.09 have different values?
True
Let r = 71.76 + -72.66. Which is smaller: r or 47/4?
r
Let y(k) = -k**3 + 6*k**2 + 7*k - 2. Let z(h) = h**3 + 16*h**2 - 16*h + 24. Let x be z(-17). Let g be y(x). Let n be (-1)/29*(-2 + 5 + g). Does -2/5 = n?
False
Let t = 2470 + -2285. Which is smaller: t or 184?
184
Let y be 137183/41470 - (-65)/(-13). Let i = 1/3190 - y. Is 1 smaller than i?
True
Let s be (-10 + 0)/(100/7000). Which is smaller: s or -693?
s
Let f be -5*((0/5)/(-4) + 8/20). Is -72/31 < f?
True
Let i = -1.9 - -52.9. Let o = i - 23. Let d = o + -27.3. Is 1/3 bigger than d?
False
Let y = -121 + 59. Suppose 2*i - 1952 + 980 = 0. Let s = i + -549. Do s and y have the same value?
False
Let x = 5.161 + 0.039. Let g = 5.825 + 0.375. Let t = x - g. Is t > -49?
True
Let k = 123662 - 86051. Let m be 12/(-32) + k/(-10360) + 4. Is 0 >= m?
True
Let o(y) = 0 - 3*y + 25*y - 141. Let p be o(5). Suppose -128 = 3*x + x. Which is smaller: p or x?
x
Let b = 35.57 - -0.43. Let s = b - 45. Let i = 40 + -36. Is s greater than i?
False
Suppose -7*m = -47 + 54. Let k be 2075/(-581) + (2 - m). Is k less than -12?
False
Suppose 0 = -3*n + 2*l + 13, 4*n - 37 = -5*l - 12. Suppose 0 = 6*g - g - n. Is g < -5/177?
False
Let d = -42 + 82. Let n = -40 + d. Suppose -4*o + 0 - 12 = n. Are -11/5 and o unequal?
True
Let n = -146 - -148. Suppose 10 = n*s - 5*f - 28, f + 58 = 4*s. Is 15 at least as big as s?
True
Let y = -4107/26 - -158. Let q be (-22)/(-10 + 32) + 4/2. Which is smaller: y or q?
y
Let l = -187.885 - 0.115. Let v = -188.006 - l. Let h = -6 - -6. Which is smaller: h or v?
v
Let q(c) = -c**3 + 3*c**2 + 10*c - 12. Let i be q(11). Let d be 15/(-3)*(1 - (-866)/i). Is d bigger than -1?
True
Let k = -3558 + 7651. Which is smaller: k or 2?
2
Let g = -8150 + 8098. Which is greater: g or -54?
g
Let d = -19380921/1352 + 14335. Are d and 1 nonequal?
True
Suppose -243*r - 2129 = -830030. Is 3406 at least as big as r?
False
Suppose -7*s + 301 = 3*g, -55*g + 56*g + s = 91. Let b = 74 - -11. Which is smaller: b or g?
g
Let r = -0.6269 + 1401.6269. Is 1 bigger than r?
False
Suppose -4*g + 336 = -2*v - 0*g, -4*v = -4*g + 672. Let d be (1*1/(-12))/(v/(-3136)). Is -1 < d?
False
Let k = -15790 - -16103. Which is smaller: 308 or k?
308
Let p be 2/(-4) + (-24)/16. Let v be ((-1)/31)/(1/p). Let o be 1239/1428 - 2/17. Is o greater than or equal to v?
True
Let w = 19.3 + -20.2. Let l = -32.7 - -34. Let v = l - w. Which is greater: v or 1?
v
Let u be (12 - 13)/(2/10) - (-24)/6. Are 2/16401 and u nonequal?
True
Suppose 18*w - 5*w = 15652. Suppose 5*q + w = 3*h, 3*q + 388 = h - 2*q. Is 409 greater than or equal to h?
True
Let a = 11278 + -11279. Is a at least -64/441?
False
Suppose -3*j = 5*p - 140, 3*j = 2*p + 34 + 99. Let h be 9/4*110/j. Let f = 1/3 - 1/12. Is h >= f?
True
Let x be 5/(-10)*304/(-36). Suppose 6*b - 7*b = -5*g - 3, 5*b + 2*g - 15 = 0. Which is greater: x or b?
x
Let h be ((-2)/(-6)*2)/2. Let m = -0.717 - -0.816. Is h != m?
True
Suppose 2*q + 2*v = -4 - 0, -4*q + 2*v + 22 = 0. Suppose -q*j + t = -0*t + 31, 0 = -5*t - 10. Suppose 37*d + 55 = 32*d. Is d <= j?
True
Suppose 392*i + 449 = 389*i - 4. Let d = -468 + 318. Is d at most as big as i?
False
Suppose 522*w + 2574 = 379*w. Which is greater: w or 9/64?
9/64
Let p(l) = -l**3 + 10*l**2 - 9*l + 3. Let v be p(9). Suppose 9*u - v*u = 366. Is u smaller than 60?
False
Let a = -9901/4 - -2497. Let b(o) = -2*o**2 + 18*o + 7. Let p be b(8). Which is smaller: a or p?
a
Suppose 9*j + 8*j - 10812 = 0. Suppose 4*h + 5*x = -236 - 418, -4*h = -4*x + j. Which is smaller: h or -160?
h
Let c(o) = -2*o**2 - 99*o - 391. Let r be c(-45). Let s(v) = -v**3 - 3*v**2 + 6*v - 3. Let j be s(-5). Which is bigger: r or j?
j
Let i = -14 - 35. Let c = -42 - i. Suppose c*y - 5*y - 38 = 0. Which is smaller: 18 or y?
18
Let b = -197 - -204. Suppose 22 = 4*p + b*p. Which is smaller: p or -10?
-10
Let g(z) be the second derivative of z**4/12 + 3*z**3/2 - 13*z**2/2 - 122*z. Let n be g(-5). Do -35 and n have the same value?
False
Let y = -53.37 + 44.37. Which is bigger: y or 2.7?
2.7
Let g be 10*(-1 - -5)/(-2). Let b be 5*(0 + (-4)/(0 - 4)). Suppose 2*n - 60 = b*n. Are n and g non-equal?
False
Let y be ((-9447)/(-94))/((-1686)/4). Do 0 and y have the same value?
False
Suppose -5*r + 312*y + 2449 = 308*y, -y = -4*r + 1957. Which is smaller: 9 or r?
9
Let t(s) = -s**2 - 6*s + 13. Let f be t(-7). Let n be (f/(-9))/(21/9 - 1). Let k = -164 + 163. Is n greater than or equal to k?
True
Let u = -5 - -8. Suppose -2*p - u = -47. Let s(b) = -2*b + 38. Let y be s(p). Is y at least -5?
False
Suppose -161*g - 1307 + 256 - 237 = 0. Which is smaller: -71 or g?
-71
Let b(y) = y**3 - 18*y**2 - 63*y + 1357. Let c be b(17). Which is smaller: 1.416 or c?
c
Let i = 1855 + -3286. Do -1431 and i have the same value?
True
Suppose -1196332 = -86*a + 17*a - 53*a. Is 9804 at most a?
True
Let n = -243 - -343. Let p be ((-5)/n)/((-1)/(-2)). Let b = -1 - -2. Is p bigger than b?
False
Let y = -91 + 39. Let z = y - -52. Which is smaller: z or -1/38?
-1/38
Suppose 63*c = -227 + 2805 + 5549. Is 0.05 equal to c?
False
Let t(g) = 2*g**2. Let c be t(-1). Suppose -3*i + 10 = 2*q, 2*q + 18*i - 14*i = 12. Suppose 2*f + 42 = 5*h, -84 = c*f + q*f + h. Does f = -20?
False
Let a(p) = 39*p - 51. Let n be a(2). Suppose 21*t - 40*t = -n*t. Which is bigger: 15/14 or t?
15/14
Let c be -5 - (4 - (15 + -1)). Let r(o) = 23*o - 9. Let w be r(c). Let d = w - 59. Is d at least as big as 47?
True
Let j be (24/(-132) + 20/(-11))*3413/2. Is j < -3414?
False
Let d = -4715 - -4711. Is -188/49 at most d?
False
Suppose -5*w = 4*a - 21, -2*w = a - 3*w + 6. Let d be 2 + 656/(-110) + (3 - a). Let b(v) = v**3 - 9*v**2 + 9*v - 9. Let o be b(8). Is o at least as big as d?
False
Let p be (2/112)/(300/24). Let o be 224/(-21)*(-246)/700. Let g = o + p. Which is smaller: g or -0.2?
-0.2
Let m = -578072/7 - -82591. Let u be -1*6*(-3)/2. Which is bigger: u or m?
m
Suppose -3*p - 112 = p. Let i(h) = -h**2 + 33*h + 107. Let n be i(33). Let x = n + -138. Which is greater: p or x?
p
Suppose 7*v - 4*s + 7 = 0, 400*v - 405*v - 18 = -s. Let u = 1676/7 - 245. Which is greater: v or u?
v
Let z(c) be the first derivative of -c**3/3 - c**2/2 - 4. Let s be z(2). Let f be (-4)/s*9/(-21). Which is greater: f or -1/10?
-1/10
Let r = -10204 + 10204.1. Which is smaller: -4713 or r?
-4713
Let i = 11/31 + -4029/11005. Is 0 > i?
True
Let d(t) = -t**3 + 42*t**2 - 220*t + 24. Let n be d(6). Which is smaller: 2/17235 or n?
n
Suppose -5*l + 5*x - 980 = 6*x, 4*l = 2*x - 770. Let k = l + 189. Which is smaller: -20/3 or k?
-20/3
Suppose -5*z = 25, 2*z - 4 + 5 = -3*x. Let q = -10 + x. Suppose 70*f + 240 = -180. Does f = q?
False
Let r = -1705 + 1704. Let q b