et j be 1/(-4 - (-22)/6). Let i(r) = -r**2 + 8. Let f be i(j). Which is greater: -1/39 or f?
-1/39
Let x be (-2)/1 + (2 - -1). Let l = -1 + x. Let a = 398/5 + -6761/85. Is a less than l?
False
Let y be (-3)/(-5) + 6/(-10). Suppose y = -4*w - 3*q + 1, 2*w - 2*q - 13 = -q. Suppose 2 = f - w. Which is bigger: 5 or f?
f
Let q be ((-2)/(-4) + 0)*2. Let w be q - 0*(-2)/(-6). Let b be w*(0/3 + 0). Does -0.3 = b?
False
Let q = -7977 + 1475749/185. Which is smaller: q or -1?
-1
Let m = 100.1 + -101.1. Which is bigger: m or 143?
143
Let h = 1 + -0.9. Let d be -21 + 25 + (246/31)/(-2). Which is bigger: h or d?
h
Suppose 5 - 10 = -v - 5*q, 2*q - 2 = 2*v. Which is smaller: v or -1/33?
-1/33
Let v(l) = l**3 - 3*l**2 - 2*l + 1. Let o be v(3). Is -16/3 bigger than o?
False
Let j = 6158804/1845881213 - 1/410287. Let k = 4867963/13497 - j. Let v = k + -364. Which is bigger: v or -2?
-2
Let b(x) = -x**2 + 85*x - 686. Let k be b(76). Which is smaller: -10/13 or k?
k
Let b = -1909 - -1945. Is b less than or equal to 20?
False
Let c be (-2)/(-6)*-12*(-6)/132. Does -8.7 = c?
False
Let z(d) be the first derivative of d**4/4 + 17*d**3/3 + 15*d**2/2 - 33*d - 14. Let x be z(-16). Is x less than -17?
False
Suppose -3*k + 8*k = 75. Let p = 24 - k. Suppose 6*u - 36 = 2*u. Is p equal to u?
True
Suppose 0 = 3*g + v - 19, -g + 6*g + 3*v - 33 = 0. Suppose 4*t - 2 - 12 = m, 4*m + 2*t - 16 = 0. Suppose 0 = g*b - m*b + 4. Which is greater: 11/2 or b?
11/2
Let q(s) = -s**2 - 13*s - 6. Let g = -20 - -8. Let o be q(g). Let r(k) = k**3 + k**2 - 32*k - 5. Let b be r(-6). Which is smaller: b or o?
o
Let a = -10.2 + 5.2. Let p = 8 + a. Which is smaller: p or 0?
0
Let x = -6.1091 + 0.1091. Is x != -2/3?
True
Suppose 34 = 5*j + 9. Let d be 30/(-5) + j - 5. Which is smaller: d or -25/4?
-25/4
Let q(g) = -2*g**3 - 35*g**2 - 22*g - 59. Let c be q(-17). Is c not equal to 1?
True
Let l be (-411)/10 - (-3)/30. Let c be (203/l + 5)*1. Are c and -1 equal?
False
Let h be 12/5 + -10 + 7 + 5. Is 3 less than h?
True
Let a(l) = -122*l + 285. Let b be a(12). Which is bigger: -1178 or b?
-1178
Let d be 1*-1*(-22)/(-143). Let r be (3 + -5 - -3) + -1. Suppose 2*l + l = r. Is l at least d?
True
Let u = -10111/2 + 4910. Let i = u + 144. Which is smaller: i or 2?
i
Suppose -4*u + 168 = -0*u. Let s = 67495/6 - 11291. Let q = u + s. Is 0 less than or equal to q?
True
Let c(l) be the third derivative of 67*l**4/24 + l**3/3 - 4*l**2. Let z be c(1). Let h be 2 + (-144)/z + 0. Is h < 0?
True
Suppose 4*h - 2*c = 52, c - 22 = -2*h - 0*c. Suppose h = -4*v - 2*n, n = 3*v - 0*v + 4. Is -1 bigger than v?
True
Let v(r) = r**2 - 11*r - 10. Let d be ((-2)/14 + (-918)/42)/(-2). Let o be v(d). Is -29/3 at least o?
True
Let a = -3 - -0.7. Let r = 0.1268 + -2.3268. Let p = a - r. Is p at most -0.05?
True
Let y = 1784 + -7135/4. Which is bigger: 1/426 or y?
y
Let u = 1056 - 1056. Is -2/1347 at least u?
False
Let g = 0.8 - -0.2. Let r be 60/3*2/(-4). Let c be 10/4 + 5/r. Which is bigger: g or c?
c
Let t = 173 + -172. Is t at least as big as 1/626?
True
Suppose 6*y = -n + 4*y + 3, -2*n = y - 3. Which is smaller: n or -2/69?
-2/69
Let r be (-20)/(-6) + 4/6. Suppose 2*y + r*c = -11 + 25, 2*y + 5*c = 18. Is y equal to 0?
False
Let j = -201.5 - -227.5. Which is smaller: -5 or j?
-5
Let c = -92 - -77. Is c at least as big as -15?
True
Let q be -6 + 0/7 + 9. Suppose t = -2*t. Let i = q + t. Are i and 3 equal?
True
Let m = 1412 - 1413.4. Which is bigger: -9/5 or m?
m
Let p be 2*(5 + -12)*3. Which is smaller: p or -44?
-44
Let y = 2.9 + -3. Let n = 145.7 + -146. Let x = n - y. Which is greater: 6 or x?
6
Let t = 2.6 - 0.8. Let d = 18 + -18.8. Let r = t + d. Which is greater: -12 or r?
r
Suppose -7*j + 9*j = -56. Let c = j + 19. Let z be (-1)/c*(4 + 2). Is 2 smaller than z?
False
Let b(f) = -f**2 + 3. Suppose 10 = r + 1. Let l be (-10)/(-6) + 3/r. Let c be b(l). Is -3 greater than c?
False
Let q = 613.9 + -614. Which is smaller: -1160 or q?
-1160
Let y = 84 + -78. Suppose 20 + 20 = 2*w. Let m be (y/w)/(18/84). Which is smaller: m or 0?
0
Let i(c) = -15*c + 105. Let n be i(7). Which is smaller: n or -9/70?
-9/70
Suppose -2*o + 4*n + 0*n - 6 = 0, 4*o + 2 = -2*n. Let x(p) = p**2 + 76*p - 325. Let m be x(4). Which is smaller: m or o?
m
Suppose 0 = 289*j - 293*j + 40. Which is smaller: 5 or j?
5
Suppose 4*n + 2 = 2*w, -13 = 4*n - 5*n - 4*w. Let y be (n - (1 - 3)) + (-4 - -5). Which is greater: 13/3 or y?
13/3
Let y be 86440/(-107160)*2*(-6)/40. Let a = 24/95 - y. Are 0 and a nonequal?
True
Let y = 22 - 16. Suppose -42 = 4*v + y. Is -14 less than v?
True
Suppose 96 = -4*k + 4*n, 5*k + 78 = 4*n - 45. Let c = 107/4 + k. Which is smaller: 0.15 or c?
c
Let m be 1/((-2)/3)*26. Suppose 5*o + 107 = -4*p, 44*p - 4*o = 47*p + 78. Which is greater: m or p?
p
Suppose g + 22 - 7 = -4*x, 12 = -3*x - g. Let z be 2 + -2 + (0 - x). Let f be (z - 1)*10/4. Is 5 < f?
False
Let l = -3.3 - -5.3. Let w = l - 1.9. Which is bigger: -11/6 or w?
w
Let i be (-4)/(-14) + -4 + (-340)/(-35). Suppose f - 2*b - 11 = 0, -5*f + i*b + 83 = 3*b. Does 19 = f?
True
Let k be 9*(3/9 + 0). Let p = -16 + k. Suppose 2*j - 3*j - 2*y = 10, -34 = 3*j + 4*y. Is j at least as big as p?
False
Let g be 18/3 - (-6)/(-3). Suppose -3*p + g = -4*p. Let v be 0 + (p - (-44)/8). Is v at most 3?
True
Let c(x) = -2*x**3 - 97*x**2 - 32*x - 58. Let n be c(-48). Is n != -826?
False
Let k(b) = -b**2 + 7*b - 15. Let z be k(8). Let u be -16 - -18 - (-1 + z/(-7)). Which is smaller: u or -23?
-23
Let q = -674 + 1014. Let t = 593 - q. Let n = t - 2275/9. Which is smaller: n or 0.3?
n
Let g = 49.7 + 15.2. Let b = 64 - g. Is b at most 2/3?
True
Suppose -8*y = -11 - 21. Suppose -y*a = -30 - 26. Suppose 2*d - a = 4. Which is greater: d or -0.1?
d
Let y(l) = -2*l**3 - 3*l**2 - 3*l. Let a be y(-2). Suppose -12*g = -g - 209. Suppose 0*r + 2*r - g = j, -5*j - 35 = -4*r. Are a and r unequal?
False
Let n = -2078 - -2079. Suppose -z = -4*r + 25, 3*r - 5 = -0*r - 2*z. Suppose 3*b - 3*j = -6, 0*b - 4*j = -r*b - 9. Which is smaller: n or b?
b
Let s = 203 + -203. Is s smaller than -5/11?
False
Suppose -2*c + 220 = 3*d, 4*d + 22 = 5*c + 277. Is 0.03 != d?
True
Let q = -9.3 - 10.7. Let l = q - -19.9. Which is bigger: l or -27?
l
Let t be (-15)/(295575/(-13132))*-3 + 2. Which is bigger: t or 0?
t
Let l(v) be the first derivative of -1/2*v**2 - 5 + 7*v. Let k be l(7). Which is smaller: k or 1/8?
k
Suppose -15*k - 664 = -19*k. Suppose -2*p - k = -5*p - d, 5*p + 5*d = 270. Is p less than or equal to 56?
True
Let i = -0.61 - -0.55. Let b = i + -0.24. Which is bigger: -14 or b?
b
Let h = -69 - -133. Suppose h = -y + 3*y. Do y and 32 have different values?
False
Let b = 260.9 - 261. Which is smaller: 2/13 or b?
b
Let v = -823 - -836. Let g = -4 + 19. Which is bigger: g or v?
g
Let i(n) = 3*n**2 - 44*n + 31. Let w be i(13). Which is smaller: w or -41?
-41
Let w(a) = 3*a**2 - 29*a - 10. Let c(x) = -x**2 + 14*x + 5. Let i(v) = 5*c(v) + 2*w(v). Let o be i(-12). Is 2 >= o?
False
Suppose 2*b - 6 = 4. Suppose 70 = -b*c - 0*c. Suppose -123*n = 64*n + 18*n + 2665. Do n and c have the same value?
False
Let m = 632 + -658.7. Let y = m + 24. Let n = y + 3.7. Which is smaller: 1/2 or n?
1/2
Let s(u) = -4*u**2 + 2*u + 1. Let w be s(-1). Is -3 at least w?
True
Suppose a + 5*v = -5, a + 3*v - 20 + 23 = 0. Let r = 100 - 3401/34. Are a and r unequal?
True
Suppose 3*x + 2*x - 36 = 4*z, -z + 2*x = 12. Let p be ((-690)/35 - z) + (-2)/7. Let o(a) = -15*a**2 - 1. Let q be o(1). Is q < p?
False
Suppose -31*h = -70*h + 40014. Which is greater: 2053/2 or h?
2053/2
Let o(q) be the third derivative of 1/6*q**3 + 0 - 1/120*q**6 + 0*q + 1/60*q**5 - 1/24*q**4 + q**2. Let x be o(0). Is x > 3?
False
Let s(c) = -c**3 + c**2 + 8*c - 2. Let g be s(-3). Is 87/8 at least g?
True
Let p(g) = -g**2 - 4*g. Let v be p(12). Let n be (4/(v/(-92)))/(-5). Let d = n - 1/60. Which is smaller: d or 0?
d
Let n(t) = 2*t - 14. Let w be n(6). Let u be -2 + 3/(w + -1). Let b be 5/(-25) - 9/5. Which is smaller: u or b?
u
Let i = -242.7 + 245. Which is bigger: i or -5?
i
Let r = 33 + -30. Suppose r*z + 2*i - 48 = 0, -2*z - 3*i = -32 - 0. Is 17 > z?
True
Let b be ((-3)/9)/(0 + (-6)/18). Which is bigger: b or 1/485?
b
Let y(m) = 6*m + 60. Let d be y(-18). Let o = -48 - d. Is 3/7 bigger t