 = -2*q - 2. Let t be z(3). Let l be r(t). Solve -l*v + 4*k = 15, -2*k = -k for v.
-5
Let y(p) be the third derivative of p**4/6 - 2*p**3/3 + 2*p**2. Let x be y(5). Let f = x + -6. Solve n - 4*n + s + f = 0, -5*s = 2*n + 16 for n.
2
Suppose 4*m = -l - 2*l + 4, -3*m + 16 = -l. Solve -4*w - p - 1 = 19, 0 = -4*w - m*p - 20 for w.
-5
Let h = 17 + -4. Solve -2*y + c - h = 0, 4*c - 12 = -0*c for y.
-5
Let f = -1 - -3. Let n(d) = -d + 1. Let b be n(0). Suppose g = 1 + b. Solve -3*q - 2*y + 3*y = -4, -g*q - f*y + 16 = 0 for q.
3
Let t = -9 + 9. Suppose t*f = -4*f + 72. Solve 4*x = -5*z + 2, -f = -4*x - 2*z + 5*z for x.
3
Suppose -m + 3 = -0*m. Let i be (1 + -1)/(m + -5). Solve i = -2*r + 2*z - 3 - 1, -r + 4 = -4*z for r.
-4
Suppose u + 2*w = -u + 12, u + 3*w - 2 = 0. Solve 3*p + 3*l = 0, 2*l + 0 + u = 2*p for p.
2
Let a(i) = i**2. Let z(f) = -2*f**2 + 7*f + 3. Let s(d) = -a(d) - z(d). Let o be s(8). Solve 4*m + 0*m + 4*j + 4 = 0, m + 3*j = -o for m.
1
Suppose -2*o + 3*d - 9 = 0, -4*o - 5 = -5*d + 10. Solve -p = -t, t - 5*p + 2*p - 8 = o for t.
-4
Let p be (1 + (0 - 1))/1. Let w be (-2 - p - -3) + 1. Solve w*t - 5*f - 1 - 9 = 0, 2*t - 2*f = 10 for t.
5
Let t = 6 - 3. Suppose -4*p = -t*v - 33 + 9, -2*p - 14 = 5*v. Suppose 41 = n + 11. Solve 5*s + 25 = 0, k + 8*s - p*s = -n for k.
-5
Let h be (3 - 5 - -2)/2. Solve -3*i = -h*i - 5*r - 27, 2*i - 2 = -2*r for i.
4
Let a(j) = j**3 + j**2 - 1. Let k(b) = 4*b**3 + 7*b**2 - 6*b - 4. Let m(x) = -3*a(x) + k(x). Let l be m(-5). Solve 0 = 2*t + w - 0*w - 12, l = 2*w for t.
5
Let k(h) = h**2 - 2*h + 3. Let s be k(2). Suppose -i = -4*m + s, -4 = -4*m + 2*i + 2. Let r(a) = a + 5. Let u be r(m). Solve o - 28 = u*q + 4*o, 3 = -3*o for q.
-5
Let m(g) = g**3 + g**2 - g + 5. Let u be m(0). Suppose -2*c - 3*j + 10 = -j, -25 = c - u*j. Solve c = 2*v + 2*o - 10, 8 = -4*v + 5*v + 4*o for v.
4
Let o = -3 - -24. Solve 5 = -4*w - 11, -4*w = g + o for g.
-5
Let i(g) = -g**3 - g**2 + g + 11. Let b be i(0). Let r(w) = -w**3 + 12*w**2 - 11*w. Let s be r(b). Solve 3*f + 2 = -o, -2 = 2*f + o - s*o for f.
0
Let z(k) = -k**3 - 13*k**2 - 12*k. Let g be z(-12). Solve 5*i + g*f + 15 = 5*f, -4*i - 2*f = 12 for i.
-3
Suppose 3*n - 15 = -2*x, -x - 2*x + n = -6. Solve 0 = -k + 3*y - 6, 24 = x*k + 6*y - y for k.
3
Let q(k) be the second derivative of 1/6*k**3 - k**2 - 2*k + 0 - 1/20*k**5 + 1/2*k**4. Let b be q(6). Solve -5*d - 25 = 0, -d = -3*t - 0 - b for t.
-3
Suppose 12*d = 9*d + 6. Let n be (2/1)/((-4)/(-10)). Solve -n - 15 = s + 5*v, -v + 5 = d*s for s.
5
Suppose 3*l = 2*g + 12, 2*g - g = l - 4. Solve z = -l*t, -4*z - 10 - 7 = -t for t.
1
Let y be (-7 - -6)/(3/(-12)). Solve -y*k + 22 = 2*h, -2*k - 5*h + 2 + 21 = 0 for k.
4
Let h = -11 + 14. Suppose 2*p = -2*j + h*j + 4, 0 = -5*p + j + 4. Solve -5*n - 3*r + 7 = -p*r, -5*r - 5 = 0 for n.
2
Let d(c) = c**2 - 11*c + 2. Let i be d(12). Solve i = -0*r + 5*r + 3*q, -2*r = -q - 10 for r.
4
Suppose 2*n = -3*n + 10. Let p be ((-25)/(-10))/((-1)/(-2)). Solve t - 4*l - 4 = -3*l, -t - n = p*l for t.
3
Let n be 2/(-3) - (-2)/3. Suppose -5*q + 3*k = -0*k - 27, -2*q + 22 = -4*k. Solve 0 = 2*t + 2*x + 8, n = 2*t + 2*x - q*x + 11 for t.
-5
Let w be 15/10*(-22)/(-3). Let o be -1 + 6 + 0/(-2). Solve 0 = 4*q - m + w + 2, -2*m = -o*q - 20 for q.
-2
Let d(u) = 4*u**2 - 1. Let c be d(-1). Suppose -q = 4, c*q = 5*n - 0*n - 37. Solve 5*h + 4*l + 22 = 0, -4*h = n*l + 3 + 20 for h.
-2
Suppose 0 = -d - 4 - 10. Let u be (-2)/(-4) - d/(-4). Let g be (-15)/((-3)/(u - -6)). Solve 3*v = g, -3*i - 2*i + 10 = 2*v for i.
0
Suppose -6*f - 3 = -21. Solve 0 = 2*v - 2*a, -3*v - 25 = -v + f*a for v.
-5
Let g(a) = -a + 5. Let n be g(6). Let k(c) = 9*c**2 + c + 1. Let m be k(n). Suppose 2*i - 3*i + 1 = 0. Solve -3*q = -m, -2*y + 5*q - 10 = -i for y.
3
Let s(t) be the second derivative of -t**3/6 - t**2/2 + 2*t. Suppose -3 + 0 = j. Let n be s(j). Solve 4*r + n*i = 2, -13 = -2*r + 6*r - 3*i for r.
-1
Suppose 6*g = g + 520. Suppose -4*k - f + 104 = 0, 3*k - g = -2*f - 21. Solve -z = 2*z - 2*h + 12, -5*h + k = -5*z for z.
-2
Suppose -2*u - 3*a + 18 = 0, 4*u - a = -0*u + 8. Let v be (-68)/(-8) + u/2. Solve -t - 6 = o, -3*t + v = -5*t - o for t.
-4
Let h = 1 + -1. Suppose 3*x + x - 76 = h. Solve -2*f + x = -5*p, -p - 13 = -4*f + 4*p for f.
-3
Suppose z + 0 = -3*m + 2, -5*m + 4 = z. Let v be (-1)/(z/(-3)) - -7. Let d(c) = c - 5. Let g be d(9). Solve -4*j - v*t = -5*j - 12, -2*j + t = -g for j.
4
Suppose -5*w = -5*g - 10, -5 = -4*g + 3*g. Suppose -w*z + 9 = -4*z. Solve 0 = m - 0*v - 2*v + 10, -5*v + 26 = -z*m for m.
-2
Let k be ((-2)/(-3) + 0)*84/8. Solve 2*h + k = -p - 5, -5*p = 2*h + 28 for h.
-4
Suppose -41 + 6 = -5*v. Solve -7*l + 3*m = -2*l - 16, 2*l = m + v for l.
5
Let r(n) = -n**2 + 7 - 3*n**2 + 2*n**2 + 13*n. Let z be r(7). Suppose 0*x - 2*x = 0. Solve 2*m = -4*u + 22, -5*m + 5 + x = z for u.
5
Let u = 9 + -13. Suppose 3*n + 0*n = -18. Let f = u - n. Solve d = -f*w - 0*w, d = 5*w - 7 for w.
1
Suppose 4*b + 9 = -x, 4*x + 0*b + 5*b = -14. Let s be (-20)/25*(5 - 0). Let u be (s + x/1)/(-1). Solve -z = -u*j - 4, 2*j + 16 = 6*j + 4*z for j.
0
Let n(u) = -u. Let b be n(-10). Solve -3*d - 4*k + 10 = 0, d - 2*k + b = -0*k for d.
-2
Suppose 2*h + 20 = 6*h. Solve 7 = h*x + 2*o, -5*x + 2*x = -3*o for x.
1
Suppose -23 = -2*l - 5*o, -3*l + 23 = 3*o + 2. Let m be 82/(-4) + 2/l. Let f = m - -30. Solve -5*z + 5*r = f, z + r + 0 = -6 for z.
-4
Let f = -114 + 119. Solve 4*u = -r - 1, 5*r = 2*u - f + 22 for r.
3
Suppose 2*o + 4*a - 70 = 0, 0*a = -5*o + a + 120. Solve -g + o = 5*f, -4*f = 2*g - 2*f - 18 for g.
5
Let k = 1 - 1. Suppose -5*f + 2*b + 16 + 4 = 0, -b + 3 = 4*f. Suppose 2*v = -f*j + 14, 4 = j - 3*v + 5. Solve 5*d + 2*c - 9 = k, -j*c + 9 = d - 7*c for d.
3
Let g be ((-12)/9)/((-4)/6). Suppose -g*s = -5*s. Suppose s + 20 = 4*h. Solve -2*q + 4 = -6, h*o + 25 = 5*q for o.
0
Let p(o) = o**3 - 3*o**2 - 3*o + 1. Let w be p(4). Suppose -c - 2*u + 7 = -w, 4*c - 3*u = -7. Solve -r + 4*y = -20, -3*r + c*r = -y - 8 for r.
4
Suppose -7*n + 2*n = 5. Let o(m) = -3*m - 1. Let v be o(n). Solve 0 = -2*b - 5*c + 28, 3*b + 4 = 6*b - v*c for b.
4
Suppose 2*q = -2*q + 8. Solve -b = 2*o - o + q, -5*o + 4*b = -17 for o.
1
Let d(q) = 3*q - 4. Let c be d(3). Suppose 3*a = -5*v + 63, -3*a = c + 7. Suppose v = 2*x + 3*x. Solve 0 = 2*y + 5*j - 19 - 6, 4*j = x*y + 20 for y.
0
Let z = 22 + -15. Solve 3*x - 3*v - z = 2*x, 9 = -x - 5*v for x.
1
Suppose 10*z = 5*z - 4*d + 30, 2*z - 9 = -d. Solve -5*l + 1 = -2*p, 0 = -p + 4*l - z - 0 for p.
2
Let o(n) be the third derivative of n**6/120 + n**5/12 - n**4/24 - n**3/3 + 10*n**2. Let x be o(-5). Solve -y = 2*i + x*i - 7, -y - 2 = -4*i for i.
1
Let t = 0 + 8. Let r = 10 - 6. Suppose -r*k = 16, 4*d + d = 3*k + 27. Solve 2*o + 2*i - t = 0, 10 = d*o + i - 4 for o.
5
Let a = 8 + -6. Let l be 2/(-3)*(-6)/a. Solve 29 = l*o + 5*d, -3*o = -6*o - 4*d + 26 for o.
2
Suppose 0*o - 10 = -2*o. Let z = 7 - o. Suppose -z*q + 6 + 2 = 0. Solve -q*m - 4*i - 16 = 0, 5*i - 16 = 5*m + 14 for m.
-5
Let g(v) = v + 2. Suppose -x + 0 + 2 = 0. Let j be g(x). Solve -s + 0*s + 3*h = -2, -j*h = -s + 4 for s.
-4
Let w = 1 + 1. Suppose 3*b - 2*l + 17 = -w*b, -5*l = -2*b - 11. Let i be (1/2)/(b/(-72)). Solve 0 = 3*j - 0*j + 3*h - i, 4 = h for j.
0
Let r be 1/(1 - (-12)/(-10)). Let l = r - 10. Let j = 22 + l. Solve -5*g - j*a + 2*a + 20 = 0, 5*a = 4*g - 7 for g.
3
Suppose c + 4*t + 13 = -0*t, -3*c + t = -26. Let l = c - 2. Solve r = 5*k - 22, 5*r + 3*k - l*k = -18 for r.
-2
Suppose 3 + 0 = w. Suppose -f = -4*p - 8, -2*f - 3*f + 2*p = -4. Solve 0 = -5*x - f*x - 4*v + 21, -w*x - 1 = -v for x.
1
Let v(f) = -f + 17. Let b be v(7). Let i = 8 + -5. Solve b = -5*j - i*o, 4*o + 11 = -5*j - 4 for j.
1
Suppose j = 2*c + 2, 0 = 3*j - 0*c + 5*c - 17. Solve y = 3*d - 5, -j*d + 9 = 5*y - 4*y for y.
1
Suppose -4*r + 22 = -10. Suppose -2*g + r = 2*o - 0, g = 5*o - 2. Let x be (-3)/(-3) + (g - 3). Solve -4*p - c - x = 11, -6 = 5*p - c for p.
-2
Suppose 3*w - 7 - 14 = 3*p, -5*p - 27 = -w. Solve -w*h - m - 3 = 0, -2*m + 10 = -0 for h.
-4
Let s be (-34)/8 - (-3)/12. Let f = -4 - s. Solve 5*t + 2*j - 12 = 9, 4*t - 4*j = f for t.
3
Let r be 8 + 6*(-2)/4. Solve -4*w - 3*m = -14, 21 = 4*w + 2*m + r for w.
5
Let a = -8 - -11. Let q be (-1)/(14/8 + -3 + 1). Solve -2*p + a*o = 17, -q*p