- 32. Which is bigger: b or i?
b
Let i(h) = 5*h + 76. Let a be i(-16). Let n be 6/a - 207/18. Is n at most -9?
True
Let d(w) = -w + 20. Let q be d(7). Let i = 115 + -102. Are q and i equal?
True
Suppose -5*i + 1 = 4*d, -6*d = -2*d + 4. Which is smaller: 2/389 or i?
2/389
Let b be (12/(-10))/((-34)/(-85)). Let k be (4 - -3) + 0*b/3. Which is smaller: k or 1?
1
Let q(h) = -18*h - 41. Let s be q(1). Are -59 and s non-equal?
False
Suppose 0 = -2*d - 4*b - 112, 5*b = 24*d - 22*d + 67. Is d equal to -47?
False
Suppose 0*i + 39 = g + 3*i, 5*i - 80 = -2*g. Let w = -44 + g. Is 1 bigger than w?
False
Suppose 6*z + 135 = 11*z. Is 27 at most as big as z?
True
Let l = -24 + 59. Let b = -29 + l. Which is greater: 3 or b?
b
Let t = 22 + -35. Let l = 30 + t. Let z = -15 + l. Is z bigger than -2?
True
Let r(m) = m**3 + 21*m**2 + 78*m + 167. Let k be r(-17). Suppose x = -4*i + 16, -2*x - 3*x - 3*i = -12. Let v be -8*((-2)/(-6) - x). Which is bigger: v or k?
v
Let i = -0.952 + 0.252. Which is smaller: -46 or i?
-46
Let x be 17/((-3315)/26) + (-52)/60. Suppose -4*g + 3*z - z = 50, 0 = 3*g + 4*z + 32. Let b be (1 - 2)/(2/g). Is x <= b?
True
Let f = -37/3 + 83/6. Let v = 4 + -4. Suppose 3*l + 0*l = v. Does f = l?
False
Suppose -4*r - 15 - 17 = 0. Let w = r - 25. Which is bigger: w or -1/4?
-1/4
Let l(y) = y**3 - 31*y**2 + 21*y + 107. Let k be l(30). Is k <= -163?
True
Let j = -2 + 2.1. Let g = -10.5 + 10. Let o = j - g. Is 2 < o?
False
Let v = -3499/3 - -1166. Which is bigger: v or 6.71?
6.71
Let y = 4758/3395 - 1/679. Suppose -6*p + p + 5 = -5*v, 5*p = -v - 1. Let z(t) = -2*t - 2. Let w be z(v). Is y greater than w?
True
Suppose 0 = o + 5*o - 204. Suppose -6*k + 4*b = -k - o, 0 = 2*k - 2*b - 14. Is 7 smaller than k?
False
Suppose -q - 9 = 2*q. Let j be (-1)/(-1) - 851/207. Which is smaller: j or q?
j
Let c(x) = 2*x**2 + 1. Let n be c(-3). Let q = 10 - n. Let v = -362 - -361. Which is smaller: v or q?
q
Let n = 0.338 - -450.662. Which is smaller: -0.1 or n?
-0.1
Suppose 4*w - 8 = -4*z, -2*z + 4 = -3*w + 2*w. Let i be ((-6)/105)/((-150)/70). Which is smaller: i or w?
w
Let r(s) = -s**2 + 3*s + 1. Let q(k) = 2*k**2 - 3*k + 6. Let j be q(6). Let u be 2/((-8)/j*-5). Let o be r(u). Which is smaller: -1/7 or o?
-1/7
Let n = 14 + -7. Let x be ((-7)/(-14))/((-1)/(-18)). Let r = x + -1. Which is bigger: n or r?
r
Suppose -5*k + 3155 = -4*q + 3*q, -2*k + 5*q = -1239. Suppose -h - 4*p = k, -5*p = -2*p + 12. Let m be 92/h + 4/14. Which is greater: m or 0?
m
Let s be (-2)/4 - 1 - 1. Let i(x) = x**2 - 12*x + 7. Suppose -7*d + 33 = -4*d. Let t be i(d). Is s at most as big as t?
False
Let n be (3/(-18))/(1/(-4 - -1)). Let h = 1 - 0.8. Is n at most as big as h?
False
Let k(w) = -w - 9. Let y be k(-11). Let v be (24/15 - y) + 344/10. Do 34 and v have different values?
False
Let x be (-2884)/30 + 22/165. Let z be (-27)/x*4/3. Let t(b) = b**2 - 4*b + 2. Let s be t(3). Is s != z?
True
Let f(l) = -133*l**3 + 2*l**2 - 1. Let h be f(1). Let u be ((-4)/h)/((-35)/6). Let m = u - 73/770. Which is smaller: 1 or m?
m
Let v be -16*(-9)/24*14/6. Which is greater: -22 or v?
v
Let z(h) = h**2 - 53*h - 42. Let j be z(53). Is -33 less than j?
False
Suppose -4 = 2*v - 0, -3*y + v = -5. Let r = -191759/139867 - -522/371. Let z = r - -3/91. Is y greater than or equal to z?
True
Let o = -0.121 - -0.121. Is o > 4?
False
Let p be 76/(-22) + 2/1. Let v be 3/(-30)*4 + 2/5. Is v <= p?
False
Let i be (-2013)/(-77) + (-2)/14. Let n = i - 27. Let k = -1.3 + -3.7. Is k > n?
False
Suppose -r + 3*r - 6 = -4*t, -4*r - 24 = -4*t. Let p(h) = 2*h + 2*h**t - 2*h - 5*h**2 - h**3 - 6 - 4*h. Let l be p(6). Is l equal to 7?
False
Let v = 471 + -472.89. Let i = v + 1.8. Let s = 3.09 + i. Which is greater: -0.1 or s?
s
Let m be (-27184)/1272 - 1/(-3). Let i = m + 21. Is i equal to 0?
False
Let c be 4/(-6) + (-98)/(-3). Suppose 17*z = 204 + 306. Which is smaller: c or z?
z
Let g = 0 - -1. Suppose 118 + 58 = 11*z. Let h be (g/17)/(56/z). Is h less than or equal to 1?
True
Suppose -25 = 3*s - 4. Let j(c) = -c**2 + 6*c + 16. Let h be j(8). Let a = -7 + h. Is s smaller than a?
False
Suppose -3*b + b - 2 = 0. Let d = 24 + -18. Suppose -3*c = 2*m + 15, -d*c - 21 = 5*m - 4*c. Are b and m non-equal?
True
Suppose 3*a - w - 6 = w, 5*w + 2 = a. Is a at least 11/10?
True
Let c = -5923/225 + 238/9. Let o = 2101 - 2100. Which is smaller: o or c?
c
Suppose -12 = -4*s - 0*s. Suppose -4*u + s*r + 17 = -3*u, 2*u + 10 = -5*r. Suppose u*a - 62 = d, 5*a + 4*d = 121 - 44. Is a >= 13?
True
Let h be 5/(-2)*(-3 - (-78)/30). Let t(m) be the first derivative of m**3/3 - 4*m**2 + 9*m + 2. Let s be t(7). Is s at most as big as h?
False
Let a(w) = -2*w**2 + w + 3. Let r be a(2). Let b = r + -6. Suppose 0 = 5*g + 35 + 15. Which is smaller: g or b?
g
Let w be (-16)/6*(0 - (-3051)/(-6)). Let t = w + -31193/23. Which is smaller: 0 or t?
t
Let j(i) = i**2 - i + 3. Let g be j(3). Suppose k = 5*o + 83, g*o + 272 = 4*k + 4*o. Let w be 12/20 - k/55. Which is bigger: w or -1?
w
Let s = 567/65 + -129/13. Which is smaller: -2 or s?
-2
Let f = 444 + -483. Which is greater: f or -41?
f
Suppose 4*c - 6 = 2. Let w = -6.1 - -9.1. Which is greater: c or w?
w
Let w = -1458 + 1056. Which is greater: -400 or w?
-400
Let t be ((-6)/(-124))/((-5)/(-4) + -1). Suppose 0 = 2*o, 2*o + 3 = g + 4. Is g >= t?
False
Let w = -26 - -37. Let n = -5 - -16.1. Let i = w - n. Is 6 at most as big as i?
False
Suppose -4*w = -w - 36. Suppose -3*s = -s + w. Let r = s + 5. Which is bigger: r or -1/3?
-1/3
Let a(i) = -i**3 + 4*i**2 + 3. Let c be a(4). Let j be (20/(-132) - (-2)/(-11))*c. Which is bigger: j or 6?
6
Suppose 140*b = 145*b + 480. Is b not equal to -93?
True
Let j(f) = 8*f - 36. Let w(y) = 9*y - 37. Let v(z) = 6*j(z) - 5*w(z). Let o be v(11). Suppose 1 = 3*r - 2*r. Is o less than or equal to r?
False
Let i = 11483 + -332959/29. Which is bigger: 3 or i?
3
Suppose 3*a + 2 = 8. Let x be (-1)/a*120/190. Is -1 at least as big as x?
False
Suppose -30*u + 36*u = -12. Is u < -11/9?
True
Let v(d) = -3*d**3 + 13*d**2 + 11*d + 3. Let m(n) = -n**3 + n**2 + n. Let j(o) = -4*m(o) + v(o). Let b be j(-8). Suppose -14 + 4 = -s. Is s >= b?
False
Suppose -p - p = -32. Let z(d) = -d**2 + 33*d - 47. Let f be z(31). Do p and f have the same value?
False
Let o be 6/27 + 129/27. Let g be -6 - ((-14)/5 - 19/95). Is g at most as big as o?
True
Suppose -2*m + l + 2 = -2, 4*l = -m + 11. Suppose -3*t = m*d - 4 + 1, 2*t = d + 2. Which is bigger: d or -1/5?
d
Let f = 27 - 27.44. Let n = f - 3.56. Which is bigger: n or 4?
4
Suppose -2*i + 3*m + 26 = -6*i, 0 = -2*i + 4*m - 24. Which is smaller: -3 or i?
i
Let b(z) = -20*z + 288. Let q be b(14). Let k(t) = 4*t - 2. Let y be k(2). Which is smaller: q or y?
y
Suppose -n - 4*s - 260 = 0, 3*s - 336 - 184 = 2*n. Which is smaller: -259 or n?
n
Let g = 5 - -6. Let h = 1.4 - 1.3. Let f = 0.9 + h. Is f not equal to g?
True
Suppose 0 = j + r + 17, 4*r + 44 = -5*j - 36. Suppose 0*d + 135 = 5*d. Let m = d - 38. Is j less than m?
True
Let f = -1/52 + -257/156. Is f <= -3?
False
Let g(f) = -f + 4. Let x be g(3). Let k be 4 + 1851/(-423) - x/(-3). Which is smaller: k or 0?
k
Let x = -35989/69160 - 8/1729. Is x at least as big as 1/3?
False
Let k(c) = -5*c + 3. Let y be k(0). Suppose 4*v = -2*n - 92, y*n + 95 - 5 = -4*v. Is v > -24?
False
Suppose 4*f = 3*f - 5. Let d(w) = -w**3 - 7*w**2 - 7*w - 5. Let h be d(f). Let a be (-8)/h*3/(-4). Which is greater: -1 or a?
a
Let k(v) be the second derivative of 2*v**3/3 - v**2/2 + v. Let d be k(1). Let m(c) = c**3 - 21*c**2 - 46*c + 4. Let i be m(23). Which is smaller: d or i?
d
Let i(x) = 42*x**2 + 34*x**2 - 10*x + 36*x**2 - 111*x**2 - 11. Let h = 21 - 10. Let g be i(h). Which is bigger: g or 1/8?
1/8
Suppose -2*z - 2*x = -7*x - 36, x = 5*z - 90. Suppose -3*o = -7*r + 3*r + 28, -2*o - z = -2*r. Is o >= -8?
True
Let g = 0.15 + -1.75. Let t be 1 + 49 - (0 + 2). Let o = t + -142/3. Are o and g equal?
False
Let p = -1860 - -13054/7. Let v = 246 - 246. Which is greater: v or p?
p
Let f(b) = b**2 + 2*b + 1. Let k be f(-2). Suppose -7*z - 146 - 4264 = 0. Let h = z + 15752/25. Which is smaller: h or k?
h
Let a = 170 - 177.7. Let q = 1.7 + a. Which is bigger: 2/5 or q?
2/5
Let j be (-13)/((-728)/(-16)) - 870/(-7). Is j less than or equal to 124?
Tru