5*n - 2*n - 9 = m for n.
3
Suppose 0 = -b + 4*b. Suppose -r + 6 - 4 = b. Let a = 3 - 1. Solve 8 = a*m - r for m.
5
Let u = -20 - -25. Solve -u*i + 19 = -1 for i.
4
Suppose 5*j = -4*i + 5 + 8, -3*j - 4*i = -11. Suppose -2*p - j = -7. Suppose 7 = v + 4*r, -p*v + 0*v + 2*r = -7. Solve 2*d - 5 = -v*d for d.
1
Let l(x) = -x**3 + 6*x**2 + x - 3. Let z be l(6). Suppose 5*r + 17 = 2*g, -z*g - g + 23 = r. Solve 0*u = 2*u + g for u.
-3
Let c be (-32)/(-14) + 2/(-7). Suppose -c*m + 3*m = 0. Solve -4*f + 27 - 11 = m for f.
4
Let s be -1 + 1 - (-6 + 1). Let o = 8 - 8. Solve o*c - 5 = s*c for c.
-1
Let z = -4 - -4. Suppose 5*m + z*y = y + 53, -3*y - 59 = -5*m. Let u be (8/m)/((-4)/(-10)). Solve -u*g + 4 = -0 for g.
2
Let l(j) = -j**3 + 10*j**2 + j - 8. Let u be l(10). Solve -2*d = 4 - u for d.
-1
Suppose -3*c = -c, -5*c - 20 = -4*r. Suppose -5*g + 21 = -2*s - 15, 12 = s + r*g. Let h be (1/(-2))/(2/s). Solve 6 = -0*a - h*a for a.
-3
Let g(c) = 3*c**3 - c**2 - 2*c - 1. Let o be g(-1). Let k = o + 4. Suppose 4*s + k - 33 = 0. Solve 0 - s = 2*i for i.
-4
Suppose 192*p = 195*p - 9. Solve -4*k + p*k - 5 = 0 for k.
-5
Let j = 2 + -1. Let f = j - -5. Solve f*g = g for g.
0
Let r(o) = o**2 + 4*o - 6. Let m be r(3). Solve m = -0*f + 3*f for f.
5
Let w = -99 + 101. Solve 0 = 3*x - w + 14 for x.
-4
Let f(k) = 2*k - 2. Let g be f(3). Let z = -7 - 8. Let y be 6/15 + (-9)/z. Solve 0 = u + y - g for u.
3
Let i be 0 - (1 + (-5 - 0)). Suppose 0 = -i*o - 5*y - 10, 0 = -5*o + 3*o + 2*y - 14. Let z be (-1 - o/3)*9. Solve 0 = 3*p + 9 + z for p.
-5
Let z(f) = 2*f - 2 - f - 2*f. Let r be z(-7). Solve -2*k + r*k = 12 for k.
4
Let r(h) = h - 2. Let v be r(2). Let x be (-3 - v) + 0/1. Let f(t) = t**3 + 3*t**2 - 2*t. Let s be f(x). Solve s*k + 25 = k for k.
-5
Let l(j) = 3*j - 17. Let t(w) = w**2 + 2*w - 1. Let p be t(-4). Let g be l(p). Solve -g*a - 1 = -5 for a.
1
Let k(q) = -q + 11. Let v be k(6). Solve -9 = v*s - 34 for s.
5
Let j = 14 + -11. Let f be 2 + (j - 3) + 3. Solve -d - f = -0*d for d.
-5
Suppose 0 = 2*v - 9 - 3. Solve g - v = -4 for g.
2
Let d(i) = -2*i**2 + 22*i + 26. Let s be d(12). Solve a + 6 = -s*a for a.
-2
Let d(p) = -5*p - 50. Let t be d(-10). Solve 4*n + 5 + 7 = t for n.
-3
Let m(p) = -p**3 + p**2 + p + 3. Let c be m(0). Solve -c*g - 5 - 4 = 0 for g.
-3
Let w be (-1)/(-2)*(-2 - -6). Let n = w - 4. Let x = n + 4. Solve x*q - 4*q = 0 for q.
0
Let g be 2/2*((-24)/(-6) - 1). Solve 1 + g = -4*j for j.
-1
Let v = 141 - 136. Solve -v*t - 2 + 12 = 0 for t.
2
Suppose 4*w + 16 = 3*q, 0 = -7*q + 2*q + 4*w + 40. Let l = q + -9. Let y(t) = -t**3 - 5*t**2 + 6*t. Let i be y(-6). Solve l*v + 2*v + 20 = i for v.
-4
Let g be (-336)/(-34) - 16/(-136). Solve -3*p - g = 2 for p.
-4
Let p(z) = z**2 + z**2 + 2 - z**2. Let c be p(-3). Solve -4 = -5*d + c for d.
3
Let k be (-30)/12*(-16)/10. Suppose -k*a + 52 = -0*a. Solve 2*g = a - 3 for g.
5
Let f be 6*6/(-9) - 12. Let z be -1 + 3 - f/(-8). Solve z*t = -t for t.
0
Let i(f) = -f - 2. Let k be i(-5). Solve 0*s - k*s - 9 = 0 for s.
-3
Let n be ((-5)/(-20))/((-2)/(-8)). Suppose -5*q + n + 4 = 0. Let p = 2 - q. Solve -4*o - p = 3 for o.
-1
Let t = 6 + -6. Solve -5*s + t*s + 5 = 0 for s.
1
Let r = -11 - -16. Let u(k) = -k**3 - 4*k**2 + 5*k + 2. Let g be u(-5). Suppose -g*y = -0*y - 20. Solve -5*o + r + y = 0 for o.
3
Suppose -2*p = -12*p + 2*p. Let r be (-4)/(-2) - (-1 - 1). Let v = r + p. Solve -v = 4*l - 12 for l.
2
Suppose -2*c + 3 = -3*c. Let g be -1 + (-3)/(2 + c). Let q = 11 - g. Solve l = -2*l - q for l.
-3
Let s be 4/10*5*-1. Let u = s - -4. Solve 2 + u = -2*l for l.
-2
Let t be (6/10)/((49/35)/7). Solve -t*h - 8 = -h for h.
-4
Suppose -4*n - 2*n = -4*n. Solve -3*m + 12 = -n for m.
4
Let m(a) = -a**2 - 6*a - 4. Let q be m(-2). Solve -q*b = -b - 15 for b.
5
Let n(x) = 3*x**3 - 6*x**2 + 3*x + 2. Suppose -6*q + q - 10 = 0. Let i(y) = y**3 - y - 1. Let j(k) = q*i(k) + n(k). Let r be j(5). Solve 2*f + r = -2 for f.
-3
Suppose -4*y - 4 = -16. Solve 4 = -s + y*s for s.
2
Suppose -b - 4*k - k + 5 = 0, k = 0. Suppose y + 59 = 2*u - 2*y, -5*y = b*u - 160. Solve 0 = -5*n + 11 - u for n.
-4
Suppose -4*t + 35 = -5*c, -2*c - 6 = -0*c. Let z(o) = o**2 + 7*o + 12. Let y be z(-4). Solve y*h - t = -h for h.
5
Let i(w) = -w**3 + 6*w**2 - w. Let n be i(6). Let u = -3 - n. Solve -u - 5 = -4*b for b.
2
Let z(k) = -3*k - 4 + 4*k - 2*k. Let l be z(-8). Solve 0 = 4*w + 8 + l for w.
-3
Let d(n) = -3*n - 1. Let z be d(-2). Solve -f + 2*f = -z for f.
-5
Let d = 15 + -13. Solve -d + 12 = 2*g for g.
5
Let i(z) = -2*z + 23. Let k be i(10). Solve 25 = k*q + 2*q for q.
5
Let d = 7 - 11. Let h(n) = -2*n - 4. Let s be h(-4). Let p = s + d. Solve p = 4*x + 3 - 11 for x.
2
Let z be 60/2*(-24)/(-20). Let q be 1/(3*3/z). Solve 2 = q*h + 14 for h.
-3
Let d be (14/21)/(4/(-6)). Suppose -5 + 13 = k - i, -4*k - 2*i = -2. Let j = d + k. Solve j*o + 10 = 4*o for o.
5
Let m(d) = d**2 + 8*d + 6. Let j be m(-8). Solve j*p = 2*p for p.
0
Let s be (-18)/(-5) - 34/(-85). Solve 0 = -2*r + 4*r + s for r.
-2
Suppose 6*u = 2*u + 28. Suppose 3*t - 2 = u. Suppose -t*p = 2*p. Solve 0 = -p*r + 2*r for r.
0
Let r = 10 - 10. Suppose r = 4*y - 9*y + 10. Let a(g) = -g + 11. Let q be a(8). Solve 5 = -q*m + y for m.
-1
Let m(w) = 0*w - 2 + w - 2 + 19. Let g be m(-11). Suppose -5*b - 2*v = -2, -2*b - v = -6*v + 5. Solve g*o - o = b for o.
0
Suppose -11 = -3*w - 5. Suppose -19 = 2*f + 5*k + w, 3*k = 3. Let b = -10 - f. Solve -t - b*t + 8 = 0 for t.
2
Let l(w) = 2*w - 1. Let k be l(2). Suppose 9 = k*b + 3. Let h = b + 2. Solve 26 = -h*x + 10 for x.
-4
Let u(g) = -g**3 - 5*g**2 + 6*g. Let t be u(-6). Let b be t/((-1)/(-4 + 3)). Solve 0*f + 2*f - 10 = b for f.
5
Let y(b) = b**2 + 7*b + 4. Let j be 6*(1 + (-10)/4). Let z be y(j). Let l = -5 + 10. Solve -2 + z = -l*w for w.
-4
Suppose 0 = 4*l - 11 - 9. Suppose r = u, -4*r = -u + l*u - 32. Solve -u - 6 = -5*h for h.
2
Let q(w) = w**2 + 13*w - 11. Let k be q(-14). Let j(h) = h**3 + 4*h**2 + 1 - 3 + 2 + 3*h + 1. Let d be j(-3). Solve 2*n + d = k for n.
1
Let y(a) = -3*a + 69. Let p be y(16). Solve 0 = 2*n + 5*n - p for n.
3
Suppose -m = 5*j - 0*m + 52, -5*m + 10 = -2*j. Let z be (0 - 5)*j/(-25). Let b be (2 - 4 - -2)/z. Solve -4 = -i - b*i for i.
4
Let j(l) be the third derivative of l**4/24 - l**3/2 - 15*l**2. Let f be (-7)/(-2)*2 - 2. Let y be j(f). Solve y*r = 2 + 6 for r.
4
Let b = -5 - -3. Let q be b/(225/(-219) - -1). Suppose z + q = 4*z + i, z = -3*i + 19. Solve -z = 2*u + 3*u for u.
-5
Let k(a) = a**2 + 2*a - 15. Let b be k(-5). Solve 0 = -d + 4 - b for d.
4
Let a(l) = 2*l**2 - 5*l - 1. Let m be a(3). Solve m*i = 3 - 1 for i.
1
Let d(w) = w**3 + 4*w**2 - 4*w + 9. Let s be d(-5). Solve s*c + 0*c = 20 for c.
5
Let d(y) = -1 - 10*y**3 + y**2 + 2*y + 4 - 2. Let w be d(-1). Let z = -7 + w. Solve 0 = i - 0 + z for i.
-3
Let n(h) = -h**2 - 15*h - 12. Let q be n(-14). Solve -q*v + 4 = -0 for v.
2
Let g be 1/(1*2/4). Let u(p) = -p - p**2 + g + 6*p + 1. Let s be u(5). Solve 6*m = s*m + 12 for m.
4
Suppose -3*x = 4*p - 9, 6 = 4*p - 0*p + 2*x. Suppose p = -2*w - 0*w + 4. Suppose -3*h + 3*q - 1 - 2 = 0, w*h - 4*q + 10 = 0. Solve h*l + 6 = 3 for l.
-1
Suppose -z + 3*i = 0, -5*z + 2 = 3*i + 38. Let f be (0 - 3/z)*4. Suppose -u + 7 - f = 0. Solve -u*g + 6*g = 0 for g.
0
Let f be 2 + 0 + 0 + 1. Solve -j = -f*j - 4 for j.
-2
Suppose 0 = n - 0*n - 24. Let h = 30 - n. Solve 2*m = -h - 4 for m.
-5
Suppose 6*o = 2*o + 332. Let r = -58 + o. Solve 0 = 7*z - 2*z + r for z.
-5
Let h(g) = -g + 18. Let c be h(16). Solve -c*l = -4*l - 8 for l.
-4
Suppose -3*n + 36 = -0*n. Solve n = 5*q - q for q.
3
Let z = -10 + 4. Let y be (6/(-4))/(z/8). Suppose 4*u + 3 = i - 0*i, -4*i + 12 = -y*u. Solve g = -0*g - i for g.
-3
Let i = 21 - 17. Solve 0*y = 4*y - i for y.
1
Suppose -5*d = b - 12, 0 = -0*b - 5*b - 5*d + 40. Let i = b + -5. Suppose -f - 2 = -i*f. Solve -f = 2*q + 4 for q.
-3
Suppose o - 1 = -q + 3, -o - 2 = -2*q. Suppose 0 = -2*f + 3*v - 6, -6*f + 2*f - o = -v. Solve m = -4 - f for m.
-4
Let v = 2 + 6. Let w = -5 + v. Solve w = -d + 2*d for d.
3
Suppose 0 = m - 5*m + 12. Let k be m/(-1) - (-2 + -5). Suppose k*b = -0*i - 5*i + 23, -4*i - 2*b + 22 = 0. Solve 4*j + 27 = i for j.
-5
Let x(q) = 6*q - 1. Let g be x(1). Let f(n) = n**3 - 6*n**2 - 10*n + 21. Let k be f(7). Solve k 