ive of -n**5/20 - 3*n**4/4 - 9*n. Let u be r(-9). Which is greater: -2/9 or u?
u
Let v be (6/(-17))/(3 + (-17)/5). Is v less than 2?
True
Let y(z) be the first derivative of z**3/3 + 3*z**2 - 13*z - 17. Let k be y(-7). Which is smaller: -8 or k?
-8
Let n be (116/32)/(34/(-8)). Let p = n - -6/17. Let m = -36 + 17. Which is bigger: p or m?
p
Let j be (-48)/36*(17/(-8) - -1). Let d = 245 - 257. Which is smaller: j or d?
d
Let x be 9258/(-1520) + 4 - -2. Let t = 9/40 - x. Let z = t + -56/57. Which is greater: z or 14?
14
Let h(m) = m**3 + 7*m**2 - 8*m - 2. Let u be h(-7). Let o be 12/u + 146/(-9). Let y be 22/6 - o/12. Which is smaller: y or 17/4?
17/4
Suppose 2*n = -k, 0*k + 3*n = 2*k. Let v be k/((1 + -2)*1). Suppose v = -0*r - r. Which is bigger: 1/2 or r?
1/2
Let t be 4/(-4) + (-3)/(-1). Let m be -3 - -5 - (3 - 0 - t). Let d be (-2)/8 + (-71)/(-252). Is m smaller than d?
False
Let g be 5*(48/10)/4. Suppose -2*l = -m + 15, 0*l - m = l + g. Suppose -4*f - 30 = 5*v + 22, 2*f - 4 = 5*v. Is l smaller than f?
False
Let t = 25 - 73. Is -47 equal to t?
False
Suppose -4*c + 11 + 33 = 0. Suppose -2*l + 5*p = 24, -l + 2*p + 1 - c = 0. Let b = 63/5 - 66/5. Is b at most as big as l?
False
Let d = -541/23100 - 1/308. Which is bigger: d or -1?
d
Let g = 22 + 26. Suppose -g = -3*c - c. Let o be c/16 + (-74)/56. Which is smaller: o or 0?
o
Let x be (-65)/(-7) + 26/(-91). Which is smaller: 8 or x?
8
Let d(k) = -18*k - 172. Let c be d(-21). Is c less than 206?
False
Let j = 57432/5 + -11581. Which is bigger: j or -1/4?
-1/4
Let z be 4/((-2)/(63 - 1)). Let b be 58/z + 1/2. Which is greater: b or 1?
1
Let z = -3.1 + 3. Let y = -7/81 + -553/162. Which is smaller: z or y?
y
Suppose 21*c - 25*c - 400 = 0. Let u be (-35)/c + 6/(-10). Suppose 2*h - 2*y = -2*h + 2, y + 2 = h. Is h smaller than u?
True
Let d be (0 - -2)*(13 + -11). Suppose 41 - 141 = -d*t. Is t greater than or equal to 26?
False
Let q = 1037 + -1502. Is q < -465?
False
Let m be 1 + ((-2)/(-24) - 1). Suppose 31 = 66*n - 35. Is m equal to n?
False
Let p(u) = u**3 + 3*u**2 + 6*u - 16. Let a be p(2). Which is smaller: a or 15?
15
Suppose 5*t - 7*t - 4*g + 64 = 0, g = 2. Let f = 1 - -1. Suppose t = -f*v + 10. Which is smaller: -7 or v?
v
Let y = 351 + -352. Which is smaller: y or -3/262?
y
Suppose 228*w = 214*w - 1400. Which is smaller: -102 or w?
-102
Let p = -0.82 + 8.82. Let d = p + -9. Which is greater: -0.01 or d?
-0.01
Suppose -34*l = -40*l + 6. Is -3/50 at least as big as l?
False
Let l be (3*(-102)/(-72))/(1/(-4)). Let v = l + 13. Which is smaller: v or -7?
-7
Let q(a) = a**2 + 22*a + 51. Let x be q(-19). Which is smaller: x or 22?
x
Let i = 47 + -72. Let s = i + 33.1. Let d = s + -8. Which is bigger: 14 or d?
14
Suppose 9*d - 8*d = 4*g + 372, 2*g + 5*d = -186. Is g not equal to -469/5?
True
Let l = -51289174/1005 - -51034. Are l and 1 equal?
False
Suppose -7*l - 14 = -35. Is l smaller than 8?
True
Let y = -236/1143 + -2/127. Which is smaller: y or 2/7?
y
Let i be (2 + (-25)/10)*(-1 + 47). Which is smaller: i or -24?
-24
Let q = 5 + -5.35. Let b = q + -15.65. Let o = b + 16.3. Which is bigger: o or -1?
o
Let b = -279.4 + 311. Let r = -32 + b. Is -0.2 equal to r?
False
Suppose 113*s - 159*s - 4278 = 0. Is s at most -89?
True
Let f = -227 + 219. Which is smaller: f or -0.11?
f
Let o be 0 - (0 + -2)/2. Suppose 5*z + 20 = 3*q, -z - 5 + o = -5*q. Is q less than or equal to -5/27?
False
Suppose -11*h = 4*h - 30. Let i be h/(-9) - (-104)/414. Is 1 < i?
False
Suppose 29*y - 8 = 50. Let n be (6/10)/((-2)/(-4)). Is n bigger than y?
False
Let h = -212 + 156. Let g = h - -55. Let m(b) = -b**3 + 6*b**2 - 4*b - 1. Let i be m(5). Which is smaller: g or i?
g
Let k = 57.1 + -57.1. Are -4/67 and k unequal?
True
Let k(u) = 4*u - 1. Let w be k(6). Suppose d = -5*i + w, -5*i + 5 = 4*d - 27. Let g = d - 2. Is 1/10 greater than or equal to g?
False
Let l = 38 - 41.2. Let d = l - -4. Let o = 0.8 - d. Are -0.08 and o equal?
False
Suppose 0 = 5*i - 3*i + 2. Is i less than 2/155?
True
Suppose 0 = y - 3*b + 63, 0 = -y - 98*b + 100*b - 58. Are -51 and y unequal?
True
Let p(x) = -48*x**2 + 2*x - 1. Let d be p(1). Suppose -3*c - 3*g + 193 = -7*c, 0 = -2*c - 2*g - 86. Which is smaller: d or c?
d
Suppose -106*v + 97*v - 18 = 0. Let o(d) = -d**2 + 6*d - 4. Let a be o(4). Is a > v?
True
Let n = 14 + -11.5. Let u = 1.9 - n. Is -1 < u?
True
Let z = -0.08 + 0.18. Let k = 1.307 + -0.207. Which is greater: k or z?
k
Let q = -0.696 - -0.706. Let g = 7 - 3. Is q greater than or equal to g?
False
Let i = 5 + -7. Let m = 66.5 - 66. Which is smaller: m or i?
i
Suppose v + 3*v = -16, 0 = 4*x + 2*v + 24. Let f(o) = o**3 + 2*o**2 - 9*o + 2. Let b be f(x). Let r be 10*5*(-3)/(-30). Which is smaller: b or r?
r
Let v = -47 - -60. Let o = -12.6 + v. Is o bigger than 2/5?
False
Let g = -8.1 - -8. Let i = -59635/68 - -877. Which is greater: i or g?
i
Let p = 461 - -132. Are 594 and p equal?
False
Let r be (-1 - 4)/((6 + 1)/(-7)). Suppose -r*b + 0*z - 7 = -4*z, 0 = -2*z + 6. Is 1 at most b?
True
Let p = -2.4 - -2.1. Is 7/8 less than p?
False
Suppose 0 = t + 3*j - 2, -j - 4*j - 34 = -3*t. Suppose 0 = 2*l - 3*w + t*w + 4, 22 = 4*l - 5*w. Let n be (l/27)/((-8)/12). Is n >= -3?
True
Let c = -94648/51 - -1856. Which is smaller: 0 or c?
0
Let x(f) = -3*f**2 + 12. Let g be x(4). Let t be g/(-3) + 1*-5. Which is bigger: t or 5?
t
Let t be (-9)/(-18) - (-1 + (-1036)/8). Are t and 131 nonequal?
False
Suppose -3*c + 21 + 15 = -2*x, 0 = 4*c - 5*x - 48. Is -1 < c?
True
Let l = 89760 + -2245574/25. Let u = -63 - l. Let r(g) = -g**2 - 8*g - 6. Let a be r(-7). Which is greater: u or a?
a
Let u(r) = -r + 2. Let d = 23 + -19. Suppose 2*t + 2*z + 20 = d*t, -80 = -5*t - 5*z. Let c be u(t). Do -12 and c have the same value?
False
Suppose -21 = -11*j + 1. Which is bigger: j or 25/28?
j
Let i be 113*(-1 + (6 - 1) + -3). Which is smaller: i or 112?
112
Let s be (2 - -4)*1/2. Suppose -l - s*y + 17 = 0, 3*y = -l - 2*y + 25. Suppose -4 = -2*m - 0*m. Which is greater: m or l?
l
Let i(l) = l**2 + 12*l - 84. Let r be i(-17). Is -1/148 not equal to r?
True
Let c be (2 - -4) + (-3180)/532. Is c at most 0?
False
Let v be (-35)/15 - (-292)/12. Which is bigger: v or 16?
v
Let d be 473/(-22) + (-2)/4. Let g = d + 23. Is g > 4/11?
True
Let p = 0.8 - -3.2. Let i = -12/7 + 22/21. Which is smaller: p or i?
i
Let r = -1189/3 + 401. Which is smaller: r or 4?
4
Let s = 16 + -10. Suppose -4*p = 3*b - 32, -5*p = -8 - 2. Let z = 7 - b. Is z bigger than s?
False
Let s be 2/(((-2)/(-45))/((-76)/95)). Is -35 smaller than s?
False
Let i be 24/(18/(-3)) + 4. Suppose 0*m + m + 17 = 4*d, i = 4*d + 8. Is m not equal to -25?
False
Let d = -0.8 + 0.842. Let h = -0.025 - d. Is h bigger than 1?
False
Let s = 4.85 - 5. Let d = 0.52 + -0.17. Let u = s + d. Are u and -6 unequal?
True
Let i = 344.6 - 387. Let y = i - -42. Which is greater: y or -0.3?
-0.3
Let j = 10 - 8. Let t be (-7 - -9)/(1/j). Let p be (1 + -5)*(-1)/t. Is p bigger than -1?
True
Suppose 2*s = 3*s - 13. Let p = 11 - s. Suppose 1 = 2*o + 3. Is o < p?
False
Let j = 4 - 1. Suppose -5*i = j*z, -3*i + 2*i = 0. Let w = -1/1102 - 3/58. Is w equal to z?
False
Suppose -2*m - 19 - 13 = -q, m - 4*q + 30 = 0. Is -19 not equal to m?
True
Suppose 2*b + 0 - 14 = 0. Let u = 33 - 29. Is u at most b?
True
Let f(v) = -33 - 5*v + 31 - 59*v - v. Let b be f(6). Let x = 5878/15 + b. Which is bigger: x or 1?
1
Let y(s) = -87*s + 3. Let p be y(0). Let z = -6 - -4. Let d = z + 1.9. Do p and d have the same value?
False
Let s be (-3)/((-252)/258) + (-8)/14. Let n = -60 - -62. Which is bigger: s or n?
s
Let i be 0 - ((-1 - 1) + 0). Let d be (-1)/14*(6 - i). Is -5/3 less than d?
True
Let l be ((-2)/(-4))/(36/24)*-3. Which is smaller: l or -2/193?
l
Suppose 5 = 2*y - 5*v - 13, -12 = -4*y - 2*v. Let w be (-2 + 3 - y) + 3. Is w at least -2?
True
Let s = 12579/23 + -547. Let p = 0.9 + -1.6. Let x = p - 0.3. Which is bigger: x or s?
s
Let u be -1 + (2 - -2) + 12 - 0. Suppose 2*z + 5*c = 6 - 2, 0 = -3*c. Suppose u = j + z*j. Is 11/2 greater than j?
True
Let n be (-45)/(-18)*(-463928)/(-20230). Let j = 28/289 + n. Let x = j + -57. Are 0 and x nonequal?
True
Let x(l) = 5*l - 18. Let n be x(4). Suppose -n*j + 3*b = -5*j - 27, 0 = 2*j + 4*b + 10. Is j > -12?
False
Suppose -5 = -r +