 - 6. Let s = 4 + c. Is h at least as big as s?
True
Suppose 5*v = -6 + 26. Let t(a) = 2*a - 5. Let c be t(v). Suppose -4*g + 3*b = -2*b + 39, -c*g + 3*b = 27. Is g >= -6?
True
Let q be -2*((-9)/6)/3. Let f be (-4)/10*q*-5. Suppose -f = 6*h - 4*h. Which is greater: -2 or h?
h
Let i be (6/4)/(2/4). Suppose -3*v - 3*a + 15 = 0, -4*v + 9*v + 4*a - 22 = 0. Let w = i - v. Is w less than 0?
False
Let d(n) = -3*n - 11. Suppose s + 4*a = 3*a + 1, 0 = -4*a + 20. Let p be d(s). Suppose -x = -2*x + 2*u - 2, 0 = -3*u + 3. Is x at most p?
True
Suppose 2*k = -3*z - 2, 3*z + z + 4 = -3*k. Suppose -z*h + 17 = 5*w - 14, w - 3 = 0. Suppose -5*f + 3*o = h*o - 20, 5*o + 30 = 5*f. Is f greater than 5?
False
Let i = 0.01 - -0.03. Let o = 0.96 + i. Do 1 and o have the same value?
True
Let c(n) = -n**2 + n - n - 1. Let z be c(-1). Suppose 0 = -2*f + 7*f. Is z >= f?
False
Let k = 0 + -2. Let i = k - -2. Let q = -3 + 0. Is i less than or equal to q?
False
Let b be (2/(-6))/(16/(-84)). Is b less than or equal to 2?
True
Let d = 183 + -7319/40. Let a = -43/120 + d. Is a equal to 0?
False
Let o = 4 - 3. Let l be 1/o - 21/(-3). Suppose -3*r - l = -r. Is -3 at most as big as r?
False
Let q = 453 + -4973/11. Which is smaller: q or -2/5?
-2/5
Suppose -9*l + 5*l + 4*n = 4, 5 = -3*l + 5*n. Let h(r) = -r**3 - 4*r**2 - 4*r - 3. Let d be h(-3). Is d > l?
False
Let k(v) = -3*v + 6. Let r(f) = 1. Let g(h) = 4. Let p(j) = g(j) - 5*r(j). Let x(n) = -k(n) - 5*p(n). Let a be x(-1). Which is bigger: a or -3?
-3
Suppose 3*w = 5*v - 21, -3*w - v = 7 - 4. Let j be w/3*18/4. Is j >= -2?
False
Suppose -2*z - 28 = 4*v - 0*v, 6 = -z + 2*v. Which is greater: z or -37/4?
-37/4
Suppose 3*s + 27 + 0 = 0. Let n be (-2)/(1 + 33/s). Which is bigger: 1 or n?
1
Let k = -1268 - -30419/24. Let f = 4 + -31/8. Let r = f - k. Which is smaller: r or 0?
0
Let l = -2 + 2.1. Let n = l + 0.4. Let k = n + -0.3. Is k > 0?
True
Let l = 129/4 - 32. Is l at least -1/2?
True
Let j be 1/((-1)/(-1) + 0). Let k be (j/(0 + -1))/5. Is 1 less than or equal to k?
False
Suppose 0 = -4*o - o + 65. Let x = -6 - -18. Which is smaller: o or x?
x
Let g = 0 - 0. Suppose 4*y - 16 = -4*m, 14 = -5*m + 5*y - 16. Let b be (2 - 0) + 2/m. Is g greater than b?
False
Let w be 5/((-15)/(-39))*1. Let h = w + -23/2. Which is greater: h or 2?
2
Let m be -2 + (-2 - -12) - -2. Let k = -16 + m. Let h = k - -12. Which is greater: 5 or h?
h
Let a = 0.4 + -2.4. Let k = a + 0. Let x = k - -2.1. Do 2/3 and x have the same value?
False
Let j(x) = x**2 + x - 2. Let f be j(0). Let k be (2404/36)/(0 - -1). Let o = 67 - k. Is o < f?
False
Let n = 16 + -13. Is n greater than or equal to -1?
True
Let t be (-45)/54*2/(-5). Let z be (-4)/(-10) - 16/(-10). Suppose 4*n - 6 = 2*h, 2 + 2 = z*n. Which is bigger: h or t?
h
Let n = 52 + -101/2. Let o(a) = a - 1. Let w be o(4). Suppose -11 = -5*x + y, -x = w*x - 3*y - 11. Do x and n have the same value?
False
Let a be ((-3)/2 - 0)*2. Let g be (-24)/(-140) + a/5. Is 1 smaller than g?
False
Let j = -0.11 + 0.07. Let h = j + 0.14. Which is smaller: h or -0.03?
-0.03
Let w = 2 - 2. Suppose 4 = -2*r + m, -3*r + 0*m = -4*m + 1. Let q be 2/1 - (0 - r). Which is greater: w or q?
w
Let u be -1 + 0 + 3/3. Let k(c) = -63*c**2 - c - 1. Let q be k(-1). Let d = -251/4 - q. Which is greater: d or u?
d
Let j = -1.3 + 0. Do j and 0.1 have different values?
True
Let b(s) be the second derivative of s**4/12 - 2*s**3 + s**2/2 - 2*s. Let p be b(12). Let u be (p/(-4))/(-6 - -7). Do u and 2/5 have the same value?
False
Let p(v) = -v - 8. Let n be p(-8). Which is bigger: n or -5?
n
Let o(y) = y**2 + 17*y + 22. Let j be o(-15). Let k be (1 - 3)/((-4)/(-18)). Which is greater: k or j?
j
Let f = -0.8 - 0.2. Let h = -0.8 - f. Let q = 11 + -10.9. Which is greater: h or q?
h
Let b = -1 + 5. Suppose 1 - b = -3*s. Are s and -3/7 unequal?
True
Let h be 3 + -3 - (3 + 0). Let o be (2 - 1) + -8 + 4. Is o > h?
False
Let c = -5 + 4.7. Which is bigger: c or 1?
1
Let y = 31 + -37. Are y and -7 nonequal?
True
Let z = 42 + -24. Which is smaller: z or 0?
0
Let t be 4/10*-6*-5. Let f be ((-5)/15)/((-2)/t). Let x = 4 - 0. Is f less than or equal to x?
True
Suppose -6 = 3*l, -3*x + 8 = -4*l - 0. Let f = -2 - -6. Let y = f + -4. Is x at least as big as y?
True
Suppose -4*t - 25 = -t - g, -3*g = -12. Which is greater: t or -6?
-6
Suppose -3*n + 11*n = 40. Are -7 and n non-equal?
True
Let v = 6 - 10. Let r(z) = -z**2 - 4*z + 2. Suppose 30 - 5 = -5*n. Let p be r(n). Which is greater: v or p?
p
Let o(s) = -3*s**2 + 7*s - 8. Let z be o(3). Which is smaller: -15 or z?
-15
Let f(x) = x**3 + 3*x**2 + 5*x + 8. Let y be f(-2). Suppose -2*r - 17 = -5*r + 2*b, -r + 7 = -b. Is y at least r?
False
Let f be 18/15 + (-2)/10. Is f < -3?
False
Let a = -10 + 21. Let k = -7 + a. Suppose 2 + 13 = -3*p, k*p + 26 = -2*d. Is d less than -2?
True
Let i = 1.4 + -1.12. Let t = i + 0.02. Let p = t + -0.2. Is 0.1 less than p?
False
Suppose 4*t - 100 - 28 = 0. Let k be -2 - (-30)/t*2. Let z be 1*(1 - 2/1). Which is greater: z or k?
k
Let l(d) = -d. Let o(i) = -i - 12. Let g(v) = -1. Let k(a) = 6*g(a) - o(a). Let h(y) = -k(y) - 2*l(y). Let r be h(8). Which is greater: 0 or r?
r
Suppose 0*n + 4*n = 0. Suppose 3*a = -0*a. Do n and a have different values?
False
Let r = 0.3 + -0.5. Let g = 0.2 + r. Let w be (3/(-5))/3 - 44/55. Are g and w non-equal?
True
Let o be (-1)/(2/(-12)*2). Suppose -5*n + 7 = -4*c, 4*n - o*c - 5 = -0. Is n less than -9/4?
False
Let x be 3/((-9)/12) - -16. Does 9 = x?
False
Let v = -5 + 0. Let z(i) = -i**2 - i + 2. Suppose 4*w + 4 = 3*p + 1, 0 = -3*p - 2*w - 15. Let t be z(p). Which is bigger: t or v?
t
Suppose -3 = -3*h - 0. Is 2 at most h?
False
Suppose 5*f + 5*a - 45 = 0, -21 - 10 = -3*f - 4*a. Let s = -39 + 45. Is s smaller than f?
False
Suppose -2 + 5 = 3*d. Let v be ((-27068)/(-4632) - 2) + -4. Let q = 2/193 - v. Which is bigger: d or q?
d
Suppose 4*t - 11 + 32 = -3*j, 5*t - 3*j + 6 = 0. Let b be 8/t*(2 - 4). Let a = 86/15 - b. Which is bigger: a or 0?
a
Let c be (1*-2)/2 - (7 + -17). Which is smaller: c or 7?
7
Let n = -0.01 + -6.99. Let q = 7.2 + n. Is q bigger than 3?
False
Let j be -1 - 0 - 2 - -3. Let v = 34 - 305/9. Which is smaller: j or v?
j
Let g = 6/5 - 7/5. Let t(n) = n**2 + 9*n + 1. Let a be t(-8). Let w be a/(21/(-6)) - 3. Which is smaller: w or g?
w
Let h be (-1 - (-4)/(-2))*7. Let x be 0/(0 + 1) - h. Let g = -64/3 + x. Which is smaller: 1 or g?
g
Suppose -i + 5*z - z - 5 = 0, -2 = 4*i + 2*z. Is -2/11 at most i?
False
Suppose -18 = -p + 1. Let s = p + -20. Is -3/5 at most s?
False
Let z = -27 + 24. Which is smaller: z or 3/7?
z
Let b = 3 + -5. Let t be ((-3)/2)/(b/4). Suppose -2*a = -5*p + 25, -5*p + 5 = 4*a - 2*a. Is p equal to t?
True
Suppose a = 3*b - 6, -3*b + 13 - 4 = -2*a. Let w be ((-4)/6)/(4/(-6)). Let u be -1*(-2)/(-6)*w. Which is smaller: b or u?
u
Let t = 36 + -51. Are t and -15 non-equal?
False
Suppose -25 = -5*b - 4*u, -3*b + 7 = 3*u - 11. Suppose -10 = 4*c + 2. Let g be b/c + 2/6. Is g < 1/5?
True
Let i = -26 - -20. Let x(s) = -4*s - 2. Let m be x(4). Let b = 13 + m. Is b at most i?
False
Let v = -3 + 8. Suppose -291*k = -277*k - 70. Is k less than v?
False
Suppose 0 = -4*m + 5*r - 11 - 1, 5*m + 4*r - 26 = 0. Let i be (-4)/m + 1 + 0. Which is greater: -5/3 or i?
i
Let w = 4 - 4.6. Let t = -0.5 - w. Let f = -82/5 - -16. Which is smaller: t or f?
f
Let l be -6*(-2 + (-6)/(-4)). Let p = l - 2. Let b = -6.1 + 6. Is b less than p?
True
Let j = -7.9 - -8. Which is smaller: j or -0.22?
-0.22
Suppose -2*b - 13 = 23. Let d be -1 - (b/(-21) - 2). Suppose 2*p = 3*z - 4, -2*z - 2 = -5*p - 12. Which is smaller: z or d?
z
Suppose -4*u = -l + 2*l - 10, -2*u + 4*l = 4. Let z be (u - 4)/2 + -1. Let x be 3/(-6) - z/20. Which is smaller: 0 or x?
x
Let o be (-148)/14 - 3/7. Do -10 and o have the same value?
False
Suppose -2*p = -2, 2*t - 1 = p - 2. Let l = 9/16 + -21/208. Is l smaller than t?
False
Let a = -14 + 6. Let o = 6 + a. Which is bigger: o or -2/5?
-2/5
Suppose -29 = -4*z - z + 3*t, 3*t = 4*z - 25. Suppose -y - 4*k = 6, k + 12 = z*y - k. Which is smaller: 7 or y?
y
Let o = 516/7 - 73. Is 2 at least o?
True
Let r = -8 - -13. Suppose 26 = r*m + 76. Let g be 54/m - (-4)/10. Is -4 at most as big as g?
False
Suppose -8*g = -119 - 265. Is 48 at least g?
T