4. Suppose -6*t + 2*t = -g. Solve 2*m + t = -m for m.
-4
Let x(f) = f**2 + 2*f + 1. Let u be x(-2). Suppose 2*a - 4*n = -4, -u = 3*a - 2*n + n. Solve 2*c + 3*c - 10 = a for c.
2
Let p = -6 + 8. Let j be ((-2)/4)/(p/(-20)). Solve 10 = j*h - 5 for h.
3
Let o(p) be the first derivative of -p**3/3 + 4*p**2 + 5*p - 5. Let c be o(8). Solve 22 = c*z - 3 for z.
5
Suppose -5*k + 5 = -2*w - 7, 5*w - 20 = 0. Let l be 0*(6/(-3))/2. Solve -c = -k - l for c.
4
Let r(n) = n + 6 - 1 - 3 - 1. Let o be r(3). Solve 3*p + o = -p for p.
-1
Suppose -24 = j + 3*j. Let l be (-1)/(3/j) - 0. Solve l*k = -0*k for k.
0
Let r = -24 - -24. Solve 5*s - 6*s - 1 = r for s.
-1
Let b(t) be the second derivative of t**3/3 - 5*t**2/2 + 3*t. Let v be b(5). Solve 4 = -v*q - 1 for q.
-1
Suppose 3*f + 2*f - 15 = 0. Suppose 0 = -3*v - 4*c, 2 = -2*v - f*c + 1. Suppose 0 = 3*r - 12, 0 = -v*g + 2*g - 2*r + 14. Solve 3*a + g = -0*a for a.
-1
Let g be (42/(-56))/(1/(-12)). Solve 0 = 2*r + r + g for r.
-3
Let s be 5/(-20) + (0 - 3/(-12)). Solve s*i - 16 = -4*i for i.
4
Suppose -4*k = 3*c - 3*k, -5*k = 4*c. Let r(x) be the second derivative of x**4/12 - x**3/6 + 2*x**2 + 2*x. Let y be r(c). Solve -b + 25 = y*b for b.
5
Suppose 4 = 3*j - 8. Solve 0 = 5*r - r - j for r.
1
Let a = -4 + 4. Suppose -2*l + 50 = -a*l. Solve 2*j = 7*j + l for j.
-5
Let h be (-16)/(-2) + (-3)/1. Suppose 20 = -5*x, h*x = k - 0*k - 30. Solve -2*q - 3*q = -k for q.
2
Suppose 4*u = 3*u. Suppose 3*s - 28 = -s. Solve -s*n + 3*n = u for n.
0
Let f be 130/60 + (-1)/6. Solve -6 = -f*r + 2 for r.
4
Suppose 6*v = 22 + 2. Solve 7*d = 3*d - v for d.
-1
Let r be 7 + 2*(-12)/8. Suppose r*j + 28 = 3*g + g, -35 = -5*g + 2*j. Solve 0 = 4*y - g*y for y.
0
Let d(y) = -2*y**2 - y. Let q be d(2). Let f = -11 - q. Let x be (0/1)/f + 3. Solve 0 = -4*c + x + 13 for c.
4
Suppose n = -o + 11, -n + 5*o - 19 = -0*n. Suppose 4*l = 14 + n. Solve 8 = -j + l*j for j.
2
Let o(c) = c**3 + 8*c**2 + c + 11. Let r be o(-8). Let y = 4 - r. Let j be (y/(-4))/(5/(-20)). Solve g = j + 1 for g.
2
Let d = 218 - 142. Suppose 0*m - 5*m + l + d = 0, -2*m + 2*l = -32. Let n be -6*1/(-4)*2. Solve 4*y + m - n = 0 for y.
-3
Let z(k) = -k - 1. Let u be z(-1). Let w(a) = a**3 - 4*a**2 + a + 1. Let o be w(4). Solve -25 = o*l - u*l for l.
-5
Let p(r) = r**3 + 9*r**2 + 9*r + 10. Let h be p(-8). Solve -f - 2 = -h*f for f.
2
Suppose 0 = -5*a - 2*b + 13, -2*b - 2*b = 5*a - 11. Let h be 2*1 - (a + 2). Let c = h + 6. Solve -2*s + 3 + c = 0 for s.
3
Let o(g) = g**2 - 2*g + 2. Let l be o(2). Suppose l*v - a + 11 = 5*v, 19 = -3*v + 5*a. Let k = v + 1. Solve -3 + 9 = k*z for z.
2
Let l(t) = 2 - 3 - 3 - 5*t. Let u be l(-3). Suppose -s - 2 = -6. Solve s*c = 5 + u for c.
4
Suppose -3*c = -10 + 1. Let k be (1 - 0)*(4 - c). Solve t = -0*t + k for t.
1
Let f(g) = g - 2. Let m be f(13). Suppose -m*y = -16*y + 15. Solve 2*q - y = 1 for q.
2
Let u = 3 + -5. Let h be (80/25)/(u/(-10)). Let a be ((-36)/h)/((-1)/4). Solve 0 = 3*k - 6 - a for k.
5
Let r(m) = m**2 + 8*m + 2. Let y be r(-8). Suppose 4*s + 4*p + 4 = 0, 0 = 5*s - p + 2 + 3. Let n be 9/15*(-5)/s. Solve -n*c = y*c for c.
0
Let c(b) = 3*b**2 - 3*b. Suppose -3 - 1 = -2*s. Let x be c(s). Solve q - x = -q for q.
3
Suppose -5*r + 4*r = -4*x + 30, -5*x + 32 = -4*r. Solve 4*c + 4 = x for c.
1
Let y(a) = a + 15. Let d be y(-12). Solve -d*m - 6 = 3 for m.
-3
Let h = -9 - -10. Suppose 11 = 2*y + h. Solve 0 = -y*m + 5 - 0 for m.
1
Suppose 3*g + 1 = -4*s + 13, -4*g = s + 10. Solve -4*w - 10 = -s*w for w.
5
Let q(d) = -d**2 - 9*d - 5. Let n be q(-8). Let z be ((-20)/15)/((-2)/n). Solve -3*o - 7 = z for o.
-3
Suppose 0 = 5*z + 1 - 6. Suppose s + 4 = -5*p + z, 3*p + 5*s = -15. Let u(f) = f**3 + 4*f**2 + 3*f + 2. Let c be u(-3). Solve a - c = -p for a.
2
Let y be ((-8)/12)/((-2)/(-3)). Let m be y*(3 + -1) + 7. Suppose 8 = 4*p, m = -4*i + 5*p + 3. Solve -i*t = -6 - 4 for t.
5
Suppose -1 = -2*k - 3. Let l be -2 + 10 + 3 + k. Suppose -1 = 3*r - l. Solve -2 = -4*b + r*b for b.
2
Let f = -37 + 50. Solve 5*k = 3 - f for k.
-2
Let r be 6/4*(-52)/3. Let u = -17 - r. Let n = -4 + u. Solve n*k + 16 = -9 for k.
-5
Let p be 60/(-27) + 6/27. Let w be 1/2*p - -3. Solve 3*h + w*h = 5 for h.
1
Let p be (16/6)/(6/9). Let x(u) = -3*u**3 + 2*u + p*u**3 - 2*u**2 + 0*u**2. Let m be x(2). Solve -m*k + 25 = k for k.
5
Let b = -5 + 8. Solve 2*p = b*p for p.
0
Suppose 3*z + 4*g = -14, 2*g = -3*z - 7 + 3. Solve z*d = -d + 6 for d.
2
Suppose -5*w = 3*h - 28, 0 = -4*w - 3*h - 0*h + 23. Suppose -4*x - w*z + 8 = 0, -1 + 3 = x + z. Suppose 8 = 7*y - 5*y. Solve x*g + y = -6 for g.
-5
Let y(j) = 13*j - 1. Let o be y(1). Suppose b = -2*b - o. Let f = 8 + b. Solve 0*h - h = -f for h.
4
Suppose 0 = -3*h - 15, -m - 4*h - 21 = h. Solve k + m = -0 for k.
-4
Suppose 2*f - 7 + 15 = 5*t, 2*t = 2*f + 8. Solve 5*r = -t*r + 25 for r.
5
Let q(d) be the second derivative of d**4/4 - d**3/6 - d**2/2 + d. Let y be q(-1). Solve 2*k - 5 = y*k for k.
-5
Let r = 51 - 43. Solve -c - c = -r for c.
4
Let k(j) be the third derivative of j**4/12 + j**2. Let r be k(1). Solve r = -x - 2 for x.
-4
Suppose 2*l + 2*l - 28 = -4*q, 5*q - 28 = 2*l. Solve 4*k = q*k - 10 for k.
5
Let l be ((-3)/(-2))/((-3)/(-8)). Solve -l*y + 4 = -12 for y.
4
Let u be (-2)/(-3) + 6/18. Let z be (u/2)/((-5)/10). Let k be 2 - (z + -2 + 1). Solve -h + k = -2*h for h.
-4
Let y be -2 - 1/((-1)/4). Solve h = -y*h for h.
0
Let k = 6 - 1. Let m = -2 + 4. Let q be m/6*0/3. Solve -5 + q = k*h for h.
-1
Suppose -15 = 5*g - 5*b, 6*g - 3*b = g - 5. Solve -g*w + 18 = 4*w for w.
3
Let s = -26 - -11. Let d = -9 - s. Solve 10 + d = 4*y for y.
4
Let q = -16 + 10. Let m = 9 + q. Solve -5 = -n - m for n.
2
Let w be 497/56 + (-1)/(-8). Let o(s) = s**2 - 8*s - 9. Let g be o(w). Solve g = r - 5*r - 16 for r.
-4
Let d = -5 + 8. Let j(c) = -c**3 + 4*c**2 - 3*c + 1. Let t be j(d). Solve -a = -2*a - t for a.
-1
Let w(g) = g**2 + g - 2. Let s = 2 + -5. Let r be w(s). Let t be r/(-10) + 48/20. Solve -t*d - d + 15 = 0 for d.
5
Let v = -49 + 54. Solve -v*n - 1 - 14 = 0 for n.
-3
Let s be 82/10 - 9/45. Suppose -3*r + 12 = -g + 2, -r + s = 2*g. Suppose -14 = 4*d - r*c - 6, -24 = -2*d - 5*c. Solve y + y = d for y.
1
Suppose 0 = 3*q - 7*q. Let g be 5/(-5)*(q + 3). Let k = g + 7. Solve -3*i + 2*i - k = 0 for i.
-4
Suppose 5*s - 34 = 1. Let m = 10 - s. Solve 2 + m = h for h.
5
Suppose 0 = -9*g + 8*g. Solve g = 3*w - 5*w for w.
0
Let g be -1 - (2 + -2 + -5). Suppose -4*w - 17 = -x - 111, w + 2*x = 28. Suppose -g*z - w = -8*z. Solve v = -v - z for v.
-3
Let j(r) = -3*r - 3. Let y be j(-6). Solve -w - y = 4*w for w.
-3
Let b(f) = f - 1. Let p be b(4). Let z(v) = 49*v**2 + v. Let u be z(-1). Suppose 5*w - u = 2*w. Solve r + w = -p*r for r.
-4
Suppose 3*w - 2*w - 5 = 0. Suppose -w*l + 3*l = -4. Suppose 4*k + 5 = u + 3*k, -3 = k. Solve u*m = 4*m + l for m.
-1
Let s(m) be the third derivative of m**5/60 + m**4/24 + m**3/6 + 2*m**2. Let d be s(-2). Solve 3*l - d = 6 for l.
3
Suppose 4*u = q + 3*q, -5*q + 25 = 0. Suppose -5*h + 6 = -4. Solve -u*p + 3 + h = 0 for p.
1
Suppose 2*p - 2*s = 0, 1 + 1 = s. Let v be 2/3 - 16/(-12). Solve -v*l + 8 = p*l for l.
2
Let r = 5 + -6. Let i be (0/r)/(21/(-7)). Solve i*m + 3 = m for m.
3
Suppose 4*n - j - 3*j + 24 = 0, 5*n = -3*j + 2. Let c = -3 - n. Let x be 0 + 3/3 + c. Solve -4 = -x*b - b for b.
4
Let g(o) = -o**3 - o**2 + o. Let y be g(2). Let m = y + 12. Solve m*b = -0*b - 8 for b.
-4
Suppose -60 = 5*y + 2*c - 10, -2*c = 2*y + 26. Let j be (-122)/y - 2/8. Solve 5*w = -5 - j for w.
-4
Let p(t) = -t**3 - 5*t**2 + 6. Let x be p(-5). Let b be 3*(-1 + 2) + 0. Solve x = -b*v + v for v.
-3
Let o = 30 - 16. Suppose 0 = 3*l + 3*g - 2*g - o, g = 2*l - 6. Suppose 5*r - 4*a + 4 - 3 = 0, -r - 4*a = -19. Solve -l - 5 = r*n for n.
-3
Suppose -14 = x - 4*f, 2*x - f + 2 = x. Let z be x/8 - 75/(-20). Suppose g = 3*g - 4. Solve -z + g = -2*n for n.
1
Let q(j) = -3*j - 9. Let l be q(-4). Solve l = -a - 1 for a.
-4
Suppose -5*f = -3*f + 2*f. Solve f*z = -z + 2 for z.
2
Let p be (-4 + 2 + 2)/3. Suppose -3*y = -2*g - 23 + 1, -y - g - 1 = p. Let x be y/(-18) + (-137)/(-9). Solve -x = 2*q - 7*q for q.
3
Let o be 9/(189/28) + 4/6. Solve -o*f = -f for f.
0
Let y(h) = h**2 + h - 2. Let c be y(-4). Let m(s) = -s + 13. Let l be m(c). Suppose l = -0*i + i. Solve 