b(c). Let p = k + -12. Solve 3*y = -3*o + 1 + p, 5*o = 5*y - 15 for y.
2
Let f be 0*(1 - (-1 - -3)). Suppose 6*s + f*s + 3*s = 0. Solve 4*m - 4*w = -4, s*w - 1 = 4*m - w for m.
0
Let l(t) = -20*t + 25. Let w be l(5). Let a = 78 + w. Solve v = 2*q + a - 17, 3*q = 15 for v.
-4
Let j(t) be the third derivative of -t**5/60 - t**4/12 + 5*t**3/6 - 9*t**2. Let u be j(0). Solve -3*o + 2*z + 2*z = -16, -4*o = -u*z - 20 for o.
0
Let h be (-1)/2*(0 - 8). Let u(l) = 70 + 53 - 4*l - 142. Let g be u(-6). Solve -h*v - 5 - 8 = w, 27 = -v - g*w for v.
-2
Suppose 57 = -5*v - 43. Let l = 19 + v. Let k be (3 - 4)/(l/13). Solve 5*h + c - k = -2*c, -4*h + 4 = 4*c for h.
5
Suppose 0 = -5*g + g + 16. Let h(i) = -i**3 + 4*i**2 + 2*i - 4. Let t be h(g). Solve 0 = -k - t*p + 17, 5*p = k - 1 + 29 for k.
-3
Let f(w) = w + 2. Let n be f(-4). Let i be (-5)/n*56/35. Let v be 37/7 - (-4)/(-14). Solve a + v = -k + 3*a, i*k - 4*a + 8 = 0 for k.
1
Suppose -25*v + 230 = 80. Solve l + 0*k - v = 5*k, -3*k - 6 = -3*l for l.
1
Suppose 10 = 47*c - 43*c - 2*d, c = -3*d - 15. Solve 2*x - 4*x - 4*r - 18 = c, -5*x - r = 18 for x.
-3
Let z be (-1 - -3)*(-378)/(-36). Suppose 23*p - 6 = z*p. Solve -4*i = -8, -3*l + i - 2 = p*i for l.
-2
Let p = 3338 + -3333. Solve -3*f + 2*n = 17, 10*f - 29 = 13*f - p*n for f.
-3
Suppose 5*m - 35 = 7*p - 2*p, -m - 3*p - 9 = 0. Solve -f - m*x - 9 = -4*f, -3 = -f - x for f.
3
Let a = 0 + -2. Let x = a + 2. Suppose x = -0*r + 3*r - 6. Solve -l - 5 = -3*d, -l - 4 - r = -4*d for l.
-2
Let a be 186/66 - (-2)/11. Solve -5*q = -q + y - 2, -3*q - 3 = a*y for q.
1
Let q be -1*(15 + -4) - 3. Let b be 6 - q/(-2) - (-8)/2. Solve u + 8 = b*u - 4*w, -3*u + 5*w = -11 for u.
2
Let m(u) be the second derivative of u**3/6 - 19*u**2/2 + 20*u. Let l be m(23). Solve -2*s + l*w = 8, 2*s - 4*w = -2*s - 12 for s.
-2
Let z be (3 - -3 - 7) + 5. Solve -5 = z*g - 5*y, 0*g - 2*g = y + 13 for g.
-5
Let k(b) = b**2 - 2*b - 8. Let f be k(-2). Solve -q + 5 = f, 0*q = 5*r + 5*q - 15 for r.
-2
Let f(a) = -a**3 - 13 + 11*a**2 + 3 - 13 + 1 + 14*a. Let s be f(12). Solve 4*y + s*u = -12, -3*y + u + 3*u = 9 for y.
-3
Let j(q) = q**2 - 11*q + 14. Let t be j(10). Suppose 5*i = -c - 4, 2*c + 12 = i + t. Solve -3*f + 2*b = -7, 2*b + 4 + i = 0 for f.
1
Let d(s) = -9*s - 123. Let g be d(-14). Solve -2 = 5*v + 2*a, -5*v - 5*a - g = -13 for v.
-2
Let c be (-5)/(80/(-12))*-16. Suppose 2*k - 13 = 11. Let x = k + c. Solve 2*a - 4*i + 14 = x, -a = -i + 4 - 0 for a.
-1
Let y be 5*(-8)/(-120)*(1 + -1). Solve 2*j + 9 = -3*j + 3*l, y = 4*j - 3*l + 9 for j.
0
Let l be -14*(-2)/10 + 30/150. Solve 0 - 3 = -l*h, -3*h + 6 = -3*b for b.
-1
Suppose -238*y + 6 = -236*y. Solve 0 = l - y*l + 3*s + 7, -5*l - s + 9 = 0 for l.
2
Suppose 0 = -2*o - 0*o + 20. Let y be (-530)/(-45) - 4/(-18). Suppose -4*p = 5*s - 6, 0*s + 4*p = 4*s - y. Solve o = -b + 6*b + 5*v, b + 3*v = -s for b.
4
Let o be 110/7 + 2/7. Let m be -6 + 80/14 - 68/7. Let l be (-10 + 11)/((-2)/m). Solve -16 = -4*x, -g + l*x - x = o for g.
0
Let s(o) = 2*o**2 + 16*o - 37. Let d be s(-10). Solve 0*z - 3*p = -d*z - 24, -28 = z - 5*p for z.
-3
Let m be (0 - (2 - 1))/((-1)/2). Let p = m - -2. Solve -p*b + x - 16 = 2*x, -2*b + 2*x - 8 = 0 for b.
-4
Let n(s) = -s**3 + 3*s**2 - 11*s + 21. Let b be n(2). Solve -b*c = -q - 12, 7*q = -5*c + 3*q + 3 for c.
3
Suppose -2*x - 14 = -3*i - i, 4*x = -2*i + 22. Suppose -3 = -w + 2. Let j be (8 - 4 - 3)/((-1)/(-2)). Solve j*y - w*o - 4 + 31 = 0, 0 = y - x*o + 16 for y.
-1
Let n(y) = -4*y + 5. Let k be n(0). Let q = 21 - 12. Let s be (-11)/(-3) + 3/q. Solve f - k = 3*d + 4, -s*f = 0 for d.
-3
Suppose -2*s = 3*h - 36, 0 = -3*s + 5*h + 5 + 11. Suppose -3*b - 5*x + 24 = b, -2*b + s = -x. Solve 0 = -t - 3*n - b, 5*n = 5*t - 5 - 5 for t.
0
Suppose -w - 4*s = 8, -2*s + 6*s = 2*w - 20. Let k = 0 + -12. Let v be (-3)/(-1 - 3/k). Solve -25 = w*z - d, -d = -z - v*d + 10 for z.
-5
Suppose -4*n = 2*k - 8, -16*n + 4 = 5*k - 14*n. Solve k = -p + d + 3, 5*p - 2*p = d + 7 for p.
2
Suppose -3*z - q + 5 = -z, 4*q = -20. Solve -2*d + 3*x = z*x + 18, 0 = 2*d - 3*x - 2 for d.
-5
Suppose 4*k - 248 = -3*t, -2*k + 5*t - 54 = -152. Let h = -56 + k. Solve -h*c - 14 = -2*f, 5*f + 4 = -c + 22 for c.
-2
Let w(n) = 2*n**2 - 4*n - 15. Let a(f) = 3*f**2 - 2*f. Let x be a(-1). Let p be w(x). Solve -8*q + 3*q = -4*z + p, -2*q + 22 = 4*z for z.
5
Let c(p) = -p - 3. Let f be c(-6). Suppose 0 = -f*z + z + 8. Let u(v) = -v**2 + 6*v + 18. Let n be u(8). Solve 3*j - 13 = 5*k, n*k - z = 3*j - 2 for j.
-4
Let i = 26 + -31. Let q be 5*1*(-2)/i. Solve 0 = -3*v - 0*v - q*t - 7, 3*t + 13 = -5*v for v.
-5
Suppose 5*b + 3*q = -9, -5*b = 2*q + 2*q + 12. Suppose b*h + h = 25. Let d(l) = 19*l**2 + 1. Let i be d(-1). Solve r + 3*r + i = w, -5*w = -5*r - h for r.
-5
Let d be -12 - (-1 - 20/(-4)). Let t be (-314)/d - 27/(-72). Suppose a = 4*w - 16, -4*a = t - 4. Solve -b = 4*y + w, b - 2*b - 4 = 5*y for y.
-1
Suppose 21 = 2*d + 2*b + 11, 5*b + 10 = 2*d. Solve -20 = -2*v + 4*c, -3*v + 8*v + 10 = -d*c for v.
2
Let b = -349 + 353. Solve -5*n - b = 3*t, 5*t - 2*n + 7*n = 0 for t.
2
Suppose -4*b = -15 + 3. Let j = 28 + -21. Suppose 0 = -j*r + 2*r + 10. Solve 4*u - b = o, u + 20 = r*o + 6*u for o.
5
Let u(c) = c**3 - 5*c**2 - 2*c + 10. Let o be u(5). Suppose -3*j + 12 = 2*g + j, o = -2*g + 5*j - 6. Solve -2*b + 4*w = -b + 10, g*w = 3*b for b.
2
Let m(f) = -4*f - 31*f**3 + 13 + 6*f - 6*f**2 + 30*f**3. Let j be m(-6). Solve r - x = j, 3*x = -2*r - 2*x - 33 for r.
-4
Let f(o) = o + 21. Let l be f(-9). Let m(c) = c**3 - 7*c**2 + 5*c - 30. Let h be m(7). Solve 2*p + 0*p + l = 4*s, -h*s = 4*p + 11 for s.
1
Suppose 20 - 45 = -5*f. Let a = f - 0. Suppose a*u = -0*u. Solve 3 = -2*l - g, 4*l - g - 3 = -u*g for l.
0
Let b(y) be the second derivative of -y**3/3 - y**2 - 5*y. Let m be b(-2). Suppose o + 2 = m*o. Solve -4*j + o*r = 22, -5*j - 6*r = -r - 10 for j.
-3
Let d(r) = r**2 + 9*r + 8. Let j = 12 - 21. Let g be d(j). Suppose -g*h + 15 = -5*h. Solve 5 = 5*i - h*c, 3*i - c - 1 = 4*i for i.
0
Let t be (-21)/49 + (-1406)/(-14). Let a be (2/10)/(10/t). Solve -a*g - 33 = -5*o + 2, 2*g = 3*o - 25 for o.
5
Let x(t) = 50*t + 353. Let y be x(-7). Solve 0 = y*z - 3*j - 9, j + 3 = z + z for z.
0
Suppose 31 - 237 = -2*q. Let s be q/7 - 6/(-21). Solve -j = 2*j + 9, 0 = -4*w - 5*j - s for w.
0
Suppose -38*i + 6 = -70. Solve 3*z = 2*k + 5, -k + 15 = i*k for z.
5
Suppose y + 3 = 2*x - 7, x - 2*y = 11. Solve -3*j - x*k + 14 = -k, -2*j - 16 = -5*k for j.
2
Let d be ((-14)/4)/(-11 - 378/(-36)). Solve 0 = -z + 4*s - d*s - 2, 2*z - 12 = 2*s for z.
4
Let a(x) = x**3 - 7*x**2 - 11*x - 3. Let w(c) = -c**3 + 1. Let m(l) = a(l) + 2*w(l). Let i be m(-5). Solve -i*y = -5*y + 4*k + 10, -2*y - 3*k = 13 for y.
-2
Let i be (100/(-35))/(15/(-7) + 2). Let p be ((-22)/1)/(-2) + -1. Suppose 0 = -z + 12 - p. Solve 7 + 5 = z*h - 3*x, 0 = -2*h + 5*x + i for h.
0
Suppose -4*j - 2*k = -10, -3*j - 20 = -j - 4*k. Solve -2*t = 5*d - 5, 3*t + j*t + 2 = 2*d for t.
0
Let v(k) = 4*k**2 - 12*k + 3. Suppose 4*x + 12 = 8*x. Let o be v(x). Solve -6*z = o*g - z + 25, 0 = -5*g - z - 27 for g.
-5
Suppose 6*j - j - 35 = 0. Let v(y) = -y**2 + 11*y - 3. Let z be v(j). Solve 22 = -4*m + d, 3*m - 2*d + z = 3*d for m.
-5
Let t = -1113 + 1117. Solve -4*k - 8 = 0, 14 = t*n + k - 2*k for n.
3
Let x be 2/(-3) - 318/(-18). Let z(r) = 2*r**2 - 33*r - 17. Let p be z(x). Solve -3*b + 4*g = -p*g + 11, -g + 8 = b for b.
3
Let x = -310 - -314. Solve 4*c + x*m = -28, 2*m = 3*c - 0*c + 11 for c.
-5
Let v = -13 - 2. Let h = v - -24. Suppose h = -4*d + 21. Solve d*t - r = 6, 0*r - 15 = -5*r for t.
3
Let x(t) = -t**3 - 5*t**2 - 2*t - 8. Let m be x(-5). Solve 5*f = -j + 3, -2*f - m*j = -4*f + 6 for f.
1
Let i be 20/(-180) - 5/(-18)*58. Solve 3*p = 5*p - 3*j - 10, 5*j = 4*p - i for p.
-1
Suppose -3*u + 5*c - 6*c = -1, -5*c + 5 = -4*u. Solve u*f - 3*f - h = 15, 0 = 3*f + 2*h + 15 for f.
-5
Let c(x) = -x**3 - 8*x**2 + 7*x - 14. Let s be c(-9). Suppose n = -4*b - 17, -5*n - 2 = -s*n + b. Solve a - n*y - 1 = -0*a, 0 = a - y + 1 for a.
-2
Let f be 15 - 20*(-2)/(-4). Solve 0 = 5*r + 3*u + 12, 4*u + 8 = -f*r - 3 for r.
-3
Suppose 3*t + 6 = 5*q, 3 = -4*t + 5*q - 0*q. Solve t*n - 1 = -2*d, 5*d = 4*n - 7*n - 2 for n.
1
Let t be (-188)/(-24) + -5*3/(-90). Solve 3*g - t*g = 2*x - 17, 3*