
Let s(n) be the second derivative of -n**6/720 + n**5/12 + n**4/2 + 8*n. Let v(z) be the third derivative of s(z). Let k be v(7). Is 4 bigger than k?
True
Let k = 23 - 19. Suppose 6*h - k*m - 10 = 4*h, m + 1 = -h. Let s = -17 - -17. Is s greater than or equal to h?
False
Let q = -1144.59 - -1491.5. Let t = -349 + q. Let r = t - -0.09. Is 1/4 greater than r?
True
Let r = 8.2 - -1.9. Let g = r + 0.9. Which is smaller: 1 or g?
1
Let o = 597 + -617. Is o at least 6?
False
Let m = 173 - 166. Let d = 0.78 - -0.02. Let v = d - -2.2. Which is bigger: m or v?
m
Let v(l) = -l**3 - 4*l**2 - 3*l + 5. Suppose 0 = -0*j - 4*j - 12. Let u be v(j). Suppose 10 = w + 3. Is u equal to w?
False
Let d(g) = -g**3 - 23*g**2 - 21*g - 59. Let w be d(-22). Let x = 53 + w. Which is smaller: -31 or x?
-31
Let u(h) = -h + 6. Let k be 1/(1 - 6/8). Let v be u(k). Suppose b - v = 4*m - 7, 3*b + 1 = -2*m. Which is smaller: -2 or m?
-2
Let r be (-10)/30 - 1/(-3). Suppose -2*y - 2*s + 2 = r, -s = 5*y - 7 + 2. Which is smaller: 3/34 or y?
3/34
Let k = -92 + 94. Suppose -5*o = 3*n - 9 - 35, -2 = -k*o. Is 3 at least n?
False
Let l be 88/(-8) + 5 - 237. Which is bigger: -245 or l?
l
Let h be 111/54 + -1 + -1. Let m(d) = -d**3 - 15*d**2 - 27*d - 12. Let a be m(-13). Which is greater: a or h?
a
Let r be (-132)/(-4) + (1 - 1). Let m be 1 - 4 - (-3)/(36/r). Is m less than or equal to -9?
False
Let g = -8 + 14. Suppose -1 - 2 = b. Let p be 3 + -1 - 9/b. Is p > g?
False
Let d = 6565/3 + -2266. Let l = d + 78. Is -0.11 smaller than l?
True
Suppose -4*k - 2*b + 278 = 0, 2*k - 107 = -4*b + 41. Suppose k + 2 = -5*w. Let d be w/84 - 25/(-6). Which is smaller: -1 or d?
-1
Let j = 0.24 - 0.35. Let n be ((-12)/(-7))/(209/(-77)). Let k = n - -46/133. Which is smaller: k or j?
k
Let y = -31687/64 - -58232507/117568. Let q = y - 3/167. Which is greater: q or -1?
q
Suppose 2*x - 672 = 5*m + 1015, 2*m - x = -674. Which is smaller: m or -340?
-340
Let f = 41.7 - -10.3. Let u = -59 + f. Do u and 0.06 have different values?
True
Let d(g) = -g**2 + 14*g + 30. Let r be d(16). Is r at least 37?
False
Suppose 3*t = 2*a - 241, a + t + 50 = 168. Do a and 121 have different values?
True
Let u = -1.34 + 1.5. Let a = -0.03 - u. Which is smaller: a or 0?
a
Let j be 18/(2*(0 + 1)). Suppose 5*t = j - 59. Let k = 1 - t. Which is smaller: 12 or k?
k
Let z(p) = 6*p + 7*p - 11*p + 8. Let j be z(-6). Let d be -1 - ((-11)/j + -4). Which is greater: d or 1?
1
Let l(m) = -2*m**3 - 23*m**2 + 11*m + 10. Let j be l(-12). Which is smaller: j or 1?
1
Let y = 301.4 + -301. Let c = -0.18 - -8.18. Is y less than or equal to c?
True
Let x = 0.119 + -0.019. Which is greater: x or -0.14?
x
Suppose -3*s = -3*x - 75, 0 = s - 4*x + 9*x - 37. Suppose -35 = -r - 8. Are r and s non-equal?
False
Let l(c) = c + 12. Let g be l(-5). Let b(k) = 2*k - 9. Let z be b(g). Let n(u) = -u**3 + 5*u**2 - u + 6. Let t be n(z). Is t > 1?
False
Let u be 7*-35*10/(-25). Let z(l) = -50*l - 3. Let v be z(-2). Which is smaller: v or u?
v
Let f(p) = p**2 + p - 4. Let x be f(-3). Suppose 0 = -5*l - 5*q - 7 - 48, -x*l = 5*q + 31. Let n be 6*((-28)/l)/(-7). Is n smaller than -4?
False
Suppose 0 = 2*k - 2*v + 28, 19 = 4*v + 3. Let s = k - -10. Is -1/13 < s?
True
Suppose -43*l + 77714 = 48*l. Which is greater: 855 or l?
855
Suppose -10*w + 15 = -7*w. Let d = 2 + w. Are d and 6 equal?
False
Let l = 3530 + -3530. Let s = 0 + 0. Let j = -2 + s. Is l less than j?
False
Let p be 264/(-99)*3/132*-1. Is p at least -4?
True
Let l be 266/(-76)*(-40)/(-14). Is -10 smaller than l?
False
Suppose 3*n + 5*a - 81 = -n, -n + 34 = 4*a. Suppose j + 7 = -5*o + n, -2*j - 1 = 5*o. Which is smaller: j or -7?
j
Let g be ((-6)/(-4))/(9/(-48)). Let u(p) = -p**2 - 7*p + 7. Let d be u(g). Let f be 1 - (-4)/(-4)*2. Are d and f unequal?
False
Let i = -36 + 36. Is i greater than or equal to 146/7?
False
Suppose h + 11 = 4*j, 0 = -4*j + 2*h + 3 + 3. Let k be (-154)/44*j/2. Which is bigger: k or -2/7?
-2/7
Suppose -z = -5*l - 32, 5*l + 5*z + 18 + 2 = 0. Let d(h) = -h**3 + 2*h**2 + 3*h - 3. Let x be d(2). Let c be -1*l/(-2) + x. Which is greater: c or 2/31?
2/31
Let y be (-6)/3 + 1376/208. Is y at most 5?
True
Suppose 0 = -u + 2*w + 400, -2*w - 1253 + 33 = -3*u. Suppose r = -4*r - u. Let x = 740/9 + r. Is x less than or equal to -1?
False
Let j(l) = -l**2 + 51. Let b be j(-7). Let y be ((-2)/(-4))/(5/30). Is b bigger than y?
False
Suppose 0 = 2*l + 1 - 17. Suppose -3*n + l*n = -185. Let b = 32 + n. Is -10 greater than b?
False
Let h = -9.66 + -8.64. Is 2 greater than or equal to h?
True
Let h = 217 + -216. Is h < -5/144?
False
Let h(p) = 3*p - 75. Let d(s) = s - 37. Let o(l) = -5*d(l) + 2*h(l). Let k be o(-15). Do 19 and k have different values?
True
Let l = 1871/4 + -235741/504. Is 1 at most as big as l?
False
Suppose 278 = -9*k + 62. Suppose -4*y = 2*y + 150. Is k equal to y?
False
Suppose -5*o + 17 + 18 = -5*u, 0 = -u - 2*o - 7. Which is greater: u or -6?
-6
Let w = 68 + -69. Let t = 36939/13 - 2843. Is w less than t?
False
Let d be (-238)/(-3) - -2 - 1. Let f(v) = 19*v + 19. Let z be f(-5). Let t = d + z. Is t at most as big as 5?
True
Let w = 0.93 - -0.07. Let g = 439983/44 + -9999. Let q = g + -4/11. Which is bigger: w or q?
w
Let u = 15606 - 15594. Let p = 14 + -1. Is p not equal to u?
True
Suppose 2*z - 5*x + 20 = 0, 0 = -z + 43*x - 44*x + 4. Is z less than or equal to 1315?
True
Suppose -28 = z - 5*z. Let i = 101 + -97. Suppose i = -z*k + 3*k. Which is smaller: k or 2/15?
k
Let n(b) = -b**3 + 7*b**2 - 5*b - 4. Let x be n(6). Suppose x*j = 2*y - 14, -2*y = 5*j - 2*j + 16. Is j > -6?
False
Let a be 28/90 + (-20)/(-150). Let r be (-6)/4*(-1 + -1). Let d be -3 + (6/1)/r. Which is greater: d or a?
a
Let l be (-16)/20*(-2)/(0 + 4). Let w = 5 + -5.8. Let f = -0.2 + w. Which is smaller: l or f?
f
Suppose a - x - 530 = 107, -5*a - x = -3167. Is a smaller than 634?
False
Let k be ((-6)/(-4))/(5/150). Let b be (-271)/k - (-64)/80. Let n = -665/117 - b. Which is smaller: 0 or n?
n
Suppose 106 = -h + 2*h + 5*t, -5*h - 2*t = -553. Which is smaller: 112 or h?
h
Let u(t) = -290*t - 1. Let o be u(1). Let y be (-2 + (-141)/(-69))*-6691. Let x = o - y. Which is bigger: x or -1?
x
Let y = -22 + 20. Let o = y + 4. Let a be (-9)/2*16/(-132). Which is smaller: o or a?
a
Let p(f) = f**2 + 6*f - 21. Let y be p(-9). Suppose -3*n = -y*n - 72. Let h = n + 25. Which is smaller: h or 0.4?
0.4
Let q be (-4)/6*11/((-880)/(-3)). Let t(l) = -3*l + 14. Let u be t(5). Are q and u equal?
False
Suppose 19 = 2*k - 141. Let j = -106 + k. Which is smaller: j or -27?
-27
Let r = -33 + 32.77. Let v = 10.23 + r. Let i = v + -10.2. Which is greater: 0.5 or i?
0.5
Let w = -2968146/575 - -5162. Which is bigger: w or 0?
w
Let m be 30761/114 + 2/(5 + -1). Which is bigger: 271 or m?
271
Suppose -4*u - v - 97 = 0, -8*u + 5*u - 67 = -5*v. Let j be 2/5 + (-264)/10. Which is greater: u or j?
u
Let n be (1078/(-1176))/(6/16). Is -3 != n?
True
Let x = 388 + -773/2. Which is smaller: x or 3?
x
Let u = -133 - -103. Suppose -128 = 4*j - 4*g, g + 124 = -4*j + 3*g. Is u bigger than j?
False
Let o = 33 - 74. Let x = -157 + 158. Which is greater: o or x?
x
Suppose -12*z - 16*z + 28 = 0. Let q = 7 + -11. Let u be (z/((-1)/q))/(-2). Which is bigger: u or -1/2?
-1/2
Let t = -172 - -1182/7. Suppose 3*q - s = -26, 3*q - 3*s + 32 = -8*s. Let b = q - -5. Which is smaller: t or b?
b
Let m be (-15)/30*382/1. Is m <= -191?
True
Let n(k) = -k**2 - 4*k - 5. Let p be n(-2). Which is smaller: 1/318 or p?
p
Let o(g) = g**3 - 6*g**2 - 9*g + 16. Let r be o(7). Suppose 8 = -6*t + r*t. Let b(f) = -2*f + 3. Let w be b(3). Which is bigger: t or w?
t
Suppose 7*h - 19*h + 84 = 0. Suppose -4*y - y = -25. Is h <= y?
False
Let x = 4603 + -1988495/432. Is x at least as big as -1?
True
Let r = -58 + 67. Suppose -47 - r = 8*x. Is x bigger than -8?
True
Let o = -5.81 - -31.81. Which is greater: -0.2 or o?
o
Suppose -3*v - 4*d = 108, -3*v - 4*d + 36 = -4*v. Let c be ((-105)/(-3))/(-1 - 0). Is v less than or equal to c?
True
Let u = 10 + -8.5. Let w = 11.7 - u. Let d = 10 - w. Which is greater: 1/3 or d?
1/3
Suppose -63*a - 45 = -66*a. Suppose 0*n + 5*n = a. Which is smaller: n or 14/5?
14/5
Let c be (1 + 74/8)*-2. Let m = c + 22. Which is bigger: 2 or m?
2
Let z be (-3)/5*2860