 -1 + (-9)/27*b/38. Which is smaller: n or 1?
n
Let t = 198 - 197. Which is greater: t or -0.022?
t
Let f(t) = 2*t + 13. Let o be f(-9). Suppose 8 = -0*d - d. Let x(q) = 4*q + 26. Let k be x(d). Is o at most k?
False
Let n be 106/583 - 1896/22. Is -259/3 < n?
True
Let q = -2434 - -2447. Let c = -16 + 49/3. Let h = 1/3 + c. Which is smaller: h or q?
h
Suppose -5*l + 25 = -a, 2*l + 5 = -3*l - 5*a. Suppose -3 = -l*w + 21. Suppose 6*i = 3*i + 15. Are i and w unequal?
True
Suppose 6 = -s - 2*z, -3*z = 2*s - 0*z + 12. Let j be s/(-2) + (-95)/35. Let t = -0.1 + 0.2. Which is greater: t or j?
j
Let u(r) = -r + 10. Let o be u(11). Let l = o + 11. Let x(i) = -i**2 + 9*i + 9. Let g be x(l). Which is greater: -2/39 or g?
-2/39
Suppose 0 = -5*c + 9*c - 16. Suppose 0*f + 20 = c*f. Which is greater: f or 1?
f
Let q = -57.1 + 56. Is -9/5 less than or equal to q?
True
Let g = -109956/37 + 2972. Is 1 bigger than g?
True
Let p = -659 - -649. Which is greater: p or 16?
16
Let l be 9786/168*(-16)/4. Which is smaller: l or -232?
l
Let j = -1390 - -1390.52. Is j > 14?
False
Let o(x) = -2*x - 4. Let c be o(-10). Suppose c + 4 = -5*h. Let a be (-9)/6*h/30. Is a equal to -1?
False
Let g be (6/(-10))/((12/(-2))/(-30)). Let f = 161 + -490/3. Which is smaller: f or g?
g
Let t = -799/300 - -31/12. Is 0.1 less than or equal to t?
False
Let i be 0 + -7 + -17 + 24. Is -10/33 >= i?
False
Let j = 23117 - 3675625/159. Which is bigger: j or -1?
j
Let h = 555 + -557. Let m = 2.86 + -7.94. Let b = m - -5. Is h at least as big as b?
False
Suppose 13*p - 24225 = -4517. Is 1517 < p?
False
Let b be (-19 - -33)*(-3)/(-2). Suppose -3*i = n - 3, 5*n + i + b = 4*i. Let d(z) = -z**3 - 3*z**2 - z - 4. Let g be d(n). Is -3 less than g?
True
Let l(a) = 42*a - 28. Let f be l(3). Let y = f - 95. Which is smaller: -1/4 or y?
-1/4
Let q = 488 + -487. Are 19/14 and q equal?
False
Let a = -8 - -10. Let j = 16.9 + -15. Let y = j - a. Is y > -5/8?
True
Let z be 154/21 + 1/(-3). Suppose -8*b = -z*b. Which is bigger: -1 or b?
b
Let k = -584 + 584.1. Let l = -160.06 + 162. Let t = l + 0.06. Is t <= k?
False
Let r = -2/6761 + 338068/60849. Is r not equal to 6?
True
Let h = -22 - -24.15. Let a = h + 0.25. Do a and -1 have the same value?
False
Let o = -15 - -14.5. Let a = 0.5 - 2. Let l = o + a. Which is smaller: l or -10?
-10
Let s(m) = m**3 + 5*m**2 + 8*m + 7. Let v be s(-3). Suppose -v = -4*n + 11. Is 3 > n?
False
Suppose -4*u - 4*k = 20, 5*k = 3*u - 64 + 39. Which is smaller: 2/7 or u?
u
Let a = -16.4 + 3.4. Let f be 684/(-140) - (-6)/10 - -4. Which is smaller: f or a?
a
Let w = -2611/289 - 371681/24276. Let m = -97/4 - w. Which is smaller: m or -1?
-1
Let g = 17/105 + 6/35. Let q = -15 - -33. Which is smaller: g or q?
g
Let j = -3/2 + 3. Is j >= 2?
False
Let p = -3/1664 - 2053/707200. Is p at least as big as 0?
False
Let q = -59 + 71. Do q and -6 have the same value?
False
Suppose 141*v - 131*v - 10 = 0. Which is smaller: -1/323 or v?
-1/323
Let y be (-19)/266 - 5739/14. Is -412 at most as big as y?
True
Suppose 3 = -4*f + 5*a + 16, 0 = f + 2*a + 13. Are f and -166 equal?
False
Let x = 0.0234 + 84.9766. Which is smaller: -2/9 or x?
-2/9
Suppose 4*s + 0 = -12. Let t(d) = -d**2 - 4*d - 2. Let v be t(s). Is 6/25 < v?
True
Let s = -17.9 + 14.9. Which is smaller: s or -11/3?
-11/3
Let n(y) = -24*y + 4. Let q(k) = -23*k + 3. Let t(h) = -3*n(h) + 4*q(h). Let f be t(-6). Let u be (-2)/(-4) - 108/f. Is u >= 1?
False
Let x = 26.4 + -25.5. Do 2/3 and x have the same value?
False
Let g be 694/28 + 13/(-26) - 7. Is 16 less than g?
True
Let c = -11.727 - 0.273. Which is greater: c or -3?
-3
Let m(k) = k**3 - 23*k**2 - 49*k - 25. Let n be m(25). Which is greater: n or -3/166?
n
Let d(c) = c**3 + 11*c**2 + 11*c + 6. Let u be d(-10). Suppose 393 = w - 3*z, -3*w + 665 + 510 = -5*z. Let p = -1181/3 + w. Which is smaller: u or p?
u
Let r = 10944439 + -645751518/59. Let n = -502 - r. Which is bigger: 1 or n?
1
Suppose -m = 2*k - 0 + 12, 0 = 5*m + 2*k + 36. Let z be m/4*160/60. Is z > -4?
False
Suppose -4*y + 0*y - 278 = -5*b, -2*b = -4*y - 116. Let j = b + -227/4. Suppose -2*t - 3 - 1 = 0. Which is smaller: j or t?
j
Suppose -5*r + 35*w = 36*w + 419, -3*r - 4*w - 265 = 0. Is r greater than or equal to -79?
False
Let d(n) be the third derivative of -n**6/120 - n**5/4 + 17*n**4/24 + 5*n**3/2 - n**2. Let r = 191 - 207. Let f be d(r). Which is smaller: -2/9 or f?
f
Suppose 4*x + 2*a + 266 = 0, 0 = -x - x - 2*a - 130. Let j = x + 68. Which is smaller: 1/23 or j?
j
Suppose -3*n = -3*i + 180 - 741, n - 4 = 0. Is -182 <= i?
False
Suppose -2*y + 4*m = -12, -19 = -5*y - 2*m + 11. Suppose 3*u = y*u + 6. Let g(k) = -k**2 + k + 43. Let c be g(7). Which is smaller: c or u?
u
Let f(k) = -k**3. Let j(c) = -c**3 + 4*c**2 - c - 3. Let p(i) = -2*f(i) + j(i). Let u be p(-4). Let w = 5831 + -52481/9. Is w equal to u?
False
Let k = -2.23 - -2.57. Is k greater than or equal to 1/2?
False
Let m be ((-96)/(4 + -2))/((-6)/4). Does -4 = m?
False
Let j = 60 - -211. Let o = j + -273.11. Let h = o - -0.11. Is h at most as big as -2/7?
True
Let r = 2 + -2. Let u = -50 + 49.96. Let l = u + -5.96. Is r equal to l?
False
Let m be (-18)/(-21)*(-14)/142. Let b = m + -100/497. Which is bigger: b or 9?
9
Let d = -1068 + 1076. Let g be 1 - (1 - 2)/1. Is g < d?
True
Let h = -24 - -23. Let b be (-1 - h) + (-108)/(-12). Is 6 at least b?
False
Let q = 75 + -53. Let x = q + -57. Let c be (-2)/(-85)*x/21. Is c <= -1?
False
Let s = 27283/1916 - -5/479. Are 13 and s nonequal?
True
Let i be (-6)/14 - 17/(-7). Suppose -9 = -2*c - c. Suppose -7 - i = -4*h + c*l, -3*h + 2*l = -6. Is h <= -4/7?
False
Suppose -2*c = 2*c + 124. Let q = c - -47. Let x = 16 - q. Which is smaller: -2/7 or x?
-2/7
Let n = -785837/66 - -11906. Let k = n + -1/22. Let v = 2 - 3. Do k and v have the same value?
False
Let s be -178*((-325)/(-80) + -4). Is -12 greater than or equal to s?
False
Let w = -14 + 19. Suppose -4*y + k - 18 = -101, w*k + 15 = 0. Suppose -2*m = y - 2. Which is smaller: -1 or m?
m
Let y = 480 + -477. Which is greater: y or 71/26?
y
Suppose 0 = -0*f + 9*f - 324. Which is smaller: 37 or f?
f
Let h(g) = -51*g + 34*g + 4 + 25*g. Let p be h(-1). Suppose -31 = 5*z - 6. Which is smaller: p or z?
z
Let s = -524 - -524. Is s bigger than -1/32?
True
Let h be -11 + (-4 - -6) + -3. Let p be (-114)/(-4)*(-8)/h. Let o = 23 - p. Which is greater: o or 3?
o
Let u = 2/9 - -4/9. Let r = 24.9 + 85.1. Let b = -109.98 + r. Which is smaller: u or b?
b
Let q = 23 - 0. Let i = -46 + 24. Let c = i + q. Which is smaller: c or 8?
c
Let g be 5/1 - (-143)/(-13) - 1073. Is g at most as big as -1079?
True
Let f = 2/271 - -1616/1355. Is 3/5 less than f?
True
Suppose 329 = -4*f - 2*a + 83, 0 = -3*f + a - 182. Let g = f - -367/6. Let b(q) = -q - 10. Let o be b(-10). Which is bigger: g or o?
g
Suppose 2*u + 3*u = -1249425. Let a = u - -2746053/11. Let j = 244 + a. Which is greater: 1 or j?
1
Let q be -3 + 4 + 2810/(-40). Is q at least -69?
False
Let q be (-3)/1 - (-181 + 179). Is q equal to -8/263?
False
Let z = -82 - -73. Let r = -21 + z. Which is bigger: r or 0?
0
Let p(i) = -i**3 + 27*i**2 + 35*i - 195. Let d be p(28). Which is smaller: d or -1/1120?
-1/1120
Suppose -2*d + 4 = -2*o, -7*d + 8 = -3*o - 3*d. Is 2/8095 less than or equal to o?
False
Suppose -2*g + 3*x = -21, 2*g - 8 = 4*x + 10. Suppose 0 = -3*l + g*l + 780. Which is bigger: 1 or l?
1
Suppose -3 = -q, -5*q + 17 = v + 21. Does -17 = v?
False
Let m = -367/2 - -188. Is -9 <= m?
True
Let i be (4/(-10))/(-8 + (-316)/(-40)). Which is bigger: 7 or i?
7
Let t(z) = -2*z + 37. Let o be t(17). Let b(x) = -2*x**3 + 6*x**2 - 7*x. Let w be b(o). Which is smaller: w or -20?
w
Let p(t) = 8*t**2 - 224*t - 18. Let c be p(28). Let a(y) = -19*y - 1. Let i be a(1). Which is smaller: i or c?
i
Let b = 9 + -2. Suppose -8*l + b*l + 1 = 0. Let h be (1/(-2))/((-14)/(-8)). Is h not equal to l?
True
Let y be -20 - 1 - -1*2. Suppose -19*f - 34 = 289. Is f greater than y?
True
Let i be 2/5 - ((-515)/25 + 0). Is i >= 18?
True
Suppose -12*z + 16*z = 20. Let y(q) = -q**2 + 5*q + 11. Let t be y(z). Is t greater than 11?
False
Let h = 145 + 92. Let m = h + -134. Are 102 and m nonequal?
True
Let p = -442 - -427. Is p at least -16?
True
Let p = -1081/7 - -154. Let j = -2/697 + -