ch is bigger: 0 or b?
b
Let a = 0 + 0.1. Which is bigger: a or 18/5?
18/5
Let h(n) = n**3 - 8*n**2 + 6*n + 9. Let a(m) = -m**3 - 6*m**2 - 6*m + 2. Let y be a(-5). Let t be h(y). Let r be 8/3 - 1*t. Which is bigger: 0.1 or r?
r
Let b(v) = -v**3 + 4*v**2 - 3*v + 3. Let c be b(2). Let f = 10 + -4. Let x = c - f. Is -1/7 smaller than x?
False
Let a = 9.6 - 12.6. Which is bigger: -7 or a?
a
Suppose -26 = -2*j - 82. Is j bigger than -29?
True
Let a(l) = l**3 - l**2 - l + 2. Let q be a(0). Suppose 0 = -u - q, 4*n - u + 2*u = 22. Is n less than or equal to 5?
False
Suppose -4*m + 130 = 3*t, 58 = m - t + 22. Which is smaller: 33 or m?
33
Let i = -24 + -6. Which is bigger: i or 1?
1
Let f = 18.8 + -18. Let w = -0.5 + f. Which is bigger: w or -3?
w
Let q be ((-2)/3)/(2/(-6)). Suppose -4*l + 5 + 3 = 0. Suppose 1 + 1 = l*b. Which is bigger: b or q?
q
Let g be (4/(-10))/((-1)/(-5)). Suppose -5*r - 3*m + 2*m - 25 = 0, 0 = 5*r + 2*m + 30. Which is bigger: g or r?
g
Let u = -37 - -40. Is u not equal to -1/15?
True
Let p = -0.1 + -0.9. Let y = -1.1 - p. Let r = -2 + 4. Which is smaller: r or y?
y
Let v(a) = 2*a**3 - 4*a**2 + 9*a + 2. Let z(k) = -k**3 - k + 1. Let o(m) = v(m) + 3*z(m). Let h be o(-5). Is h greater than or equal to -1?
True
Let j = -47.9 + 48. Which is smaller: j or -17?
-17
Suppose 2*h = -h + 24. Suppose 2*a - 4*a = 5*v - 35, 2*a = 2*v. Which is greater: h or v?
h
Let h = -8.9 - -9. Which is smaller: h or -15?
-15
Let m(p) = -p**3 - 5*p**2 + 5*p + 6. Let i be m(-6). Suppose 0 = 3*t + 4*l - 25, -2*t - 5*l + 14 = 2. Which is bigger: t or i?
i
Let p be ((-6)/48)/(3/18). Is -1/2 less than or equal to p?
False
Let q = 128 + -126. Let t(r) = r**2 + 1. Let a be t(1). Is q >= a?
True
Suppose 0 = 3*d - d - 2. Let q = -1256/11 + 114. Does d = q?
False
Let q be -1*(1 - -3) + (-166 - 3). Which is bigger: -172 or q?
-172
Suppose 0 = 2*r - 3*k - 14, 0*r + k - 2 = -r. Is 5 at most r?
False
Let u be 1/(-3) + 20/6. Let k(o) = o**2 - 22*o + 42. Let f be k(2). Which is smaller: f or u?
f
Suppose -5*h = 10 - 0. Let m(n) = -n**3 + 2*n**2 + 2*n - 1. Let b be m(3). Let x = b - h. Is x at least -2?
True
Suppose 15 = 4*p + 4*a - 45, 4*a + 66 = 5*p. Suppose 2*y - 4*y - p = -4*t, -5*y - 11 = -2*t. Are -2 and y unequal?
True
Let n = 0.63 - 0.6. Is 2 at most as big as n?
False
Suppose 0 = 2*r + r + 12. Let m be (-28)/(-16)*r/5. Which is greater: m or -2?
m
Let m(a) = a**2 - 6*a + 2. Let c be m(6). Suppose -1 + c = k. Let s be (2 + (2 - 4))/1. Is s equal to k?
False
Let t be ((-2)/(-15))/(1/(-5)). Is t >= 1?
False
Suppose -4*n = 0, -5*n = -3*o - o - 4. Let a be -1 - (-3)/((-42)/(-3464)). Let k = a + -247. Which is smaller: o or k?
o
Let d be 2/(-3) + 272/(-51). Suppose -4*k + 2 - 26 = 0. Is k != d?
False
Let d = -19 - -18. Which is smaller: 2/5 or d?
d
Suppose -7*t + 8*t = 6. Suppose 2*u + u - t = 0. Is 1 less than u?
True
Let f = -3.1 - -3. Let d = 17.36 + -0.36. Let r = -17.2 + d. Is f at most as big as r?
False
Let c = 0.46 - 0.34. Which is smaller: c or -3?
-3
Let p(g) = -g**2 - 6*g + 3. Let i be p(-6). Suppose n - 19 = -5*u - n, 0 = -i*n + 6. Which is bigger: 3/2 or u?
u
Let q(a) = -3*a + 5. Let z be q(6). Let t = 11 + z. Is t not equal to 2?
True
Suppose 9*h - 9 = 8*h. Let x be (-1 + 1)*(-3)/h. Is 1/7 greater than x?
True
Suppose -2*b + m + 24 = -6*b, 0 = -2*b + 5*m - 34. Let y = b + 6. Which is bigger: y or 2/7?
2/7
Suppose 6*v + 17 + 37 = 0. Is -7 bigger than v?
True
Let b(i) = -2 - 1 + i**2 - 1 - 5*i. Let h be b(8). Suppose 6*d - 2*d - h = 0. Is d >= 4?
True
Let v(g) = -g**3 + 13*g**2 + 13*g + 2. Let k(z) = -3*z**3 + 38*z**2 + 38*z + 7. Let o(n) = -4*k(n) + 11*v(n). Let d be o(10). Which is bigger: d or 5/2?
d
Suppose 5 = -4*n - 3. Let h be n - -1 - (-4 - -3). Are -3/19 and h non-equal?
True
Let w = 4 + -7. Let j = w + 2.9. Do j and -0.1 have the same value?
True
Let k be (-4)/(-5)*15/6. Suppose 5 = 5*z + 4*f, 0 = 3*z + 2*f - k + 1. Is z equal to -4?
False
Let n = -473 - -24125/51. Which is greater: n or -1?
n
Let q = -0.3 + 0.2. Let i be (1 + 2)/((-18)/(-24)). Let c be (30/8)/((-6)/i). Which is greater: q or c?
q
Let i = 6 - 6. Suppose -2*h - 4 + 2 = i. Is 2 smaller than h?
False
Suppose 0*u = 2*y - 2*u - 14, -10 = 2*u. Let g(m) = -m**3 + 4*m**2 - 4*m + 3. Let j be g(3). Suppose 0*t = -3*z + y*t, j = -t. Is 0 greater than z?
False
Let a(i) = i**3 + 11*i**2 - i - 9. Let j be a(-11). Let w be (-22)/6 - (-1)/(-3). Let q = 4 + w. Which is bigger: j or q?
j
Let c = -29 - -24. Let n = -0.3 - -0.3. Which is smaller: c or n?
c
Let i = 1.5 + -1. Let p = 0.08 - 1.08. Which is smaller: p or i?
p
Let a be -1 + 1 + 760/564. Let d = -2992 + 421870/141. Let b = a + d. Which is greater: 2 or b?
2
Let c(z) = z**2 - 5*z + 2. Let h be c(5). Let g = -7 - -7. Is g != h?
True
Suppose -3*w + 388 = 2*d + 13, 4*d + 357 = 3*w. Let n = -63 + w. Let k be ((-9)/n)/((-6)/5). Is 1 less than k?
False
Let c be ((-8)/12)/(2/3). Is c at least as big as 0.16?
False
Let b = 0 - 9. Let k be (12/9)/((-6)/b). Suppose 0*a = -k*a. Which is smaller: -4/3 or a?
-4/3
Suppose 2*i + 1 = 3*i. Let m be (-8)/(-10)*(i + 4). Suppose -2*j = 5*s - 3 + 2, -5*s - 5 = 0. Which is bigger: j or m?
m
Let n be 4 + 1*(-5 - -3). Suppose 18 = 5*s - n*t, s + t - 9 = -s. Is s < 5?
True
Let a = 0.14 + 7.86. Let j = a - 8.3. Let t = 0.5 + j. Which is greater: t or -1?
t
Suppose -2*c - 25 = 3*c. Let t be 3/(-2) - (-4)/(-2). Which is bigger: c or t?
t
Suppose -2*n = -n - 3. Let o be n/(-9) - (-20)/6. Is o > 2?
True
Let f = 0.227 + -0.047. Which is smaller: -2/5 or f?
-2/5
Let x = -58 - -57.99. Is 0 >= x?
True
Suppose -14 = 3*c + 37. Which is bigger: c or -20?
c
Let g be 68*(-986)/60 + -1. Let x = g - -5879/5. Let s = 58 - x. Is -0.2 smaller than s?
True
Let u(n) = n**2 - 3*n + 2. Let d be u(1). Are d and -2/25 nonequal?
True
Let w be (-3)/4 + (-1)/4. Let p = 2 + -4. Let l = w - p. Which is smaller: l or -1/5?
-1/5
Suppose 2*t = -2*t. Suppose t = y + 2*y + 3. Which is bigger: 0 or y?
0
Let l(n) = n**2 - 13*n - 31. Let z be l(15). Let a = -69 - -1033/15. Do z and a have the same value?
False
Let z = -1 - -7. Let k be 19/39 - z/39. Which is smaller: k or -0.2?
-0.2
Suppose 0 = s + 2*w - 6, -5*w = -s + 5 - 13. Let t(r) = -1 + 0*r**3 + r**s - r**3 + 3*r**3 - r. Let o be t(-1). Is o smaller than 0?
True
Suppose 2*q + 0*q = -294. Let s = q + 1031/7. Which is smaller: 0 or s?
0
Let o = -26 - -35. Is 2/17 at least o?
False
Let f be ((-1)/(-12))/((-6)/(-18)). Which is smaller: f or 0?
0
Let i = -7 + 11. Suppose -y + h - 13 = 0, -4*y = y + i*h + 83. Let r be (y/(-21) - 1) + 0. Is 0 less than r?
False
Let x(u) = -u**3 + 8*u**2 + 10*u - 11. Let r be x(9). Let z be r + 4/(24/13). Do -2 and z have the same value?
False
Let x be ((-4)/(-3))/((-6)/27). Let h = -1 - x. Suppose -h*a + 2*s + 2 = -a, a = 3*s - 2. Which is smaller: -1/8 or a?
-1/8
Suppose -j - 4*p - 9 = -0*p, 5*j + 4*p = -13. Let i be (-22)/70 - 6/(-10). Which is greater: j or i?
i
Suppose -5*q - 2*m - 10 = 0, 4*q - m = -0*q + 5. Let c(g) = g**2 - 4. Let k be c(q). Let l be 0 - -1 - (-3)/k. Which is bigger: 0 or l?
l
Let v(w) be the first derivative of -w**4/4 - 4*w**3/3 - w**2 - w + 3. Let s be v(-4). Is 6 less than or equal to s?
True
Let o = -11 + 54. Is o at most as big as 0.1?
False
Let l = 6 - 7.2. Let c = l - -1. Let g = c - -0.1. Is g <= 1/4?
True
Let j(p) = p**3 + 10*p**2 - 10*p + 10. Let u be j(-11). Which is smaller: u or 3?
u
Let j = -0.11 + 1.11. Which is smaller: j or -8?
-8
Let t = 4.753 - 0.053. Let m = 0.7 - t. Is m bigger than -0.4?
False
Let s be (24/3 - 3) + 1. Suppose -2*n - 6 = s. Let m = 9 + n. Which is smaller: 0 or m?
0
Let x = 2/53 + -69/424. Is x at most as big as 1?
True
Let g = -7 - -8. Suppose 3*s + 4 - g = 0. Which is smaller: s or -2/39?
s
Let j = 0.12 + 4.88. Let p = 3 - j. Let r = -11 + 10.8. Is p != r?
True
Let r be (3/(-6))/(1/8). Let s = r + 1. Suppose 0 = -10*v + 7*v - 3. Which is smaller: s or v?
s
Let t = -5 + 9. Do -3 and t have the same value?
False
Let d = 1956 + -13716/7. Which is bigger: d or -0.2?
-0.2
Let p = -431/2886 + -1/222. Which is bigger: p or 1?
1
Let s = -25 - -26. Which is smaller: s or -6/23?
-6/23
Let h be 0/(1*(-5 - -3)). Suppose z + h = -2. Which is bigger: -4 or z?
z
Let r = -4 - -4. Suppose -2*t + 7*t - 60 = 0. Let f be (