hich is greater: b or d?
b
Let h be (-12)/21 - 2176/(-84). Does h = 24?
False
Suppose 5*w - 3*w - 25 = -3*o, -5*w = 4*o - 45. Let q = 50 - 46. Which is smaller: o or q?
q
Let l = -103/4 - -89/4. Which is smaller: -3 or l?
l
Let j(z) = -z**3 - z**2 + z + 1. Let u be j(-2). Let s = u - 4. Let i be ((-1)/(-2))/(s/(-2)). Which is greater: i or 2?
2
Let i = -13 - -8. Which is bigger: i or -0.2?
-0.2
Suppose -4*m = 5*k - 1, k - 3*m - 4 = -0*m. Suppose u = -3*w - 14, w + 3*u = -u - 23. Let i = w - -3. Is i smaller than k?
True
Suppose -j + 0*j - 2 = 0. Let h be (-1)/(-4) + (-7)/(-4). Suppose c - 2 = h*c. Is j less than or equal to c?
True
Let c be (-1)/((-4)/24)*(-3)/(-42). Is c <= -1?
False
Suppose 92 = 5*r + 3*z, -11 = -3*r + z + 33. Is 16 equal to r?
True
Suppose 11 = 3*w - z, 5*w = 2*z + 6 + 13. Suppose -2*x = w*a + a - 10, x = -a + 3. Let p = -628/5 + 126. Is p at most as big as x?
True
Suppose -4*w + a = 8, 3*a - 9 = -4*w - 1. Let v = 56/65 - 6/13. Which is bigger: v or w?
v
Let u be (-1 - -2)*(1 - -3). Let p(i) = i**2 - 3*i - 3. Let c be p(u). Suppose -w - c + 0 = 0. Are w and -1 nonequal?
False
Let n(x) = x**3 + 6*x**2 + 4. Let f be n(-6). Let g = 9 - f. Suppose -5*s - 5*v = -10, -5*v + g = -s + 1. Which is smaller: 5 or s?
s
Let z(d) = 3*d**2 - 8*d - 5. Let y(r) = r**2 - r. Let v(t) = 2*y(t) - z(t). Let o be -2*((-21)/2)/3. Let p be v(o). Is p greater than or equal to -3?
True
Suppose 2*f + 3 = 3*t, -4*f + t - 2 = -1. Which is greater: -3 or f?
f
Let d = -2219/13813 + 2/727. Is 0 at least d?
True
Let a = 58 + -60. Which is smaller: a or -3?
-3
Let q(z) = z**3 - 12*z**2 + 2*z - 15. Let c be q(12). Is 10 greater than or equal to c?
True
Let n = -4 - -5. Are n and -0.1 nonequal?
True
Let a = 13 + -8. Let p = a + -6. Is 1/3 equal to p?
False
Let i = -4454/39 + 344/3. Suppose 0 = -4*q + 4*p - 4, 13 = 5*p + 3. Which is smaller: i or q?
i
Let m = -4.06 + 4. Let b = m + -0.14. Let x = -10/19 - -68/57. Which is smaller: x or b?
b
Let v = -291/4 + 69. Is v >= -4?
True
Let p = 14.83 - -0.17. Let c = -10 + p. Let v = -9 + 10. Is c greater than v?
True
Let v = 6 + -6. Let y be 2 + (-64)/28 - v. Is y at least as big as 0.04?
False
Let a be (1/(-1) + 0)*0. Let c = 1 + 2. Are a and c equal?
False
Let a = 10 + -6. Which is greater: a or 11/4?
a
Suppose x - 3*s = -127, 3*x + 2*s = 2*x - 122. Let a be (-4)/(-32) + x/(-32). Which is bigger: a or 1?
a
Suppose 5*p = 20, 3*x + 5 = -3*p + 20. Let d be ((-144)/220 - -1) + (-1)/(-5). Are x and d nonequal?
True
Let h be ((-4)/(-8))/((-2)/19). Which is greater: -4 or h?
-4
Let j = 149 - 128. Is j less than or equal to 22?
True
Let m(t) = t**2 + 3*t + 1. Let r be m(-2). Let d be 5 + -4 + (-1 - r). Is d bigger than -5?
True
Suppose 0 = -3*i - i - 16, -h + 10 = -3*i. Suppose w = -w + 8. Let b be 8/w*(-3)/2. Is h at least as big as b?
True
Let h be ((-2)/3)/((-1)/(-9)). Which is greater: h or -9/2?
-9/2
Let i = 0.3 + -0.4. Let g = -111 - -111. Is g equal to i?
False
Let c = -40.1 - -40. Let x = -1.2 - -0.2. Which is smaller: c or x?
x
Let a = 218 + -233. Is -16 > a?
False
Let f(s) = 2*s**2 - 6*s - 4. Let w be f(5). Which is greater: 2/5 or w?
w
Let o = 2.3 - 0.3. Let a = 1.9 - o. Let i = 2.1 + -2.2. Is a less than or equal to i?
True
Let n be ((-14)/4 + -1)*-2. Suppose -n = -t - 2*t. Let b = 0 - t. Is b smaller than -1?
True
Let a(m) = -m**2 - 6*m. Let c be a(-6). Which is smaller: c or -1/20?
-1/20
Let q(c) = 33*c - 69. Let s be q(5). Which is smaller: s or 1?
1
Let f = -18641/39 - -478. Is 1 at most as big as f?
False
Let d(k) = -k**2 - 3*k - 3. Let u be d(-2). Suppose 5*y - 3*f + 14 = -21, 0 = -5*y + 4*f - 40. Let v be u/y*-2*2. Which is smaller: 0 or v?
v
Let f be -1 + (-4)/(3 + -4). Is 2 greater than or equal to f?
False
Let o = 1396 - 79574/57. Which is greater: o or 1?
1
Suppose 9*b + 7 = 2*b. Let q = 5 - 39/7. Is q at least b?
True
Let g be 91/(-26)*(-8)/14. Suppose 0 = -5*n - 3*s - 2*s - 275, -s = -5*n - 293. Let j = -172/3 - n. Which is smaller: g or j?
j
Suppose -3*j - 10 = 14. Are -8 and j non-equal?
False
Let j = -215/146 + -2/73. Which is greater: -2 or j?
j
Let k(u) = 5*u - 3. Let m be k(-5). Let o be (-16)/m*(-3)/(-4). Which is bigger: -2/7 or o?
o
Suppose 195 = -4*j - j. Does -38 = j?
False
Let w be 12/5 + (-6)/15. Suppose -2*p = -5*f + 13, p + 22 = -4*p + w*f. Let l be 6/3 - (p - -1). Is l > 4?
True
Let c = 5 + 7. Are -1/2 and c nonequal?
True
Suppose -2*x + 2 = -4*m - 12, 0 = -4*x - m - 8. Let y be (-38)/(-92) + x/2. Let z be 0 + 2 + -3 + 1. Is y at least z?
False
Let z = 5 + 1. Let g = -20 + z. Which is bigger: g or -1?
-1
Suppose -5*u = -4 + 9. Let c be 2/(((-4)/14)/(-2)). Let r be 0 - (32/c + -2). Are u and r equal?
False
Let h be (-15)/6*2/(-1). Suppose -h = 2*y + t, -4*y - 7*t = -2*t + 25. Which is smaller: y or 1?
y
Let w = -17 - -15. Let d(n) = 4*n + 3. Let j be d(-2). Are w and j unequal?
True
Let a = 19 - 19. Is a >= 2/177?
False
Let k be ((-4)/(-2))/(6/12). Let u = 1 + 2. Which is greater: k or u?
k
Suppose 0 = 935*w - 922*w + 13. Let x be (6/8)/((-3)/12). Which is greater: w or x?
w
Let k be 5/1 - 45/5. Is 1 at least as big as k?
True
Suppose 2*p + 3*p = 20. Suppose 0 = 4*r + p, 0 = -k - 4*k - r + 49. Suppose h + 0*h = 3*q + k, -5*h = 4*q + 26. Is q greater than or equal to -5?
True
Let h = 85 - 86. Which is smaller: 6 or h?
h
Suppose 2*z + 17 = 4*o + 5*z, 4*o - 5 = z. Let l be ((-1)/3)/((-8)/24). Is l bigger than o?
False
Let o be -1 + (0 + 0)*1. Let y be (o - (1 + -3))*5. Suppose 4*t + 19 = -n, 2*t = 5*n + y + 2. Is n < -3?
False
Suppose 2*m + 8 = 22. Is m > 5?
True
Let h(g) = -4*g - 8. Let v be h(2). Is v < -14?
True
Suppose -8 = 4*p - 4*y, -3*y + 14 = 4*p + 1. Let b = 487/3 - 161. Let c = p - b. Is 1 < c?
False
Suppose 0*y - 2*y = -3*u - 2, 2*y - 2 = -5*u. Is u >= 6/43?
False
Let d = -133 - -109. Which is smaller: 1 or d?
d
Suppose 3*y - 8*y + s = 0, -y - 21 = 4*s. Let x be 10*(-2 - (-20)/8). Suppose 0 = x*u - u. Which is greater: u or y?
u
Suppose 4 = -4*p - 4. Let t be (2/6)/((-33)/162). Which is smaller: p or t?
p
Suppose -5*n + n + 16 = 0. Let q = 4 + n. Are q and 0 non-equal?
True
Let d(f) = -f**3 + 7*f**2 - 8*f + 7. Let n be d(6). Let v be (-3)/12 - n/4. Is 1 at least v?
True
Let w = -48 - -2. Let m = w + 33. Which is bigger: -14 or m?
m
Let z(i) = -i**3 - 21*i**2 - 20*i - 7. Let s be z(-20). Let v be 164/(-10) + (-4)/(-10). Let a = v + 10. Are a and s unequal?
True
Suppose 2*u = 4*c - 78, 4*u + c = u - 131. Let o = u - -130/3. Suppose 0 = -m - 2*z - 10, -m = 3*m + 4*z + 20. Is o smaller than m?
False
Let c(q) = q**2 - 6*q - 1. Let j(f) = f. Let m(d) = c(d) + 5*j(d). Let t be m(2). Is t at least as big as -1?
True
Let u = 8.8 + 0.2. Is u >= 1/2?
True
Let y(a) = -10*a + 90. Let x be y(8). Is x at least as big as 10?
True
Suppose 13*a - 32 = 17*a. Which is smaller: -10 or a?
-10
Let o be 58/(-8) + 3/12. Let s = 10 + o. Let x = s + -5. Is x != -2?
False
Let y(k) be the first derivative of -k**2/2 - 7*k - 4. Let x be y(-7). Is -1 at least x?
False
Suppose 67 = 5*u - 38. Is u != 20?
True
Suppose -16 = -5*o - x, 3*o + 2*o = 4*x + 36. Suppose -3*d = 4 - 13. Suppose d*s + 6 = -o*i, s - 2*s = 2. Which is smaller: 3/7 or i?
i
Suppose 2*n + 8 = 4*n. Let h = 2 + n. Is 5 less than h?
True
Let v = -1036 + 9335/9. Which is smaller: 0 or v?
0
Let y be (-4)/(-14) - (-4)/(-63). Let c = 22.8 - 25. Let v = 0.8 - c. Is y not equal to v?
True
Let a = 99 - 91. Is -0.07 not equal to a?
True
Let q = 100 + -52. Which is bigger: q or 1/4?
q
Let x = -0.3 + 0.2. Let t = -2.2 + 0.2. Let m = -4 - t. Which is greater: m or x?
x
Let y = -4.96 - -7.9. Let l = y + -3. Which is smaller: 0 or l?
l
Let c be 2 + 3/(-1) - 0. Let x = 0.14 - 0.04. Which is greater: c or x?
x
Let f be (-2)/(-13) + 0 - 672/3016. Is -1 at most f?
True
Let j(f) = -4*f - 35. Let w be j(-9). Which is smaller: w or 19?
w
Let u = 2 - 0. Suppose 2*v - 4*x = -15 - 1, -v + 5*x = 14. Let g be 20/9 - v/(-18). Are g and u nonequal?
False
Let l(f) = -2*f**3 + 2*f**2 - 1. Let t be l(-1). Suppose -t*p - 54 = -6*p. Let z be 2/10 - p/15. Which is smaller: z or -1/4?
z
Let b = 3.1 + -3. Let h = b - 8.1. Which is smaller: 1 or h?
h
Suppose -2*b + 14 = -3*c, 0*b = -4*b + 5*c + 26. Suppose -b*q - 4*w = -136, 16 = 3*q + w - 90. Let n be (-3)/q*4/(-3). Which is