et a(f) = -3*f**3 - f**2. Let l be a(-1). Solve -6 = -b*i, -l = -4*s + i - 0 for s.
1
Let h be 10/(-85) - 480/(-34). Solve -5*d = -2*r - r + h, 0 = -2*r - 4 for d.
-4
Suppose 3*u - 8*u = -25. Let f(a) = 2*a - 3. Let b be f(3). Solve z - 4*k + b + 16 = 0, -5*z = u*k - 30 for z.
1
Let p = 1 - -2. Solve -1 = -5*a - z - 20, p*z + 13 = -4*a for a.
-4
Let n = -59 + 83. Solve 2*m - n = -4*t, -5 = -m - 3*t + 11 for m.
4
Let t be (-1 - -1) + (22 - 3). Suppose 0 = -3*r + 4*r - t. Let z = 51 - r. Solve 4*j - 5*c + 2*c - z = 0, -5*c - 30 = -2*j for j.
5
Suppose 2*k + 6*z + 16 = 2*z, -5*z - 17 = 4*k. Solve -4*w + l + 13 = k*l, 4*w - 2*l = -2 for w.
2
Let t be 2/12*-3*-8. Solve 3*c + 9 = 3*g, -t*c + 2*g - 11 = -c for c.
-5
Let h = 10 - 7. Let t(l) = l**3 - 3*l**2 + l. Let c be t(h). Let j be 1/c - (-16)/6. Solve -2*d - 2*y + 7*y = 0, -j = -d + 4*y for d.
-5
Let c(f) = f - 6. Let o be c(8). Solve 0 = -5*r + 4*p - 6, 3*r + 0*r + o*p + 8 = 0 for r.
-2
Let t = 24 + -22. Suppose x - 9 = -2*n + t, 10 = 3*n - 5*x. Solve -2*m = y - 12, y = -m + 6*y - n for m.
5
Suppose -4*a + 5*v = 3*v - 48, -5*a + 63 = -4*v. Suppose 5*h = 6*h - 4. Solve -5*z = x + x - a, h*x = z - 11 for z.
3
Let r(b) = b**3 - 12*b**2 - b + 15. Let t be r(12). Solve -t*v - 5 = -5*k - 6*v, -5 = -5*k - 2*v for k.
1
Suppose -3*b - 25 = -5*v, 2*v - 15 = b - 5. Suppose -d = -v*i + 12, -5*i + 0*i + 3 = -4*d. Solve 6*c - 3*c = 5*m + 11, i*m = -2*c - 18 for m.
-4
Suppose -2*b + 4*b - 70 = 0. Let n be (-52)/(-14) + 10/b. Suppose -n*x = 2*i - 22, -4*i + 11 + 5 = x. Solve j + 19 = -4*u, -i*j - u + 11 = -6*u for j.
-3
Suppose -2*p = 0, 4*p + 12 = -4*x + p. Let f be (-3)/((-4)/((-16)/x)). Solve 5*n = 6*b - 4*b + 9, 0 = f*b - 4*n for b.
3
Let v(q) = q**2 - 8*q - 5. Suppose -x + 5*t + 11 - 2 = 0, 0 = 5*t. Let z be v(x). Solve z*n + 13 = c, -4*c + 2 + 2 = -4*n for n.
-4
Let o(r) = -r**2 + 8*r - 9. Let z(a) = 3*a**2 + 4*a + 2. Let b be z(-2). Let s be o(b). Let w = 11 + -7. Solve -c = -3*y + s, -y + 20 = 3*y + w*c for y.
2
Let c be ((-12)/(-14))/((-15)/(-70)). Solve k + 2 = h + c, 0 = -5*k - 10 for h.
-4
Let r(j) = j**2 + 8*j. Let k be 8/(-3 + 4/2). Let t be r(k). Solve 5*l - 2*y + 7 = t, 2*l - 6*l - 2 = 2*y for l.
-1
Suppose -2*q + z - 5*z + 2 = 0, 0 = -2*q - 3*z + 3. Suppose -4*s + 17 = -q*u - 0*u, u - 5 = 0. Solve p - 2*v + 4*v + 5 = 0, 2*p - 5*v = s for p.
-1
Suppose -5*c + c = 0. Let p be 0 + c + 2 + 3. Let r = 27 - -8. Solve 5*j + r = p*m, -3 = 3*m - 0*j + 5*j for m.
4
Suppose 0 = 3*k - 6*k + 5*i, -4*k = -4*i. Suppose -4 = 3*c - 10. Suppose -c*l = -0*l. Solve 2*g + 6 + k = 3*n, l = 4*n + 2*g - 22 for n.
4
Let r(z) = -z**2 - 4*z + 3. Let k be r(-4). Let m = -11 - -15. Solve -4*y - m = -2*d - 3*y, d + k*y - 16 = 0 for d.
4
Let t be 1/3 + (-7)/3. Let n = t - -5. Solve 0 = 2*f + 2*d - 2, 3*d + 4 = -f - n for f.
5
Suppose h + 4 = -5*t, 3*h + 2*t = -t + 12. Let z = h - 4. Suppose b = -z*b. Solve -y = -4, 2*r + b*y = y - 6 for r.
-1
Let q(l) = -l**2 + 3*l + 2. Let j be q(2). Let k(r) = r + 10. Let f be k(-8). Let o be 0 + 1 - (2 - 4). Solve -o*g - 3*z + 2 = -j, 2*g - 12 = f*z for g.
4
Suppose -11 = -2*u + 3*u - 2*x, -15 = -3*x. Let c be (-9)/(-6) + u/(-2). Let k be 4/3*(-12)/(-2). Solve p + 3*r + k + c = 0, r - 18 = 5*p for p.
-4
Let a = -53 + 59. Solve 5*z + c - 18 = -c, c - a = -z for z.
2
Suppose -5 = 2*x - 25. Let d be 2 + 1*(-2 - -1). Suppose 3*i - 10 = -7. Solve -n - i = v + d, -3*n - x = v for n.
-4
Suppose 0 = -3*g - 2 + 14. Let d(y) = -y + 3. Let a(c) = c - 4. Let u(p) = -5*a(p) - 4*d(p). Let i be u(g). Solve -4*l - 15 = -i*s - s, 5*s = -5 for l.
-5
Let k(c) = 6*c - 1. Let a be k(1). Let u(b) = b**2 - 7*b + 2. Let y be u(7). Solve y*x = -2*i - x - 25, -a*i = -5*x for i.
-5
Let l(s) = -s**2 + 8*s - 15. Let v be l(4). Solve u - b - v = 0, 0 = u + b - 3*b + 2 for u.
4
Let f = -118 - -120. Solve 3 = 2*y - d, 5*y - 4*d = -f + 11 for y.
1
Let x = -33 + 39. Solve 0 = 5*f + p + 1, -x*p + p = -5*f - 25 for f.
-1
Let m be (-1)/(9/(-12))*3. Suppose m*t - 97 = i, t + 4*i - 116 = -4*t. Solve -4*p = 16, 0*x + p + t = -5*x for x.
-4
Suppose p = -5*l - 0*p - 40, 60 = -5*l - 5*p. Let r = 2 - l. Solve -d = 2*o, -3*o + r*d + 13 = 4*d for o.
1
Suppose -2*k + 2*i = -k - 1, -3*k + 3*i = 3. Let f be (5/(-4))/(2/(-8)). Let l be 1 - (-1 - (k + f)). Solve -2*b = 0, l*q + 3 = -2*b + 23 for q.
5
Let p be (-16)/24 + 74/3. Solve 0 = 5*x - 0*x + 5*v - 20, -4*x = -4*v - p for x.
5
Let t = 12 + -7. Suppose 3 = 2*u - t. Solve -3*s + 0*s - u*n = 7, 3*n = -2*s - 6 for s.
3
Let m(r) = r**3 + 9*r**2 - 13*r - 14. Let i be m(-10). Let x = i + -11. Solve 0*y = -5*c + x*y + 30, 3 = -2*c - y for c.
1
Suppose -2*y - 3 = -3*y. Suppose 0 = -2*v - y*z - 30, 0 = -5*v - 0*v - 5*z - 75. Let k be ((-1)/3)/(1/v). Solve k*j + 5 = 0, -10 - 4 = -5*n + 4*j for n.
2
Suppose 0 = -2*u + 6 + 4. Solve u*q = n - 22, -3*n + 4*q + 6 = -5 for n.
-3
Suppose -m + 23 = -0*p + p, 104 = 4*m - 2*p. Suppose m = 5*a - 25. Solve 0 = -2*k - a, 0*h + k - 15 = -4*h for h.
5
Let r be 5 - (-3)/12*-4. Solve 4 = 4*j, -4*q + j + r = -3 for q.
2
Suppose 0 = x + 3*m, 0 = 3*x - 4*m + 1 - 14. Solve -p - 11 = -5*l, p + 6*l = x*l + 5 for p.
-1
Let u = -24 - -49. Solve 4*f = -5*j + u, -5*j = 4*f - j - 24 for f.
5
Suppose -3*s - s = 0. Let x be (s - -1)/((-5)/(-25)). Solve 5*t - 2*g + 45 = 3*g, g + 21 = -x*t for t.
-5
Let k(c) be the first derivative of c**4/4 + 5*c**3/3 + c**2/2 + 7*c + 3. Let b be k(-5). Solve 5 = 3*n - 7, 3*n = b*s + 10 for s.
1
Let h(b) = -b**2 - b + 1. Let x be h(-1). Solve -o - 17 = 5*g, -5*o + x = 4*g + 2 for g.
-4
Suppose 3 + 2 = x. Solve -x*d + l + 2*l = -14, -2*l = -d for d.
4
Let o = 43 + -38. Solve o*b = -q - 17, 5*b - q + 0*q = -23 for b.
-4
Let y = -147 + 147. Solve -4*h = -o, 3*h + y = 3*o + 9 for h.
-1
Let i(s) = 8*s**2 - 5. Let q be i(-3). Suppose 7 = -4*w + q. Solve 4*k + x - 2*x = w, 0 = -k - x + 10 for k.
5
Let r be -9*(2 - 14/6). Let z be (-1 - (-6)/r) + 1. Solve z*i + 4*h - 10 = -i, -6 = -i - 2*h for i.
-2
Let g be (-1)/(-2)*0/2. Suppose 0 = 3*q - g - 12. Solve -u = -3*u - 4, 5*p = -q*u - 23 for p.
-3
Suppose i + 2*i - 15 = 0. Suppose -i*k + 3*c = -20, 0 = 3*k + 2*k + c - 20. Suppose -k*x = -9*x + 20. Solve v - x = 0, -5*v + 19 = -5*f + 4*f for f.
1
Let o be 0 - 0 - 0/14. Suppose -3*z - 20 = 2*z. Let t be 1/z + 13/4. Solve -4*n + 6*s + 35 = t*s, n + s = o for n.
5
Let t(w) be the third derivative of -w**4/24 - 7*w**3/6 - 2*w**2. Let v be t(-7). Let g = v - -1. Solve -3*l - u + 9 = 4, 2*l + 5*u = -g for l.
2
Let z be -1 + 2*75/6. Let i be 81/4 + 18/z. Let c be 2/(-7) + 48/i. Solve -c*o = 2*w + o - 6, 3*w - 4*o - 9 = 0 for w.
3
Let i(g) = -g**2 + 3*g + 1. Let k be i(3). Let q be (4/(-10))/(k/(-5)). Let v = -15 - -18. Solve 5*p = 2*y + 25, p - v*y = q*p + 12 for p.
3
Let p = 7 - 6. Solve -s + 0 = 2*d - p, 0 = -3*s + 5*d - 19 for s.
-3
Let a(f) = f - 3. Let x be a(7). Solve 0 = 2*q + x*g - 10, 2*q - q + 5*g = 11 for q.
1
Let d = 41 - 36. Solve x - 11 = -4*q, -d*x + 7 = -2*q + 6*q for x.
-1
Let b(w) = w**2 - 5*w - 10. Let z be b(7). Suppose -z*l + 23 = 5*q - 2*l, l = 4*q - 21. Solve -4 = 2*m - 4*c, -q*m + 2*m + c + 4 = 0 for m.
2
Suppose 2*r + 0 = 4. Let x be 31 - 15 - (-4)/2. Solve -r*u + u = j - 2, -u - x = -4*j for u.
-2
Let c be 1/(-3)*6/1 - -9. Solve 5*y - h = 27 + 1, 0 = -2*y - h + c for y.
5
Let a be 2*4 + (-3 - -2). Solve -a = -2*c - 2*x + 5, -8 = -c - 3*x for c.
5
Suppose 0 = 2*r + 3*x - 18, -5*x + 10 + 1 = -3*r. Suppose r*v - 8 = -2. Suppose -v*n + 6 = -4. Solve i + n + 2 = -5*a, 2*i - 4*a = 0 for i.
-2
Let n be 0 - 1/((-5)/10). Solve -k + s = n*s - 1, k - 4 = -2*s for k.
-2
Let p(o) = o**3 - 4*o**2 - 4*o - 2. Let c be p(5). Let h = 2 - c. Let d be (-30)/(-18)*(4 + h). Solve -2*u + 1 = -4*n + 5, d*n = u + 8 for u.
2
Let b = 17 - 11. Let f(r) = r - 4. Let t be f(b). Solve -t*l + 7*l = -2*q + 24, -5*l = 5*q - 30 for q.
2
Suppose -3*g - 30 = -4*j, 0 = 2*j - 2*g + 6*g - 4. Suppose j*c - 10*c = 0. Solve c = -5*t + t - 2*i + 26, 0 = 2*t - 5*i + 5 for t.
5
Let x be 2 + 6 + -1 + -2. Solve 4*b + b = -x*f - 20, 0 = 4*b + 5*f + 17 for b.
-3
Suppose -2*d = 3*d - 25. Let n be ((-4)/d)/(2/(-50)). Suppose 11 = 2*q + 3. Solve -4*y - q*z = -n, -4*z + 3*z - 7 = -2*y for y.
4
Let g(s) = s + 7. Let u be g(-5). Let j be u/(-4) - 185/(-10). Solve 4 = h - 4*k + 3*k, 0 