 Which is greater: m or 81?
m
Let l = 3757/14921798 + -257413246227773/9191827568. Let r = -28004 - l. Let t = r - 1/176. Which is bigger: t or 0?
t
Let u = -0.09 + -2.91. Let o be ((-2)/12)/((-9)/12). Which is smaller: u or o?
u
Suppose -n = 3*n + o - 127, 37 = n + 2*o. Let t be ((-6)/(-4))/(6/120). Is n greater than t?
True
Let y = -124 - -209. Let q = y - 596/7. Which is smaller: q or 1?
q
Let u(l) = -l**3 + 2*l**2 + 3*l - 9. Let j be u(2). Which is smaller: -34/21 or j?
j
Let r(h) = -h**3 + 5*h**2 + 5*h + 6. Suppose 19 = 5*z - 11. Let v be r(z). Let j = 297/5 + -60. Do v and j have different values?
True
Suppose -5*y + 0*y + 95 = 0. Let a = y - 19. Which is greater: 2/85 or a?
2/85
Let a be (-8)/(-24)*6/(-11). Let h be (-9)/((-54)/4)*3/(-5). Which is bigger: a or h?
a
Let l be -1*1*(-3 + 0). Let o be (-1)/3 - 8/l. Suppose 2*z = -8 - 6. Is z at least o?
False
Let d(q) = -9*q + 199. Let c be d(22). Let p(h) = -h**3 + 8*h**2 + 2*h - 8. Let u be p(6). Let i = u - 1823/24. Which is smaller: i or c?
i
Let i = -850/1463 + 2/209. Suppose -j - d = -308, -3*d + 298 = 2*j - 322. Suppose 0 = -2*k - 308 + j. Which is bigger: k or i?
i
Let p = -22.963 - -23. Which is smaller: -2/15 or p?
-2/15
Let c = 477/8 + -4421/72. Let d(w) = 4*w + 13. Let j be d(-4). Which is greater: c or j?
c
Let n = 8 + -3. Suppose -n*c - 4 + 14 = 0. Suppose -2*u - 14 = -4*b, 5*b + 0*u - u - 22 = 0. Is c > b?
False
Let z = 733/11842 + 1/382. Is z at least -1/4?
True
Let t = 28 - 28. Suppose -4*i + 3*i + 4 = t. Suppose -8 = -4*u - i. Is u at least as big as 1/14?
True
Let p be -8*(-9)/90 - 544/330. Which is greater: 0 or p?
0
Let n = 2/357 + -410/357. Suppose -h - 2*h = 2*u + 10, 4*h - 5*u - 25 = 0. Suppose h = -2*b - 24 + 22. Which is greater: n or b?
b
Let d be (6/4)/(12/(-64)). Let b(g) = -g**3 - 8*g**2 + 2*g + 2. Let z be b(d). Let c = -15 - z. Is c at most 0.2?
True
Let c = -1 + 2.3. Let r = 1.31 - c. Let p = r - -0.19. Which is bigger: -1/7 or p?
p
Let i(s) = 4*s**2 + 58*s - 31. Let k be i(-15). Let n = 1909/237850 - 1/1775. Is n < k?
False
Let g = -19 + 27. Is g at most 6?
False
Suppose -211 = 2*m - 3*m. Let k = m - 2741/13. Are -1 and k equal?
False
Let c be 24/(-7840)*8*10/4. Let a = -2 + 2. Are c and a non-equal?
True
Let t = -40 + -83. Let u = t + 136. Is 14 < u?
False
Let v = 101.3 + -0.3. Which is bigger: v or 0.1?
v
Let c = 353 - 352. Is c less than -150?
False
Let l = -3861 + 3861. Let r = -13 + 55. Which is smaller: l or r?
l
Let g = -64 - -74. Is 1 greater than or equal to g?
False
Let z be 11/33 + (-2128)/(-6). Let t be z/(-118) + 14 + -11. Is 1 bigger than t?
True
Suppose 5*p - p = -5*t - 2, -4*p = t - 6. Suppose p*w + 15 = 5*w. Let i be 6*((-3)/(-6))/1. Is w greater than i?
True
Let y(s) = -2*s**2 + 35*s - 18. Let x be y(17). Which is bigger: x or -1/75?
-1/75
Suppose 125*r = 122*r + 417. Which is smaller: r or 140?
r
Let y = -73/100 - 1/50. Let b(g) = 18*g. Let p be b(3). Let h be p/(-30) + (-2)/10. Which is bigger: h or y?
y
Let m(w) = 48*w**3 - 2*w**2 + 9*w - 15. Let k be m(2). Which is bigger: k or 380?
380
Let d = 400.07 + -400. Is d smaller than -45?
False
Let f = 89 + -27. Let u = 61.9 - f. Is u at least as big as -51?
True
Let w be -3 - 4/3 - 2. Let p = 998 + -1005. Which is bigger: p or w?
w
Let m = -744 - -993. Which is bigger: 250 or m?
250
Let s(y) = -4*y + 96. Let l be s(26). Suppose 0*d + d = 0. Let c be 0 + d - (l - -9). Is -2/3 at most as big as c?
False
Let z = 5.1 - 5.1. Does z = 4/17?
False
Let k = 12644/297 - 474/11. Is 1 bigger than k?
True
Let g(k) = -7*k - 2. Let q be g(-1). Suppose 3*z + 61 = v, -q*v + 0*z = 4*z - 229. Are 49 and v unequal?
False
Let q = 314 - 315. Let r(f) = -18*f - 1. Let b be r(-1). Which is greater: q or b?
b
Suppose -b + 4*p = -5, 4*b - 6*p + 9*p - 20 = 0. Is b at least as big as -10?
True
Let o(j) = -j**3 + 8*j**2 - 7*j + 1. Let z be o(7). Let l(c) = c + 1. Let y be l(z). Is y > 6?
False
Let r be 43416/(-14200) - (-2)/2*3. Let j = 30/71 - r. Is j >= 0?
True
Let m be (12/(-15))/((-1)/(-25)). Let x be 5/m*12/(-9). Let r be 1/1 + 9/(-8). Is r >= x?
False
Suppose -2545*a + 2527*a = -10044. Which is bigger: 0.1 or a?
a
Let p(r) = -20*r + 18. Let d(x) = 1. Let z(k) = -5*d(k) - p(k). Let w be z(4). Is w at least as big as 115/2?
False
Let a(y) = -y**3 + 4*y**2 - 3*y. Let l be a(3). Suppose 25 = -f - 5*h, 15 = -3*f - 3*h - l. Let j(g) = g**2 + g. Let q be j(f). Is q < 2?
True
Suppose -167 = -5*y - 17. Suppose -5*w + 50 = -3*h, -3*w - 6*h = -h - y. Suppose 4*g = -5*j - 4 + w, 4*j = 4*g + 12. Which is greater: -2 or g?
g
Let n(w) be the first derivative of -w**4/4 - 2*w**3 + 4*w**2 + 2*w - 9. Let h be n(-7). Let v = -10 + 4. Is v at least as big as h?
False
Let j = 109 + -108.8. Is j <= -64?
False
Let f(t) = -t**3 - 6*t**2 + 7*t - 6. Let w be f(-7). Let d(k) = -2*k**3 - 12*k**2 + 2*k + 12. Let u be d(w). Is -1/27 greater than or equal to u?
False
Let b be (2 - 1)/(1/(-1)). Let l be 4/18*b/2. Let h = 156 - 157. Is h <= l?
True
Let x(s) = s**3 + s**2 - s + 1. Let l be x(1). Let y = 18.81 - -16.15. Let z = y - 35. Which is greater: l or z?
l
Let z = 0.0463 + 0.9537. Which is smaller: -95/6 or z?
-95/6
Let x = -43 + 23. Let m = x + 47. Let f = m + -41. Is -2/3 at most as big as f?
False
Let u = -47 - -425/9. Let p = 0.12 - 3.12. Let n = p - -8. Are u and n unequal?
True
Let p = -5.913 + -0.087. Let l = 0.2 + -0.2. Is p < l?
True
Let v = 609 + -609.1. Is -730 at most v?
True
Let f = -85/438 + 2/73. Let u be -1*1*(9 + -8). Which is bigger: f or u?
f
Let s = -622/13 + 48. Let x = -0.04 + -0.26. Which is smaller: s or x?
x
Let d be (-3)/(-12) + 0 + (-66)/8. Let l be 69/9 - d/6. Which is greater: l or 8?
l
Suppose 4*c - 3*u = -23, 0 = 5*c + 3*u - 0*u - 5. Suppose 3*x - 38 = -4*b + x, 5*b - x - 65 = 0. Let l = -14 + b. Does c = l?
True
Let g be 20/(-25)*55/20. Which is smaller: -3 or g?
-3
Let s be (-8)/(-20) - (-8)/(-30). Let k = -5 - -21. Let m = k - 16. Are s and m non-equal?
True
Let z be 2/2 + (-2 - -3). Suppose t = 3*d + 4, -3*d + 0*t + 4*t = -2. Let r be d/z*(5 + -4). Do -2/21 and r have the same value?
False
Let y = 668 + -667. Which is smaller: y or -7/34?
-7/34
Let z(v) = 4*v**3 + v**2 + v + 1. Let q be z(-1). Let x = -407 + 3255/8. Which is bigger: q or x?
x
Let y = -139 - -142. Let l be 72/(5 + -1)*y/15. Is l bigger than -0.1?
True
Suppose 9*c - 16 = 7*c. Let z(t) = -6*t - 2. Let l be z(-2). Is c less than l?
True
Let w = -1.4 - -5.4. Let a = -0.03 - 2.97. Let x = 4 + a. Are w and x equal?
False
Let q = 0 + 0.03. Let n = q + 0.67. Let y = n - 0.57. Are y and -1/4 unequal?
True
Let f = 0.18 + 15.82. Let c = 19.65 + -3.75. Let i = f - c. Is i less than or equal to 0.2?
True
Let d be (0 - (-2)/6) + (-26)/42. Is 1.4 at least d?
True
Let a be 9 - 7 - 3*474/712. Do 1 and a have different values?
True
Let w = 109 - 97. Let k be (-2)/(14*(-1)/(-86)). Let p = w + k. Does 3/13 = p?
False
Let o be 66/14 + (-4)/(-14). Suppose -3*a - a - 4*g = 0, -5*g - o = 4*a. Suppose 0 = -a*w + w + 4. Which is bigger: w or 6/13?
w
Let w = -416 - -416. Which is greater: 1/44 or w?
1/44
Suppose 4*n + 267 + 773 = 0. Is -261 >= n?
False
Let j(i) = -i. Let x be j(0). Suppose 3*p = -2*p - 2*z - 17, -4*p + 2*z - 10 = x. Let n be ((-7)/((-21)/(-4)))/((-21)/(-9)). Is p bigger than n?
False
Let f(z) = z - 1. Let m be f(6). Suppose 4*a - 2 = 2*q, -6*a + a - 5*q - m = 0. Suppose a = 2*v - v. Is 2 at most v?
False
Let j(m) = 2*m**3 + 14*m**2 + 11*m - 15. Let c be j(-6). Is c at least as big as -4?
False
Let q be ((-90)/(-75))/((-4)/10). Let x(l) = -l**3 + 5*l**2 - 3. Let p be (-2)/4 + 22/4. Let a be x(p). Is q greater than a?
False
Let f = 27.52 - 0.52. Let s = -32 + f. Is s greater than -3/5?
False
Suppose 0 = d - 4*p + 28, 3*d = -2*d + p - 7. Let f be 4*(-2)/((-308)/1). Which is smaller: d or f?
d
Let k be (36/(-6) + 11)/(5/2). Is 43 > k?
True
Let h be (0 + 18/(-15))*10/(-4). Suppose -4*o - 3 + 2 = n, -5*o = -h*n - 20. Is o <= 1/2?
False
Suppose -r + 2*r + 55 = 0. Let b = -127 - r. Let f be (4/(-6))/(84/b). Which is smaller: f or 1?
f
Let v = 46 + -59. Which is bigger: v or -99/7?
v
Let r(n) = -n**2 + 5*n + 2. Let y be r(7). Let i = -13 - y. Is -4 >= i?
False
Let m = -97/3 + 32. Let n = 11 + -29. Let c = 18.5 + n. Which is smaller: m or c?
m
Let l be (-1