(6). Solve 0*m = -b*m for m.
0
Let c be -4*1 - (18 - 22). Solve c = -s + 4*s for s.
0
Suppose -4*l - 4 = -12. Solve -l*w = 2*w + 8 for w.
-2
Suppose -3*l - 12 + 3 = -3*m, -m + 4*l = -6. Solve -m*q - 3*q = 10 for q.
-2
Let w = -8 - -32. Suppose 0 = -0*a + 4*a + w. Let t = 9 + a. Solve -i - t + 1 = 0 for i.
-2
Let i be 2/3 + (-2)/3. Let w be i/(4*-1 - -3). Solve w*c = -3*c + 9 for c.
3
Let v(t) = t**3 + 5*t**2 - 2*t - 6. Let c = -10 - -5. Let q be v(c). Solve -6*d + 2*d = -q for d.
1
Suppose -r + 9 = 2*r. Suppose 2*f = 2*z + 22, -6*f = -2*f + r*z - 44. Let b = -14 - -16. Solve 3*q = f - b for q.
3
Suppose 8*r = 5*r + 6. Solve 0 = k - r - 1 for k.
3
Let g(r) = 7*r - 4. Let d be g(4). Suppose -d = -0*v - 4*v. Solve -o + 25 = -v*o for o.
-5
Let i(f) = -f**3 - 2*f**2 + 2*f - 3. Let y be i(-3). Solve -3*t + 6*t + 15 = y for t.
-5
Suppose 7*b - 17 = 3*b - g, -3*b = -g - 11. Solve 8*f = b*f for f.
0
Suppose 10 = -4*n - 2*g - 10, -n + 4*g = 5. Let s be (-3)/(-5) + (-2)/n. Let p be (3/(-9))/(s/(-12)). Solve -o = -p*o - 12 for o.
-4
Suppose -5*j = -q + 1, 0*q = q + 5*j - 1. Let m(i) = 3*i. Let v be m(3). Solve -4*r + q - v = 0 for r.
-2
Let w be ((-24)/2)/(12/8). Let d be 22/6 - w/(-12). Suppose 5*u + d*f - 10 = -2*f, 5*f = 0. Solve -c - u*c = 3 for c.
-1
Suppose 23 = 5*m - 2*c - 15, 4*m = 2*c + 30. Let s = m - 6. Solve -3 = s*u + 1 for u.
-2
Let h be 2/(-6) + 3/36*28. Solve 2*s = -h*s - 8 for s.
-2
Let d be (-6)/12*(-46 + 2). Solve -5*s - 3 = d for s.
-5
Let z be 6/(-1 - 1) - -9. Suppose 4*b = z + 18. Solve 0*y = 2*y - b for y.
3
Let q be (-2)/(-1)*2/4. Let v be q/4 + 35/4. Suppose -50 = -v*m + 4*m. Solve i = -i + m for i.
5
Let y(f) = f - 12. Let w be y(8). Let k = w - -6. Suppose -k*p + 26 = -2*m, -2*m = -0*m + 10. Solve 2*o = 6*o + p for o.
-2
Suppose -4 = 4*r - 4*q + 2*q, -3*q + 6 = 2*r. Solve 3 + r = -3*s for s.
-1
Let k(h) = -h + 12. Let i be k(6). Solve -4*v = i + 10 for v.
-4
Let b = -3 + 3. Suppose -4*v = -b - 100. Suppose -12 = -3*u, 5*u + 1 - v = -2*x. Solve 3*k - x = -14 for k.
-4
Suppose -12*l = -17*l + 75. Solve 0 = 5*h - 0*h - l for h.
3
Let f(d) = -d**3 + 2*d**2 + 2*d - 2. Let s be f(2). Suppose -c - s*c = 0. Solve 2*j = -c - 2 for j.
-1
Suppose v - 3 = 0, 4*c + 0*c - 27 = -v. Solve -5*w = -2*w + c for w.
-2
Let a(k) = -k**3 + 5*k**2 + 5*k + 3. Let m be a(6). Let n = m + -10. Let i = n + 18. Solve -3*g + 4*g - i = 0 for g.
5
Let o be ((-20)/40)/(2/(-8)). Solve o + 6 = 4*a for a.
2
Let g = 73 + -73. Solve 0 = p - g*p for p.
0
Let u be 0/(-1 + 2 + -2). Solve u = 5*y - 19 + 44 for y.
-5
Suppose 3 - 7 = -2*i. Solve 0*j - i = j for j.
-2
Let k = -19 - -21. Solve k*z = z for z.
0
Let f be (10 - 6) + 3 + -3. Solve l = f*l for l.
0
Let y(v) be the first derivative of 2*v**2 - v - 1. Let c be y(1). Solve 2 = -c*o + 2*o for o.
-2
Let h(v) = -v**2 - 17*v - 66. Let z be h(-6). Solve z = -19*l + 17*l - 8 for l.
-4
Let g(h) = h**3 + 2*h**2 - 10*h - 3. Let j be g(-4). Solve 2*k + j - 3 = 0 for k.
-1
Suppose 5*p + 2 = 12. Suppose 0 = p*u - 4*u + 2. Let a be (10/(-4))/(u/(-2)). Solve a = -3*o - 4 for o.
-3
Suppose k - 10 = 5*z, -2*z = -5*z - 6. Solve k = a + 1 - 5 for a.
4
Let h = -13 + 11. Let n be (-26)/(-7) - 2/(-7). Let m be h/n + (-31)/(-2). Solve 3 = -3*d + m for d.
4
Let f(d) = -d - 11. Let v be f(-15). Solve 0 = -3*s + v*s + 2 for s.
-2
Let d = 69 - 65. Solve 0 = 5*v - 11 - d for v.
3
Suppose 6*f + 6 = 8*f. Solve 0*w = -f*w + 3 for w.
1
Let f(w) = 2*w + 12. Let j be f(-4). Solve j*o + 20 = -o for o.
-4
Let s be (-6 + (0 - -1))/(-1). Suppose 24 = -3*k + s*k. Solve 0 = -4*l + 4 + k for l.
4
Let u be (-14)/(-18) + 2/9. Solve h - u = 1 for h.
2
Let t be (-1)/(-1) - (12 - 15). Let l = t + 10. Solve 5*p = l + 1 for p.
3
Let i be 1 + 5*1 + -1. Let w(v) = -v**3 + 4*v**2 + 3*v + 7. Let y be w(5). Let d be -1 - 1/(1/y). Solve i = -m + d*m for m.
5
Let i be (-6)/21 + 174/21. Let u = i - 3. Solve -u*t - 17 = 3 for t.
-4
Let i(t) = t**2 + 9*t - 8. Let o be i(-10). Suppose 3*n - 45 = -o*n. Solve 0 = 3*s - n - 3 for s.
4
Let w(c) = c**3 + c**2 - c. Let s be w(0). Solve s = -a - 1 - 1 for a.
-2
Let a = 184 + -109. Let u = -6 + 9. Suppose -u*z = -0*z - a. Solve -z = -v + 6*v for v.
-5
Suppose -13*m + 62 = -55. Solve -m = -4*p + p for p.
3
Let d(p) = -p**3 - 12*p**2 - 11*p + 5. Let x be d(-11). Solve 0 = -v + 2*v + x for v.
-5
Let d = -14 - -24. Suppose -y - b - 14 = -4*b, 0 = -5*y - b + d. Solve -t + 1 = -y for t.
2
Let k be -6*((-7)/2 + 3). Solve 7*w = k*w - 20 for w.
-5
Suppose 0 = -7*b + 3*b + 8. Let n be (-3)/((12/9)/4). Let i be 20/6 + (-6)/n. Solve -i*z - b = -14 for z.
3
Let a = 14 - 6. Suppose 5*z = k + 11, -2*k - 5*z + a = -15. Solve -h - 3*h = -k for h.
1
Suppose -2*c - 2*m + 28 = 10, -2*m + 30 = 5*c. Suppose v = -c*v. Solve 0 = -v*d - 4*d + 16 for d.
4
Suppose 5*s - w - 4 = w, -5*w - 10 = 0. Suppose -3 = -n - 0*n. Let a(y) = -y**3 + 3*y**2 + 10*y + 3. Let o be a(5). Solve s + o = -n*p for p.
-1
Suppose 3*l - 6 = o, -2*l - 10 = 3*o + 19. Let z be (-25)/o + 2/9. Suppose 5*g - 4*r - 40 = 2*g, 0 = -z*g - r + 50. Solve -3*x - g = -4 for x.
-4
Let p(k) = k**2 + k - 1. Let b(a) = 4*a**2 + 11*a + 5. Let x(q) = b(q) - 5*p(q). Let v be x(5). Solve -3*h = 3 - v for h.
4
Let x(t) = -t**3 - 2*t**2 - t. Let f be (-2)/(-8) + (-36)/16. Let d be x(f). Solve -4 = d*q - 2 for q.
-1
Let p(x) = -7*x + 1. Let r be p(-1). Let t = 10 - r. Solve -8 = -t*z + 2 for z.
5
Suppose -s = 2, -2*s + 6 = 4*v - 3*s. Suppose -a = -5*f - v + 15, f = 3*a. Let m = 13 - 9. Solve -a = -m*j + 11 for j.
3
Let m be (-2 - -1)*(1 - -5). Let r = m + 11. Solve -4*j + 11 = -r for j.
4
Let v be 4/5*(-15)/(-6). Let i be -1*2*(-2 + -1). Let o(u) = -u + 7. Let l be o(3). Solve i = -v*j - l for j.
-5
Let c = -1 + -3. Let a = c + 9. Solve -i = -a*i + 16 for i.
4
Let d be 3 + -6 - (-3 + 0). Suppose -2*s = -d*s. Solve -4 = y - s for y.
-4
Let i be (6 - 2)*(-2 - -4). Suppose -i = -0*v - v - 3*o, -3*v + 2*o = -24. Solve 4*t - 2*t = v for t.
4
Let n(x) = x**3 + 6*x**2 + 2*x - 3. Let j be n(-6). Let y = -6 - j. Suppose -f - y = -4*f. Solve -14 = -f*v - 2 for v.
4
Let j = -22 - -12. Let k(x) = -x**3 - 9*x**2 + 11*x + 12. Let w be k(j). Solve -c = -0*c - w for c.
2
Suppose -o + 0*o = 0. Suppose -4*m = -o*a + a, -4*m + 3*a = -16. Solve 0*p = -p - m for p.
-1
Let s = -5 - -7. Let o be 2/(-5)*(-3 - s). Solve -o*b = 3*b for b.
0
Suppose 104 = 4*i - 28. Let r = i - 8. Let s = r - 15. Solve -t = t + s for t.
-5
Let i = -143 - -143. Solve r - 2*r + 2 = i for r.
2
Let w(l) = -l + l + 3*l - 2*l. Let o be w(5). Let b(f) = f**3 + 7*f**2 - f - 7. Let j be b(-7). Solve j*c = -o*c - 5 for c.
-1
Suppose -24 = -4*l + 3*m - 4, 5 = l - 2*m. Solve -2*i = -3*i + l for i.
5
Suppose -2*x - 2*x = 0. Let r be 2/1 + x/2. Solve 6 = 4*b + r for b.
1
Let i(l) = l**2 + 13*l + 4. Let w be i(-13). Let o(z) = 25*z**2 + 2*z + 1. Let b be o(-1). Suppose 0*v = -w*v + b. Solve v*p = 3*p for p.
0
Suppose g - 5*h = -3 - 8, 5*g + 4*h = 32. Solve -6*m = -g - 26 for m.
5
Suppose 2*k - 10 + 2 = 0. Suppose -2*r - 4*l - 2 = -k, 5*r - 5 = 4*l. Solve 0 = q - 6 + r for q.
5
Let g be (-6)/((15/22)/5). Let q be g/6 - 8/12. Let j be 1 - (-4)/(q/(-6)). Solve 0 = -2*h + 6*h + j for h.
-1
Suppose -12 - 3 = -3*g. Solve -g - 15 = -5*x for x.
4
Suppose 82*i - 36 = 80*i. Solve 7 + i = -5*o for o.
-5
Suppose 5*d - 4*d = 0. Suppose -y + 22 + 20 = d. Let u be y/12 + 2/4. Solve 25 = u*n + n for n.
5
Suppose s = -0*s + 3. Let j be (-40)/(-1*6/9). Suppose 7*l = 2*l + j. Solve s*y - l = -0*y for y.
4
Suppose -5*y = -l - 22, -y - 2*l = -l - 8. Solve z - y*z = 8 for z.
-2
Let s(t) be the third derivative of -t**4/24 + t**3/6 - 2*t**2. Let r be (4 + -5)/(2 + -1). Let c be s(r). Solve -c*z - 9 - 1 = 0 for z.
-5
Suppose 0*a + 2*a - 10 = 0. Let y be (-4)/a*(-165)/22. Solve 0 = 3*f + 3 + y for f.
-3
Let v be 5*((-24)/10)/(-3). Let l = 29 + -18. Suppose -y - 3*h + 3 = l, -5*y - 4*h = -4. Solve -v*z = -2*z - y for z.
2
Let n(y) = y - 1. Let t be n(6). Let w = -11 - -29. Suppose 2 = t*a - w. Solve 4*x - a = -12 for x.
-2
Let f be ((-3)/9)/((-1)/6). Solve -2*g = -f + 4 for g.
-1
Let s be (-1 + 0)/((-2)/10). Suppose -s*j + 18 = -7. Solve j*r - 2 = -7 for r.
-1
Let j = 16 + -11. Solve 0 = -j*z + z - 4 for z.
-1
Let z(s) = -s**2 + 5*s + 10. Let n be z(7). Let t(q) = q**3 - q. Let o be t(