1). Solve -m + 5 = -f*m for m.
5
Suppose -2*p + 2*z + 4 = -z, 3*z + 2 = 4*p. Let u be 0*(p + (-2)/(-4)). Suppose u = -b - 3 + 5. Solve -b*f + 7 = 1 for f.
3
Suppose 3*m + 0*m = 3*h - 15, -5*h + 31 = -2*m. Let q = 11 - h. Suppose -23*k + 72 = -15*k. Solve d - k = q*d for d.
-3
Let q(v) = v**3 + v**2 - 3*v. Let i be q(0). Solve 5*n + 5 = -i*n for n.
-1
Suppose 3*g - p = 8, 5*g + 5*p - 23 - 17 = 0. Let i(l) = -3*l - 16. Let x be i(-7). Solve -g*k = k - x for k.
1
Suppose r - 10*r = 0. Let z(q) = -q + 3. Let p be z(0). Solve -p*m - m = r for m.
0
Let f(m) = -m**3 + 7*m**2 - 6*m - 3. Suppose 0 = -h + 3 + 3. Let r be f(h). Let q be (r/9)/((-2)/12). Solve 4*p + 8 = q*p for p.
-4
Suppose -4 = n - 8. Suppose 5*v - 14 + n = 0. Solve 1 + 1 = -v*y for y.
-1
Let v = 7 - 5. Suppose -b + 2 = l, -v*b + 20 - 4 = -4*l. Suppose -4*g + 10 = 5*q, -b*q = -3*g - 3 - 5. Solve 6 = q*z - 0*z for z.
3
Let v(i) be the first derivative of -i**3/3 - 5*i**2 + 2*i + 3. Let u be v(-8). Suppose -3*m + 5*m - u = -4*w, 3*m = -5*w + 21. Solve c = -2*c + w for c.
2
Let u(q) = -q**2 + 3*q - 1. Let o be u(6). Let a = 23 + o. Solve 8 = -6*z + a*z for z.
-4
Let d = -23 + 27. Solve -i = 9 - d for i.
-5
Let y = 96 - 93. Solve y = -2*q - 3 for q.
-3
Suppose 5 + 5 = 2*h. Let q = -8 - -23. Solve -q = 5*j + h for j.
-4
Suppose -k = -5*k + 16. Solve -5*w + 2 = -k*w for w.
2
Let k be (1/(-3))/((-3)/81). Suppose -2*q + 56 - k = 5*u, 0 = -q + u + 13. Let r be 6/9 + 14/6. Solve -g - r*g - q = 0 for g.
-4
Let o be ((-9)/4)/(1/4). Let y = -5 - o. Solve 1 = y*q - 3 for q.
1
Let s(a) = -a**2 + 19*a - 70. Let d be s(14). Solve d = -2*l + 3*l for l.
0
Let u = -19 + 31. Let g be (28/(-10))/(1/(-5)). Suppose -2*q + 4*o + 0 = -g, -2*o = -5*q + 27. Solve 0 = q*z - z + u for z.
-3
Suppose 0*l - 6 = -l. Solve -i = -l*i + 15 for i.
3
Suppose -c = c - 4. Let h be (-9)/6*-2 - c. Solve 6 - h = v for v.
5
Let n = -21 - -24. Solve n - 8 = -5*r for r.
1
Suppose 4*h + 5*u - 28 = 0, 0*h = -4*h - 4*u + 24. Let n(s) = 3*s. Let w be n(h). Suppose 4*v = -6 + 18. Solve b = v*b - w for b.
3
Let t be 2/12 - 1074/(-36). Suppose -2*r = -t + 76. Let u = 33 + r. Solve 0*z + u = -5*z for z.
-2
Let o = -12 + 19. Suppose -2*f + 18 + o = 5*w, f - 8 = -w. Solve -4*z - 4 = -f*z for z.
4
Suppose -s + 2*s = 2. Suppose 3*k - 12 = 3*d, -k = d - 2 - s. Suppose h + 4*h = d. Solve h - 3 = 3*u for u.
-1
Let x be (-13)/((-1690)/(-20)) - (-54)/13. Solve 2 + 2 = -x*r for r.
-1
Let i(n) = 6*n**2 + n + 1. Let m be i(-1). Suppose 0 = -2*s + m - 0. Solve -2 = 2*j - s*j for j.
2
Let u = 1 + 2. Suppose -3*h + 0*s = -u*s - 6, -3*h + 2 = -5*s. Suppose 2*g + 3*g - f - 9 = 0, h = 4*f. Solve 2*i = -g*i + 8 for i.
2
Let k = -83 - -86. Let g be (1*3)/(2/6). Solve k*h - 3 = g for h.
4
Let g = 71 - 69. Solve 2*s = -g*s for s.
0
Let h = -8 + 10. Solve 2*y + 4 = h for y.
-1
Let a(v) = -5*v - 3 + v**2 + 0*v + v + 3*v. Let i be a(-3). Solve -6*h + 3*h - i = 0 for h.
-3
Let w be 0*((-2)/(-8))/(30/40). Solve w = 4*i + 12 for i.
-3
Suppose 49 = -5*f + 2*x, -4*x + 0*x - 12 = 0. Let o = 13 + f. Solve -8 = -2*t + o for t.
5
Let k be (32/(-20))/((-4)/20). Let p(s) = s**3 - 7*s**2 - 6*s - 16. Let x be p(k). Solve -4*y + x*y = 20 for y.
-5
Suppose 5*a + 5 + 0 = 0. Let w = 1 + a. Let k be (-16)/(-9) - 14/(-63). Solve -k*f = -w*f + 4 for f.
-2
Let r be (0 + -2)/((-4)/6). Solve -d = -r + 5 for d.
-2
Let r be (2 - -2 - -1) + 3. Solve h = -4 + r for h.
4
Let m be 24/18 - -1*(-5)/(-3). Solve v - 2*v + m = 0 for v.
3
Let a be -3 - ((-2 - 1) + -4). Solve 0*r = a*r for r.
0
Let y = 18 - 12. Solve 0 = -y*f + 3*f - 12 for f.
-4
Suppose 3*j - 12 = -0*j + 3*a, j + 8 = 4*a. Suppose 0 = 4*n + 5*g + 44, n - 5*g = -j + 22. Let d = -4 - n. Solve -d = q - 6 for q.
4
Suppose 0 = -4*n + l + 17, 2*n - 4*l = n - 7. Suppose -4*o + 3 + n = 0. Let h be 3/(-6)*o - -1. Solve 10 = 2*j - h for j.
5
Let m be ((-6)/2)/((-15)/20). Suppose 4*k + m + 4 = 0. Let w be k/(-9) + 14/18. Solve 5*f = -6 + w for f.
-1
Let v(h) = h**2 - 18. Let r be v(0). Let g = -17 - r. Solve -g = f + 4 for f.
-5
Let x(t) = -t + 27. Let j be x(22). Solve j*q - 10 = 3*q for q.
5
Let t(w) = w + 8. Let y be (16/6)/(2/(-6)). Let d be t(y). Suppose 0 = -z - d*z. Solve 2*j + z = -2 for j.
-1
Suppose 2*u + 4 = 2*d, 3*d - d - 5*u - 16 = 0. Let n be -20*(4 + d)/(-2). Let t = n + 1. Solve 0 = -5*s - t + 1 for s.
-4
Suppose 0*l = -3*z + 3*l - 42, 3*l - 6 = 0. Let q be 4/z - 22/(-3). Solve -3 - q = -5*o for o.
2
Suppose -8 = -2*q - 16. Let o = 4 + q. Solve o = 2*j + 3 + 1 for j.
-2
Suppose -42 + 8 = -4*f + v, -4*f + 5*v = -42. Suppose -4*m + 40 = f. Suppose -z + 9 = 5. Solve -z*g = -m*g for g.
0
Let o(n) = -n - 2. Let g be o(-2). Let z be (-3 - -2) + 6 - (2 + 0). Solve z*q = -g*q for q.
0
Let o(g) = -g**2 - 8*g - 4. Let u be o(-7). Let q = u + -3. Solve 5*a - 2*a + 6 = q for a.
-2
Let y(a) be the second derivative of a**4/12 + a**3/3 - 3*a**2/2 - 3*a. Let i be y(-3). Solve 3*b + i*b - 3 = 0 for b.
1
Let r be (4 - 7)*(-1 + 0). Solve r = -2*n - 7 for n.
-5
Suppose -5*b + 37 = -13. Let c(s) = -s**3 - 5*s**2 - 2*s - 5. Suppose 3*y = -y - 20. Let t be c(y). Solve -t*d + 0*d - b = 0 for d.
-2
Let l(w) = -w**3 + 4*w**2 + 3*w + 5. Let m be l(5). Let j be (-2 - -2)*(m + 6). Suppose j = -c + 5*c - 60. Solve c + 10 = 5*o for o.
5
Let n be 2/(-7) + 6/21. Let g = 3 - 1. Suppose 3*v - v - 2*s + 4 = 0, g*s = -2*v + 16. Solve -9 = v*c - n*c for c.
-3
Let w = -21 + 24. Solve -1 = m + w for m.
-4
Let u(l) = l - 7 + 6 - 2*l. Let r be u(1). Let x be (2 - 2)/(r - -1). Solve 5*i + 6 + 4 = x for i.
-2
Suppose 0 = 5*f - 8 - 7. Solve -4*n - 3 = -f*n for n.
-3
Let j(u) be the third derivative of u**5/60 - u**4/12 + u**3/6 - 3*u**2. Let v be j(3). Solve 5*c + 1 = -v for c.
-1
Let r(m) = -m**3 - 3*m**2 - 2*m - 4. Let b be r(-3). Suppose 18 = 3*w + 6. Suppose b*h - 2*y = -2*h, -w = 2*h - 2*y. Solve -h*p - 3*p = 0 for p.
0
Let f be (-2)/(-7) + (-272)/(-28). Let p(a) = -a. Let o be p(-4). Solve -f = -o*h - h for h.
2
Let z = 18 - 4. Suppose -10 = n - 6*n, 3*q = -3*n + 12. Solve q*b + z = 4 for b.
-5
Let s = -3 + 7. Suppose 2 = 4*h + 3*b, -8*h - 2 = -4*h + 5*b. Suppose -h*c - j + 24 + 2 = 0, -4*j - 17 = -3*c. Solve -3*p - s = c for p.
-5
Let o(z) = -z**2 + 8. Let k be o(0). Let n = 14 - k. Let u be (-2)/n - 61/(-3). Solve -m + 6*m = u for m.
4
Suppose 3*w = 4 - 1. Let a = w + -1. Let o(y) = -y**2 - 8*y - 3. Let c be o(-7). Solve -f - f + c = a for f.
2
Let x be (-27)/(-4) + 2/8. Let p = 7 - x. Solve -a - a - 2 = p for a.
-1
Suppose 5*r + 4*u = 448, -2*u - 180 = -2*r - 4*u. Let i be 1600/r - 4/22. Solve -4*n - 2 = i for n.
-5
Let m(u) = -u**3 + 2*u**2 + 2*u + 1. Let c be m(3). Let j(g) = g + 2. Let w be j(c). Solve 0 = -5*l - w + 5 for l.
1
Let t be (2/6)/((-4)/(-72)). Let s be t/(-3 + 135/42). Solve -4*g - s = -8 for g.
-5
Suppose 0 = -4*j - 3*s + 64, j = 4*j + 2*s - 49. Let t(d) = d**2 - 3*d - 6. Let o be t(5). Suppose j = 5*v + o. Solve -v = -n - 0*n for n.
3
Suppose 0 = -4*g + 47 - 15. Suppose -4*s + 7 + 6 = y, 0 = -2*y + 3*s + 4. Solve -y*d = 7 + g for d.
-3
Suppose 5*w - 2*q + 1 = -q, q = 4*w + 1. Suppose -2*k - 2 + 6 = w. Suppose 1 + k = a. Solve 2 - 17 = a*o for o.
-5
Suppose -l = 3*l - 32. Suppose -d + 3*d - 8 = 0. Suppose 4*s = 2*s + d. Solve l = -s*i - 0*i for i.
-4
Let u = -20 - -22. Solve 4*t + 6 = u for t.
-1
Let c = 24 + -19. Let n(b) = 2*b**2 + b + 1. Let q be n(-1). Solve 0 = r + c - q for r.
-3
Let y be -76*(-1)/(-12)*-3. Suppose 3*b - 2 - y = 0. Solve 4 = x + b for x.
-3
Suppose -4*s - 3 + 13 = -p, 0 = -5*p - 2*s + 38. Solve -4*k - 8 = -p*k for k.
4
Suppose 0 = 2*j - 4*q + 8, 3*j + 0 = q + 3. Let f = 2 + 2. Suppose -f*p = -8*p. Solve j + p = l for l.
2
Let p(y) = y + 10. Let l be p(-10). Suppose -5*c + c + 12 = l. Solve 8*f = c*f + 20 for f.
4
Let o = 10 + 2. Let d(i) = -4 - 1 - 3 - i**2 - o*i. Let h be d(-11). Solve b - 5 = -h for b.
2
Suppose 3*v - 11 = 2*i + 2, 2*i + 4*v = -34. Let w = -9 - i. Solve -w*u = 1 - 5 for u.
2
Suppose 0*y = -4*y. Let u = 13 + -8. Let i = 6 + -3. Solve y = -i*g + u*g for g.
0
Let d be (0/4)/(-3 - -2). Solve -v + 4 + d = 0 for v.
4
Let n(j) = -2*j**3. Let i be n(-1). Solve 20 = i*d + 3*d for d.
4
Suppose 17 = 3*j - 10. Solve -4*t - 29 = -j for t.
-5
Let v(i) = -2*i. Let w be v(0). Solve w = -2*p + 3*p for p.
0
Suppose a 