v for z.
3
Let z be (2 + -3)/(5/(-20)). Suppose 0 = -5*g + 3*q + 19, z*g + 5*q = -g - 5. Solve -g*v - 2*n + 7*n - 35 = 0, 5*v + 3*n = -10 for v.
-5
Let q(r) = 1 + 6*r + 5 + r**2 + 0*r**2. Let p be q(-5). Solve 3*g - 17 + p = -4*f, 5*g + 4*f = 24 for g.
4
Let l(n) = 14 + 10*n - 7*n**2 + n**3 - 5*n**2 + 0*n**2. Let c be l(11). Solve -3*a + 7 = b, -5*b + 21 = -c*a + 4*a for b.
4
Suppose -6*x = -3*x - 30. Suppose -8*u + k = -11*u + 11, -3*u = -4*k - 31. Solve -x = u*j + 5*y, -3*j = 2*j - 2*y - 4 for j.
0
Let y = -8 - -18. Solve x + 6 = -4*q, -y = q - 2*x - 2*x for q.
-2
Let r(x) = 5*x + 50. Let g be r(-5). Solve g = 5*c + 5*p, -2*c - 2*p + 10 = 3*c for c.
0
Suppose -50 = 6*i - i. Let q = i - -18. Solve -4*b - q = -4*c, c = -b - 0*b + 6 for c.
4
Let x(w) be the third derivative of 1/24*w**4 - 2*w**2 + 0*w + 0 - 1/2*w**3. Let s be x(5). Solve z - 3*k - 3 = 4*z, s*k + 2 = -5*z for z.
0
Suppose -12 = -2*l - l. Solve -2 = -g + 3*a + l, -5*g - 10 = 5*a for g.
0
Suppose -o + 3*o + 3*s - 4 = 0, s = 5*o - 27. Let a(r) = r**2 - 3*r + 2. Let h be a(-3). Solve -h = o*j - j, 2*j = -3*k - 7 for k.
1
Suppose 0*k = -k + 14. Solve -2*y + 3*y + 2*l = 8, 3*y = -l + k for y.
4
Let v(c) be the second derivative of -c**3/3 - 4*c**2 + 3*c. Let f be v(-6). Solve 2*h + 6 = b + f, -4*b + 8 = 4*h for b.
2
Suppose -5*x - 4*i + 10 = 0, -5*i = 9*x - 5*x - 8. Solve -5*h - x + 9 = -4*c, 5*c + 10 = 5*h for c.
-3
Suppose 2*p + 0 = 2. Let h be ((-5)/4)/(p/(-4)). Solve h*d - 19 = 2*m, -4*d + 0*m - 4*m = -32 for d.
5
Let k(o) = o**3 + 7*o**2 - 8*o - 4. Let u be k(-8). Let v be (-21)/u + (-3)/12. Solve 0*s + v*p = -4*s - 35, -3*s - 3 = -4*p for s.
-5
Suppose -4*u = -u - 9. Let g be 8/3 - u/(-9). Suppose -3*j = -5*s - 8*j + 20, j - 10 = -g*s. Solve 5*o = 5*p - s*p + 7, -4*o = -4*p + 4 for p.
4
Let j(n) = n**3 - 15*n**2 - 16*n - 9. Let t be j(16). Let k = 9 + t. Solve -2*f - 3*f + 5*d - 50 = k, 25 = -f + 4*d for f.
-5
Let r(w) = -w**3 - 5*w**2 + 6*w + 3. Let l be r(-6). Suppose l*m = 2 + 4. Solve -m = y - 3*u + 4*u, u = 5*y + 4 for y.
-1
Let d be (-1)/5 + 192/60. Solve -d*i = 3*n - 6, 0 = -2*n - i + 4*i + 9 for n.
3
Suppose 2*k = -5*p + 4 + 3, -3*k - 4*p + 14 = 0. Suppose -k*j = -j. Suppose 2*s + 6 = -j*s - 4*o, -4*s - 5*o = 3. Solve -2*a - 13 = -s*f, 6*f = f + 15 for a.
-2
Suppose 2*k - 6 = -2*g - g, -5*k = 4*g - 8. Solve 0 = 5*h - 3*v - 17, -g*v - v = 4*h + 8 for h.
1
Suppose -3*q - 3 = -r - 37, 0 = 3*q - 3*r - 30. Solve -4*h + 2*s - q = 0, -h + s = 2*h + 8 for h.
-2
Let v(m) = -10*m - 2*m**3 + 0*m**3 + 10*m**2 - m**3 + 11 + 2*m**3. Let f be v(9). Solve -3*t - 7 = -5*j - t, -3 = -5*j - f*t for j.
1
Let d be -1 + (0 + 7 + -2 - 1). Solve 4*h - h + 18 = -4*o, 0 = d*h - 2*o for h.
-2
Let y = 35 - 31. Solve 2*a + y*p = 3*p, -1 = 3*a + 2*p for a.
1
Suppose 4*v + 0*b - 4*b + 4 = 0, -4*b + 16 = 0. Solve -4*k + 3 = -3*x - 0, v*k + 3 = 4*x for k.
3
Let c(b) be the third derivative of -b**4/6 - 2*b**3/3 + 4*b**2. Let n be c(-3). Let y = 17 - n. Solve 3*x + 5*v = -y, 0 = 5*x + v + 16 - 1 for x.
-3
Let b(r) be the first derivative of -r**4/4 + r**3 - r**2 + 2*r + 7. Let v be b(2). Solve v*j - 4*j - 27 = -5*f, f + j - 4 = 0 for f.
5
Suppose 0 = -2*q - 4*h - 8, 0*q + 4*h + 14 = -q. Solve 0 = 4*m + 3*n + q, n + 10 = -0*m - 4*m for m.
-3
Let x be 4 + 2 + (-3 - -2). Solve x*i = -v - 2*v - 7, 3*i - 23 = 5*v for i.
1
Let u = 0 - -5. Suppose -4 = -2*x + 4*r, u*x - 3*r - 20 = 2*r. Solve 3*c + k = -6, -5*c - 4*k - x = -2*c for c.
-2
Suppose 3 = 5*u - 3*u + v, 0 = u - 2*v - 14. Solve l = -4*w + 4, -u*w - 2*l = -6 - 2 for w.
0
Suppose 3*s - 7*s + 16 = 0. Suppose -3*d = -s*d + 3. Solve c + 11 = -d*r, 2*r - 4*r = 2*c + 6 for c.
1
Let f be -3 + 18/3 - 1. Suppose -f*x = 3*x. Solve -2*n = 3*o - x - 5, 5*o - 2*n - 35 = 0 for o.
5
Let d(n) = -2*n**2 + 16*n + 5. Let j be d(7). Suppose 0 = 5*u - 4*i - j, -2*u + 0*u + 11 = -5*i. Solve 3*m + 6*h + 18 = u*h, 0 = -3*m + h - 2 for m.
-2
Suppose -5*z = 5*b - 10, -4*z + 4*b - 6 = -7*z. Suppose -j + 10 = -z. Solve -4*g = -0*k - 2*k - j, -4*g + 22 = 3*k for k.
2
Let s(t) = t**2 + 3*t - 7. Suppose -4*d = 2*z - 2*d, -5*z = 2*d + 15. Let x be s(z). Solve 2*h + x = -m, -5*h - m = -0*m + 6 for h.
-1
Suppose 4*q - x + 5*x + 192 = 0, -q = -4*x + 38. Let c be -3 - ((-3 - q) + 2). Let f be (c/(-3))/2 + -3. Solve -f*h = -3*d - 1 - 17, h + 1 = -4*d for d.
-1
Suppose 4*d = -4, -3*h + 0*h + 4*d + 4 = 0. Suppose -10 = -9*f + 4*f. Suppose -q = -p + f, h*q - 4 = 4*q. Solve 0*n + n = u + p, 0 = -3*n + 2*u for n.
-2
Let k = 48 - 30. Solve -2*u + k = -4*j, -5*j = -3*u + 10 + 14 for u.
3
Let z(m) be the first derivative of 3*m**2 - 6*m - 3. Let u be z(4). Solve 3*t + 0*t - 6 = 0, -5*t + u = -4*p for p.
-2
Let t = 60 - 46. Solve 4 = -2*d - 2*m + t, 5*m = 3*d + 17 for d.
1
Let p = -28 + 31. Solve -2*h + 2 = -4*a + 2*a, 5*a + p*h = -21 for a.
-3
Let l(o) = o**2 - 9*o + 9. Let p be l(7). Let k(c) = 2*c + 3*c + c**2 - 3*c. Let g be k(p). Solve -z = 3*s - 6*z - g, -z = -s + 5 for s.
5
Let q(a) = 6*a**2 + 3*a - 4. Let p be q(-3). Suppose -27 = -3*k - n, 6*n = -4*k + 3*n + p. Solve -2*h - 8 = 4*y, 2*h - y + k = 5*h for h.
4
Suppose u = -4*m + 16, 4*m - 6 = m. Let h be 8 - 4/(u/6). Solve -3*f + h*q = -4, -4*q - 9 = f + 1 for f.
-2
Let k = 4 - -11. Solve -k = a - 5*z, -13 = 3*a - 2*z + 6 for a.
-5
Let s be -1 + 7 + 6/2. Let b = 12 - s. Solve 0 = -2*r + 6, -b*r + 5 = -4*f + 4 for f.
2
Let i = -29 + 31. Let g(c) = -2*c - 4. Let h be g(-3). Solve 2*o + h*o - 10 = i*q, 5 = -o - 2*q for o.
1
Suppose t - 84 = -2*t. Suppose 0 = 3*z - 0*c + 4*c - t, 2*c - 16 = -2*z. Solve -8 = 5*k + z*r, -4*k + 5*r - 8 = 23 for k.
-4
Let d be 1*2 - 24/12. Solve w - 2*z = -d*w - 5, 0 = -w - 2*z - 1 for w.
-3
Let j be (2/(-6))/((-2)/24). Suppose 0 = h + 2*t + 7, 20 = -j*h - 4*t. Let p = h - -6. Solve -p*u = 5*d + 11, 4 = 5*d - 2*u + 30 for d.
-4
Suppose k = 4*c + 6, 0*k + 5*k = 3*c + 13. Solve -4*b = 16, -5*z + 3*b = -k*b for z.
-4
Let s(f) = f**3 + 9*f**2 - f - 5. Let c(p) = -p**3 - 6*p**2 + 9*p + 5. Let h be c(-7). Let w be s(h). Solve 4*d + 5*q + 16 = 3*q, -4*d - w*q - 12 = 0 for d.
-5
Suppose -2*i = 2*a + i - 7, 0 = -a + 2*i + 21. Let s = -7 + a. Suppose 0 = n - 4*n + 15, 0 = -s*p - 5*n + 45. Solve -p*h + 5*l = -h - 16, -h + 4 = 5*l for h.
4
Let z be (-80)/(-12)*3/2. Let j = -10 + z. Solve j = 3*x, -3*x = -2*m + 1 + 5 for m.
3
Let t(y) = -2*y + 1. Let i be t(6). Let z = -6 - i. Solve 5*b - 3 = -3*o + z, 2*o - b - 1 = 0 for o.
1
Suppose 4*t - 48 = -0*t - o, t - 7 = o. Suppose 3*j + 3*g - 18 = 0, t = -j + 5*g - 7. Suppose -j + 14 = 4*a. Solve 0*c = a*c - z + 12, -2*c - 2*z = 0 for c.
-3
Let m = -11 - -14. Solve 0*n - 4*n + 2 = -m*s, -3*n - 3*s = -12 for n.
2
Suppose v - 3*g - 27 = -0*g, -3*v + 33 = 3*g. Let a be v/(-3)*(-8)/10. Solve 3 + 3 = 2*b + a*s, 0 = -3*b - 2*s - 7 for b.
-5
Suppose -3*m - z - 5 = -4*m, 25 = 5*m - z. Solve -m*u - a - 25 = 0, 5*a = 4*u + 3*a + 6 for u.
-4
Let t(d) = -d**3 + 4*d**2 + 4*d - 13. Let k be t(4). Solve -4*v = 2*n - 2, 0*n - 2*v = -k*n + 11 for n.
3
Let c be (-12)/(3 + -6)*1. Suppose 4*b + 5*o = 65 + 4, -c*o = 12. Solve -2*h - b = 5*x - 0*x, -4*h - 27 = 5*x for h.
-3
Suppose -s = 13*s - 210. Solve 5*a + 5*j = -s, 0*a + 3*j + 5 = -5*a for a.
2
Suppose 0 = 2*n + 11 + 7. Let j(s) = -s**3 - 8*s**2 + 9*s + 4. Let i be j(n). Solve -4*w - p + 14 = 0, -5*p - 9 + 31 = i*w for w.
3
Suppose 0*l = 3*l + w - 40, 64 = 5*l + 3*w. Solve -5*v - l = 2*t + 1, v = -t - 3 for t.
0
Let v(r) = -r**3 - 2*r**2. Let w be v(-3). Suppose 3*a - 3 = w. Suppose -2*i = 4*g + 8, 2*i - g = 1 + 6. Solve a*m + i + 21 = -d, -2*d - m - 11 = 0 for d.
-3
Let y(f) = 3*f - 4. Let u be y(2). Let q(b) = b**2. Let d be q(u). Solve 4 = i, -d*o + 28 = -0*i + 2*i for o.
5
Let g(i) = i**3 - 6*i**2 - 7*i + 3. Let z be g(7). Solve 0 = -4*s + z*y - 4 + 8, 4*y - 12 = s for s.
4
Suppose 0 = -11*b + 7*b + 12. Solve -11 = 3*n + 4*r, 5*n = -4*r - b - 10 for n.
-1
Let r(o) = 12*o - 1. Let y = 5 - 4. Let z be r(y). Solve -6*q + x = -3*q + z, -q = -2*x + 12 for q.
-2
Let h be 6/4 - 42/(-12). Solve 0*u + 4*b = u + 1, 3*b + h = -5*u for u.
-1
Let j be 2/2 + -9 + 9. Solve -o - l - j = 0, -2*l = 4*o - 4*l + 16 for o.
-3
Let q(z) be the third derivative of 1/6*z**3 - z**2 + 1/20*z**5 + 0*z + 0 - 1/12*z**4. Let l be q(1). Solve -2*p - 12 = -6*a + 2*a, l*a = -