16*-2)/((-1)/(-11)). Which is greater: -7 or g?
g
Suppose 0 = -6*w + 2*w + 20. Suppose 0 = 3*n + c + 3*c + 23, w*n + 20 = -3*c. Let r be ((-34)/28 - n)*-2. Which is greater: r or 1?
1
Suppose -5*c + 3*v = 32, 4 = -2*v + 2. Let h = c - -2. Is h smaller than -5?
False
Let q be 1/3 + 14/(-6). Let n be ((-12)/9)/((-20)/45). Suppose -4*t - 3 = -n*t. Is q != t?
True
Let d(a) = 4*a. Let j be d(2). Let c(s) = s - 9. Let p be c(j). Let w = p + 2. Which is smaller: 1/8 or w?
1/8
Let a be (1 - (3 - 3))*2. Suppose 0 = 5*o - 5*n, 3*n + 5 = -4*o + 33. Is a > o?
False
Let u = -26 + 19. Is -9 less than u?
True
Let j = 33 - 4. Suppose f + 5*z = j - 6, -z + 7 = -f. Is f greater than 0?
False
Let c(h) = h**3 + 5*h**2 + 5*h + 1. Let o be c(-4). Let n = o - -6. Is n at most 7/4?
False
Let d = -60 - -61. Which is smaller: d or -10?
-10
Suppose -7*g - 9 - 5 = 0. Which is greater: -3 or g?
g
Let k = 3 - 2. Suppose -o + 1 = -0*o. Is k at least o?
True
Suppose 55 = 14*i - 85. Suppose -3*q = r - 25, 0*r + 3*r - 10 = 4*q. Is i <= r?
True
Let d be 3 - 4 - (0 + 1). Let v be -6 - (-3 + (1 - 0)). Is v at most as big as d?
True
Let z = 24.06 + -24. Let w = z - -0.04. Is w at least -0.1?
True
Let n be (-26 - 0)/(2/(-2)). Let l be n/88 - (-2)/8. Is l at most as big as 2?
True
Let y(a) = a**3 + 5*a**2 + 4*a + 3. Let l be y(-4). Which is smaller: l or 1?
1
Suppose -3*o = o. Let q(p) = -p**3 - p**2 - p + 2. Let f be q(o). Suppose 3 = f*s + 1. Is 1 equal to s?
True
Let f = 0 + 2. Suppose -2*h + 6 = 0, 0 = -4*q - f*h + 26. Let w be (-1)/q - (-2 + 2). Does 1 = w?
False
Let n(t) = -3*t - 1. Let l be n(-2). Let h be (4 - l)*0/1. Is h < -2/11?
False
Let l be -1*(-4 + 0) + -2. Which is smaller: 14 or l?
l
Suppose 0 = i + 9 - 1. Is i less than or equal to 0.2?
True
Let c be (-6)/49*6/18. Is c not equal to -1?
True
Let l = 58851/49 + -1201. Which is greater: l or -1?
l
Suppose -3*r + 3*o = -24, -3*o - 2*o = -r. Suppose -3*u + 2*u - r = 0. Is -10 < u?
False
Suppose -3*i - 2*i = 0. Suppose -6*l + l = -x - 15, 13 = 4*l - x. Suppose -2*a + i = -l. Which is smaller: 0 or a?
0
Let v be (-6)/(-1)*9/27. Suppose v - 3 = z. Let d = -1 - 0. Is d bigger than z?
False
Let u(x) = x**3 + 8*x**2 + 6*x + 2. Let s be u(-7). Let y be 10 - 6 - (-30)/(-7). Are s and y non-equal?
True
Let p(l) be the first derivative of l**3 + l**2/2 - 2*l + 2. Let i be p(-2). Is i <= 8?
True
Suppose -2*q + 5*q - 2*a = 16, a - 31 = -5*q. Is 9/2 equal to q?
False
Let y = -4 + 3.8. Suppose 10 = -4*b + 3*n, 7*b = 3*b - 5*n + 6. Let x be (((-12)/9)/4)/b. Does y = x?
False
Let i(g) be the third derivative of -g**6/120 + g**5/60 - g**3/6 - 2*g**2. Let o be i(-1). Are o and 2 equal?
False
Suppose 5*b - 3*v = -14 - 4, -4*b = 5*v + 7. Is -5 at most b?
True
Let m(v) be the second derivative of v**5/20 + v**4/12 - 2*v**3/3 - 3*v**2/2 - v. Let o be m(-2). Which is bigger: -1/3 or o?
o
Suppose -c - 5*p - 24 = -2*c, 25 = -5*p. Which is greater: 1/8 or c?
1/8
Suppose 4*s + 0*c + 2*c = -22, -3*c = -4*s - 27. Are s and -50/9 equal?
False
Let a be (-133)/(-36) + (-18)/(-120)*5. Is a greater than 4?
True
Let b = 23 - 49/2. Which is greater: b or -1?
-1
Let t(u) = -u**2 + u + 16. Let i be t(0). Let d = -11 + i. Are d and 3 non-equal?
True
Suppose 2*t = 5*w + 4*t, 0 = -3*w - 5*t. Suppose -2*c + 2 + w = 0, -4*c = -2*a - 8. Is -4/7 less than a?
False
Suppose 4*i + 3*h = 3, -4*i + 2 = -4*h - 22. Let v be ((-20)/(-6) - i)/3. Which is greater: v or -1?
v
Suppose 4*t = 18*t + 3*t. Let m = -296 + 3846/13. Is m at most as big as t?
True
Let g = 54 - 68. Is -14 less than g?
False
Suppose -3 - 1 = 2*k. Let i be ((-1)/(-2))/(k/(-4)). Which is smaller: i or 2?
i
Let b = -16 + 17. Is -14 smaller than b?
True
Suppose -3*z - 29 = -5*q, 0 = 5*q - 4*z - 14 - 18. Suppose t = -2*t - 5*y - 22, 5*y + 21 = -q*t. Which is bigger: 0 or t?
t
Let b(x) = -x**2 - 8*x - 43. Let a be b(-4). Which is bigger: a or 0.1?
0.1
Let h = 6.7 - 7. Let f = -0.3 - h. Which is smaller: -2/17 or f?
-2/17
Suppose -2*a + 2*j + 22 = -j, 3*j + 30 = 3*a. Suppose 0 = a*b - 3*b - 5*q - 15, b + 3*q = -1. Let r be 48/28 + (-6)/(-21). Is r < b?
False
Let x = -167 + 108. Is x <= 0.1?
True
Let v(r) = -r - 1. Let a be v(7). Let k = 64 + -74. Which is greater: k or a?
a
Let n = -22 + 57. Which is bigger: 34 or n?
n
Let f be 13/8 + (-45)/30. Is -1 greater than or equal to f?
False
Let h be (20/(-6))/(14/63). Is -18 greater than or equal to h?
False
Let n be -1 + (-8)/4 - -15. Let h be (21/(-4))/((-18)/n). Is h equal to 4?
False
Suppose 4*b = a + 66, 3*b - 2*a - 54 = a. Is b < 16?
False
Let u be (-8 + -2)*6/(-15). Suppose n = -u - 2. Let l(o) = o**3 + 6*o**2 - o - 4. Let q be l(n). Which is bigger: q or 4?
4
Let x be 156/(-248) + (-4)/(-8). Does x = 1?
False
Let t = 50.1 - 4.1. Let x = t - 49.9. Let i = x + 0.9. Which is smaller: 0 or i?
i
Let c = 77.023 + -0.023. Which is greater: c or 2/3?
c
Let z = 16 + -9. Do z and 3 have different values?
True
Let b = -56 + 51. Is b < -29/6?
True
Let l = 0.03 + 0.37. Let d = -2.4 + 1.5. Let c = d - -1.9. Which is smaller: c or l?
l
Let a(g) = 0*g - 4*g**3 + 0*g + g + 8*g**2 + 5*g**3 + 9. Let f be a(-8). Suppose -f = w - v + 2, -4*v - 20 = 0. Is w equal to -8?
True
Let h = 2.02 + -2. Is -0.1 != h?
True
Let x = 1 - -1. Let c = x + -3.9. Let m = 0.1 - c. Which is smaller: -2 or m?
-2
Let i be (-2)/(-5)*318/(-228). Let f = i - 4/95. Which is smaller: 0 or f?
f
Let y(g) = 7*g - 41. Let l be y(6). Which is smaller: l or 4?
l
Let a(w) = w**2 - 3*w - 8. Let h(n) = 1. Let j(d) = a(d) + 4*h(d). Let x be j(3). Suppose -10 = 3*b - 1. Which is greater: b or x?
b
Let n(p) be the third derivative of p**4/8 - p**3/6 + p**2. Let x be n(1). Is -1 less than x?
True
Let a be (-6888)/(-15) + 3/(-15). Let t = a + -2313/5. Is -3 at most t?
False
Let u = 0.09 - 11.09. Let d = -1.1 - -1. Which is smaller: d or u?
u
Let o = -18 + 93/5. Let h = -7/20 + o. Which is greater: h or -0.2?
h
Let i(n) = -n**3 + 6*n**2 - 3*n - 7. Let h be i(5). Which is greater: h or 0?
h
Let f = -8.2 - -8. Let b = -0.5 - f. Which is bigger: -2 or b?
b
Suppose -3*d - 8 = -5*d. Suppose 3*t + 13 = -2*w, 4*t - d = w - 25. Which is smaller: -2/41 or w?
-2/41
Let b(x) = x**3 - 13*x**2 - 14*x + 2. Let v be b(14). Suppose -i = -3 - 1. Which is smaller: i or v?
v
Let t = -42 - -43. Let x(u) = -u - 12. Let m be x(-9). Let l be (0 - (-3)/m)*-2. Is t greater than or equal to l?
False
Let o = -38 + 27. Which is smaller: o or -2/5?
o
Suppose 2*n = 4*n - y - 11, -3*n + 2*y + 19 = 0. Let v be -2 - (n - (-1 + 1)). Is -5 > v?
False
Let u = -12.1 + 12. Let f = -1.2 - -0.2. Which is greater: f or u?
u
Suppose 4*x = 6*x + 4. Suppose 0 = 4*i + z + 3, 0*z - 4*z = -4*i - 8. Which is bigger: x or i?
i
Let v = 2/11 - 19/165. Which is greater: 0 or v?
v
Let p(x) = 7*x + 37. Let o be p(-7). Which is greater: o or 1?
1
Let v = 1.98 + 0.02. Are v and -6 unequal?
True
Suppose -j + 3*j - 5*n - 31 = 0, j - 5*n = 28. Is 3 not equal to j?
False
Let p = 0.04 - 7.04. Let a = -8 - p. Let h = -1 + 5. Is a less than h?
True
Suppose -6*s + 2*s + 8 = 0. Let h = 1 - s. Let g = -1 + h. Which is greater: 1 or g?
1
Suppose 2*q = -3*y - y - 12, 2*y = 2*q - 6. Which is bigger: q or 15/4?
15/4
Suppose 0*g + 4*g + 264 = 0. Let r = g - -267/4. Which is smaller: r or 2?
r
Let n(w) = w + 1. Suppose -p = -5*a - 26, 4*p + 0 = -a - 1. Let z be n(p). Is 2 less than or equal to z?
True
Let j(v) = -v**2 - 5*v - 2. Let u be j(-5). Does u = -1/2?
False
Let i(p) = -p**3 + 6*p**2 + p - 4. Let g be i(3). Is g at least as big as 2?
True
Let g be 6/(-9)*108/(-16). Is g < 5?
True
Suppose 8*h + 18*h + 416 = 0. Is h >= -13?
False
Let z(n) = -n**2 + 9*n. Let i be z(9). Suppose -a + 6*a - 3 = j, i = 2*a - 5*j - 15. Which is smaller: a or -1/13?
-1/13
Let d(t) = -2*t**2 + 8*t - 4. Let s be d(6). Let z be 15/s + (-2)/(-8). Let p = -24/35 - z. Is p equal to -2/5?
True
Let r = 0 - -1. Let t = r + -0.8. Let g = t + -0.3. Which is smaller: -1/4 or g?
-1/4
Suppose -14 = -4*r - 2. Suppose -4 = -4*h - r*v, 3*v - 14 = -3*h - 2*v. Is h < 1?
True
Suppose -s = -3*v + 4*v - 4, 4*s - 18 = -5*v. Suppose -3*i - v*l = -85, 5*i - 3*i + 5*l = 75. Suppose -6*z = -z + i. Do z and -3 have the same value?
False
Suppose 1 = -g + 5. Let q(i) = i**3 - 4*i**2 - i - 4. Let y be q(g). Let m = 8 + y. Is -0.3 less 