31. Which is bigger: r or b?
r
Let j = -3 + 2.92. Let c = -12 - -12.02. Let t = c - j. Which is greater: t or -4?
t
Let z be 4 + -7 - 1986/(-742). Let o = 2/53 + z. Is 0.08 greater than o?
True
Let y be 8/30*(-75)/(-30). Which is smaller: y or 0?
0
Let b(m) = -m**3 + 15*m**2 + m - 16. Let n be b(15). Is n > 1/21?
False
Let m(y) = -6*y**2 + 1. Suppose -3*x - 3 = -0*x. Let q be m(x). Let r = q + 10. Which is smaller: 4 or r?
4
Let i be (7/63)/((-2)/12). Which is smaller: i or -17?
-17
Suppose 3 = 2*t + 3*o - 2, -5*t + 6 = o. Let i be 97/3 - (-4 - -1). Let l = -35 + i. Which is smaller: t or l?
l
Let j = -7 + 5. Suppose -5*p - 3*w - 3 = -4, 0 = -2*p + 2*w - 6. Let s be (-2 + 2 - p)*1. Is s smaller than j?
False
Suppose -5*r + 4*i + 35 = 2*i, 0 = r + 4*i + 15. Let j = r + 1. Let k be (-1 + 2/3)*45/(-3). Which is smaller: k or j?
k
Let a = -41 + 40. Is -2/29 not equal to a?
True
Suppose -18 = -4*p - 3*x - 2, -5*p - 3*x + 20 = 0. Suppose -8*s + 3*r + 3 = -4*s, 5*r = 2*s - 5. Suppose 5*j - 40 = 4*m, 2*j + s*m - 4*m - 28 = 0. Is j > p?
False
Suppose 5*v = 6 + 4. Suppose v*g + 2 = -0. Let t = -73/35 + 16/7. Is g at most t?
True
Let a = -23 - -22. Suppose 3*r = 2*r - 1. Is r > a?
False
Let u be (0 - 2) + (0 + 0 - -2). Let i(m) = m**3 - 4*m**2 + 2*m + 1. Let d be i(3). Which is greater: u or d?
u
Let n(d) = -d. Let b be n(-2). Suppose 4 = 4*p - f - 0*f, -b*f - 8 = 5*p. Which is bigger: 1 or p?
1
Let t = -11 - -12. Which is smaller: t or -9?
-9
Let o be 16/(-6)*45/(-30). Suppose o - 2 = -2*g. Which is greater: g or 1/6?
1/6
Let g be 0 - (2*2 + -1 + -2). Which is smaller: 1/3 or g?
g
Let y be (-1)/4*4/(-3). Which is smaller: y or 8?
y
Suppose -6*h - 79 + 79 = 0. Are -3/10 and h unequal?
True
Let a = 1.8 + 6.2. Let g = a + -8.4. Is 0 smaller than g?
False
Suppose 4*k = 3*m - 3, 2*m - m - 1 = 4*k. Is m at least 9?
False
Let r = -22/65 - -20/13. Let j(f) = 7*f - 1. Let l be j(1). Suppose 0 = l*t - 3*t. Which is smaller: r or t?
t
Let w be -13 + (4 - 3)/1. Is w less than -11?
True
Let t = 371/6 - 62. Suppose 6 = -4*g - 4*f + 2*f, -4*g - 9 = 3*f. Is t greater than g?
False
Suppose -5*t = 4*n + 26, 4*n = -0*n - 2*t - 20. Suppose -42 = -3*o + 2*o + 4*p, 3*p = 3*o - 108. Suppose 5*x - 4*m - 2 = -o, 3*x - 3*m = -21. Is x >= n?
True
Let r be 5/(25/(-15)) - 36/(-7). Is 1 >= r?
False
Let t be (-1 + (-48)/(-15))*5. Let c be 1/(-3)*1*-6. Suppose -5*p + i = -2, c*p - t = 3*p - 4*i. Is -3/7 at most as big as p?
True
Let y be 4284/(-330) + 2/11. Let d = -193/10 - y. Which is greater: -7 or d?
d
Let b = -99 + 102. Let f = -11/6 - -155/78. Is b at most as big as f?
False
Suppose 7*m = 3*m + 32. Let v(n) = 11*n**2 - 1. Let z be v(1). Which is smaller: z or m?
m
Let l(x) = -x**2 + 2*x + 5. Let j be l(4). Let g(p) = -2*p**3 + p + 3*p**3 - 2*p - 5 + 1. Let n be g(0). Which is smaller: n or j?
n
Let j(t) = t**2 + 28*t + 18. Let r be j(-28). Which is smaller: 16 or r?
16
Suppose 3*y - 4*g = -9*g - 20, y - 3*g = 12. Let r = y + 0. Does 1 = r?
False
Let y = 1.3 - 0.3. Is -5/6 greater than y?
False
Let d be ((-9)/(-5))/(4/20). Is d greater than 10?
False
Let k = 329 - 321.96. Let x = -7 + k. Which is smaller: 2/3 or x?
x
Let p(q) = -q**2 + 22*q + 21. Let w be p(25). Is -55 < w?
True
Suppose 0 = z - 2*r + 5, 5*z - 14 = -4*r + 3. Which is bigger: -0.2 or z?
z
Suppose -2*h + 4 = 4*w, -6 = -2*w - w. Is -1 at least h?
True
Let u be (-182)/21 - (-1)/(-3). Let f be 21/(-45) + (-6)/u. Which is smaller: -1 or f?
-1
Let s(t) be the third derivative of -1/24*t**4 + 0*t - 2/3*t**3 + 0 - 2*t**2. Let v be s(-3). Is -2 bigger than v?
False
Suppose -3*x = 15 - 3. Let r = 7 + -5. Suppose 2*m + 21 = -5*w, -2*w - 10 - r = 2*m. Is x greater than w?
False
Let p = 8.8 + -6. Let r = -3 + p. Let a = r - -0.2. Is a at least 0.2?
False
Let t(l) = -l**2. Let j(v) = v**3 - 3*v**2 + v. Let s be j(3). Let y be t(s). Which is smaller: y or -8?
y
Suppose -28 - 20 = -3*y. Which is greater: y or 15?
y
Let h = 1365/2 + -705. Let z = h + 22. Is z at most as big as 0?
True
Let g be 2/5 - (-11408)/(-30). Let p = 380 + g. Is p greater than or equal to 1?
False
Let p(m) = -m**2 + 10*m - 24. Let n be p(7). Is -3 smaller than n?
False
Suppose -u = -4*u - 51. Is -18 <= u?
True
Let x be -7 + (-8 - -19) - 18/4. Is x less than -5?
False
Let s(u) = 6*u**2 + 2*u - 1. Let q be s(1). Let p(x) = x - 6. Let k be p(q). Suppose -11 = 3*y - 4*z, 0 = 3*z + k - 7. Is 3/8 at least y?
True
Let b = -0.2 - -0.2. Let p = 0.26 - 16.26. Let f = p + 16. Is f not equal to b?
False
Let u = -0.25 - 8.75. Which is smaller: u or 1?
u
Let q be (8/(-6))/((-1)/3). Suppose 2*b - 22 = -q*d - 0*d, 21 = 2*d + 3*b. Let z = -4 + d. Which is bigger: -1/13 or z?
-1/13
Let f be 1/55*(19 - 0). Let g = -3/55 - f. Let j = -15 + 15. Which is bigger: j or g?
j
Suppose 3*i - 3*t - 39 = 0, -4*i + 36 = -0*t + 4*t. Let q = i + -8. Let o be (6/2)/(-1)*q. Which is greater: -10 or o?
o
Let w = -581/904 + 2/113. Let l be -2 - (1/8 + -2). Let b = l - w. Is b > 0?
True
Let d = 9 - 12.4. Let r = d + 4. Let s = 0.8 - r. Which is smaller: -2 or s?
-2
Let x(u) = u + 5. Let r = 11 - 11. Suppose r = -h - 3 - 7. Let s be x(h). Are -5 and s unequal?
False
Suppose -g - 1 + 4 = 0. Suppose 3 = 3*v - g. Suppose j + 10 = 11. Which is greater: j or v?
v
Let z(n) = -n**2 + n + 1. Let t = 3 + -5. Let y be z(t). Let o = y - -4. Is 2/9 at least as big as o?
True
Let y be 4/18 + (-266)/63. Let m be 4/4*(y - -3). Is 3 <= m?
False
Let r = -4 + 6. Let b be (-4)/r - (-6)/2. Let o = -0.5 + 0.3. Is o smaller than b?
True
Let n(i) = 3*i**2 + 4 - 2*i**2 + 1 + 7*i. Let r(h) = h**3 - 5*h**2 + 3*h. Let q be r(2). Let k be n(q). Which is smaller: k or -2/11?
k
Let w = 1 + -2. Let c = 35 + -50. Which is bigger: w or c?
w
Let c = 0 + 0. Suppose 3 = 5*f - 2*j, 5*f - 5 = -5*j + 5. Suppose 0 = -y - f. Which is smaller: c or y?
y
Let a = -760 + 97281/128. Is a less than or equal to -1?
False
Let d be (-38)/3*(-3)/(-2). Let u = d + 77/4. Which is bigger: 2 or u?
2
Let n = -15 - -25. Let y be (-6 - 3) + (1 - -1). Let v = y + n. Is 1 at most v?
True
Suppose 0 = d + 19*d - 380. Which is greater: 24 or d?
24
Let c = 4 - 15. Let h = 11.1 + c. Let i = h + 0.1. Which is bigger: -0.2 or i?
i
Let q(k) = k**2 - 3*k - 23. Let c be q(6). Which is greater: 3 or c?
3
Let m be 2/(-10) + (-11)/(-5). Suppose 0 = 3*p - 4*p + 3. Which is smaller: p or m?
m
Let h(w) = -w + 47. Let f be h(23). Are 24 and f non-equal?
False
Let k = -58 - -291/5. Let x be 0/((0 - 0) + 1). Let v = x + 0. Which is bigger: v or k?
k
Suppose 2*b + 0 = -n - 1, 5*n = -5*b + 5. Is b >= -2/7?
False
Suppose 7 = 4*y - 3*h + 6*h, h - 6 = -5*y. Suppose -c + 4 = -y. Do c and 5 have the same value?
True
Suppose 0 = -c + 2*b - 2 + 6, 3*c - b = 2. Suppose c = 5*p - 23 + 8. Let n be -2 - (-3)/(p/4). Is 2/3 at most n?
True
Let q(y) = -y**2 - 7*y + 5. Let a be q(-7). Let c = -9 - -3. Let b = a + c. Is -1 less than b?
False
Let n be (-10)/3*(-12)/5. Suppose 5*d - n*d + 6 = 0. Which is bigger: -1 or d?
d
Let a(y) = -y - 8. Let b be a(-7). Is -4/5 > b?
True
Suppose t = -k - 2*t + 10, 3*k + t = 6. Suppose -3 = -2*a + 5. Let y be 1/2 - 2/a. Is y >= k?
False
Let j be ((4 - 2) + 0)*4. Suppose -3*g + j = -4. Which is bigger: g or 2?
g
Let n be 10/(-40) + 46/56. Let z = -185786/1309 - -2400/17. Let u = n + z. Are -1 and u nonequal?
True
Let r = -548/3 + 190. Let i = 97/12 - r. Which is smaller: i or 2?
i
Let w be -10*(2 - (-42)/(-15)). Let j be 1/(-4) + (-30)/w. Suppose -r + 2*v + 3 = 0, -3*r + 0 - 6 = -v. Are j and r equal?
False
Let j = 3 - 1. Let v be -1 + 0 - (j + -2). Is -1 smaller than v?
False
Let v be 46/(-14) + 4/14. Let d be 2/v*6/(-4). Which is smaller: d or 2/7?
2/7
Let n = 1 - 10. Which is greater: -37/4 or n?
n
Suppose -5*l - 35 = -5*t, -t + 40 = -2*l - 2*l. Let z be 8/(-12) - l/3. Which is bigger: z or -0.1?
z
Let z be (1 + 2/(-4))*0. Suppose y - 10 = 6*y. Let s = -5 - y. Is s less than z?
True
Let p = 43 + -24. Suppose -5*i + 3*n + p = -30, 5*n = 3*i - 39. Is 8 >= i?
True
Suppose -2*k - 3*x - 12 = 27, -13 = -k + 5*x. Let r be k/4 - (1 + 1). Which is greater: r or -3?
-3
Suppose -2*d - 5 = -11. Let c be -4 + 8/5 + d. Is c greater than 0.3?
True
Let y = -7.2 + 7.4. Which is smaller: -2/9 or y?
-2/9
Let q be 50/135*(-2 - 13/(-5)). Let n(g) be the third derivative o