 25, 0*k - 20 = -k + 4*b for k.
0
Let l(h) = -h**2 - 8*h - 4. Let u be l(-7). Solve g = -u*g + 5*a + 22, -a = -4*g + 14 for g.
3
Let h be (-1)/(((-3)/3)/12). Let l = 9 + -16. Let d(k) = -k - 1. Let p be d(l). Solve -4 = w + 3*u, -3*w - h = 2*u - p*u for w.
-4
Suppose -5*l - 3*c - 2 = 0, 0*l - c = -5*l + 14. Solve 1 = 3*x - 2, m = 3*x - l for m.
1
Suppose 0 = -x - b + 1, 0*x - 3*x = -3*b + 15. Let u be (8 - (3 + x))*2. Solve -4*y + 3*i = -u, 2*y + 4*i = -2 - 2 for y.
2
Let l(p) = 4*p + p**3 + 2*p - 2 - 3 - 8*p**2 + 2*p. Let c be l(7). Solve 2*d = c, 2*f + 4*d - 8 - 6 = 0 for f.
5
Let r(l) = -l**3 - 3*l**2 - l + 3. Let p be r(-3). Let b(a) = 3*a**2 + a + 1. Let s be b(-1). Solve -4*q + 2*d = -10, s*q - 4 = 4*d + p for q.
2
Suppose -5*s + 9 - 21 = -p, 2*p = -2*s. Solve -5*t + 5*c + 10 = 0, -10 = -p*t + 4*t + 5*c for t.
0
Let p = 18 - 6. Let r be (-1 - -4)*8/p. Solve 0*n - 1 = -v - 5*n, r = 2*n for v.
-4
Let j(w) be the third derivative of w**4/8 - w**3/2 - w**2. Let g be j(2). Let v = g + -3. Solve 5*o - 5*m + 4 + 16 = 0, v = 4*o - 5*m + 18 for o.
-2
Suppose -3*f + 8 = 4*z, -32 = -4*z + 5*f + 8. Solve -z*w - 36 = 4*i, i + 3*w - 9 = -25 for i.
-4
Let q = -57 - -62. Solve 3*f = -v + 14, -q - 7 = -3*f for v.
2
Suppose -4 - 8 = -o - 4*c, 3*o - c - 49 = 0. Let k = -14 + o. Solve -5*u = b - 9, -u - 3*b + k*b = -5 for u.
1
Let n be 54*(-3 - 14/(-6)). Let q be (-14)/(-35) - n/10. Solve -5*u = -q*f - 29, 2 = 2*f + u - 1 for f.
-1
Let f be 8 + -1*(-1)/(-1). Let v = f + -3. Let w(u) = -u**3 - 4*u**2 - 3*u + 4. Let k be w(-3). Solve -h = a + 5, v*h - 9 = k*a + 3 for a.
-4
Let t = 35 + -25. Solve -3*l + 6*l = -m + 2, -t = -4*l - 5*m for l.
0
Suppose 3*y - f - 14 = 0, -y + 6*f - 2*f = -1. Solve -y*l + 3 - 2 = 4*u, 0 = -5*l + 5 for u.
-1
Let x = 22 + -4. Suppose 0 = -3*k - 3*y + x, 2*y - 13 = -5*k + 5. Solve 8 = -2*r - k*i, -r - r - 5*i = 23 for r.
1
Suppose 0 = 45*s - 43*s - 56. Solve 4*a + 4 = 3*b + b, -s = -2*a - 4*b for a.
4
Suppose -2*d - 5 + 15 = 0. Suppose 3*f - 3*w - 38 = -w, d*w + 7 = 2*f. Solve f = 4*y + 4*a, 2*a - 11 = y - 0*y for y.
-1
Let n = -72 - -74. Solve 3*j + 5 = 2*h, n*j - 2 + 9 = 5*h for j.
-1
Let c be ((-16)/(0 - -2))/(-2). Suppose -2 = -3*g + c. Solve 5*m = -2*i + 8, -6 = 4*i - 2*m + g for i.
-1
Suppose 11*l = -0*l + 286. Solve l = 4*n - 3*j, -8 = -j + 5*j for n.
5
Let x = 16 + -5. Solve 4*i + x = 3*f, -i + f = 5 - 3 for i.
-5
Let b(y) = 8*y**2 - 4*y - 1. Let i be b(-1). Solve a + 8*q + 18 = 5*q, 3*a = 4*q + i for a.
-3
Let g = 3 - 4. Let c = 1 - g. Solve 4 = -c*a, 0 = t + 4*t + 4*a + 23 for t.
-3
Suppose -3*c + 26 + 25 = 0. Solve -v + 3*y + c = 0, -5*v + 5*y + 19 = -16 for v.
2
Suppose 4 = r + r. Suppose 2 + 6 = c. Solve -r*q - 24 = -w - 4*w, 2*q + 3*w - c = 0 for q.
-2
Suppose 0 = -3*u - 0*u + 9. Solve -2*k - 5 = -3*i - 3*k, -u*i = -3*k - 21 for i.
3
Let a(s) = -2*s**3 + s**3 + 0 + 6 - 3*s**2 + 6*s. Let b be a(-4). Let l be 0 + 0 + b + 3. Solve -8 = 4*m - z, 2*m + z + 11 - l = 0 for m.
-3
Let l(c) = c**2 + c + 4. Let y be l(-2). Solve 3*j + 11 = -g, -4*g + y = -j - 2 for j.
-4
Let d(m) = -20*m**3. Let n(u) = -2*u + 3. Let k be n(2). Let q be d(k). Let r = 6 + -2. Solve -r*p + q = 0, p - 4*p = -5*b + 10 for b.
5
Suppose -5*w = -9*k + 4*k + 45, 3*w - 21 = -5*k. Suppose 2*a + 30 = 7*a. Suppose -3*i + a*i - 9 = 0. Solve -6 = i*y + 4*c, -3*y + 0*c = 2*c + k for y.
-2
Suppose 0 = -23*n + 14*n + 18. Solve -3*r - 10 = -4*s + 2, 3*r = n*s - 12 for s.
0
Suppose d + 8 = 3*d. Let z(u) = -4*u**3 - 2*u + 1. Let m be z(1). Let x be 3 - m/((-5)/(-2)). Solve 2*y = x*g + 6*y - 16, 2*g - 12 = d*y for g.
4
Let g(i) be the second derivative of -i**4/12 + 2*i**3/3 + 3*i. Let k be g(3). Solve -5*f - h + 0*h = 3, -k*h = 2*f + 9 for f.
0
Suppose 0 = 5*n + 14 - 114. Suppose n - 5 = 5*o. Suppose 5*a = -8*a + 130. Solve 0 = -5*v + 4*s - 2, o*v = 5*s - a + 1 for v.
2
Let j be 3/18 - 70/(-12). Suppose -p = -4*p + j. Solve 4*n - 5*k + 13 = 0, 2*n + 2 + 2 = p*k for n.
3
Suppose 4*m - 5 = d + 12, 5*d = 4*m - 37. Solve -3*z = -m*v - 18, -2*z - z - 7 = 2*v for v.
-5
Suppose -5*m = -7*m + 4. Suppose -102 = -4*k + m*a - 42, a + 81 = 5*k. Solve 2*v - 5*c = 17, -3*c + k = 5*v - 7*c for v.
1
Suppose 4*h + 12 = -n + 3*n, -21 = -5*n + h. Let r = 1 + 4. Solve -d + l - n = -0*l, -r*d = 4*l + 2 for d.
-2
Let t(h) = 4*h + 9. Let f(q) = 11*q + 28. Let n(o) = 3*f(o) - 8*t(o). Let p be n(-9). Solve 5*l = -p*m - 8, -2*l + 0 - 4 = 2*m for m.
-1
Let u(l) = l**3 + 16*l**2 + 16*l + 18. Let r be u(-15). Solve o + 2*p - r*p + 1 = 0, 1 = -o + 4*p for o.
-1
Suppose 0 = -3*z - 76 + 4. Let f = z - -26. Solve -4*k + f*v - v - 12 = 0, 5*k + 4*v = -36 for k.
-4
Let o(k) = 6*k**2 + 3 - 5*k**2 - 6*k + 1. Let u be o(6). Suppose u*s - 2 - 2 = 0, s + 7 = 2*m. Solve -q - 11 = 3*r, -m*q = 3*r - 1 + 9 for q.
1
Let f(j) be the first derivative of 1 + j - 3/2*j**2. Let m be f(-1). Solve -3*s + s = -m*r - 18, -5*s + 2*r = -21 for s.
3
Let i(r) = -r - 4. Let g be i(-4). Suppose g*h = -h. Suppose h = 3*j - q - 66, 2*j - 2*q = q + 51. Solve -4*u - 21 = a - 6, -j = 5*u + 2*a for u.
-3
Suppose 50 = 5*j - 5*f, -7*j + 6*j + 4*f - 5 = 0. Solve -p + j = 4*o, 2*p = -4*o + o + 15 for p.
3
Let n(f) = -5*f - 15. Let k be n(-4). Solve -2*r + 2 = k*y - 0*r, -4*r = -3*y - 4 for y.
0
Let t be ((-9)/9)/(1/(-3)). Let m be (-1 - 0) + -1 + 0. Let a(h) = 4*h**2 + h. Let r be a(m). Solve -11 = -t*l - w - 0, -2*l + r = 4*w for l.
3
Let j = 8 - 6. Let v be j + -3 - -1*13. Suppose -l = 2*l - v. Solve 20 = 5*g, m - 5*g + 19 = l for m.
5
Let l(u) = -u**2 - 9*u - 18. Let p be l(-4). Solve 3*m - 3 = p*k + k, 2*k + 3*m = 18 for k.
3
Let q be (18/(-27))/((-2)/12). Solve q = 3*z - s - 7, -2*z = s - 9 for z.
4
Let n(m) = m**3 - 11*m**2 + 8*m + 20. Let q be n(10). Solve q = -3*w + w - d + 2, 3*w = 5*d + 16 for w.
2
Suppose -3*p + 18 = -3*r, 0*r = 5*p - r - 18. Solve -4*l = 4*o - 20, -p*o - 1 = -5*l + 16 for o.
1
Let k(n) = -n**2 - 9*n - 15. Let v be k(-3). Solve 0 = -s + t + 1, 0*t = -4*s - v*t - 31 for s.
-4
Suppose 5*y - 2*y - 6 = 0. Suppose -3*x = y - 11. Suppose 4*t - 34 = 2*t. Solve 5*n = 2*q - t, n - x + 2 = -4*q for q.
1
Suppose 0 = -4*t - 0*t - 2*x - 2, 4*t + 4 = -4*x. Solve t*s + 2*s - 2 = -2*k, 3*s - 24 = 4*k for s.
4
Let v be (-1 + 2)/((-2)/(-6)). Suppose -3*d - 2*k - 3*k - v = 0, 0 = 4*d - k - 19. Solve d*i = 4, 5*f - 4 - 4 = 2*i for f.
2
Suppose -1 = 4*n - 9. Solve 5*d + 4*o = 0, -2*o - n*o = -4*d + 36 for d.
4
Let n = -55 + 67. Solve d = -3*q + n, -q = -4*d - d - 4 for q.
4
Suppose -5*v + 1 = 3*u - 0*u, -5 = -4*v - u. Suppose 22 = s - v*q, 3*s - 64 = 3*q - 13. Solve -m = -d - 3 - 2, 2*m - 3*d = s for m.
3
Suppose 2*l - 4*l = i - 22, -103 = -5*i - 3*l. Suppose -a = 4*a - i. Solve -2*m - 6 = x, 5*m = -a*x + 3*m for x.
2
Suppose -2*m = 4*o + 2*m, 5*m + 40 = 5*o. Suppose 3*k - 12 = -o*d, -d + 2 - 18 = -4*k. Suppose 7*b = -b. Solve 4 = 2*z - 5*g - d, 4*g = b for z.
2
Let t = -31 + 96. Suppose 3*z = -5*c - 2*z - t, -3*c = 5*z + 47. Let j be (c/(-6))/((-1)/(-2)). Solve 0 = -j*y - 4*w - 0*w + 11, 0 = -y + 4*w + 9 for y.
5
Suppose j + 20 = 3*j. Let i be (4/(-5))/((-2)/j). Let m be 189/39 + (-8)/(-52). Solve 9 = -5*f + 4*c, -i*f = -7*f + m*c + 5 for f.
-5
Let y be (14 + -14)/(-2 - -1). Solve y = -3*c - 0*f + 3*f - 9, -3*c - 9 = f for c.
-3
Let n(r) = 2*r**3 - 2*r**2 - 4*r + 6. Let c be n(2). Solve -h - 3*m - 11 = -c*m, 3*h = m - 17 for h.
-5
Suppose -7*j + 20 = -2*j. Solve 1 = j*w + 2*r - 7, -w - 3*r - 8 = 0 for w.
4
Suppose 2*w + 35 = 5*o - 3*w, 2*o - 4*w - 24 = 0. Solve -o*j + 4 = -q - 2*q, 5*j = -2*q + 10 for j.
2
Let l be 2/((-1)/34*-4) + -3. Solve 2*f + h = -4*h + l, -3*f = -3*h for f.
2
Let z be (10 + -2)*(-1 + 2). Suppose 4*d - 8 = 0, d - 6*d + 7 = -v. Suppose 13*y - v = 12*y. Solve 0*h - 4*h = -5*q - 36, q - z = -y*h for q.
-4
Let t(j) = -5*j - j + 0 - j**2 + 3. Let o be t(-6). Let l(q) = -q**3 + 5*q**2 - 4*q + 2. Let a be l(4). Solve 0*h + 8 = h + 3*r, -a*r - 13 = -o*h for h.
5
Suppose -2*v = -v. Suppose -2*g = -2 + 4. Let x = g - -2. Solve 2*k = l + 2*l + x, v = l - 5*k + 22 for l.
3
Let m = -19 - -20. Suppose 2*y - 132 = 160. Suppose -j = 3*r - 62, 4*r = -4*j - 50 + y. Solve -b = -5*n + r, 0 = -3*n - 2*b - 0 + m for n.
3
Let c(y) = y**3 + 8*y**2 + 3. Let r be c(-8). Solve -2*b = -6, -4*k = -r*b - 8 + 1 for k.
4
Let q be (-3