 6 for v.
2
Let b(r) = r**3 - 4*r**2 + 2*r + 6. Let p be b(3). Let t be (-2)/4*(-2 - 0). Solve -p*w - t = 11 for w.
-4
Let j(f) = -f**3 + 6*f**2 + f - 2. Let b be j(6). Suppose -4*s = 4*m - b, 5*m = 2*m - 12. Solve -k - s + 2 = 0 for k.
-3
Let k(j) be the third derivative of j**4/8 + j**3/6 - 8*j**2. Let o be k(0). Solve -p + o + 1 = 0 for p.
2
Let r be 2/(4/6 - 0). Let i(j) = j**3 - 10*j**2 + 8*j - 7. Let o be i(9). Let g = o + 24. Solve -g = -r*l - l for l.
2
Let q = -17 + 22. Suppose 3*f + 3*l = -2*f - 4, 5*f = -q*l - 10. Solve 3*m + 5 = -f for m.
-2
Let k(n) = -5*n - 1. Let p = 7 - 6. Let f be k(p). Let w be (-12)/(-2 - 3/f). Solve 0*u - w = -4*u for u.
2
Let n be 16/10 - ((-22)/5 - -4). Solve 5 = -3*p + n for p.
-1
Let k = -35 + 62. Let j be (-6)/k - (-11)/9. Solve -3*z + 4*z = -j for z.
-1
Let i(m) = m**2 - 2*m - 4. Let s be (2/4)/(2/12). Suppose -3*h - 4 = -4*d, 3*d + 0*h = -s*h + 24. Let f be i(d). Solve -f*j = -3*j - 2 for j.
2
Let g(s) = -s + 5. Let l be g(0). Let d(b) = -b**3 - 9*b**2 + 10*b + 2. Let c be d(-10). Solve l = -3*t + c for t.
-1
Suppose 3*s = -0 + 9. Solve s + 0 = 3*q for q.
1
Let q = -3 - -11. Solve q + 7 = 3*k for k.
5
Suppose 3*o + 5*c = -133, o = 4*o - 3*c + 117. Let y = -29 - o. Solve 0 - y = 4*f for f.
-3
Suppose -4*x = -v + 45, 4 = v - 1. Let d be (-33)/(-7) - 4/(-14). Let j be 2 - d/(x/(-4)). Solve j = -i - 3*i - 4 for i.
-1
Suppose 0 = 2*u - u - 2. Solve j - 5 + u = 0 for j.
3
Let v be (-6 - -4)*2/(-1). Suppose 6*c - 2*q + 9 = c, 5*c - v*q = -13. Let a = -1 - c. Solve -n - n + 6 = a for n.
3
Let s(m) = -4*m - 16. Let j be s(-9). Suppose 0 = 5*w + 3*o - 25, 0*o + o = -4*w + j. Solve -2*a = w - 3 for a.
-1
Suppose -12*i = -3*i. Solve 2*c + 0 - 8 = i for c.
4
Suppose 8 = 5*x - z + 4*z, 4*x + 1 = 5*z. Solve 0 = -p - 4 - x for p.
-5
Let y be (-10 - -12)*(2 - 1). Let a(s) = -s**3 - 2*s**2 + 2. Let m be a(-3). Suppose -9 = -t + 5*r, -3*t + r = -y - m. Solve u + t - 5 = 0 for u.
1
Let c(h) = 2*h**3 - 2*h**2 - h. Let n be c(2). Suppose -v - 2*v + n = 0. Solve 0 = v*x + 3 - 1 for x.
-1
Suppose 3*i - i + 3*d + 3 = 0, -4*d = 4*i - 4. Solve -i = 4*t + 10 for t.
-4
Suppose -u + 5 - 1 = 0. Let g = -4 + u. Solve 3*d + 9 + 0 = g for d.
-3
Suppose -4*b + 9 = -b + 3*g, 0 = 2*b - g - 3. Solve 5*w - 9 = b*w for w.
3
Let i(t) = t**3 - 7*t**2 - 17*t - 5. Let f be i(9). Solve f*y = 2 + 18 for y.
5
Let y be ((-2)/(-6))/(1/9). Let o be 7*(80/35 - 2). Solve -o*i = y*i for i.
0
Suppose -m + 3*m - 20 = 0. Suppose -m*f + 12*f = 0. Solve -3 = -f*l - l for l.
3
Suppose 0 = -3*c - 4*u - 14, 2*u + 6 = 6*c - 8*c. Let x(y) = y**3 - 2*y**2 + 3*y - 2. Let q be x(2). Solve q*a - c = 6 for a.
2
Suppose 2*z - 17 = 4*o + 1, 21 = 5*z - 2*o. Suppose z*x + x - 4 = 0. Solve 5*t - x + 21 = 0 for t.
-4
Let y = -14 - -27. Solve -3*p = y - 1 for p.
-4
Let o(u) = u**3 + 4*u**2 - 9*u - 12. Let m be o(-5). Suppose 2*s = -0*i - i + 5, s - 15 = -3*i. Solve i*w - 12 - m = 0 for w.
4
Suppose -5*f + 12 = -8, 4*f - 211 = -5*w. Let g = w + -27. Let z = -9 + g. Solve z = -5*m - 2 for m.
-1
Let o be (-6)/(72/(-186)) + 3/(-6). Suppose -5*x + 112 + 148 = 0. Let j be x/10 + 1/(-5). Solve 2*d = o - j for d.
5
Let g(s) = -s**2 - 8*s + 14. Let d be g(-9). Solve 0*j + 5 = d*j for j.
1
Let n = -28 - -30. Solve -n*d = 2*d for d.
0
Suppose 95 - 31 = 8*g. Solve -3*n - g = n for n.
-2
Let o(v) = 14*v - 7. Let i be o(3). Solve -5*n + i - 15 = 0 for n.
4
Suppose -2*x - 8 = -4*x. Suppose x*u - 5*c = 5, 0 = -u - c - 4*c - 5. Let z = 0 + u. Solve -d + z = -2 for d.
2
Suppose 4*l = l. Let u = 34 + -31. Solve u*k = -l*k - 9 for k.
-3
Let h = 0 + 1. Let t be -4*(3 + -4)*h. Solve t = q + 3 for q.
1
Let m = 45 + -32. Let z = 7 - m. Let n be (15/z - -2)*-8. Solve -20 = j + n*j for j.
-4
Let t be 0/(1 + (-2 - -3)). Let j be t + 0 - (-3 + 3). Solve j = -k - 1 - 3 for k.
-4
Let v be 101/11 - 2/11. Let t = 9 - v. Suppose t = -2*w + 4, a + 4*w - 15 = -3. Solve a*n + 9 = n for n.
-3
Suppose 5*t - 2*t - 5*s = -13, 31 = 4*t + 3*s. Suppose 38 = t*u + 10. Solve 0 = -3*w - u - 8 for w.
-5
Suppose -6 = 3*d - 0*d. Let z be ((-10)/(-15))/(d/(-6)). Solve -y = -0 - z for y.
2
Let d = 27 + -14. Let o = d + 7. Let k be (1/2)/(2/12 - 0). Solve -2*y + o = k*y for y.
4
Let a(n) = -n. Let q be a(0). Let y be q/(2 - 0/2). Solve u = -y*u for u.
0
Let k = -6 + 9. Solve p = -k*p - 8 for p.
-2
Let v be (6/21)/((-1)/(-7)). Let a be (-7)/((-105)/(-6))*-5. Solve 2*c = -a - v for c.
-2
Suppose 5*q - j = -0*j + 101, q - 4*j = 24. Let v = q - 5. Solve 4*p - v = 1 for p.
4
Suppose 4*z + 4*s = 0, -5*z + 5*s = -z + 45. Let w(p) = -p**2 - 7*p - 4. Let h be w(z). Solve -7*r + 5 = -h*r for r.
5
Let z(g) be the second derivative of -g**5/20 - g**4/3 - 2*g**3/3 - 3*g**2/2 + 9*g. Let w be z(-3). Solve 2*a - 4 + 2 = w for a.
1
Suppose 5*h + 19 = 3*p, 2*p + 0*p - 5*h - 21 = 0. Let c be (4 - 0)*(-1 + 2). Let n = c + p. Solve -3 + 1 = n*z for z.
-1
Let k = 203 - 188. Solve -k = d - 13 for d.
-2
Let c(z) = -z**2 + 6*z - 6. Let t be c(4). Suppose p + 0*k + t*k = -2, -4*p - 5*k = -1. Suppose 5*v - 10 = 0, -p*m - 3 = -3*v + 3. Solve 5*b - 9 + 4 = m for b.
1
Let y be 0*(5/(-2))/(-5). Solve 2*s = -y*s for s.
0
Suppose 30*l - 25*l = 0. Solve l*y = 4*y for y.
0
Let l(k) = -k**3 - 5*k**2 - k - 7. Let h be l(-5). Let d be 4 - 1 - h - 1. Solve -d*a - 2 + 22 = 0 for a.
5
Let y(c) = -c**3 + 5*c**2 + 2*c - 7. Suppose 4*o - 13 = -5*q, -3*q - 4*o + 0 = -3. Let h be y(q). Solve -2*z - h*z - 15 = 0 for z.
-3
Let c(p) = -2*p + 1. Let u be c(-1). Let d = u - 3. Solve -3*f - 2*f = d for f.
0
Let v(g) = -g**2 - 5*g. Suppose -2*p = 2*n + 2*p + 4, n - 1 = -5*p. Let l be v(n). Suppose 2*f + 2*m = 3*m, -28 = -l*f - 5*m. Solve 2*d + 6 = f for d.
-2
Suppose 0*b = 2*p + 4*b - 26, -3*p + 27 = 3*b. Suppose 20 + p = 5*n. Suppose -3*g + 55 = 2*g. Solve n*h - g = -1 for h.
2
Let x(n) = -2*n + 12. Let c be x(5). Solve -c = -4*l + 6 for l.
2
Suppose -6*y = -10*y + 12. Suppose y*a - 12 = 3*b, 5*a - 2*b = 6 + 2. Solve 4*k + k - 10 = a for k.
2
Let g = 10 + -7. Suppose 4*t - 13 = -3*n, 7 = g*n - 2*t - 0. Suppose n*k = 6 + 39. Solve r + 2*r + k = 0 for r.
-5
Let a(v) = -v**2 + 6*v. Let r be a(6). Solve -4 = -o - r for o.
4
Let p(g) = g - 2. Let d be p(5). Suppose -5*j + 1 = 6. Let c be 2 - (d - 3)*j. Solve 0 = b + c*b for b.
0
Let t be (-14)/(-6)*(0 - -3). Let m(k) = -k**2 + 8*k - 2. Let x be m(t). Solve x*r = 3*r for r.
0
Let o be (-3)/(-12) - (-1)/(-4). Let x be (-5*1/(-5))/(-1) + 9. Solve -3*h - h - x = o for h.
-2
Suppose -3*n - 53 = -4*l, -3*l - 18 = n + 2*n. Let j = -3 - n. Solve -3 = -5*c - j for c.
-1
Let d be (-45)/(-12) - (-2)/8. Suppose -20 + 0 = -d*t - l, -t - 4*l = 10. Solve 18 = -4*c + t for c.
-3
Suppose 2*j = 5*j + 3. Let t be (1 + 0 + 0)/(-1). Let u = j - t. Solve -4*i + u = -4 for i.
1
Let a(s) = -s**3 + 8*s**2 - 5. Let f be a(8). Let x(k) = k**2 + 3*k - 7. Let w be x(f). Solve -w*v = -2*v + 2 for v.
-2
Let l(m) = 6*m + 59. Let g be l(-9). Solve -2*p + 5 = -g for p.
5
Suppose -5*w = 3*k + 9, -5*k - 22 + 7 = 2*w. Let h be (-4)/(-18) - (-4)/(-18). Solve h = -w*d - d + 2 for d.
2
Let q = 3 - 0. Suppose -l - 8 = -q*l. Solve -4*y + 4 = -l for y.
2
Let w be ((-1)/2)/(3/(-24)). Solve -3*g = -w*g + 2 for g.
2
Let d = -23 + 26. Solve r + 0 = d for r.
3
Let v = -109 - -121. Solve 5*b - b = -v for b.
-3
Let u(x) be the third derivative of x**5/20 - x**4/8 + 3*x**2. Let c be u(2). Let f(o) = o**3 - 5*o**2 - 5*o - 3. Let a be f(c). Solve -a*b + 14 = -1 for b.
5
Let h = 12 + -4. Let j = 12 - h. Solve 0 = 2*r + j + 4 for r.
-4
Suppose 2*z + 3*x - 15 = 0, 4*z - 3*x + 1 = -14. Solve z = v - 2 - 1 for v.
3
Let q = -1 + 2. Let u = 4 - q. Let s(y) = y + 3. Let o be s(u). Solve 0 = i + o - 1 for i.
-5
Suppose -2*u = -0*u - 8. Suppose 18 = u*r - i, -2*i = r - 6*i + 3. Solve 1 + 4 = r*q for q.
1
Let k(q) = 2*q + 1. Let t be k(4). Solve -t + 24 = -3*z for z.
-5
Let o(l) be the first derivative of l**4/4 + 4*l**3/3 - 5*l**2/2 - l - 3. Let n be o(-5). Let v be -3 - (-2 - (-6)/n). Solve 4*t - v + 17 = 0 for t.
-3
Suppose 2*z + f - 5 = 8, -24 = -4*z - 4*f. Suppose -15 = 4*h - z*h. Solve h = 3*c - 1 for c.
2
Let a(b) = -b**3 + 16*b**2 + 2*b - 27. Let s be a(16). Solve -s*f + 1 = 6 for f.
-1
Let c(t) = t + 4. Let b be c(8). Let y be b*(1 + 2/(-3)). Let l be (0 - 6)/((-3)/10). Solve y*x