 3. Let r be y(-4). Solve x = r*z - 0*z for z.
5
Let k = 25 + -22. Solve a + 6 = k*a for a.
3
Let n = -95 - -96. Solve 0 = 6*t - 5*t - n for t.
1
Let l(c) be the third derivative of -c**5/60 + 7*c**4/24 + 5*c**3/3 - 3*c**2. Let m be l(8). Solve 2*h - m = -6 for h.
-2
Suppose -3*c + 3*p + 9 = 0, 0 = 2*c + 4*p - 13 - 11. Solve c*d = 3*d - 3 for d.
-1
Let a(o) = o**3 + 4*o**2 + o. Let r be a(-3). Let v be 16/r*(13 + -1). Suppose -204*j + 5 = -203*j. Solve j*w + v = 7 for w.
-5
Suppose -2*z = -6*z - 12, -2*l = -4*z - 16. Suppose 3*g - 13 = -5*h + 27, 3*g + l*h - 25 = 0. Solve 2*v + 1 + g = 0 for v.
-3
Let j(a) = a**3 - 5*a**2 - a + 3. Let x be j(5). Let k(m) = m + 4. Let n be k(x). Suppose n*h = -2*h + 36. Solve h = l + 2*l for l.
3
Let r be -4 + (5 - 2)*2. Solve -r*h - h = -12 for h.
4
Suppose -5*u + 19 = 2*m, 0*u + 2*m + 11 = 5*u. Solve 0*l - 6 = -u*l for l.
2
Let i be (-20)/8*(-24)/10. Suppose 2*z + q = 15, -2*q + i = -0. Let h = -1 + z. Solve -h*k - 11 + 1 = 0 for k.
-2
Suppose -l + 18 - 2 = 0. Solve 2*i + 2*i + l = 0 for i.
-4
Suppose 3*a - 15 = 3*k + 6, -3*k = 15. Solve -4*r = -2*r - a for r.
1
Suppose -2*t = -4*m + 24, -5*m + 22 = 2*t + 10. Solve -y = 3*y - m for y.
1
Let h(s) = -s**3 + 5*s**2 + 2*s - 9. Let n be h(4). Suppose 3*r = 3*c - n, -c + 3*r + 7 = -8. Solve p - 4 + 3 = c for p.
1
Suppose -5*x = 5*o - 25, -2*o - 2*o = 5*x - 25. Let z = -14 - -18. Solve o = d + z*d for d.
0
Suppose -5*u = -u - 12. Suppose u*o + 6 = 48. Solve -3*b + 2 = o for b.
-4
Let d(u) = -19*u + 1. Let a be d(-1). Let t(w) = w**3 - 4*w**2 - 4*w - 4. Let k be t(-3). Let o be (-48)/(-10) + (-11)/k. Solve o = 5*l + a for l.
-3
Suppose 3*q + 11 = 29. Solve -b - q = -3*b for b.
3
Let g(p) = p**3 + 4*p**2 + 2*p - 10. Let s(n) = n**3 + 3*n**2 + 2*n - 9. Let h(i) = 6*g(i) - 7*s(i). Let j be h(2). Solve -j*o - 2*o = 20 for o.
-4
Suppose 0 = 2*r - 9 - 1. Solve -r - 5 = 2*n for n.
-5
Let q be 0 - 2/2 - 0. Let l be q + 1 + 4 + 0. Suppose 0 = 3*a + 5*n - 85, 0*a + 2*a + l*n = 60. Solve 5*b - a = b for b.
5
Let b be 0/((-3 - -5)/2). Solve b = -0*a - a for a.
0
Suppose -7 - 6 = -4*u - n, u = -n + 7. Let q(f) = -f**2 + 4*f + 21. Let l be q(7). Solve u*r - 3*r + 5 = l for r.
5
Let l(v) = -v**2 + 17*v - 45. Let u be l(13). Solve -s - u = -2 for s.
-5
Let w(r) be the first derivative of -1/3*r**3 + 1 + r - r**2. Let p be w(-2). Solve 1 = 2*x - p for x.
1
Let w be 25*-1*(-6)/5. Suppose -3*u = -3*b - 0*u - w, -4*b - 13 = 5*u. Let t = b + 11. Solve t - 1 = a for a.
3
Suppose 4 + 1 = k. Suppose 0 = -k*b + 35 - 15. Solve -4 = -b*g + 4 for g.
2
Let b(l) be the third derivative of 13*l**6/120 - l**4/24 + 2*l**2. Let r be b(1). Solve -j - 2*j = r for j.
-4
Let a = 16 - 15. Let b be a/(-2)*(-7 - -1). Solve -b*q + 0*q = 6 for q.
-2
Suppose 2*x - 59 = 9. Suppose -y = 2*u - 9, u = 5*y - 0*u - x. Suppose -3 = -p + y. Solve 0*m = -2*m + p for m.
5
Suppose 1 = -6*q + 2*q - y, 4*q - y = -7. Let v = -2 - -1. Let b = q - v. Solve b = 4*g - g + 6 for g.
-2
Let j(t) = t**2 + 5*t - 1. Let i(l) = l. Let d(y) = -6*i(y) + j(y). Let x be d(3). Solve x*k - 3 = 2*k for k.
1
Let w(b) = b**3 + 3*b**2 + 2. Suppose -2*l - 4*f = l + 21, 5*l = 2*f - 9. Let n be w(l). Solve n*q = 7*q + 5 for q.
-1
Let m(j) = -3*j - 2. Let r be m(-2). Suppose -r*d = i - 16, -3*i - 5*d + d = -8. Let h = i - -7. Solve 17 - 5 = -h*q for q.
-4
Let i be 6*(-4)/18*30/(-8). Solve -i = 3*t - 4*t for t.
5
Suppose 6 + 21 = 3*q. Let f be 6/q + (-112)/(-12). Solve 0 = -2*l + 7*l - f for l.
2
Let h be 3/2 + 10/4. Solve 0 + h = k for k.
4
Suppose 0 = -0*w + 5*w. Solve w*r + 2 = -2*r for r.
-1
Let c(o) = 2*o - 24. Let m be c(16). Suppose 0 = 3*v - m*v + 5*b - 5, -3*b = -5*v - 3. Solve v = 5*a - 2*a for a.
0
Let y be 21/12*4 - 0. Solve y - 2 = -z for z.
-5
Let h = -7 - -27. Solve -l + 6*l = h for l.
4
Let x(k) be the second derivative of k**4/12 + k**3/3 + k**2/2 + 4*k. Let s be x(-1). Solve s = -5*o - 3 + 23 for o.
4
Suppose 9 + 5 = 2*f. Solve -f*q + 5 = -2*q for q.
1
Suppose -3*q + p + 11 = 0, 3*q - 3*p = -5*p - 4. Solve 8 = 2*j + q*j for j.
2
Let v(t) = -t**2 - 2*t - 4. Let a be v(-5). Let x = 44 + a. Solve 3*p + 2*p - x = 0 for p.
5
Suppose -4*i + 13 = x - 4, 4*x - 4 = 0. Solve 0 = i*h + 3 - 19 for h.
4
Let u(f) be the second derivative of -41*f**5/20 - f**3/3 - f**2/2 - 4*f. Let i be u(-1). Suppose -5*j + i = 12. Solve -5*o = -j + 26 for o.
-4
Let a be (-35)/(-21) - (-8)/6. Solve z = -a*z + 20 for z.
5
Let w = 18 + -11. Suppose -23 - w = 3*f. Let g be -5 - f - 2*1. Solve -g*m + 15 = -0*m for m.
5
Suppose 3*b = -10 + 25. Suppose -21 = 2*a - 3*w, 5*a = -w - w - 43. Let q = a + 13. Solve 0 = -b*s + 14 - q for s.
2
Suppose -4*w - 6 = -22. Suppose -4 = -6*u + 2*u. Suppose 0 = -q + u, -3*t - 2*q + 9 = q. Solve t*h - w*h = 0 for h.
0
Suppose 0 = i + 2*m - 8, -2 = -i - 5*m - 0*m. Solve 4*n + i = n for n.
-4
Let f = -29 - -41. Solve 0*q = 3*q - f for q.
4
Let m(h) = -3*h**3 + h**2 - h - 1. Let j(o) = 8*o**3 - 3*o**2 + 3*o + 3. Let z(r) = -4*j(r) - 11*m(r). Let l be z(-1). Solve l*p + p - 3 = 0 for p.
3
Let r be 0 + -2 + (6 - 3). Solve -r = 3*f + 2 for f.
-1
Let m(p) = -p**3 + p**2 + 4. Let a be m(0). Solve 0 = -a*o - 6 - 14 for o.
-5
Let c(j) = j**2 - 8*j + 16. Let x be c(6). Solve 2*v = 4*v + x for v.
-2
Suppose 5*q - 50 + 30 = 0. Solve 0 = -q*r + 8 for r.
2
Let d(i) = -i**3 - 4*i**2 + 4*i - 5. Let m be d(-5). Solve m*b + 15 = -5*b for b.
-3
Let n(c) = -c**2 + 11*c. Let y be n(11). Let h be 0/(1 - (1 - 2)). Suppose -t + 2*w = 7, 0 = -2*t + 3*t + 3*w - 18. Solve h = k - y*k - t for k.
3
Let l(m) = -4*m**3 - m**3 - 8*m + 6*m**3 + 2 + 7*m**2. Let f be l(-8). Solve -18 = -5*h + f for h.
4
Let n be (6/(-5))/(6/(-20)). Suppose -c = -n*c. Solve -s - 2*s - 12 = c for s.
-4
Let r be (1 - 10/5)*-1. Solve 0 = k - 6 + r for k.
5
Let k(v) = 4*v**2 - 9*v + 5. Let d(a) = 5*a**2 - 8*a + 5. Let n(m) = 2*d(m) - 3*k(m). Let y be n(5). Solve -4*g + 6 - 22 = y for g.
-4
Let y = 25 + -25. Solve -d + y - 5 = 0 for d.
-5
Let a = 16 - 12. Solve a = -5*r - 11 for r.
-3
Suppose -1 + 1 = -t. Solve -d - 4 + 0 = t for d.
-4
Suppose 0 = -4*x + 2*b - 0*b + 26, 0 = -x - 2*b - 1. Solve -8 - 7 = x*y for y.
-3
Let x = 14 + -12. Suppose -4*f - 8 = x*u, 0 = 5*u + 2*f - 6*f - 8. Solve -2*o = -u*o - 6 for o.
3
Suppose 0*y - 2*y = -10. Suppose -y*t - 95 = -5*j, 10*t - 17 = -3*j + 5*t. Suppose -4*g = 4*k + 4, 2*k + 6*g + j = g. Solve -4 = -q - k for q.
1
Let m(s) = -2*s - 3. Let q be m(-3). Suppose -q*k + 10 = 4. Solve -k*l - l = 15 for l.
-5
Suppose -2*p + 6*p = -8. Let v be (0 - -8)*p/(-4). Solve -v*c = -0*c for c.
0
Suppose 40 = 19*f - 15*f. Solve 2*d = 7*d + f for d.
-2
Let d(o) = -2*o**3 + 27*o**2 - 12*o - 7. Let k be d(13). Solve -5*j = -7*j + k for j.
3
Let m = -11 - -13. Let v = m - -4. Solve 2*w - v = -0*w for w.
3
Let s(v) = -v - 9. Let n be s(-12). Solve n*d = 2*d + 2 for d.
2
Let a(r) = -2*r**3 + 0*r - 12 - 5*r - r**2 - 7*r**2 + 3*r**3. Let b be a(9). Let m = 37 - b. Solve 5*z = m + 12 for z.
5
Suppose n + 3*n - 2 = 3*a, 0 = 2*n + 2. Let c be (-28)/(-10) - a/10. Solve -k - 8 = -c*k for k.
4
Suppose 4*r + r - 5 = 0. Let x be (0/(-1))/((-1)/r). Solve -3 = p - x for p.
-3
Let d(a) = a**2 - 8*a - 7. Let n be d(9). Suppose 6*k = n*k. Suppose -2*r + r = k. Solve q - 6*q + 10 = r for q.
2
Suppose -4*k + 72 = -7*k. Let g = 27 + k. Solve -2 = 5*c + g for c.
-1
Let i(q) = -q**3 + 6*q**2 - 5*q + 3. Let p be i(5). Solve -2*n - 3 - p = 0 for n.
-3
Let s(q) = -15*q**3 + 3*q**2 - 13. Let r(o) = 7*o**3 - 2*o**2 + 6. Let b(f) = 13*r(f) + 6*s(f). Let p be b(8). Solve p*w + 3 = w for w.
3
Let a(k) be the third derivative of -k**4/24 + 7*k**3/6 + 4*k**2. Let h be a(7). Solve h*c + 25 = -5*c for c.
-5
Let w = 23 - 31. Let i be (-2)/w - (-5)/(-20). Solve i*o = 4*o - 12 for o.
3
Let w = 7 - 2. Solve 3 = w*c - 12 for c.
3
Suppose 2*w + 9 = a + 3*w, 0 = -5*a + 5*w - 5. Suppose 0 = -3*n, 0 = -k - 2*n + 4*n + 10. Solve -a*q - q = k for q.
-2
Let i(j) = j - 1. Let q(y) = 9. Let t(x) = -3*i(x) - q(x). Let r be t(-3). Solve -r*f + 16 = 4 for f.
4
Let p be (-32)/(-6) + (-2)/6. Let f(q) = -2*q**2 + 3*q - 2. Let j be f(2). Let g = j + p. Solve g + 3 = x for x.
4
Suppose 0 = z + 4*z - 25, 0 = c + z + 22. Let r = c - -39. Solve y + r = 4*y for y.
4
Let n(j) = j**3 + 11*j**2 + 13*j + 1. Let p be n(-10). Let l =