3*w. Solve 5*z - 2*y + 5*y = -t, -z = 4*y + 1 for z.
-1
Let g(a) = -a**3 - 5*a**2 - 2*a - 7. Let u be g(-5). Let m = 0 + u. Solve 4*s + 3*b = 4, 0 = s - b + 3 + m for s.
-2
Suppose 0 = -0*g - 5*g. Let c(z) = 32*z. Let t be c(1). Suppose -t + 12 = -4*w. Solve 0*b + 5*r + 15 = w*b, 4*b - 2*r - 12 = g for b.
3
Let p be (0 - (-12)/9)*9/6. Solve 6*s = s + 4*m - p, -2*m = -2*s for s.
-2
Let b be ((-2)/5)/(3/(-30)). Let g = -1 + b. Let m = 22 + -17. Solve -2 = -2*d - m*z + 3*z, 2*d + g*z = 4 for d.
-1
Let i = 8 - 9. Let w be i/(-1)*(33 + -1). Solve 3*v + w = 7*v + 4*r, 0 = v - 4*r + 7 for v.
5
Let b = 8 - 5. Let o(g) = -3*g**2 + 3*g - 2. Let s be o(b). Let a be (2 + -3)*(s + 2). Solve -3*n + 8 = -5*n - m, n - 5*m = a for n.
-2
Let x be (3 - 1)*(-5)/(-2). Solve -x*c = 0, -7 = 4*u + 3*c - 27 for u.
5
Let b(f) = 2*f. Let c be b(1). Suppose p + c*l - 1 = -7, -p - l - 2 = 0. Solve 0*g = u + g - 1, 0 = p*u + g for u.
-1
Let b be (-168)/91 + 2 + 126/26. Solve a - 4*u = 2*a - b, -5*u + 25 = 5*a for a.
5
Let y(x) = -2*x**3 - 4*x**2 + x - 1. Let l be y(-3). Let q(z) = z**3 - 10*z**2 + 9*z + 12. Let i be q(9). Solve -p + i = 4*c, -4*c - c + l = p for c.
2
Let p(g) = -g - 11. Let w be p(-15). Solve x + 6 = -2*x + w*a, -5*x + 2*a - 10 = 0 for x.
-2
Let u(j) be the third derivative of -j**4/8 - 2*j**3 - 4*j**2. Let m be u(-9). Solve -3*k + m = -3*w, 5*w - 4 = -2*k - 8 for w.
-2
Let r = -109 + 157. Let l be (-2)/(-6) - (-128)/r. Solve 6 = -4*t - d + 28, l*t = 3*d + 9 for t.
5
Suppose 41 = 4*x + 13. Let v = -3 + x. Suppose -v = -3*b + 8. Solve -y = g + b, -5*g = -0*g - 2*y + 13 for g.
-3
Let r(z) = -z**3 + 4*z**2 - 2*z - 4. Let g be r(3). Let w be g/2 + 27/6. Let d = 2 + 2. Solve d*a = x + a - 17, -w*x = 5*a for x.
5
Let u be 12/(-15)*(-10)/4. Suppose -10 = -5*p - 0*p. Solve 2*w + 5*f - p = 0, w + 2*f = -f + u for w.
-4
Suppose 2*r + 11 = s, 4*s - 2*r - 35 = 3*r. Solve 6*q = 3*q - s*m + 32, -4*m + 4 = -3*q for q.
4
Suppose -3*r - 5*j + 8*j + 21 = 0, 2*r - 26 = 5*j. Solve -4*f - 20 = -r*o, -7*o + 3*o = 3*f + 15 for o.
0
Suppose -4*k + 5*k - 11 = 0. Suppose 18 = -4*n - 3*c - 2*c, 0 = 2*n + 4*c + 6. Let t = n + k. Solve -t*r = a + 7, 3*r + 4 = 2*a - 15 for r.
-3
Suppose f = -3*u - 13, 5*f + 3*u + 0*u = -5. Let j = 1 + f. Suppose 0 = -5*o + 5*v + 25, 2 - 15 = -5*o + v. Solve d = o*y - 9, -y - 2*y + j*d = -21 for y.
2
Let t(x) = x**3 - 7*x**2 + 7*x - 6. Let m be t(4). Let n = -16 - m. Solve -2*w + 3*j + n = -j, 5*w - 3*j - 18 = 0 for w.
3
Let y(s) = -s**3 + 6*s**2 - 9*s + 23. Let m be y(5). Suppose 0*z = -z + 8. Solve -m*k + z = -4*a + k, 0 = -5*k for a.
-2
Suppose -3*c + 4*l + 16 = c, 0 = 4*c - 3*l - 14. Suppose -2*d + 6 = -c. Solve -1 = -b, 4*z = -b - d*b + 1 for z.
-1
Let q be 1 + 2 + -2 - (-11 - -8). Suppose -40 = -3*d + 7*d. Let u = -7 - d. Solve q*n + 4*x = -16, -2*n - 3*x - 20 = u*n for n.
-4
Let d(z) = -9*z - 23. Let p be d(-6). Solve 5*y + 0*y = 2*q + p, -2 = -y - q for y.
5
Let p(h) = h - 1. Let f(m) = 5. Let s(c) = -f(c) - 3*p(c). Let v(x) = -x + 6. Let k be v(8). Let w be s(k). Solve -4 = -5*z + w*i + 12, -4*i = z - 8 for z.
4
Suppose -l + 2 = 1. Let j = l - 1. Let u = -1 + 5. Solve 4*o = u*i + 8, j = -5*i - o + 2 - 0 for i.
0
Let a be (-2)/(-2) - 2/(-1). Let h be (-4)/(-4) + (1 - 100). Let f be (2 - h)/4 - 1. Solve -2*j + 17 - 3 = -2*d, -f = -a*j + 4*d for j.
4
Suppose 0 = 3*g + 5*t - 3 + 23, 0 = 5*g - 5*t - 20. Solve m = -0*f - 5*f - 15, -5*f + 4*m + 10 = g for f.
-2
Let l(q) = -8*q**2 - q + 1. Let x be -2 - -1*4 - 1. Let h be l(x). Let i be (-3)/(-6*(-2)/h). Solve -20 = -4*j + 4*r, i*j = 4*r - 0 + 18 for j.
1
Let q(a) = 10*a + 56. Let w be q(-4). Solve 5*s - s + w = -h, -5 = -5*s + 5*h for s.
-3
Let f = 5 - 2. Suppose -u + 5 = 0, -5*u + 31 = -3*k + 12. Solve g - f = 0, -l + g + 1 = k for l.
2
Suppose 8*z = 5*z. Suppose 3*s + z*s = 0. Suppose -r + 3*r - 28 = s. Solve -3*x - r = -5*n, n - 22 = -2*n - 5*x for n.
4
Let l be (-5)/(-7) - 28/(-98). Let h be (-13)/(-4) + (-3)/12. Solve -4*d = 5*j - l, -h*j - 1 = -d + 3*d for d.
4
Let v = 10 - 10. Suppose -2*z + 2*i = 2, z + v*z = -3*i + 3. Solve z*p + m = -p + 2, -2*m = -3*p + 16 for p.
4
Suppose -4*f + 12 = -0*f. Suppose j + 4*i + 20 = 6, f*i = 2*j - 16. Solve -2*n - 3*c = 9, 5*n + j*c + 21 = 4 for n.
-3
Let w(x) = -x**2 + 10*x - 9. Let r be w(8). Let n be r + 2*-3 + 3. Solve n*z + 3*t - 2*t = 7, -5*z - 4*t = -17 for z.
1
Let o be -784*(-1)/(-4)*-2. Let z be (-4)/(-22) + o/22. Let l be (z/(-12))/(3/(-4)). Solve 0 = -5*i - r + l*r - 22, 4*i + 4*r + 8 = 0 for i.
-4
Suppose -t + 6 = 4. Solve -3*w = 2*o - 5, -t*w - 5*o = -0 + 4 for w.
3
Suppose k - 2 = 3. Suppose -3*x - 10 + 1 = 0. Let j = k + x. Solve 5*q + 5 = 0, 0 = v + 2*q + j*q + 4 for v.
0
Let u be (-112)/(-2) + 27/(-9). Suppose 3*x - 8*x = 2*h - u, -5*h = -x - 11. Solve 5*s - x = 2*y, -3*s = -2*s - 2*y - 5 for s.
1
Let m be 4/20 - 42/10. Let y(f) = f**3 + 4*f**2 - 2*f - 2. Let p be y(m). Solve -p = 3*l - 6*l - t, -4*l = -2*t + 2 for l.
1
Suppose 15 = 4*r - 1. Suppose -4*l = -6*l + r. Solve -4*i - 4 = 0, l*i + 13 = 5*k - 14 for k.
5
Suppose 7*h = 4*h + 3*z + 24, 5*h = -4*z + 13. Solve 0*q + 17 = -4*o + 3*q, 0 = h*o - 3*q + 19 for o.
-2
Let k(z) = z**3 + 5*z**2 - 4*z - 3. Let m be k(-3). Solve 0 = 3*j - 5*t + m, -6*j + 3*t = -j + 29 for j.
-4
Let n = -8 - -12. Suppose -n*w = -4 - 8. Solve -w*h = -5*m - 28, h + 0*m - 3*m = 16 for h.
1
Let a be (8/(-3) + 2)*(-21)/2. Solve a = 3*v + 2*v - d, 5*v + 5 = -5*d for v.
1
Let o(c) = -2*c - 13. Let x be o(-9). Suppose -45 = -0*h - 3*h - p, -p + 73 = x*h. Solve 0 = -2*j + d - h, -j + 6*j + 3*d + 13 = 0 for j.
-5
Suppose -m - 10 = m, 2*v + 31 = -5*m. Let z be (-1)/v - (-2)/3. Solve -o = 4*w + z, 4*o - 17 = -2*w + 7*w for w.
-1
Let a = -14 - -6. Let r be 2/a + (-39)/(-12). Solve -5*l - r*t - t = -7, l + 3 = -3*t for l.
3
Suppose -17 + 3 = -7*f. Solve -f*l - l = -3*z + 6, -4*z + 3*l = -4 for z.
-2
Suppose 2 + 0 = -2*p. Let t be p + -2 + 1*14. Let l(u) = -u**3 - 5*u**2 - 6*u + 2. Let f be l(-4). Solve -2*c + 13 = -3*o - f, 0 = c + 3*o + t for c.
4
Let l = 11 - 2. Suppose 0 - l = s. Let f = 15 - s. Solve -4*c + f = -4*g, -g = 3*c - c for g.
-4
Let k(z) = -z**3 + 4*z**2 + 2*z - 6. Let w be k(4). Solve -h = -5*t - 16, w*h + 11 = -2*h - 5*t for h.
1
Let t be (2 - 2)/(-3 - (-4 + 2)). Solve -5*a = 2*f + 24, 4*f + a + a + 16 = t for f.
-2
Suppose -12*t = -13*t + 5. Let g = -13 + 5. Let q = g - -13. Solve -16 = -4*y + q*f, 2 = y + t*f - 2 for y.
4
Let u be -2 + 4 + 1 + 1. Solve r + s - u = 0, 6 - 1 = 5*r + 2*s for r.
-1
Let q be 16/7 - (-4)/(-14). Suppose -l + q = -2. Solve -4*u - 4 = -l*y, -4*u + 3*y = 4*y - 11 for u.
2
Suppose 0 = 5*x - 20, -2*x = v + v - 34. Solve -3*w + 22 = 5*j + w, 5*w = j + v for j.
2
Let c(w) = 4 - 3*w**2 - w - 2 - 2*w**3 + w**2. Let f be c(-2). Suppose 4*l = 4*k - f, 0*k = 4*l - 3*k + 7. Solve q = -t - 8, 5*t - l*q + 10 = 3*q for t.
-5
Let o = 15 - 1. Let s = -8 + o. Solve -2*w - s = -4*h, 2*h = 4*w + 14 + 4 for h.
-1
Let j(m) = m**2 + m + 1. Let d be j(-1). Let z be d + (3/3 - 0). Suppose -4*i + z = -10. Solve q - 4 = -4*u + i*u, -3*u + 12 = -3*q for u.
4
Suppose -25 = -3*w + 5*f, -w - f + 25 = -6*f. Suppose -57 = 2*i - 5*i. Solve 2*d = j - w*d - 1, 0 = -3*j - 2*d + i for j.
5
Let h(o) be the first derivative of o**2/2 - 2. Let v be h(3). Suppose -3*w + 95 = 5*d, -2*d - 2*d = -w - 59. Solve -4*s - t + v + d = 0, 5*t - 31 = -4*s for s.
4
Let m = 26 + -25. Solve 3*o - m = -k, -3*o - 6 = -4*k - 32 for o.
2
Suppose 4*y + 4*v = 12, 0 = -y + 6*y - v - 15. Solve 3*a + 3 = -4*k, 3*k + 4 = -y*a - 2 for a.
-5
Let h = -3 + 11. Let m be 12/h*8/3. Solve -3*t = -5*t - 3*u - m, -2*t + 3*u = 16 for t.
-5
Let z(s) = s + 2 - 3 + 3. Let c(l) = l**3 + 7*l**2 + 2*l + 16. Let x be c(-7). Let d be z(x). Solve -7*t - d*h = -3*t + 16, 3*t = 4*h - 5 for t.
-3
Let s = 93 - 62. Suppose -5*k - 6 = -s. Solve -3*g + 8 = k*f + 2, -3*f = -g - 12 for f.
3
Let c(t) = -20*t**2 - 41*t - 15. Let v(y) = -7*y**2 - 14*y - 5. Let p(d) = 6*c(d) - 17*v(d). Let x be p(-7). Solve 3*k = -2*k + 3*g + 2, x*k = -g - 8 for k.
-2
Suppose 0*h - 2*h + 14 = 0. Suppose 0 = 2*x - x - h. Suppose -5*c + 0*c = -20. Solve -p = -3*a + 3*p + x, c*a = 3*p for a.
-3
Let k be -11 + 9 + 3/((-6)/(-20)). Solve -s + 3*c = k, 12 = -4*s + s + 3*c for s.
-2
Suppose -4*u + 2*u