82. Let l(t) = -t**3 + 2*t**2 + 4*t - 3. Let x be l(3). Suppose x = -i - 5*v, 0*i - 2*i + v = 0. Is f > i?
True
Suppose -4*n + 9 = -15. Suppose -n*u - u - 735 = 0. Let k be u/(-36) + -1 + -2. Which is smaller: -0.1 or k?
-0.1
Suppose 2*p - 4*t = -50, -26 - 50 = 3*p - 5*t. Let u(f) = f + 35. Let j be u(p). Are -0.1 and j equal?
False
Let r be (1762254/(-19096))/3 - 12/(-66). Let v = r + 214/7. Which is smaller: v or -1?
-1
Let g = -642 + 466. Is g less than 2?
True
Let v be 96/9 - 2/(-6). Let j = v - 22. Let s = j + 17. Is 6 at most as big as s?
True
Let c be (45/(-60))/((-255)/280). Is c <= 1?
True
Let s = -1.07 + 44.07. Let d = 47 - s. Which is smaller: d or -0.02?
-0.02
Suppose 0 = -4*y + 5 - 9. Let n = 1/2 + y. Is 0 not equal to n?
True
Let l = 161.6 + -161. Which is bigger: 1/8 or l?
l
Let u = -932 - -187324/201. Does 1 = u?
False
Let u be 2/4*6/9. Let h = 18 + -10. Let a(j) = -j**3 + 8*j**2. Let c be a(h). Is c greater than u?
False
Let z(q) = -q**2 + 2*q + 1. Let c be z(3). Let u = -1.76 - -8.76. Which is bigger: u or c?
u
Let u = 283 - 283. Which is bigger: 1/124 or u?
1/124
Let v = -0.012 - -0.022. Is v != 4?
True
Let r be 8/6*(-18)/12. Let l be 10/(-40)*r/(-8). Suppose g + 4 = -v, -8 = 2*v - v + 2*g. Do l and v have different values?
True
Suppose o + 2*l = 0, 18 = 2*o + 3*l - 8*l. Let p = 2/18333 - -476648/91665. Is p equal to o?
False
Let v be 145 + (4/2 - 3). Let k be (2/3)/(3/v). Let g be ((-1)/3)/(k/6). Which is bigger: 0 or g?
0
Suppose -18*p + 5*c - 5 = -17*p, 5*c - 5 = 0. Which is smaller: p or -1/1117?
-1/1117
Let w = -63989319/1847 + 34645. Which is smaller: 1 or w?
w
Suppose -1 = z - 4. Suppose z*u - 4*u = -100. Let s be u/15*(-3)/(-2). Is 9 not equal to s?
True
Let x = -1198 + 75472/63. Let l = -64 + 62. Let t be (-4 - l)/2 - -1. Is t smaller than x?
False
Suppose 2*l + 8 = 22. Suppose 8*d + 22*d + 90 = 0. Let f be (l - 24)*1/d. Is 6 < f?
False
Suppose -4*j = -2*j + h - 9, 2*j - 14 = 4*h. Let b = j - 3. Let w be (-14)/(-5) - (-20)/100. Is b != w?
True
Let c(p) = 2*p**3 - p**2 - 2*p - 1. Suppose 3*k = k - 10, j + 3*k = -16. Let b be c(j). Let q be (-4)/(-24) - (-1)/b. Which is greater: -1 or q?
q
Let b(t) = -t**2 - 21*t + 3. Let x be b(0). Let a(k) = -k**3 + k**2 + 14. Let m be a(0). Is m at most as big as x?
False
Let d = -39.2 - -7.2. Let u = -32 - d. Which is smaller: u or 1.3?
u
Let p = 0.2296 - -9.7004. Let i = -12.9 + 2.9. Let h = p + i. Which is bigger: h or -1?
h
Suppose -y + 94 - 79 = 0. Is y equal to 0?
False
Let l be -4 + (5 - 0 - 2). Let j = 11/41 + -247/615. Is j >= l?
True
Let t = 11624/515 - 113/5. Let b = 461/8755 + t. Which is smaller: b or 0?
0
Let p be (15015/(-20))/3 + (-2)/(-8). Is p smaller than -249?
True
Let y = 10 + -10.08. Let t = y - -1.08. Suppose -15 = -5*v + 3*u, v = -3*u - 2*u + 31. Is v at most t?
False
Suppose 3*b = -3*m - 39 - 6, -3*m - 5*b - 51 = 0. Is m less than -11?
True
Suppose -n = s - 30, -22*s + n + 32 = -21*s. Are 31 and s nonequal?
False
Let n = -546548/567513 + 2/21019. Which is greater: -1 or n?
n
Let h = 128 + -120. Suppose 3*g + h - 2 = 0. Let t = 1 - 1. Is g at most as big as t?
True
Let l(i) = -i**2 - 1. Let c be l(-3). Suppose 0 = -2*u + 6*u - 2*s + 46, -5*u = 4*s + 51. Is u less than or equal to c?
True
Suppose -4*u + 36 = 4*s, -7*s + 10 = -2*u - 2*s. Suppose u + 5 = -5*h. Let d(o) = 2*o + 1. Let c be d(h). Do c and -5/2 have different values?
True
Let v = 0.472 - 0.21. Which is smaller: -1 or v?
-1
Let g = 3.06 - 0.06. Let h(b) = 4*b + 20. Suppose 2*v - 10*v - 48 = 0. Let q be h(v). Is q >= g?
False
Let z = 0.1 - -0.9. Let u = 6.7 - -6.3. Let g = u - 13.1. Which is smaller: g or z?
g
Let n(v) = v**2 - 2*v - 23. Let t be n(7). Is 7 <= t?
True
Let b(o) = -5*o - 2. Let a be b(-2). Suppose a*n = n - 7. Is n bigger than -4/15?
False
Let y = -40/9 - -128/45. Let f = 21/10 + y. Let b(k) = k**2 - 4*k + 5. Let n be b(2). Is n at least as big as f?
True
Let p = 223.24 - 242.291. Let l = -0.051 - p. Which is smaller: -2/9 or l?
-2/9
Let h be (-4)/30 + 140/(-75). Let z be h/10 - (-16)/(-20). Is 1/24 smaller than z?
False
Let f = 17 + -17. Suppose 4*d - 8*d = -4*x + 76, f = 4*x - 4. Is -19 at most as big as d?
True
Let r be -7 - -2 - (-32 + 32). Which is smaller: 7 or r?
r
Let n = 1087 - 1023. Which is bigger: -1/3 or n?
n
Suppose 2*l = -y - 3*y, 0 = -4*l + 3*y - 11. Let g = -2.26827 + 0.26827. Is l smaller than g?
False
Let j = 143/310 - -6/155. Which is smaller: -207 or j?
-207
Suppose -2*r - 5*n = 3, 0*n = -5*r - 4*n + 18. Let q = r + -16. Let t be (5/(-2))/(5/q). Is t <= 3?
False
Let p = 0.33 + -6.33. Let l = 33 + p. Is -1/3 less than l?
True
Let c be (-1 + -3)*(-1)/(-2). Let f be (-18)/(-5) - 14/(-35). Suppose 0*j + 2*a = -j - 3, 4*a + 12 = -f*j. Is j at most c?
True
Let w(d) be the first derivative of -d**2/2 + 17*d + 2. Let y be w(7). Suppose 0 = -3*s + 7 - y. Which is greater: s or -2?
s
Suppose -4*p + 2034 = -3*g, 2*p - 2558 = -3*p - 4*g. Let d be -1 - -2 - p/490. Which is smaller: d or 1?
d
Let l = -0.42 - -0.26. Let d = l - 0.84. Is 0.1 smaller than d?
False
Let w be -3 - (-7 - -3 - 1). Let a be (-4)/66*(-8 + (-171)/(-18)). Does w = a?
False
Let b = -292 - -2040/7. Is b < 7?
True
Let i be (-3)/(-4 - (-102)/30). Let s(m) = m**3 - 5*m**2 + 13. Let j be s(i). Is 12 at least j?
False
Let w = 4 - -1. Suppose 6*s - 2*s + w*o + 13 = 0, 25 = -5*o. Let i = 14.2 + -11.2. Are s and i unequal?
False
Suppose 5*a = -v + 1 + 4, -5*a + v + 5 = 0. Which is bigger: a or -1?
a
Let v be -5 + (-222)/(-2) - 1. Let k = v - 105. Which is greater: -4/11 or k?
k
Let k(u) = -2*u**2 - 3*u. Let i be k(-3). Let w(z) = -z - 9. Let y be w(i). Suppose 8*h + 16 = -y*h. Do h and -3 have the same value?
False
Suppose 20*g = 130 + 310. Which is smaller: g or 5?
5
Let s = -129 - -161. Which is smaller: 8 or s?
8
Let p be -4*((-36)/8 - -2). Suppose p = 5*q - 10*q, -4*a = 2*q - 128. Suppose -a = -0*h - 3*h. Is h >= 13?
False
Let k = -687 - -694. Is k < 129/23?
False
Let t = -0.68 - -9.68. Let m = 0.4 - -6.6. Let i = t - m. Is -2 smaller than i?
True
Let c = 95/22 + -85/22. Which is greater: -1 or c?
c
Let q = 55 - -50. Let n be 3966/45 - 14/q. Does 87 = n?
False
Let i be (88/128)/((-2)/(-8)). Is 3 at most as big as i?
False
Let n(y) = -y**3 - 6*y**2 - y + 2. Let s be n(-5). Let m be (s/24)/((-1)/4). Let x(k) = k + 4. Let b be x(-6). Is b bigger than m?
False
Let x(f) = -2*f + 3. Let n be (-12)/(-78) - 115/(-13). Suppose -5*p + 1 = -3*v, 0 = -5*v + 24 - n. Let l be x(p). Is -2 at most l?
True
Suppose -m - 19 = 5*t, 3*t + 0*m = m - 5. Let z be t/(((-20)/(-15))/(-1)). Which is smaller: z or 2?
2
Let u be ((-13840)/(-56))/((-18)/28). Let h = u + 385. Is h >= 1?
False
Suppose 0 = n + n - 38. Suppose -6*m + 10*m + 40 = 0. Let f be 25*(12/m + 2). Is n greater than f?
False
Let m = -106.9 + 102.3. Which is bigger: 23 or m?
23
Suppose 4*v + v = 2*h + 80, -2*h = -4*v + 66. Suppose -3*i - 4*q + v = 0, 2*i = 3*i - 3*q - 9. Let p = 24 + -17. Is p less than i?
False
Suppose -118*j = -99*j - 19. Is j smaller than 181?
True
Suppose q - l - 24 = 0, 0 = -q - 70*l + 73*l + 26. Let f = 28 - 6. Which is bigger: q or f?
q
Let r = 2/13 - -16/65. Let q(g) = g - 2. Let f = 55 - 53. Let z be q(f). Which is smaller: r or z?
z
Let h(c) = 3*c - 16. Let s be h(8). Let j be (14/3)/(10/15). Let k = s - j. Which is bigger: 2/29 or k?
k
Let a be 1/2*(3 + -3). Let h = -1201/38522 + 2/1133. Is h at most a?
True
Suppose -1255 = 12*n + 221. Which is bigger: n or -121?
-121
Suppose 4*c + 14 - 2 = 4*a, 3*a - 9 = -3*c. Suppose 3*v + 0*v - 2*p - 8 = 0, -2*v + 3*p + 12 = c. Let x be v*(-3 - 15/(-6)). Is x at least as big as -1/8?
True
Let j be 4/(-56)*(-2 - -4). Is j equal to 15?
False
Let u be ((-6)/10 - -1)/(-1). Suppose 7*a = 4*a + 414. Let f = a - 138. Is f <= u?
False
Let p = 20 + -13. Let a(h) = h**2 - 12*h + 35. Let i be a(10). Let o = i - p. Is o at most 7?
False
Let d = 2/385 + 306/385. Let z(c) be the third derivative of c**4/24 - c**3/2 + 2*c**2. Let h be z(5). Is h at least as big as d?
True
Let t be 341/117 + (-12)/54. Let n = t + -485/156. Is 1 at least n?
True
Let s(m) = -m**3 - 2*m**2 + 3*m. Let d be s(-3). Let p = -17477/20 - -874. Which is smaller: d or p?
d
Let x = 12 + -13. Let o = -119 - -188. Let t be ((-1)/2)/(o/6). Which is gre