 -8*b(g) + 3*k(g). Let w be n(-11). Which is bigger: w or 3/2?
3/2
Suppose 92*t + 10 = 97*t. Let q(j) = 5*j + 5. Let v(f) = 2*f + 2. Let k(w) = -3*q(w) + 7*v(w). Let c be k(-1). Which is smaller: c or t?
c
Let v = 237 - 1181/5. Let r be (-3 - (-6)/3) + -4. Let q = r + 5. Is v < q?
False
Let s be (1/(-5))/(28/175). Is s at most as big as 0?
True
Let f be 1/1 - 3*1. Let x = -0.6 - -0.6. Let a = x - 0.1. Which is smaller: a or f?
f
Let g = 4 - 7. Let z(u) = u**3 + 4*u**2 - 2*u - 4. Let j be z(g). Let t be j/(-15) + (-2)/(-5). Which is greater: -0.2 or t?
-0.2
Suppose 2*h = 4, 0*h = -3*l + 5*h - 7. Which is greater: l or -12?
l
Let o(b) = -2*b**3 - 7*b**2 + 4*b + 6. Let f be o(-4). Are 11 and f nonequal?
True
Let k(j) be the second derivative of -j**4/12 - 7*j**3/6 - j**2 - 2*j. Let u be k(-5). Suppose -3*h + u*h = 0. Is h greater than or equal to 0?
True
Suppose 0 = 2*t + 5*w - 52, -4*t - 2*w + 52 = -5*w. Suppose -4*h = -0 + t. Is h less than -3?
True
Let l(n) = n + 1 + 10 - 2. Let t be -10*-1*(0 + -1). Let j be l(t). Which is smaller: -1/4 or j?
j
Let g(s) = 2*s - 12. Let q(d) = -3*d + 23. Let w(f) = 5*g(f) + 3*q(f). Let o be w(-7). Suppose -2*i = -4*i. Which is smaller: o or i?
i
Suppose 0 = 3*m - 4*f - 29, 2*m = -0*m - 4*f - 14. Does 22/7 = m?
False
Let v = -2.985 + 18.215. Let q = 15 - v. Let g = q - 0.07. Which is smaller: g or -0.1?
g
Suppose -2*n + 3*g + 8 = g, -4*n + 10 = -g. Suppose -5*q - 15 = -5*c, -q - 4*c = -n + 5. Do q and 0 have the same value?
False
Suppose -2 = w + 3*w + 3*i, 3 = w - i. Let o be w + (24/9)/(-4). Which is greater: 5 or o?
5
Let d(j) = -j - 1. Let i be d(-4). Let u be i/14*(-8)/(-6). Is u >= -1?
True
Let r = 0 - -2. Let w = r - 4. Let d be w/2*(-5 - -7). Which is smaller: -1 or d?
d
Let c be (-10)/3 + 4/(-6). Let j(u) = u**2 + 16*u + 19. Let d be j(-15). Suppose -d*w = -w + 15. Which is smaller: c or w?
w
Suppose 2*c = -2*c + 8. Let h be (-25)/(-4) - c/8. Let z be (2/(-6))/(2/h). Is z < -0.1?
True
Let h(j) = 10*j - 8. Let w be h(3). Do w and 23 have the same value?
False
Let v be 0/2 + 6/2. Let g be (-6)/(-4) + v + -4. Which is smaller: 0 or g?
0
Let r = -18 + 21. Let s(p) = p**2 + 5*p + 6. Let f be s(-4). Does f = r?
False
Suppose 4*s - 2 = -3*w + 10, 4*s - 12 = 0. Let r(p) = 61*p. Let a be r(1). Let n = -425/7 + a. Is n at most w?
False
Let q = 7781/105 + -223/3. Which is smaller: q or -1?
-1
Let o = -199/12 + 50/3. Let u(r) = -r - 8. Let k be u(-7). Does k = o?
False
Let r = 0 + -9. Let f be r/27 - (-1)/(-3). Is -2 < f?
True
Let y = 42 + -46.9. Let a = y - -5. Which is greater: a or -0.1?
a
Let l = 2 + -5. Let c = 3 + l. Let d(s) = -2*s**2 + 4*s - 3. Let u be d(1). Is c >= u?
True
Let j(b) = -b**3 + 9*b**2 + 10*b + 2. Let g be j(10). Let y = -2 + g. Suppose -i + 1 = -y*i. Which is smaller: 1/7 or i?
1/7
Suppose v = 4*h + 5, -v + 6 = 5*h + 37. Which is smaller: -10 or v?
v
Let o = 129 - 127. Is o at most as big as 20?
True
Let s = -4 + 4. Let n(h) = -h**2 + 2*h + 1. Let l be (-2)/5 + 3/(-5). Let c be n(l). Is s less than c?
False
Let c = -3 - 1. Let o = -6 - c. Which is smaller: -1 or o?
o
Let x be (-2)/(-6) + 3 + 235/(-3). Which is greater: -74 or x?
-74
Let z = 6 + -5. Let k be z/(33/(-15) - -2). Which is smaller: k or -4?
k
Let v(d) = -d**2 - 15*d - 26. Let f be v(-13). Let h = -6 - -9. Suppose f = 8*j - h*j + 20. Which is smaller: -5 or j?
-5
Let s be (-263)/(3 + 2/(-3)). Let w = s - -113. Is 1 bigger than w?
True
Let z = 24 + -25. Let f = -4 - -3. Is f equal to z?
True
Let b = -32 + 36. Is 14 bigger than b?
True
Suppose -14 = -2*f + 3*f. Is -15 != f?
True
Suppose -3*y - 23 = -5*v, 2*v + y - 7 = -0*y. Let g = v + -5. Which is smaller: g or 1/4?
g
Let o be 16/7 + (-6)/21. Suppose -6 = o*b - 20. Let f = b - 4. Are -2/7 and f equal?
False
Let y = -116 + 114. Which is smaller: -11 or y?
-11
Let v = 176/3 + -7571/129. Is v <= 0?
True
Suppose -7*l = -0*l. Which is smaller: l or 1/29?
l
Let r be 2/6 + (-2)/6. Let z = 15.7 - -0.3. Let o = z + -15.9. Are o and r unequal?
True
Suppose 4*b = -2 - 22. Let l(g) = -g**3 - 6*g**2 - g - 8. Let i be l(b). Which is smaller: i or 1?
i
Suppose 3*c = -3*o + 24, 2*c - 3*o = 2*o + 30. Let h be (-112)/(-20) + 4/c. Are 6 and h equal?
True
Let g = -3.4 + 0.4. Let x = -0.17 - -6.17. Let o = g + x. Which is smaller: 1/2 or o?
1/2
Suppose -4*k - 3*v - 16 = -0*v, -5*v = k + 21. Let s be (-140)/65 - 2/k. Does -1 = s?
False
Suppose b + 0*b = -12. Let p be -1 + ((-50)/b)/5. Suppose 533 - 534 = -i. Which is bigger: i or p?
i
Let u be 5/(5 - 0) + -1 + -4. Which is smaller: -5 or u?
-5
Let g(c) = 4*c - 9. Let j be g(5). Which is smaller: j or 10?
10
Let y(x) = x**3 - 5*x**2 + 2*x - 3. Let h be y(5). Let g be -6 - -9 - (-2 + -2). Let m be ((-2)/h)/((-3)/g). Which is bigger: -0.4 or m?
m
Suppose 0 = -2*q + 5*i + 12, 9*i - 4*i + 8 = -2*q. Suppose 0 = -2*z - 0*j + 5*j + q, -5*z - 5*j = 50. Let g be z/(-4) + -2 - 0. Is g at least 0?
False
Let k(d) = 8*d - 1. Let b be k(1). Let v(a) be the third derivative of -a**4/24 + 2*a**3/3 + 2*a**2. Let h be v(b). Which is smaller: 0 or h?
h
Suppose 40 = 5*v - v. Are 10 and v nonequal?
False
Let t be -2 - (-6)/4*2. Let i be -3 + t + (1 - 3). Let u be (-2)/i + (-1)/4. Which is smaller: 1 or u?
u
Let v = 1.87 - -0.23. Let a = 1.1 - v. Is a at most 1/7?
True
Let c = -1/163 - 323/489. Which is bigger: 5 or c?
5
Let a be 55/(-25) + 1/5. Let p = a - -4. Suppose -p = 2*u - 4. Is u greater than 1?
False
Let a = 181 - 125. Suppose 17*p - 13*p - a = 0. Are 14 and p non-equal?
False
Let f = -71 - -14. Which is greater: f or -2/5?
-2/5
Let x = 33 + -45. Suppose -3*f + u = 21 + 13, 0 = -5*f - 3*u - 80. Which is greater: f or x?
x
Let o = 0.32 - 0.52. Is o greater than or equal to 2/3?
False
Let u = 33 - 34. Which is greater: 2/25 or u?
2/25
Let h = 0.14 - 0.34. Is 5 > h?
True
Let i be 34/(-4) + -2 - (-10)/20. Which is smaller: -12 or i?
-12
Suppose g - 5*s - 12 = 0, -g + 0 = 4*s + 6. Suppose 5*d + 2*p + 16 = -0*d, -g*d = 4*p. Which is greater: -5 or d?
d
Let c = -7.7 - 0.2. Let o = c - -8. Do -1 and o have the same value?
False
Let a = 6.1 - -1.9. Let t = a - 4. Let b = 3 - t. Does b = 2?
False
Let r = -0.004 + -25.996. Let a = -27 - r. Which is smaller: 11 or a?
a
Let f = 7.98 + 0.02. Let u = f + -8.1. Let q be ((-9)/162)/(2/8). Which is greater: u or q?
u
Suppose 2*s = -5*w - 8, -4*s = -4*w - 0*w - 12. Let u be (s - 6) + -3 + -3. Is u less than or equal to -11?
True
Let q = 1.3 + -0.3. Let w = -0.34 + -0.26. Let c = q + w. Is c >= -2?
True
Let x be 15/90 + 4/(-6). Which is bigger: -41 or x?
x
Suppose 4*h + 3*q = -h + 44, 0 = 2*q + 4. Let i be 2*(-2)/h*5. Let v be (i/8)/(2/(-8)). Which is smaller: v or -0.1?
-0.1
Let n = 90 + -88. Is 8/7 < n?
True
Let w = -14 + 8. Let b = w - -8. Is b smaller than 3?
True
Let u = -178 - -177.66. Which is smaller: 2/7 or u?
u
Let y = -42 + 46. Let a be (4/(-8))/(2/(-8)). Suppose -y = -a*q + 6*q. Which is bigger: -2 or q?
q
Let h(p) = -5 - 6 + 2 - 2*p. Let t be h(-5). Is 1/8 greater than t?
False
Suppose 0 = -4*n - 4 - 0. Let w = 77.97 + -78. Which is smaller: n or w?
n
Suppose t + 9 = -0*o - 2*o, 3*t + 3*o + 15 = 0. Which is smaller: 13 or t?
t
Let w(c) = -c**3 + 5*c**2 + 15*c - 10. Let n be w(7). Which is bigger: n or -5?
n
Let l = -84316/299 - -282. Which is smaller: -1 or l?
-1
Let o = 42 - 41. Is 11/20 less than or equal to o?
True
Suppose 4*j - 24 = -o, -4*j + 2*o + 24 = -0*j. Which is smaller: j or 1/3?
1/3
Suppose 3*g - b - 4*b + 2 = 0, -4*g + 2 = -2*b. Let l(r) = -r**2 - 5*r + 3. Let c be l(-6). Let i be (-1)/(-2) - (-1)/c. Are i and g unequal?
True
Let c = 3 - -1. Suppose 6*r - r - 5 = 0. Suppose -5*v + 13 = -d, 0*v - r = -v + d. Are c and v equal?
False
Let v = 11 - 7. Is v >= 5?
False
Let s = 2 - -6. Let r = 6 - s. Is r <= 2?
True
Let j(c) = -c**2 + 16*c - 19. Suppose -92 = -5*y - 22. Let s be j(y). Is s at most as big as 9?
True
Let v(a) = -a - 10. Let k be v(-5). Let w be (k - -5)/(2 - 1). Are 0 and w nonequal?
False
Suppose 6*g - 5*g - 12 = 0. Are 12 and g equal?
True
Let k = -4/145 + -5/29. Is 0 < k?
False
Let r = 4.18 - 4. Let h = -0.52 - r. Let v = -0.5 - h. Which is smaller: v or 2/7?
v
Let l = -4 + 3. Suppose -5*r = -13 + 3. Suppose -5*o = -r*v + 10, -2*o - 3 - 1 = -2*v. Is l at most as big as v?
True
Let p be (10/(-