6)). Which is bigger: 0 or g?
g
Suppose 0 = -0*m + 3*m + 39. Let u = m + 8. Which is smaller: -2 or u?
u
Suppose -2*o + 9 = 2*j - 3*j, 5*j + 2*o - 15 = 0. Suppose -j = -l - 0*l. Let t = 4 - 2. Which is bigger: t or l?
t
Suppose 5*c - 101 = 4*h, -5*h + 2*h - 47 = 2*c. Which is greater: -21 or h?
h
Let h(l) = l**3 + 1. Let p be h(0). Let u(y) = 2*y**2 + 4*y - 5. Let o be u(-4). Suppose 5*i - 4 = o. Which is smaller: p or i?
p
Let p(b) = 2*b**2 + 16*b - 1. Let h be p(-9). Which is smaller: -0.2 or h?
-0.2
Let h be 2 - 1 - 6/3. Which is bigger: 2/27 or h?
2/27
Suppose -5*j + 25 = 0, j + 29 = q + 6*j. Suppose -q*x + 5 = 1. Which is greater: x or 2/5?
x
Let y be (10 - -5)*1/(-3). Is y bigger than -5?
False
Let s be -4 + 4 + (1 - -6). Let t be s/(-5) - (8 + -9). Is t > 1?
False
Let s be (17/6)/((-1)/23). Let j = s + 65. Suppose -5*t + 4*n + 4 = 1, -15 = 5*t + 5*n. Which is smaller: t or j?
t
Let z = -784/6375 + 2/375. Let j = -2 - -2. Which is greater: j or z?
j
Let v(g) be the second derivative of -g**5/20 + g**3/6 + g**2/2 + 3*g. Let h be v(-1). Let m be ((-20)/6)/((-4)/6). Is h < m?
True
Let o = 4 + -1. Let u = 4 - o. Let y be 1/1 + 3/(-12). Is y less than u?
True
Let o be 15/(-13) + (-26)/(-169). Is o > -1?
False
Let s(n) = -4*n - 2 + 4*n + n - 2*n. Let r be s(-2). Is r at least as big as 1/4?
False
Suppose 2*b + 4 = 6. Let a = b - 1. Let n = -65 + 65.1. Which is smaller: a or n?
a
Let u = 19 + -27. Which is smaller: 1 or u?
u
Let w(s) = -s - 1. Let g be w(-9). Which is smaller: -3 or g?
-3
Let o = 1/34 - 73/170. Which is bigger: o or -2/7?
-2/7
Let c = 12 + -11.9. Let f be (-2)/7 - 68/(-140). Which is smaller: f or c?
c
Let y(w) = -w + 13. Let t be y(14). Is t greater than -2/59?
False
Let u = -1.9 - -2.1. Which is smaller: u or 1/3?
u
Let r(v) be the second derivative of -v**5/20 + 7*v**4/12 - v**3 + v**2 - 3*v. Let k be r(6). Is k >= 2?
True
Let v be (-2)/(-8) + 84/(-464). Let b = v + -64/87. Let o be (2/5)/(8/10). Is b equal to o?
False
Let u be (-9)/(-11) - 16/(-88). Is u at least 3/7?
True
Let k = 51.8 - 47. Let m = -0.8 + k. Let g = m - 4.1. Which is smaller: -1 or g?
-1
Let r be -1*8 + 0/(-2). Let w be (39 + -3)*3/r. Let k = w + 85/6. Is 0 <= k?
True
Let f = -197/3 + 65. Is 1/3 < f?
False
Suppose -l = -q - 81, 4*l + q = -0*l + 324. Is l > 80?
True
Let j = -3.93 - 0.07. Let z = j + 5. Let s = 1.5 + -0.5. Is z bigger than s?
False
Let l = -0.07 + 0.07. Which is bigger: l or 19?
19
Suppose 20 = -4*n - r - 3*r, 3*n - 5*r = 25. Suppose n = t + 6 - 3. Let j be t/((-6)/4) + -2. Which is smaller: 2 or j?
j
Let j = 9 + -24. Is -14 not equal to j?
True
Let o(n) = -n - 4. Let b be o(-2). Let g = 4 - 3. Let h be 0/(g - (0 - b)). Which is smaller: h or -1?
-1
Suppose -p + 4 = -0*p. Let a be (1/(-2))/((-2)/p). Which is bigger: -2 or a?
a
Let r(p) = -p**3 - 12*p**2 - 13*p - 16. Let b be r(-11). Let m be (3/b)/(1/2). Is 5/6 bigger than m?
False
Let k be 18/(-5) + (-6)/15. Suppose 4*v + u = -4 - 28, u - 22 = 2*v. Let d be (v/(-6))/(2/(-4)). Which is bigger: k or d?
d
Let d = 11.91 - 12. Let r = -4.91 + d. Let g = r + 4.95. Is -0.1 >= g?
False
Let c = 0 - -3. Suppose 0 = 4*o, -c*o + 2*o = -2*r. Which is smaller: r or -1?
-1
Let u(d) = d**2 - 4*d + 3. Let s be u(3). Is s < 2?
True
Let f be (-1*3)/((-3)/(-4)). Let b be 1/2 - (-1)/f. Which is smaller: 0 or b?
0
Let v be 108/15 + (-2)/10. Suppose -3*o - v - 11 = 0. Let s be ((-4)/o)/(4/(-36)). Which is smaller: s or -5?
s
Let l = -30 - -15. Let n be 481/l + (-3)/9. Let w = -32 - n. Which is smaller: -1 or w?
-1
Let j = 102/47 - 10004/4653. Which is smaller: j or 0?
0
Suppose 5*u - 19 = -2*k, 5*u + 3*k = -0*k + 21. Suppose -2 = -g + 5*y + 2, u*g = y + 12. Let b be 3/(2*2/(-4)) - -6. Which is smaller: b or g?
b
Let s = -22/41 + -1057/246. Which is greater: -6 or s?
s
Suppose 2 = 4*k + 10. Let h = 39 - 44. Is h smaller than k?
True
Let z be -1 + (0/(-1))/(-2). Let v = 3 - 2. Let p be 11/(-5) + v/5. Which is bigger: p or z?
z
Let h(r) = -r**2 - 7*r + 1. Suppose 0 = 3*f + 2*v + 5 - 0, -2*f + v - 15 = 0. Let y be h(f). Are y and 10 equal?
False
Let i be 16/(-24)*9/2. Let s be 0/((-1)/i*3). Let v(k) = k**2 + 6*k + 1. Let z be v(-6). Which is smaller: s or z?
s
Let v be 1*((-10)/(-14) + -1). Let l be (-4)/12*(0 + 3). Which is smaller: v or l?
l
Suppose 0*q = -5*z + 3*q - 111, -4*z = 5*q + 111. Is -23 >= z?
True
Let i = -6 + 12. Let m = i - 2. Suppose -3*k = -m*k. Is 1/11 at least as big as k?
True
Let b = -17.4 - -16. Let u = -0.6 + b. Let q = -5 + 6. Which is smaller: q or u?
u
Let d(v) = -v**2 - 6*v - 6. Let g be d(-5). Is 2/15 less than or equal to g?
False
Let r(k) = -k**2 + 5*k - 4. Let f(h) = -h**3 + 4*h**2 + 4. Let x be f(4). Let m be r(x). Suppose 3*i = -m*i. Which is bigger: i or -1?
i
Let k be (-3*(-4)/732)/1. Which is smaller: 1 or k?
k
Let x = 0.6 + -1. Let t = -180 - -1262/7. Is x greater than or equal to t?
False
Let s be (404/104 + -4)*2. Is s greater than or equal to 1?
False
Let w = 7.6 - 9. Let a = 0.4 + w. Let j = -4/15 + -2/5. Does a = j?
False
Let l(s) = s**3 - 3*s**2 - 2*s - 4. Let q be l(4). Let z = q - 5. Let w be 0*((-3)/3)/z. Do 1 and w have the same value?
False
Suppose 0 = 5*z - 4 + 19. Let s = 1 - 3. Is z less than s?
True
Suppose -2*a = -3 - 5. Which is smaller: a or 6?
a
Suppose 4*x = -0*x + 2*k + 22, 5*k = 25. Is x at least as big as 8?
True
Let x = 2574730828/595 - 4327277. Let z = x + 1/85. Which is smaller: z or 2?
z
Let x = -8 - -8.1. Which is greater: -2 or x?
x
Let c = -11222 + 80147/7. Let l = c - 227. Is 1 < l?
False
Let m be (-9)/(-27) - 37/3. Let x be 8/m + 4/6. Is 1 smaller than x?
False
Let z be 227/(-24) - -9 - (-3)/9. Let c(x) = x**3 + 2*x**2 - x - 2. Let n be c(-2). Do z and n have the same value?
False
Let v = 1 - 1. Let b(s) = v*s - 3 - 2*s + s. Let x be b(-3). Is x > -1?
True
Let l = 71.9 - 72. Is 9.7 <= l?
False
Let d = -145 + 73. Are -72 and d nonequal?
False
Suppose -w = 4*w - 30. Suppose 0*i - 5 = -i. Which is greater: w or i?
w
Let h = 1.1 - -0.4. Let t = -1.2 + h. Which is greater: -0.1 or t?
t
Let d = 0.31 - 13.31. Let x = d - -6. Which is greater: -1 or x?
-1
Let z be ((-2)/3)/((-2)/(-3)). Let t be (0 + 0 + 0)/z. Suppose 15 = -7*h + 8. Which is smaller: h or t?
h
Let j be -1 - 4 - -3 - -100. Let y = 684/7 - j. Suppose -o = -4*o + 3. Which is greater: o or y?
o
Let r = -32 + 48. Let v be r/(-28) + (-22)/(-63). Let n = 1.8 + 0.2. Which is bigger: v or n?
n
Let q = -7.01 - -0.01. Let v = 2 + 5. Let i = v + q. Which is greater: i or -2/9?
i
Suppose -6*x + 4*x + 29 = 3*d, x + 5*d - 32 = 0. Suppose -3*n = -2*a - x*n - 22, 2*a = 5*n + 14. Which is greater: a or 0?
0
Let j(g) = -g**3 - 7*g**2 - 4*g + 3. Let b be j(-6). Let c = 12 + b. Is c smaller than 2?
False
Suppose -4*z = 2 + 2. Let j = z + 3. Let s = 17/26 + -2/13. Which is bigger: j or s?
j
Let d = -14 - -14. Which is bigger: -1/5 or d?
d
Let v = 0.15 + 2.85. Let s = 0.09 - 7.09. Let l = -5 - s. Which is greater: l or v?
v
Suppose p = -3 + 5, 3*n = 2*p + 2. Suppose r = 2*r + 3*q, -r - n*q = 0. Is r smaller than 4/5?
True
Suppose 0 = -3*m + 7*m - 3*s - 10, -2*s - 1 = 3*m. Let j = -485/7 + 69. Is m >= j?
True
Let b(t) = -t**2 - 3*t - 2. Let s be b(-2). Let j = -0.24 + 0.04. Let y = 0.4 + j. Which is bigger: y or s?
y
Suppose 3*a - 9 = -2*y + 2*a, -3*y + 5*a = -20. Suppose o + 22 = 5*o + y*m, 4*m + 4 = 4*o. Which is smaller: o or 4?
o
Let q = -568467959/245 + 2320271. Let b = q - -261424/38465. Let p = b + -2/157. Which is smaller: p or -0.3?
-0.3
Let x(w) = -w**3 + 6*w**2 - 3*w - 5. Let o be x(5). Suppose -o*f = -7*f. Which is smaller: f or -2/3?
-2/3
Suppose -2*u - 4*a + 4 = -0*a, 3*u + 5*a - 3 = 0. Let f(p) = p**2 + 5*p + 6. Let t be f(u). Let g be (t/(-1) - 0)*-2. Which is smaller: g or 3?
3
Let k be (-78)/24 + ((-18)/(-8))/(-3). Which is smaller: k or 7?
k
Let u be (-33)/(-74) + (-2)/4. Is u not equal to -1?
True
Let t be 2/(3444/130474) - 0. Let q = 292/123 + t. Let a = 79 - q. Which is smaller: 2 or a?
a
Let k = -129 - -144. Is 13 less than k?
True
Suppose -8*w + 4*w = -8. Which is bigger: w or 2/3?
w
Let v = -0.17 + 0.27. Which is smaller: -0.06 or v?
-0.06
Let x be -2 - (-26)/12 - (-133)/(-6). Is x greater than or equal to -19?
False
Let h(b) = 5*b**3 - b**2 + b - 1. Let n be h(1). Suppose 2*o = -5*f +