4*c. Let m = 31 - 19. Let v = m - l. Solve y + 2*y = z + 14, -4*y = -v*z - 26 for y.
4
Let u be (3/(-6))/((-1)/6). Suppose -z + 4 = u*z. Let g(f) = f**2 - 2*f + 1. Let p be g(z). Solve -5*v + 5*n = p, 10 + 5 = -v + 4*n for v.
5
Suppose 3*u = -5*i + 23, u + 4*u = -5*i + 25. Solve -11 = i*l + 3*f, 0 = -l + f - 3*f + 1 for l.
-5
Let y(m) be the third derivative of -m**5/60 - m**4/3 + 5*m**3/6 - 5*m**2. Let o be y(-7). Solve 3*k - 3*x = -0*k - o, -2*k = -x + 6 for k.
-2
Let g(s) = s - 2. Let f be g(7). Let d = f + -3. Suppose -8*j = 3*k - 3*j - 24, -d*j = -6. Solve k*c + h = 14, -h = 4*c + 3*h - 32 for c.
3
Let p be 4/8 - (-10)/4. Suppose -2*n - p*h = -11, 4*n + 5*h - 19 - 2 = 0. Solve -5*o + 24 = -2*m, -10 = m - n*o + 2*o for m.
-2
Let j be -3 + 5 + (2 - 0). Solve j*b = -3*x - x, -16 = 4*x for b.
4
Let l = -6 - -12. Let q = -3 + l. Suppose -23 = -5*u + v, -q*u - 5*v + 2*v = -3. Solve 5*r + 22 = -2*k, -5*r - u*k - 29 + 5 = 0 for r.
-4
Let a = -16 + 22. Let z(q) = q**3 - 7*q**2 + 6*q - 7. Let k be z(a). Let h = 12 + k. Solve -h = -u + c, -2*c + 5*c = 4*u - 16 for u.
1
Let n be (4/(-2))/(4/(-2)). Let f be -2*n - 0 - -1. Let g(c) = -2*c - 1. Let u be g(f). Solve 0 = 2*v + 10, -5*v - 6 = -4*p - u for p.
-5
Let r be 4/(-32)*-30*4. Let b = -12 + r. Solve -5*p + d + 22 = 0, 0*p + 4*d - 4 = -b*p for p.
4
Let b(m) = m**3 - m**2 + m - 1. Let a be b(0). Let o be (-5 + a)/(18/(-12)). Solve 5*v + 6 = -r, -5*r = -o*v - 0 + 1 for v.
-1
Suppose 0 = -2*w + 1 + 9. Solve -w*b - 21 = o, -14 = b - 4*o + 7 for b.
-5
Suppose -2*u = 3*u - 3*w - 10, 4*u + 5*w - 8 = 0. Solve -3*k - 9 = 4*j + u*k, j - 5*k - 4 = 0 for j.
-1
Let b(y) = -y**3 + 21*y**2 - 22*y + 42. Let j be b(20). Solve j = -2*u, -h + 0*u = -u - 2 for h.
1
Let b(t) = -t**3 + 6*t**2 - 5*t + 4. Suppose 2 = 4*x + 6. Let j be 0 + x + 7 - 1. Let w be b(j). Solve -3*a = -3*c + 25 - 4, 0 = 2*a - w*c + 18 for a.
-5
Let x be (18/3)/(2/5). Solve 0 = 3*g - 2*g - 5*a + x, 3*a = 3*g + 21 for g.
-5
Let g(v) = 4*v + 15. Let t be g(-3). Solve -8 = 2*w + 3*z, -6 = -t*w + 5*z - 18 for w.
-4
Suppose -27 = -3*k + 18. Solve 0 = 2*r - r - 5*v + k, 2*v = -3*r - 11 for r.
-5
Suppose -5 - 7 = -2*k. Let p(i) = i + 7. Let t be p(k). Solve -5*f = 2*n + t, -12 = 3*n - 4*f - 4 for n.
-4
Let f(m) = -m**2 - 5*m + 8. Let y be f(-6). Suppose 0 = 4*z - 2*g - 14, -4*z - y*g + 1 = -1. Solve -2*w + 8 = -z*c - 8, 2*w = -2*c - 4 for c.
-5
Let n(k) = -k. Let r be 1 - (2 - -2 - 1). Let u be n(r). Solve -u*o - 5 = -5*a, 2*o + 0 - 13 = -a for a.
3
Suppose -5*v = -10*v. Solve v*b - 5*x - 1 = 4*b, 0 = -b - 4*x - 3 for b.
1
Let n be ((-15)/10)/((-2)/(2 + 2)). Suppose 0 = -2*z + 1 - 3. Let q be 5*(z - 9/(-5)). Solve 4*l + n*s = -4, 3*l = q*l - 2*s + 1 for l.
-1
Suppose 0 = -5*o - 2*p + 32, 2 = p + p. Suppose 3*q = q + o. Suppose 0 = -q*i - 5*d + 22, 2*i - 1 = -5*d + 7. Solve -12 = -5*v + 4*f, -4*f = v + f - i for v.
4
Let v(q) = 0*q**3 + 13*q**2 + 0*q**3 + 5 + 12*q + q**3. Let j be v(-12). Let g(i) = -i**2 - 5*i - 1. Let t be g(-3). Solve 3*f + t = -h, -h = f - 4*h + j for f.
-2
Let r be (-3 - 5/(-2))*-8. Solve r*h + 4 = 4*a, 3*a - 11 = 3*h - 2*a for h.
3
Let a = -48 + 53. Solve 2*c + f = a, 2*c - 1 = -3*f - 2*f for c.
3
Let z(f) = f**2 - 5*f + 4. Let x be z(5). Solve 5*t + 3 = -4*s, -3*s = -x*t - 4*s + 2 for t.
1
Suppose 0 = -a - 0*a + m - 24, -3*a - 5*m - 80 = 0. Let c = a + 31. Solve -s - 3 = 5*h, -3*s + s + 2*h - c = 0 for s.
-3
Let j be -1*(4 + -7) + 0. Suppose -j*f = 0, -5*g + 4*f = -g - 16. Solve -g*u = -4*i - 8, -6 - 8 = 3*u + i for u.
-3
Suppose -w + 5*r = -17, w = -2*r + 5*r + 11. Solve -3*x - 5 = -4*j, -4*j + w = -5*x - 1 for x.
1
Suppose 0 = 4*o - 8*o. Solve -2*z + 5*z - 4*g + 3 = 0, 2*z - 2*g = o for z.
3
Let l(d) = -1 + 4 - d**3 + 6*d**2 + 4. Let b be l(6). Suppose -3*i = 2 - 11. Solve i*y = -5*r - 14, -4*y - 2 = -3*r + b for r.
-1
Let f = -12 - -8. Let v be (-108)/(-20) - f/(-10). Solve 21 = -3*l + 3*b, 5*l - 4*b + 17 = -v*b for l.
-4
Let y be 2/5 + (-23)/(-5). Suppose 0 = -0*z + 5*z - 20. Let g(u) = -u + 8. Let o be g(z). Solve s + y = 3*l - 0*s, -l = -o*s + 2 for l.
2
Suppose -4*u = 5*s + u - 20, 2*s = -3*u + 8. Solve 4*r = -s*l, -2*r - r = -3*l + 24 for l.
4
Suppose 2*d + 2*d - 2*i - 28 = 0, -4*i - 2 = d. Solve r = 2*j + 5*r + d, 4*j = -2*r for j.
1
Suppose -13 - 11 = -2*j. Let h = -9 + j. Let a(b) = -b**2 + 3*b. Let l be a(h). Solve -4*f - 9 - 15 = o, l = 3*o + 12 for f.
-5
Suppose 11 = o + 6. Solve -o*d + 14 = h, 0 = -d - 2*h - 3*h - 2 for d.
3
Suppose 2*p + 5*z = 10, -z - z = -3*p - 4. Let v be 84 + p*3/(-6). Let g = 119 - v. Solve 5*j + g = 5*b - 0, -3*j + 2*b - 16 = 0 for j.
-2
Let y = 4 - 0. Suppose 0 = -8*g - 29 + 149. Solve y*r + 18 = -r + m, -m = -4*r - g for r.
-3
Let l(f) = -3*f**2 - 2*f + 1. Let g be l(-2). Let c be g/(-2) + 2/4. Solve -n + 3*n = 2*b - 10, -c*b + 20 = n for b.
5
Let v = 13 - 9. Suppose 0 = 3*t - 6*t + 18. Suppose 0 = -m + t*m - 20. Solve -v*g = m*r, g = -r - g for r.
0
Suppose -5*i + 1099 - 181 = -4*u, 5*i - 2*u = 914. Let c be i/15 + 6/(-45). Solve m - c = -4*m - d, 2*d - 8 = -2*m for m.
2
Suppose 2*k = 0, -k = 5*x + 2*k. Let g = x - -5. Suppose 3*y - 6 = -0*y. Solve -g*t - 4*q + 32 = 0, -4*t + y*t = q - 11 for t.
4
Let k(z) = -2*z**2 - 27*z - 11. Let q be k(-13). Let c be ((-4)/6)/(2/(-3)). Solve -4*x + 7 = -4*u - c, -q*u = 3*x - 16 for x.
4
Let m be (-2)/1 - (2 + -10). Let q(g) = -g + 10. Let a be q(m). Let f = a + -4. Solve -17 = 4*c + 3*d, f = 2*c - 5*c + 2*d for c.
-2
Let u(n) = n**3 + 20. Let h be u(0). Suppose 0 = -4*l + 4 + h. Let j be -3 + l/((-2)/(-2)). Solve -2*s = 3*i + 10, -5*i + s = j*s + 14 for i.
-2
Let c(z) = z**3 + 5*z**2 - 6*z + 2. Let y be c(-6). Let m be 7 + (-2)/(0 - 2). Suppose -y*v + m = -0*v. Solve 0*b - 11 = 3*g - 5*b, -2 = 3*g + v*b for g.
-2
Suppose -31 - 5 = 3*x. Let m be 16/10 + x/(-30). Solve -2*f + 2*i = 3*i - 7, -f - 4 = -m*i for f.
2
Let q be ((-13)/26)/((-2)/4)*23. Solve -2*p = -4*g - 24, -3*p - q = 5*g - 4 for p.
2
Let y be ((-4)/12)/(2/(-18)). Solve -y*g = -4*v + 22, 4*v - 2 - 16 = g for v.
4
Let u be (-21)/42 + 26/4. Solve -3*k = 8 + 4, u = -5*i - 4*k for i.
2
Suppose 0 = -6*m - 7*m. Suppose 34 = 5*h - 3*g, 2*h + 0*g = g + 13. Suppose 5 + 1 = 3*x. Solve w + 4*w - x*q - 10 = m, -5*q + 45 = h*w for w.
4
Suppose b + 27 = 5*k, -4*k - 4*b = -2*k - 2. Solve -c - 3*j = 15, 0 = 4*c + k*j + 40 - 8 for c.
-3
Let b = -2 + 4. Suppose 0 + b = t. Let y = 13 + -9. Solve -u = -5*f, t*u + 13 - y = f for f.
-1
Let g = -2 - -4. Suppose -g*n + 46 = -12. Solve -n = 5*c - 4*p, -c + p = 6*p for c.
-5
Suppose 3*z - 15 = -2*z. Solve 5*u + 37 = z*d, -4*u + 0*u - 16 = d for d.
4
Let z be (-66)/(-10) + 9/(270/12). Solve -i - 12 = 2*n, -2*i - 36 = 5*n - z for i.
-2
Suppose -13*m + 4*m + 9 = 0. Solve 3*j = 2*h - 3, 3*h = -j + 8*h - m for j.
-1
Suppose -4*d - 4*n - 12 = 0, 4*n + 0 = -5*d - 10. Let s be (-3 - (d + -7))/1. Solve 5*i = h + 29, -s*i + 3 = -7 for h.
-4
Suppose -2*x = -4*x + 6. Let n be (20/x)/(2/(-6)). Let s be (-35)/n + 1/4. Solve t - s*q - 1 = 0, 7 = t - 3*q - 2*q for t.
-3
Suppose d + a - 40 = -3*d, -4*a = 2*d - 6. Suppose -2*m - 3*b + d = 0, 4*m + b - 2 = 15. Solve -1 = h - p + 1, 4 = -m*p for h.
-3
Suppose 0 = a - 5, 6 = -3*g - g - 2*a. Let n be 16/2 - (-1 - g). Solve -3*j = 4*h - 6*j - n, 2*h + 2*j - 20 = 0 for h.
5
Let j = 6 + -4. Let h be (-2 - -5)/(j + -1). Solve -11 = -o + h*y, 6*o + 2*y - 16 = 2*o for o.
5
Let x(m) = -13*m + 7 + m**2 + 5 + 9 - 3. Let z be x(12). Solve 6 = 3*y, 0*t - y - z = 4*t for t.
-2
Let q = -6 + 9. Let k = 24 - 22. Suppose q*m + 11 = k*i, 0 = 3*i + 5*m - 2*m - 9. Solve -4*r - 17 = -7*r - i*d, r + 16 = 3*d for r.
-1
Let f(r) = r**2 + 2*r + 7. Let v be f(0). Solve -3*c - 5*i = -v*c - 5, -2*i = 5*c - 35 for c.
5
Suppose -5*v + 8 = 3*t, -3*v - 5*t - 16 = -2*v. Suppose 2*c = d + 40, -5*c - v*d - 9 + 83 = 0. Solve 5*w - 42 = -4*s - 15, 5*w - c = -s for s.
3
Let p(o) be the second derivative of -o**4/12 + 2*o**3 - 3*o**2 - 2*o. Let r be p(11). Solve -3*m = -2*x + 4, -3*m - r = -0*x - x for m.
-2
Suppose -4 = -6*k + 2*k + 4*x, -4*x = -12. Solve -k*p + 10 = -2*i, -p = -4*i - 5*p + 4 for i.
-1
Let n be 9 + -12 + 2 + 0. Let v be 32*(n + 3/2). Solve x + v = -3*x, -2*b = x + 6 for b.
-1
Let f be -1 - -4 - ((-18)/3 + -1). Solve 5*x = -5*l + f, l - 5*x = 2*l + 2 for l.