4. Solve -4*t = z + 6 for t.
-4
Let h(m) = -m**3 - 6*m**2 + 6*m - 7. Let f be h(-7). Let u(z) = 4*z**3 - z. Let x be u(1). Solve f = -4*j + x - 23 for j.
-5
Let l(t) = -2*t**2 - 37*t - 14. Let o be l(-18). Solve 5*b = 6*b - o for b.
4
Let g be ((-1)/2)/((-5)/100). Solve 4*v = 2*v - g for v.
-5
Let h(o) be the second derivative of 0 - 1/3*o**3 + 1/6*o**4 - 3/2*o**2 + 4*o + 1/20*o**5. Let i be h(-2). Solve 0*c + i = -c for c.
-1
Let m(i) = i + 3. Let l be m(-3). Let a be l + 0 + 4/1. Solve a + 5 = -3*j for j.
-3
Let g(y) be the third derivative of 13*y**4/24 + y**3/3 - y**2. Let b be g(2). Suppose 0 = -5*h + 3*j + b, j = -h + 3*j + 7. Solve h*q - 3*q = 0 for q.
0
Let i(a) = -a**2 + 11*a - 6. Let w be i(10). Suppose h = -w*r - 15 + 2, -4*h = -r - 16. Solve -3 = -h*c + 3 for c.
2
Let p = -31 + 51. Solve 0*z - p = -5*z for z.
4
Let x(y) = y + 2. Suppose i + 3 = -2*i + 5*g, -4*g = -2*i. Let c be x(i). Let l be (-38)/c + 1/2. Solve l = 5*q - 10*q for q.
-2
Let f be 2*(-3)/(-6)*-6. Let x = -4 - -1. Let l = x - f. Solve -l*k = k - 16 for k.
4
Let t(u) = u**2 + 3*u + 2. Let g be t(-2). Solve g*j = -3*j - 12 for j.
-4
Let w be -3*(2 + 0 + -3). Solve w*u + 1 = 13 for u.
4
Suppose -5*x + 20 = 0, -4*i - 52 = -6*x + 4*x. Let v = i - -19. Let w = -5 + v. Solve w*r = -2*r - 15 for r.
-3
Let x be -4*(-1)/8*1*10. Solve x*m = -6 + 1 for m.
-1
Let c(r) = -5*r - r**2 + r + 9 + 0*r. Let d be c(-4). Solve -5*v - 6 = d for v.
-3
Suppose -2*v + 4*v = 5*j + 155, 3*j = 5*v - 112. Let a = j + 49. Let l be (-4)/a - 26/(-5). Solve 7 = -l*g + 32 for g.
5
Let j(a) = a**3 - 4*a**2 - 6*a + 5. Let s be j(5). Let y(i) = i**3 + i**2 - i + 6. Let v be y(s). Let h be (20/v)/(2/12). Solve 2*k = -2*k + h for k.
5
Let b(d) = -d + 3. Let c be b(-3). Suppose 0 = 6*u - 4*u. Let x = -4 + 7. Solve -x*o + 6 + c = u for o.
4
Let d(x) = x**3 + 7*x**2 + 5*x - 6. Let b be d(-6). Let s be ((0 + b)/(-3))/(-2). Solve s*l - l = 4 for l.
-4
Let v = 4 + -2. Let r(j) = j**3 + j**2. Let g be (-4 + 3)*1 + 1. Let a be r(g). Solve -v = -a*l - l for l.
2
Suppose -5*t + i = 6*i - 25, -25 = -3*t - 5*i. Let w = -6 - t. Let v = w + 8. Solve -v*j - j = 6 for j.
-2
Let v(t) = -t**2 - 10*t + 3. Let f be v(-11). Let z be (6/f)/((-6)/16). Let q = 2 + z. Solve q*n - 30 + 10 = 0 for n.
5
Let c = -1 - -3. Suppose -3*y - 2*t - 7 = 3*t, c*y + 5*t = -8. Solve -3 = h + y for h.
-4
Suppose 0*i + 2*i = 2. Let v = 9 + -3. Suppose 0*w = 3*w - v. Solve -w + i = -j for j.
1
Let u = -14 + 10. Let c(x) = -x - 1. Let r be c(u). Solve t - r*t = 0 for t.
0
Suppose -31*j + 66 = -28*j. Let q(n) = n**3 - 4*n**2 - n + 5. Let d be q(4). Suppose -5*p = l, l + d - 11 = 5*p. Solve l*a - j = 3 for a.
5
Suppose 3*h + 5*r + 0*r - 40 = 0, -r - 5 = -2*h. Let n be (-12)/18 - (-1)/(3/2). Solve n*k + 20 = -h*k for k.
-4
Let q be ((-1)/2)/((-12)/24). Let h(d) = -d**3 - 6*d**2 - d - 4. Let f be h(-6). Suppose -f*g - 3*i = -0*i - 5, g - 10 = i. Solve g = 2*n - q for n.
4
Let x(k) = k**3 + 3*k**2 - k - 3. Let n be x(-3). Solve 3*l - l = n for l.
0
Let d = -4 - -7. Let u(p) = p**3 - p**2 + p + 4. Let x be u(d). Solve b + 4*b = -x for b.
-5
Let k(v) = 7*v**2 - 6*v - 4. Let n(p) = 15*p**2 - 13*p - 9. Let u(y) = 13*k(y) - 6*n(y). Let w be u(0). Solve c = -w*c for c.
0
Let b be 4/(-8) - 2/(-4) - -9. Solve -2*j = j - b for j.
3
Let t = 30 - 0. Let d(k) = -k**3 - 6*k**2 + 7. Let u be d(-5). Let r = u + t. Solve 4*y + 28 - r = 0 for y.
-4
Let v(t) = t**3 + 6*t**2 - t - 2. Let s be v(-6). Let c = -6 - -15. Let w = 14 - c. Solve w*g - s + 29 = 0 for g.
-5
Suppose -3*m + 102 = 3*k, -3*k - 55 = 4*m - 186. Let b(l) = 5*l + 2. Let s be b(5). Let y = s - 18. Solve 5*j + y = m for j.
4
Let i(u) = u**3 + 21*u**2 - 47*u - 17. Let p be i(-23). Solve 0 = r - p + 3 for r.
3
Suppose 5*v = a - 17, 4*a - 6*v = -4*v + 14. Suppose -8 = -5*w + a. Solve -3*q = -w - 1 for q.
1
Let g(m) = -m**2 - 5*m - 4. Let v be g(-4). Suppose 31 = 4*x - 3*o, v*x + 4*o = 2*x - 28. Solve -x = 2*j - 0*j for j.
-2
Let c(q) = -q + 6. Let h = -11 - -16. Let v be c(h). Suppose 8 = o + 3*o. Solve o*f + v = -1 for f.
-1
Let k be (-2)/4*-2 - -1. Let c(j) = -2*j**2 + 2*j. Let m be c(k). Let i = -4 - m. Solve -5*l - 12 - 3 = i for l.
-3
Suppose 0 = -3*b + 4*m + 14, -b + 4*m - 3*m + 4 = 0. Let n(u) be the first derivative of u**3 - u**2/2 - 1. Let t be n(2). Solve 0*r - b*r - t = 0 for r.
-5
Suppose 0 = -2*v + 3*v - 4. Solve 0 = p + v*p + 5 for p.
-1
Suppose -5*n = -w - 25, n + 0*w = w + 5. Suppose -5*x - 5*a - 4 = 16, 0 = -n*x + 2*a + 15. Solve -2*c + x + 3 = 0 for c.
2
Let m = 40 - 28. Solve 5*b + m = b for b.
-3
Suppose 3 = -r + 15. Let x = r - 6. Let v be (0 - x/(-4))*2. Solve -3*b - 9 + v = 0 for b.
-2
Let o(b) = -b**2 + b. Let q be o(0). Solve -4*k + q*k + 4 = 0 for k.
1
Let v be (-16)/6*(7 - 31/4). Solve -2*j - v + 4 = 0 for j.
1
Let j be 4/18 - (-122)/18. Solve -5*i = 8 + j for i.
-3
Let u(p) = -p**3 + 7*p**2 - 5*p + 35. Let o be u(7). Solve -g - 2*g + 12 = o for g.
4
Let b be 1/((-3)/18) - -1. Let t = -1 - b. Solve 0*p = -2*p - t for p.
-2
Let t = -7 - -6. Let i be 4/10*(t - 4). Let k be (3/9)/(i/(-18)). Solve z + 0*z = -k for z.
-3
Let v = -4 - -2. Let y be (0 - v/1)/(-1). Let z = y - -6. Solve 2*i = -6 - z for i.
-5
Let j(d) = d**2 - 7*d + 9. Suppose -3*v + 20 = 2*v. Suppose 3*r = 4*t - 28, -v*r - r - 14 = -2*t. Let m be j(t). Solve m = 2*p - 1 for p.
5
Let t be 5*1/((-15)/(-12)). Suppose t*d = -3 + 15. Suppose 5*v - 33 = -a, -v - 2*a + 2 = -10. Solve -j - v + d = 0 for j.
-3
Suppose t - 24 = -2*t. Let o(k) = 2*k + 7. Let i be o(-6). Let y = i + t. Solve -4*c = -y*c for c.
0
Let t = 54 - 52. Solve g + 2 = t*g for g.
2
Suppose -1 = 3*c - 7. Suppose c*s = -z + 5, 3*s - 3*z - 25 = -z. Solve s*h - 32 = -7 for h.
5
Let g = -29 - -32. Solve -g*y = -13 - 2 for y.
5
Suppose -3*p + 3 + 51 = 0. Solve p - 19 = -s for s.
1
Suppose 4*x - 3*k = -x + 18, -4*x = -5*k - 17. Suppose -g + 2*g - 5*y - 11 = 0, 3*g + 4*y = -24. Let p be 10/1 + g + x. Solve p = 4*a - a for a.
3
Let b = 88 + -88. Solve b*l - 4 = -l for l.
4
Suppose 5*f = -2*v + 175, 4*v - 2*f = -v + 394. Suppose -2*r - 80 = -4*g, -3*r - v = -0*g - 4*g. Solve 0*x = -5*x + g for x.
4
Suppose -4*l + 10 = 2. Suppose -4*m - c + 5 = 1, 0 = -m + l*c - 8. Solve m*f = -5*f + 20 for f.
4
Let q(w) = -w - 5. Let r be q(-8). Let c be (-1)/(-2)*(r + 1). Let k be (c - (0 + 0)) + -2. Solve k = -7*t + 3*t + 12 for t.
3
Let w = -5 - -8. Let a = 0 - -3. Solve 6*o - w*o = -a for o.
-1
Let v be (15/(-10))/((0 - -2)/(-4)). Solve 7 = -v*a - 5 for a.
-4
Let h = 7 - 5. Let m be h/(-7) + 64/28. Let k(t) = t**2 + t - 2. Let p be k(-2). Solve -m + p = x for x.
-2
Let h = -6 - -1. Let x(k) = k**3 + 6*k**2 + 4*k - 3. Let u be x(h). Suppose -19 = -2*b - 2*b + 3*s, -3*s = u*b - 5. Solve -b*q = -q - 3 for q.
1
Suppose -l = -3*i + 5 - 3, 20 = 5*l. Suppose -2*j + 18 = -3*c, -3*j = 3*c - i - 10. Let y = j - 4. Solve -8 + 0 = y*f for f.
-4
Let n(y) = y - 1. Let d(m) = -m + 2. Let l(t) = 4*d(t) + 3*n(t). Let o be l(2). Solve o*x + 2 = 2*x for x.
-2
Let k be 3/3*-1 - -2. Let f be (-62)/(-3) - 10/(-30). Solve -k = -4*v - f for v.
-5
Suppose -t = 2*w + 3, -4*w + 2*t - 41 = -3*t. Let g = 2 + w. Let c be (-1 + g)*(-3 - -2). Solve -c*i - 2 = 4 for i.
-2
Let n be (5/(-10)*-6)/3. Solve n = -3*c + 10 for c.
3
Let y(i) = -i**2 + 14*i - 16. Let k be y(12). Solve -3*l = -k*l for l.
0
Let f be (-8)/(-44) - (-192)/33. Let s = f - 6. Solve z = 2 - s for z.
2
Let u(k) = -k**3 + 6*k**2 + 2*k - 9. Let b be u(6). Suppose 0*g = -4*g + 48. Solve b*c - 3 - g = 0 for c.
5
Suppose -4*q = -2*v - 3*q - 10, -5*q = v - 17. Let y = v - -12. Solve -4*m = -m + y for m.
-3
Let x(o) = o**3 + 15*o**2 + 12*o - 22. Let b be x(-14). Solve -14 = -4*w + b for w.
5
Let w(i) = 5*i**2 + 1. Let v be w(-1). Let p be 3 + v - 6/2. Solve -3*m = -6*m - p for m.
-2
Let a = -4 + 6. Let y = -8 + a. Let j be (2 + -3)/2*y. Solve 13 + 2 = -j*z for z.
-5
Suppose -1 = s, 2*n + 3*s - 17 = -3*n. Solve -n = -4*r - 8 for r.
-1
Suppose 4*x + 23 = 5*l - 9, 0 = 5*x - 10. Suppose w = 4*r + 15, -w - r - 18 = -6*w. Solve w - l = -d for d.
5
Suppose -3*h + 5*h = 12. Solve 1 = -5*w + h for w.
1
Let t be (-2)/((-5)/2*24/90). Let k(n) = -9*n + 6. Let g(b) = -b + 1. Let d(c) = 5*g(c) - k(c). Let w be d(1). Solve -w*p = 9 - t for p.
-2
Suppose -17 = d - 5*m,