(6). Solve 3*r + c = n*r for r.
-5
Let k be -1*3/9*15. Let y be (-12)/((k - 1)/3). Solve 2*n + 2 = y for n.
2
Suppose x - 4 = -3*u, -4 = -3*u + u - x. Solve 2*m - 8 = -u*m for m.
4
Let h = 59 + -44. Let n(u) be the first derivative of -u**4/4 + u**3 + 2*u**2 + 1. Let m be n(4). Solve -3*v + m*v = h for v.
-5
Let s(m) = 16*m - 1. Let o be s(1). Suppose 3*g - 3 = -o. Let q = 9 + g. Solve -q*u + 12 = -2*u for u.
4
Suppose -4*k + 10 = 2*m, -m + 2*k = -0 + 3. Solve -m = -4*t + 15 for t.
4
Let a be (-14)/(-10) - 8/20. Suppose 3*g + 1 + a = 2*s, 0 = -5*s - 3*g + 26. Solve 0 = -d + s*d for d.
0
Suppose 3*a + 0*a + 2*x + 6 = 0, -3*a = 3*x + 9. Solve a*j - 4*j = -12 for j.
3
Let v(l) = 3*l. Let x be v(2). Solve 10*i = x*i - 12 for i.
-3
Let k(j) = j**3 - 13*j**2 - 30*j + 5. Let b be k(15). Solve -b = 3*p + 7 for p.
-4
Let a(i) = i**3 - 6*i**2 + i - 3. Let x be a(6). Solve q + x*q = 20 for q.
5
Suppose 0 = 5*f - 2*f. Suppose 8 + f = -2*q - 4*o, 5*o + 21 = 3*q. Let d be (q/6)/(-1)*-6. Solve -d*i + 0 = -8 for i.
4
Let m be ((-8)/(-6))/((-1)/(-3)). Suppose -5 = -t + m*q - 1, -2*t = -q - 1. Suppose 0 = 13*n - 29 - 23. Solve t = -5*g + n*g + 1 for g.
1
Let h(y) be the first derivative of y**3/3 - 5*y**2/2 + 3*y + 1. Let v be h(6). Solve 0 = 3*w - v - 6 for w.
5
Suppose 10*s - 72 = 6*s. Let m = s + -15. Solve m*j - 2 = 1 for j.
1
Suppose 75 = 9*d - 6*d. Solve -8*g + 3*g - d = 0 for g.
-5
Let r(d) = -d**3 - 7*d**2 + 10. Let v be r(-7). Suppose 34 = 5*t + 4*f + 8, 3*f - 21 = -4*t. Let k = 10 - t. Solve -q + v = k*q for q.
2
Let v be -1 + 3 + -3 + 4. Solve v*q = -q - 12 for q.
-3
Suppose -4*a + 22 = -u + 4, 3*u + 5*a - 31 = 0. Suppose 5*p - 2*b - 16 = 0, -2*p - u*p + 10 = -3*b. Suppose -p*s - 2 = -18. Solve -12 = s*r - 4 for r.
-2
Let p be 0 - -2 - (-10 - -7). Solve 0 = -p*x + 5 for x.
1
Let b be ((-20)/(-4))/(2 + -1). Suppose 4*r + 4*y = 36, -23 = b*r - 5*y - 78. Solve -2*n = -0*n + r for n.
-5
Suppose -2*d - 14 = -4*z, -2*z + 4*d + 1 - 3 = 0. Solve 3 + 2 = z*n for n.
1
Let v = 63 + -49. Solve 3*i - v = 1 for i.
5
Suppose -y = -4*y + 96. Suppose -t = -j - 0*t + y, -t + 118 = 4*j. Suppose -3*z - 5*h + 20 = -5, -4*z + j = 5*h. Solve -z*b + 2 = 7 for b.
-1
Let r(f) = 3*f**2 + 4*f + 6. Let s be r(-4). Suppose t = -z + 2*t - 12, -4*z - s = -2*t. Let w be (-4 - z)/((-6)/(-4)). Solve w + 2 = g for g.
4
Suppose -g = -4*r + 23, -6 = 5*r - 5*g - 31. Solve 3*w = w + r for w.
3
Suppose 3*p + 5*k = 11 - 39, 2*k + 11 = -p. Let g = p - -5. Suppose -5*j = -5*l - 20, -4*j + 4 = -5*l + g*l. Solve j = -2*w - 0*w + 8 for w.
4
Let i be (((-7)/(-14))/(2/(-24)))/(-2). Solve 4*h - i*h + 5 = 0 for h.
-5
Suppose -t + 4*t - 6 = 0. Solve j = -0*j - t for j.
-2
Suppose 4*v = 46 + 14. Let d(z) = z**3 - 15*z**2 - 2*z + 36. Let b be d(15). Solve v = n - b*n for n.
-3
Suppose -2*x = -x. Suppose 0 = -4*n + 16 - x. Suppose -3*f + n = -c + 2, 2 = 2*f - c. Solve 4*m - m = f for m.
0
Suppose -3*m = -4*f + 2*m + 58, 0 = -f - m + 10. Solve -5*k + f = -k for k.
3
Let m be (2 - 2)*(-6)/18. Suppose 5*g - 4 = 4*b + 20, 4*g = 0. Let h = 4 - b. Solve -w + 3*w + h = m for w.
-5
Let c = 78 - 49. Let l = -19 + c. Let o be (-146)/(-10) - (-4)/l. Solve 0 = 4*i - 3 + o for i.
-3
Let v(z) = -2*z - 6. Let l be v(-3). Solve 4*s = -l*s - 4 for s.
-1
Let s be (3 + -4)/(1/12). Let g = s + 17. Suppose 3*f = 13 + g. Solve -4*l - 10 = -f*l for l.
5
Let l be (-3)/(-2)*(-30)/(-9). Solve 29 = l*b + 4 for b.
5
Suppose 8 = -2*v + 3*u, -2*u - 30 = -5*v - 7*u. Let t(l) = 3*l + 1. Let n be t(5). Let w = -2 + 2. Solve w = -v*r - 2*r - n for r.
-4
Let t(u) be the third derivative of -5*u**4/24 + u**3/6 + 2*u**2. Let q be t(1). Let y be 0 - -1 - q/4. Solve y = c + 6 for c.
-4
Let i(c) = -3*c**3 + 4*c**2 - 11*c + 9. Let b(p) = -2*p**3 + 2*p**2 - 6*p + 5. Let r(y) = -11*b(y) + 6*i(y). Let l be r(1). Solve k - l*k - 4 = 0 for k.
-1
Suppose 0 = -3*m + n, -m - 4*m + 2*n = -1. Let i be (20/(-6))/(m/15). Suppose -3*p = 2*p - i. Solve -3*u + p = -5 for u.
5
Let h = -19 + 25. Solve h*s - 3*s + 9 = 0 for s.
-3
Let u be 7 + -1 + -4 - -4. Solve 4*b - 14 = u for b.
5
Suppose 20 = 2*z + 2. Suppose -4*h + z = -3. Solve -h + 1 = c for c.
-2
Suppose -12*w - 208 = -64*w. Suppose -4 = 5*k - 29. Solve 0 = -k*p - w + 9 for p.
1
Let w = -1 + 1. Let m(d) = -d**2 - 8 + 8 + 7*d + 0*d. Let i be m(5). Solve -x + 3*x - i = w for x.
5
Let r(f) = f**2 + 3*f - 6. Let d be r(3). Solve 6*s = 3*s - d for s.
-4
Suppose -2*d + 4*c = -12, 2 = d - 3*c - 2. Solve 4*h - d = 10 for h.
5
Suppose 2*n + t - 22 = 0, -4*t + 31 + 2 = 3*n. Suppose -4 = -5*y + 1. Solve n - y = -2*s for s.
-5
Let h be (75/(-6))/((-4)/8). Suppose -5 = -5*l + h. Let t(y) = 4*y - 2. Let k be t(4). Solve -k = -5*u + l for u.
4
Suppose 3*x + 0*f = -f + 10, 5*f = -10. Suppose -4*s = 0, -2*u + x*u + 4*s = 0. Let b be 1*-3 - 12/(-4). Solve 3*g + u*g = b for g.
0
Suppose -m - 3*m = 0. Let h be (-3)/12*2*m. Let r = 5 - 3. Solve h = 3*o - r*o - 3 for o.
3
Let c(d) = -2*d**2 - 2*d. Let q be c(-3). Let w(a) = a**3 + 13*a**2 + 11*a - 6. Let t be w(q). Solve -g - 2 = -t for g.
4
Let p(t) = 2*t**2 - 9*t - 1. Let h be p(7). Suppose -h = -5*m + 1. Solve -4 = w - m for w.
3
Suppose 6*b = b. Suppose -4*y = 6 + 18. Let s be 3*3*(-2)/y. Solve -s*j + b = -9 for j.
3
Suppose -3*n + 4 = -2*w, 4*n + 3 = 5*w + 6. Solve 6*p = n*p + 12 for p.
3
Suppose -27 = -3*y - 6. Let c = -10 - -14. Solve y = -c*w - 1 for w.
-2
Let v = 34 - 34. Solve -4*g - g - 20 = v for g.
-4
Let x = -7 - -7. Suppose 5*m + x*m = 0. Suppose 4*w - 2*k - 26 = 0, m = w + k - 0*k + 1. Solve 0*t + w = t for t.
4
Let m = 1 + 9. Let t(d) = d - 3. Let i be t(5). Solve m = i*u - 0*u for u.
5
Let r(a) = a**3 - 3*a**2 - 2*a + 2. Let n be r(4). Suppose -2*s = -2 + n, 14 = -3*c - 5*s. Solve c*z + 1 = -1 for z.
-1
Suppose 2*s + 3*s - 5*g = 15, -2*s - 2*g = 2. Solve 3 + s = -4*r for r.
-1
Let l be 2 + 3 - (-1 - -2). Let m(d) = d**2 - 3*d - 1. Let q be m(l). Suppose -14 = 4*f - 94. Solve -q*u + 5 = f for u.
-5
Suppose -5*u + 5 = 0, 4*l = -6*u + 3*u + 43. Let y = -6 + l. Solve y*k = -k for k.
0
Let a(v) be the first derivative of 5*v**2/2 + 9*v - 1. Let g(o) = -4*o - 8. Let z(s) = -3*a(s) - 4*g(s). Let t be z(-4). Solve 2*l - 5 - t = 0 for l.
3
Let i(c) = c**3 - 7*c**2 + 7*c - 2. Suppose -5*k = -0*k - 30. Let v be i(k). Suppose -v*u - 2 = -5*u. Solve u*q = 5*q for q.
0
Let p = -18 - -20. Suppose -p*t + 5*t = -2*i + 13, 4*i = -4. Solve t*k = 3*k for k.
0
Suppose -11 + 1 = -2*j. Let h(o) = -o**2 + 7*o - 5. Let c be h(j). Solve 0 = -3*b - 7 - c for b.
-4
Let j = -9 + 9. Suppose -5*g = -4*n + 41, -2*n + g - 2*g + 3 = 0. Let r be ((-2)/n)/(1/(-4)). Solve j = r*u + 1 + 1 for u.
-1
Suppose 4*u + u = 15. Let n be -1 - 6/u - -5. Suppose 2*v + n = -4, 0 = 4*h - 3*v - 33. Solve -b - h = 2*b for b.
-2
Let c be 5*(2 - (0 + 1)). Solve -2*b = -c*b - 6 for b.
-2
Suppose -3 = -0*g - g. Suppose g*j = -4*i - 8, -5*j - 2 = 5*i + 3. Suppose -6*r + 2*r + 12 = 0. Solve r*t = j*t + 3 for t.
-3
Let i(l) = l**3 - 4*l**2 - 5*l. Let s be i(5). Let o = s + -7. Let v = o + 11. Solve -v*p - p - 15 = 0 for p.
-3
Suppose i - i = 3*i. Solve f + 3*f + 4 = i for f.
-1
Suppose m + 23 = 2*n, n - 5*m - 22 - 12 = 0. Solve -4*s + n = -s for s.
3
Let n(w) = -w**3 + w**2 - 6. Let r be n(0). Let x = r - -13. Let c = x + -5. Solve -c*t = -t for t.
0
Suppose -4*u = -2*t - 2*t + 28, 0 = -2*t + u + 17. Let v(i) = 7*i**3 - i**2 + 2*i - 1. Let g be v(1). Suppose -2*j - j = 0. Solve 2*p - g*p + t = j for p.
2
Suppose 3*q + 21 = 3*d, -6*d = -3*d + 4*q - 7. Suppose -d*t = -3*t. Suppose 9 = 4*w + 3*p, t*w + 3 = -4*w + p. Solve g + w = 3 for g.
3
Let o(s) = s**2 + 9*s + 25. Let x be o(-5). Solve -9 = x*r - 29 for r.
4
Let l = -1 + 1. Suppose -4*i + 4 - 1 = -m, 3 = 3*i - m. Suppose 4*t + i*t = 12. Solve l = -t*h - h + 16 for h.
4
Suppose 2*b = b + 3. Suppose -b*t - 40 = -4*c - 2*t, 5*t + 30 = 3*c. Solve c = -a + 3*a for a.
5
Let u = 15 - 11. Let k be -1*(u + 1)*-1. Solve -k = 4*z + z for z.
-1
Let u be 4/(-18) + 2/9. Solve u = 4*c - 0*c - 16 for c.
4
Let k be (-4)/(12/9) - (13 - 23). Solve -3*b - k = 2 for b.
-3
Let u = -30 - -47. Suppose -z = 5*f - 22, 3*z - 5*f = u + 9. Let s be (-12)/(-9) + 8/z. Solve s*x - 7 = -3 for x.
2
Suppose -10 = -2*r - 5*n + 2*n, -4*r = 5*n - 18. Suppose -r*l + 3 + 5 = 0. Let a = -19 + 19. Solv