 -3*c + 8 = 3*d - 13 for c.
3
Let q(x) = -x**3 - 5*x**2 + x + 5. Let z be q(-5). Suppose c + z*c = 2. Solve 0 - 2 = -o, -c*d = 3*o for d.
-3
Let g(v) be the first derivative of -v**4/4 + v**3/3 + 2*v**2 + v + 2. Let p be g(3). Let l = p + 5. Solve 5*y = y + 5*c + 16, l = 4*y - 4*c - 16 for y.
4
Suppose -2*m - m + 21 = -3*d, 4*m - 8 = 0. Let p be d/(-15) + 2/3. Let x = p + 3. Solve 5*z = -x*k + 18, -1 + 5 = 5*z - 3*k for z.
2
Suppose 3 = 4*v + 3*k, -5*v = -10*v + k - 1. Solve q - 4*y + 1 + 22 = v, -10 = -2*y for q.
-3
Suppose 2*u + 2*u = -12. Let g be ((-12)/(-9))/((-2)/u). Suppose -4*h + 13 = 1. Solve -p = 3*j - j + h, -g = -2*p - 2*j for p.
5
Suppose 1 = -2*c - 5*s + 45, -2*c + 28 = s. Let l be 2/(c/10)*3. Solve -q - 9 = 4*t + 7, 8 = -2*t - l*q for t.
-4
Let t = -15 + 18. Let p be (-1 + 2)*(t - 0). Solve 0 = -3*i - 2*z - z - 6, 0 = i - p*z + 6 for i.
-3
Let b be 1/(0 + (-1)/(-6)). Let s(o) = -o**2 + 6*o + 8. Let r be s(7). Let x = 1 + r. Solve -x*a + j + 4 = 0, 5*a + 3*j = b*j + 8 for a.
4
Let v(m) = -m. Let d be v(6). Let a be -2*d/(-8)*-14. Let h = 5 + -1. Solve 3*o = -3*n - n - a, h*n + 18 = -2*o for o.
-3
Suppose -2*h = 2*o - 20, -o + 25 = 2*h + 2*o. Suppose -2*r + 0*r + 6 = -2*i, h*i = -r + 9. Let c = r - -2. Solve -n + 7 = -4*s, -s - 4*n = -c*s - 17 for s.
-1
Let a = 3 - 5. Let r be a/(-6) - 22/(-6). Solve -4*w + o - 4*o = -r, 3*w - 3 = 5*o for w.
1
Let r = 4 - 7. Let h = r - -5. Suppose 4*v - 10 = -i, -h*i - 3*v = -0*v - 10. Solve -5*x = 2*u - 26, 0*u + i*u = -4*x + 22 for u.
3
Suppose 3*k + 10 = -r, -5*r - k = -0*r - 20. Let v be (-2 - -1) + r/1. Solve 4*s - q - 1 = v, 4*s = 3*q - 1 for s.
2
Suppose -3*l + 12 + 3 = 0. Solve -3*f = l*d, 3*f - 7*f = 5*d for f.
0
Suppose u - 6 = 2*g + 5, 4*u + 3*g = 11. Solve 3*i + f + f - 1 = 0, -i - u*f = -9 for i.
-1
Suppose -4*m + 5*t + 24 = 0, -3*m - t - 3 = -2. Let h be -2*(m + (-5)/2). Solve 6*v - h*v - i = -12, -4*v - 3*i - 3 = 0 for v.
-3
Let y = 11 - 11. Solve l + y = -3*q + 3, 0 = q for l.
3
Suppose -3*x = 4*m - 32, -2*m + 42 = -7*x + 2*x. Solve -3*n - 2*g = 7, 0*n - m = -n + 2*g for n.
1
Suppose -30 + 9 = -3*b. Solve -4*g = 3*y - b, 0 = -3*y + 6*g - 3*g + 21 for y.
5
Let g(m) = -m + 13. Let o be g(8). Solve 4*x - 4 = 4*a, 4*x + 41 = -0*x - o*a for x.
-4
Let j(k) = k**3 + 10*k**2 - 2*k - 6. Let a be j(-10). Solve 5*f - 3*l + 34 = 0, 0*l + 3*l - a = f for f.
-5
Suppose 2*f - 15 = -f. Solve -10 = -5*c + 5*p, f*c - 2*p - 10 = -p for c.
2
Let j(z) = -29*z - 3. Let y be j(-2). Suppose -2*a + y = 2*i + 5, 5*a + i = 105. Solve 2*b - 4*s = a, -5*s = -0*b + b + 18 for b.
2
Suppose -5*p + 166 = -4*s, 4*p - 3*s - 42 = 3*p. Solve -p = -5*x + 3*k - 2*k, 4*x + 2*k - 10 = 0 for x.
5
Suppose 4*t - t = 0. Solve -2*d - 3*d - 4*o = 2, d + o = t for d.
-2
Suppose 962 + 110 = -4*k. Let l be 6/(-39) + k/(-52). Solve -l*w + 3 = -o + 9, 0 = 2*o - 5*w - 7 for o.
1
Suppose -5*w = -2*o - 0*w + 16, 3*o + 2*w - 24 = 0. Let h = 8 + -6. Suppose 0 = b - h - 3. Solve b*u - 8 = -4*c, -2*u + u = -4*c + o for u.
0
Let p be (-12*(-3)/24)/(3/4). Let y be (-2 + 1)*(1 - 1). Suppose 4*c = -3*k - k + 32, y = -3*k + 4*c - 11. Solve -k*b = 2*b + 2*i + 4, -3*b + p = -i for b.
0
Suppose -j - 4*j = 0. Let m = j + 3. Solve 0 = 4*x + 4*a - 16, -3*a + 5 = -m*x + 11 for x.
3
Let h(g) be the second derivative of -g**5/10 + g**3/6 + g**2/2 - 2*g. Let t be h(-1). Solve -f = 2*r - 5*r - 17, -2*r - 18 = -t*f for r.
-4
Suppose -2*w - t = -0*w - 29, w - 4*t - 37 = 0. Solve k - y = 5*k + w, 5*y + 28 = -k for k.
-3
Let v(h) = 2*h**3 - 2*h**2 - h - 1. Let r be v(2). Solve r = o + 5*u, o - 5 = 2*o - 5*u for o.
0
Suppose 3*y + 34 - 34 = 0. Solve 2*f = -2*w - 2, -4*f - 1 + 9 = y for w.
-3
Let d(u) = u**2 - 7*u - 5. Suppose 5 = 4*g - c, 3*g - 2*c + 6 = 2*c. Let p be 14/(g + 0) - -1. Let a be d(p). Solve 3*n + 2 = 2*r, -3*r - 4*n = -a + 17 for r.
-2
Let d(w) = -w**3 + 10*w**2 + w - 8. Let j be d(10). Suppose 2*g + 0*y + 4 = 5*y, j*y - 16 = -4*g. Solve -17 = -5*a - c, a + g*c - 3 = -2*a for a.
4
Let a = -3 - -5. Let p be (-4)/(-18) - (-129)/27. Solve 3*d + 5 = -0*d + 2*x, a*d - p*x = -18 for d.
1
Let b be 75/(-10)*6/(-9). Let p(c) = c**2 - 2*c - 7. Let w be p(b). Solve 5*n + 2*f + 0 - 4 = 0, 4*f = -2*n - w for n.
2
Let w = -6 - -18. Solve -5*y = s + 14, -2*y + 0*s = 2*s + w for y.
-2
Let r = 8 + -4. Suppose 68 = r*o + 4*k, 5*o + 4*k + 6 = 89. Suppose 0 = x + 2*f - o, -2*x - x = -3*f. Solve -x*p = -3*q + 1, -7 = -p - 4*p - q for p.
1
Suppose 23*k = 20*k + 15. Solve -4*r - 3*f = -f - 2, r = -k*f + 14 for r.
-1
Suppose -13*j + 24 = -2. Solve 0 = 4*y - 6 - 10, -j*z + 30 = 5*y for z.
5
Suppose 3*m - 9 = 2*x, -5*x + 9 = 3*m - 0. Solve 3*a + 20 = 2*i, x = -i - i - a + 4 for i.
4
Let w(o) = o**2 - 10*o + 9. Let i be w(9). Suppose i*p - p = z - 7, 4*z + 2*p = 18. Suppose -d = z - 7. Solve -d = -b, -2*v + 0*b + 27 = 5*b for v.
1
Let l(v) = v**3 - 5*v**2 + 3*v + 4. Let t be l(3). Let j = t - -7. Let g(u) = -u. Let a be g(-3). Solve 2 = j*s, 2*b + a*b + 21 = s for b.
-4
Let n = -7 + 16. Suppose 0 = -5*x - 18 + 3, 0 = t - 2*x - n. Let s = -3 - -8. Solve 3 = z, s*j + 4 = -0*j + t*z for j.
1
Let k(w) = -12*w**3 + 2*w + 0*w**3 + 0*w + 1. Let p be k(-1). Let b = 16 - p. Solve d + 3*y - 1 = -0*d, -b*y = -5 for d.
-2
Let s be ((-2)/(-4))/(3/30). Suppose -2*k + 3*n + 67 = 2*k, 11 = k + 5*n. Solve -s*t - 4*z + 3*z = -k, t - 8 = z for t.
4
Let v(n) = n**3 + 14*n**2 - 15*n. Let d be v(-15). Solve 0*p - p = -5*f - 21, -f - 4*p = d for f.
-4
Suppose -p - 2*p + 12 = 0. Suppose 5*n + 25 = 0, -k - p*n - 24 = -3*k. Solve -k*c - 4*x + 14 = 0, -4*c + 2*x - 9 = -3*c for c.
-1
Suppose -3*h = 4*c + h + 16, -10 = 2*h. Solve -2*b + 12 = 2*u, -u = -3*b + c + 5 for u.
3
Let m(z) = 3*z**2 + 6*z - 8. Let l be m(-6). Suppose -2*x - x = -4*s + l, -3*s = 4*x - 48. Solve -3*o - s = o + 4*n, 0 = n + 4 for o.
0
Suppose -2*v + 0 = -4. Let x be (1 - v)/1 - -12. Solve 0 = -5*k - w - x, 7*w + 1 = 2*k + 2*w for k.
-2
Let y(h) = -4 - 1 - 9*h + 1 + 5. Let i be y(-2). Solve -4*m + 0*m + 2*x + 4 = 0, -3*m - 4*x - i = 0 for m.
-1
Let p be 0*2/4*1. Solve 0 = j - 4*n - 16, p*j - 3*j + 2*n = -18 for j.
4
Let y(j) = j**2 + 5*j + 5. Let i be y(-5). Solve -m + 4*q = -4, m - i*q - 4 + 0 = 0 for m.
4
Let s(v) be the third derivative of -v**4/24 - v**3/3 - v**2. Let b be s(-4). Let h = 204 - 200. Solve b*f - 11 = o, f + 9 = -3*o + h for o.
-3
Let d(x) be the second derivative of 5*x**4/12 - x**3/3 + x**2/2 + 2*x. Let g be d(2). Let m = 12 - 10. Solve -4*s = -2*s + 5*k - g, -s = -m*k + 14 for s.
-4
Suppose 6*b - 3*b = 0. Let r(c) = -c**2 + c + 5. Let n be r(b). Solve u - 12 = 4*s + s, 4 = 3*s + n*u for s.
-2
Suppose -2 = -5*t + 4*u, t - 3*u = -4*u + 4. Suppose t*q = q. Let x be 3*-1*6*-1. Solve -3*z - 4*y - 20 = q, -2*z + y + x = -6*z for z.
-4
Let j(d) = d**2 + 2*d - 1. Let l be j(-3). Suppose l*f + 25 = 3*f. Solve -5*b = 4*w - f - 10, -5*b = -4*w + 5 for w.
5
Suppose 22 + 6 = 2*w - 4*n, 4*w - 2*n = 26. Let z = 1 - -1. Let d be 2 - 0/(z/2). Solve 3*g - 3*r - 17 = d*g, -w*r = -4*g + 28 for g.
2
Suppose -4*s = s. Solve s*u - 5*u = -5*c + 10, 5*c - 3*u = 10 for c.
2
Let q = -1 + 3. Suppose -d - 1 = q. Let h be ((-2)/d)/(4/18). Solve h*j = -y - 4, 0 = y - 0*j - j - 8 for y.
5
Let g(i) = -i**2 + 5*i - 2. Let c be g(4). Let f be (-1 + c)/((-1)/11). Let u = 4 - f. Solve -2*s = 5*m + u, -3*m + 4*s = 8 + 1 for m.
-3
Let q(m) = -m**2 - 3*m + 4. Let c(o) = o**2 - 7*o - 3. Let y be c(7). Let l be q(y). Solve l*r + 4*a - 4 = 0, -3*r - a = a for r.
-2
Let f be (66/9)/((-2)/(-21)). Let b be 2/12 - f/(-6). Let w = b + -7. Solve 0 = -5*k + h + 16, 4*k + w - 14 = 2*h for k.
4
Suppose 0 = -v + 5*p + 2, -6*v + v + 10 = -4*p. Solve 0*j = -j + 5, -4*r = -v*j + 18 for r.
-2
Suppose 9 = -8*x + 11*x. Solve 2*q = 5*z + x*q - 12, -5*z - 5*q = 0 for z.
3
Let i(s) = s - 4. Let k be i(5). Let o(z) = z**3 + 2*z - 1. Let r be o(k). Solve 2*h + r*q = 8, 3*h + 2*h = -2*q + 8 for h.
0
Let d = -5 - -8. Suppose 5*s + 0*j = -2*j - 148, 4*j = -2*s - 56. Let r = s - -51. Solve -5*o = 2*y + 9, -5*y + d*o = -y - r for y.
3
Let y be (0*4/12)/1. Suppose y = -0*m + 3*m - 9. Solve 4*v - 16 = -2*t, 5*v - 18 = m*t - 5*t for v.
2
Suppose 24*a = 19*a + 15. Solve 5*w + a*p = -29, -5*w + 0*p + 4*p - 8 = 0 for w.
-4
Let u = -9 - -10. Solve x = -5*p + 13, -2*p + p + x = 