8. Let d = j - -90.218. Let t = d - 90.1. Is 7 smaller than t?
False
Let n be 72/75*(-1)/(-20). Let k = -143/375 + n. Which is greater: k or 10/13?
10/13
Suppose 5*p + 60772655 = 4*j + 6795178, j + 4*p = 13494385. Let w = -499368089/37 + j. Let k = w + 2062. Are k and 0 equal?
False
Let j = 18354 - 128482/7. Which is smaller: j or 477?
j
Let s = -582 - -2144. Let u be 32/352 + (-230)/s. Which is greater: u or -1?
u
Let i = 321229/182 + -1765. Let j be -3 - (-4)/(-2 + (-1 - -4)). Is i at least j?
False
Suppose -2 = x - 3. Let h be (-66)/36 + (-33)/(-33). Let g = x + h. Is -2/7 less than g?
True
Suppose -15*r - 588 + 33 = 0. Suppose 5*x + 3*s + 441 + 20 = 0, 0 = 4*s - 12. Let g = -131 - x. Are r and g non-equal?
False
Let a = 1692 + 1418. Is 3111 at most a?
False
Let y(q) = 228*q - 56. Let h be y(-8). Let l be 3 + h/225 + 2/15. Which is bigger: l or -4?
-4
Let r = -331 - -1375. Let c = r + -1151. Let i be 2 + (0 - 220)/2. Is i smaller than c?
True
Suppose -292362 = -141*b + 94341 - 61416. Which is greater: b or 2308?
2308
Suppose -17*q + 20*q - 3*k = 201, -5*q + 4*k + 340 = 0. Let d(x) = -15*x + 7. Let t be d(6). Let m = q + t. Which is smaller: m or -13?
-13
Suppose -4*n = 16*n - 12459 - 42541. Which is smaller: n or 2753?
n
Let s be 5127 + ((-12)/24 + (-4)/(-1))*-2. Is 5119 smaller than s?
True
Let i = -78658/124915 + 4/3569. Let f be (-55058)/66990 + 36/198. Let n = i - f. Which is greater: 0 or n?
n
Suppose -2*f - 2*x = 0, 12 = -f - 0*f - 4*x. Let z = 38404 + -38359. Is f less than z?
True
Let p = 39640/13899 + -140/339. Are 2 and p nonequal?
True
Suppose -4*t + 2*p = 326, 4*p + 268 = -3*t + 40. Let q be (-5)/20 + -158*(-6)/t. Which is bigger: -11 or q?
-11
Suppose 26*p - 8 = 24*p, -3*w = 3*p - 9. Does w = 9/50?
False
Let k(x) = 32*x + 87. Let y be k(-4). Suppose 2*s + 150 + 136 = 3*l, 5*l - 5*s - 485 = 0. Suppose 2*d + l = -5*t, 90 = -2*d - 4*t - 0*t. Is d greater than y?
False
Suppose -82 = 5*t - a, 39*a - 43*a + 8 = 0. Which is smaller: t or -14?
t
Suppose -32*m + 6 = 550. Let n be (-2)/m - (-8064)/238. Is 21 smaller than n?
True
Let r = 91 + 3. Let u = -101 + r. Is u <= 0.9?
True
Let z = -24 - -74. Suppose -2*q - 3*q = z. Let o be 2/q*2 + (-2189)/165. Which is smaller: o or -14?
-14
Suppose 125*j - 5*y - 60 = 127*j, -4*j = 2*y + 24. Let g = -4 - -19. Let l be (2/(-66))/(g/(-18)). Is l at least j?
True
Let b be 726/18 + -1*(-3)/(-9). Suppose 3*q - 8 = b. Suppose -8 = -2*u - q. Which is smaller: -16/5 or u?
u
Let u(d) = d**3 - 4*d**2 - 6556*d - 94. Let g be u(83). Suppose -k - 5*v = -4 - 5, 2*k = -2*v - 14. Is g greater than or equal to k?
True
Let x = 55159 + -120632735/2187. Which is greater: 1 or x?
1
Let r be (-3780)/(-1134) - (-92)/3. Which is greater: 67/2 or r?
r
Let u(x) be the third derivative of x**5/60 + 11*x**4/24 + 7*x**3/2 - 6*x**2. Let q be u(-9). Suppose -j + 3*j = q*y - 15, -j = -y + 9. Is -11 not equal to j?
True
Let s be -145*24/120 - 19. Let z = -15 + -33. Is s at least as big as z?
True
Suppose 2*w - 128 = -3*r, -3*r + 86 = -4*w - 72. Suppose 4*b = -b + 20. Suppose -2*n = -4*i - r, 8*i + 96 = 4*n + b*i. Is n greater than or equal to 25?
True
Let s = -406425/14984 - 2/1873. Let m = 129/4 - 59. Let u = m - s. Do u and 1 have the same value?
False
Let q be 494/(-1*(2 + 0 + -4)). Let z = 246 - q. Let x be 3/9 - (-58)/(-66). Are x and z equal?
False
Let v = -32001 + 32002.435. Is -0.1 bigger than v?
False
Let m be 1610/(-4025)*6/5. Let s be 28/35 + 2/10. Which is bigger: s or m?
s
Let h = -0.017 + 0.081. Let i = h + 0.236. Let w = 7 + -15. Is w not equal to i?
True
Let d(j) = -27*j - 62 - 2*j**2 + 20 + 12*j. Let z be d(-5). Is -3 > z?
True
Suppose 4 = -2*v + 4*k - 8*k, 0 = -2*v - 2*k - 12. Suppose 943 - 945 = m. Which is smaller: m or v?
v
Let b(x) = 108*x + 6048. Let z be b(-56). Which is bigger: z or -1/3446?
z
Let s = -0.209 - 123.791. Let n = s + 124.08. Which is greater: -1/29 or n?
n
Let j(q) = 2*q**2 + 62*q - 48. Let x be j(-31). Do x and -54 have different values?
True
Let s(u) = 22*u**3 - 5*u**2 + 5*u + 1. Let q be s(2). Let t = q - 206. Which is smaller: t or -37?
t
Suppose 3*t + 3 = 4*t. Let s be (60/15 - 1/(1/7)) + 15. Let k be s/t - (-109)/(-27). Which is smaller: -1/2 or k?
-1/2
Suppose -78 = -5*l - 363. Let n(v) = 12*v**3 - 3*v**2 + 2*v - 3. Let z be n(2). Let b = l + z. Which is bigger: 27 or b?
b
Let g(m) = -1151*m + 1920. Let h be g(-3). Is h != -1?
True
Let k = -168 - -53. Let z = k + 115. Suppose 5*f + 2*g + 123 - 440 = z, -5*g = -5. Is f less than or equal to 62?
False
Let n(y) = 93*y - 5*y**2 - 99*y - 21 - y**3 - y**2. Let p be n(-8). Is 156 equal to p?
False
Let j = -0.3 + 0.2. Suppose 0 = 47*n - 354 + 11305. Let z = 235 + n. Is j < z?
True
Let b = -284 + 543. Let j = 281 - b. Which is bigger: j or 10?
j
Let h(y) be the third derivative of -y**6/60 - y**5/10 - y**4/12 - y**3/2 - 6*y**2. Let x be h(-3). Let f(z) = -z + 5. Let w be f(0). Which is smaller: w or x?
x
Let t = 6225 + -242774/39. Which is smaller: t or 1?
t
Let y = 3731 - 8754. Which is bigger: 0 or y?
0
Let n = 0.984 + 8915.016. Which is greater: n or 0.2?
n
Let a = -261/5 + 5867/110. Which is bigger: a or 0?
a
Let c = -39.9 - -48. Let k = c - 8.96. Let y = k - 0.14. Is 0.1 bigger than y?
True
Let t(l) = l**3 + 9*l**2 - l + 4. Let j(i) = -i**3 - 5*i**2 + 8*i + 3. Let v be -3*(5 + (-9)/3). Let c be j(v). Let d be t(c). Which is bigger: d or -2?
d
Suppose 73*y = -95*y + 2310 + 1386. Which is smaller: y or 5?
5
Let l = 73 - 66. Let k be 4/l - (-56)/(-441). Which is smaller: k or 1/4?
1/4
Let n be 8/6 + (3 - (-133)/231). Suppose g - 30 = -4*g. Is g greater than n?
True
Let a be 2/2 - (-1)/(-1). Let n = -36663.8 - -36670.6. Is n <= a?
False
Let u = -2699685/464324 - -535/92. Which is smaller: 1 or u?
u
Let r = -996 - -900.1. Let g = -96 - r. Let s be (1/(-30))/((-4)/(-16)). Is g at most as big as s?
False
Let v be (-19)/76 + (3 - (84294/3768)/7). Is v <= 0?
True
Let v = -29912/1605079 - -1/3269. Which is smaller: v or 0?
v
Let k be (-20 - 12/(-36))/(1/(-9)). Let f be 3183/(-54)*-3 + (-1)/(-6). Is k equal to f?
True
Let h(c) = -c - 13. Suppose 6*f - 37 = -13. Let i be h(f). Let z be (42/(-9) + 4)/((-4)/(-102)). Is z at least i?
True
Let p = 1574/5 + -314. Which is smaller: p or -229?
-229
Let m(i) = -12*i**3 + 11*i**2 + 15*i - 21. Let y(k) = 5*k**3 - 5*k**2 - 8*k + 11. Let l(w) = -2*m(w) - 5*y(w). Let f be l(-4). Which is smaller: 60 or f?
f
Let k(c) = 3*c**2 + 2*c + 2. Let i be k(-1). Suppose -7 = i*s - 1. Let p be 1169/588 + 1*s. Which is smaller: p or 0?
p
Let v = -147 - 78. Let i = v - -204. Which is smaller: -5 or i?
i
Let k be (-2*(-6)/122)/(-2). Let h = 77/915 - k. Which is bigger: h or -1?
h
Let y be (162/42)/(4/(-14)). Let g = 292 + -306. Is g > y?
False
Let k = 37.99 - 37. Let y = -1.59 + k. Is y equal to 6?
False
Let t = -81/86 + 5795/172. Is 33 at most as big as t?
False
Let v = -158.3 + 148. Let t = v - -116.3. Let c = 105.9 - t. Is c < 18?
True
Suppose -k = -p + 624, 4*k - 856 = 2*p - 3354. Which is smaller: -626 or k?
-626
Suppose 219*j = 214*j - 2*l + 13, 0 = l - 4. Which is smaller: -52/163 or j?
-52/163
Let k = 11/1059 + 44335/13767. Are -28 and k equal?
False
Let b = 2032/143 + -180/13. Let r = -0.21 + 0.13. Let y = r + -0.92. Is b less than y?
False
Let o = -5880.97 + 5881. Is o smaller than 5/7?
True
Let q = -508/41 + 176039/14145. Which is smaller: 0 or q?
0
Let a be 12/7*(-34 - -48). Suppose -5*n - 15 = -3*g, -3*n + 2*g - 34 = -a. Is -126 at most n?
True
Suppose -4*r + 2*r = 0. Suppose -42*a = -25 + 361. Let s be 32/(-105) - ((-48)/(-15))/a. Which is smaller: s or r?
r
Let k = 112.41 - 112.59. Is -3/112 at most k?
False
Let g = 12 + -20. Let r = -1720 - -1724. Suppose -r*k = -3*z - 25, -4*z - 4*k - 67 = -15. Is z smaller than g?
True
Let o = -7/16969 - 402853/10673501. Which is smaller: 1 or o?
o
Suppose 4020 = -5*x - 5*o, 3*o - 2412 = 5*x - 2*x. Let a = x + 745. Are a and 7 equal?
False
Let w(a) be the first derivative of a**3/3 + 27*a**2/2 + 127*a + 97. Let b be w(-6). Is b greater than -1/193?
True
Suppose -c = -o + 82, -o = -0*c + 4*c - 92. Suppose 90*v = o*v + 6. Let q = 42301/59 + -717. Is v < q?
False
Let r = -169 + 169.141. Let b = -11.141 + r. Which is bigger: -3 or b?
-3
Let f = -179227/138973 - 3/4483. Which