ter than d?
False
Let q(f) be the third derivative of -f**5/30 + 9*f**4/8 + 10*f**3/3 - 47*f**2 - f. Let z be q(15). Is -95/4 at least as big as z?
True
Suppose 4*f - 361 = 5*x, -6*f - 27*x + 28*x + 509 = 0. Which is bigger: 74 or f?
f
Let k(s) = -7*s - 52. Let i be k(-7). Let z be (3378/376)/i - (15 + -18). Is z less than -1?
False
Suppose -t = 5*n - 17, 4*n - 5*t + 0*t = 2. Let u = -6 + 71. Suppose u*j = 96*j - 186. Is j at least as big as n?
True
Let x = -2649747/164 - -16157. Which is greater: 1 or x?
1
Let p be 163/(-2)*26/(-117). Is 2 > p?
False
Let k = -230 - -236. Let a be (12/(-2) + k)/(-2). Which is smaller: a or -1/465?
-1/465
Let z be (-12 - -15 - (-3 + 9)) + (6 - 3). Which is bigger: z or 3/412?
3/412
Suppose 8*i - 3*i + 20 = -2*n, 4*n - 3*i = -92. Is -51 equal to n?
False
Let h be (22724/(-741))/(4/(-6)). Which is smaller: -6 or h?
-6
Let z be -1 + (-1 - (-18)/(-10)). Let q = -352 - -356. Suppose -10 = q*h + 2, -h = 5*o + 23. Is o less than z?
True
Let m(a) = -a**3 + 51*a**2 - 77*a + 1331. Let d be m(50). Is d >= -378/19?
True
Suppose -255*a + 157*a - 196 = 0. Which is smaller: a or 70?
a
Let j(s) = 15*s - 29. Let c(h) = -4*h + 29. Let r be c(9). Let z be j(r). Let y = z - -1472/11. Which is bigger: y or -0.2?
y
Let c be (-2)/6 - 82/6. Suppose 5*x = 14*x + 18. Let u be (x - -2 - -1)*-13. Is u smaller than c?
False
Let v = 6857.8 - 6856. Is -178/5 at most as big as v?
True
Let t = -1508 - -1039. Let k = 471 + t. Is k bigger than 0.022?
True
Let u be (-21)/(-23) + 68/782. Do u and -1/260 have the same value?
False
Let x(f) = -33*f**2 - 37*f - 409. Let s be x(-10). Is -3340 >= s?
False
Let k = -1463 + 1463. Is k equal to -319?
False
Let y = 9822 + -9823. Is y less than or equal to 26/89?
True
Let y = 28848 - 86539/3. Let q = 5 + -2. Which is bigger: y or q?
q
Let m = 23910 - 17914. Is 5994 at most m?
True
Let g = -1 + -9. Let r = 324 + -333. Let k be (12/r)/((67 - 7)/(-10)). Which is smaller: k or g?
g
Suppose 0 = 5*g - 3*q, 2*g - 2*q = 3*q. Let a(b) = b**2 - 10*b + 19. Let p be a(10). Let k be (-6)/6*0 + 2/p. Is g less than or equal to k?
True
Let f = 14 + -13. Let l be f*(0 - 0)/2. Suppose l = i + 5*o + 4, -i = 4*o + 5 - 2. Are i and -1/55 equal?
False
Let w = 1085 - 328. Suppose 3*x + 1019 = -x - 3*i, -3*x + 5*i - w = 0. Which is greater: x or -253?
-253
Let y be 19/(-87) - (-1)/(-3). Suppose -2*v = 7*v + 632 - 614. Is v less than or equal to y?
True
Suppose 367 + 133 = 5*z. Let f be (-1)/(-3) - z/(-6). Suppose 3*h + f = 74. Is -0.1 less than or equal to h?
True
Let i be -14 - -20 - 4949 - (0 - 1). Which is greater: -4941 or i?
-4941
Suppose 2*j - 12 = 4*o, 3*j + 5*o - 15 = 3. Suppose -5*d - j*d - 11 = 0. Is -15/11 at least as big as d?
False
Let l be -14 + (-18 - -11) + 22. Is l equal to 3/55?
False
Let p(i) = -331*i**3 + i**2 + 2*i + 1. Let r be p(-1). Let q = -369 + r. Which is greater: -39 or q?
q
Let m be (12/21 - 0) + (-1361206)/7007. Which is smaller: -195 or m?
-195
Suppose 5*u = -3*o - 82, -u - 25 = o - 1. Let k = 31 - o. Suppose 4*p - 2 = k. Do p and 23/2 have different values?
True
Suppose 56 = -2*w - 2*z, -41*z + 36*z = 15. Which is smaller: -218/9 or w?
w
Let g(w) = 481*w + 1379. Let o be g(-6). Which is smaller: o or -1505?
o
Let v be (4 - 11/3)*12/4. Let p = 24770/197659 - 8/1309. Let q = -1379/12835 + p. Is q < v?
True
Let n be (-99 - -3)*(-2)/4. Suppose 0 = 3*k - 0*k - n. Let x be 24/k + (0 - 3/18). Is 0 < x?
True
Let t = -2092 + 1410009/674. Which is smaller: 1 or t?
t
Let h(w) = w**2 - 383*w - 5964. Let t be h(-15). Let d be (-192)/(-14) - (-10)/35. Suppose 2*u + j - d = 6*j, 3*u - 2*j - 21 = 0. Which is bigger: u or t?
u
Suppose 0 = 2*u + d - 83, 230 = 3*u + 2*u - 5*d. Let y = -69 + u. Let q = -24 - y. Which is smaller: q or 9/4?
q
Let f be (-10)/6*20*6/210. Suppose -c + 4*a = -12, -4*c - 8*a = -3*a + 15. Is c smaller than f?
False
Let q = -12376 + 12381.127. Let g = -5.1 + q. Let s = 0.037 - g. Which is smaller: s or -0.2?
-0.2
Suppose 0 = 3*t + m + 180, 111 = -5*t + m - 181. Is -5 not equal to t?
True
Suppose 127*a = 125*a. Let k(y) be the first derivative of y**2/2 + 2*y + 4. Let v be k(-4). Is a greater than v?
True
Suppose 34*h - 40*h = 24. Let a be (h*(-14)/116)/2. Is a smaller than 0?
False
Let h = -13.52 - -13.55. Let d = 44 + -66. Are h and d non-equal?
True
Let g = -0.8944 - -0.9844. Does g = -374?
False
Let q(f) = 4*f + 8. Let v be q(-5). Let l = 38 + v. Let b be 3/(-4) + 321/12. Do b and l have different values?
False
Let g = -79 - -74. Let b be -2 - (g - -3)*1. Suppose b*m + 2*x - 15 = 3*m, -4*m + 2*x - 18 = 0. Which is greater: -15/4 or m?
m
Let q(h) = h**3 - 9*h**2 + 12*h - 2. Let b be q(5). Let a be (-15)/b*91/52. Which is greater: a or 0?
a
Let d be 53 - 47 - (-5)/2. Do d and 8 have different values?
True
Let z = 1694 - 1677. Which is greater: -0.085 or z?
z
Let f be 12 - 8 - ((-20)/(-50) - (-1257)/(-5)). Let a = -2845053/10 + 284760. Let x = a - f. Which is smaller: -2/7 or x?
x
Let f(k) = -k**2 + k - 15. Suppose 23 = -6*b - 1. Let t be f(b). Do -33 and t have different values?
True
Let q = 0.204 - -0.116. Let w = -11.82 + q. Let t = w - -11.9. Which is smaller: 0.03 or t?
0.03
Let b(y) = -2*y**3 - 232*y**2 + 2*y + 179. Let s be b(-116). Let w = 26 - 10. Suppose w = 5*z - z, -i - 63 = -2*z. Which is greater: s or i?
s
Let d = -359289/734 - -979/2. Let r = 1843/1468 - d. Which is greater: 60 or r?
60
Let c = -2069 + 33199/16. Is 7 less than or equal to c?
False
Let u be 1/(14 - (-8181)/(-468)). Which is bigger: -1 or u?
u
Let m = 16.8 - 12. Let h = m - -41.2. Let j = h - 46. Do j and 14 have the same value?
False
Let d = 20.529 + -20.6. Is d greater than or equal to -3?
True
Suppose -5536 = -4*c - 3*j, -c + 2*j + 72 + 1312 = 0. Which is bigger: 1382 or c?
c
Suppose 27636 = -5*b - 7*b. Let f = 389205/169 + b. Is f greater than 1?
False
Let k be ((-4)/15)/(2024/(-40) + -2 + 1). Let x(l) = l**2 - 3*l - 3. Let p be x(4). Is p equal to k?
False
Let p(u) = -80*u**3 - 24*u**2 - 28*u - 2. Let h be p(-1). Which is smaller: h or 78?
78
Let k = 842 + -58096/69. Let c(p) = -p**2 + 184*p - 894. Let i be c(5). Is k greater than i?
False
Let t = -379141/23 + 16485. Is t greater than -3/13?
True
Let x = -2781 + 2780.234. Are x and 0.1 nonequal?
True
Let y = -5901 - -5900. Are y and 12/1237 equal?
False
Suppose -56*d + 87*d + 6*d = -42587. Is -1151 < d?
False
Let d = -4.1 - -0.1. Let f(m) = -5*m - 11. Let j be f(-2). Let v be (-4)/j*(-1)/14. Which is greater: d or v?
v
Let k = 32.879 - 32.579. Which is smaller: k or 3578?
k
Let x = -106.3 + 72.2. Let i = 351.9 - x. Which is smaller: i or -0.1?
-0.1
Let q = -51.902 - -52. Let w = q + 0.002. Let i be (-21)/45 + 1/3. Is w greater than i?
True
Let x(o) = 11*o - 28. Let k be x(2). Let b be k/(-57) + 308346/(-60420) + 5. Which is greater: -1 or b?
b
Let m = -25 + 24.942. Let s = -26.058 - m. Let a = -5533/19145 + 9/2735. Which is greater: a or s?
a
Let p = -9556 + 19111/2. Is 1916 greater than p?
True
Let j be -3 - (-70)/22 - (-2096)/(-154). Which is smaller: j or -14?
-14
Let y = -55.2 + 55.734. Which is smaller: y or 2/5?
2/5
Let m(h) = -18*h + 72. Let l be m(5). Let w(x) = x**3 + 16*x**2 - 35*x + 19. Let p be w(l). Are p and 9/17 equal?
False
Let t(j) = 638*j**3 - 5*j**2 + 41*j - 79. Let b be t(2). Which is smaller: b or 5085?
5085
Suppose t + 2*i = 17, -3*t + 0*i + 3*i + 6 = 0. Let f be (t/(-2) - -4)*174. Suppose -25*a + f = -22*a. Which is smaller: 30 or a?
a
Let v be -2 + (-8)/(-5) + -2 + 84/35. Is v at most 39/80?
True
Let p = 69.8166 + 0.0234. Let y = p + -69. Let f = -7.84 + y. Is f at least as big as 10?
False
Suppose 0 + 3 = w. Let l(m) = -m**3 - 7*m**2 + 58*m + 13. Let r be l(5). Suppose -w*g + 0*g + 13 = -5*u, r*u = -15. Is g bigger than 1/4?
False
Let c be -1 - -1 - (14 - 24). Let j(f) = -2*f**3 + 24*f**2 - 34*f - 2. Let d be j(c). Which is bigger: 55 or d?
d
Let b = 4866 - 4517. Is b < 350?
True
Let f = 125 + -64. Let y be (-507)/9 + -2 + 0. Let u = f + y. Which is smaller: -2 or u?
-2
Suppose -3*w = g + 4583, 0 = -2*w + 41 - 49. Is g >= -4571?
True
Let k be (306/272)/(3/(-12)). Is -40 equal to k?
False
Suppose s = 4*j - 16, -21*s + 24*s + 4*j = 16. Which is smaller: -1/9813 or s?
-1/9813
Let i = 2.59296 - 2.59296. Let d = 17.1 - 0.1. Is i > d?
F