*f. Solve 4 = f*m - 2 for m.
3
Let l(j) = j**3 - 3*j**2 + 4*j - 2. Let y be l(2). Suppose 0 = 5*n + g - y, -2*g = -0*n + 4*n - 4. Solve -4*d + 2*d + 8 = n for d.
4
Let v(a) = -7*a. Let s be v(-1). Let n = -3 + s. Suppose 2*p - 21 - 9 = -5*c, 5*c = -20. Solve -n*d + p = d for d.
5
Suppose 5*t - w - 2*w = 16, t = -4*w + 17. Solve t + 5 = -5*a for a.
-2
Suppose 2*z - 4 = 4*z. Let j be 1/(z*1/(-60)). Let f be ((-1)/3)/((-5)/j). Solve -f*a = a - 6 for a.
2
Suppose -14 + 2 = -3*c. Suppose 3*t - t = -2*u - c, 5*u + 20 = 0. Let j(q) = 3*q - 3. Let a be j(t). Solve 2*p + 7 = -a for p.
-5
Suppose 10 + 15 = 5*z, 2*s - 3*z = -11. Suppose -s*l - 4 + 12 = 0. Solve -2 = l*i + 6 for i.
-2
Let v be (1 + 0)*-2 + 14. Let f(p) = p - 2. Let x be f(5). Let k = x - 3. Solve k*g = -4*g - v for g.
-3
Let x(y) = -y**2 - 11*y - 19. Let i be x(-8). Solve 3*k + i = 2*k for k.
-5
Suppose 4*q = 2*q + 20. Suppose -5*n + 0*n = -q. Solve -n*v + v = 0 for v.
0
Let m(p) be the second derivative of -p**3/6 - p**2 + 5*p. Let l be m(-3). Solve 4*a + l = 21 for a.
5
Suppose 3*k - 20 = 4*r, -k - 3*r + 2 = 4. Let f = 6 - k. Suppose -2*c + 2 = -f. Solve -3*j = 11 - c for j.
-3
Suppose 3*p - 2*p = 0. Let c(r) = r**2 + 4*r - 15. Let j be c(-7). Suppose p*h = -h + j. Solve -2*i = i + h for i.
-2
Suppose 13 = -3*z + 31. Solve -b + z = -3*b for b.
-3
Suppose 4*t + 2*j - 250 = 0, 4*t - 4*j - 116 = 164. Let y = -42 + t. Let a = y - 14. Solve 4*i + 7 = -a for i.
-4
Let m be (-8)/6 + 4/(-6). Let x = m - -6. Let b be 16/(-12)*(-6)/x. Solve 0*g - b = -2*g for g.
1
Suppose 0 = 3*q - 7 - 5. Solve -2*z - 4 = -q*z for z.
2
Let j(f) = -f**3 + 6*f**2 + f - 5. Let z be j(6). Let d(l) = -l**2 - 5*l. Let u be d(-4). Solve -15 - z = u*x for x.
-4
Let k = -15 + 31. Let o = k - 10. Let l(m) = -m - 3. Let h be l(-7). Solve -o + h = -v for v.
2
Suppose -5*o + l - 7 + 40 = 0, 0 = -4*o + l + 26. Let n = -7 - -18. Suppose 4*s - 9 = n. Solve -2*v = -o*v - s for v.
-1
Let g be 1*-1 - (2 - 5). Suppose -3*d + 11 = -3*i + g*d, 0 = -2*d + 8. Suppose -3*s + 3*b = 6, 2*s + i*s = b - 2. Solve -4*c + s*c + 4 = 0 for c.
1
Let k(c) = 3*c - 10. Let g be k(4). Let o be 1/1 - (g + -4). Solve o*j - 5*j - 4 = 0 for j.
-2
Let j = -3 - 0. Let n be (-3 + 0)*j/3. Suppose 2*w = n*g - 7*g, 3*w = -12. Solve g*i = 5*i + 15 for i.
-5
Suppose -128*o + 133*o = 0. Solve p + 3*p - 12 = o for p.
3
Let n = 3 - 4. Let i(m) = m - 5. Let f be i(9). Let q be 27/(f + n) - -1. Solve -5*u = -q*u for u.
0
Suppose 5*i = 106 - 36. Let b be (-2)/i - (-15)/105. Solve b = 5*w - w - 4 for w.
1
Let o(i) = -i + 8 - 2 + 6. Let r be o(8). Solve 0 = 5*k - r*k - 1 for k.
1
Let q(g) be the first derivative of -g**3/3 + 9*g**2/2 - 9*g + 3. Let x be q(7). Solve -x*u = -3*u for u.
0
Let r be 1 + 1 - -1 - -3. Let p = -1 + 10. Solve -p - r = -5*y for y.
3
Let t(u) = -u**2 - 9*u - 8. Let j be t(-6). Solve 2*k + 3*k - j = 0 for k.
2
Let n(s) = -s**3 + s**2 - s + 5. Let a be n(0). Let d(k) = k**3 - 4*k**2 + 3*k - 10. Let w be d(4). Solve -g - a = -w for g.
-3
Let l(b) = 5*b**2 + b + 2. Let d be l(-2). Suppose -5*x - 4*h = -d + 5, h = 5*x - 40. Solve -x = 5*k + 18 for k.
-5
Let r be ((-6)/7)/((-3)/(-21)). Let g = 0 - r. Let f be g + (0 - 2 - 0). Solve -y = -f*y - 12 for y.
-4
Let x be (-4)/10 - (-2)/5. Let b(c) be the third derivative of c**6/120 - c**5/6 + 5*c**4/12 - 7*c**3/6 + 4*c**2. Let f be b(9). Solve x*u + 4 = f*u for u.
2
Suppose 0 = 24*n - 23*n - 3. Solve -n*r - 25 = 2*r for r.
-5
Suppose -2*r + 2*j - 20 = -3*j, 4*r + 3*j = 12. Let o be -2*(r + 1 - -2). Let u(d) = -2*d - 3. Let x be u(o). Solve 3*k + 6 = -x for k.
-5
Suppose -2 = 2*t - 2*q, -2*q - 8 = 2. Let k = t - -6. Solve k = 3*o - 6 - 9 for o.
5
Suppose -5*y - 31 = -2*n, 4 = 4*n - y - 13. Solve -r - n - 2 = 0 for r.
-5
Suppose 2*b = 6*b - 2*p - 58, -5*p + 23 = 2*b. Let v be 136/b + 4/14. Solve 2*j - v = -3*j for j.
2
Let d(c) = 3*c**2 + 15*c + 14. Let i(b) = 2*b**2 + 10*b + 9. Let v(t) = 5*d(t) - 8*i(t). Let g be v(-4). Suppose 0 = 4*z + 1 - 25. Solve 0 = -z*j + g*j for j.
0
Let u(b) = b**3 + 7*b**2 - b - 7. Let l(s) = -2*s + 3. Let n be l(5). Let o be -3*(-2)/6*n. Let y be u(o). Solve y = h - 0 - 3 for h.
3
Let x(l) = l**2 + 5*l - 3. Let c be x(3). Let f be (-33)/(-7) + 6/c. Solve -5*k + 5 = -f for k.
2
Let z = 8 - 2. Suppose -3 = -2*t + 5. Suppose -t*k - b = -2*b - 11, 0 = -5*b - 15. Solve 0 = -z*g + k*g for g.
0
Suppose -17 = 5*h - 42. Solve o = h*o - 12 for o.
3
Suppose -i + 3*f - 10 = 0, 0 = 3*i - f - 4*f + 14. Suppose i*o - 26 = 4*g, 2*o = -2*o + g + 24. Solve 6*y - o*y - 1 = 0 for y.
1
Let x = 11 + -8. Suppose -3*k + k - 42 = 0. Let d = k - -21. Solve d = -x*m - 2 - 10 for m.
-4
Suppose 126 = 5*t + 6. Suppose 5*g - i - t = i, 2*g - 6 = -i. Solve 0*o - o = -g for o.
4
Suppose 0 = 2*f - 4*d + 2, 3*d = 5*f + d + 21. Let u = f - -5. Solve u*r + 1 = -r for r.
-1
Let t(q) be the first derivative of 3*q**4/4 - 2*q**3/3 + q + 9. Suppose 3*g - 15 = 0, 0 = 4*v - 2*g + 5 + 1. Let a be t(v). Solve -a*j = -3*j for j.
0
Let c = -1 - -6. Let m(t) = 2*t**2 - 7*t + 5. Let r be m(c). Solve -3*o = -8*o - r for o.
-4
Let b = -11 + 11. Solve b = -0*l + 4*l for l.
0
Let w be (0 + 0 - (-2)/3)*6. Solve -w*c - c - 5 = 0 for c.
-1
Let w(g) = g**2 - 4. Let b be w(4). Suppose b = 4*u - 0. Solve -5 = u*f - 2 for f.
-1
Let d(y) = y + 4. Let z be d(6). Solve 2*w = -z - 0 for w.
-5
Let i be -1 - (-8 + 2)/2. Solve m + 2 + i = 0 for m.
-4
Let j(y) = 4*y**2 - 5*y + 3. Let b be j(2). Solve -29 = 5*l - b for l.
-4
Suppose 4*j = j + 9. Suppose 5 = -3*z + 23. Let k(w) = -w**3 + 5*w**2 + 5*w + 7. Let l be k(z). Solve j*d + 7 = l for d.
-2
Let z = -3 + 8. Suppose 0 = t + 1 - z. Suppose 5*j - 2*u - 15 = 0, t*j - 18 - 27 = -5*u. Solve j*y - y = 0 for y.
0
Suppose 0 = 4*s + 8, 0 = -5*t + 4*t - 4*s - 8. Suppose 3*h - 6 = -0*h. Suppose 0 = 3*c - 2*c - h. Solve c = x - t*x for x.
2
Let u be 8/((1 - 0) + -2). Let v be (-3)/(-6)*u/2. Let x = -2 - v. Solve -2*n + x*n = 4 for n.
-2
Suppose 0 = j + 15 + 11. Let n = j + 41. Let t be (6/n)/(2/40). Solve -t*b - 8 = -4*b for b.
-2
Suppose -3*j = 2*j. Suppose j*z + 5*z + 4*l = 37, 0 = -z - 4*l + 17. Suppose 4 = -3*c + z*c. Solve -c*s - 1 = 1 for s.
-1
Let h = -12 + 32. Solve 4*s = -s + h for s.
4
Let y be (-9)/(-2)*4/6. Suppose -f + y*f - 2 = 0. Let g be ((-3)/f + 1)*-1. Solve -u = g*u for u.
0
Let q(w) = 16*w + 3. Let t be q(-2). Let u = -13 - t. Solve -u = -2*l - 2*l for l.
4
Suppose 0 = -4*f - 11 + 43. Suppose -3*h + 103 = -32. Suppose -3*c + 4*z = -h, -4*c - 4*z = -0*z - 60. Solve -3*u + c = -f*u for u.
-3
Suppose -4*v + 30 = -9*v. Let l = -4 - v. Solve l*r = -0*r - 10 for r.
-5
Suppose 0 = -7*l + 3*l + x + 11, 0 = -5*l + 3*x + 12. Suppose -l*w + f = 2, 4*w = -0*f + 3*f - 6. Solve -4*o + 8 = -w*o for o.
2
Suppose 0*d + 2 = d. Solve -4*g = -d + 10 for g.
-2
Let k(b) = b - 3. Let j be k(7). Suppose j*o - 5 = 11. Let g = 6 - 3. Solve -g*n = -o*n + 1 for n.
1
Let j(p) = -p**2 - 16*p - 11. Let h be j(-15). Solve 5*b + h + 11 = 0 for b.
-3
Suppose 0 = -7*d + 6*d + 19. Let m = d - 13. Let j be (6/7)/(3/21). Solve 4*i - m = j for i.
3
Let p = -4 - -9. Solve p*h = 14 + 1 for h.
3
Let t(n) = n - 2. Let i be t(2). Suppose 0 = -3*q + 21 - i. Solve q*h - 2*h = 0 for h.
0
Let o be (-16)/(-6) - (-4)/(-6). Let t(k) = k - 3. Let m(i) = -i + 4. Let s(j) = 3*m(j) + 2*t(j). Let p be s(6). Solve p = f - o - 1 for f.
3
Suppose 3*u - 2*u - 10 = -f, 0 = -u + f. Solve u*h = 4*h + 4 for h.
4
Suppose -4*t - 3 = -5*f, -t - f + 6 = -0*t. Solve -5 = y - t for y.
-2
Suppose -5*x + 4*r - 36 = 0, -22 = 3*x - 0*x - 2*r. Let j = -8 - x. Solve -2*b + 9 + 1 = j for b.
5
Let n(k) = -k**3 + 7*k**2 + k - 4. Let d be n(7). Solve -2 = d*b - b for b.
-1
Suppose 3*w - 16 - 11 = 0. Let i(b) = b**2 - 3*b. Let p be i(3). Let m(z) = z**3 - z**2 + 4. Let l be m(p). Solve l*k - 3 = w for k.
3
Let y(o) be the second derivative of -1/20*o**5 + 0 + 0*o**3 - 7/12*o**4 - 3*o + o**2. Let t be y(-7). Solve -6*c + t*c = 16 for c.
-4
Let t be ((-5)/2)/5*-4. Solve -l - 2 = t for l.
-4
Let q = 85 - 75. Solve -4*c - q = 2 for c.
-3
Suppose -4*t = 2*h - 4*h - 40, 0 = -h. Solve -t + 2 = -4*g for g.
2
Let i = 5 + 16. Suppose 4*m = i - 1. Solve m*b = 3*b for b.
0
Suppose 5*d - 24 = 2*t, d = 4*t + t - 9. Suppose d*y - 12 = 2*y. Solve a + 2 = y*a for a.
1
Let y(f) =