5. Is b at least as big as c?
True
Let c be ((-2)/6)/((-10)/6). Let v be (-16)/(-33) - (-6)/(-9). Which is bigger: c or v?
c
Let o = -499.1 - -522. Let c = -24 + o. Is c < 1/4?
True
Suppose 5*c = -x + 2*c + 10, -17 = -2*x - 5*c. Let s = 3 + -1. Is s at most x?
False
Let v(f) = -2*f**2 - 5*f + 6. Let n be v(-5). Let t = 44 + n. Suppose -2*k - 5*l = -t, 0 = 5*k - 0*k - 3*l - 16. Is k less than 4?
False
Let j = 142 + -707/5. Let f(o) = o**2 - 5*o + 6. Let c be f(5). Let d(k) = k - 4. Let v be d(c). Which is smaller: j or v?
j
Let x(m) = 2*m + 3 - 2*m - m. Suppose -3*q = -2*c + 5*c - 9, 5*c + 9 = q. Let j be x(q). Which is smaller: 0 or j?
j
Suppose 5*w + 4 = -1. Let f be 2 + 1/(w/(-2)). Suppose -5*i + 14 - f = 0. Which is greater: 2/3 or i?
i
Let p = -11/5 - -357/160. Is -1 >= p?
False
Let z(v) = -2*v**3 - v**2 + 2*v - 2. Let i be z(1). Which is greater: i or 1?
1
Let p be 5/(-10)*-6*-1*-3. Which is smaller: p or 2?
2
Suppose -n + 3*s = -6, -3*n - 2*s - 38 = 2*n. Let p be 2/((-28)/(-2 - n)). Which is bigger: -1 or p?
p
Let n(m) = m**3 - 9*m**2 + 9*m - 5. Let r be n(8). Let h = 2 + 1. Let s = -1 + h. Which is smaller: s or r?
s
Let p(l) = -l - 6. Let t be p(9). Let u = t - -12. Which is smaller: -1 or u?
u
Let w(h) = h**2 + h + 1. Let x be w(-1). Suppose -2*r = -x - 1. Is r equal to 7/3?
False
Let j = 10.29 + -12.3. Let n = j + 0.01. Let w = -2.1 - n. Is w less than -0.1?
False
Let i be 1/(-2) + 31444/(-104). Let t = i - -303. Is -1 > t?
False
Let g = -10 + 10.2. Is g <= -2?
False
Suppose 0 = -2*p - 3*p. Which is smaller: 1 or p?
p
Let w(l) = 3*l**2 + 19*l - 14. Let z be w(-7). Which is greater: -2/193 or z?
z
Let l be 2 + (-32)/6 + 2. Let d = -33/2 - -16. Which is smaller: l or d?
l
Let b = 77/3 - 2239/87. Which is smaller: b or 0?
b
Let w(h) = -h**2 + 8*h + 6. Let c be w(8). Let j = 2 + c. Let v = 54/7 - j. Is 0 bigger than v?
True
Let p = 2/43 - -76/215. Is p < -2/5?
False
Let c = -144 + 144. Is c at most as big as 1/25?
True
Let i = -1/245 + 5156/2695. Which is bigger: -0.1 or i?
i
Let d = 2 - 4. Suppose -2*w = -6*x + 2*x, -10 = 5*w. Which is smaller: x or d?
d
Let q be (-4)/8 - (-2)/4. Which is greater: q or 7/5?
7/5
Let x = -331/10 - -33. Suppose -2*i + t - 4 = 0, -5*t + 7 = -3*i - 3*t. Is x smaller than i?
False
Let z be -4 + 56/(-4) + 3 + -2. Is -16 bigger than z?
True
Let y(n) = n**2 + 2*n - 5. Let s be y(-4). Suppose s*x = 2*i + 10, 8*i - 3*i - 5*x + 20 = 0. Is 3 < i?
False
Suppose 4*g - 9*g + 25 = 0. Suppose 1 = 5*y + g*u - 9, -5*u = -5*y + 20. Is y greater than or equal to 2?
True
Let o = -1 - -7. Suppose -3*u - 2*q = o, 5*q = -2*u + 4*q - 4. Is -1 > u?
True
Let n(j) = 5*j**3 - 1. Let s be n(1). Let r be ((-38)/(-36) + -1)/s. Let z = -13/72 + r. Is 1 less than or equal to z?
False
Suppose 4*s - 7 - 11 = -5*b, -s + 2*b - 2 = 0. Suppose 2*p - 1 = 3*r, -p - s = -2*r - 3. Let n = -1 - r. Which is smaller: -2/11 or n?
-2/11
Let g(s) = -637*s. Let w be g(1). Let k = w - -10826/17. Is 1 greater than k?
True
Let y(m) = m**2 + 10*m + 12. Let d(g) = g**2 + 10*g + 11. Let i(r) = -5*d(r) + 4*y(r). Let n be i(-9). Is 2 greater than n?
False
Let f be 0/(2 - 3) - -2. Suppose 2*s + 50 = -3*s. Let l be (6/10)/((-4)/s). Which is smaller: f or l?
l
Let p be (-1594)/36 + 8/(-36). Let v = p + 46. Which is smaller: 1 or v?
1
Suppose -5*o + 2800 = -5*k, -o + 5*k + 572 = -0*k. Let d = 6727/12 - o. Let j = d - 10/3. Which is smaller: j or 1?
j
Let g be 2 + 373/(-62) + 4. Which is greater: -1 or g?
g
Let a be (-18)/4*4/(-6). Suppose -l - 8 = a*l + n, -2*l + 4*n = -14. Let g = 43 - 44. Is g < l?
False
Let o = 56.2 + -52. Let p = -4 + o. Is 1/2 less than or equal to p?
False
Suppose 0 = 3*q + 22 - 4. Let z be 10/q*(-15)/(-5). Is z at most -6?
False
Let g = -32.52 + 0.52. Which is smaller: -2/5 or g?
g
Let z be (-2)/4 + 190/20. Let y = z + -8. Which is bigger: 2/15 or y?
y
Suppose -3*b - 1 = -2*b. Which is smaller: b or 1?
b
Let l = -1 + 1. Which is smaller: 2/7 or l?
l
Let b = 8 - 7. Let v = 2 + -2.5. Is v < b?
True
Suppose 15 = -c + 3*a + 44, -3*a = -2*c + 49. Which is bigger: -2 or c?
c
Let r = -5 + 3. Let t = 3 - r. Suppose 2*w = 7*w + t. Which is smaller: -2 or w?
-2
Suppose -3*j + 0*j = -3. Suppose 0 = -a - z - j, 0*a - 3*z - 9 = -3*a. Let v = 4 - 2. Is a <= v?
True
Let f be 66/24*8/6. Is 3 bigger than f?
False
Let r = 12 - 12. Which is smaller: r or 12?
r
Let x = -5.04 + 5. Let j = 0.01 - x. Let d = j - 1.05. Which is smaller: d or 1?
d
Let n = 87 - 521/6. Suppose -q = -2*q + 11. Suppose f = z + 3*z + q, -15 = 5*z. Which is greater: n or f?
n
Let r = -1.7 - -1.6. Is r at least as big as -16?
True
Suppose 6*y - 9*y = 2*c + 4, 2 = -y. Let i be (6/4)/((-30)/(-16)). Is i bigger than c?
False
Let b be 0 + 1/(207/6). Is b equal to -1?
False
Suppose 4*d + 0*d = 4. Let v be (-3)/((-9)/(-3)) + d. Which is smaller: 3/7 or v?
v
Let m(s) = -4*s**2 + s + 2. Let w be m(2). Is -13 less than or equal to w?
True
Let f = 29 - 39. Is -9 at most as big as f?
False
Let m = -124 + 128. Let r = 7 - 3. Is r at least m?
True
Suppose -5*k - 40 = -3*u - 9, 0 = 3*u + 4*k - 40. Is 12 > u?
False
Suppose 6*t + 8 = 5*t + y, 0 = 4*t + 4*y. Let b = t + 3. Which is bigger: -2/5 or b?
-2/5
Let w be 25/(-9) - (-1)/((-63)/14). Let l be 1/(-4)*112/12. Is l < w?
False
Suppose h - 4*i - 40 - 24 = 0, 3*h + 2*i - 136 = 0. Suppose -6*j - h = 4*g - j, 4 = -j. Are -8 and g equal?
False
Let y(l) = l**2 - l - 2. Let m(q) = q**2 - 8*q - 14. Let o be m(10). Suppose -5*a = -5*h + 15, 5*a + 9 + o = -4*h. Let w be y(h). Is -3 >= w?
False
Let v = 8 + -8.08. Let g = 20 + -19.82. Let d = g + v. Is d less than or equal to 9?
True
Let j be 216/(-22) - (-8)/(-44). Are j and -10 nonequal?
False
Let n(p) = p**3 + 6*p**2 + 5*p + 3. Let b be n(-5). Suppose k + w - 6 = 0, 3*k - b*w = -0*w - 12. Is 2/7 equal to k?
False
Let y = -115/168 + 1/56. Let s = 237/154 - 3/77. Which is bigger: y or s?
s
Suppose -g - 27 = -5*z + 1, 0 = -4*g + z - 17. Let m(h) = -h**2 - 4*h - 1. Let u be m(g). Suppose u*s = -s. Does -1 = s?
False
Let a(s) = -s**2 + 0 + 2*s**3 + 3 - 2*s - 1 - s**3. Let d be a(2). Are d and 2 equal?
True
Let w(p) = 10 - p + 8 - 4. Let t be w(10). Suppose 0 = -0*q + 2*q - 6. Which is greater: q or t?
t
Suppose -s = 5*d - 10, d + 4*d - s = 0. Let z be (-136)/(-32) + d/(-4). Let m be ((-45)/12 - -3)*z. Which is smaller: m or 0?
m
Let t be (4 - -2)*(-51)/6. Let x = t + 151/3. Let s = -2 + 0. Which is bigger: x or s?
x
Let f = -6 - -9. Suppose -d - 1 = -5*k - f*d, 0 = 4*d - 12. Let a be (0/(-2))/(0 - 2). Which is smaller: a or k?
k
Suppose f = 5*g - 13, 0*f - f - 11 = -4*g. Let i(n) = -n**2 + 4. Let d be i(g). Is 0 > d?
False
Suppose -b + 10 = -0*h - 4*h, -3*h - 3 = 0. Suppose 0 = 2*f - b*f. Let g = -107/3 + 36. Which is smaller: f or g?
f
Suppose 5*h + 3*r - 46 = 0, -3*h + 0*h - 3*r + 24 = 0. Let d = -1401 + 8437/6. Let v = 17/3 - d. Do v and h have different values?
True
Suppose 2*l - 55 + 17 = 0. Suppose -5*m - 5*z = -80, 0 = m - 3*z - l - 5. Suppose -4*f = 2*w + 14, -f + 4*w = f - m. Which is smaller: 0.1 or f?
f
Let s = 8.9 + -9. Let i = 0.2 + s. Does 0.1 = i?
True
Let x = -5.91 + -0.09. Let c = -19.1 - -19. Do x and c have different values?
True
Suppose -4*f = -t - 3*f - 1, 4*f = t + 7. Let p(c) = -2*c - 3. Let z be p(-3). Which is smaller: t or z?
t
Suppose 3*a = -4*a. Let r = -1 - 1. Which is smaller: r or a?
r
Let u = 28 + -5. Which is greater: u or -1?
u
Let c be -2 - (-2 - (-10041)/(-30)). Let t = c + -335. Which is smaller: t or 1?
t
Suppose 5*r + r - 66 = 0. Suppose r*t + 8 = 15*t. Which is greater: 1/2 or t?
t
Let c(r) = r - 4. Let v be c(-6). Let j be 880/(-72) + 1 - 4/(-18). Is v at least j?
True
Let k(u) = -2 - 15 - 4 - 2*u - 2. Let r be k(-13). Is 14/9 at most r?
True
Let i be 26*(45/(-10) + 4). Is i at least as big as -13?
True
Suppose 4*b = -3*a + 77, 3*a = 3*b - 0*b - 63. Let r be 2177/b - 1/4. Let k = r + -109. Which is smaller: 1 or k?
k
Let p(f) = -f**2 + 8*f - 9. Let i be p(6). Suppose 5*s - 14 = i*s. Is s equal to 8?
False
Let p(c) = 13*c**2 + c + 1. Let h be p(-1). Let g = 21 - h. Do 7 and g have the same value?
False
Let w = -7 + 7. Which is bigger: w or 7?
7
Suppose -2*k = 3*k - 15. Suppose -2*q = -7*q. Suppose -t - k*t = q. Which is smaller: 1/3 or t?
t
Let f be (-1)/(-6)*5442/(-4). Let 