ivative of d**4/4 + 4*d**3/3 + 2*d**2 - 1. Let l be n(s). Which is greater: -2 or l?
-2
Let s be 1/(-26)*1*2. Let q = -87 + 84. Let d be (q/3 - -5) + -1 + -3. Do s and d have different values?
True
Let b = 311.07 - 311. Which is smaller: -22 or b?
-22
Let b = -1087 + 1118. Does b = 20?
False
Let l = -60 - -64. Let g be 32/304 - l/38. Is g at most 8/7?
True
Let h(j) be the first derivative of j**2/2 + 26*j + 1. Let k be h(-22). Which is greater: 5 or k?
5
Let y = 13466 + -336599/25. Is y > 1?
True
Let a be 5/(-15) + 2 + -1. Let n = 37 + -297/8. Which is smaller: n or a?
n
Let j = -662 + 613. Which is greater: -50 or j?
j
Let r(z) = z + 24. Let i be r(-17). Let j = -269 + 267. Is j greater than i?
False
Suppose -2*s = -2 - 2. Let i = -155 - -158. Is i > s?
True
Let a(r) = r**2 - r - 2. Let x be a(0). Let l = -0.3907 - -0.1407. Which is smaller: x or l?
x
Let v(z) = z**2 + 4*z + 4. Let x be v(-6). Suppose x = -4*u, 2*c + 92 = 6*c - 2*u. Suppose -3*d + c = 3. Which is greater: d or 4?
d
Let p = -0.96 - -1. Let t = p - -0.06. Let w = -4.1 + t. Is -1/4 equal to w?
False
Suppose 0 = -8*t + 3*t - 15. Let q be (-2 - t)/1 - 0. Which is bigger: 4/41 or q?
q
Let x(v) be the third derivative of v**6/720 + v**5/30 + v**4/3 + 8*v**2. Let b(y) be the second derivative of x(y). Let w be b(-2). Which is smaller: w or 2/3?
2/3
Let l be (-6)/27 + 2/6. Let i be (2/10)/(((-245)/25)/(-7)). Which is greater: l or i?
i
Let v = -0.0425 + 0.0865. Which is greater: 15 or v?
15
Let m = 859/255 - 3/85. Suppose 5*r + 4 = 10*r - 2*g, 3*r - 6*g + 12 = 0. Is r at least m?
False
Let a be (-1)/2*-9 - 1/(-2). Let y(t) = t + 13. Let s = -17 + 10. Let w be y(s). Does w = a?
False
Let t = -2.578 - 0.022. Let x = t - -46.6. Which is smaller: x or 1?
1
Suppose 6796*r = 6795*r. Is 3/449 at least as big as r?
True
Let j be 6 - (21/(-7) - -10). Which is smaller: 2/853 or j?
j
Let m = 17 - 9. Which is smaller: 14 or m?
m
Suppose -177 = 4*f - w, 3*w - 29 = -f - 70. Let q be (0 - -90)*3/(-6). Is f not equal to q?
True
Let j be (-69)/(-18) - (-3)/18. Which is smaller: j or 41?
j
Let u = 692 + -536. Is u <= 158?
True
Let n = -1/12 - 1/6. Let p = -0.8 + -17.2. Let h = p + 15. Do h and n have different values?
True
Let l be (-4)/(-30) - 22/(-330). Are l and 6/11 unequal?
True
Suppose 2*i = 3*i - 9. Let b = 10 - i. Let h = 0 + 2. Are h and b equal?
False
Let o(u) = -u**3 + 2*u**2 + u. Let s be o(2). Let y be s/((-6)/9)*8. Let q be ((-18)/y)/(1/(-12)). Which is smaller: -7 or q?
q
Let j = -25.23 - -25. Let f = 0.3 + j. Which is smaller: f or 1?
f
Let l = 1159 + -1370. Are -3 and l nonequal?
True
Let j = 3449/17 + -203. Which is bigger: 0.4 or j?
0.4
Let j = 27.9 + -28.3. Which is smaller: j or -0.6?
-0.6
Let d = 2/987 + 1912/30597. Let r = 25/93 + d. Which is greater: -1/14 or r?
r
Let n = -2237/2 + 1091. Let v = n - -271/10. Which is greater: v or 0.31?
0.31
Let q(u) = u + 20. Let h be q(-9). Let a = h - 34. Is a bigger than -22?
False
Suppose -8*w + 6*w - 15 = p, -5*p - 2*w - 35 = 0. Let x(o) = -6*o. Let y(l) = -l + 1. Let b(n) = x(n) - 5*y(n). Let i be b(p). Is 2 bigger than i?
True
Let c = 113 - 79. Let p = 28 - c. Are -3 and p equal?
False
Let g be (-3*4/30)/((-15)/(-150)). Let i be 2 - 1 - (g - (-8 - -2)). Let u be (-94)/72 + 2/(-8). Is i smaller than u?
False
Let n = 72797/4 + -18000. Let m = n - 198. Suppose 0 = 4*i - 0*i. Is m >= i?
True
Suppose 705 = -5*t - 0*k - 3*k, 3*t + 424 = -2*k. Is -138 less than t?
False
Let l = 174 - 175. Let i = 3 - 25/7. Which is smaller: l or i?
l
Suppose 2*q - 5*q + 96 = 0. Let s = q - 18. Let z be (s/84)/(2/(-4)). Is 0.06 < z?
False
Suppose -5*j + 3*k = -14, 6 = -23*j + 25*j - k. Is j <= -38?
False
Let b = 11 + -9. Let k be (2/(-1145))/(b/10). Let c = -464/687 - k. Is -2 at most c?
True
Let y be (-28)/(-7) + (-1 - 3). Let r be y + (-1)/46*4. Suppose 0 = -t - 3 + 2. Which is smaller: r or t?
t
Let t be (-15850)/20*(-4)/10. Let j = 2839/9 - t. Is -3 bigger than j?
False
Let w be (-2)/(2/(-7)) + 6/3. Let u = 8 - w. Is 2/53 at least u?
True
Let d = -0.435 + 0.335. Which is smaller: d or -49?
-49
Suppose o - 5*o - 8 = 0. Let q(r) = r**2 + 2*r - 4. Let n be q(1). Let g be 2/(o - n*16). Which is greater: 7/4 or g?
7/4
Suppose -6 = -3*v + 24. Let s be v/(-75) + (-244)/(-30). Suppose 5 = s*h - 3*h. Is h at least -2/29?
True
Let p be 80/1 + -12 + 8. Let t = 77 - p. Is t at least as big as 2/27?
True
Let u be ((-20)/(-50))/((-4)/925)*2. Let v = -90 - u. Is -1/4 != v?
True
Let r(u) = -u**2 - 16*u. Let m be r(-16). Let s be m - -1 - 4/6. Which is smaller: -0.05 or s?
-0.05
Let f = -22.5 - -22.4. Which is bigger: f or -6/7?
f
Let k be (2/(-6))/(1/(-6)). Suppose -5 = -0*d - 5*d, -2*a + k*d + 2 = 0. Are a and 3/4 nonequal?
True
Let y = -427 - -157. Is -272 > y?
False
Let i(y) be the second derivative of y**5/20 - 2*y**4/3 - y**3/6 - 11*y**2/2 + 18*y. Let f be i(8). Is -19 equal to f?
True
Let l be 1 + 2 + 30/(-9). Let c(w) = -w**2 + 15*w - 1. Let q be c(15). Is l not equal to q?
True
Let w = 531/22 + -243/22. Which is smaller: w or 13?
13
Let t(r) = 2*r**3 + r**2 + 21. Let o be t(0). Let d be (-13)/(-8) + (19 - o). Which is bigger: d or -0.1?
-0.1
Let b = 39 - 25. Let w = -14 + b. Let v = -4 - -4.1. Which is greater: w or v?
v
Let a = 183 + -129. Which is bigger: 56 or a?
56
Let a be (-62)/(-4) - (-86)/(-172). Is -3 at most as big as a?
True
Suppose 0 = -n + 3*f - 3, 0 = -n - 3*f + 3. Suppose -2*h - y = -11, -y - 5 + 8 = 0. Which is greater: n or h?
h
Let u be -2 + 1808/966 + (-21)/(-147). Let i be (-47)/(-69) + (-1 - -1). Let w = u - i. Which is smaller: w or -1/3?
w
Let z = -99 - -795/8. Suppose 0 = -x + 117 - 22. Let g = -96 + x. Does z = g?
False
Let v = 1 - -2. Let u = -36 + 2. Let w = u - -32. Which is smaller: w or v?
w
Let z = 93 + -100. Which is bigger: -52/7 or z?
z
Let k = 94.9 - 87. Let g = k - 8. Are g and -0.06 equal?
False
Let y be (57 + -78)/(141/4). Is y at least -1?
True
Let t be (1/(-62))/((-2)/(-8)). Let m = 13.4 - 61.4. Let v = -47 - m. Which is smaller: t or v?
t
Let u(i) = -58*i**3 - 1 - i**2 - 3*i + 3*i**2 + 59*i**3. Let b be u(-3). Do b and -25 have the same value?
False
Let o(h) = h**3 - h**2 - 1. Let i = 58 + -57. Let x be o(i). Is x != 1/3?
True
Suppose -l = 4*h + l, h = -5*l - 18. Suppose h*f + 20 = 4*x, 2*f = 3*x - f - 15. Suppose -5*s = -10, 10 = -x*k - s - 3. Which is smaller: k or -4?
-4
Suppose -117 = 2*z + 5*p, -4*z - 3*p + 6*p = 299. Which is greater: z or -72?
z
Suppose 6*x - 3*x + 54 = 0. Let h be 16/x*6/(-136). Which is bigger: h or 1?
1
Let d(g) = -g**3 + 10*g**2 - 7*g - 18. Let s be d(9). Let u be 65/4 - (-9)/(-36). Let m be (-14)/(-63) - u/(-9). Which is smaller: s or m?
s
Let f be (6/(324/150))/(1/3). Is f < 7?
False
Let t = 382 + -401. Is -93/5 greater than or equal to t?
True
Let v = 2313/2 + -1186. Is -31 at most v?
True
Suppose -27*c + 146 = -205. Let a(y) = 3*y + 4. Let i be a(3). Is c <= i?
True
Let s = -7.0855 + 0.1855. Which is bigger: 0 or s?
0
Let f = 2975 - 77257/26. Let w = f - 2295/598. Is 1 equal to w?
False
Let t be 0 + (-9)/(18/(-8)). Suppose 0 = t*h + 16, -2*h + h = -4*z - 16. Let l = -4 - z. Is l greater than or equal to 1?
True
Let b(m) = 3*m - 4. Let q be (-1)/(-3)*9 + -4. Let z be b(q). Which is smaller: -3 or z?
z
Let o be ((-2)/1)/(-1) + 1. Suppose 5 = 2*g + 1. Suppose y + o*d = 1, 0 = -g*y + 6*d - d + 2. Is y at most as big as -1?
False
Let o be ((4 - 3) + -3)/2. Let q be (4 - 6)*(-1202)/(-4). Let c = q + 13825/23. Which is greater: c or o?
c
Let a(n) = n**3 + 12*n**2 + n - 2. Let l be a(-12). Let d be 60/252 + (-6)/l. Is d at most as big as 1?
True
Let s(x) = 4*x**2 + x. Let o be s(-1). Let z be 36/8*(-2)/o. Let f be -2 - ((1 - -3) + z). Which is smaller: -2 or f?
f
Let w = 9 + -9. Let t be (-36)/(-117)*(-422)/36. Let q = 44/13 + t. Which is bigger: w or q?
w
Suppose 121*i + 15 = 126*i. Is i >= -34?
True
Let d = -36 - -144. Is 107 < d?
True
Let r be ((-284)/94 - -3)*(-12)/24. Does -3 = r?
False
Let b = -16771069/1422 + 11794. Which is smaller: -1 or b?
-1
Suppose -106*x = -52 + 158. Which is bigger: 89 or x?
89
Suppose -c + 5 = -3*k, -3*c + 5*k + 21 = -2. Suppose -5*z - c = -0*z - 3*o, 0 = -5*z - 5*o + 5. Is z at least as big as -1/33?
False
Let c = -8513/19 + 448. Which is smaller: -0.01 or c?
c
Let