21). Solve y = -c - 3*c + 20 for c.
5
Let c be ((-14)/8 + 1)*8. Let y be 14/6 - 4/c. Suppose 0 = -t - x + 3*x + 10, t + 8 = -4*x. Solve 0 = t*q - y - 1 for q.
1
Let h be (-2)/(-3) + 7/3. Suppose 2*l - t = 3, -3*t = h*l - 2*t - 12. Let u = l + 0. Solve -8 = u*r + r for r.
-2
Let s(m) = m - 6. Let t be s(11). Suppose -3*v + 2*b + 6 = 0, -2*b - 3 = -3*v + b. Suppose 3*q - 3*o - 12 = -0*q, -v*o = 2*q + 16. Solve -t*g + q*g = 0 for g.
0
Suppose -4*s + 4*f = 0, 0*s + 3*s + 5*f = 0. Suppose s = -3*i + 9 + 6. Solve i*z = -12 + 32 for z.
4
Suppose 5*j = r + 4*r - 10, 5*r = -j - 14. Let c(f) = -8*f - 1. Let v be c(r). Solve 2*y - v = -y for y.
5
Suppose 29 = 3*v + d - 6*d, v = 2*d + 11. Let u = 8 - 6. Let q(l) = -l**2 - 2*l + 4. Let m be q(-3). Solve 0 = u*w + v + m for w.
-2
Let r be 6 - 4/((-8)/(-6)). Solve -r*l + 10 = -5 for l.
5
Suppose j = x, -3*x + 4 = 2*j - 7*x. Let n be -1 - (1 + (j - 5)). Solve 5 + 5 = n*r for r.
2
Let l be (4 - 4)*(-2)/(-4). Suppose -y + l*y = 0. Solve z + 4*z + 20 = y for z.
-4
Let y be (-107)/(-7) - (-2)/(-7). Solve 2*c - y = -c for c.
5
Let o(r) = r**2 - 6*r. Let p be o(6). Let n(t) = -t**3 + 9*t**2 + 10*t + 2. Let u be (6/(-18))/((-2)/60). Let b be n(u). Solve p*m + b = -2*m for m.
-1
Let c(j) = -j**3 - 3*j**2 - 2*j. Let s be c(-2). Suppose g + 2*g - 6 = 0. Solve -g = -s*r - 2*r for r.
1
Suppose 5*u + 6 = 31. Solve 4*h = -u - 7 for h.
-3
Let h be 32/12*(-6)/(-4). Suppose -h*s = -5*s - r - 5, -13 = -s + 5*r. Let j be (-198)/(-30) - s/5. Solve -3*x = 22 - j for x.
-5
Let h(w) = w - 3. Let y be h(5). Solve v = y*v for v.
0
Let u be (-32)/(-14) - 4/14. Suppose 4*r = u*f - 10, r = 4*f - 10 - 10. Solve -q + r = -4 for q.
4
Let k(y) = -y**2 - 4*y - 1. Let h be k(-5). Suppose -5*z + 22 = 2*a - 21, 2*a + z - 23 = 0. Let u = a + h. Solve -2 + u = -g for g.
-1
Let h(y) = -3*y - 3. Let p be h(-2). Suppose 0 = 2*q + 2*q + 5*b + 15, -4*b - 12 = p*q. Solve q = -0*f + f - 1 for f.
1
Suppose 36 + 64 = 5*g. Solve 3*f = -2*f + g for f.
4
Suppose -3*r + 7 + 12 = 5*v, 0 = 5*r + 10. Solve -2 = 3*z - v for z.
1
Suppose 18 = l + 2*l. Let x(b) = b**2 - 6*b + 4. Let q be x(l). Suppose -s + q*s = 0. Solve 5*a - 20 = -s*a for a.
4
Suppose -4*i + 15 = -1. Solve 2*a = a + i for a.
4
Suppose -2*o + 3*n = 9, -3*o + 2*o = -5*n + 22. Solve -4*w = -o*w + 4 for w.
-4
Suppose -7*j + 4*j = 0. Let r be (-6)/(-27) - 178/(-9). Solve -4*i + 0*i - r = j for i.
-5
Let g(t) = -5*t**3 + 4*t**2 - 5*t + 3. Let y(i) = -11*i**3 + 7*i**2 - 9*i + 5. Let u(z) = -7*g(z) + 4*y(z). Let j be u(-1). Solve 0 = 4*s + 3 + j for s.
-3
Suppose 3*t + 380 = -0*n + 4*n, -676 = 5*t + 4*n. Let u be t + -2*(-3)/(-3). Let h be u/(-11) - (-4)/(-22). Solve -4*q = -q - h for q.
4
Let t = 6 - 5. Solve t = 4*p - 11 for p.
3
Suppose -8*f + 2*t = -3*f - 10, 5*f + 5*t = 45. Suppose -47 = -f*g + 1. Suppose 4*m + 5*i - 41 = -10, -3*i - 3 = -3*m. Solve -m*n - g = 4 for n.
-4
Suppose -4*f + 489 = 5*g, 5*g + 38 = 2*f - 199. Suppose 5*p + 4*o - f = 0, 3*p - 6*p = 5*o - 70. Solve 5*l + p = -0*l for l.
-5
Suppose 2*o - o = 6. Let a be -1 + 1 - (-8 + o). Solve 0 = a*h + h - 6 for h.
2
Let i(s) = s**3 + 6*s**2 - 6*s + 12. Let n be i(-7). Solve -9*y = -n*y + 4 for y.
-1
Let f(o) be the first derivative of -o**2/2 - 2*o - 14. Let s be 0 - 0 - 4*1. Let i be f(s). Solve 1 = k - i*k for k.
-1
Suppose 0 = -2*p + 7*p - 15, 5*p - 25 = -2*l. Let b be 80/(-45) - 4/18. Let m = b - -3. Solve -2*d - m - l = 0 for d.
-3
Let q = -87 + 167. Suppose 1 = 2*v - 3. Suppose -v*z = 2*z - q. Solve -z = 4*t - 0*t for t.
-5
Let z be (9/(-6))/((1/(-2))/1). Let n be 1/(-2) + (-1)/(-2). Solve a = -n*a - z for a.
-3
Let t(g) = g**2 + 3*g + 12. Let b be t(-4). Solve -b = -3*y - y for y.
4
Suppose 2*f - 3*f + 4 = 0. Suppose -f*k - k = -15. Let i be 2/(-8) + (-50)/(-8). Solve 3 = k*y + i for y.
-1
Suppose -8 - 8 = -8*n. Solve -2*d + 4*d = n for d.
1
Let d = 2 - -13. Suppose -3*k = 2*k - d. Solve 0 = -2*i - k*i + 20 for i.
4
Let z be 54/72 + (-90)/(-8). Solve 0 = 4*v - 7*v + z for v.
4
Suppose 3*d + 2*d = 5. Suppose m - d = -0*y - 2*y, 4*y - 2*m = 6. Solve 6 = x + y for x.
5
Let z be (-8)/(-4)*-2 + 13. Solve z*v - 6*v = 0 for v.
0
Suppose 0 = -4*p - 0 + 8. Suppose -z + 4*z = 9. Let l be (6/2 - z)/p. Solve -5*g = -l*g for g.
0
Let g = 8 + -2. Let h(y) = -2*y - 4. Let k be h(-6). Suppose 0 = -0*u + 4*u - k. Solve g = -u*a + 2 for a.
-2
Let h(w) = -w**2 - 5*w + 6. Let g = -5 - -10. Suppose 4*x - 34 = g*m, -m + 0*x - x - 5 = 0. Let c be h(m). Solve c = 4*v - 16 for v.
4
Suppose -3*b = b. Solve 2 = 2*j - b for j.
1
Let d(o) = -o + 9. Suppose -34 - 26 = c. Let i be c/(-14) + 2/(-7). Let x be d(i). Solve x*g = 2*g for g.
0
Let k(y) = y**3 + 5*y**2 - 5*y - 25. Let o be k(-5). Solve 0 = -o*m + m + 3 for m.
-3
Let k(u) = -u**3 + 4*u**2 + 2*u + 2. Let h be k(4). Suppose t - 2*x + 4 = 14, 4*t + 2*x = -h. Solve -2*y = -t + 4 for y.
-2
Suppose -4*f - 22 = -3*m, -3*m + 0*f = -f - 10. Suppose l - j = 1, 7*l - 14 = m*l - 4*j. Solve 4 = l*t + 2*t for t.
1
Let h(f) be the third derivative of -f**4/24 + 5*f**3/6 + 2*f**2. Let g be h(0). Let t be g + 1 + -2 + 4. Solve 4*k = t*k for k.
0
Suppose -11 = -3*r + i, -2*r + 4*i + 3 = -i. Let u be (-1)/(-4) + 28/16. Suppose u*c - c - 2*f = -r, -f + 11 = 4*c. Solve -c*g = -3 - 1 for g.
2
Suppose -4*g + 2 = -42. Suppose 2*u + 1 = g. Solve -u*v = 17 - 2 for v.
-3
Suppose 0*h = 3*h. Let t be (-1 - (-2 - 1))*1. Let s be (-6)/(-4)*t/3. Solve 0 = o - h - s for o.
1
Let r be ((-63)/(-28))/(6/64). Let j = 40 - r. Solve -3*p - j = p for p.
-4
Suppose 2*g - 4*i + 4 + 4 = 0, 3*i - 6 = 0. Solve g*v - 5 = v for v.
-5
Let a(b) be the third derivative of b**4/24 + 7*b**3/6 + 5*b**2. Let u be a(-3). Solve o = -u - 1 for o.
-5
Suppose 2*g - 20 = 2*a, -77 + 15 = -3*g - 5*a. Let w = g - 2. Let c be w/18 + 4/3. Solve -n - c = n for n.
-1
Let v be 32/(-24)*66/(-4). Let t = v + -16. Suppose 0 = -4*w + w + 15. Solve -t = w*c - 2*c for c.
-2
Suppose 4*z = 6 - 2. Solve -z = -m - 5 for m.
-4
Suppose -3*b + b + 4 = 2*k, -3*b - 3 = 0. Suppose -k*g = 2*g - 5. Let o = g + 0. Solve -o = -f - 2 for f.
-1
Let w(b) = -b**3 - b**2 + b + 2. Let y be w(0). Let d be ((-12)/y + -1)*-1. Suppose 5*u - d = 8. Solve -u*x + 5 + 7 = 0 for x.
4
Suppose -5*i = -2*n, -2*n - 3*i = -n - 11. Let d = 10 - n. Solve -25 = -0*t - d*t for t.
5
Suppose 2*u - 2*i - 16 = 0, 3*u = 2*i - 3*i + 12. Let g(x) = x - 3. Let n be g(3). Solve n = -u*y + 2 + 3 for y.
1
Suppose -3*m + 29 = r, -21 - 22 = -4*m + 3*r. Solve m + 0 = -5*x for x.
-2
Let r = 14 + -8. Solve 4 - r = -z for z.
2
Suppose -i - 2 = z, z - 8 + 0 = 4*i. Let u be z + (1 - -3) + -2. Let g be (-1)/(-3)*0 - -6. Solve -u = 4*a - g for a.
1
Suppose -v - 3*t = -5*t - 10, 0 = -4*v - 5*t - 25. Suppose i - 2 = -a, 2*i = -2*i. Suppose -a = -v*w - w. Solve 6 = 2*d + w for d.
2
Suppose 4*v + 0 = 8. Suppose 2*c - u + 1 - 3 = 0, u + 2 = -c. Let x = 0 + c. Solve v*d + d = x for d.
0
Let k(c) be the second derivative of c**3 + 7*c**2/2 - 2*c. Let l(v) = 5*v + 6. Let h(z) = -4*k(z) + 5*l(z). Let b be h(0). Solve -b*j + 1 = -3 for j.
2
Let f = 18 + -19. Let j be f/(-4) + (-4)/16. Solve -p - p - 4 = j for p.
-2
Let h(v) = -2*v - 5*v**2 + 2*v**3 - 4 - v**3 + 8*v**2. Let y be h(-3). Suppose i + y - 6 = 0. Solve -i*k + 1 + 11 = 0 for k.
3
Suppose -128 = -5*s + 3*q, 2*q + 88 = 3*s + 11. Suppose -5*y + s = 3*w - 0*y, 2*w = -y + 5. Solve 16 = -4*d - w for d.
-4
Suppose -3*m - 12 = -6*m + 3*v, 0 = -5*v. Solve m*r + 8 + 4 = 0 for r.
-3
Suppose 3*t + 3 = k + 6, 5*k = 4*t - 4. Suppose -o - o = k. Solve o = -j - 2*j - 15 for j.
-5
Suppose -2*n + 0*n = -4. Suppose 5*t - 186 + 552 = 4*k, -78 = t - n*k. Let r be 3/2*t/(-21). Solve 0*a + r*a = 20 for a.
4
Suppose -3*r + 4 = -8. Suppose -r*d + 20 = 3*u - 8*u, 4*d = -2*u + 20. Solve u*n = -2*n - 6 for n.
-3
Let s(m) = -2*m - 5. Let q be s(-6). Suppose -12 = 2*y - 4*i, -2*y + i - 14 = -q*y. Solve -5 = -y*j + 5 for j.
5
Let x(d) be the first derivative of d**3/6 - 3*d + 3. Let y(j) be the first derivative of x(j). Let u be y(4). Solve u*p = -0*p + 4 for p.
1
Let m(o) = 6 + 3*o - 3*o + o. Let d be m(-5). Suppose u + 2*c + d = -3*c, 3*u + c = 11. Solve -r + u*r = 3 for r.
1
Let l be (-2)/(112/(-119)) + (-1)/8. Solve 0 = 7*v - 5*v - l for v.
1
Let i = 11 + 0. Solve -1 = -4*j + i for j.
3
Suppose 6*g + 29 = 