80. Is t bigger than -1?
True
Let x be (-1)/5 + 234/45. Suppose -13*y + 115 = -8*y. Suppose 18*v = y*v + x. Which is smaller: 0.1 or v?
v
Let n = 36 + -33. Let x(c) = -c**3 + 3*c**2 - 3*c + 4. Let m be x(n). Let t(r) = -r**3 - 7*r**2 + 10*r + 11. Let o be t(-8). Is o at most as big as m?
True
Let k be (-2)/4 + 122*4/304. Is 2 not equal to k?
True
Suppose 4*m + 101 = 1. Let i(l) = -2*l**2 + 19*l - 69. Let c be i(5). Which is smaller: c or m?
m
Suppose 4*b - 2*g = 14, g - 2 = 2*b - 3*g. Suppose 7 - 32 = -b*s. Which is bigger: 2 or s?
s
Let g = 22 + -113/5. Let u(d) = -509*d - 2. Let f be u(0). Which is greater: f or g?
g
Let w be (9*(-36)/(-567))/((-6)/7). Which is bigger: 12/7 or w?
12/7
Let r = 161 - 161. Let k be 430/(-9) + 6/(-27). Let z = k - -234/5. Which is bigger: r or z?
r
Let r be (-328)/6 - 1/3. Let a(n) = -n**2 - 40*n + 121. Let b be a(-44). Is r at most as big as b?
True
Let m = 25 - 16. Let f = m + -11. Let o be (2/(-6))/(f/(-4)). Is o greater than or equal to -8?
True
Let p = -11.7 + 12. Let z = p + -0.2. Let d = -961/9 + 107. Is d smaller than z?
False
Let n = -132 - -124. Let f be n/(-16)*3/51. Is f at least as big as -1?
True
Let c be 220/(-588) + 3/9. Let v = 45 - 45. Which is smaller: c or v?
c
Let d = -238 - -243. Which is smaller: d or 11?
d
Suppose 880 = -32*g + 24*g. Is g less than -106?
True
Let g be 4*(-11)/(-132)*(-3)/(-5). Is g greater than -22/5?
True
Let o = 0.328 - 0.128. Which is smaller: o or -13?
-13
Suppose -129 = -5*b - 3*c, 21 = b - 4*c - 14. Suppose g - 6*g - b = -h, -g + 3*h + 3 = 0. Which is bigger: g or 4?
4
Let q(v) = 45*v**2 + 6*v + 13. Let r be q(-5). Let n = 119665/108 - r. Which is bigger: -1 or n?
n
Let z be ((-220)/(-8))/(-11)*-30. Let j be (-10)/z - 94/(-930). Which is greater: j or 1?
1
Let l be ((-89)/(-801))/((-2)/(-342)). Which is smaller: l or -0.043?
-0.043
Let g = 0.002 - -44.998. Let l = g - 48. Is 8 != l?
True
Let c be 87/300 + 2/(-8). Let z(i) = i**3 - 31*i**2 + 55*i + 88. Let x be z(29). Which is smaller: c or x?
c
Let n be 1/((-2)/4) - -1. Let m = -1691142 + 3957272203/2340. Let p = m - 1/180. Which is smaller: n or p?
n
Let j = -533 + 504. Does -88/3 = j?
False
Let u = 125/8 - 33/8. Which is bigger: u or 12?
12
Let j = 23245/3 - 534977/69. Which is smaller: -4 or j?
j
Let k be 33/15 + (-1)/5. Suppose n - 2*m = 7, -3*m - k*m = -3*n + 18. Is -0.4 greater than or equal to n?
False
Suppose 0 = -5*o + 3*o + 6. Suppose 2*d - 4 = 0, p + d = o*p. Let f = 0.6 + -4.6. Which is bigger: p or f?
p
Let h be 2/4*((-6)/(-6) - 3). Is 257 >= h?
True
Let v(o) = 2*o**3 - 32*o**2 - 37*o + 71. Let q be v(17). Which is greater: 0.1 or q?
q
Let r = -102676/327 - -314. Let n = -127/2943 + r. Let l(t) = -t**2 - 3*t + 10. Let c be l(-5). Which is bigger: n or c?
c
Suppose 5*o = 3*o. Suppose -5*h + o = -15. Suppose 3*s = 2*n + 2, h*s = 2*n + 2*n + 4. Which is greater: s or -10/9?
s
Let h = -6 + -9. Let w = h + 13. Is -2/27 bigger than w?
True
Let o(z) = z**2 - 3*z + 1. Let p = 29 - 26. Let r be o(p). Is 1 bigger than r?
False
Let z(w) = w**2 - w - 5. Suppose 3*o = 2*o - 2. Let h be z(o). Let t = -3/623 + 1417/35511. Is h at most as big as t?
False
Suppose 12*j = 17*j + 265. Is -103/2 at most as big as j?
False
Let r = 177 - 176. Let w = 1.1 - 0.2. Let k = w - 0.6. Which is greater: k or r?
r
Let a(k) = -k**3 - 9*k**2 + 4*k + 36. Let n be a(-9). Is -3/2 != n?
True
Let b be (2 - 4)/(8/12). Let o(s) = 8*s + 9. Let d be o(b). Which is greater: d or -14?
-14
Suppose 0*r + 8 = -4*r. Let n be (-12)/(-3) + r - -7. Suppose -29 = -6*x + 19. Which is smaller: x or n?
x
Let v be 5 - -1 - (1 + 2). Suppose -v*u = -4*l - 11, 2*l = -0*l - 5*u + 1. Let h be (-55)/(-10) + l/4. Is h greater than 1?
True
Let u = -363 + 2165/6. Let y = u + 5/2. Is y bigger than 0.2?
True
Let j = -1/59 + 359/295. Let q = j + -7/10. Is q at most 0?
False
Let l = -125 - -124.9. Which is bigger: l or -0.53?
l
Let x be 42/(-63) + 1/((-246)/(-230)). Which is bigger: -1 or x?
x
Let i = -1.24 - 0.16. Let a = 0.08 - -1.52. Let p = i + a. Which is greater: 0.09 or p?
p
Suppose 5*w - 21 = g, 4*w = -4*g + 27 + 9. Suppose m = w - 4. Suppose 2*z - 3 = z. Which is smaller: z or m?
m
Suppose -18 = -3*b + 7*b - 3*y, -2*b - 10 = -2*y. Is -3 <= b?
True
Let y be 264/30 + (-8)/10. Which is greater: -10 or y?
y
Let b(r) be the third derivative of r**6/15 - r**5/60 + r**4/24 + 2*r**2. Let c be b(1). Let s be 81/(-135) - (0 + (-86)/10). Is c equal to s?
True
Let d(m) = 126*m + 15. Let t be d(-5). Let p = t - -54119/88. Which is bigger: p or 0?
0
Suppose 5*z + 247 = 782. Suppose 0 = 3*y - 9, y + 0*y + z = 5*d. Which is greater: 23 or d?
23
Let x be ((-133)/(-266))/(1/(-466)). Which is bigger: x or -232?
-232
Let n be (-374)/1560 - (-1)/4. Let z = -38249 - -52210651/1365. Let d = z + n. Does 2 = d?
False
Let k = 2671 + -1175. Let w be k/(-119) + (-6)/14. Which is bigger: w or -15?
w
Let f = 3.08483 - -0.00617. Let y = f - 0.091. Are -5 and y unequal?
True
Let p be 3/8 - 8/16. Let r be -1 + -7 + -6 + 17. Is r greater than p?
True
Let x(l) = l**2 - 2*l - 2. Let m be x(4). Let t be (m/18)/((-1)/2). Is -1 smaller than t?
True
Let u be -3*(0 + 2/(-12)). Let i be -8 - 11/((-88)/64). Is u >= i?
True
Let w = -0.008 + -50.992. Let n = w + 51.3. Is -12 >= n?
False
Let g be (-2)/(-4) - (-4117)/580. Let t = 1/580 + g. Let k = -15/2 + t. Which is greater: 0 or k?
k
Let u = 85 + -15. Let c be 1/((-1)/(-15))*4/u. Suppose j = 4*o, j - 3*j = -4*o. Is c at least j?
True
Let c = 47/2 + -615/26. Let n = -251/26 - c. Which is greater: 1 or n?
1
Let t(j) = -j**3 - 4*j**2 + 4*j - 7. Let q(a) = -a - 5. Let b be q(0). Let p be t(b). Let i be (7/70)/(6/(-105)). Which is smaller: p or i?
p
Suppose 4*u - 9 = b, -u + 4*b - 3 = 2*b. Suppose -2*v - u*v = 5. Let c be 5*(-1 - v/5). Which is bigger: c or -7?
c
Let z be ((-4)/110)/((-8)/10). Let f(t) = 4*t + 13. Suppose 0 = -5*q - 3*l - 9, 4*q - 4*l + 30 = 10. Let x be f(q). Is z != x?
True
Suppose 16*q - 279 = -71. Which is bigger: q or 25?
25
Suppose 13 + 59 = 8*v. Suppose 0*n - 2*a + v = 3*n, -5*n = 5*a - 15. Is n at least 17/6?
True
Let w(x) = 2*x**3 + x**2 + 8*x. Let m be w(0). Let j be (0 - (2 + 0)) + 2. Are j and m unequal?
False
Suppose 0 = -19*a + 24*a - 25. Suppose 24 = -2*i + a*i - 5*z, 15 = -5*z. Which is greater: i or 4?
4
Let c = 429 - 447. Is c bigger than -18?
False
Let p be (3/27)/(3/12). Is -0.03 > p?
False
Let w = -228 - -222. Which is greater: 1 or w?
1
Suppose 2*i - b + 36 = 0, 0 = -i - 5*b + b. Which is smaller: i or -10?
i
Let w be (-24)/792*6 + 2/11. Let y = -13.27 - -0.27. Which is smaller: y or w?
y
Suppose c = 2*c - 14. Suppose c = 2*i + 5*i. Is -1.5 >= i?
False
Let i = -7.13 + 26.13. Which is bigger: i or -4?
i
Suppose 0 = -111*o + 100*o. Which is smaller: o or 2/2201?
o
Let c = -102 + 104. Let n be 2/(-4)*c - -1. Let k = -150 - -1801/12. Are k and n nonequal?
True
Let u(n) = 2*n**2 - 7*n - 60. Let x be u(13). Is 187 less than x?
False
Let i = 39 - -343. Is i smaller than 383?
True
Let b be (10/(-4))/((-2)/(-4)). Let j(n) = n**2 - 7*n + 16. Let h(y) = 4*y**2 - 27*y + 65. Let s(i) = 2*h(i) - 9*j(i). Let k be s(7). Is k < b?
False
Let t be (-4)/24*(-1194)/4. Let k = 1409/28 - t. Which is bigger: k or 1?
1
Let z = -8 - -11. Let n = -0.05 - -1.05. Is n less than or equal to z?
True
Let j = -3 - -2. Let l = 1673 + -51861/31. Which is smaller: j or l?
j
Let j(h) = 17*h. Let n be j(2). Suppose -7*l + 2*l + 95 = 5*q, -q = -2*l - n. Which is smaller: q or 25?
q
Let w = 165 + -165.09. Is w at most as big as -1.4?
False
Let n(a) = -65*a**2 - 3*a - 2. Let z be n(-1). Are z and -64 equal?
True
Let o(d) = d**3 + 4*d**2 + 4*d + 3. Let f be o(-2). Let t be (-106)/(-16) + -4 - (f - 0). Which is greater: 0 or t?
0
Let j(x) = -2*x + 11. Let i(m) = -m + 11. Let y(q) = -3*i(q) + 2*j(q). Let n be y(-8). Is n at least as big as -7?
True
Let i be 10/25 - -2*(-22)/(-40). Is -106 at least i?
False
Suppose 0 = 2*g - g - 2*l + 48, l - 2 = 0. Let s = -43 - g. Which is bigger: s or -1?
s
Let r = 520.02 - 520. Is r >= -3/14?
True
Suppose 0*s - 19*s - 855 = 0. Is 0.3 equal to s?
False
Let s = 208 - 214. Let j = -2 - -1.9. Is j > s?
True
Let i be ((-80)/(-120))/(-1 + 11/9). Which is smaller: i or 8?
i
Let t = -43/595 - -2/357. Let f = -12 + 14. Let u = -1 + f