ivative of b**4/4 + 5*b**3/3 - 7*b**2/2 - 8*b + 2. Let h be u(-6). Which is greater: r or h?
r
Let q = -21.17 - -0.17. Let z = q - -16. Which is smaller: z or 0?
z
Let b be 90/120 - (-13)/(-8). Let n be (-2)/4 + 1/2. Let i be n/(-3 - 2/(-2)). Is b greater than or equal to i?
False
Let k be (8/(-18))/((-6)/1461*-1). Are -109 and k equal?
False
Suppose 1059*v - 1069*v + 1290 = 0. Is 124 not equal to v?
True
Let s = -748.4 - -683. Let b = 65 + s. Which is smaller: b or 3?
b
Let w be 5/55 - 2133/(-1221). Which is bigger: w or 3?
3
Let n(v) = 3*v**2 - 3*v - 35. Let s be n(6). Is 57 > s?
True
Suppose -4 = 5*c - 14. Let o be (-12 + 26)*c/4. Is 15 at least as big as o?
True
Let r = -280 - -280. Let o = 1019/51 + -61/3. Is r >= o?
True
Suppose 3*r + 995 = -5*p, -234 = 5*p + 4*r + 766. Which is smaller: -195 or p?
p
Let w = -3 + 3.2. Let t be -8 + 19 + -8 + (-59)/21. Which is bigger: t or w?
w
Let z be 6 + 2 + 824/32. Does z = 35?
False
Let u(h) = h**3 + 2*h**2 - 15*h - 596. Let b be u(0). Which is smaller: -1/4 or b?
b
Let w be (-11 - -8)*1/(-1). Suppose 4*o = -6*o + w*o. Is o equal to -1/15?
False
Let a = -0.0474 - -0.0474. Let y = 5 + -5.2. Let q = y + 0.26. Is q < a?
False
Let z(c) = c**3 - 2*c**2 + 5*c - 46. Let p be z(5). Which is smaller: p or 52?
52
Suppose 0 = 37*m - 112*m + 17025. Which is smaller: 683/3 or m?
m
Let w = 86 - 85. Is w < 18/31?
False
Suppose 0 = 4*i + 2*o - 514, -o = -5*i + 4*o + 620. Let t = 1394/11 - i. Which is greater: t or 1/4?
1/4
Suppose -4*d - 16 = 0, 6*v - 29 = v + d. Suppose v*o - 72 = -o. Do o and 10 have different values?
True
Suppose 0 = -2*o + m + 5, -5*o + 25 = -0*m - 5*m. Let y = 215/868 - 11/31. Let p = 4/21 + y. Is p > o?
True
Suppose 709 = 2*l + 1973. Which is smaller: -631 or l?
l
Let w(f) = -2*f**3 + 14*f**2 + 22*f - 46. Let q be w(8). Does 5 = q?
False
Let n = -230 - -237.4. Does n = -2/9?
False
Suppose -g = 3*g - 104. Let i = -14 + g. Let a be (-3)/i*(-2)/4. Is -1 > a?
False
Let d = 3 + 1. Suppose 0 = 2*k - d*k. Let f be (2/84)/((-15)/(-45)). Is k less than f?
True
Let n = 272.9 - 295. Let r = -22 - n. Which is bigger: r or -0.1?
r
Suppose -5*g - 55 = -16*g. Suppose -2*j - 4*s - 41 = -5*s, 5*j + 115 = g*s. Suppose -h + 0*h - 17 = 0. Which is smaller: h or j?
j
Let y = -808 + 807. Do y and 3/95 have different values?
True
Let t = 3326 - 2404696/723. Is t less than or equal to 0?
False
Suppose -5*m + 10*m + 5*q = 105, 4*m - 48 = 5*q. Let x = -0.6 - 0.4. Which is smaller: m or x?
x
Let w = -0.1 - -0.1. Let r = 1.21 - -6.69. Let n = r - 8. Is w greater than or equal to n?
True
Let f = -25 + 24. Let y = -2/55 + 71/440. Is f at most as big as y?
True
Suppose q - 1 = 2. Suppose 11*l - 18*l = -56. Is q <= l?
True
Let m = 483 - 554. Is -8 <= m?
False
Let y be (-30)/50 + 31/35. Suppose 3 - 6 = 3*m. Which is smaller: y or m?
m
Let a = 2736 - 2745. Is -0.01 != a?
True
Let v(n) = -n**2 + 5*n + 23. Let c be v(13). Let t = -49 - c. Which is bigger: t or 34?
34
Let y be 4/(-6) - (-32)/30. Suppose 36 = 3*m + 3*m. Suppose -9*u = -m*u - 6. Which is smaller: y or u?
y
Let a = 8.9 - 9.47. Let b = a + 0.58. Is b bigger than 0?
True
Let a = -6 + 15. Let r be (-3)/a*(0 - -1). Is r at most 0?
True
Let l = -130 - 193. Is 0.2 >= l?
True
Suppose -h - 4 = -7. Let f = -6134.1 + 6135. Which is smaller: f or h?
f
Let x be 360/(-448) - (-9)/21. Let z = -98 - -884/9. Which is greater: x or z?
z
Let d = -10.76 - -10.86. Is d bigger than -1/106?
True
Let o(n) = 6*n - 1. Suppose 3*u - 4*s - 14 = 0, 0 = 4*u + u - 4*s - 10. Let w be o(u). Let q = -10 - w. Is 3 < q?
False
Let o be 13/5 + (-4)/(-10). Suppose -s - o*s + 7 = 3*k, s = -2*k + 3. Let a be ((-4)/(-10))/((-68)/20 + 5). Is a < s?
True
Let i be 28/(-9) + 4/(-18). Let d(h) = -h**3 + 2*h**2 - 2*h + 7. Let x be d(3). Let k(v) = -v**3 - 9*v**2 - 8*v - 2. Let p be k(x). Is p greater than i?
True
Suppose k = -3*k + 36. Suppose -2*z + 6 = 0, -3*v + 3*z - k = -z. Is -2/81 at least as big as v?
False
Suppose -c + 0*c = 4. Let q(s) be the second derivative of -s**3/2 - s**2/2 - s. Let t be q(1). Is t bigger than c?
False
Let h = -253/2 + 128. Let z = 0 - -2. Is z at least h?
True
Let d = 1/247 - 1145/38779. Which is bigger: d or -1?
d
Suppose 6*x - 4 - 2 = 0. Let o be (76/(-2090))/(4*(-1)/(-5)). Which is smaller: o or x?
o
Suppose 8 = -0*p + 4*p. Suppose 2 = v - p*v. Let g = -189 + 191. Which is smaller: v or g?
v
Let h be (-2 - -390 - 6)*3. Which is greater: -2/3 or h?
h
Let h = -9 + -142. Is -151 < h?
False
Let p = -863.971 - -863. Let b = p + -0.029. Is b less than 7/5?
True
Let q = 221 - -4. Let i be ((-6)/(-9))/(-2 - (-460)/q). Is i > 15?
False
Let q = 205 - 338. Which is bigger: -131 or q?
-131
Let r = 68 + -68. Suppose -3*o + 150 = -3*f, r = 8*o - 11*o + 5*f + 144. Which is bigger: o or 55?
55
Let z be -9 + 0 + -1 - -4. Let d be -1 - z/(-2 + 4). Let i be -4 + (-20)/(-11) + d. Are i and -1 non-equal?
True
Suppose -1491 = 28*d - 29*d - 4*o, -d + 1500 = -5*o. Is 1496 less than d?
False
Let u(x) = -x**2 - 19*x + 121. Let t be u(-24). Which is smaller: 7/181 or t?
7/181
Let r = -1/38 - -276/19. Let v = 983/68 - r. Let h = 169/748 + v. Which is greater: h or -1?
h
Suppose 4*r - 252 = -4*m, -3*m - 2*r + 254 = m. Are m and 66 non-equal?
True
Let p = 7235/19 - 380. Does 2 = p?
False
Suppose -3*h = -r - 148, -7*r + 5*r = 2*h + 272. Which is bigger: 1 or r?
1
Let b = -0.063 - 0.163. Let k = b + 1.226. Suppose -4*s - 2*a = 0, 4*s + a = 3 - 1. Is k > s?
False
Suppose -r - 2*n + 70 = -149, 12 = 3*n. Which is greater: r or 210?
r
Let a = -68.2 - -68. Which is smaller: a or -110?
-110
Let i = 144 - 176. Are -27 and i equal?
False
Let l = -0.0444 + 0.0594. Is -2/7 less than l?
True
Let o = -5 + 5.1. Let b = 239 + -168. Let y = 75 - b. Is o equal to y?
False
Let c(z) = 2*z**3 - 14*z**2 + 2*z - 3. Let d be c(7). Are 72/7 and d nonequal?
True
Let q = 18.79 - 3.79. Which is bigger: -3/8 or q?
q
Suppose 24*t = 4606 - 1366. Which is smaller: t or 137?
t
Suppose 44*k - 10*k + 22*k = 0. Is 2/803 >= k?
True
Suppose -5*m + 3*m = 8. Let j = m + 7. Suppose y - 3*k = 3*y - 11, j*y + 5*k = 15. Which is greater: y or 11?
11
Let s = -2 - -5. Let f be (-7)/(-9) - s/3. Let p = 222.49 - 219.49. Is f bigger than p?
False
Suppose -4*g + 10 = k - 2*g, 0 = -4*k + 4*g - 8. Let c(r) be the first derivative of r**3/3 - r**2 + 2*r + 5. Let z be c(k). Is 6/7 less than or equal to z?
True
Let l be (-4 - 10) + (-1 - 1). Let n = -15 - l. Is 4/7 greater than n?
False
Let f = -3/1840 - -3911/141680. Which is smaller: f or -3/5?
-3/5
Let l(u) be the third derivative of -u**4/24 + 4*u**3/3 + 3*u**2. Let c be l(6). Let p be c/3*(-3)/2. Which is bigger: -3 or p?
p
Let n = -949284/89 - -10666. Is -1 less than or equal to n?
True
Let h = -0.377 + 0.42. Let g = 0.043 - h. Let m = 2.02 + -0.02. Is g at most m?
True
Let p = -3.2 + 11. Let g = -8 + p. Let z = 0.3 + 0.1. Is z smaller than g?
False
Let c = -40 + 27. Let h = 9 + c. Let b = 1.89 + -0.89. Does b = h?
False
Suppose -2*u - u = -6. Let f = 7 + -7. Suppose v + 1 - u = f. Which is smaller: 1/21 or v?
1/21
Suppose -k = -5*p - 55, -2*k + 39 = 3*p - 45. Let g be (-6)/4 + k/(-10). Let c be ((-14)/4)/((-3)/g). Is -8 not equal to c?
True
Suppose 2*y = 3*y + 8. Let c = 0.09 - 0.19. Is y at least as big as c?
False
Let t = -13 + 26. Let s = t + -12.9. Let a = -171/1496 + -2/187. Which is bigger: a or s?
s
Suppose -5*n + 20 = 55. Let o = 139 - 137. Suppose o*g + 30 = -g + 2*v, 5*v = -g + 7. Which is smaller: n or g?
g
Let k(l) = -l**3 - l**2. Let z be k(0). Suppose 5*u = -2*j + 6, z*u - 2*u = -5*j + 15. Suppose j*p = y - 19, -3*y + 5*p + 55 = 2*y. Are 25/4 and y nonequal?
True
Let m = -0.93 + 0.73. Is -16.8 greater than or equal to m?
False
Let u = 44735/2294 - 1/1147. Let c = u - 541/28. Is c at most 1?
True
Let m = 2306/35 + -429/7. Which is smaller: m or 6?
m
Let r be 1/7 + -1*(-30)/35. Are r and -1/934 nonequal?
True
Suppose 3*n - 6 - 3 = 0. Suppose 40 + 5 = -n*r. Let w be 2/(-3) - 46/3. Is r less than or equal to w?
False
Let x = -103 + 124. Let f be (x/(-14))/((-9)/(-12)). Suppose u + 3*u = 0. Which is smaller: f or u?
f
Let j be (1205/(-10))/((-3)/(-30)). Which is greater: j or -1204?
-1204
Suppose 139*m - 4606 = 132*m. Which is smaller: m or 656?
656
Suppose -35 = 2*u + p + 19, -2*u - 74 =