.8. Let m = 0.24 + k. Let d be 22/5 + 2/(-5). Is d less than m?
False
Suppose 2*c + 2*x - 6 = 4*x, 12 = -3*x. Let v(r) = r**3 + 6*r**2 - 9*r - 10. Let s be v(-7). Suppose 5*q = s*n - 17, -2*n + 9 = -3*q - 0*n. Are q and c equal?
True
Let r be (-265)/10 - 6/(-4). Let i = -23 - r. Let h be i - 6/((-36)/(-10)). Do -1 and h have the same value?
False
Let n = -497 - -361. Which is greater: n or -132?
-132
Let s = -2/605 + 2434/4235. Which is bigger: -1/2 or s?
s
Suppose -7*i + 2*i = -s - 64, 5*i + 4*s - 44 = 0. Suppose -k - 49 = -4*l + 1, 0 = -l - k + 15. Is l at least i?
True
Suppose 0 = -f + 25*f - 8688. Is 362 smaller than f?
False
Let y = -30788 + 861593/28. Let o = y - -116/7. Which is smaller: o or 25?
o
Let k(f) = f**3 - f**2 - 3*f - 1. Let b be k(-1). Are 8/17 and b non-equal?
True
Suppose 0 = 3*t - 6*t. Let f = 2 + t. Let p be ((-72)/(-15) - 2) + -2. Which is smaller: p or f?
p
Let g be 5*(8/(-20) + 0). Let f be 1 - 22*(-3)/84. Let p = 2/7 - f. Which is smaller: g or p?
g
Let o = -34 - -34. Suppose 0 = -5*x + 2*x + k + 21, o = -4*x - 5*k + 9. Is 6 at most x?
True
Let b be ((-36)/171)/(234/(-171)). Suppose 4*w - 4 = -4*n, -3*n = -4*w - 0*w - 10. Suppose n*a = -5*z - 3, -2*a = z + 3*a - 4. Which is smaller: b or z?
z
Let k be ((-2)/(-4) - 0)*-2. Let f be ((-9)/2)/(k/(-2)). Suppose -17 = 4*p - 5*g, -g = 47*p - 49*p - 13. Which is greater: p or f?
p
Let s = 71 + -69. Suppose 9 = s*l + 1. Do l and 10/3 have the same value?
False
Let s be 65*(140/25 - 5). Let h = 39 - s. Are h and 0.02 nonequal?
True
Suppose 0 = 3*c + 2*i - 5, 4*c - 3*i + 16 = -0*c. Suppose 2*v + 10 = -0*v. Let z be (27/30)/(12/v). Which is smaller: z or c?
c
Let x = 530 - 525. Is x <= 32/5?
True
Let u be (0 - 0)/(0 + -3). Suppose 4*k + 5*x + u*x = -6, -2*k = 4*x. Let p be (-168)/(-63) - k/(-6). Which is smaller: -2 or p?
-2
Let r = -241 + 224. Which is greater: -20 or r?
r
Let z(v) = 3 - 6*v + 10*v**2 + 6*v - v**3 - 14. Let c be z(10). Is c != -9?
True
Let p be ((-30)/25)/(1/((-90)/39)). Which is bigger: p or -0.1?
p
Let q = -1477 + 1471. Is q not equal to -164/23?
True
Let d be 1*(-595)/(4 + 3). Which is greater: d or -82?
-82
Let c = -9821 + 24719456/2517. Is c greater than 0?
False
Let m = -53231/2883 - 14/4805. Let q = m - -55/3. Let j = 23/60 + q. Is j not equal to -1/11?
True
Let f = -5111 - -5109. Suppose 1 = -3*d + 4*z - 25, 3*d = -4*z + 14. Do f and d have different values?
False
Suppose 108*o = 113*o + 155. Is o greater than or equal to -35?
True
Let m = -44.8 + -11.2. Let g = m - -56.1. Which is smaller: -0.7 or g?
-0.7
Let b(v) = -v**3 - 16*v**2 - 16*v - 9. Let m be b(-15). Let l = 1 - -3. Suppose -2*t + s = 0, 0*s = -l*t - s - m. Is t less than or equal to -1/13?
True
Let u = 2348 - 54029/23. Let a = -2635172552/621 + 4243435. Let r = a + u. Is 0 at most as big as r?
False
Suppose 0 = -5*y + 62 + 38. Let p(q) = q**3 + 25*q**2 - 14*q - 328. Let l be p(-25). Is y <= l?
True
Let l = -19 - 0. Let c be (3/(-18))/((-2)/(-220)). Is c >= l?
True
Suppose 4*k + 49 = -2*b + k, -b + 2*k = 42. Is -156/5 less than b?
False
Let g be -3 - (-7 - (-2 - 1)). Let x be -1 - ((-11907)/30)/9. Let f = x + -43. Is g equal to f?
False
Let f = -614 - -616. Suppose l = -0*l - d + 1, -2*l = d + 1. Let h = f - l. Which is greater: 6 or h?
6
Let v = 12/7 + -67/35. Let y(r) = 5*r**2 - 42*r + 17. Let q be y(8). Is v at most q?
True
Let s = 104 - 109. Is -7 at least s?
False
Let v be (26/(-2)*13/39)/(-3). Let x = -10/9 + v. Is -4 > x?
False
Let w(t) = 4*t - 7. Let h(n) = -2*n**3 + 11*n**2 - 7*n + 6. Let a be h(5). Let k be (12/(-4))/(6/a). Let s be w(k). Is s smaller than -1/5?
False
Let i = -2/795 + 2393/3180. Let c be 38/11*1/4. Let p = c - 4/11. Are p and i unequal?
True
Let w = 35 - 34.38. Let c = w + -0.52. Which is bigger: -2 or c?
c
Let t = 493/970 - 4/485. Which is smaller: t or 1/88?
1/88
Let g = -0.087 - 10.913. Let v = 12.3 - 1.3. Let t = g + v. Is 0.2 not equal to t?
True
Let s(d) = -4*d + 36. Let n be s(8). Let z(f) = f**3 + 4. Let b be z(0). Do b and n have different values?
False
Let m = -2 - -2. Let r be (3 - 92/30)*(-39)/172. Let x = r - -3/86. Is m <= x?
True
Let x = -13 - -13.4. Let k = 8 - 8.5. Let i = x + k. Is 1 not equal to i?
True
Let o(x) = x**3 + 7*x**2 - 18*x. Let v be o(-9). Suppose h - 5*h + 24 = v. Let j = h - 15. Which is smaller: j or -10?
-10
Let v be 17 - 14 - (-428935456)/(-66). Let s = v + 6498244. Let d = -775 - s. Which is smaller: -1 or d?
-1
Let r = -2/1073 - -9683/13949. Is r at least as big as 1?
False
Let h be (-2)/48*4/48. Suppose 1 = -j + 4*l, 0 = 6*l - 7*l. Which is smaller: j or h?
j
Let d be 47/(-57) + 22/33. Let x = 116/133 + d. Which is greater: x or 0?
x
Suppose 2*b - 4 = 4*l - 2*b, 0 = 2*l + 4*b - 28. Which is smaller: 32 or l?
l
Suppose 5*n - p - 15 = n, -2*p = n + 3. Suppose 5*x = n*x + 18. Suppose -4*o = -9*o + 40. Is o greater than x?
False
Let f = 4 + 1. Let s be (13/(-4) - -2) + (-80)/(-16). Are s and f nonequal?
True
Let a be (-3)/(-6)*0 - -3. Suppose 0 = -0*m - a*m. Which is smaller: m or -1/52?
-1/52
Let h be ((-5)/110)/((-35)/20). Let r = -1 - -1. Which is bigger: h or r?
h
Suppose 15*i - 11*i = 96. Let l = 51 + -51. Is l bigger than i?
False
Suppose -5*t + 7*t = 16. Suppose t*i = 3*i + 20. Suppose 0 = x - 0*b + b - 4, 0 = -i*x - 2*b + 10. Which is smaller: -1/5 or x?
-1/5
Suppose 2*r = -t + 1, -4*r = r + 2*t - 1. Is -5/24 >= r?
True
Let z be -33 + -3*(-6)/(-9). Suppose 924 = -2062*k + 2034*k. Which is smaller: z or k?
z
Let z be ((-8)/6)/(-4) + 42/(-18). Let u be z/8 + (-148)/(-16). Is 5 less than u?
True
Suppose -12 = 5*a - 2*q, 0 = -0*a - 2*a + q - 5. Let y = -0.9 + 0.5. Let k = y - -1.4. Which is smaller: k or a?
a
Suppose 2*z - x + 76 = -35, 4*x - 73 = z. Let n = z - -67. Are 40/3 and n nonequal?
True
Let y = -42 + 18. Let q be ((-1)/2)/((-1)/y). Do q and -21/2 have different values?
True
Let b be (-1034)/42 - 1/(-3). Which is smaller: -23 or b?
b
Let u = 298 + -381. Which is smaller: u or 14?
u
Let v be (-9)/(-3) - 5038/630. Let b = v + 104/21. Let m = -8/45 + b. Which is bigger: -1/9 or m?
-1/9
Let m be 1405 - (3 + 0 + -4). Which is greater: m or 1407?
1407
Suppose 4*s - 7 = 3*s. Let l = -5 + 10. Suppose s*j - 2 = l*j. Which is smaller: j or -2?
-2
Suppose -4*m + 20 = 0, 10 = -5*r - 0*r - 4*m. Let l be 4*(0 + 1 - 45/r). Is l >= 34?
True
Let n be ((-7)/(-6))/((-18)/4). Let q = n + -2/27. Let p = -7 + 4. Which is smaller: q or p?
p
Suppose 4*a + 0*w = w + 8, 3*a - 5*w + 11 = 0. Suppose 2*g + 2*g - 104 = 3*f, -4*f = a*g + 122. Is f < -32?
False
Let b(u) = u**2 + 62*u + 477. Let v be b(-53). Let m be (-28)/(-18) - 2/2. Which is greater: v or m?
m
Let h = -3/1745 - -1766/12215. Which is smaller: 1.3 or h?
h
Suppose 3*r - 66 = -5*f, -2*f - 125 + 11 = -4*r. Suppose 4*l - 3*z + r = -0*l, -z = 3. Which is smaller: l or -10?
-10
Let c(p) = p**2 + 9*p - 7. Let z be c(-11). Let o be ((-18)/z)/((-2)/(-5)). Let l be 2/o + 80/48. Is l less than 5?
True
Suppose 4*j = -3*m + 19, 3*j + 2*m = 4*j + 9. Does 4/55 = j?
False
Suppose -a = -k - 145, 0 = 2*k - k + 3*a + 133. Do k and -142 have the same value?
True
Suppose -k - 12 = 4*x + 9, 3*k - 4*x + 111 = 0. Suppose 0 = -18*g + 5874 - 6486. Which is smaller: g or k?
g
Suppose -2*n + 201 = n - 4*b, -3*n - 5*b = -228. Let t = 499/7 - n. Let v = 8.9 + 1.1. Is t > v?
False
Let s(c) = 3*c + 20*c**2 - 4*c - 1 - 71*c**2 - 101*c**2. Let n be s(-2). Let g = 22457/37 + n. Is 0.1 smaller than g?
False
Let n(v) = 2*v - 2. Let p be n(2). Suppose -8 + 32 = -p*j. Let w be 9*((-2)/1)/j. Which is smaller: 3 or w?
w
Let f = 124900/93 + -1343. Which is bigger: 0 or f?
f
Suppose -2*u - 4*x + 18 = 78, 5*x - 90 = 3*u. Let k be -1 + (-30)/(-34) + (-13257)/459. Which is smaller: u or k?
u
Suppose -5*l + 10*l = 1120. Which is greater: 225 or l?
225
Let d be (29190/(-1400))/(0 - (-4)/10). Let x = -2373 - -4851/2. Let o = d + x. Is 2 >= o?
True
Let y = 16764442 - 75808806373/4522. Let g = y - 2/323. Do 0 and g have different values?
True
Let m(s) = -s**3 + 42*s**2 + 47*s - 133. Let l be m(43). Is l <= -2/7?
False
Let i = -1803 - -1804. Which is smaller: 252 or i?
i
Let p = -7 + -6. Let n = p + 18. Suppose -5*b + 2*k = -3*k + 5, -35 = -n*b - 5*k. Is -0.2 greater than b?
False
Suppose -3*t = 3*z - 15, -3*t - 5*z + 165 = 148. 