 4*m. Solve -s + 3 = -2*i, -5*i - p = s + 12 for s.
-5
Suppose 5*b - 20 = -5*k, 3*k = -3*b - b + 16. Solve -2*c + 3 = z - 2, 0 = b*z - 4*c + 4 for z.
1
Let c(k) = k**3 + 2*k**2 - 3*k + 2. Let b be (-9)/(-15) + 54/(-15). Let h be c(b). Solve -2*p - 16 = 4*r + 12, 17 = h*p - 5*r for p.
-4
Let p = 187 + -81. Let g be (-18)/(-42) + p/14. Solve 3*c - 12 = -2*i, 2*i + 0*i - g = -2*c for c.
4
Let q(v) = 12*v**2 + 2*v - 2. Let t be q(1). Solve -p - t = -4*k, -k + 6 = 4*k + p for k.
2
Let w(m) be the third derivative of -m**4/4 - m**3/2 + 2*m**2. Let x be w(-7). Let k be (4/6)/(1/x). Solve 20 = 4*p - d, 3*p - 4*d - 2 = k for p.
4
Suppose -11 = -h + 3*h - f, -15 = 3*f. Suppose -9 = -m - 34. Let i = h - m. Solve -l = -k - 0*k + 9, l - 3*k = -i for l.
-5
Let w be 0 - 1 - (11 - 14). Solve -2*l + l - y = -6, 5*l = w*y + 23 for l.
5
Let y = 6 - 9. Let o be 1 - (y - 1/(-1)). Suppose 15 = a + 3*c, 4*c = -o*a + 30 - 5. Solve -3*w = -a, -4*w + w + 5 = 2*l for l.
1
Let z be (-4)/(-2) + 15/3. Suppose -2*p = -4*n + 18, -4*n + p + 22 - z = 0. Solve g + 5*q - 17 = -n*g, -6 = -g - 3*q for g.
3
Suppose 20 = 5*q - 0*q. Suppose -3*n + 10 + 2 = 0. Suppose 0 = 3*h + 2*x - 0 - 7, 3*h - n*x - 31 = 0. Solve q*m = -h*v + 6, 12 = 5*m + 3*v + v for m.
4
Let d = -4 + 8. Suppose 6 + 6 = 2*t. Let x be 8/t + d/6. Solve -4*a = -16, 5*s + x*a = 4*a - 28 for s.
-4
Let g = 13 - 11. Suppose -g*b + 14 = -b + 4*a, 0 = 2*b + 4*a - 44. Solve -11 = -5*t - 3*f - 35, 0 = 5*t + 5*f + b for t.
-3
Let u = 30 + -58. Let s be (-6)/9 - u/6. Solve 14 = -2*l + 4*k, 4*k - s = -0*k for l.
-5
Let g(s) = -3*s - 1. Let x be g(-2). Let o(f) = -f**2 + 5*f + 2. Let c be o(x). Solve 20 = 4*w + 4, 0 = 5*n - c*w - 12 for n.
4
Suppose 4*w = 20, -w = -0*r + 2*r - 37. Suppose -17 = -4*h - 2*m - 3*m, 3*h - m = 8. Solve 0 = -2*n + 3*f - r, -h*n - 4*f = f + 5 for n.
-5
Let w be 0/(-11) + 6/(-4)*-2. Solve -w*i + 4*i - 12 = 5*y, -2*y - 18 = 4*i for i.
-3
Let f be 0/((-4)/(-26) + (-150)/130). Solve 4*y + f*n + 22 = 2*n, 25 = 5*n for y.
-3
Let t(l) be the first derivative of -4*l - 2 + 2*l**2 + 2/3*l**3. Let j be t(-4). Solve -3*w - j = -0*w, -2*u = -2*w - 6 for u.
-1
Let o = 2 - 2. Suppose -3*h - 2*j + 3 = -3, o = -2*j - 6. Solve -2*l + 2*t = 2, -h*l = -0*l + t + 24 for l.
-5
Let d be (-21)/(-14)*(-4)/(-3). Suppose -1 = -l + d. Solve -3*q = p - 0 + 2, -26 = -5*p + l*q for p.
4
Let c(w) = w**2 - 6 + w**3 - 2 - 8*w + 4*w**2 + 0*w. Let q be c(-6). Solve -16 = -2*u - 4*s, 0*u + q*u + 4 = 4*s for u.
2
Suppose -48 = -4*a - 2*p, 39 = 3*a + 5*p - 2*p. Suppose 3*o = 2*b + 22, 3 + a = o + b. Let n = o - 6. Solve 3*y + n = -4*i, y + i = -i for y.
-4
Let m(v) = -v**3 + 7*v**2 + 10*v - 14. Let a be m(8). Let h be 8/5 + (-4)/(-10). Solve 3*z = -a*g - 2 + 3, 4*z - h = -3*g for z.
-1
Let j(p) = p**2 - 8*p + 2. Let a be j(8). Suppose -a*t = -t - 5. Solve -2*l = -t*h - 3, 5*l = -2*h - 8 + 1 for h.
-1
Let d = 7 + -7. Suppose d = -r - r. Solve -2*q + 2*v + 12 = 4*v, -4*q + 4*v - 16 = r for q.
1
Suppose -2*t - 27 = -33. Solve t*d = w - 4, 2*d - w + 6*w - 3 = 0 for d.
-1
Let n(o) = o**3 - 13*o**2 + 13*o - 7. Suppose 60 = -0*t + 5*t. Let f be n(t). Solve 3*d - 2*d = 5, -f = -5*x - 4*d for x.
-3
Suppose 0 = r - 3*r + 4. Suppose l - 3*l + 10 = 0. Suppose -q + 6*q - 15 = 0, -27 = -2*w + q. Solve l*m + w = -2*a, 4*a - m - r*m = 9 for a.
0
Let b(a) = -6*a - 2. Let p(k) = -2*k**2 + k + 1. Let i be p(-1). Let u be b(i). Solve 2*f + u = -5*x, -x - 2 = -0*x for f.
0
Let y be ((-2)/6)/((-7)/84). Suppose 2*w - 12 = -y*j, -4*j = w - 2 - 8. Solve 5*h = -2*b + 6, -3*b + 3 = -j*b - h for b.
3
Let w be (2 + 1)/(3/2). Let q be 4 + 1*-2 + w. Solve -4*g - 7*k + 6 = -q*k, -2*g + 2 = k for g.
0
Let k(h) be the third derivative of -h**4/24 - 4*h**3/3 + 2*h**2. Let o be k(-10). Solve -l = -o, -4*i - 23 = -2*l - 7 for i.
-3
Suppose 18*w - 16*w = 0. Solve w*q + 12 = 4*q, 0 = -3*x + 5*q - 9 for x.
2
Suppose -g + 5 = 4. Solve -2*c + 6 = 5*m - 6, g = -3*c + 2*m for c.
1
Let j(q) = q**3 + 6*q**2 - 8*q - 5. Let f be j(-5). Suppose -2*o + 6*o = f. Let y be (3 - 6) + o - 3. Solve 0*a + 3*z - y = -a, -15 = a - 3*z for a.
-3
Let p = 23 + -16. Let h be (-1 + p)*2/6. Solve -6*c + n + 20 = -c, 5*c - h*n = 20 for c.
4
Let l(n) = n**3 + 14*n**2 + 25*n + 15. Let f be l(-12). Solve f*k - 5*t = 2 - 10, t - 12 = -2*k for k.
4
Let b(t) = -t**2 + 8*t - 3. Let q be b(8). Let s = 1 - q. Solve 0*x - 3*x - s*w = 3, 4*x + 3*w + 4 = 0 for x.
-1
Suppose 2*l + g = -6, 0 = 3*l + g + 2*g + 12. Let q be l/(-6) + (-55)/(-15). Solve 0 = -q*u - 3*t + 16, 0 = 2*u - 0*t - 5*t + 18 for u.
1
Suppose 4*o + 1 - 9 = 0. Solve 3*z + 6 = -5*j - 0, 3 = o*z + j for z.
3
Let x be (2 - 2)*3/(-3). Suppose x*q - 12 = -4*q. Suppose q*s = 3*t - 7 + 1, -t = -5*s - 2. Solve -3*r - 10 = -r - 3*u, t*u - 8 = 0 for r.
1
Let d(p) = -p - 5. Let t(a) = -5. Let s(l) = 4*d(l) - 3*t(l). Let c be s(-2). Solve 5*h = c*r + 8, -2*h + 5 = -0*r - 3*r for r.
-1
Suppose 0*u = u. Let x(w) be the first derivative of -w**3/3 + 33*w + 7. Let a be x(u). Solve g + 3*j = -13, 0*g + 5*j + a = 4*g for g.
2
Let u(y) = -2*y - 11. Let p be u(-8). Solve -5*m - 2*l = 26, 0*l - 15 = p*l for m.
-4
Suppose -5*m + 5*g = -2 - 3, 0 = 5*m - 3*g - 11. Suppose c - 3*k - 34 = 0, k - m + 32 = c. Solve 20 = -4*d - 2*w, -d + 2*w - c = 4*d for d.
-5
Let z be ((-6)/7)/(1/(-14)). Let f be 4/(-6)*-3 + 0. Suppose -f*t + 4 = 5*v, 0*v + 4 = v + 2*t. Solve l + 5*n = -l - z, 4*l - n - 20 = v for l.
4
Suppose -11 + 1 = -x. Let t = 20 + -11. Suppose -2*v + t - 3 = 0. Solve 5*k - x = 2*r + v*r, -5*k = -r - 2 for r.
-2
Suppose -c + 30 = 14. Let f = 6 - 3. Suppose 3*z = f*p + 5 + c, 4*z - p - 22 = 0. Solve -u + 0*u + 20 = -4*i, 4*u = z*i + 36 for i.
-4
Let q be (0 - -4) + (0 - 0). Let b(r) = r**3 + 12*r**2 + 11*r - 2. Let c be b(-11). Let n = q + c. Solve -2*d + 2*y - 2 = n*d, 1 = y for d.
0
Suppose 3*i = c - 6*c - 25, -2*i - 2*c - 10 = 0. Solve -u - 19 = -5*h, 4*u = -i*h - 5*h + 24 for u.
1
Let p(r) = -r**3 + 2*r**2 + 3*r - 4. Let z be p(2). Solve -4*k = t + t + 14, z*k = 4*t + 18 for k.
-1
Suppose -5*v + 7 = t, -2*t = 3*t + v - 11. Suppose -m + 3 = -3*r - 4, -3*m + r + 13 = 0. Solve -6 = 3*i - 2*o, m*i - o = -15 + t for i.
-4
Let m = 44 + -38. Solve -3*c - 4 = -k, k = -4*c + 2*k - m for c.
-2
Let m = -9 + -1. Let v = 14 + m. Solve -d = v*c + 12, c + 0*c = -d for c.
-4
Suppose 0 = b - 7*b + 102. Let a = 16 - 13. Solve a*x = -5*m - b, -6 = 5*x + m + 15 for x.
-4
Let h be -4 + (1 - -3) + 1 + 19. Solve -5*x + c - 1 = -20, 4*c - h = -4*x for x.
4
Suppose -5*j = 30 - 0. Let f = j - -12. Suppose 5*z - 25 = -5*y, 0 = -3*z - 6*y + 4*y + 13. Solve t - f*t - z*b + 16 = 0, 2*b = -5*t + 19 for t.
5
Suppose -a - 3 = 5*x, -69 = -4*a - 5*x - 6. Let c be 40/(-22) - 4/a. Let d be c/1 + (5 - 1). Solve n + 1 = -s + 2, -2 = d*n for s.
2
Let j = 93 + -90. Solve -h - 2*c = 8, 4*h - j*c = -0*c + 1 for h.
-2
Suppose -5*t + 4*f = -7, -3*f - 8 = -4*t - f. Solve 5*a + 29 - 10 = 2*v, t*a = -2*v - 21 for v.
-3
Let v(q) = 5*q**2 + 4*q. Let k be v(-3). Let w = k + -20. Solve -w = l + 3*p, -5*l - 26 = 3*p - p for l.
-4
Suppose -4*d - 4 = -2*x - 0, -1 = -x + d. Suppose -b + 3 + 2 = x. Solve -3*u = -6*a + a + b, -u + 25 = 5*a for u.
5
Let n(t) = -17*t**3 + 2*t**2 - 1. Let s be n(-1). Let b = s + -5. Solve 3*k + b + 2 = 3*m, 20 = -4*k - 3*m for k.
-5
Let s be 0 + 1 + 4/2. Suppose -17 = -4*b + 27. Suppose -44*v + 15 = -39*v. Solve 0 = v*j - 0*g + 4*g + b, -s*g = 6 for j.
-1
Let u be 12/18*-6*2. Let o(z) = -z**3 - 7*z**2 + 8*z + 3. Let w be o(u). Solve 3*l - w*x = 6, 3*l - 4*l - x + 4 = 0 for l.
3
Suppose 41 - 49 = -2*a. Solve -f - i - a*i = -12, 2*f - 5*i = -6 for f.
2
Suppose 0*o + 5*o + 3*g = 12, 4*o + 2*g = 10. Solve 3*m = -5*k, o*k - 6*k - 5*m = 0 for k.
0
Suppose 4*s - 7 - 1 = 0. Suppose j + 3*w + s = 10, 0 = j + 2*w - 6. Solve 4*d + j*t + t - 5 = 0, 3*t + 11 = 4*d for d.
2
Suppose 0 = -r - 0 - 1. Let n = r - -6. Solve -3*t + 5*l - 9 = -6*t, 0 = -t - n*l + 13 for t.
-2
Suppose -3*c + 4 + 5 = 0. Let v be (0 - -7)*c/3. Suppose 3*f = p + v, 0*p + 3*f = -2*p + 22. Solve -2*i + p*b = 2*i - 15, 0 = -i + 4*b + 1 for i.
5
Suppose 0 = 4*q - 2*q. Suppose c - 12 = -c - 2*l, q = -5*c + 4*l + 21. Solve -3*n - 5*p - 11 = 0, c*n + p - 9 = 2 for n.
3
Let s = 1 - -1. Suppose -11 = -3*k - s. Let g be 1*k*(-35)/(-21). Solv