s = 0, 4*x + 8 = -9*t + 4*t. Solve 0 = 2*b + 2, t*b = 2*h - 4*b - 4 for h.
0
Let d(p) = -p**3 - 2*p**2 + 2*p. Let n be d(-3). Let o = -114 - -117. Solve -4*j - 3 = -3*j - 2*m, n*m - o = 0 for j.
-1
Suppose 0 = -3*s + 2*s. Suppose 4*p + 16 = s, -5*x = 3*p - 2*p - 56. Let u = -7 + x. Solve 4*g - 5 = -3*t, 4*g - 8 = t - u*t for g.
-1
Let x(v) = -7*v - 6. Suppose 3*m + 16 - 4 = 0. Let y be x(m). Solve -4*i + 2*f + 0*f = y, -3*i - f = 9 for i.
-4
Let h be 12/8 + (-21)/(-6). Solve -6*n = h*a - 2*n - 11, 4*a + 2*n - 4 = 0 for a.
-1
Let t(k) = k + 25. Let x be t(-13). Suppose -37 + x = -5*r. Solve 2*f = -u - 0*u - 4, u + 4 = r*f for f.
0
Let v = -7 - -10. Solve 5*n + 16 = n, v*t - 8 = 5*n for t.
-4
Suppose 4*k - 230 = -90. Solve -7*h + 2*h = 2*w + k, -4*h = 20 for w.
-5
Let u = 11 + -7. Let b be (-2 + -6)/(u/(-8)). Let s = b - 11. Solve 5*j = s*k - 45, k - 3*j = -4*k + 37 for k.
5
Let v(m) = 3*m + 18. Let u be v(-6). Solve u = -2*d + 4*l + 4, -d + l - 2 = 3*l for d.
0
Let c be 20/(-10)*(2 - 4). Suppose 0 = -c*s - 3*k + k + 18, -s = -5*k - 10. Solve -3*u + 5*t + 15 = 0, -4*u + 15 = -3*t - s for u.
5
Suppose 0*i = -2*i - 4. Let m be (0 - (-5)/(-2))*i. Solve 3 = x + 3*f + 1, m*x + 5*f = 0 for x.
-1
Let j be 6/4 - (-60)/(-8). Let a = 9 + j. Solve 4*v = -w + 1, 13 = a*w + 5*v + 3 for w.
5
Let q be 3/6 - 6/4. Let g(x) = -x + 5. Let r be g(5). Let p be (-1 - r)/(q/2). Solve 0 = -4*d - 2*b + 24, -2*d - 3*d + p*b = -21 for d.
5
Suppose -2*h - 30 = 2*h + 2*f, h + 12 = -2*f. Let x be (4 + -3)/((-2)/h). Solve 3*y = -5*p + x*p + 7, 5*p + 17 = 4*y for y.
3
Suppose -4*u + 0*u + 13 = -f, u - 5 = 2*f. Suppose -37 = -2*l - u*l + d, d - 3 = 0. Suppose -4 = r - l. Solve -4*z - 2*b = r, z - 1 = -b - 0 for z.
-3
Let g(l) = -8*l + 12. Let h be g(0). Solve -d - 4 = -3*b - 0, -4*b - 2*d + h = 0 for b.
2
Let o(z) be the first derivative of z**3/3 - 7*z**2/2 + 5*z - 6. Let w be o(7). Solve 22 = 2*y + w*v - 1, 0 = -y - 4*v + 16 for y.
4
Suppose -5*k + 4*d = -2, -4*d + 4 = 2*k - 8. Suppose 0 = -c + 3 + k. Suppose c*q - 23 - 1 = -2*z, z - 6 = -q. Solve -3*n + 0 + 2 = 2*m, 4*m = 2*n + q for n.
0
Suppose -12 = 4*v, -4*f - 2*v + 0 = -6. Let o be f + (-2)/(0 + -1). Solve 3*g + 4*l = -1, -2*l = -o*l - 3 for g.
1
Suppose -3*s = -2*s - 9. Suppose -g = -s*l + 4*l + 22, 5*l - 19 = 2*g. Solve -p + 6 = g*c, c = p - 4 + 2 for p.
3
Let w(o) = o**3 + 5*o**2 - 6*o + 1. Let a be w(-6). Let r = a + 2. Solve -r*f + j = 5, -5*f - 16 = -3*j - 1 for f.
0
Let p be (-2 - -4)*(-2)/(-4). Let h(l) = 5*l - 1. Let q be h(p). Solve -3*o + 20 = -q*t, 5*o - 24 = -t + 3*t for t.
-2
Let q(h) = -3*h - 25. Let a(d) = 3*d + 17. Let c be a(-9). Let p be q(c). Solve -2*m + 5 = -7*m + p*u, 3*u + 6 = 0 for m.
-3
Let r = 22 - 19. Solve -28 = -5*p - r*x, 7*p + 3*x = 3*p + 23 for p.
5
Let i = -32 - -34. Let z(l) = l**3 + 7*l**2 - l - 3. Let n be z(-7). Solve -h - n*h - 19 = i*k, -17 = h - 4*k for h.
-5
Let h be (2/(-4) + 0)*-2. Suppose -h = -5*k + 9. Suppose 0*m - 3*m = -6. Solve 1 + 3 = k*z, 0 = 3*q + m*z - 13 for q.
3
Let f(n) be the second derivative of -n**3/6 - n**2/2 - n. Let u be f(-6). Solve 0 = 5*b + u*i + 30, -5*i - 6 = -2*b + 17 for b.
-1
Let b(a) = -a**3 + 3*a**2 + 5*a. Let m be b(4). Solve 2 - 7 = 5*r + 3*z, m = -4*r + 4*z for r.
-1
Suppose 0 = -5*p - 2*l + 6*l - 2, -4*p - 4*l + 20 = 0. Let b be 0 - 3*(-2)/p. Solve t = j, -t + b*t = -5*j - 7 for j.
-1
Suppose 4*a = -3*i + 46, -a - 19 + 3 = -2*i. Solve -4*x = 5*w - 33, -5*x - 2*w - i = -6*w for x.
2
Let u be (7 - 2) + (-18)/6. Suppose -3*d + 29 = 3*y - 1, -u*d = -3*y + 5. Let g be 3*(1 + 2 + -2). Solve g*t = w - 17, 0*w - y*w + 5*t + 45 = 0 for w.
5
Suppose 6 = 4*j - j. Suppose 2*y = j*b + 2, 0*b - 5*b + 2*y + 4 = 0. Solve h - 4*p = b + 12, 5*h + 5*p + 30 = 0 for h.
-2
Let l(y) = -8 + 8*y**2 + 2*y**3 + 0*y**3 - 3*y**3 - 5*y. Let n be l(7). Let u = n - 4. Solve -2*t - 4 = -4*f, -u*t + 0*t - 4 = 3*f for t.
-2
Let b(a) = a - 5. Let z be b(8). Solve 0 = -5*h - 5*o + 35, z*h = -4*o + 15 + 8 for h.
5
Suppose 0 = -4*c - 5*t + 18, -2*c + t + 10 = 4*t. Solve 25 = -5*k - 7*z + c*z, 4*k + 18 = -2*z for k.
-4
Suppose -2*a = -5*f - 6, 4*f + a - 6 = -a. Solve 0 = -5*b - f*s + 2*s + 33, -2*b + 2 = 2*s for b.
5
Let z = -8 - -10. Solve r - z*k - k = 2, -k + 1 = 0 for r.
5
Suppose 9*r - 20 = 5*r. Solve -r*j = -2*i, 4*i - j = -0*i - 18 for i.
-5
Let z(y) = y**3 + 7*y**2 - 7*y + 10. Let m be z(-8). Solve 4*b = 3*o + 17, m*b - 3*b - 4*o + 9 = 0 for b.
5
Let m be 0/6 - 0/(-2). Solve -2*z - q - 5 = -0*q, m = z - 2*q + 5 for z.
-3
Suppose 0 = -5*r - 0*m + 2*m + 4, -2*m + 4 = -r. Solve -r*y - 26 = -3*n - n, y - 15 = -5*n for y.
-5
Let k = -6 - -10. Solve 4*f + 6 - 22 = 4*l, -l - k*f + 11 = 0 for l.
-1
Suppose -15 = -4*d + 3*b, -2*d + 2*b - b = -7. Solve -7 = -5*k - 2*s, 3*k - d*s - 17 = -s for k.
3
Suppose -2*q - 3*q = -10. Suppose -9*m + 85 = -4*m. Let g = 34 - m. Solve -2*v - q*r = 2*v + 22, 4*v = 3*r - g for v.
-5
Let k be (40/12)/((-4)/(-6)). Let g = 6 - 3. Solve w = -2*q, k*q - w + 2*w + g = 0 for q.
-1
Let k = -37 + 59. Solve 4*z + z = y + k, -2*z + 2*y = -12 for z.
4
Let q = -37 - -39. Solve q*n - 2*t + 10 = 0, -6*t + t = n - 13 for n.
-2
Let l(v) = 5*v + 3. Let h be l(3). Let o = h - 10. Suppose 0 = y + y - o. Solve -2*t = 2*j - y*j + 8, 9 = -t + 2*j for t.
1
Suppose 5*y + 2 = 12. Solve -c - y*q = q + 4, c + 8 = -5*q for c.
2
Let b(h) = h**3 - 13*h**2 + h - 8. Let d be b(13). Solve 3*m + 3*q = -9, d*m = 2*q - 1 - 7 for m.
-2
Suppose 0 = -2*q + 2. Suppose -d - q = -6. Suppose -3*i - 5*u = i - 3, -3*i - 2*u + 4 = 0. Solve -i*g - 1 = -3*s + 1, d*s + 2 = -2*g for s.
0
Let o = -13 + 37. Suppose -5*l + 2*l + 4*r = -52, -o = -l - 2*r. Solve -4*p - 6 = -4*g + g, 0 = -4*g - 4*p - l for g.
-2
Let h(d) be the first derivative of -d**4/4 - 10*d**3/3 + 5*d**2 - 8*d - 6. Let n be h(-11). Solve -7*p + 10 = -3*p - n*s, -3*s = -6 for p.
4
Let h(v) = -3*v. Let p be h(-8). Suppose -3*a = -a - 5*l + 12, 3*l - p = -3*a. Solve 3*u + 7 = 2*z, 0 = -4*z - z + a*u + 7 for z.
-1
Let u be 0/1*(-2)/(-4). Let t be (-2)/3*(7 - 1). Let d be ((-6)/t)/(1/2). Solve -4*c + d*c = -2, u = -3*z + 4*c - 20 for z.
-4
Suppose 5*o + 15 = -4*h + 43, -5*o = h - 22. Suppose -t + 2 = 10. Let w be (-3)/((-10)/t + -2). Solve -h*v = -2*i + 18, 2 = 4*i + w*v - 2 for i.
5
Let z = 9 + -3. Solve 4 + z = -5*b - 5*j, -3*j + 9 = 0 for b.
-5
Let v be (1/(-2))/((-34)/272). Solve -26 = 2*i - v*f, 2*f - f - 29 = 5*i for i.
-5
Let d = 20 - 20. Suppose 0*y = 2*y - 6. Suppose 0 = -y*s - d*s. Solve s = -3*x + g - 8, 2*x + g - 1 = -8 for x.
-3
Suppose 2*h - 5 = -1. Solve 5*v - 2*v = -2*t + 12, -h*v + t = -8 for v.
4
Let u be 2/(-4) - (-90)/4. Solve -5*h - 1 = 2*y + u, -4*h = -5*y + 25 for y.
1
Suppose g - 2*p = 3, 5*g + 0*p - 39 = 4*p. Let k = -7 + g. Solve 4*b = -3*x, -5*x + b - k*b = 0 for x.
0
Let g = -34 - -44. Solve 4*b - 3*p + 11 = 0, 4*b - 3*p = -p - g for b.
-2
Suppose -i + 21 = 3*s - 22, 3*i - 5*s = 87. Suppose -42 - i = -4*x. Suppose 15 = -f + 4*f. Solve -2*l - 4*j + f*j = -9, -x = -4*l + j for l.
5
Suppose -4*f - j + 21 = 2*j, 2*j = f - 19. Let s = 2 + 1. Suppose s*v - 3 = 2*v. Solve -14 = -z - v*l, -z + f = 4*l - 8 for z.
5
Let h(m) = 5*m**2 + 4*m + 4. Let z(v) = -14*v**2 - 12*v - 11. Let k(x) = 17*h(x) + 6*z(x). Let c be k(4). Solve -5*a + 4 = -c*s, 4*a - 14 - 6 = -4*s for a.
2
Let r be 9*2*3/(-9). Let m be 1 + 1/(-2)*r. Suppose -k + 0*k + 3*x = 0, -m*x = -5*k. Solve -f + 2*w = -w - 4, 5*w = k for f.
4
Let q = -56 - -56. Solve -5*m = 5*k, q = -m + 6*m + 4*k + 2 for m.
-2
Let a(o) = -o - 18. Let m be a(-20). Solve m*z - 4*h - 2 = 4, 2*z + 3*h = -1 for z.
1
Let s(f) be the third derivative of -f**5/60 - f**4/24 + f**3/6 + 3*f**2. Let l be s(-1). Let w be (4 - 1) + -2 + l. Solve -6 = -5*i + 4, 3*i + 4 = -w*u for u.
-5
Let i be 40/6*(252/35 + -6). Solve 2*g - 11 = g - 5*s, 4*s + i = -5*g for g.
-4
Let k be (-4)/(-18) + 156/27 + 3. Solve a = -4*x - k, -6*a = -3*a + x - 6 for a.
3
Suppose -15 = 3*b - 27. Solve 5*x - 3 = b*l + 10, -5*l + 30 = 3*x for x.
5
Let o(b) = b + 1. Let s be (-6)/(-21) - 88/14. Let k(i) = -3*i - 1. Let j(y) = s*o(y) - k(y). Let v be j(-5). Solve -2*m + 2 = c - 2, -3*c = -5*m + v for c.
0
Let a = 91 - 90. Solve -14 + 4 = 5*s - 5*r, -a = -r for s.
-1
Suppose -2*t + t = -p, -p - 5*t = -12. Let z be (-4)/4 - -2*