 -3*c + 3 = -3*s. Solve x + 17 = 3*t, -3*t = x - c - 7 for t.
4
Let l(d) = d**2 + 5*d. Let t be l(-5). Solve 2*g = -t*g - 2*n, -4*g + 4*n = -16 for g.
2
Suppose -3*n = -2*z - 4, -z - 2*n + 12 = -0. Suppose 0 = -z*p + 14 - 2. Suppose -10 - 5 = -p*j. Solve -j*h + 28 + 2 = 5*d, 14 = -d + 3*h for d.
1
Let j be (-1 + -3)*2/4. Let m = -1 + j. Let a = m - -7. Solve -a*f - 2*c - 2 = 28, 2*f = 2*c for f.
-5
Suppose 0 = -3*i - 28 + 4. Let f be (-1)/(-4) - 94/i. Solve 0 = 4*t - 3*b - 4, -2*b = b + f for t.
-2
Suppose v = 4*l - 72, 0 = -4*l + 4*v - 0*v + 84. Solve -2*i + 7*i + a - l = 0, -5*i + 2*a = -11 for i.
3
Let z be 46/5 - 2/10. Suppose b - z = 3*w + 4*b, -b = 3. Solve 5*g - 2*u - 16 = w, 0 = -g - 3*g - 3*u - 1 for g.
2
Let w = -11 - -20. Let a be 5/15*w*1. Solve 2*k + 10 = 4*k, 0 = -3*y + a*k - 9 for y.
2
Let d be 3/(-6)*(0 - 2). Suppose -5*x + d = -9. Solve 0 = -8*b + 3*b + 4*g - 1, -x*g + 3 = -5*b for b.
-1
Suppose q = -q + 26. Suppose 0*p + 4*p = 16. Let w = p - 2. Solve -4*r + q = b - w*b, -b = -r + 4 for r.
3
Let g = -11 + 15. Suppose 0*q = -2*q - g*a - 16, 2*q + a = -1. Suppose 7*l = q*l + 5. Solve 0 = -2*x - 9 - l, 2*x + 12 = -w for w.
-2
Suppose -j = -3*j + 8. Let x = j + -3. Let h be (-1)/(5/(-2) + 2). Solve -a - x = 3*b, h*a + 4 = b - 2*a for b.
0
Let y = -3 - -7. Let j = y - 1. Solve 0 = -j*q - 2*k - 10, 5*k + 14 = -2*q for q.
-2
Suppose 0 = -4*c + 8. Let w(p) = p**3 + 2*p**2 - 2*p - 1. Let n be w(-2). Solve c*d - 22 = 4*o, -5*d + 3*d = n*o + 6 for d.
3
Let u(i) be the first derivative of -i**4/4 - 5*i**3/3 - 2*i**2 - 4*i - 2. Let y be u(-5). Solve f + 10 = 3*n, y = -8*f + 4*f for n.
2
Suppose -29 = -5*d + 2*t, -d - 3*t + 0 - 1 = 0. Solve 3*j = -d*p + 2*j + 5, -20 = p - 4*j for p.
0
Let k = 18 + -15. Solve 13 = p - k*r, 3*p + 0*r = 2*r + 11 for p.
1
Let k be (4 - 4)/(-1 - -2). Solve 2 = 2*p - d, k*p - d = 4*p + 8 for p.
-1
Let k be ((-2)/(-3))/(6/9). Let q(m) = 3*m + 1. Let r be q(k). Solve r*w = 4*b - 20, -b - 4*w = 3 + 7 for b.
2
Let z = -108 - -108. Solve -s + 1 = 2*x, z*x - 4*x - 3*s = -7 for x.
-2
Let n = 13 + -32. Let o be 1 - 1 - (n + 6). Let z = o + 3. Solve -2*x + 4*x = -2*t - z, 5*t + 13 = 4*x for t.
-5
Let q be (0 - 1)/((-2)/10). Solve -5*j - g = 1 - 12, -q*j + 23 = -2*g for j.
3
Let d be (8/20 - (-2)/(-5)) + 2. Solve d*n - 4*n + 13 = -3*f, -2*f + 4*n = 6 for f.
-5
Let k = -3 - -10. Suppose k*r - 2*r = 0. Solve -32 = 4*i + 5*d, r = -4*i + d + 4*d + 8 for i.
-3
Let k = -6 + 10. Suppose 3*o - 2*o - 3 = 0. Suppose -2*r + 7 - o = 0. Solve -v - 20 = k*v + 5*h, -4*h = -r*v + 4 for v.
-2
Let m be -3*(2 + (-16)/6). Let o = 0 + m. Suppose 7*i - 25 = o*i. Solve n + i*p + 8 = 26, -3*n + 5*p - 6 = 0 for n.
3
Suppose -v + 8 = -4. Let l be v/54 + 112/(-18). Let q be (3/l)/(2/(-12)). Solve 0 = -2*i - q*b + 13, -2*b + 11 = 2*i - b for i.
5
Let y = -22 + 13. Let t = y - -15. Solve -4*u - 4*c - 4 = 0, -t - 2 = 4*c for u.
1
Suppose -2*h + 2 = -4. Suppose h*d + d = 8. Solve 2*y - d = 0, 3*y + 0 + 2 = 5*z for z.
1
Let m(k) = -5*k + 1. Let r be m(-1). Solve r*v + 5*l + 15 = 2*v, -12 = 2*v + 4*l for v.
0
Let r = 12 - 8. Let u = -1 + 5. Let h = u - 2. Solve b + 2*b - 3 = 0, t + r = h*b for t.
-2
Let p be -1 + 0 - (-1 - 2). Solve 4*d - u + 11 = -p, d + 2*u = -1 for d.
-3
Let p(a) = a - 3. Let c be p(5). Let w be (5 - 5)/(c*1). Let d be 3 - (0 - w - -3). Solve -4*q = -d*j + 3*j + 7, 3*q = -j + 1 for q.
2
Let t be -3*(-2 - -5 - 2). Let g = 2 - t. Solve -g = r - k, 3*r + k + 4 = 1 for r.
-2
Let b = 56 - 57. Suppose 0*h - 65 = 5*h. Let f = b - h. Solve -4*g + x + 4*x - 36 = 0, g = 2*x - f for g.
-4
Let t(f) = f**2 - 6*f. Let v be t(6). Suppose v = 2*m - 10, -5*s - 14 = -4*m + 1. Solve -5*c + 4*l = s, 2 + 0 = 2*c - 4*l for c.
-1
Let v be ((-18)/(-4))/((-2)/4). Let t = v - -11. Solve -4*c - 10 = -3*b, 0*b - t*c = -b + 6 for b.
-2
Let u(z) = z + 5. Let o be u(4). Suppose b - 8 = -4. Suppose -b*p - w + o = 0, p + w + 9 = 3*p. Solve -p*d - 3*g = -5 - 1, 0 = -4*d + 4*g + 16 for d.
3
Let q = 105 - 101. Solve -q*j = 2*d + 2 + 2, 3*j - 4*d = -25 for j.
-3
Suppose 4*x - 20 = -2*t, 5*t - 3*x = -6*x + 22. Solve t*u = 2*n - 2 - 6, -3*u - n = 16 for u.
-5
Suppose 56 = -4*j + 20. Let y = -5 - j. Solve -2*d - 8 = 5*w + 8, -y*w = -4*d - 4 for w.
-2
Suppose 0*v = 3*v - 18. Let f(k) = k + 1. Let i be f(v). Solve -i*h = z - 2*h - 16, -3*z - 2*h = 4 for z.
-4
Let x(w) = -7*w + 67. Let z be x(6). Solve -4*l - 2*n = 6 + 12, 5*n = -5*l - z for l.
-4
Let i = -9 - -5. Let l(m) = 2*m - 6*m**3 + 5*m**2 - 4 + 7*m**3 + 1. Let u be l(i). Solve 3*n + u*o - 25 = 0, 4*n - 2*o = o + 14 for n.
5
Let n(v) = 8*v**3. Let h be n(-1). Let u = 10 + h. Solve -4*c + 45 = -5*m, -m = 3*c + u*m for c.
5
Suppose 67 = -z + 70. Solve -g = 2*x + 14, 1 = -z*g + 3*x + 4 for g.
-4
Let u = 5 - 1. Let b be (3 + u/(-2))*2. Solve -s - 21 = -4*o, b*o - o + 5*s = 0 for o.
5
Suppose 8*u - 21*u = 0. Solve 2*a - 4*d + 2 = u, -3*d = -2*a - 0*d for a.
3
Suppose -2*g = -11*g + 36. Solve -g*d = -f - f + 14, -2*d = 3*f - 5 for d.
-2
Let t = -73 + 83. Solve -p + 3*z - z - t = 0, -p + 10 = 3*z for p.
-2
Let u = 48 + -36. Solve 3*x + 4*w = w - 21, u = -3*w for x.
-3
Let r = -15 - -18. Solve 0*h + 26 = -4*h - 3*j, -4*j - r = -h for h.
-5
Suppose -7*x = -0*x - 21. Let f = 5 - 11. Let v(d) = d**3 + 7*d**2 + 5*d - 2. Let n be v(f). Solve -n*q = -9*q - j - 17, x*q - 5*j = -27 for q.
-4
Suppose -y = 2*y + 33. Let a = y - -46. Suppose a = 5*w - 20. Solve 3*g + 2 = 2*c + w, 5*c = 5*g - 15 for g.
3
Let t be (2 + -1 + -1)/((-2)/(-2)). Solve -2*j - 3*r = 0, -j + 1 = -t*j + r for j.
3
Suppose -10 = -4*k + 6. Let l be ((-9)/12 + -1)*k. Let d(h) = -h**3 - 5*h**2 + 8*h - 8. Let q be d(l). Solve 0 = 3*z - 5*y - q, -3*z - 2*z - 5 = 4*y for z.
3
Let p(d) = -d**3 + 7*d**2 + 2*d - 6. Let u be p(7). Let c = u + -5. Solve -4*n = -3*r + 13, c*n - 2*n = -r + 2 for n.
-1
Suppose -l + 3*l - 16 = 0. Suppose -2*o = -0*o - l. Suppose -5*h + 5 = 0, -o*h + 14 = -0*m + 2*m. Solve 2 - 7 = 4*w + m*d, d + 1 = 0 for w.
0
Let r = -5 - -1. Let c be 1 - (2 + r - -2). Suppose 0 = -7*x + 3*x + 4*q + 32, -x - q = 2. Solve c = -4*o + 2*j - x, -5*o - 3*j = 16 for o.
-2
Suppose 0*v - 3 = -v. Let u be 32/14 + (-6)/21. Suppose r = -5*n + 5, -5*r + 4*n = -u*r + 4. Solve 0 = -3*w - r*g - 3*g + 6, -v*w + g = -10 for w.
3
Let d(f) = -f**3 - 5*f**2 + 7*f + 2. Let z be d(-6). Let g = z + 6. Suppose 2*a - c = g*c + 3, -a + 3*c = 0. Solve -u = -a*b + 5, -b = -4*u - 0*u + 13 for b.
3
Suppose -5*m + 10 - 45 = 0. Let u be (m/(-28))/(2/24). Solve -v - 4 = 0, u*v + v = 4*d - 28 for d.
3
Suppose -6*r = -0*r - 24. Solve -n - c = 3*c - r, -c = -1 for n.
0
Suppose 4*i = -5*a + 9, 0*a + 3*i = -4*a + 8. Suppose f = 2*f. Solve a*h - 1 - 4 = f, -2*k + h = -5 for k.
3
Let i be (-27)/(-6) + 4/(-8). Solve i*b = 2*v - 4, 1 = 2*b - 1 for v.
4
Let v be -5 - (0 - 2 - -4). Let x(y) = y**3 - 2*y**2 - 2*y - 1. Let l be x(-1). Let q = l - v. Solve 0*z - q*w + 4 = -4*z, -2*z - 2 = w for z.
-1
Let u(z) = -5*z + 6. Let n be u(-7). Suppose -n - 7 = -5*j + 4*d, -2*j + 5*d + 26 = 0. Solve -j = 2*k + 2*k + 4*x, 3*k - 2*x + 11 = 0 for k.
-3
Let n(y) = y**2 + 6*y + 2. Let x be n(-6). Suppose -3 - 7 = -x*m. Solve 4*w = r - 4 - 4, m*w + 15 = 0 for r.
-4
Suppose -12 = -0*n - 2*n. Suppose -x - 3*p = -n, 0*p + 2*p = x + 4. Suppose x*a = -a + 2. Solve -4*d + 16 = -a*y - d, 5*d - 10 = 0 for y.
-5
Let o = -47 + 51. Solve -4*i - d + 0*d + 13 = 0, 4*i - 8 = o*d for i.
3
Let j be (-2)/(2/20 + 0). Let l be ((-8)/10)/(4/j). Suppose 1 = l*c - 7. Solve c*h - 2*t = 0, -t = -2*t + 4 for h.
4
Let s be (-24)/16*(-3 + 1). Solve 20 = -2*j + s*o, -4*j + 2*o = -o + 28 for j.
-4
Let j be (-74)/(-14) + (-2)/7. Solve 3*b = -b - j*k - 36, 0 = -2*b - 4*k - 24 for b.
-4
Suppose -3*p = -4*a + 3*a + 17, 2*p = a - 10. Let f(g) = -g**2 - 6*g + 8. Let k be f(p). Solve -3*x + 1 = 4, -4*l + k = 3*x for l.
1
Let s(w) = w**2 + w + 1. Let m be s(-2). Suppose 5*d + f = m, 2*d + 2*f - 4 = 2. Solve -2*k + 6 = d, 4 = 4*b - 4*k - 4 for b.
5
Let a(r) = 6*r - 3. Let v be a(2). Let b(x) = -x + 9. Let p be b(v). Solve p = 3*i - 3 + 12, -2*w = -2*i - 6 for w.
0
Let c(a) = -a**2 - 3*a + 7. Let n be c(-5). Let s be (10/n)/(2/(-3)). Let z = s - 3. Solve z*j - 9 = -5*f, -3*f + f = -j - 9 for j.
-3
Let a(b) be the third derivative of -b**4/12 - 7*b**3/3 + 5*b