= -b - 10. Let h(r) = r**2 - 9*r - 4. Let f be h(9). Which is greater: b or f?
b
Suppose 0 = -x, -2*x = 5*i - 5*x. Let n(a) = 2*a**3 + 3*a**2 + 2*a + 3. Let p be n(-2). Let s be 2/p - 16/10. Which is smaller: i or s?
s
Let a be (-6)/(-9) + (-8)/(-6). Suppose -5*n = -a*v - 0*v + 13, n + 5 = -2*v. Which is bigger: 1/3 or v?
1/3
Let y be 4/(-10) - 96/10. Let l be (-24)/y*1/(-9). Which is smaller: l or -1?
-1
Suppose 2*h - 9 = 3. Suppose h*d - 5*f = 2*d - 4, -3*f + 28 = 4*d. Suppose 0 = -v + 5*r - 7, -1 - 9 = d*v - 2*r. Which is bigger: v or -2/3?
-2/3
Suppose -2*k - 3 = -3*k. Let t = 6 + -7.5. Let z = 0.5 + t. Which is smaller: z or k?
z
Let l = -486 + 490. Suppose -5*x = -5*h + 40, -h + 2*h - 5*x = 28. Is h smaller than l?
True
Let k(t) be the third derivative of -t**6/120 + t**5/20 - t**3/6 + t**2. Let s be k(2). Which is smaller: s or 3/2?
3/2
Let o(f) be the first derivative of -f**3/3 - 9*f**2/2 - 9*f + 2. Let w be o(-8). Let v be 2*w - (-4)/(-2). Is -5 smaller than v?
True
Suppose -20 = 5*m - 5*g, -2*g = 3*m - 7*g + 20. Suppose 0 = -3*v - m*v + 3*f + 6, 0 = -4*v - 5*f + 26. Which is smaller: v or 2?
2
Suppose -5*s + 13 = -s + 3*a, 5*s = -5*a + 15. Suppose -z = -5*g - 11, 0*z - 4*z = s*g + 4. Which is smaller: 0.2 or z?
0.2
Suppose 0 = -3*b + 3 - 30. Let j be (6/(-4))/((-33)/(-44)). Is j > b?
True
Let h = 33 + -39. Which is bigger: h or -5?
-5
Suppose 2*h + h - j + 8 = 0, 0 = -5*h + 4*j - 11. Let f be h*-3*8/18. Is f bigger than 4?
False
Let z(b) = -3 + 3 + b**2 - 2*b**2 + b. Let v be z(1). Is 1/6 at least as big as v?
True
Let c be -1 - -1 - 0 - 0. Which is bigger: -2/59 or c?
c
Let k = 40703 - 205212/5. Let n = k - -343. Let w = n + -31/10. Which is bigger: 0 or w?
w
Let w = 285 + -291.03. Let d = -0.03 - w. Which is smaller: d or -1/4?
-1/4
Let y = 20.1 + -20. Let o = 1 - 4. Which is greater: o or y?
y
Let w = -1133/900 + 2/225. Is -1 equal to w?
False
Let w = 1.11 - 1.1. Is w smaller than 0?
False
Let n = 29 - 17. Suppose s - n = -2*s. Suppose 2*g - 34 = s*a, 0 = -g - g - 4*a - 6. Is 7 at least as big as g?
True
Suppose -83 = -4*i + 5*f + 42, -5*f = -5*i + 155. Let g be 0/2 + 2966/i. Let n = g + -99. Is n <= -1?
False
Suppose g = -4*g - 5*l - 575, g + 5*l + 135 = 0. Do -111 and g have the same value?
False
Let f(l) = -l**2 - 2*l - 2. Let s be f(-4). Let n be (4/s)/(2/(-30)). Suppose p + 0*p - n = -i, -2*i + 5*p - 16 = 0. Which is bigger: i or 0.1?
i
Let q be 18/4*2/3. Let k be (1 - q)*2/(-8). Which is greater: 0 or k?
k
Let v(w) = -5*w - 9. Let h be v(-5). Is 16 <= h?
True
Let z = 16 + -28. Which is smaller: -1 or z?
z
Suppose 2*d + 3*d = -4*g + 78, -5*g = 4*d - 93. Is g smaller than 19?
True
Let j = -16 - -20. Which is greater: j or 0.2?
j
Let t be ((-28)/5)/(4/(-10)). Suppose t + 16 = 3*s. Is 9 at least s?
False
Let z(f) = -f**2 - 5*f + 8. Let p be z(-6). Let l be 0/1*p/(-4). Is -4/3 not equal to l?
True
Suppose -12 = -6*g + 3*g. Suppose 5*n + 11 = -u, -g*n = 2*u - 3 + 13. Is n bigger than -2/3?
False
Let l(a) = 2*a**3 - 2*a**2 - 2. Let t be l(2). Is t smaller than 7?
True
Let i = 3 - 5. Let z be 1 - (i/(-5))/1. Let p be 12/(-9)*3/(-2). Which is bigger: p or z?
p
Let t(j) = -5*j - 1. Let p be t(-10). Which is smaller: p or 48?
48
Suppose -4*x + 11 + 25 = 0. Which is bigger: 11 or x?
11
Let y(z) = -2*z - 19. Let w be y(-10). Which is smaller: 3/4 or w?
3/4
Let n = 17/15 - 5/6. Which is greater: 0 or n?
n
Suppose -y + 0*y - 9 = 0. Let g(h) = 3*h + 15. Let m be g(y). Is -11 not equal to m?
True
Suppose 4*h = -4*q + 24, 3*q + 2 = 5*h - 3*h. Suppose -g - h*g - 10 = 0. Let f = -3 + 2.8. Which is greater: g or f?
f
Suppose 1 - 3 = -2*x. Suppose 0 = w - 8*v + 4*v - 11, -4*w - 3*v = 13. Is w <= x?
True
Let x = -18 - -37. Let h = x - 18.92. Is 2 < h?
False
Let d be (6/(-4))/(1/(-12)). Suppose -2*n - d = n. Is -6 at least n?
True
Suppose 2*v - 3*y - 6 = 0, -6*y - 8 = -2*y. Let m = -3 - -2.7. Is v greater than or equal to m?
True
Let j be 6/5*1/(-2). Suppose 0 = -v + 2, 0 = -3*c + 4*v - 5*v - 7. Let a be (1 + -2)*(-6)/c. Is j bigger than a?
True
Let v = 3/13 - 19/26. Let z = 4.2 + -3. Let g = 0.2 - z. Which is smaller: v or g?
g
Suppose -8 + 8 = -7*l. Is -2/29 at most as big as l?
True
Suppose 2*v = 2*g - 8, -8*v + 8 = 5*g - 10*v. Is g less than or equal to 1/2?
True
Let q be (-2)/3 - 22/(-24). Which is bigger: q or 7?
7
Let h = 1.49 - 3.49. Is 14/11 > h?
True
Let c = 52 - 155/3. Which is smaller: -112 or c?
-112
Let v be (1/(-3))/((-8)/18). Suppose p + 6 = 3*c, -c - 2*p + 0 + 2 = 0. Is v != c?
True
Let f = -223/3 - -75. Let z = -2 + 4. Are f and z equal?
False
Let h(v) = -v**3 - 3*v**2 + 5*v - 7. Let q(s) = s**3 + 2*s**2 - 5*s + 6. Let p(t) = 6*h(t) + 7*q(t). Let k be p(5). Which is greater: 2/11 or k?
2/11
Let s(f) = -f - 2. Let k be s(2). Let q be (2 + k)/(-2)*-1. Which is smaller: q or -6?
-6
Suppose a = r + 9, 2*r - a + 5*a = 12. Let q be 4/(20/(-15)) - 1. Are r and q non-equal?
False
Suppose 0 = l - p + 1, l + 1 = 3*l - p. Suppose -b - l = -3*b. Is b > 1?
False
Let n be (-7 + 6)*(4 + -1). Is n < 1?
True
Let i(d) = -d**3 - 14*d**2 - 8*d - 5. Let h be i(-13). Which is smaller: h or -69?
h
Let m = 3.1 - 3. Let w = -0.3 + m. Let g = -1.2 - w. Which is greater: -2 or g?
g
Let f be 16/(-7) + 6/21. Let h = f + -3. Is h at most -6?
False
Let j(r) = -4*r + 11. Let o(u) be the third derivative of -5*u**4/24 + 2*u**3 - u**2. Let x(y) = 6*j(y) - 5*o(y). Let m be x(-6). Is -1 less than m?
True
Suppose 4*d - 15 = -3*s, 6*d + 2*s = d + 10. Does 4 = d?
False
Let q = 2.4 + -1.4. Which is smaller: q or -2/9?
-2/9
Let s = 0.17 + -23.17. Let v = 17 + s. Which is greater: v or -1?
-1
Suppose -4*u - 170 = -p, -4*p + 2*p + 358 = u. Let f be -2 - ((-2496)/14 + -2). Let d = p - f. Which is greater: d or 0.2?
0.2
Let h be ((-15)/20)/((-6)/4). Let b = -4/57 - 24/19. Which is smaller: b or h?
b
Let v be ((-56)/(-12))/((-4)/8). Is -9 > v?
True
Suppose 55 = 5*k - 5*f, -3*k - 3*f + 0*f = -51. Let v = 15 - k. Which is smaller: v or -2/13?
-2/13
Suppose 3*b = -5*x + 2, 0 - 14 = -5*b - 3*x. Let k(f) = -b*f + 4*f - 3 - f. Let n be k(4). Which is greater: n or -6?
-6
Let p = 79079 - 13047974/165. Let d = 2/55 - p. Let y = 77.1 - 77. Which is bigger: d or y?
y
Let v(z) = 3*z + 2*z - 3*z - 3*z. Let m be v(-4). Suppose t = m*t. Is t != -1?
True
Let c(w) = -w**2 + 10*w + 5. Let o be c(12). Which is smaller: -18 or o?
o
Let q = -3 - 0. Let c be q/9*(0 - 2). Let t = 0 + 1. Which is greater: c or t?
t
Let c = 12 + -10. Let q = -7 + 7.2. Which is smaller: c or q?
q
Suppose 0 = n - 2 + 3. Which is greater: n or 8/3?
8/3
Let z = 6 + -6. Is -0.3 not equal to z?
True
Let z = -15 + 15. Let u = z + 8. Is 7 at most u?
True
Let m be (3 + -4)/(3 - 8). Which is bigger: 1 or m?
1
Let z be 190/8*(-96)/308. Let h = z + 55/7. Which is smaller: 0.1 or h?
0.1
Let j be 31/(-35) + 1 - (-2)/7. Which is bigger: j or 2/27?
j
Let a be (-2)/22*1*-6. Suppose -d = 5*m + 3, 8 + 0 = 3*d - 2*m. Is d at least a?
True
Let n(s) be the third derivative of -3*s**5/20 + s**3/6 - s**2. Let f be n(1). Let x be (-1)/(-4) - (-34)/f. Which is bigger: x or -3?
-3
Let j be -3*(-1)/((-2)/(-15)). Let c = 1375/12 - 821/6. Let p = j + c. Which is greater: 4 or p?
4
Let s = 44 - 47. Let l = 2 + -5. Is s at least l?
True
Suppose -45 = -3*a + 9. Let y = -55/3 + a. Is y < -2?
False
Suppose 0*u = -3*u - 2*z - 1, 3*z + 15 = 0. Which is smaller: 7/3 or u?
7/3
Suppose -51*q + 250 = -56*q. Which is smaller: q or -49?
q
Let s = -4 - -3.7. Let v be 35/21 - 44/30. Is v greater than or equal to s?
True
Let t(g) be the third derivative of g**4/24 + 7*g**3/6 + g**2. Let b be t(-6). Suppose -4*q = 5 - b. Is 3/8 < q?
False
Let h(z) = -3*z - 19. Suppose -u + 4*u - 9 = -f, 38 = -3*f + 4*u. Let m be h(f). Which is bigger: 0.1 or m?
0.1
Let a(i) be the second derivative of i**3/6 - 7*i**2/2 + 4*i. Let b be a(13). Let r be b/(-10) - (-10)/(-25). Is 1 at least r?
True
Let y = -1 + 1. Let g = -2 - -2.1. Does y = g?
False
Let u = -5/13 - -9/91. Is u bigger than -1?
True
Let o = 1.97 - -0.03. Let a = o - 1.95. Let d = 0.35 - a. Are d and 1 non-equal?
True
Let u be (-1)/(1/(-1 + 0)). Let v be (u/(-1 + 2))/(-7). Suppose 7*b + 758 - 758 = 0. Which is smaller: b or v?
v
Let z = 469.8 + -431. Let u = z - 35. Let k = u + -4. Which is smaller: 0.4 or k?
k
