= r**3 + 8*r**2 + 6*r - 8. Suppose -5*u + u - 16 = 0. Let k = u + -3. Let w be n(k). Which is smaller: w or 4/11?
w
Let u = -7 - -4. Let p be 7 + (4 + (-7)/1)/u. Is 12 at most as big as p?
False
Let a = 19 - 16. Let x = 118 - 118. Which is smaller: a or x?
x
Suppose -1436*j = -1427*j + 855. Which is greater: -102 or j?
j
Let c = -2387 + 2388. Suppose w = -w + 5*r - 64, -r = -4. Is c at most as big as w?
False
Let u(o) = 3*o**3 + 3*o + 8. Let l(s) = 2*s**3 - s**2 + 4*s + 7. Let q(k) = 4*l(k) - 3*u(k). Suppose -v - 20 = 3*v. Let c be q(v). Is c at most as big as -2?
True
Let z = 5716/5 - 1174. Is z greater than or equal to -31?
True
Let a be ((-510)/(-1960) - 1/4)*-8. Which is bigger: a or -1?
a
Let s be ((-6)/(-6))/(3/(-21)). Let t be s - (0 - 5 - -2). Is t greater than -6?
True
Suppose -3 = 5*l + h - 3*h, l = -4*h + 17. Is l not equal to -269?
True
Let c(k) = -5*k**3 - k**2 + 2. Let x be c(2). Let f = 49 + x. Which is bigger: 8 or f?
8
Suppose 6*d - p - 345 = 10*d, p + 5 = 0. Which is bigger: -88 or d?
d
Let r be 72/(-18) + (-1 - 0) + 6. Which is greater: r or -2/5993?
r
Let b be (30/(-45))/((-2)/(-3)). Let q be (-1*b/(-4))/(15/1720). Is q >= -30?
True
Let k = 70 + -447. Let o = k + 19605/52. Is o at most 0?
False
Let r = 47781/181 - 264. Which is bigger: 0 or r?
0
Let w = -0.027 - -0.023. Let i = -36.004 - w. Which is smaller: i or -1?
i
Let a = 17 - 29. Let z(c) = c**3 + 13*c**2 + 13*c + 17. Let m be z(a). Suppose m*w - 4 = 4*w. Is w at least as big as 3?
True
Let q be ((-15)/25)/(33/(-55)). Which is greater: q or -8/45?
q
Let b be (1 - 6/4)*-6. Suppose 0 = -b*i - 3*p - 0*p - 6, 0 = -5*i + 3*p + 30. Let l be 10/i*(-18)/(-15). Which is smaller: l or -1?
-1
Let t(x) = -2*x**3 + 2*x**2 - x. Let d be t(1). Let a be (-210)/14 + (d + 1)/1. Which is smaller: -18 or a?
-18
Let b = 59 - -137. Is b less than or equal to 195?
False
Suppose -226*t = -218*t - 152. Suppose 2*d = -4*o + 74, -6*d - 12 = -2*d. Which is greater: o or t?
o
Let y = -49 + 50. Is y equal to 1/52?
False
Let c be (6 - (-960)/(-156))/(6/(-93)). Which is smaller: c or 3?
c
Suppose -4*a - 5*g + 5 = 85, -3*a - 5*g = 55. Let k = 31 + a. Is 6 <= k?
True
Suppose 5*o - 10 = 0, -2*m - 5*o - 127 = -15. Let a = m + 61. Which is smaller: -1 or a?
-1
Let i = -2 + -3. Let n = 39 + -38.9. Is n less than or equal to i?
False
Suppose -3*a + 7 = 2*p, -2*a + 2*p - 17 = -7*a. Suppose 0 = -4*n + 16, -3*v = -a*n + 11 + 21. Suppose 0 = 7*h - 3*h + 24. Is v != h?
True
Let y = 0 - -2. Suppose 3*c + 66 + 51 = 3*k, -y*k + 10 = 0. Do -35 and c have the same value?
False
Let j = 9/307 - 6735/9824. Which is greater: 0 or j?
0
Let o(t) = 2*t - 28. Let s be o(12). Which is greater: s or -2?
-2
Suppose -2*a = -q, -a = -2*a. Suppose -18 = -16*k + 13*k. Let o = k - 9. Is q at least as big as o?
True
Suppose -5325 = 21*h - 1671. Is -173 greater than h?
True
Let r = 0 - 3. Let s be r/(-6)*4/458. Let x = s + -698/2519. Are 0 and x nonequal?
True
Suppose -6*o - 20 = -2*o. Let v = 3 - o. Suppose 0 = 4*z + v. Which is smaller: z or 1?
z
Let t = 31 - 16. Let g = 11 - t. Is g at least -2/9?
False
Suppose 4*f - 4 = 4*n, -4*n - 4*f + 32 = -n. Suppose 0*x - n*x + 12 = 0. Let b(l) = l + 1. Let a be b(1). Is a not equal to x?
True
Let d be 7983887 - (0 - 4/(-4)). Let r = 26011501321/3258 - d. Let h = 1/362 - r. Do 0.3 and h have the same value?
False
Let y(o) be the first derivative of -6*o**2 - o + 6. Let j be y(-2). Do 23 and j have the same value?
True
Let z = -6/3935 + 2176121/43285. Let r = z - 50. Let l(k) = k**2 + 6*k + 6. Let i be l(-5). Is r smaller than i?
True
Suppose 4*x + 5*k = -4541, -1137 = x - 23*k + 26*k. Do x and -1134 have different values?
False
Let a = 199 - 300. Does -101 = a?
True
Suppose 2*c = 4*g - 6*g + 158, 5*c = 5*g - 385. Which is smaller: g or 1?
1
Let f be -1*((-22)/30 + (-36)/(-27)). Is f greater than or equal to 15.6?
False
Let a = 274 + -293. Which is smaller: 3/4 or a?
a
Let q = -81 - -79. Let p(n) = n**2 + 6*n + 3. Let s be p(-5). Is s at most as big as q?
True
Suppose 3*b + 6 = -5*a, -7*a = 3*b - 5*a + 15. Suppose 6*i - 3*i + 18 = 0. Which is greater: i or b?
i
Let q be (-20)/(-16)*1 - 21/36. Do -153 and q have different values?
True
Let y = -3 - -2. Let b = 4.7 - 4.757. Let d = b - 0.143. Which is greater: y or d?
d
Let y = 8 - 5. Suppose -v - 6 = -y*v. Suppose 5*r + 16 = u, 0 = 2*u + v*r - 5*r - 8. Which is smaller: u or -2?
-2
Let h = 565 + -564. Let l = -28 + 61. Which is bigger: h or l?
l
Suppose -7*y + 3*s - 75 = -4*y, -124 = 5*y - 4*s. Let m be y/(-9)*3/(-2). Let g = -1433/282 - -39/94. Is m at least g?
True
Let n(r) = r**3 + 40*r**2 + 39*r - 6. Let l be n(-39). Is -13 less than or equal to l?
True
Let y = 0.12 - -117.88. Which is greater: y or -1?
y
Suppose 27*s + 264 = 29*s. Is s less than 133?
True
Suppose -3*w + 55 = 19. Let l = 11 - w. Suppose 2*u = -2 - 0. Is l smaller than u?
False
Let m = 142.4 + -142. Is 25/4 at most m?
False
Let m be ((-2048)/10 - 3) + -3. Suppose -2*v + 66 = -352. Let a = v + m. Which is smaller: -1 or a?
a
Let v be (6/11)/(-3) + (-102)/(-77). Let l = 473/420 - v. Does -1 = l?
False
Suppose -496*o = -501*o - 5. Which is greater: 1/64 or o?
1/64
Let o = -650 - -649.2. Which is greater: -4/17 or o?
-4/17
Let o(k) = -k. Let f be o(6). Let a(y) = -y**2 - 7*y - 5. Let v be a(-4). Let j(w) = -w + 6. Let t be j(v). Which is bigger: f or t?
t
Let q be (-2 + 0 + -1)*-7. Let y = -51 + q. Let m be (-6)/8*80/y. Is m less than or equal to 7/4?
False
Let k be (-29)/8 - (-13)/((-624)/18). Is -4 at least as big as k?
True
Let b = 34789/3 - 11597. Let k be -1 - 6/(-16) - -1. Is k smaller than b?
False
Let m(k) = 2*k**3 + 7*k - 72. Let j be m(0). Are j and -80 unequal?
True
Let g be ((-12)/42)/(40/(-7)). Suppose -7*s + 5 = -2*s. Is g <= s?
True
Let z = 44 - 33. Suppose -z = -4*i + 3*i. Do 11 and i have the same value?
True
Let p(d) = d + 9. Let g be p(-8). Let x be ((14 - -2) + 2)*g/(-2). Which is smaller: x or -10?
-10
Let o(y) = -y - 7. Let l be o(-5). Let v be -9 + l + 1*3. Let r = 23/3 + v. Which is greater: 1 or r?
1
Let o(f) = f + 63. Let g be o(-26). Is g at most 30?
False
Suppose 0 = -0*y - 2*y + 24. Let w be -2*(-3)/(-12) + 1/2. Suppose -i - 7*n + 2*n - 3 = w, 9 = 2*i + 5*n. Is i greater than or equal to y?
True
Let x(d) = d**3 - 7*d**2 + 5*d + 8. Let p be x(6). Suppose a = -p*a - 63. Are -21 and a equal?
True
Let c = 2372 - 2375. Which is greater: -0.045 or c?
-0.045
Let a(n) = n - 1. Suppose 9*b - 4*b = 10. Let i be a(b). Suppose 5*y = 3*j + j - 23, -3*y - 4*j = i. Is y greater than or equal to -1?
False
Let h(s) = -s + 142 - 122 + 4*s. Let w be h(-4). Which is greater: w or 13/2?
w
Let b = 86 + -97. Is b at most -1/5?
True
Let l(j) = -2*j**2 + 2*j + 34. Let s be l(0). Is 33 not equal to s?
True
Let x = -4.3 + 0.7. Let r = x + 3.8. Which is smaller: -6 or r?
-6
Suppose -s = -0 - 10. Let q(x) = x - 5. Let d be q(s). Let i be d*(2 + 27/(-15)). Which is smaller: i or 1/11?
1/11
Let r(x) = -24 + 11*x + 22 - 16*x. Let d be r(-1). Which is greater: d or 4?
4
Suppose 21 - 6 = -3*w. Suppose -15 = -3*d - 2*d. Suppose -3*p + 2*o + 4 = 0, d*o + 4 = -11. Which is smaller: p or w?
w
Suppose 82*o + 5520 = 102*o. Which is smaller: o or 275?
275
Let b(z) = -5*z - 4. Let i be -1 + 3 + -3 - -1 - -3. Let o be b(i). Is o greater than or equal to -19?
True
Let a(y) = 4*y**2 + y + 20. Let n be a(-4). Let l = n - 78. Which is smaller: -0.3 or l?
-0.3
Let b = 1 - 2. Suppose 10 + 54 = 4*d. Suppose -43 = 4*i - 5*w, i - 3*w = -0*i - d. Is b != i?
True
Let i be (3/(-6))/((-145)/(-36) + -4). Is i at least -122/7?
False
Let a = -75 - -81. Let g be (10 + -4)*1/a. Let f be 6/7 + (-4)/(-14). Is f >= g?
True
Let h = 0.6 + -0.5. Let q = 1.4 + -1.8. Let w = h + q. Is -1 <= w?
True
Let t(d) = d**2 - 7*d + 7. Let c be t(6). Suppose 0*h + 3*v + 20 = h, 2*h - 20 = 2*v. Let r = 6 - h. Is r equal to c?
True
Let u(o) = -9*o - 665. Let k be u(-74). Let f = 6222 + -2096816/337. Are k and f equal?
False
Let p = -0.464 - 5.536. Which is smaller: p or 0.136?
p
Let y(k) = 3*k**2 + 22*k - 58. Let f be y(8). Which is greater: f or 311?
311
Let a = -34 + 34. Suppose a = -b, -4*w + 4*b = b + 16. Let r be (0 + -1)/(2/10). Which is smaller: r or w?
r
Let f be 6*1*(-10)/6. Let o = 1171/265 + -690/53. Which is small