7). Solve 0 = m*n - 8 - b for n.
4
Let m(s) = -s**2 + 12*s - 10. Let x(r) = r**2 + 4*r - 10. Let y be x(-7). Let o be m(y). Solve 0 = -g - 4 + o for g.
-3
Let m be (-2)/8*(-2 - 6). Solve -2 = -m*z + z for z.
2
Suppose -z - 16 = -3*b, -b - 17 - 1 = 3*z. Let w(x) = 3 + 1 + 7 + x. Let c be w(z). Solve c = -3*t + 16 for t.
4
Let b(y) be the third derivative of y**5/60 + y**4/12 - y**3/2 + 2*y**2. Let g be b(-3). Let r(t) = -t**2 + 11*t - 24. Let k be r(8). Solve k*l - 5*l = g for l.
0
Let l(r) = -r + 2. Let g be l(5). Let t be (3/(-2))/(g/8). Let h = t + -1. Solve 0*q - h*q = 0 for q.
0
Let i be 3/((-2 - 0) + 3). Let d(s) = s**3 - 7*s**2 + 4. Let v be d(7). Let n(o) = o**2 - 3*o - 4. Let u be n(v). Solve u = -g + i*g for g.
0
Suppose 5*p = k - 2, -3*k + 5*k = -p + 4. Suppose -4*h + 0 + 16 = p. Let j be (-4 - -3 - 0)*0. Solve j*q = h*q - 16 for q.
4
Suppose 0 = t - 5*t - 5*b + 33, -4*t - 3*b = -23. Solve 3*a + t = -10 for a.
-4
Let a(w) = w**3 + 8*w**2 + 8*w + 8. Let m be a(-7). Let t = m - -9. Solve -2*l + t = -4*l for l.
-5
Suppose -5*y + 55 = -t, 7*t + 55 = 5*y + 2*t. Solve -4 - y = 5*g for g.
-3
Suppose -h + 4*t + 5 = 0, -2*h + 3*t = -2*t - 10. Suppose h*f = -0*f + 50. Let s be (16/f)/(12/30). Solve -u = s*u for u.
0
Let p be (-12)/(-8)*348/(-9). Let b = p - -28. Let z be 20/b*(-6)/4. Solve 5*j = -14 - z for j.
-3
Let z be (4/10)/((-2)/(-40)). Suppose -3*l + l = -z. Solve l = i + 9 for i.
-5
Suppose -g - 4*t + 11 = 0, -2*t - 5 = -0*g - 3*g. Solve 2*x = g*x + 1 for x.
-1
Let r be (0 - (-3 + 2)) + -9. Let x = 8 + r. Suppose -3*w = 2 - 11. Solve -w*o - 15 = -x*o for o.
-5
Let g be 1 + 5 - (-2)/1. Suppose -5*t = -g*t + 3. Solve -d + 2 = -t for d.
3
Let z be 8/36 + (-266)/(-18). Suppose 3*r - z = -4*b - 5, 5*r - 6 = -4*b. Solve w - 3*w = -b for w.
2
Suppose 9*g = -4*x + 4*g - 52, 3*g = -3*x - 36. Let p = 10 + x. Solve p = 3*t - 7 for t.
3
Let n(g) = -g**2 + 6*g - 4. Let q be n(4). Solve -q*h - 3 = 9 for h.
-3
Let z = 5 + 13. Suppose -12 = -2*u + z. Solve -4*v - v - u = 0 for v.
-3
Let g(c) = c + 6. Let n(y) = -y + 4. Let i = 5 + -1. Let u be n(i). Let t be g(u). Solve -t = f + f for f.
-3
Let a be (28/(-35))/((-6)/45). Solve a = -4*t - 2 for t.
-2
Let o(b) = b**2 - 8*b - 3. Suppose 0*q + 4*q - 36 = 0. Let s be o(q). Solve y - 4*y = s for y.
-2
Let z be (0 + 0)*(-8 - -7). Solve z + 3 = -c for c.
-3
Let x = 1 + -1. Solve -6*a + a - 15 = x for a.
-3
Let i be 15*(-3)/3*1. Let b be (-96)/(-18)*i/(-4). Let c be (-4)/(-10) + 212/b. Solve -5*t + c = 1 for t.
2
Let o = 12 + -10. Let c be (o - 3)/((-5)/60). Solve 3*w = -w + c for w.
3
Let z be (-2 - -3) + 0 + 0. Let x be (-2)/(-4)*0*z. Solve x = 3*c - c - 2 for c.
1
Let d = 1 - 1. Suppose d = p - 9. Let b = p - 9. Solve -4*i - 1 - 3 = b for i.
-1
Let p = -2 - -6. Suppose 18 = -o + 4*o - p*f, -1 = -5*o - 3*f. Suppose 2*t = 2*h + 3*t - 12, -3 = h + 5*t. Solve 3*k - h = o for k.
3
Let h = 7 - 5. Suppose v = -5*p + h*v + 40, -5*p - 4*v + 15 = 0. Let x = 7 + -3. Solve p*c + 12 = x*c for c.
-4
Let i(h) = 3*h - 3. Let o be i(3). Let u = 8 - o. Let m(n) = n**3 - 3*n + 3. Let j be m(u). Solve -j*l = -l for l.
0
Let t(l) = -l**2 + 11*l - 7. Let b be 32/3 + (-4)/6. Let m be t(b). Suppose -m*a = 1 - 10. Solve n = -a*n for n.
0
Let y = 55 - 49. Let r = 7 - 4. Let s(o) = 13*o**3 - o**2 - o + 1. Let c be s(1). Solve -r*z = -y*z + c for z.
4
Suppose -g = -5*g + 40. Suppose 5*n - 3*n - g = 0. Solve -2*l = -n*l + 15 for l.
5
Suppose 3*h - 4 = h. Suppose 4*o = 3*q - 2*q - 13, -h*o = 3*q - 11. Solve -4*c - q = c for c.
-1
Suppose 6*s - 30 = s + 5*g, -5*s + 30 = -3*g. Suppose -8*f + 5*f = -s. Suppose -6 = -q - f*q. Solve 0*j = -j + q for j.
2
Let k = -2 + 6. Suppose t - 3 = -0*t + k*m, 0 = -2*m. Suppose -t*n + 46 = 5*d, 5*n - 46 = -5*d + 14. Solve n + 8 = 3*s for s.
5
Let k(l) = l**3 - 2*l**2 + 2*l - 1. Let x be k(2). Let r = x - 0. Suppose r + 9 = 2*u. Solve 0 = 3*v - u*v + 9 for v.
3
Let o be 2*(0 - 4)/(-4). Solve -3*f - o*f = -10 for f.
2
Let u be (3/5)/((-2)/(-10)). Let t be (1 - (u + -2))/(-2). Solve t = -2*z - 2*z for z.
0
Let q(u) = 2*u - 6. Let p be q(5). Suppose -3*z + 7*z - 16 = 0. Suppose -2*x + p = -z. Solve 15 = y + x*y for y.
3
Let c = -92 - -107. Solve -c = -7*g + 2*g for g.
3
Suppose 0 = -11*o - 8 + 30. Solve -o = 3*k - 5 for k.
1
Let n(j) = -j**2 + 16*j - 63. Let q be n(7). Solve 3*g - 7*g + 8 = q for g.
2
Suppose 4*p - 11 = 5. Solve 0*s + 16 = -p*s for s.
-4
Suppose 0 = y + y - 6. Let h be ((0 - 0)/1)/3. Suppose -g = -5 - h. Solve -y*b - 2 = -g*b for b.
1
Suppose -4*f + 9*f = -3*q + 27, 9 = f - 3*q. Let a be (-2)/f*(-12)/1. Solve m - a = -2 for m.
2
Let g = 3 - 0. Suppose 3 = g*v - 9. Solve a - v = -a for a.
2
Suppose -5*r - 5*a = -20, -3*a - 2 = -2*r + 1. Solve -r + 1 = -2*v for v.
1
Let o = 9 - 3. Let y = o - 6. Solve y = -4*w - 0*w + 16 for w.
4
Suppose 5*p - 2*i = 0, 4*i - 5 = 3*i. Let k be 9 + 2 + -2 - 5. Suppose -k*f + p = c - 3, -5*f + 20 = 4*c. Solve v + f*v = 1 for v.
1
Suppose -g - 4 = -u + 5, -u - 6 = 2*g. Solve 4 + u = 4*b for b.
2
Suppose 170 = 3*l + 2*l. Let g be 5/15 - l/(-6). Suppose 0*w - 3*i = -w + 12, -w = -i - g. Solve w*a + a = -12 for a.
-3
Let f = 0 - 0. Let k(s) = -s**2 - 6*s - 7. Let p be k(-3). Solve j - p = -f for j.
2
Let o(j) = 8*j - 47. Let g be o(6). Solve 2*l - g = -5 for l.
-2
Suppose 5*h - 12 - 13 = -3*b, -h + 3*b = -5. Solve 2*r = h - 3 for r.
1
Suppose 5*z + 7 = 37. Let w = 39 - 41. Let x be w/7 + z/21. Solve 4 = a - x for a.
4
Suppose -24*n = -20*n - 12. Solve 4*x - 1 = n for x.
1
Let f(o) = o**3 - o**2 + o - 1. Let d be f(1). Suppose 2*i + 3*i + 3*z - 12 = 0, d = 2*i - z - 7. Let h = -120 - -120. Solve -i*c + 2*c - 3 = h for c.
-3
Suppose 20*o - 18*o = 6. Solve -3 = o*d - 15 for d.
4
Suppose 6 = 33*a - 31*a. Solve -3*z = -0*z - a for z.
1
Let j = 29 - 19. Solve -2*u - j = -0*u for u.
-5
Let q(j) = -j + 7. Let h(z) = -z + 8. Let t be h(5). Let a be q(t). Suppose -w + 14 = w - m, 0 = -a*w + 3*m + 30. Solve -2*r = -w*r - 8 for r.
-2
Let r(g) be the third derivative of g**5/60 - g**4/24 + 5*g**3/6 + 8*g**2. Let k be r(0). Solve 7 = -k*q - 3 for q.
-2
Let s(g) = -g**2 + 8*g - 11. Let r be s(5). Solve -2 + r = -2*d for d.
-1
Suppose -j = 4*z - 52, 2*z = -0*j + 5*j + 4. Let s(u) = 7*u - 1. Let w be s(1). Let k = -2 + w. Solve -k*r + 8*r - z = 0 for r.
3
Let d(w) = 2*w**3 + w. Suppose 0 = -3*z + z + 2. Let t be d(z). Solve 2*s = -s + t for s.
1
Suppose -12 = -4*n - 2*o, 4*n + 0*o = -4*o + 12. Solve n*l - 4*l = -1 for l.
1
Let c be -4*(-6)/8 + 0 + 0. Solve -c*k = k + 4 for k.
-1
Let r(t) be the second derivative of t**3/6 + t**2/2 + t. Let u(s) = -s. Let x(g) = r(g) + 2*u(g). Let l be x(0). Solve -3*k - 2 = l for k.
-1
Let r(z) = -z**3 - 12*z**2 + 2*z + 16. Let q be r(-12). Let u be 0/2*(-8)/q. Let k = 6 - 0. Solve u = p - k*p + 20 for p.
4
Suppose 8*a - 10*a = 0. Solve 2*p - 6 + a = 0 for p.
3
Let r(x) be the second derivative of x**3/6 - 4*x**2 + 2*x. Let z be r(10). Solve -z - 6 = -4*h for h.
2
Let f(t) = 2*t + 1. Let c be f(-1). Let y be -1 + 3 + 0/c. Suppose -y*h - 3 = h, -3*h = 5*o + 3. Solve 5*w + o = -20 for w.
-4
Suppose -5*p + 14 = -6. Let j = 7 - 5. Solve p = -3*r + j*r for r.
-4
Suppose 3*w = 12 + 6. Solve w - 14 = 2*h for h.
-4
Suppose -3*v + 15 = 4*d, 0 = -2*v + v + 5. Suppose 4*i - 4*t = 9 - 1, -i + 2*t + 4 = d. Solve 0 = h - i - 2 for h.
2
Let j = -3 - -5. Suppose v - 6 = -j*v. Solve v*i + 2*i = 12 for i.
3
Let p(s) = -s**2 - 11*s + 12. Let r be p(-10). Let v = r - 16. Let d = 9 - v. Solve -2*k + d = -3*k for k.
-3
Suppose 4*b + 2 + 2 = 0. Let t(k) = -k - 1. Let p be t(b). Solve p = -4*h + 8 + 4 for h.
3
Let l(f) = -f**2 - 10*f - 8. Let z be l(-8). Solve 0 = 4*c + 28 - z for c.
-5
Suppose 9 = m - 3. Suppose 5*f + m = 9*f. Let u be f*(8/3)/4. Solve -3 = -v + u for v.
5
Let i be (-5)/(-10)*-2 + 3. Solve 5*x + i = 3*x for x.
-1
Let u = 12 + -18. Let t be (-12)/(-8) + u/(-4). Solve -7 = -t*q - 4 for q.
1
Suppose 0 = 3*k + 5*p - 20 - 27, 5*p - 20 = 0. Solve k = -3*g - 0*g for g.
-3
Let v(m) = -m**3 - 6*m**2 - 6*m. Let q be v(-5). Suppose 5*y - 16 = 4. Solve -q - 7 = y*t for t.
-3
Suppose h + 3*h - 4 = -4*r, -4*r + 1 = 3*h. Let j = -1 + h. Solve -3*d + j*d - 1 = 0 for d.
-1
Suppose -25 = -5*q - 5*i, 8*q - 22 = 3*q - 2*i. Solve 0*a - 8 = -q*a for a.
2
Let c be (-3 + (0 