 = b + 0.8. Let h = 24 - v. Which is bigger: h or -0.28?
-0.28
Suppose -22 - 1386 = -44*s. Suppose 0 = -3*o + 3, -2*g = -7*g + 2*o + 158. Does s = g?
True
Suppose 7*m - 16 = 3*m + 3*n, 0 = -m + 5*n + 4. Let t(r) = -3*r - 7. Let a be t(m). Let u = -7 - a. Is u at least as big as 11?
True
Let j = -137 + -26. Is j at least -166?
True
Suppose -q + 3*q = 3*z + 16, 0 = 2*q - z - 16. Let l = -69 - -115. Let j = l - 39. Which is bigger: q or j?
q
Let m = 0.0064 + -0.2064. Is m smaller than 28?
True
Suppose -2*p + 17*p - 90 = 0. Suppose 3*m - 3*b + p*b = 87, -m - 5*b + 25 = 0. Is 28 less than m?
True
Let u = -142738 - -2716945/19. Let p = 341 + -600. Let y = p + u. Which is smaller: y or -1?
-1
Let i(t) be the second derivative of -t**3/6 - 5*t**2 + 2*t. Let a be i(-5). Let z(j) = -j - 25. Let g be z(-21). Which is smaller: a or g?
a
Let h = 697/1085 - 27/35. Which is smaller: 2/11 or h?
h
Suppose f + 2*f + 285 = 0. Let m be ((-4)/(-5))/(38/f). Let k = -265/91 + 23/13. Is m bigger than k?
False
Let v be 54/(-7) + 6/(-21). Let a(c) = c**3 + 7*c**2 - 9*c - 4. Let x be a(v). Suppose n + x = -3*n. Which is smaller: -1/2 or n?
n
Suppose 6*z = 15*z - 9. Let x be (-56)/(-30) + (-2)/3. Are z and x unequal?
True
Let r(j) = j - 8. Let g be r(14). Let x = 13 - g. Suppose -x*l + 46 = -3*u - 3*l, 2*u = 3*l - 30. Is -18 smaller than u?
False
Let z = -120 + 108. Let i(l) = -2*l - 1. Let q be i(5). Is z greater than q?
False
Suppose 2*a + 21 = -5*b, 3*a = -a + 5*b + 33. Suppose 6 - 21 = -3*w. Suppose -2*i + w*y - 6 = 0, -4*i + 2 = -2*y - a. Is i bigger than 2?
False
Let z(o) = -o**3 + 6*o**2 + 23*o + 31. Let c be z(9). Is -3 equal to c?
False
Let i = -20.67 + 8.81. Which is smaller: 0.1 or i?
i
Let g = 3001/5 + -599. Let y(n) = -11*n + 12. Let l(b) = -4*b + 4. Let i(h) = -8*l(h) + 3*y(h). Let z be i(4). Which is bigger: g or z?
g
Let z = 8 + -10. Let j = 26 - 17. Is j less than z?
False
Let x(y) = 3*y**3 + 7*y**2 + 6*y + 1. Let h be x(-1). Does h = 14/31?
False
Let i = 309593/766 - 2425/6. Is 0 bigger than i?
False
Let k = -30 + 32.4. Let x = k - -10.6. Let s = 12.9 - x. Which is smaller: 0.07 or s?
s
Let v = -38 + 37.987. Let o = -0.033 - v. Is o < -3?
False
Let u = 26.4 - -5.6. Which is greater: 0.04 or u?
u
Let j = 14726 - 14713. Let z = 41 + -29. Which is bigger: z or j?
j
Let s = -39 + 41.1. Let t = s + -16.1. Let j = 12 + t. Do 2 and j have different values?
True
Let m = 36 - 29. Let f = -1 + m. Let j be (-1 - -2) + 1 + 4. Are f and j unequal?
False
Let q = -2/561 - -4364/187. Which is bigger: q or 22?
q
Let r = 6 + -9.1. Let x = -1610 - -1608. Which is greater: r or x?
x
Let j be 4*(245/(-20))/(-7). Suppose 0 = -5*x - 2*x - j. Let n = -3 + 2.8. Is n greater than x?
True
Suppose -h + 3 = c + 12, 4*h - 20 = 0. Let a = c - -18. Let l be a/(-6) + 8/12. Is l > 2/39?
False
Let u = -8776/87 + 134/87. Let i = u - -104. Suppose 3*v + 2*y = v + 2, y = -5*v + 25. Which is smaller: i or v?
i
Suppose -334 + 70 = 22*d. Which is smaller: d or 38?
d
Let q = 39.893 + 0.107. Let m = q - 65. Let i = -3 + 2. Is m < i?
True
Let p(t) = 3*t + 12. Let c be p(-5). Let q(f) = 11*f + 23. Let r be q(c). Is -9 greater than r?
True
Suppose -21*b + 2958 = -10251. Is 629 < b?
False
Let q = -88 - -96. Let j = q + -13. Is 3/7 < j?
False
Let g = -1628 + 1628.7. Is 15 bigger than g?
True
Let w(c) = 68 - 30*c**2 + 17*c**2 + 12*c**2 - 19 - 12*c. Let h be w(-15). Which is greater: -0.08 or h?
h
Let b be -21 - -22 - (-1)/332*-334. Which is smaller: b or 1?
b
Let g(k) = k**2 - 15*k + 18. Let h(c) = -c**2 + 7*c + 3. Let r be h(5). Let q be g(r). Is -15/2 at most as big as q?
False
Suppose -33 = 2*x + 5*r, -3*r - 44 = 3*x - r. Suppose -4 + 82 = -6*n. Are x and n unequal?
True
Suppose 3*o + 6*m - 436 = 11*m, -4*o = 5*m - 523. Is 134 < o?
True
Let b(f) = 140*f - 918. Let j be b(10). Do 483 and j have the same value?
False
Suppose -3*p = -4*t + 246 + 48, -2*t = 5*p - 134. Let x be ((-2)/33)/((-12)/t). Which is greater: x or 1?
1
Suppose 0 = -0*h - 2*h - 50294. Let b = 1760343/70 + h. Let m = b - 9/10. Is -1 != m?
True
Let w(i) = 4*i**2 + 9*i - 3. Let c be w(-5). Let u be (1 + c/8)*2. Which is smaller: u or 14?
14
Suppose -5*n = -i, -n = -0 - 2. Let v = i - 4. Suppose 0 = -v*w + 6 - 42. Which is smaller: -7 or w?
-7
Let t = 119 + -173. Is -54 at most t?
True
Let p = 117/27028 - -1/233. Which is smaller: p or -1?
-1
Let w = 2012 - 102616/51. Let r be (-6)/4*(-12)/18. Which is greater: r or w?
r
Let n be ((-15)/6)/(1/10). Let o = 29 + n. Which is bigger: 0 or o?
o
Let r be (20/50)/(-1 + (-18)/(-15)). Suppose 35 = -r*f - 35. Are f and 1 unequal?
True
Let q be 98/147 + 410/(-612). Which is smaller: -1 or q?
-1
Suppose -3*b = 4*l + 91, -3*b - 55 = 4*l - 9*l. Do -25 and b have different values?
False
Let q(u) = 12 + 4*u + 42 - 21. Let m be q(-16). Is -29 smaller than m?
False
Let f = 17.339 - -0.661. Which is smaller: -4/9 or f?
-4/9
Let l be (-17)/(-5) + -3 - 2/5. Suppose 5 + l = u + 2*a, -u + 2 = a. Suppose 4*n + 5 = 1. Is n bigger than u?
False
Let d = 1174 - 1156. Which is smaller: d or 10?
10
Let i(d) = d**2 + 14*d - 62. Let n be i(-18). Is 4 not equal to n?
True
Suppose -n = 4*o - 4*n + 76, -n = -o - 19. Is 2 less than or equal to o?
False
Let n be 15/410*52/1521. Is n less than 1?
True
Let w = -0.26 + 0.16. Let q = w - -0.2. Which is smaller: -2/9 or q?
-2/9
Suppose 62*p - 13140 = 71*p. Which is smaller: -1459 or p?
p
Let b = -33.479 - 0.021. Let k = 34 + b. Which is bigger: k or -1?
k
Let l = 4572.034 - 4572. Let y = 0.1 + -0.1. Which is bigger: l or y?
l
Let i be (-16)/(-12)*(-4862)/20. Let a = i - -324. Let d be 2 - (-11)/(-20)*16/4. Which is bigger: d or a?
a
Let q be 16/14 - (-49572)/357. Which is smaller: q or 142?
q
Suppose -3130 - 4888 = 38*b. Which is smaller: -212 or b?
-212
Let c be (-1 - -38) + (-18)/(-9). Let y be (1 - 5/7)/((-6)/c). Are y and -3 unequal?
True
Let v = 481 + -330. Let n = -133 + v. Which is greater: n or 16?
n
Suppose -11 = -2*m - 3*d, -4*m - 3*d + 2 = -d. Which is bigger: m or -9?
m
Suppose 3*m + m + 300 = 5*f, 0 = -2*f + m + 117. Let s be f/(-24) + -1*1*-3. Which is bigger: s or 19?
19
Suppose 4*z = -2*n + 64, 0 = -n - 5 + 1. Let l = z + -14. Which is smaller: 7 or l?
l
Let n = 50/11 - 89/22. Let z = 5 - 3. Let s be 6/(-9)*(-3)/z. Is s < n?
False
Suppose -5 = 4*g + s, 0 = -5*g + 8*g - 3*s. Is 1/965 at most as big as g?
False
Let p be (-78)/91*14/(-1). Let s = p - -4. Let w = s - 15. Which is greater: 2/21 or w?
w
Let p = -9076/29 - -313. Let d = p - 32/87. Is 0 bigger than d?
True
Let w = 622 - 623. Is w smaller than -8/33?
True
Let t = -29/64 - -4819/11200. Which is greater: -1 or t?
t
Suppose -23*b - 4 = 28*b + 47. Let d = 2 - 2. Is d at least as big as b?
True
Let n = 55.07 + 1.93. Which is bigger: 1/4 or n?
n
Let w be (-1 + 0)/(-2*5/20). Let g be 130/52*w*1/120. Which is smaller: g or -1?
-1
Let g(b) = 12*b. Let x be g(-1). Let d be (23/6)/(14/42). Let l = x + d. Which is bigger: l or -2?
l
Let d = 18.17 + -18. Let u = d - 0.97. Are u and 1 non-equal?
True
Suppose -a - 4*h = -0*a - 45, -5*h = a - 41. Let y(m) = 0*m**3 + m**3 - 16*m + a - 58 + 15*m**2. Let t be y(-16). Is 3 smaller than t?
False
Let x(c) = 13*c + 4. Let k be x(-3). Which is bigger: -36 or k?
k
Let k = -256 - -258. Which is smaller: k or 7?
k
Let a(m) = m**3 - m + 65. Let r be a(0). Which is greater: -2 or r?
r
Let c be 2/(-4) + 27/(-2). Let g be 5/7 + 4/c. Let a(p) = 142*p + 8947. Let b be a(-63). Which is greater: g or b?
b
Let o be 2/6 + 40/(-30). Let g(i) = -6*i + 1. Let w be g(o). Suppose 5*a = -9 + 24, -a = -r + w. Is r at most 8?
False
Let s be (526/(-10) - 1)/(105/1050). Is s greater than or equal to -536?
True
Let t be 0 + 0 + -2 - -5. Suppose 0 = r + r - t*r. Let y be (1/5)/((-8)/(-5)). Which is smaller: y or r?
r
Let i = -2.2 - -31.2. Which is greater: 1 or i?
i
Suppose 3*n = -0*n. Let s = 73 + -80. Let k be 10/s - 6/(-3). Which is bigger: k or n?
k
Let l = -0.03 - 0.77. Let u = -0.8 - l. Let o = 0.24 + 9.76. Is o != u?
True
Let r(w) = 2*w**2 - 28*w - 20. Let j be r(20). Is 219 greater than or equal to j?
False
Suppose 3*g = -3*l - 75, 4*l + 47 = -g - 38. Let f be 4/6 - 8*l/(-6). Is -24 at least as big as f?
True
Suppose 4 = p + 11. Let n be ((-22)/12)/(6*3/72). Which is bigger: n or p?
p
Le