4. Solve x = -2*r - 0*r - 8 for r.
-4
Let j(g) be the second derivative of -g**4/12 + 7*g**3/6 - g**2 + 4*g. Let w be j(6). Solve c = w*c for c.
0
Let z = 11 - -9. Solve 0 = -0*r - 5*r - z for r.
-4
Suppose 41*z - 27 = 38*z. Solve 4*g - 29 = -z for g.
5
Suppose -3 = 10*l - 3. Solve l*x + 3*x - 9 = 0 for x.
3
Let f be ((-22)/(-6) - 8/12) + 2. Solve -v + f*v = -16 for v.
-4
Suppose -5*l + 0*f + 29 = -3*f, -4*l + 19 = -f. Solve 0 = -o - 0*o - l for o.
-4
Suppose -2*i - 16 = -3*i - 4*z, 0 = -i - 3*z + 13. Solve 0 = -i*l - 0*l for l.
0
Suppose 0 = 5*x + 5, 4*x + 11 = 4*b + x. Let l be (-3)/b*(-8)/6. Let y(n) = n**2 + n. Let k be y(3). Solve 2*z = -l*z - k for z.
-3
Suppose -6 = -3*h - 3*h. Suppose -r - 4 = -3*r. Solve -r + h = o for o.
-1
Let v be 1/2*14*1. Let s(w) be the first derivative of w**2 + 6*w + 1. Let c be s(v). Solve 5*g - c = g for g.
5
Let m(n) = n**3 + 4*n**2 - 6*n - 2. Let o be m(-5). Suppose -11*w - 16 = -27. Solve -a + w = o for a.
-2
Let s(o) = -2*o. Let r be s(-4). Solve -2*b = -0*b + r for b.
-4
Let z(u) = -3*u**3 - 4*u**2 - 18*u + 6. Let m(n) = n**3 + n**2 + 6*n - 2. Let i(p) = 17*m(p) + 6*z(p). Let j be i(-6). Solve 3*c - 5 = j*c for c.
5
Let r(m) = -5*m + 19. Let s(o) = -3*o + 13. Let k(t) = -5*r(t) + 8*s(t). Let q be k(8). Let g be 0 + 3 + (-1 - -2). Solve 5 = g*l + q for l.
-3
Let z be (-12)/10*(-20)/8. Let y(g) = 2*g - 2. Let r be y(2). Suppose 3*u = r*u. Solve 0*b + z*b - 6 = u for b.
2
Suppose -3*b - b = 2*y - 36, -3*b + 5*y = -27. Suppose 3*w + 3*f = b, 0*f = 5*w + 4*f - 12. Solve -r + w*r = 5 for r.
-5
Suppose -2*w + 3*x - 4*x = -10, -3*w - x = -15. Suppose 4*l = w*z - 13, 4*l - 23 = 3*l - 4*z. Solve 11 + 1 = -l*h for h.
-4
Let o(r) be the second derivative of -r**3/3 - 3*r**2/2 + 3*r. Let c be o(-4). Solve 5*y + c + 10 = 0 for y.
-3
Let a = 57 - 57. Solve a = -3*d - 2*d + 25 for d.
5
Suppose p - 2*o - 4 = 2*o, -5*p + 105 = -3*o. Suppose -p = -f - f. Solve v = -3*v + f for v.
3
Let g(f) = -4*f + 5*f + 4 - 2 - f**2. Let r be g(0). Solve r*q - 5 = 1 for q.
3
Let l = -29 + 18. Let k = 4 - l. Solve 0 = -6*b + b - k for b.
-3
Let a = -6 - -6. Suppose 0 = 3*n - 2*g - 25, -2*n + 4*g + 15 = -3*n. Suppose 4*f = -5*t - f - 15, -n*t + 35 = -5*f. Solve a = t*o + 2*o for o.
0
Let z(s) = -s**3 - 10*s**2 - 9*s + 5. Let y be z(-9). Suppose 0 = y*h + 4*d - 11, h - 6*d - 8 = -d. Solve 2*w = h*w for w.
0
Suppose 5*s = -0*x + 4*x - 14, 5*x - 2*s = 9. Suppose 0 = -n + x + 4. Solve 18 - 8 = n*z for z.
2
Let r = 21 - 9. Let i be (-9)/r - 3/(-4). Solve i*c = -c for c.
0
Let p be 23/(-3) + 4/(-12). Let v = 6 + p. Let n = v - -5. Solve n*b = b - 6 for b.
-3
Suppose 7*o = 5*o. Solve o = k - 0*k + 2 for k.
-2
Let z = 14 - 38. Let y = 34 + z. Let f(g) = g + 2. Let k be f(4). Solve b - k*b = -y for b.
2
Let h = 29 - 26. Solve -h*f + 10 = 1 for f.
3
Suppose -23*m = -17*m. Solve q = -m*q for q.
0
Suppose -4*p + 3*b = -6, -p + 10 = 4*p - 5*b. Solve -c + p*c - 2 = 0 for c.
-2
Suppose 4 = -0*a - a. Let w be ((-16)/(-24))/(a/(-30)). Solve 0 = -j + 10 - w for j.
5
Let p be (-12)/(-7) - 10/(-35). Suppose 2*j = -p*j + 12. Solve 5*q - 12 = j for q.
3
Let f be (12/9)/(6/9). Suppose -2*i - 2 = f*a + 2, -5*i = 5. Let x be 8 + (a - 1) + 2. Solve -l + x = l for l.
4
Let f be 8/44 - 2/11. Let b be (f/1 + 2)*1. Solve -z - b*z = 0 for z.
0
Let n be -2 - (-4)/(16/28). Suppose 4*t = t + 36. Let a be (t/(-16))/((-1)/4). Solve n = -4*q - a for q.
-2
Let h(m) = m**2 + 7*m + 2. Let k be h(-7). Let n(o) = 2*o**2 + 3*o**3 - k*o**3 - 3 - o**2 + 8. Let f be n(0). Solve -f*v - 1 = -4*v for v.
-1
Let b(y) = y**3 + 4*y**2 + 6*y + 6. Let g be b(-2). Solve 0 = g*x - 0*x + 6 for x.
-3
Let k = -31 + 31. Solve 4*b = -k*b - 16 for b.
-4
Let l be (4/(-3))/((-3)/9). Suppose 17 = 10*u - 83. Solve -c - l*c = -u for c.
2
Suppose -5*h + 25 = 5. Suppose -4*l + 27 = -5*j, 5*j - h*j = 5*l - 18. Let i be 0 + 2 + (0 - -1). Solve -i*v + 3 = -l for v.
2
Let r = 6 - -1. Let q = r - 5. Solve -q*o = o for o.
0
Let u be (-2)/(-3*2/(-6)). Let a be (-1)/2*-22 + u. Let x be (3 - 2)/(3/a). Solve x*v = -v + 8 for v.
2
Let p(d) be the first derivative of 4*d**3/3 + d**2 + d + 1. Let z be p(-1). Let n be 11/(-4)*(-3 + 4 + -5). Solve -z*j - 2 + n = 0 for j.
3
Suppose 5*l + 20 = 0, 0 = -3*n - l - 2*l + 108. Let v = n - 22. Solve -2 = 4*h + v for h.
-5
Let h = 154 + -153. Solve -9 - h = -5*w for w.
2
Let x be (1/(-3))/((-1)/87). Let r = x - 17. Let a(p) = -2*p + 16. Let z be a(6). Solve 0*b - z*b = -r for b.
3
Suppose 0 = -5*u + 3*v + 12, 2*u = 5*u + 2*v - 11. Suppose 0 = -5*n - u*i + 7*i + 14, -3*i + 5 = 4*n. Solve -4*p + n*p = 4 for p.
-2
Let l be (-1)/(-5) - 9/45. Suppose -8 = -l*v - 2*v. Solve g = -v*g + 10 for g.
2
Let b(z) = 4*z + 40. Let r be b(-9). Solve -3*h = -2*h - r for h.
4
Suppose -3*m - 5 = 2*z, 3*z + 0*z - 5*m - 40 = 0. Let n be (-4 - -1) + z - 2. Let v(r) = 3*r**2. Let a be v(-1). Solve n = -c - 1 + a for c.
2
Let f(x) = 2*x**3 + 14*x**2 - 3*x + 4. Let t be f(-7). Solve p + t = 6*p for p.
5
Let u = 22 + -21. Suppose -u = -3*g + 11. Solve -3*r = -g*r for r.
0
Suppose 15 = -8*f + 11*f. Solve t = -1 + f for t.
4
Suppose 5*g = 21 + 59. Suppose -3 = -2*n - 9. Let w be 0/(n + (-6)/(-3)). Solve -4*y - g = -w*y for y.
-4
Suppose 23 + 13 = 3*h. Suppose 7 = l - 5*c, 0 = 3*l + 2*c - 3 - 1. Suppose -5*n + 24 = 5*d - 6, -2*n + 2*d - 4 = 0. Solve n*u + h = -l*u for u.
-3
Let v = 24 - 14. Suppose 0 = v*c - 9*c + 1. Let h = c - -3. Solve -d - d = -h for d.
1
Let t = 36 - 9. Suppose -5*j - 7 + t = 0. Solve -j*o + 5 = -5*o for o.
-5
Let k(p) = -p**3 + 8*p**2 - 11*p - 1. Let o be k(6). Suppose o*f = 8 + 17. Suppose -j = -5*u + 21 + 3, 3*u + j - 8 = 0. Solve 0 = -f*d + 14 - u for d.
2
Suppose 0 = 6*x - 9*x + 6. Solve -x*q = -3*q - 4 for q.
-4
Let h be 15/(-6)*2/(-1). Suppose 0 = -3*i - 2*g - 4, 2*i - 5*g - 24 = h. Solve i*x - 16 + 6 = 0 for x.
5
Let n = -112 + 114. Solve 0 = 2*v - n - 2 for v.
2
Suppose -3*j + 11 - 2 = 0. Suppose 2*l = -2*f - 6, 2*l + 4 + 1 = -j*f. Let y be (f + -1)*(-7)/(-14). Solve 0 = -y*r + 2*r + 10 for r.
-5
Let o be 0/2*(-5 - 95/(-20)). Solve -f - 2*f = o for f.
0
Let g(q) = q. Let z be g(4). Suppose b = -3*b + 16. Let y be -1*(-2 - -1)*8. Solve z - y = b*m for m.
-1
Let s be (-3 - 1) + (7 - (1 + -1)). Solve s*n + 4 = n for n.
-2
Let h(p) = p**3 - 3*p**2 - 3*p + 4. Let v be h(4). Suppose 0 = 2*g - v. Solve 9 = -g*a - 11 for a.
-5
Let m(j) = -j - 1. Let y be m(-5). Suppose -6 = 5*a + y. Let c be (-8)/(-5) + a/(-5). Solve 0 = -r + 4 - c for r.
2
Suppose a + 3 = 6. Suppose 0 = -4*o - o + 15. Solve -2*v = -o*v + a for v.
3
Suppose -18 = -3*d + 5*o, 2*d + 6*o + 13 = o. Suppose -m - 1 - d = 0. Let q be (m/(-6))/((-1)/(-6)). Solve -3*y - 2 = -q*y for y.
-2
Let g = -14 + 15. Suppose -5*q + 4 = -0*q + 2*o, 0 = 3*q + o - 3. Suppose -q*n = -3*n. Solve 2*u + 1 + g = n for u.
-1
Suppose 3*k = 3*t + 15, 0*t + k - 5 = -4*t. Solve -15 + t = 5*q for q.
-3
Let t(v) = -8*v**3 + v**2 + v. Let n be 4/6*6/(-4). Let r be t(n). Solve 3*j = -j + r for j.
2
Let t = -5 + 11. Let k(u) = 7*u - 1. Let b be k(2). Suppose -x + 3*y + 4 = 5*y, -5*y + b = 4*x. Solve t*i - x*i + 8 = 0 for i.
-2
Let y = 23 - 21. Solve -y*w - 6 + 2 = 0 for w.
-2
Suppose -6 = -w - 0. Let n = 12 - w. Suppose -n = -4*i + i. Solve r - i = 3 for r.
5
Suppose -5 + 28 = 4*s - g, -3*s - 5*g = -46. Suppose -s*d + 3*d + 11 = 3*i, d + 5*i + 10 = 0. Solve 0 = d*j + 4 - 14 for j.
2
Let p = 12 + -9. Solve 0 = p*b + 2*b - 20 for b.
4
Let a(h) = 4*h - 1. Let p be a(5). Let r = p + -14. Solve r*j = 5 + 10 for j.
3
Let v = 10 - 6. Solve 0 = o + o + v for o.
-2
Suppose 0 = -4*o + 3*a - 69, -o + 3*o - a + 33 = 0. Let q = 27 + o. Solve 3*i = -0*i + q for i.
4
Let u be 0/(-1) - 24/(-2). Suppose 0*r = 3*r - 5*v - u, 0 = -3*r - v + 30. Let d be 10/8 + r/12. Solve -2*s - 6 + d = 0 for s.
-2
Suppose 20*t = 17*t + 9. Suppose 3*u - 4*u = -t. Solve -u = -4*j + 5 for j.
2
Suppose o - 5 = 2*o, -5*g = -2*o - 35. Solve -g*u = -12 + 2 for u.
2
Let c = -59 + 63. Solve 3*p + c = -p for p.
-1
Suppose 3*r - 14 - 7 = -2*p, -2*p + 5*r - 19 = 0. Solve 4*v = p + 1 for v.
1
Let a = -24 + 26. Suppose 4*u + 0 - 16 = 0. Solve -u = -m - a for m.
2
Suppose -2*r = -16 + 14. Solve -3 = -4*w + r for w.
1
Suppose 3*a - 3 = 9. Solve 0 = -3*q + 7*q + a for q.
-1
Let d(v) = -v**3 - 12*v**2 - 1