= 219 + -220. Which is smaller: r or s?
s
Let v(n) = -n**2 + 16*n - 15. Suppose -6*b + 7*b - 15 = 0. Let l be v(b). Let d = 8 + -5. Which is smaller: d or l?
l
Let y(b) = -4*b**3 + 3*b**2 + 2*b + 1. Let q(o) = -5*o**3 + 3*o**2 + 3*o + 2. Let f(j) = 3*q(j) - 4*y(j). Let d be f(2). Which is smaller: d or -14/11?
-14/11
Suppose -3*u + 6*u = -6. Let g be ((-9)/u)/(2/8). Let i = g - 11. Is -1 greater than i?
False
Let i = 96 + -93. Which is bigger: i or 26?
26
Suppose -13*v + 2 = -11*v. Let l be (v - (-10)/(-4))*2 - -8. Is -1 at least l?
False
Let f(c) = -c**3 + 7*c**2 + 8*c - 9. Let k(a) = -2*a**3 + 14*a**2 + 16*a - 18. Let o(h) = 5*f(h) - 2*k(h). Let z be o(8). Do -9 and z have the same value?
True
Let s(b) = -2*b**3 - 15*b**2 + 21*b - 5. Let y be s(-6). Are -240 and y non-equal?
True
Let b(a) = -a**2 + 19*a + 272. Let o be b(29). Let q be 2/7 + (-270)/14. Which is greater: q or o?
o
Let y(s) = s**3 + 6*s**2 - 13. Let z(w) = -8*w**2 + 2. Let h be z(1). Let a be y(h). Which is smaller: -12 or a?
a
Let l be 80/(-120) - 193/39. Is -7 at least as big as l?
False
Let q be (-2)/4 + 1 - 0. Let t be (-278)/(-8) + 7/28. Let p = t - 33. Does p = q?
False
Suppose 5*p + 4*g - 35 = 0, -4*p + 3*p + 31 = -4*g. Let u be p/((-231)/6) + (-34)/(-70). Which is smaller: -4/9 or u?
-4/9
Suppose -1 = -2*p + 5. Let z(f) = -f**2 - f. Let b(g) = -g**3 - 4*g**2 + 7*g + 22. Let o(c) = b(c) + 5*z(c). Let h be o(-9). Which is bigger: p or h?
h
Let a(p) = p**3 + 3*p**2 + 2*p. Let j be a(-2). Which is smaller: 1/37 or j?
j
Let d(b) = -6*b + 83. Let k(y) = 7*y - 23. Let s be k(6). Let x be d(s). Is 2/7 greater than x?
True
Let h(f) = f**2 - 12*f + 17. Suppose -3*b = 4*r - 38, 3*b - 12 = -2*r + 5*b. Let l be h(r). Let v be 2/6*l/(-10). Which is greater: 0 or v?
v
Let d(h) = -4*h + 1. Let p be d(4). Let i be (p/(-10))/(6/64). Suppose -o - i = -5*o. Which is smaller: 2/9 or o?
2/9
Let d(n) be the third derivative of n**6/40 - n**5/30 - n**4/24 + n**3/6 - 20*n**2. Let o be d(-2). Is -29 at least as big as o?
True
Let j be ((-6)/4)/(9/(-228)). Let q(n) = n**3 - 18*n**2 - 40*n + 38. Let o be q(20). Is o <= j?
True
Suppose 17*c - 7*c - 50 = 0. Suppose a + 0*j - 15 = 5*j, c*j = 2*a - 20. Which is bigger: a or 3?
a
Let o(y) = 0 + 7*y**2 + 3*y + 3 + y**3 - y**2. Let i be o(-5). Is i at least 14?
False
Let h be -2 - 3/(3/(-4)). Let y be 5*(h + 14/(-5)). Suppose 4*m + 3 - 20 = 5*i, 4*m + 8 = 0. Does y = i?
False
Suppose -438 = 29*g - 32*g. Is g at least 146?
True
Let k = -36 - -35.95. Let g = k - 1.95. Is 1 < g?
False
Let h = -16.65 - 0.35. Let g = h + 30. Is -1 smaller than g?
True
Let w = 6249227/689 + -9070. Do 1 and w have different values?
True
Suppose -3*t - 8 = -g - g, 2*g = -2*t - 2. Which is smaller: g or 3?
g
Let d be (-2)/(2 - 1192/595). Let u be 2/9 + d/(-45). Let s = u - -12. Is -1/19 > s?
True
Suppose -2*f - 2*f = 44. Let o = 21 - f. Which is smaller: 31 or o?
31
Suppose 4*g = 2*g + 4*i + 8, -i - 8 = -2*g. Which is greater: 6 or g?
6
Let c = 0.0561 - 0.2061. Are c and -0.5 nonequal?
True
Let z(f) = 5*f - 15. Let p be z(4). Suppose p*q = o + 29, 0*q - 5*q = -25. Is o at least -3?
False
Let b = 12 - 0. Suppose -i + 5 - 12 = 0. Let m be -2 + -1*b/i. Which is greater: m or 5?
5
Let u = -2 - -6. Let c = 3 - u. Let n = 0.5 + -2.5. Which is smaller: c or n?
n
Let q(z) be the third derivative of z**5/60 + z**4/3 - 2*z**3/3 + 12*z**2. Let a be q(-9). Which is smaller: a or 11/3?
11/3
Let t = -7051735/623 - -11319. Is -1 > t?
False
Let q be (16/(-18))/(-1)*21/(-42). Suppose 4*i + 5 = 1. Which is smaller: q or i?
i
Let s be 13/(-52)*(-1 - (-93)/45). Which is bigger: -2/13 or s?
-2/13
Suppose 0 = -u - 6 + 7. Which is smaller: u or 17/9?
u
Suppose 6 = -5*q + 11*q. Suppose -q = 4*p + 15. Let l = 12 - 61/5. Does p = l?
False
Let t = -1423/6 + 710/3. Is 4 != t?
True
Let h = -1072/5 + 215. Let u = 0.3 - 0.4. Are u and h equal?
False
Let w be (-5)/(-1) - (4 - (-1)/(-1)). Suppose -4*o = w*u + 2*u + 48, 2*o + 7 = -u. Which is smaller: -10 or u?
u
Let k be ((-12)/(-7))/(10/455). Suppose 0 = 4*p + 2*a - 116, a = 3*p - 2*a - k. Let j = p + -30. Which is greater: j or -0.2?
-0.2
Suppose j = -2*u + 48, -30*u = -5*j - 26*u + 184. Which is greater: 41 or j?
41
Let k = 589/159 + -2/53. Suppose -3*g + 14 + 1 = 0. Which is greater: g or k?
g
Let d = 103 - 103.06. Which is bigger: d or 31?
31
Let w(t) = -t**3 + t**2 + t - 2. Let c be w(3). Let a = c + 7. Suppose -4*o = y + 24 + 16, 5*y + 11 = o. Is a greater than o?
False
Let u be 14784/3570 - 2*2. Is u < 0?
False
Let s(v) = -2*v**2 - 109*v - 184. Let o be s(-53). Is -177/7 less than o?
True
Suppose 3 = 13*o - 10. Which is greater: -2/161 or o?
o
Let l be (11 - 8) + 74/2. Suppose 2*s = 4*w + l - 14, -3*w + s = 19. Let o be 1/w - (-8)/12. Which is greater: o or -0.2?
o
Suppose u + 0*u = 0. Let p be (-3)/15 - 81/(-5). Let i be 10/15 + p/(-78). Which is bigger: i or u?
i
Let w be (6/(-28))/((-156)/(-13) + -21). Is -1 <= w?
True
Suppose 2*y - 2*w + 0*w = -208, 0 = y - 3*w + 110. Let m = 102 + y. Let f = -0.1 - -0.17. Which is smaller: m or f?
f
Let b = -56 + 66. Let s = -5 - 4. Let p = s + b. Is 3/4 > p?
False
Suppose -2*p = -4*p - 40. Let h = p + 25. Is h <= 7?
True
Suppose -5*g + 17 = -143. Let n = 162/5 - g. Let h(m) = m**2 + 4*m + 2. Let j be h(-3). Which is bigger: n or j?
n
Let c(r) = -37*r**3 + 2*r**2 + 4*r + 2. Let g be c(-1). Which is smaller: 0.3 or g?
0.3
Let r be ((0/1)/(-3))/(-2). Let y(o) = -o**3 + 3*o**2 + 3*o - 4. Let m be y(3). Suppose 12 = -m*x + 7. Which is greater: x or r?
r
Let w(h) = h**2 + 14*h - 1. Let i be w(-14). Which is greater: i or -17?
i
Suppose 0 = m - 3*n, 5 = 2*m + 2*n - 3. Suppose 0 = m*v - 8*p + 3*p - 25, -5 = -3*v + p. Does v = -1/40?
False
Suppose 0 = 4*n - 15 + 3. Suppose 0 = n*t - 6*t + 120. Is 0 greater than t?
False
Let t be (-1497)/(-14) + (-3)/(-42). Is t less than or equal to 0.1?
False
Suppose -1 = -0*g - g. Let p = -150 - -115. Let x be 9/p + (-8)/(-20). Is g greater than x?
True
Let u = 6789/17 + -610097/1496. Let q = u + 75/8. Is q at most 0?
False
Let v = 4.47 - 3.6. Let y = v - -9.13. Is y equal to 0.6?
False
Suppose -3*k + 6 = 0, -5*k = 4*p - 0*k + 2. Let t = 34.25 + -5.25. Which is smaller: p or t?
p
Let z = 0.43 - 31.43. Which is smaller: -2/7 or z?
z
Suppose -5*a = -25, 2*i - 4*a = 6*i - 12. Let p = 6/7 + -113/42. Which is smaller: p or i?
i
Let z be 2/6*0 - -7. Is z > 4?
True
Let v be (-264)/112*(8/3 + -2). Which is bigger: v or -1?
-1
Let d = 0.55 + -13.55. Let x = -16 - d. Which is bigger: x or 9?
9
Let u = -30 + 35. Suppose -u*k - 486 = 4*v, 0 = 2*k - 3*v + 142 + 34. Is k at least as big as -2/5?
False
Let d(g) = -17*g**2 - g - 5. Let n(p) = -16*p**2 - p - 4. Let j(s) = -4*d(s) + 5*n(s). Let w be j(-1). Is w not equal to -12?
True
Let x = -47 + 55. Suppose -4*y + 3 = -13. Suppose 0 = y*p - 33 + 5. Which is smaller: p or x?
p
Let c = -256 + 241. Is c <= 0.5?
True
Let q be 2/(-11) - 844556/2189. Is q at most -388?
False
Suppose 35 = 12*f - 5*f. Let r be (-2)/(-10) + 4/f. Is 8/7 not equal to r?
True
Suppose 2*j - 75 = -j - 5*s, j = -3*s + 25. Let n be (5/j*0)/5. Which is smaller: 1/22 or n?
n
Suppose -3*f + 5*r = 11, 7*f - 4*f - 2*r - 1 = 0. Let m be ((-5)/(-10))/(f/30). Let w be (-8)/30 + 3/m. Are w and 4 unequal?
True
Let c be 2/((-6)/(-27))*42/378. Is -1/490 >= c?
False
Let j be (-18)/45 + (-1144)/(-10) + 0. Is 115 less than or equal to j?
False
Let f = 3252.97 - 3237. Let w = 39 - 23. Let g = f - w. Is -1 bigger than g?
False
Let m(t) = t**3 - 3*t**2 + t - 1. Let x be m(3). Let z = 69/3640 - 4/91. Let j = -21/40 - z. Is j at least x?
False
Let h = -721/12 + 60. Is h smaller than -1?
False
Let f be 2/496*309 + 35/(-28). Which is smaller: f or 1?
f
Let l(h) be the second derivative of -5*h**3/6 - 3*h**2 - 195*h. Suppose 0 = 5*b + 21 - 1. Let j be l(b). Which is bigger: j or -2/7?
j
Let x(q) = -q**2 - 6*q - 2. Suppose 0*s + 5 = -s. Let c be x(s). Suppose -4 = l - 0*l - 2*b, 2*l = -c*b + 13. Is 2 > l?
False
Let f(n) = n**3 + 2*n**2 - 25. Let y be f(0). Is y <= -49/2?
True
Suppose 28*f = -6506 + 1746. Which is bigger: f or -167?
-167
Let i be ((-160)/6)/1*-3. Let n be 129/4 + -4*5/i. Which is greater: n or 61/2?
n
Let l = -103 - -35. Let r = 8888 + -62689/7. Let m = l - r. Is 0 != m?
True
Let f = -0.8 