3). Solve 0 = -4*v + w*v - 20 for v.
5
Suppose -3*p = 3*b, b - 5*b = 3*p. Suppose -d = 0, -5*d = -b*c + 5*c + 25. Let r be c/(-15) + 1/(-3). Solve 6*q - q = r for q.
0
Let n(j) = j + 15. Let m be n(-13). Solve 3*r + m = 8 for r.
2
Let t be (-4)/(-1)*(-1 - -3). Solve -a = a - t for a.
4
Suppose -2*z = -5*b + 5, b - 9 = -z + 3*z. Let v be 2 + (-1)/1 - b. Let d = v + -2. Solve 0 = y - d + 5 for y.
-5
Let p be (6/8)/(3/12). Suppose 6*r - 72 = 2*r + p*t, -5*t - 20 = 0. Let g = r + -11. Solve 6 = -g*h + 2 for h.
-1
Suppose 4*a = 3*p - 0*a - 6, -4*p + a + 8 = 0. Suppose 2*v = 3*x, 2*v - 4*x + 2 = -p. Solve -4*o = -6*o - v for o.
-3
Let c = 12 - 9. Solve 0 = c*r + 13 - 4 for r.
-3
Let y(g) = -g**3 - 7*g**2 - 2*g - 7. Let c be y(-7). Solve -2*b + 10 = -c*b for b.
-2
Suppose 0 = 8*z - 6*z - 6. Solve 0 = 5*b - z - 17 for b.
4
Let i(m) = m**2 + 5*m - 1. Let n be i(-5). Let a be -1*(-4 - -3)*n. Let b be 1*(a - 0) - -3. Solve -b = f - 3 for f.
1
Let y(s) = s**2 + s - 3. Let j be y(-3). Solve r + j*r + 16 = 0 for r.
-4
Let t be 4 + (3 + -1 - 3). Solve -t*h - 2*h - 5 = 0 for h.
-1
Let c(x) = -x**3 - 4*x**2 - 4*x - 3. Let d be c(-3). Suppose 2 - 5 = -v. Solve -v*m = -d*m for m.
0
Suppose 0 = 3*d + 3*j - 15, -2*j - 5 = -2*d - d. Suppose 2*y - m = -2*y + 4, -d*y + 3*m - 6 = 0. Solve -y*r + 2 + 4 = 0 for r.
3
Let o = 22 + -22. Solve -c = -o*c + 1 for c.
-1
Let w be ((-6)/(-12))/((-1)/(-38)). Let b = -14 + w. Solve 4*v = 15 + b for v.
5
Suppose 0 = 11*o - 1 - 32. Solve -o*u - 16 = u for u.
-4
Let r = -6 - -11. Suppose -4*o + 15 = -25. Solve r*z - o = -0*z for z.
2
Suppose -5*x - 3 = -4*u, 2*u - 3 = -3*x + 4. Solve -2 = u*a - 0 for a.
-1
Let l be (-6)/4*10/(-15). Let u(j) = -3 - 2 + 2*j - l. Let f be u(4). Solve 0 = f*a - 7*a for a.
0
Suppose -11 + 8 = -l. Solve -2*i = i - l for i.
1
Let g(k) be the third derivative of -k**6/120 + 7*k**5/60 + k**4/24 - k**3/6 + 11*k**2. Let v be g(7). Solve 4*w - v = w for w.
2
Let r = -6 - -6. Let s(a) = 4*a**2 - 2*a - 7. Let p(o) = -5*o**2 + 3*o + 8. Let q(l) = -5*p(l) - 6*s(l). Let h be q(3). Solve h*i + 3*i = r for i.
0
Let f(q) = q**2 + 4*q + 2. Let j be f(-4). Solve j*v = 3 - 5 for v.
-1
Suppose -4*i + 1 - 9 = -f, -3*f = -3*i - 33. Suppose 16 = 2*q + 5*z, -z - 2*z + f = 0. Let m = 0 - q. Solve 0 = -0*a - 2*a - m for a.
-1
Let t(i) be the second derivative of i**4/12 + 11*i**3/6 + 6*i**2 - i. Let s be t(-10). Solve 3*m - 4 = s*m for m.
4
Let a = 8 + -6. Let v(w) = w**3 + w**2 - 3. Let d be v(0). Let s be a/((-4)/18*d). Solve 5*c - 2 = s for c.
1
Let f(q) = q**3 + 4*q**2 - 7*q - 8. Let i be f(-5). Solve i*v = 6 - 0 for v.
3
Suppose 0*h + 5*c + 25 = -h, 15 = -3*c. Suppose h = 5*t + l - 0*l - 6, l + 6 = t. Solve q - t*q = 5 for q.
-5
Let o(i) = 4*i**2 + i - 1. Let c be o(1). Let u = c - 8. Let a be 4/6 - u/(-6). Solve -m - m = a for m.
0
Let x = -30 - -50. Suppose -x = -u - u. Solve 0*o + 2*o = u for o.
5
Let h be 4/3 + (-20)/60. Solve -g + h - 6 = 0 for g.
-5
Suppose m + 3*u = 12, 3*m - 2*u + 3 = 6. Suppose 1 = o - m. Solve 2*k + 0 = -o for k.
-2
Let f = 14 - 12. Let v = -40 + 65. Suppose -f*m = 3*m - v. Solve -7 - 18 = m*c for c.
-5
Let s be (-10)/6*15/(-5). Suppose g - 3*k = 3*g - 11, -5*g - 3*k = -s. Let y be (4/10)/(g/(-10)). Solve -y*m = -0*m - 8 for m.
4
Let l(y) = -y**3 + 2*y**3 + y**2 + 2*y - 5*y**2. Let v be l(4). Suppose 4*b - v = 12. Solve z = b*z for z.
0
Suppose 0 = 3*b - 0*b. Let q(l) = -3*l**3 + 5*l - 1 - 6*l + b. Let o be q(-1). Solve 0 = 2*d - o - 3 for d.
3
Let i be 1*-5*(-4)/10. Solve -q = -1 - i for q.
3
Let o be 6/(-4) + (-22)/(-4). Suppose 2*v - o + 10 = 0. Let l = v + 3. Solve -5*n + 2*n = l for n.
0
Let q(k) = -k**3 - 5*k**2 + 6*k + 6. Let b be q(-6). Solve 5*v - b*v + 3 = 0 for v.
3
Suppose -2*h + 21 - 11 = 0. Solve -h*a + 2*a = -9 for a.
3
Let g be 52/16 + (-1)/4. Suppose 0 = 5*k - 2*k - g. Solve 16 = -3*d + k for d.
-5
Suppose 5*g + 50 = 5*c, c - 15 = -c + g. Suppose 2*h = 4*v - 2*h - 8, c*h = -3*v + 30. Solve -2*x = v + 3 for x.
-4
Suppose -4*u - r + 20 = -6, 14 = 4*u - 5*r. Let t be (42/9)/(2/u). Solve 3*f + 5 = t for f.
3
Let a be 10 - 5 - 0/(-2). Let y = a - 3. Let m be y - (0 + -1)*2. Solve -k = m*k - 5 for k.
1
Let u = -13 - -27. Let q = u + -14. Solve x = -q*x for x.
0
Let w(o) = o**3 - 5*o**2 - 4*o + 4. Let i be w(6). Let t = 8 + -3. Let c = 9 - 5. Solve t*h + c = -i for h.
-4
Let g(z) = -8*z - 5. Let l(o) = 9*o + 6. Let v(f) = 5*g(f) + 4*l(f). Let d be v(-1). Solve 0 = d*x - 2*x + 4 for x.
-4
Let r(d) = d**3 - 4*d**2 - d - 3. Let j be r(5). Suppose 2*n - 3*s + 2 = 0, n + 2*s - j = -s. Solve 3*c + n = -2*c for c.
-1
Let l(h) = -h. Let q be l(-4). Suppose d - 3*x = -x + 12, q*d - 3*x - 23 = 0. Let r be 13/4 - (-2)/(-8). Solve -d*t - r = t for t.
-1
Suppose -2*n + n + 5 = 0. Suppose n*s - 28 = 3*g, 3*s - 4*g = 22 - 3. Solve 0 = -w + s*w + 16 for w.
-4
Let u = 40 - 29. Let h(r) = r - 11. Let y be h(u). Solve y = 3*s - 2 - 13 for s.
5
Let a be (-5)/(-2)*(13/5 + -1). Solve 1 = a*s + 21 for s.
-5
Suppose 0*u = -2*u - 32. Let j = 36 + u. Solve 0 = 2*n + 2*n - j for n.
5
Suppose -12 = -3*y - 2*x - 0*x, -x = 2*y - 8. Solve 2*c - y = 6 for c.
5
Let c(t) = -t + 11. Let g be c(7). Solve r + 25 = -g*r for r.
-5
Let l = -23 - -35. Let z = -10 + l. Solve z*n = -0*n + 8 for n.
4
Let v(k) = -k - 8. Let p be v(-10). Let j = 8 + -3. Suppose 0 = -2*w - j*s + 2*s + 19, -5*w + 25 = 3*s. Solve w*c + p = 4*c for c.
1
Suppose 5*s + 4 = 14. Suppose -s*a = -3*q - 24, 0*q - q = -3*a + 22. Solve -g = g + a for g.
-3
Let q be (10/25)/(2/15). Solve 0*b + q*b - 15 = 0 for b.
5
Let z(j) = -4*j - 3. Let o be z(-2). Let r(h) = 3 - o*h**2 - 6 + 4*h**2 - 7*h. Let b be r(-6). Solve b = -3*k - 0*k for k.
-1
Suppose 8 = 3*s - 4. Solve 0 = s*p - 8 - 12 for p.
5
Let z(q) = q**3 + 4*q**2 + 2*q - 1. Let a be z(-3). Let b be (0 + 9)/(-3) - -1. Let c = 1 - b. Solve -a*h = -h - c for h.
3
Let n(p) = -p**3 + 7*p**2 + 10*p - 14. Let h be n(8). Solve -h*s = -3*s + 2 for s.
2
Let z = -90 - -130. Suppose -k + z = 4*k. Let r(p) = p**2 - 9*p + 11. Let l be r(k). Solve -15 = -l*h - 0 for h.
5
Let s(l) = l**2 + 8*l + 4. Let j be s(-8). Let p be (-2)/(-2)*(-1 + j). Solve -r - 2 = p for r.
-5
Suppose -5*a = -2*x + 105, -132 = x - 3*x - 4*a. Suppose 0 = -12*f + 7*f + x. Solve 3 = -3*w + f for w.
3
Let s be (10/(-5))/((-2)/8). Let h(i) = i**3 - 9*i**2 + 9*i - 3. Let l be h(s). Suppose -4*v - 9 + 1 = -4*y, -4 = -2*y + l*v. Solve 8 = -y*o + 4*o for o.
4
Let x be (-105)/20*8/(-2). Suppose -3*d - 2*s + 5*s = -x, -4*d - s = -3. Solve -4*h = -d*h for h.
0
Let u = -14 + 8. Let a = u - -11. Solve -26 = -a*i - 1 for i.
5
Let p = 20 - 19. Let m be 2/7 - (-9)/(-7). Let d be (-5*1 + p)*m. Solve -s - s = d for s.
-2
Let a = 83 + -81. Solve -q + a*q = 0 for q.
0
Let k(f) = -f - 9. Let g be k(-5). Let x(z) = z**2 - 4. Let i be x(0). Let w = g - i. Solve 0 = -4*b - w*b - 4 for b.
-1
Let h be 1/(-3) - 174/(-9). Solve -4*f = -1 - h for f.
5
Let d = 165 + -143. Solve 5*t - d + 2 = 0 for t.
4
Let p(b) = b**3 + 7*b**2 - 9*b - 6. Let l be p(-8). Let i = l - 1. Solve u + 6 = i for u.
-5
Let x be 10/2*1*1. Let j = 8 - x. Suppose 4*m + m - 10 = 0. Solve -m*a - j*a = 0 for a.
0
Let j = 4 - 7. Let l(o) = -7*o - 1. Let h be l(j). Solve -h = 4*q - 0*q for q.
-5
Suppose -62*p + 58*p = -12. Solve 8*q - p*q = 0 for q.
0
Suppose 9*r - 4*r = 270. Let k be 4/(-18) - (-174)/r. Solve -k*x + 11 = -4 for x.
5
Let a be (164 - 161)*-1*1*-1. Suppose 3*t = 5*t. Solve -a*i + t*i + 9 = 0 for i.
3
Let s(x) be the second derivative of x**5/20 - x**3/6 - x**2 - 3*x. Let f be s(0). Let q be (f - 0)/((-4)/58). Solve 4 = 5*h + q for h.
-5
Suppose -5*h = m + 1, -3*m = h + 3 - 0. Let r(g) = g**3 - g**2 - g. Let q be r(h). Solve -2 + q = -2*i for i.
1
Suppose 5 = -2*p - 5. Let l = p - -9. Let a(m) = m**2 - 9*m - 5. Let r be a(10). Solve r*i - 11 = l for i.
3
Let y(l) = -2*l - 25. Let f be y(-14). Solve -f*p - 24 = -9 for p.
-5
Let p(m) = -m**3 - 5*m**2 + 5*m - 4. Let f be p(-6). Suppose -f*b + 4 = -u, -3*b + 5*b + 5*u = -8. Let w be b/(2 + -3) + 4. Solve 1 - 4 = w*g for g.
-1
Suppose 0 = 3*i - 0*i. Suppose h - 2*h = i. Suppose h = -2*j - 1 + 5. Solve 2*q + j = 6 for q.
2
Suppose -4*b + 6 + 2 = 0. Suppose 2*s - 5 = -2*j + 5, 0 = b*s - j - 1. Solve -3*c - 11 = -s for c.
-3
Let y = 37 - 23. Solve -y = 3*