 = -19. Solve -f*k - 5*j = -12, 5*k - j - 5 = 10 for k.
3
Let b(t) = 2*t**3 - 2*t**2 - 2*t + 3. Let v be b(2). Let f(h) = 3*h**2 + 3*h - 4. Let c be f(-2). Solve v = 3*i - c, -5*i = -5*p - 40 for p.
-5
Let t = 15 + -10. Solve -t*o = 3*b + 2*b - 30, b = 3 for o.
3
Let v be (-176)/(-56) + 1/(-7). Solve -3*s - 2*s = -4*f + 36, v*f + 8 = -5*s for f.
4
Suppose 3*n = 4*s + 1 - 5, -2*s + 12 = n. Solve -5*t = -2*w - 20 - n, 0 = -2*w - t for w.
-2
Suppose 3*p - 4*q - 18 - 8 = 0, -5*p - q = -5. Let h(o) = -2*o + 7. Let t be h(-7). Let z = 27 - 24. Solve -4*y + p*n = 6, 6*n = -4*y + z*n - t for y.
-3
Let t be (-4)/(-12)*5*3. Suppose 7 + 3 = t*c. Solve 2*x - y = 2, c + 0 = -4*x + 5*y for x.
2
Suppose 6*u - u = 25. Suppose 4*h + 2*x + 42 = 214, -43 = -h - 2*x. Suppose h = 4*q + 7. Solve b - 13 = u*a, -3*a + 0*a - q = -b for b.
3
Let j = 84 + -69. Solve r + j = 6*r, 5*a + r = 23 for a.
4
Let v = -55 - -88. Suppose -h - v = -5*c, 2*c - 6*c + 3*h + 22 = 0. Let q = 22 + -19. Solve -8 = 3*n + 2*y, y = -q*n - 0 - c for n.
-2
Suppose -2*h = 5*f - 5*h - 83, 4*f - 56 = 5*h. Solve -5*d + d = 3*a + f, -20 = 5*d for a.
-1
Suppose 5*n = 4*n. Let g be (n - 1)/((-1)/5). Solve 0 = -g*k + 5*o + 25, -3*k + 0*o = 4*o - 8 for k.
4
Let j(b) be the second derivative of b**3/3 - 3*b**2 - b. Let n be j(4). Let m be (-1)/n + (-15)/(-6). Solve 0 = -4*k - 4*c, 5*c - m*c + 4 = -5*k for k.
-2
Let a be ((-4)/4)/4*-8. Solve 3*n = 5*s + 1 - 3, 4*n - 6 = -a*s for s.
1
Suppose 2*p - 6 = -x, -p + 6 = p + 4*x. Suppose -4 = 2*f - 4*f. Let r(i) = 3*i + 8. Let w be r(-1). Solve 3*h = f*o + p, w*o - 3*h + 10 = 2*h for o.
-3
Suppose -w + 3*w + 10 = 5*b, 0 = 3*b - 2*w - 2. Let j = b + 0. Solve 0 = 2*k + 6, 3*s - 5*k - 19 = j*s for s.
-4
Suppose f - 5 = -3. Let z = -14 - -17. Solve 4*m - 6 = -z*p - f, -8 = m + 3*p for m.
4
Let d(b) = 5*b**2 + 3*b. Let n be d(-2). Solve p = u + u + 2, -n = -3*p - 2*u for p.
4
Suppose -3*c + 5 = -5*x, 0*c + 4*c = -2*x - 2. Solve -4*v + 2*h + 8 = 0, c*v = -2*v - 4*h - 16 for v.
0
Suppose 3*i + 0*i + 81 = 0. Let o = i + 30. Solve 0 = -4*s - o*h + 1 + 4, 0 = -s + 5*h + 30 for s.
5
Let o(l) = l**3 - 14*l**2 + 13*l. Let j be o(13). Suppose -k + 0 + 4 = j. Solve k*s = 3*v - 11, s = 3*v - v - 9 for s.
1
Let l be 4/2 + (-2)/(-1). Suppose -l*j + 8 = -8. Solve h + j*c - 1 = -0*h, -5*h + 22 = 3*c for h.
5
Let n(x) = -x**3 - 8*x**2 + 9*x. Let k be n(-9). Solve j = k, -2*j - 1 = -0*y - y for y.
1
Let p be (-3)/6 + 228/8. Suppose l - p = -l. Solve 0 = -4*j + x - l, j = 4*x - 11 for j.
-3
Suppose 482 = 5*q - 208. Suppose 0 = -4*r - 38 + q. Solve -2*y = 3*y + 2*i - r, -3*i = -y - 12 for y.
3
Let z(p) = 4*p + 1. Let o be (-16)/(-12)*3/2. Let q be z(o). Let j(n) = n**2 - 10*n + 12. Let k be j(q). Solve -5*l - 1 = k*x, 3 = -l + 4 for x.
-2
Let o = -39 + 56. Suppose -r = 2*m - o, -3*r - 9 = -2*m + 4. Solve 0*t + 8 = 4*f + 3*t, m = 4*f - 4*t for f.
2
Let u be (-16 + 15)*1*3. Let w be (-2)/((u/30)/1). Solve 13 = 4*n + s - 7, 0 = -4*n - 5*s + w for n.
5
Suppose q + 4 = -0*v + v, -3*v = q - 16. Solve -4*i + 19 = -3*d, 5*d - v*i + 20 = -5 for d.
-1
Let f(z) = z**3 + 4*z**2 + 2*z + 1. Suppose 15 = -3*d, -v + d - 13 = 3*d. Let h be f(v). Solve 8 = h*t + 2*s - 10, -4*s = 2*t - 24 for t.
2
Let p be 1*(-1)/1*-8. Solve 3*t - 2*y = -7*y - p, 5*t + 4 = y for t.
-1
Let x = 15 - 23. Let l be -1*4*4/x. Solve 0 = -3*i + f - 7, 3*i = -2*f - l - 11 for i.
-3
Let x be (16/(-20))/((-4)/10). Suppose 4*t = -3*j + 2 - 10, 4*j = -x*t - 24. Let p be (j/(-6))/((-4)/(-12)). Solve 3*c - 5*i + 2 = 10, p*i + 4 = 0 for c.
1
Let z be (-1 + -2)*(-12)/9. Suppose 0 = -4*l + z*n + 24, -5 = l + 3*n + 5. Suppose -4*m = 2*i - i - 6, -l*i = 4*m - 8. Solve -4*g = -2*x - 4 + i, x = 3*g for x.
-3
Suppose -2*g + 0*g - x + 8 = 0, 0 = 2*x - 8. Let r be g - (-1 - (-1 + 2)). Solve -5*d = -d + r*a, 3*d + 35 = 4*a for d.
-5
Let x = 0 - -2. Solve -5*j - x = -2*m - 3, -4*j + 12 = 4*m for m.
2
Let k = -58 + 82. Let w be k/14 + (-2)/(-7). Let l be 50/6 + w/(-6). Solve -4*b + s - 2 = -3, 2*b = 2*s + l for b.
-1
Let z(g) = g**2 + 8*g + 3. Let d be z(-9). Let j = -5 + d. Suppose -j = -5*f + 8. Solve 2*b = b - 2*k + f, b - 4*k = -9 for b.
-1
Let b = 64 + -45. Suppose -n + 7 = -g, 3*n - g + 8 = b. Solve n*d - 20 = -4*i - i, 4*i - 33 = -5*d for d.
5
Let v(w) = -w**2 - 3*w + 5. Let n be v(0). Solve h - 2 = q, -n*h = 4*q - 0*q + 26 for h.
-2
Let r = 3 - 1. Let s(b) = -b + 7. Let k be (-52)/(-14) - (-10)/35. Let o be s(k). Solve 5*x + 30 = -3*h, 4*x - h - r = o*x for x.
-3
Let f be ((-4)/1)/(-1)*1. Let r = 3 - -6. Let g be (0 + r/5)*5. Solve g = -2*x + 1, f*x + 20 = z for z.
4
Let n = 16 + -3. Let y = 20 - n. Solve y = -5*h - 8, 5*r - 8 = -4*h for r.
4
Suppose v + v = 6. Let r = v + 1. Solve r*x + 6 = -2*z, -4*z + 6*x = 3*x + 12 for z.
-3
Suppose 1 = -2*l + 5. Solve 0 = 4*h - 2*n, -l*h = -3*h + n + 1 for h.
-1
Suppose -3*n + 7 + 3 = 2*a, 5*a = n + 8. Let q = a + -2. Solve 0 = 5*r + 3*b - 3, r - 3*b + 5 - 2 = q for r.
0
Let g = -8 + 14. Let y = 8 - g. Suppose y = -l + 7. Solve l*i = 4*s - 15, -3*i + 0*i + s - 9 = 0 for i.
-3
Let t(h) = 2*h + 4. Suppose b + 0*b + 5 = 0. Let n be t(b). Let a = -3 - n. Solve -a*q - 3*g + 9 = 0, 2*q = -4*g + 9*g + 20 for q.
5
Suppose -2*o = -2*i - 26, 9*i - 4*i + 20 = 0. Let a = o + -4. Solve g - 8 = 4*d - 2*g, -a*g = -5*d - 15 for d.
1
Let h be (0 - -2)*(-9)/6. Let u be h/(((-18)/8)/(-3)). Let i = u + 4. Solve i = -2*x - 4*s + 10, x + 11 = -0*x + 2*s for x.
-3
Suppose k = 3*d - 39, 39 = 6*d - 3*d - 2*k. Let l = d + -1. Let b = l - 7. Solve -b*g = 3*z + 24, g + 5*z + 24 = -2*g for g.
-3
Let t be 15/(-6)*4/(-5). Suppose -4*x + l = -14, -t*x - 5*l = x + 1. Solve -p - x*h + 2 = -4*h, 2*p - 5*h = 19 for p.
-3
Let y(m) = m + 13. Let b be y(-12). Let v be (37 - 0) + -3 + b. Solve 5*s - v = 3*u, -2*u - 22 = -0*u - 3*s for u.
-5
Suppose -4 = -6*l + 5*l. Let r = -12 + 7. Let k(x) = -x - 1. Let w be k(r). Solve -l*i - 5*p = 27, i + p = -w*p - 18 for i.
-3
Let m = -26 + 8. Let t = 20 + m. Solve -t*n = -4*y + 3*n - 11, 0 = -y - n - 5 for y.
-4
Let p(o) = -o**2 + o - 7. Let w be p(0). Let f(g) = 2*g + 19. Let c be f(-17). Let v = w - c. Solve -4*i + 4*k + 32 = 0, -i + 0*k = 3*k + v for i.
4
Let v(u) = u**2 + 3. Let a be v(0). Suppose -2*c - a = -3*c. Solve 3*s + 6 = -2*z, -4*s + 2*z = 19 + c for s.
-4
Suppose h - 3*h + 10 = n, 2*h - 8 = 0. Let r = -4 + n. Let z be 1 + 2/(-1 - r). Solve -z*g - 4*x = -1 + 8, 5*x = -5 for g.
-1
Let b = -6 + 8. Suppose -4*w = -3*x - 10, 5*x - b*w + 0 = 2. Solve -4*z + 7 = l - 5, x*z + 5*l - 6 = 0 for z.
3
Let z be 12/(-10)*55/(-11). Let c = -8 + 11. Suppose 0 = -3*f + 2*f + 5. Solve 3*r = -v - 5, c*r - 1 - z = f*v for v.
-2
Suppose -i = 2*i - 81. Suppose -4*n = c + 9, -3*n - i = -5*c + n. Solve 0 = -c*s + 2*s - 4*a - 16, 5*s + 17 = a for s.
-4
Let o(w) = w**3 + w**2 - w + 2. Let i be o(-2). Let g = 4 + i. Suppose -n = -g*k - 16, 0*k + 7 = n - k. Solve -u + 5*h + 25 = 0, 2*u + n*h = -u - 1 for u.
5
Suppose -3*b + 0*b - 3 = 0. Let d be 1/(b - (2 - 4)). Let a be d/(-3) - 14/(-6). Solve a*s = 2*z + s - 7, 2*z + 11 = -5*s for z.
2
Let x be 5 - (-1 + 1 - 1). Suppose -4*w = i + 2*i, -i = -2*w. Let r = 30 - 27. Solve q = -2*o - r*q - x, w = -o - q for o.
3
Let u(w) = 2*w - w + 3 + 3. Let p be u(-6). Suppose 9*k - 24 = 5*k. Solve -5*s + 0*s - j - k = p, -30 = 5*s - 5*j for s.
-2
Suppose -2*s = -s. Suppose -4*t + 36 = -s*t. Solve 5*b + 5*m - 18 = 6*b, m = 2*b + t for b.
-3
Let p(g) = -g**2 - 4*g + 1. Let k be p(-3). Suppose k*t - 54 = 5*a, -2*t = -0*a - 5*a - 32. Solve -4*l = -l - s - t, -l + 4*s + 11 = 0 for l.
3
Suppose 4*w + 5*s = -6, 4 = w + 4*s + 11. Solve 4*u + 2 = 5*z - w, -z = u - 6 for u.
3
Let n = -5 - -10. Let k(v) be the first derivative of v**3/3 + v**2/2 - 2*v + 1. Let b be k(-3). Solve -2*a + 3*a - n = 0, -2*g - b*a = -24 for g.
2
Let w = -82 + 86. Solve -w*u = s + 3*s - 4, 3*u - 11 = -s for s.
-4
Suppose 3 = 2*t - t. Solve 2*c + 1 + 3 = 4*j, 14 = t*j + 4*c for j.
2
Let y(f) be the second derivative of 5/2*f**2 + 1/20*f**5 + 0 - 1/3*f**4 + 3*f + 1/6*f**3. Let o be y(4). Solve -j - 16 = -4*n, 4*n - 7 - o = 0 for j.
0
Let p(c) = -c - 4. Let g be p(-4). Suppose 3*w + 120 = 18*w. Suppose 0 = 5*f - 0*f - 10. Solve g = -f*b - 4*q - w, 3*q = 6*q for b.
-4
Let u(n) = -4*n - 3. Let h(g) = -g - 1. Let r(