(2). Is b smaller than h?
True
Let i = -0.12 - 0.08. Which is bigger: i or -1/3?
i
Let s be (-250)/65*((-8)/10)/2. Is s < 1?
False
Suppose -2*o + 6 = -4. Suppose 3*n = 9, 3*b - 20 = -o*n - 2. Which is smaller: b or -3/10?
-3/10
Let u = -76497877/448 + 170754. Let i = u + 3/64. Is 0.1 greater than or equal to i?
True
Let w = 34 + -11. Which is greater: w or 24?
24
Let w be 1/(-4) + 5/4. Let v be 512/240 - 2*1. Are w and v equal?
False
Suppose 7*n - 4*n = -4*g + 20, 10 = 2*g. Let i = -9/5 + 7/5. Is i greater than or equal to n?
False
Let k = -2/385 + -4/77. Which is smaller: -1 or k?
-1
Let f = -175 + 1229/7. Which is smaller: 2 or f?
f
Let y(n) = n**3 + 4*n**2 + 2*n - 2. Let m be y(-3). Let a = 49/366 + 2/61. Are a and m equal?
False
Let n be -4*(2 - 4/(-4)). Is -13 less than or equal to n?
True
Let j = -1202/7 - -172. Is -1/5 at least as big as j?
False
Let t = -2/49 - -2603/147. Which is greater: 18 or t?
18
Suppose -4*s + 5*v = 61, 5*s - v + 74 = 3*v. Which is smaller: s or -18?
-18
Suppose 0 = 5*l - 10 + 140. Let w = l + 18. Which is smaller: -7 or w?
w
Let t = 1 + 2. Let l = -12 + 8. Let n = l + t. Is 0 > n?
True
Let q(n) = n**3 - 8*n**2 + n - 7. Let s be q(8). Is s not equal to -2?
True
Let z be (-1)/1 - 23/3. Let v = -8 - z. Which is smaller: 2 or v?
v
Let z = 4.4 - 1.4. Let p = z - 6. Let l = 4 - 4. Which is greater: l or p?
l
Let o = -18.83 - -19. Which is smaller: o or -1?
-1
Let x = -3 - -6. Suppose 0*b = 2*b + x*d + 9, d = -2*b - 3. Are 1 and b non-equal?
True
Suppose -6*m = -2*m + 52. Let b = 12 + m. Is -1 at least b?
True
Let o = 14/115 - 35/23. Is o < -1/2?
True
Suppose 5*x = -y - 43, -2*y + 3*y + 3 = 0. Which is greater: -9 or x?
x
Let a(d) = 3*d - 8. Let x be a(4). Is x at least as big as 4?
True
Let d be -4*(-1 - 3/6). Suppose f + 4*f = -4*g - 12, -g + f + d = 0. Suppose -2*x - 1 = -a, 5*x + a - 9 = -1. Which is smaller: g or x?
x
Let v = -22 - -87/4. Which is bigger: -11 or v?
v
Suppose -6 = -5*o + k, 3*o + k - 12 = -o. Let h be (2/(-4))/(o/4). Which is bigger: -1/3 or h?
-1/3
Let d be ((-34)/20 + 2)/6. Do d and -1 have different values?
True
Let o be (-9)/(-48)*4*72 + -2. Is o at most 52?
True
Let b = 71.4 - 65. Let v = 6 - b. Is 2/7 greater than or equal to v?
True
Let k = -10.1 + 11. Let d = 1.2 - k. Which is smaller: d or -0.4?
-0.4
Let m be 1 - 3 - 14/(-7). Suppose -5*p + 22 = -0*p - 4*f, -3*p - 3*f - 3 = 0. Which is smaller: p or m?
m
Let w be (4/10)/((-1)/(-30)). Suppose 5 - w = s. Is s > -6?
False
Let d be ((-18)/45)/(3 + -1). Is -2 at most as big as d?
True
Let v = -146056 - -41625883/285. Let p = -4/57 - v. Suppose 2*a = 3 - 1. Is p less than or equal to a?
True
Let r(v) = v + 2. Let z be r(2). Let p = 7 - 11. Let i = z + p. Is -2/15 at least as big as i?
False
Let r = 5 + -11. Which is smaller: r or -7?
-7
Let d(f) = f**3 + 5*f**2 - 5*f + 7. Let p = -9 + 4. Let z be p + (-2 - 0) + 1. Let i be d(z). Which is smaller: 0 or i?
0
Let a = -417/7 - -60. Which is smaller: a or -0.6?
-0.6
Suppose -2*f = 2*h + h + 32, -3*h - 12 = -3*f. Let i = h - -6. Is i smaller than 5?
True
Suppose 0 = -10*c + 7*c - 21. Which is smaller: c or 10?
c
Suppose 4*g - 5*g = 0. Let z be 6/(-20) + 1/2. Is g at least as big as z?
False
Let a = -1.6 + 3.6. Which is smaller: a or -5?
-5
Let t = -2.5 - -0.8. Let c = 0.3 - t. Let f = 0 + c. Which is greater: f or -0.2?
f
Let m(y) be the third derivative of -y**4/24 - 3*y**3/2 - 2*y**2. Let h be m(-11). Which is bigger: 6 or h?
6
Let c be (-9)/(-6) - (1 - 6/12). Let u be ((-1)/(-2))/(1 + -3). Is u at most as big as c?
True
Suppose -6 + 31 = 5*j + 5*w, 4*j = 5*w - 16. Is j greater than or equal to -12/25?
True
Let z be (-2)/(-6) + ((-1911)/(-873))/(-7). Is z greater than 0?
True
Suppose 6*u - 22 = 68. Let v be (-5)/(-23)*(-6)/u. Which is greater: -1 or v?
v
Let o = 81 - 250/3. Which is smaller: o or -3?
-3
Suppose -u - u = -10. Suppose 3*m - a + 8 = 0, 4*a - 20 = u*m + a. Are m and -2/31 equal?
False
Let h = 2 - 2.2. Let x = 6 + -7. Let g be (-2 - x)/(-4 + -1). Which is smaller: g or h?
h
Suppose -3 + 2 = k. Which is greater: k or 1/29?
1/29
Let l be (-1 - 0)*(-351871)/(-28). Let q = l - -12565. Let j = q + 11/7. Are -2/5 and j non-equal?
True
Suppose -4*g + 2*z = 34, 5*z = 2*z + 9. Is g < -4?
True
Let h = -9 + 28/3. Let o = -9 - -10. Suppose -3*y + f = o, 3*y - 4*f = -5 + 1. Are h and y equal?
False
Suppose 0 = -5*x + 2*i - 0*i + 21, 0 = 2*x - 5*i. Let b be 1 + ((-315)/(-4))/x. Let h = 17 - b. Which is smaller: h or 1?
h
Suppose 4*c + 5 = r, -4*c = 3*r - 0*r + 17. Suppose 3*x = -0*a + 3*a + 21, 5*x + 55 = -4*a. Let d = a + 7. Is r at least as big as d?
True
Let d be (-5)/((-125)/(-48)) - -2. Suppose -5*k - 2 = -4*k. Let x be 0 + k + (-6)/(-3). Which is bigger: x or d?
d
Let r = -61 - -67. Which is greater: 20/3 or r?
20/3
Suppose -2*r + 2 = -8. Suppose 3*j - 5 = -j + 5*n, 0 = 4*j + 2*n - 26. Is j less than r?
False
Let g = 25.4 - 23. Let i = g + -2.3. Is 0 <= i?
True
Suppose -5*h = -2*o + 8, 0*h - h + 2*o = 8. Suppose m - 3 = -h. Let k = 0 - -4. Is m < k?
True
Let q = 3.2 - -7. Let k = 10 - q. Is k != 1/3?
True
Let y = -6.96 - 0.04. Let a = 10 + y. Let v = 0.1 + 0. Which is greater: a or v?
a
Let k = -1.9 + 1.8. Which is smaller: 1.1 or k?
k
Let k = -10.1 + -1.9. Let b = 7 + k. Which is greater: 2 or b?
2
Let w(c) = -c**3 - 5*c**2 + 10*c + 31. Let d be w(-6). Are 6/7 and d equal?
False
Suppose 0 = 3*x + 4*a + 14, 4*a + 11 = -x - 7. Is 2 < x?
False
Let h = 57/277 - -7285/14404. Let s = 5596/13 - 430. Let f = h - s. Do -1 and f have different values?
True
Let r = -23 + 23.3. Which is greater: r or -0.1?
r
Let b(d) = d**3 + d**2 + 2*d + 3. Let i be b(-2). Is i != 3?
True
Let o = 17/16 - 87/112. Let i(q) = q**3 + 2*q**2 + q + 1. Let j be i(-2). Which is smaller: o or j?
j
Suppose 0 = -3*k - 2*k - 375. Do k and -76 have the same value?
False
Let d be 2 + (-9)/(-6)*-4. Let i = 23 + -26. Is i greater than d?
True
Let f be (2/(-2))/(0 + 1). Let k = f - -4. Suppose -i + k*w = -2*i + 12, -4*w = 3*i - 11. Which is bigger: i or -5?
i
Suppose 3*p + 14 = -u - 0*p, 2*u - 2*p - 4 = 0. Which is smaller: u or -1?
u
Suppose 585*o - 589*o = 0. Suppose -d + 3*d = 6. Let n be d/4*(-6)/9. Is n greater than or equal to o?
False
Suppose 12*w = 4*w - 88. Is w at least -11?
True
Suppose -8 = 3*p - 68. Let n = -18 + p. Let b(d) = -d**2 + 5*d. Let v be b(5). Which is smaller: n or v?
v
Let r = -51 - -44. Are r and -7 non-equal?
False
Suppose 3*f = 7*f. Let s be 0*(1 + (-3)/2). Suppose -3*u + 2*u - 3 = s. Is u at least as big as f?
False
Let i be 2/(-2) + (-24498)/153. Let z = 161 + i. Which is smaller: -1 or z?
-1
Suppose 0 = -p - a + 12 + 9, -2*p + 5*a = -28. Is p at most 19?
True
Let s = -11 - -10. Let r be (3 + -1)*(0 - s). Suppose g + r = -0. Which is bigger: -1 or g?
-1
Let x be (2/28)/(0 + (-2)/(-4)). Which is greater: -0.8 or x?
x
Let c(n) = 2*n**2 + 6*n + 10. Let m be c(-7). Let a be 14/(-77) - (-23)/m. Which is smaller: 1 or a?
a
Let p be 8/(-26)*(-4)/8. Is p >= -1?
True
Suppose -5*k = -3*k + m - 6, m = -4*k + 8. Which is bigger: -5 or k?
k
Let m be 42/(-55) - (-4)/10. Suppose -23 = -4*v - 3*h, 2*v - 2*h + 0*h - 8 = 0. Suppose v*z = 2*l - 0*l, 0 = 5*l. Which is bigger: z or m?
z
Let v = 4 - 5. Which is smaller: v or -36?
-36
Let u be 3 + 1 + -2 - -14. Are u and 15 nonequal?
True
Let g = 13 - 13.1. Which is bigger: 1 or g?
1
Suppose 10*d - 17 = 27*d. Let b be (-2)/8 - 2/(-24). Which is greater: b or d?
b
Let h be (-2)/(-5) + (-3)/(-5). Let r be 24/8*h/3. Is 2 > r?
True
Let i = -34 + 33. Which is smaller: i or -1/11?
i
Let r be -1 - (0 - 1)*3. Let i be 4/8*(r + -3). Which is smaller: 0 or i?
i
Let w = 0.78 - -34.22. Is -1 bigger than w?
False
Let d(p) = -p**2 + 7*p - 3. Let i be d(6). Is i at most as big as -2/9?
False
Let h be ((-65)/10 - -2)*(-2)/21. Which is greater: h or 1?
1
Let m = 3 - -14. Are m and 15 equal?
False
Let b(c) = -2*c - 16. Let t be b(-5). Are t and -7 equal?
False
Let o(m) = m**2 + 9*m + 8. Let t(a) = a**3 - 4*a**2 + a - 2. Let z be t(3). Let b be o(z). Are b and 1 non-equal?
True
Let m be 1*(2/4)/(9/(-18)). Let k = -2139/440 + 13/55. Let s = k + 25/8. Which is smaller: m or s?
s
Let w(x) = x**3 + 8*x**2 + 8*x + 1. Let s be w(-7). Let o = 6 + s. Which is smaller: o or -1/2?
-1/2
Let w be (-28)/3*(