et x be d(-82). Which is smaller: 1/3 or x?
1/3
Let h(f) = -f**3 - 49*f**2 + f + 46. Let r be h(-49). Is 275 less than r?
False
Let u be (-9)/(-3 - (-4 + 2)). Let y be (-2)/(-6) + (-3)/u. Let m be 2/((-48)/(-106)) - (-156)/(-39). Which is smaller: y or m?
y
Let s(k) = k**2 + 178*k + 8170. Let g be s(-107). Which is smaller: 572 or g?
572
Let t be (-34)/6*(17 + 98/(-7)). Let n(f) = f**3 + 11*f**2 + 11*f - 6. Let z be n(-10). Is z less than t?
False
Let z = -1373.012 - -1373. Are z and 3 nonequal?
True
Let l be (27 + -3)*(5 - -1)*(-14)/63. Is l at least -97?
True
Suppose 10059 = -31*q - 12664. Which is bigger: q or -2937/4?
q
Let w = -6565/246 + 161/6. Let p = w + -1381/8036. Which is bigger: p or 1?
1
Let z = 51 - 17. Suppose n - 12*u + 9*u = z, -2*u = -3*n + 74. Is 21 at least n?
False
Suppose 91 - 105 = 2*b. Let j be ((-56)/12)/b + (-849)/(-9). Is 1/4 > j?
False
Let i = -3324 + 3294. Which is greater: i or -6?
-6
Let z = 22183 + -20247. Which is smaller: -5/2 or z?
-5/2
Let s be 5 - -10*5/(-10). Suppose -3*i + 51 = 2*f - s*f, 2*f = -4*i + 56. Do f and 18 have the same value?
True
Let s be (1 - 40/45)*18. Is s at most as big as -1559?
False
Let w be (-2)/3 + (-12)/72*(-85459 + 15). Is w greater than 0.1?
True
Let g be 1813/(-722) + 5/2. Let m = g - -1271/16967. Which is greater: m or 1?
1
Let d = 111982/11 - 10180. Let s = -53 + 51. Is d greater than or equal to s?
True
Let d be 110070/(-69075) - (-8)/5. Is d at most -1?
False
Let m be 32/12*66/4. Let w be -3 + (-4 - (-540)/m). Is 5 != w?
True
Let a be (4 - 24/6)*(-4)/(-8). Do -10/73 and a have the same value?
False
Let z(m) = 4*m - 10. Let h be z(2). Let f = -2 - h. Let y be (f - 2)/(4/(-10)). Is y greater than 2?
True
Suppose 29*n = -30900 + 2610 - 3900. Which is smaller: n or -1114?
-1114
Suppose 5947 = 5*x - 11*x + 25975. Is x less than 3340?
True
Let t = 0.9052 + 19.4948. Are t and -0.2 nonequal?
True
Let f = 0.27 + -0.37. Let a(n) = -n**3 - 2*n**2 + 24*n + 31. Let m be a(7). Which is bigger: f or m?
f
Let x = -16981 - -16981.35. Let f = 0 + 2. Let j = f + -1. Is x > j?
False
Let b(y) = -4*y - 16. Let n(o) = o**3 - 7*o**2 + 4*o + 6. Let k be n(6). Let p be b(k). Let x = 57 + -59. Do p and x have the same value?
False
Let f = 469.33 + -9.33. Let j = f + -464. Which is smaller: j or 82?
j
Let o(d) = -528*d - 2112. Let r be o(-4). Which is smaller: r or 4029?
r
Let j be (-39)/6 + (-2808)/(-416). Let u = 0.03 + -0.1. Let c = u - 0.05. Is j greater than c?
True
Let d = 8 + -32. Let x = d + -7. Let s = -30.9 - x. Which is bigger: s or 22?
22
Let n be 65 + (-5)/10*7*(-8)/4. Which is smaller: 293/4 or n?
n
Suppose v = -5, 5*d + 3*v - 3555 - 4625 = 0. Suppose -17*t - 1438 - d = 0. Does -181 = t?
True
Let r = 21 + 1. Let q be (-28 - (-2 + -21)) + 3 + (-68)/(-3). Which is smaller: r or q?
q
Suppose -4*l = 2*j - 154, 3*j = 4*l + l - 220. Let n = l - 39. Let p = n - 2. Are p and -2/73 equal?
False
Suppose 21*h - 1040 = 11*h. Let i = h + -86. Do i and 18 have the same value?
True
Let w = 2759 + -2828. Which is smaller: -65 or w?
w
Suppose -4*u + 169 = a, 0 = -5*u - 3*a - 365 + 578. Which is smaller: -4 or u?
-4
Let q = 203 + -198. Suppose 0 = -2*j + 3 + 1. Which is bigger: q or j?
q
Let c = 30933 + -27513. Which is greater: 3416 or c?
c
Suppose -s + 2 = -v + 4, -5*s = 2*v + 17. Let c be 6 + v + (-273)/54. Suppose 0 = -p + 4*p + 3*r + 6, 5*p + 3*r + 4 = 0. Which is smaller: p or c?
c
Let k = -5/4239 + 2867/1632015. Which is smaller: k or 0?
0
Let c = -619 - -618.6. Suppose -t = s + t + 63, -121 = 2*s - t. Which is smaller: c or s?
s
Let v = 7706/27069 - -4/3867. Is -3/2755 != v?
True
Let b be (7/(-14))/((-6)/(-492)). Let j be -5 + (4 + 50)/((-12)/8). Is b smaller than j?
False
Let g be (7 - 7)*37/111. Which is smaller: 2/11189 or g?
g
Let r = 4219 - 1753. Which is bigger: r or 2465?
r
Let d = -1266 + 1271. Is 184 >= d?
True
Let j = -61.904 - 0.096. Let m = j - -62.5. Let u = m + -2.5. Which is bigger: -0.05 or u?
-0.05
Let i = -27 - -138/5. Let w = -586 - -585.71. Which is smaller: i or w?
w
Let c(j) = j**2 + 3*j - 1. Let t be c(-4). Let k be (0/4 - 184)*(-40)/48. Let n = 153 - k. Which is smaller: t or n?
n
Let z = -26.947 + 24.947. Does z = 31/209?
False
Suppose -3*u + 4*a + 2*a + 381 = 0, -4*a = 3*u - 431. Are 132 and u equal?
False
Let m be (1383/6)/(2 + 237/(-6)). Let f = 4/75 - m. Which is smaller: 0 or f?
0
Let x(m) = m**3 + 7*m**2 - 13*m - 73. Let h be x(-12). Is -637 < h?
False
Let c = -70 - -380. Let n = 303 - c. Which is greater: -8 or n?
n
Let v = -1286.9 - -1287. Is -430 not equal to v?
True
Let i be (80/(-28))/(48/(-120)). Does -2 = i?
False
Let x(c) = -c**3 - 9*c**2 - 7*c + 14. Let l be x(-8). Let g be (6/2)/(248/(-320)*l). Does g = -2?
False
Let g be (-508 - -507)*(-1)/(14/(-4)). Is -2.6 greater than g?
False
Suppose 0 = -7*g + 19*g + 1416. Let t(b) = -28*b**2 - 5*b + 6. Let s be t(2). Which is smaller: g or s?
g
Let g = -2085 - -1820. Suppose 1060 = 2*r - 6*r. Is r at most as big as g?
True
Let d = 133 - -321. Suppose d = -5*w + 464. Is 156/11 equal to w?
False
Let v be 400/28 + (-7)/((-49)/(-2)). Let b(x) = 10*x + 9. Let h be b(v). Is h at most as big as 149?
True
Let r(c) = -13*c**3 + 7*c**2 + 10*c + 22. Let z be r(-3). Which is smaller: 405 or z?
405
Let l be (-1)/35*(3 + -1432). Let r = -213/7 + l. Let n = 101/10 - r. Which is smaller: 0 or n?
n
Let b(m) = m**2 - 30*m + 75. Let a be b(28). Suppose 3*n + 5*y = 6, -20*n = -a*n - 5*y - 2. Which is smaller: 8/5 or n?
8/5
Let r(h) = 11*h**2 - 2*h - 1. Let a be r(-1). Suppose -5*g - 5*o + 100 = 0, 3*o = 2*g - 10 - 20. Suppose 6*t - 84 = -g. Which is smaller: t or a?
t
Let r = 101850 + -1322130/13. Which is greater: 148 or r?
148
Let n be (-160)/(-2285)*(-12)/36. Is n at most as big as 1?
True
Let r(m) = -m**3 + 20*m**2 - 20*m + 29. Let q be r(19). Suppose -20*z = -22*z + q. Which is smaller: 6 or z?
z
Let r = -2654 + 1954. Is -701 smaller than r?
True
Let c(i) = -i**2 - 12*i - 86. Let q be (1472/240 + (-4)/30)/(-1). Let n be c(q). Which is bigger: 2/5 or n?
2/5
Let a = -2383 + 19027/8. Let j(x) = 4*x**2 - 4*x - 2814. Let i be j(27). Which is greater: i or a?
a
Let i = 136 + -95. Suppose 4*y = -5*m + 22, 0 = -5*m - 5*y - 16 + i. Suppose -2*r + 0 = -m. Which is smaller: r or 10/9?
r
Let o be ((-171)/36 - -4) + (-131)/(-4). Suppose -594 = 21*q - o*q. Is 56 at least as big as q?
True
Let s = -57 - -58. Let i = s + -2. Do -1/294 and i have different values?
True
Let d be 279 + (-12 + 5 - -9). Which is smaller: d or 1959/7?
1959/7
Let p be 31 + (-168)/7 + 38/(-6). Let u = -95 + 26. Is u less than or equal to p?
True
Let y = 0.6995 - 0.74. Let q = -29.2595 + y. Which is smaller: 1 or q?
q
Suppose -226*w + 220*w = 6. Let s = -2.5 + -0.1. Let b = s + 3. Is w less than or equal to b?
True
Suppose -9*c - 1205 = 5*m - 14*c, -5*c - 20 = 0. Which is smaller: m or 0.1?
m
Suppose -26*d = 1 - 79. Let s be (9/(-105))/((-19)/7 + d). Let i be (-1)/((2 - 1)*-1). Which is smaller: i or s?
s
Let z = 2/1931 - 1939/7724. Which is smaller: -1509 or z?
-1509
Let n = 354 - 182. Let m = n + -172.3. Is -0.14 greater than m?
True
Let l be (-1081)/(-115) - 10 - (-7928)/5. Which is smaller: l or 1586?
l
Let k = 17.7 - 171.7. Is k less than or equal to -0.2?
True
Suppose -s = 6*v + 208, -223*s + 228*s + 1190 = -5*v. Which is smaller: -14 or s?
s
Let o = -0.1052 - -2.4052. Are 44 and o equal?
False
Let g = 8806/5 + -1761. Suppose 0 = 2*a - 3 - 1. Let z be a*(11/10 - 1). Is z at least as big as g?
True
Let y(x) = 1133*x**2 - 11*x. Let w be y(2). Let r be (-6)/27*1 + w/45. Is r at most as big as 99?
False
Let b = -35 + 35. Suppose -3*m + b*r + 33 = -3*r, -4*r - 8 = -m. Let f be (2/((-12)/(-117)))/m. Is f less than 3?
True
Let h be 567/(14 + -21) + 21. Which is smaller: h or -159?
-159
Let g = 16337 - 24029. Which is bigger: -7689 or g?
-7689
Let q(y) = 15*y**2 - 3*y + 1. Let o be q(1). Suppose 10 = 2*r - 5*n + 27, -o = 4*r - 3*n. Let p be (3*(-2)/(-6))/r. Which is smaller: -2/83 or p?
p
Let i(x) = 1 - 2*x - x**2 + x**3 + 0*x**2 + 0*x**3 + 1. Let a be i(2). Let k(u) = -u + 1. Let v be k(a). Which is smaller: v or -2/41?
v
Let y = 1990/13 - 1174113/7670. Suppose -a + 9 = -2*l, 12 = -a - 2*l + 1. Is y > a?
True
Let p = 404 - 314. Suppose p = 72*t - 90*t. Which is smaller: 