se m - 2084 = -2080. Which is bigger: m or 16?
16
Let t(w) = -9*w + 8 - 4*w**2 - 3*w**2 + 5*w**2. Let k be t(4). Which is greater: k or 0?
0
Let c = 43 + -44. Let j = -847/9 + 93. Which is greater: c or j?
c
Let o = -245131/2630 - -466/5. Which is greater: 1 or o?
1
Let a(n) = -n + 3. Let v be a(0). Let w(o) = o. Let c be w(v). Let b(k) = -22*k + 111. Let f be b(5). Which is bigger: f or c?
c
Let v be (0 + -1)*(-1 - 0)*7. Let q(c) = 3*c - 20. Let b be q(v). Let k = 453 - 4069/9. Which is smaller: b or k?
k
Let j be -159 - ((-10)/(-20) + (-9)/(-6)). Is j at most as big as -159?
True
Let j(k) = k**3 + 10*k**2 + 19*k - 15. Let a be j(-7). Let s be -23 + a + (-16 - -16). Which is smaller: -21 or s?
s
Let n(h) = 35*h + 5. Let l be n(-2). Let c = 69 + l. Let q be (6/20)/((-3)/(-4)). Is c less than or equal to q?
False
Let s = 149 + -211. Let v = -31 + -32. Are v and s non-equal?
True
Let n be 1/(-2) + 13/(-26). Let w be (2*n)/(9 + -7). Are -10 and w non-equal?
True
Suppose -s - 5*f = -f - 37, 0 = 3*s - 4*f - 63. Let m be -1 - -6*s/130. Is -1 smaller than m?
True
Let q(p) = 42*p**2 + 5 - 41*p**2 - 4 + 9*p. Let g be q(-9). Which is bigger: 2/279 or g?
g
Let v be -8 - -6 - -7*1. Suppose -4*l = -9*l - v. Which is smaller: l or -1/43?
l
Let n = 290 - 553/2. Which is smaller: -2 or n?
-2
Let g = 6/7 + -11/21. Suppose 0 = -2*u - u - 2*k + 34, 5*k = 2*u - 29. Suppose 0*y = -3*y + u. Is g not equal to y?
True
Let z(s) = 36*s + 139. Let k be z(-8). Which is greater: -145 or k?
-145
Suppose 0 = -4*l - 87 - 177. Are -65 and l unequal?
True
Suppose -4*p = -2*p + 76. Let z = p + 35. Are z and -4 equal?
False
Let g = -9054205369/125177 - -940306/13. Let k = 6392701/16253752 - g. Let u = 2/211 - k. Is 0 less than u?
False
Suppose 3*n - 3*h = -1488, 2*n + 4*h - 5*h = -990. Is -493 at most n?
False
Let c(v) = -v**2 + 7*v + 5. Let u be c(8). Suppose -5*t + 48 + 372 = 0. Let x = t - 250/3. Is x smaller than u?
False
Let j = 11729 - 35972/3. Are -262 and j equal?
False
Let x(p) = p**3 + 18*p**2 + 70*p + 31. Let k be x(-13). Which is bigger: -1/9 or k?
-1/9
Let p = -28.01 + 0.01. Let h = p + 30. Which is smaller: 4 or h?
h
Suppose 5*q = 25, -3*i + 4*q + 4 = 3. Let c be i/5 - (12 - 12). Let u(f) = 2*f**3 - f**2. Let v be u(1). Do c and v have the same value?
False
Suppose 0 = -5*o + 25, 2*y - 4 = 3*o - 15. Suppose -4*i + y*i = 2*p, -20 = -5*p + 5*i. Let t be p + -1 - (-4 - -7). Which is greater: 1 or t?
1
Let f be 91/(-4)*4*(-6)/12. Let u = -45 + f. Which is greater: 14 or u?
14
Suppose 0 = -4*w + 9*w - 85. Let z = w + -13. Let m be 2 - (20 - z)/(-2). Is m at most as big as 10?
True
Let t be 43/((-989)/(-184)) - 98*3/48. Let a be (2*2/(-4))/(-1). Is a smaller than t?
True
Let n be -2 + 3 - 4/2. Let u be (0 - n)/(14/(-6)). Let o be (2/(-1))/(-2) + 2. Which is bigger: u or o?
o
Let i be 298/(-20) + (-2)/(-20). Let h = -99 + 493/5. Is i at most h?
True
Suppose 3*o + 2*g - 10 = 0, 0 = 5*o - 8*g + 4*g + 20. Let c be (-164)/(-224) + 34/16 + -2. Which is smaller: o or c?
o
Let f = 0.09 - -4.03. Let z = -0.02 + f. Is -2/5 >= z?
False
Let n = -797/942 - -2/157. Suppose -18 = k - 4*i, i - 14 = -k - 3*i. Let u be -4 + 2 + -1 - k. Which is smaller: u or n?
u
Let j(f) = f**3 - 7*f**2 - f. Let h(i) = -i**3 + 10*i**2 + 7. Let a be (2 - 7)/(2/(-4)). Let q be h(a). Let l be j(q). Is -7 smaller than l?
False
Let r = 80.47 - 80.57. Let a = -30.75 + -0.25. Which is smaller: r or a?
a
Suppose -3*m - 2*m + 14 = 4*j, 5*m = 3*j + 7. Let s be 3*m/10*-1. Suppose 2*u + 3*q = -2, 21*u - 4 = 25*u + 3*q. Is s greater than u?
True
Let m = 117 + -53. Is 67 at most as big as m?
False
Let d = -41447/2812 - -540/37. Let z = d + -2/19. Let y be (12/18)/(26/6 - 1). Is y <= z?
False
Let b = 83.978 - 84. Let l be -4 + (4 - 2) + 2. Is l < b?
False
Let f = 62 + -59. Which is smaller: 1/89 or f?
1/89
Let u = -7.3 + 9.3. Which is smaller: u or 2/5?
2/5
Let d = 0.0266 + 0.1934. Is d at most -4?
False
Let o = -1046 - -1062. Are -0.2 and o equal?
False
Let n = 8 - 17. Let i = -2 + -2. Let t = n - i. Which is smaller: -2 or t?
t
Suppose 0*z - 31 = 4*i - 5*z, -z - 47 = 3*i. Let w be i + 13 + 14/18. Is -1 at most as big as w?
True
Suppose -2*h + 1164 = -4*c + 2*h, 3*h = -4*c - 1178. Let r = 599/2 + c. Let a = 7 - r. Which is smaller: 2/3 or a?
a
Suppose 4*l = 5*k - 28, 2*l - 17 = -k - l. Let c = -11 + 15. Suppose -3*t - 9 = -2*r, 2*r = c*t - 2*t + k. Is 4 greater than or equal to r?
True
Suppose -172 = -2*r + p + 663, -3*r - p = -1255. Let k be 3/7 + r/(-77). Is k smaller than -5?
False
Let r be 0*(88/33)/8. Do 3/31 and r have the same value?
False
Let q = 81 - 56. Let d = q + -25. Is -6/31 <= d?
True
Let f be 238/3 + -1 - 25/(-15). Is f greater than or equal to 80?
True
Let d be 11/(275/10)*(-50)/64. Which is smaller: d or 0?
d
Suppose -5*d = -2*d - 12. Let u(z) = 140*z**3 - 4*z + 134*z**3 - 275*z**3 + 5*z**2 + 1. Let t be u(d). Which is bigger: -2/13 or t?
t
Suppose 3*p - 5*i = -250, -4*p = 16*i - 13*i + 343. Is -81 at most p?
False
Let w = 1988 + -1988. Let j be (106/(-27) - -2) + 2. Which is smaller: j or w?
w
Let s(m) = -m**2 - 15*m + 15. Let z be s(-15). Suppose 0 = -3*g + 9 + z. Let f = 9 - g. Are f and -1/8 equal?
False
Suppose 2*g - 4 = -6. Let a be ((-3)/12 - g)*32/132. Which is smaller: 1 or a?
a
Suppose -r = -1 - 2. Let v be 22/3*9/6. Suppose x + r*z = -v, -4*x - z + 8 = -2*z. Is 1/2 != x?
True
Let c = -330/7 + 35984/763. Suppose -d + 3 = 2*d. Which is smaller: d or c?
c
Let z = 1 + -2. Let a be z/4 + (-36)/(-16). Suppose 0 = -2*n + c - 6*c + 4, -n = -a*c + 7. Which is bigger: n or -2?
-2
Let u be (-4)/(-34) + (-18)/153. Which is bigger: 6 or u?
6
Let x = 0.002 + 0.098. Let f = -3.1 - -3.2. Is x less than f?
False
Let q(c) = -c**3 - 5*c**2 - 6*c - 29. Let h be q(-5). Let x be (0 - 18/8) + 2. Which is greater: x or h?
h
Let w be 112/(-21)*(-6)/(-4). Let c be 411/264 - w/(-44). Let z = -393/280 + c. Is z equal to -1?
False
Let h = 2.1 + -5.1. Let w = h + 3.1. Are -7 and w equal?
False
Suppose i - 10 = -4*i. Suppose b - i = -b. Let k = -2/1155 - 1/35. Which is bigger: b or k?
b
Suppose -2*o - 5 = 19. Is o at least -12?
True
Suppose 2*o = -2*p + 4, -4*o + 3 = p - 2*p. Is o less than 80?
True
Let i = 698 + -407. Which is greater: -2/7 or i?
i
Let d(h) = h**3 - 2*h**2. Let r be d(0). Suppose 12*t + 1006 + 170 = r. Which is smaller: -99 or t?
-99
Let z be 22299/(-2*1/18). Let d = 1803794/9 + z. Let g = -269 - d. Is g equal to 0?
False
Suppose 8*m = 651 - 627. Which is smaller: 39 or m?
m
Let k = -266119/67 - -3972. Let l = 538/871 + k. Which is smaller: l or 0?
0
Let n = 35 + -20. Suppose -w + 3*w + 3*s - 10 = 0, -n = -3*w - 3*s. Let l = 299/5 - 60. Which is bigger: w or l?
w
Let c = -13 - 184. Which is greater: 2 or c?
2
Let u be 9/(-3) - (-364)/(-4). Let b = -468/5 - u. Which is smaller: b or 1/4?
1/4
Let p be 28/(-6)*(-9)/(-3). Suppose -48*f = -50*f - 8. Let t be (-45)/(-2)*(-4)/5 - f. Does t = p?
True
Let t(q) = -q**2 - 1. Let o(w) = 3*w**2 - 2*w + 34. Let a(x) = o(x) + 4*t(x). Let c be a(6). Is c at least as big as -16?
False
Let g = -2.082 + -0.018. Let w = g - -0.1. Does w = -1?
False
Let j(c) = -17*c + 118. Let k be j(7). Are -1/143 and k unequal?
True
Let a be (4 + -2)/(14/(-259)). Let k = a + 32. Which is bigger: k or -1/13?
-1/13
Let m = 1/422 + 789/23210. Suppose 2*j - 180 = -3*j. Suppose 41*p + 5 = j*p. Is p at least as big as m?
False
Suppose -6*t = -3*t - 6. Let k be 14*(-1 + 0)/(-1). Let i be (t/3)/(k/(-21)). Which is greater: i or -2/41?
-2/41
Let q = -2180 + 2164. Which is greater: -151/10 or q?
-151/10
Let d(y) = -2*y - 17. Let w(u) = -u - 13. Let q be w(-6). Let g be d(q). Let v be 4 - (2 + g/(-2)). Which is bigger: -1 or v?
v
Let i = 6491 - 3978985/613. Do i and 0 have the same value?
False
Let o = 5474647/109768 + 4/13721. Which is smaller: o or 51?
o
Let r be (-3)/(((-15)/(-4))/5)*1. Let h be (16/(-20))/(r/(-50)). Which is greater: -17/2 or h?
-17/2
Let y = 31 + -31. Is y less than -5/103?
False
Let d be 19/(-44) + (-1)/(-4). Let s = -88.9 - -13.9. Let i = s - -78. Which is greater: i or d?
i
Suppose 28*j - 363 = -1203. Is 0 bigger than j?
True
Suppose 5*g - 648 = 1392. Let c be -3 + g/20 - 6/15. Is c > 18?
False
Let y be (-1700)/340 - (-10 + -1). Let l = -60 + 129/2. Do y and l have dif