Solve m = u*m - 4 for m.
4
Let p(u) = -u**2 + 8*u - 8. Let f = -1 - 9. Let o = f + 16. Let j be p(o). Solve 1 = m - j for m.
5
Suppose -603 + 671 = 17*w. Solve 7*y - 11*y = -w for y.
1
Let b = 53 + -48. Suppose 0 = b*d + 5*w - 5, -5*w - 5 = -0*w. Solve 8 - d = -2*g for g.
-3
Let p be (-23 + 3 - -2)/1. Let u = -14 - p. Let w be u - (0/(-3))/2. Solve w*c = -10 - 6 for c.
-4
Let q(w) be the second derivative of w**3/3 - 17*w**2 - 12*w. Let a be q(19). Solve 4*i - a = 8 for i.
3
Let z = 23 - 27. Let v be (z*10/(-4))/2. Let r(q) = 3*q - 7. Let i be r(v). Solve 3*f - i = f for f.
4
Let j be 58/18 - 6/27. Let x = 6 + 3. Suppose 2*u = -u + x. Solve u*r = -j + 18 for r.
5
Let i(g) = -g**2 + 45*g - 119. Let s be i(42). Solve 8 = -5*v + s*v for v.
4
Let r(q) = q**3 - 13*q**2 + q - 12. Let n be r(13). Let b be 3 - (n/1 - 26). Let j be ((-18)/21)/((-6)/b). Solve 0 = j*v + 16 for v.
-4
Let q(d) = 10*d + d**3 + 16*d**2 - 5*d**2 + 67 - 55. Let r be q(-10). Solve -c - 2*c = r for c.
-4
Let n(b) = -b**3 + 6*b**2 + 0*b - b - 11*b**2 + 4*b**2 + 2. Let y be n(0). Suppose -8 = -y*v + v. Solve c + c = -v for c.
-4
Suppose -157 = 5*m - 4*h + 338, 4*h - 20 = 0. Let i = m + 98. Solve 0 = -i*r + 4 - 10 for r.
-2
Let m(s) = 5*s**2 + 28*s + 9. Let c be m(-6). Solve -7*r - c = -49 for r.
4
Suppose -q = -0*u + 3*u - 146, -5*u = -3*q - 262. Let w = 57 - u. Solve -5*i + 22 - w = 0 for i.
3
Let v be (12 + -7)*(-2)/(-5). Let w = v + -2. Solve w*g = -4*g + 12 for g.
3
Suppose -5*v + 4*p = 129 + 62, -4*v = 5*p + 161. Let z = 55 + v. Let n = z + -5. Solve -3*g - 4 = n for g.
-5
Let v(x) = x**3 - 14*x**2 - 43*x - 127. Let s be v(17). Solve -37 = -7*u - s for u.
4
Suppose 0 = 5*q - 33*d + 36*d - 17, 2*q = 2*d - 6. Solve -31 = 6*a - q for a.
-5
Suppose 0 = -5*y + 2 + 3. Let c(t) = 7*t**3 + 664*t + 3 - 667*t - 1. Let p be c(y). Solve 2*j = -0*j - p for j.
-3
Suppose -5*v + 225 = 5*k - 0*k, 4*k - 180 = 3*v. Let m = k + -30. Solve 2*r + 3*r = -m for r.
-3
Suppose -3*m = 2*z - 140 - 18, 3*z = -2*m + 107. Let j = m - 44. Solve 5*l - j = l for l.
2
Let f be (-198)/(-33)*38/4. Solve -5*c + 77 = f for c.
4
Let x = -19 - -39. Suppose -11*u + x = -2. Solve -o + u = -0 for o.
2
Suppose -79*f + 390 = -14*f. Solve f*v - 5*v = 1 for v.
1
Suppose -5*u + 3*t + 6 = -2*u, 3 = 3*t. Suppose -v = u*v + 16, -q + 24 = -v. Solve 0*m + q = -4*m for m.
-5
Suppose -8 = -6*z + 2*z. Solve 2*i - 5*i = z*i for i.
0
Suppose f - 19 = -5*p, 5*f = -0*f - 5. Solve 1 = -p*q - 3 for q.
-1
Let k = -3 - -11. Suppose 3 = 9*b - k*b. Let m(i) = -2*i + 6. Let j be m(b). Solve j*x - x = -5 for x.
5
Suppose 14*l - 15*l = -50. Suppose -10 = -3*c + l. Solve 0 = -2*u + 6*u - c for u.
5
Let p(i) = i**2 + 6*i. Let b be p(-6). Let u(t) = 6*t + 6. Let w be u(b). Solve -s = -1 + w for s.
-5
Let i(k) = -3*k**2 - 6*k - 2. Let s(a) = 4*a**2 + 7*a + 3. Let j(w) = 5*i(w) + 4*s(w). Let b be j(2). Solve 0 = -3*z + b*z for z.
0
Let o be 3/(-3) - (-8)/4. Let h be -12*(o - 1 - 1). Suppose -2*k + 5*k - h = 0. Solve k*q + 6 = 18 for q.
3
Let z(b) = -b**3 + 8*b**2 + 23*b - 19. Let y be z(10). Suppose 0 = -y*v + 212 + 8. Solve 0 = -4*r - v - 0 for r.
-5
Let j = -4 - -5. Let f be 10 + -13 + j*6. Solve -f*s + 2 + 1 = 0 for s.
1
Suppose -16*i + 220 = -5*i. Solve -i*q + 22*q = -4 for q.
-2
Let i(f) = -2*f**3 - 8*f**2 - 6*f - 15. Let w be i(-4). Solve c - w*c = 32 for c.
-4
Let s be (-374)/(-42) - 14/(-147). Suppose -q = -0 - 12. Suppose 0 = -q*h + s*h. Solve h + 4 = -4*n for n.
-1
Let o = -33 + 19. Let p = o + 20. Suppose -11 = -5*t + 4. Solve -p = -z - t for z.
3
Let b(g) be the first derivative of 10*g**3/3 + g**2/2 - 2*g - 13. Let m be b(1). Solve 0 = -2*n - n - m for n.
-3
Let r(c) = -3*c + 4. Let q be r(1). Suppose 2*y - 12 + q = -g, -3*y + 27 = 5*g. Solve -9 + 1 = -y*n for n.
2
Let f = 20 + -10. Suppose 5*i + 2*o + 17 = -5, 0 = 5*i + 3*o + 18. Let c = i + f. Solve -c*t = -0 - 4 for t.
1
Let v = -12 - -24. Let z be 6*10/15 + 0 + -2. Suppose 0 = -z*x - 4*l + v, 0*x - 3*x = -l - 11. Solve -r = x*r for r.
0
Suppose -178*n + 168*n = -30. Solve -n*m = -16 + 4 for m.
4
Suppose 2*f = -5*b + 29, -3*b + 4*b = -3*f + 11. Let k = -37 + 25. Let u be 62*(-3)/k*2. Solve b*n + 6 = u for n.
5
Let t(o) = o**3 + 22*o**2 - 2*o - 42. Let l be t(-22). Solve -7 = l*g - 1 for g.
-3
Suppose -2*c - 55 = -7*c. Let b(o) = -2*o**2 - o - 2. Let d(a) = 3*a**2 + a + 2. Let w(i) = 4*b(i) + 3*d(i). Let z be w(3). Solve -c = z*u + 9 for u.
-5
Suppose -4*i - z + 11 - 4 = 0, 5*i + z = 9. Solve 0 = 4*d + i - 14 for d.
3
Let g = -39 + 42. Let f(c) be the third derivative of c**6/120 + c**5/10 + c**4/24 + 7*c**3/6 + 5*c**2. Let a be f(-6). Solve -2*q + g = a for q.
1
Let v be ((16/(-5))/4)/((-6)/(-30)). Let b(q) = -q**2 - 4*q + 8. Let y be b(v). Solve 0 = -s + y - 4 for s.
4
Let i = -181 - -185. Solve -i*m + 0 = 8 for m.
-2
Suppose 5*i = 56 - 36. Suppose -1 = 3*o - 2*o + y, -8 = i*o + 5*y. Solve -o*q = 13 - 1 for q.
-4
Let t(a) = 2*a + 40. Let f be t(-18). Solve -3 = -f*j - 19 for j.
-4
Suppose -2*x + 21*x = 76. Solve 0 = 6*b - x - 2 for b.
1
Let a be (-16)/(-12) + -2 - (-44)/3. Let d(v) = v**2 - 13*v - 11. Let j be d(a). Solve 0 = -4*m + j*m - 4 for m.
-4
Let l be 1 - (5 + (4 - 13)). Solve 2*h + l = 3*h for h.
5
Suppose -757 = i - 760. Solve 4*p = -i - 9 for p.
-3
Let z be ((-1 + -23)/2)/(12/(-9)). Solve -5 - z = -7*y for y.
2
Let z(c) = 2*c + 10. Let s be z(-7). Let g = s - -6. Suppose g*i - 1 = i. Solve 6*n = 7*n - i for n.
1
Let g = 2 - -1. Let i = -404 + 396. Let x be g + -1 + (-4 - i). Solve -n - 15 = -x*n for n.
3
Let b be (2 - 3 - 0)*(-14 - -8). Solve b*v + 13 = -11 for v.
-4
Let c be ((-6)/(-4))/(1/6). Suppose 8*q - 15 = c. Solve -d + 0 = q for d.
-3
Suppose 4*k + 3 - 11 = 0. Let g be (-3)/(-4*3) + 1/(-4). Let b be (-4)/10*(-5 + g). Solve -k*v - b = 2 for v.
-2
Suppose 4*w + 8 = -j + 39, -34 = -4*j + 2*w. Suppose j*p = 6*p. Suppose 2 - 14 = -3*s. Solve p = -s*o - o for o.
0
Let y(a) = 5*a + 15. Let f be y(11). Let n be (((-6)/7)/(-1))/(20/f). Solve -n*u = u for u.
0
Let o(a) = 15*a. Let i be o(1). Suppose 0*p + 2*p - 10 = 0, 2*q = -p + i. Solve z = 2*z - q for z.
5
Let k = -66 + 80. Suppose 0 = -5*y + 34 - k. Solve 15 = -d + y*d for d.
5
Suppose -3 + 6 = 3*f. Let n be (-21)/(7/f)*5/(-3). Solve -6*a = -11*a - n for a.
-1
Let h(i) = i**3 + 15*i**2 + 8*i - 21. Let d(b) = -2*b**3 - 29*b**2 - 16*b + 41. Let r(k) = -3*d(k) - 5*h(k). Let s be r(-11). Solve 2*y = 5*y + s for y.
-5
Suppose 3*l + 6 = l, l + 3 = o. Suppose 24 = 5*a - 6*a. Let t = 24 + a. Solve o = -t*j - 2*j + 4 for j.
2
Let l be (-2)/7 + 32/14. Suppose s = -l*s. Let n be s*((-3)/(-6) + -1). Solve 0*g - 3*g = n for g.
0
Suppose 4*u = -3*k + 13, -13 = u - 14. Suppose -3*s - 10 = 5*i - i, 0 = -4*s - i + 4. Solve -p - k = -s for p.
-1
Suppose 6*v - 42 = 6. Let w be (6/v)/(15/40). Suppose 9 = s - 2*z, -5*s + 87 = 2*z + w*z. Solve s = -h - 2*h for h.
-5
Suppose 8*o - 9*o = -2*t - 17, -2*t = -5*o + 77. Solve -o = 166*c - 171*c for c.
3
Let t(n) = -n**3 + 4*n**2 + 5*n + 4. Let l be t(5). Suppose r + l*r = 60. Let f be (-5)/3*r/(-10). Solve f - 1 = c for c.
1
Let l(c) = -c**2 - 17*c + 5. Let z be l(-17). Solve -z*o = 4 - 14 for o.
2
Let f(s) = -s**2 + s + 2. Let y be (-2)/(-13) - (-72)/39. Let h be f(y). Suppose h*o = -o + 3. Solve -o*a = -a for a.
0
Let w be ((-108)/90)/((-3)/10). Suppose -z = -w*z. Solve z = -4*s + s - 12 for s.
-4
Let x be 0 - 3*-1*(-85)/(-15). Solve -2*s - x + 9 = 0 for s.
-4
Suppose -150 = -5*m + 3*u, -41*u = -42*u. Solve 35*c = m*c + 25 for c.
5
Suppose 4*v + 56 = 8*v. Suppose 2*l + 3*z + 7 = 0, l + 2*z + v = 2*l. Solve l*j = 2*j for j.
0
Suppose -47 = -4*i + 5*m, -i + 4*m + 3 = m. Let j = 19 - i. Let d be -1*(j*-6 - -3). Solve -2*w + d = -3 for w.
3
Let q(n) = 5*n + 1. Let d be q(3). Let p(i) = 4 + 8*i + 4*i**3 + 0*i**3 - 2*i**2 - 3*i**3 + 11*i**2. Let w be p(-8). Solve -w = 5*f + d for f.
-4
Suppose 9*x + 10*x - 57 = 0. Solve -3*v + x*v = -v for v.
0
Let m(u) = u**3 + 8*u**2 + 4*u - 15. Let d be m(-7). Solve s + d = 1 for s.
-5
Suppose q + 2*s = 0, 5*q - 3*s - 26 = -0*q. Let t(x) = x - q*x - 6 + 4*x. Let f be t(6). Solve f*c = -4*c for c.
0
Suppose 29 = 2*f + g, 3*f + g + 7 - 53 = 0. Solve f*v + 22 = -29 for v.
-3
Suppose w = 5*y - 14, -7*w + 2*w = -3*y + 26. Solve 0 = y*r - 2 - 2 for r.
2
Let r(k) = 