 = -3*k + 4*g - 10, -4 = 2*k - 6*k + g. Solve 2*h + 18 = k*m, m + 0*m - 4 = 0 for h.
-5
Let j(k) be the first derivative of k**3/3 - k**2 + 1. Let q be j(3). Suppose 0 = -4*g, -4*i + q*i + 2 = 2*g. Solve -x - i*h - 2*h = -16, h = 3*x + 17 for x.
-4
Let v = -20 - -32. Let d = -18 + v. Let f be (8/3)/((-4)/d). Solve -5*x = 0, -x + 6*x = f*c + 16 for c.
-4
Let d(z) = 6*z**3 + z**2 - 1. Let b be -3*4/6 + 3. Let p be d(b). Suppose 2*w + 20 = p*w. Solve 2*u - l + 0*l = 2, w*u = 3*l + 4 for u.
2
Suppose h + 2*o + 5 = 0, 0 = 4*h - 2*o - o - 24. Solve 2*f + 3*s + 5 = f, 0 = -5*f - h*s - 25 for f.
-5
Let b(i) = -i**3 + i**2 + i + 2. Let m be b(2). Let t be 4/(-30) - 160/(-75). Solve -3*z - t + 20 = -4*h, -3*z + h + 9 = m for z.
2
Let i be (-1)/(-4) + 22/8. Let x = -18 + 27. Suppose x = 3*g - 0. Solve -17 = -4*q + g*q - 5*a, -a = -i for q.
2
Suppose 4*d - 3*d - 6 = 0. Let r be (6/(-21))/(d/(-21)). Solve -b = -3*p + 1, 3*b - 5 = 2*p - r for b.
2
Suppose -12 = -4*m + m. Let t(h) = 5 - m + 5 + 4 - h. Let b be t(10). Solve -y - 4*y - 17 = -2*o, 3*y + 4*o + 5 = b for y.
-3
Suppose -p = -c - c - 11, -3*p = -2*c - 17. Let y be 2/(-6)*-5*9. Solve -2*k + p*h = -k - 20, -5*k + y = 2*h for k.
5
Let z = 78 + -64. Solve 0 = 2*d + c + 10, -3*d + c = d + z for d.
-4
Suppose -56 = -4*k - j - 3*j, -3*j + 4 = k. Let s = k + -14. Solve 2*y = -s*f + 4, -5 = -3*f + 5*y + 16 for f.
2
Let t(h) = -14*h - 3. Let q be t(-2). Let c = -25 + q. Solve -2*y + 3 - 11 = 4*g, c = -3*y - 3*g for y.
4
Suppose -k + 8 = -0*k. Suppose 3*u + k = 5*c, -3*c - 6*u + 24 = -3*u. Solve -3 = g - 4*n - c, 5*n = 0 for g.
1
Let v = 77 - 76. Solve u + 1 = 3*l, -2*u = -u + 5*l + v for u.
-1
Let v(z) = 2*z - 10. Let w be v(10). Solve 13 = -4*m - d, 0*d = -4*m + 2*d - w for m.
-3
Suppose -3*z = z - 20. Solve z*g - c - 3 - 7 = 0, -c = 5 for g.
1
Suppose v + 52 = 58. Solve 4*d - 5*z - 8 = 0, -2*d - 3*z = -v*z - 4 for d.
2
Let o = 28 + -7. Suppose 2 = -3*x - 4*s, 7*s + 20 = 3*s. Suppose -2*q + 1 + 9 = 0. Solve -b = q*w + 4 + x, -w = 4*b + o for b.
-5
Suppose -2*y = -5*y. Suppose b + 4*o = 3*o, y = 5*o - 20. Let d = b - -7. Solve -2*g - 5*u - 29 = -5*g, 5*g = -3*u + d for g.
3
Suppose -2*x - 2 = -2*l, -9 - 8 = -4*x - 3*l. Solve 4*m + 5 = -5*r, -2*m = x*r + 2 + 2 for m.
-5
Let g be 3/(4 + -1) - 9. Let j = 15 + g. Let l(a) = 2*a - 7. Let t be l(6). Solve 2*n + 17 = 5*f, t*n + 3*f - j = -f for n.
-1
Let m(f) = -f**2 - 3*f + 2. Let p be m(-3). Suppose -3*t - 4*g = -12, 4*t - 16 = -0*t + 2*g. Solve t*n - 3*y - 7 = 2, -p*n = y + 3 for n.
0
Let s(x) = -11*x - 1. Let m(f) = -11*f - 1. Let o(h) = 5*m(h) - 4*s(h). Let t be o(-1). Let p be 12/30 + (-4)/t. Solve p = c - 4, -c - 8 = -4*v - 3*c for v.
0
Let c = -3 - -7. Suppose -c*p + 65 = f + 2*f, -4*p + 105 = -5*f. Solve -3*l + 9 = -4*s - p, 3*l + 3*s + 6 = 0 for l.
3
Suppose -5*o = 3*x + 9, 0 = -o + x + 1 + 2. Suppose -3*w + 6*w = 5*d + 76, -5*w - 4*d + 139 = 0. Solve o = -2*l + 3*l - 3*v + 13, -w = 3*l - 5*v for l.
-4
Let i = -1 - -3. Solve i*p - 2*j = 10, -1 + 2 = 2*p + j for p.
2
Let u be (1/(-2))/(1/(-6)). Suppose 3*s - 6 = 5*a, u*s + 5*a - 7 = -1. Let l = 10 + -7. Solve -l*b - 3*d + s*d = -5, 0 = 3*b + 3*d + 3 for b.
3
Suppose 4*u = 5*u - 3*s + 15, -4*s = -u - 18. Let z be 2/(-3) - 34/u. Solve -35 = -f - f + 5*l, -5*f = z*l for f.
5
Let v(c) = -c**3 + 6*c**2 + 7*c + 3. Let d be v(7). Solve 0 = -3*b - 5*u - 17, -d*b + 4*u + 20 = b for b.
1
Let d(y) = -y + 2. Let z be (-1)/2 - 3/(-6). Suppose o - 3*u = z, -4*o - o - 5*u = 20. Let b be d(o). Solve -2*h = 4*m + 2, 4*h - 2*h + b*m = -5 for h.
5
Suppose -2*h - 30 = -4*x, 0*h = -3*h - 9. Let n be 4/48*4*x. Suppose -12 - 8 = -4*t. Solve -5*r + 2 = -2*m, -4*m - n*r + 1 = -t*m for m.
-1
Let a be (4/10)/(2/10). Suppose -3*t = -8*t + 5. Let i(z) = 31*z. Let w be i(t). Solve 9*j - 2*r = 4*j + w, -a*j - 3*r + 1 = 0 for j.
5
Let s be ((-4)/2)/(-4 - -5). Let x be s/7 - 255/(-35). Let a(m) = -m**2 + 6*m + 7. Let p be a(x). Solve t - 3*r + 10 = p, -4*t + 4*r - 36 = -12 for t.
-4
Suppose 3*d = d - 6. Let a be (-2)/(-1) + d - -6. Let i(f) = -f**2 + 7*f - 1. Let l be i(3). Solve -3 = 3*z - 3*n, n = -a*z - 2*n + l for z.
1
Suppose -3 = -f + 7. Suppose 0*t = 2*t - f. Solve t*a + 6*k - 19 = 2*k, -4*k + 1 = -a for a.
3
Let n be ((-45)/10)/((-1)/2). Let d be ((-16)/(-24))/(1/n). Solve -2*w + 0*a + 1 = -3*a, -3*w + 2*a = d for w.
-4
Let a be -1 - -3*1 - 11. Let c be -2*(-3)/6*6. Let o be a/(-2)*20/c. Solve -z - z = 3*i + 10, -5*i + o = -3*z for z.
-5
Let n be 4 + 4/(-1) + 6. Solve q - 8 = -2*d, -2*d = -4*q + 3*d + n for q.
4
Let k = 23 + -3. Suppose 5*x + k = 3*m, m - 4*m = -x - 16. Solve 0 = 2*i - m*l - 5, 5*i - 5*l + 4 = -6 for i.
-5
Suppose 10*c = 15 + 35. Suppose 19 = j + 5*g - 0*g, 0 = -3*j - g + 29. Let r be j/2 + 1/(-2). Solve -2*w - 3*m + c*m = -2, -4*w - 12 = r*m for w.
-1
Let y = 39 + -35. Let c(v) be the first derivative of v**3/3 + 5*v**2/2 - 4*v - 1. Let z be c(-6). Solve 4 = -z*o - y*g + 18, -19 = -5*o - 2*g for o.
3
Let k be 4/(-20) + 62/10. Solve -2*f + 14 = -5*f + 2*t, f + k = t for f.
-2
Suppose 2*c = -c + 15. Suppose 15 = 2*h + 3*r - 0*r, -3*r - 27 = -c*h. Solve 15 = -h*u + u, 4*u = f - 15 for f.
3
Let u be (-1 - -2 - 1)/1. Let r be -3*(-1 + u/(-1)). Suppose -2*c + r*k + 26 = 0, -8 = -3*c + 4*k + 30. Solve 2*q + c = -2*g, 0 = 4*q - 2*g + 3*g + 14 for q.
-3
Let r(c) = -4*c - 3. Let v be r(-2). Let x = v + -3. Let u be 7 + (3 - (4 - -2)). Solve -x*h = 2*z + 4, 5*z = -u*h - 6 - 7 for z.
-5
Suppose -4*p = -3 - 1. Let d(o) = 3*o**2 - o. Let i be d(p). Solve -5*a - i*q - 25 = 0, -q = 5*a + 3*q + 25 for a.
-5
Let p(m) = 7*m - 14. Let k be p(2). Solve k = 2*b - 10, b - 11 = d - 2*b for d.
4
Suppose 0 = -a - 2*a. Solve i = -3*h + 4, a*h + 4*i = h - 23 for h.
3
Let o(p) = -p**2 - 10*p + 26. Let y be o(-12). Solve -y*q + 5*l + 1 - 3 = 0, 3*q - 4*l + 3 = 0 for q.
-1
Let x(i) = i**2 + 3*i - 4. Let j be x(-6). Let o be j*5/((-140)/(-24)). Solve 0 = 3*v - 8*v - 5*a - 35, -a = 2*v + o for v.
-5
Let q(a) = a + 1. Suppose -6*x = -4*x - 4. Let u be q(x). Solve f - 2*n = 8, -f + 2*f = -u*n - 7 for f.
2
Let w = -3 - -8. Suppose 5 + 2 = -q - 5*z, -w*q + 4*z + 23 = 0. Solve 2*r + 2 = q*n + 1, -2*r + 2 = -2*n for n.
3
Let c(h) = 2*h**2 + 2. Let q be c(1). Solve -3*g - r = -0*r - q, 10 = g - 4*r for g.
2
Let c = 4 + -1. Suppose u = c - 1. Let y be (12/(-9) - -1)*-6. Solve -j + y = 0, -2*j + 16 = -u*p + j for p.
-5
Let v = 10 - 15. Let d = -4 - v. Let o = d + -1. Solve 0 = -3*a + 4*w - 7, o = 3*a - 2*w - 3*w + 5 for a.
-5
Let n be (-3)/6 - (-2)/4. Let x = 2 - n. Solve 0 = 5*w + 2*f - 29, x*w + 2*f - 4*f - 6 = 0 for w.
5
Let i(f) = -2*f + 2. Let n be i(1). Suppose r - 3*r + 6 = n. Solve 4*j = r*p - 8, j + p + 4 = -j for j.
-2
Suppose 2*z + 2*a = -8, -5*z - 12 = -2*a + 5*a. Suppose 17*u - 5*u = 0. Solve u = 4*v - w + 13, 0 = -5*v - z*w - w - 23 for v.
-4
Let a(q) = -14*q + 1. Let j be a(-1). Let n be 6 - (-3)/(3/(-2)). Solve 0 = t - 1 + 2, -t + j = -n*b for b.
-4
Suppose 0 = -6*x + 3*x. Solve -2 + x = -f + 4*j, -4*j - 4 = 0 for f.
-2
Let r(u) = -u**2 + 8*u - 6. Let k be r(6). Let g be 21/(-14) - 6/(-4). Solve g = -2*m + k, 4*l - 2*m - 6 = -0*m for l.
3
Let l be (-39)/2*(-2)/(-3). Let c = l + 33. Solve 0 = -3*d + 4*g - c - 8, 3*d + 16 = g for d.
-4
Let d(j) = j + 18. Let h be d(-15). Solve 5*z - 2*z = 12, -3*n - h*z + 21 = 0 for n.
3
Let t(p) = 5*p + 8*p + 2 - 12*p. Let s be t(3). Solve -c = -3*k + 2*c + 9, -c + 15 = s*k for k.
3
Let z = -3 - -5. Suppose o = z*o. Suppose -c - 3*w = o, 2*w = 3*c - 0*w. Solve 5 = -5*k - 5, c = -3*d + k + 11 for d.
3
Suppose 0 = -6*o + 3*o + 12. Let y(p) = p**3 - p**2 + 10. Let s be y(0). Let c = s + -7. Solve c*g + o + 2 = -3*u, -4*u + 37 = -5*g for u.
3
Let u be (6/4)/((-27)/(-90)). Suppose -r + 2*r - 15 = 3*k, -4*k = u*r + 1. Solve -i = 4*i + r*n - 12, -3*i + 14 = -5*n for i.
3
Let t be (2 + -2)/((-4)/2). Let s(q) = -3*q + 4*q + 0*q + t*q - 2. Let j be s(7). Solve d - 13 = 3*x, -x - 3*d = -j*d + 6 for x.
-4
Suppose 0 = -5*i + 5*f - 25, -5*f + 15 = 5. Let o be (-1 - (-2 - i))*-10. Suppose 4*l - o = -l. Solve l + 8 = -3*d + 5*c, 5*c - 16 = 4*d for d.
-4
Suppose 3*y = 3*g + 2*g - 3, -4*g = -3*y. Solve g*x - 1 - 11 = -n, 2*n = 4*x - 6 for n.
3
Suppose 3*o = -3*d + 9, 0*o + 5*o = 2*d + 36. Suppose 0 = -o*g + 11*g - 30. 