 -w**2 + 7*w - 3. Let t be k(4). Solve m + x*m = t for m.
3
Let l(x) be the first derivative of -x**4/4 - 5*x**3/3 - 2*x**2 - 2*x + 4. Let g be l(-5). Suppose 4*j + 2*a = -4, -3 + g = -j - 4*a. Solve j + 3 = -o for o.
-4
Let l(d) be the third derivative of -d**5/60 - 5*d**4/24 - d**3/2 + d**2. Let z = 528 + -531. Let m be l(z). Solve m*f + 6 = -0*f for f.
-2
Let a be ((-1 - 1) + 3)*3. Let k(g) = -g**3 - 7*g**2 - g - 2. Suppose 4*s + 37 - 9 = 0. Let r be k(s). Solve -10 = -a*v + r for v.
5
Let g be 5/2*((-26)/(-5) + 0). Let b = 25 - g. Solve 0 = -3*o - b for o.
-4
Let m(d) be the first derivative of d**3/3 + 3*d**2/2 - 5*d + 3. Let l be m(-5). Solve 0 = -l*o - 13 - 12 for o.
-5
Let a be (5/(-3))/((-20)/24). Let p be (0 + 10)*1/a. Suppose 0 = -5*z - 4*k + 34 - p, 25 = z - 4*k. Solve -m = z - 4 for m.
-5
Suppose -37*g - 90 = -35*g. Let w(n) = n**3 - n + 3. Let z be w(0). Let o be 4/z*g/(-10). Solve r = -r - o for r.
-3
Let t be (-2)/5 - (-484)/110. Suppose c + t*c = 20. Solve -5*a + 11 = -c for a.
3
Let l(o) = o**2 + 5*o - 4. Let d be l(-6). Suppose d*x = 4*f + 10, 5*x = 40 - 15. Let w be f/(-1)*4/4. Solve -3 + w = b for b.
-3
Suppose 0 = -2*d - 2*g + 38, -5*d + 106 - 11 = -4*g. Solve 0 = 17*y + d + 32 for y.
-3
Let k = -919 + 925. Solve -k - 2 = -2*g for g.
4
Suppose -4*g + 4 = -2*g. Suppose -2*b = -5 - 1. Suppose 4*v - 43 = 5*k + 10, -5*v + 20 = 3*k. Solve -g*t = -v + b for t.
2
Suppose -37 = 2*l - 117. Let a = -22 + l. Let n = a - 15. Solve 2*m = n - 5 for m.
-1
Suppose -d + 5*q = -31, 2*d = -2*d + 3*q + 56. Suppose p = 2*i - 4, 0 = -i + 2*i + 3*p - 16. Suppose 10*t - 54 = -i. Solve t*y - d = -1 for y.
2
Suppose 0 = -327*w + 322*w + 155. Solve w*n - 30*n = 1 for n.
1
Let b(h) = -h**2 + 14*h - 4. Let w be b(13). Let x = 12 - w. Let n be (-2 + 1)*(-1 - -1). Solve -x*l = -n*l - 3 for l.
1
Let g = -2 + 3. Let r be 3*1 - (2 - g). Let o be -3 + (1 - -1)*(10 + (-6 - 1)). Solve -s - o = r*s for s.
-1
Let s(i) = i + 2. Let v be s(-9). Let g be -8*(v/4 + 1). Suppose 4*f = -g + 18. Solve -20 = a + f*a for a.
-5
Let c(p) = 2*p**2 - 25*p + 93. Let k be c(5). Solve -14*h = -k*h + 16 for h.
4
Suppose 13 + 9 = -8*t + 22. Suppose 2 + 13 = 5*r. Solve -r = -3*x - t*x for x.
1
Let o(f) = f**3 - 2*f + 1. Let u = -34 - -35. Let b be o(u). Suppose -y = -b*y. Solve y = -0*q + 3*q for q.
0
Let v = 6 - 3. Suppose -l - 2 = -v. Let m be 9 + (-4)/(3 + l). Solve 0 = -7*j + 3*j + m for j.
2
Let h(y) = 11*y + 146. Let o be h(-13). Solve -4*q = -q - o for q.
1
Let n be 10/(4/2)*1. Solve n = 10*i - 9*i for i.
5
Let w be (8/(-5) + 2)/(6/15). Let f be -3 + 5 + 3/w. Solve 0 = -a - f + 1 for a.
-4
Let l be 15/(-6)*(-10)/(-150)*-12. Solve 6*d + 12 = l*d for d.
-3
Let a(u) = 16*u - 130. Let g be a(9). Solve -12*d = -g*d - 6 for d.
-3
Let m be (-7 - 12/(-4)) + 1. Let w be (15 + -3)/((27/(-6))/m). Solve -2*d - w + 4 = 0 for d.
-2
Let c(l) = -l + 3*l**2 - 3 - 4*l**2 + 2*l**2. Let m be c(-2). Let y be (m/(-6))/(-1)*0. Solve -u + 5 = -y for u.
5
Let t = -15 + 22. Let r(j) = j**3 - 9*j**2 + 14*j + 5. Let m be r(t). Solve 1 = -m*a - 14 for a.
-3
Let g(v) be the second derivative of -v**4/12 - 4*v**3/3 - 5*v**2/2 - 4*v. Let j be g(-7). Let p = 2 + j. Solve p*n - 4 = 2*n for n.
2
Let y(r) = -r**3 - 11*r**2 + 10*r - 20. Let k be y(-12). Let v(l) = 2*l - 6. Let f be v(k). Solve f*g - g + 5 = 0 for g.
-5
Suppose -3*x - 12 = 0, 2*p + 2*x - 40 = 5*x. Suppose 0 = 13*y - p*y. Solve 5*c + 5 = -y*c for c.
-1
Let g(n) be the third derivative of -n**6/360 - n**5/20 - n**4/8 + 3*n**2. Let c(u) be the second derivative of g(u). Let r be c(-9). Solve -r = 5*w - 2 for w.
-2
Suppose 3*f = -4*h - 1 - 2, 3*f - 11*h - 42 = 0. Solve f*i - 191 = -206 for i.
-5
Let m(s) = 5*s**2 + s + 6. Let x(f) = 9*f**2 + f + 12. Let i(l) = -11*m(l) + 6*x(l). Let w be i(-6). Solve 3*h + 0*h + 15 = w for h.
-5
Suppose 2*n + 60*i - 76 = 58*i, 0 = 5*n + 2*i - 175. Solve 34*m + 2 = n*m for m.
-2
Let u(g) = -g**2 - 3. Let c be u(-2). Let k be (c + 12 + -1)/((-1)/(-2)). Solve -3*y = 20 - k for y.
-4
Let n(g) = g**2 - 56*g + 528. Let c be n(44). Let y be 0*(0 + 0 + 1). Solve y = 3*i - 9 - c for i.
3
Let p(z) = z**3 - 5*z**2 - 15*z + 19. Let v be p(7). Solve 7*l - v = 11*l for l.
-3
Suppose 2*y - 2*x = 8, 0 = y + 2*y - 5*x - 8. Let j = y + 0. Solve h + h = j for h.
3
Let q(c) = 5*c**2 - 44*c + 35. Let g be q(8). Solve g*r = 5*r - 2 for r.
1
Let u = -314 + 323. Solve -u = 3*q - 9 for q.
0
Suppose 0 = -4*r - 3*t + 24, 5*r - 4*t - 18 = 12. Suppose 41*d + r = 43*d. Solve m - d = -4 for m.
-1
Let d(a) = -a**3 + 9*a**2 + 12*a - 15. Let k(b) = 2*b**3 - 3*b**2 + 3*b. Let t be k(2). Let z be d(t). Suppose 14 = z*x + 4. Solve 3*o = x*o for o.
0
Suppose -3*o + 8 = o, -3*a - 3*o - 12 = 0. Let w be -2*(-3)/a - -14. Suppose 0 = 9*h - w*h. Solve -5*v + v = h for v.
0
Suppose -2227 = -61*f + 44*f. Solve -2*n - f = -135 for n.
2
Suppose 2 = o - 1, s - 18 = -4*o. Let x = 3 - 1. Suppose 0 = q - 6*q - 15, 4*d - 14 = -x*q. Solve d*p - s = 19 for p.
5
Suppose 4*b + 22 = -2*w, 0 = -4*b + b + 5*w - 49. Let m be b*1/2*-1. Suppose m*l + 10 = 9*l. Solve 0 = g - l*g - 5 for g.
-5
Suppose t - q = 6*t + 12, -3*q = 6. Suppose 0 = 3*y - 6. Let i = y + t. Solve b - 3*b + 8 = i for b.
4
Let s = 16 - 14. Suppose -f - f = s*k - 40, 5*k - 3*f = 100. Let j = k + -18. Solve p - j = 3 for p.
5
Suppose -5*q = -3*m - 43, 6 = 4*q - 3*q + 2*m. Let j = -2 - 0. Let b be (q/(-5))/(j/5). Solve -b*r + 8 = -0*r for r.
2
Let d be ((-30)/4)/((-12)/24). Suppose -5*r + 8*r = d. Solve -3*p - r = 1 for p.
-2
Suppose 3*z + 0*z - 15 = 3*s, 2*s = -5*z + 53. Let f = 9 - z. Solve f = -2*w - 4 + 2 for w.
-1
Let a = -236 + 264. Solve -7*w + 0*w + a = 0 for w.
4
Let z = 10 + -5. Suppose z*b = 6 - 1. Suppose -b = -4*d + 3. Solve s + 0 = -d for s.
-1
Let t(s) = 1 + 3 - s + 8 - 2. Let v be t(10). Solve v - 20 = 4*j for j.
-5
Suppose 4*g = -2*c - g - 14, c - 7 = g. Solve 0 = -c*p - 0*p + 6 for p.
2
Let l(p) = p**2 - 9*p + 4. Let y be l(9). Suppose 5*q = 7*v - 5*v - 15, -5*q = -v + 15. Solve 4*m + y + v = 0 for m.
-1
Let f(y) = 75*y - 583. Let b be f(8). Solve -b = -8*l + 15 for l.
4
Suppose -1 = 4*d + 4*h - 29, 3*h + 4 = 2*d. Let t be (d*4/10)/((-2)/(-4)). Solve t*r - 5*r = -1 for r.
1
Let q = 320 - 186. Let y = -130 + q. Solve -2*m - y = -0 for m.
-2
Let q = 3 + -7. Let g be (-1)/((-4)/(1*q)). Let h = g + 7. Solve -h*r = -r - 15 for r.
3
Let b = -728 + 738. Solve -b*y + 60 = 2*y for y.
5
Let n be -3 + (-3 - -1) + 15. Solve 5*l + n = -0*l for l.
-2
Let j = -27 + 30. Suppose 0*p + j*p = 0. Solve 0 = y - p*y + 5 for y.
-5
Let x = 35 + -38. Let u be (1 + (-2 - x))*2. Solve 5*p + u = 3*p for p.
-2
Let v(c) = -c**2 - c. Let d be v(-1). Let o(m) = 3*m**2 - 4*m - 3. Let u be o(-1). Let g be 0 - (u - d)*-1. Solve 4 + 0 = g*t for t.
1
Let v = 386 + -382. Solve -57 = -v*r - 57 for r.
0
Let c = -385 - -404. Solve 6 = 22*g - c*g for g.
2
Let c = 4 + -1. Suppose -c*m + 5*m = 0. Solve -6 = -2*n - m*n for n.
3
Let z(i) = -i**2 - 19*i + 68. Let m be z(-21). Let t = m - 26. Solve 0*w - 4*w - 12 = t for w.
-3
Suppose -7*s = -0*s + 3*s. Solve s = 5*b + 9*b + 28 for b.
-2
Let u be (5/(-15))/(2 - 3)*15. Solve -u*j = -j - 20 for j.
5
Suppose s - 4*m + 30 = 0, -1 = 4*s + 3*m + 24. Suppose 21 = 2*q + 5*k - 2*k, 0 = -4*q + k + 49. Let f = q + s. Solve 6*j = f*j for j.
0
Let n = 25 - 21. Suppose 2*t - 6 = n. Suppose t*l = -r - 3*r + 10, 6 = 3*l - r. Solve 0 = c - 0 + l for c.
-2
Suppose 3*v + 84*k = 80*k + 15, 4*v - 16 = -4*k. Solve 13*o - 12*o = v for o.
1
Suppose -65 - 95 = -5*n. Suppose -5*l - 12 = -n. Let t(z) = -z**3 + 3*z**2 + 7*z - 10. Let d be t(l). Solve -2*f + f = d for f.
-2
Let d(k) = -k**2 + 2*k + 10. Let f be d(4). Suppose -6*s - 2*s = f*s. Solve s = 6*v - 3*v for v.
0
Suppose 5*w - 18 - 7 = 0. Suppose 0 = 4*t - 2*l - 0*l - 28, w*t = -4*l + 22. Let a be 15/6*t/15. Solve a = -3*o - 5 for o.
-2
Let o = -126 + 161. Let j = o + -33. Solve j*l + 3*l - 25 = 0 for l.
5
Suppose 3 + 5 = 2*i. Suppose 0 = -n - 25. Let u = -17 - n. Solve -i*j + u*j - 8 = 0 for j.
2
Suppose 3*c = 3*l - 6, -3*l = -c + 62 - 68. Let k be 2/6*(0 - -3). Solve c = -u - 0*u - k for u.
-1
Let g(n) = -n**2 - 4*n - 2. Let j(s) = -2*s**2 - 7*s - 4. Let r(i) = -9*g(i) + 4*j(i). Let b be r(-8). Suppose 3*z - 75 = -b*z. Solve f - 6*f + z = 0 for f.
3
S