*m, 0 = -2*m - 6. Let u = -66 - g. Solve 0 = -4*c + 6 - u for c.
-5
Let c(h) = -3*h - 10. Let a be c(-3). Let s be (-1 + (4 - 3))*a. Let p = 4 + s. Solve 20 = -p*g + 8*g for g.
5
Let o = 806 + -796. Solve -o = 10*m + 30 for m.
-4
Let d(l) = -20*l - 17. Let g be d(-5). Let z = 91 - g. Solve 0*r = -4*r + z for r.
2
Let i be (-3)/(-63)*6 - (-37)/(-7). Let x(z) = -z**2 - 4*z + 11. Let j be x(i). Solve -j*y = -y - 15 for y.
3
Let b(c) = -c**3 + 15*c**2 - 4*c + 66. Let l be b(15). Solve -4*i = -l*i - 2 for i.
-1
Let m(x) = -x + 29. Let v be 6/14 - 540/(-63). Let k be m(v). Solve 3*a + a = -k for a.
-5
Suppose 6232 - 6124 = 6*a. Solve 3*j + 6*j = -a for j.
-2
Let w(g) = 20*g - 4*g - 7*g - 10*g + 2. Let h be w(-2). Suppose -3*v - 4 = -2*v + 3*i, 0 = -5*v + i + 28. Solve v*u = h*u for u.
0
Let m = 0 - -5. Suppose -m*z = 6 - 26. Solve l = z*l - 12 for l.
4
Suppose -4*f + 11 + 9 = 0. Suppose n + 6 = -f*c - 16, -5*n - 10 = 5*c. Suppose 0*z = -3*z. Solve -3*m + n = -z*m for m.
1
Suppose -114*c + 34*c + 320 = 0. Solve -6 - 6 = c*s for s.
-3
Suppose -2*r - 9 = -3*a, -2*r = -4*a + r + 12. Let d(l) = 2*l - 9. Let g be d(6). Suppose -a*z + 3 = g*j - 3, 2*z = -4*j + 8. Solve p + j = -p for p.
-1
Let p(b) = -b**3 - 8*b**2 + 11*b + 13. Let s be p(-9). Let m = s + 10. Suppose 4*q - 3 = -3*j + 29, 3*j - m*q = -13. Solve 3*u = j*u - 3 for u.
3
Suppose -5*m + 0*m = 8*m. Let j = -13 + -11. Let h be (j/(-15))/((-2)/(-10)). Solve -3*y + h*y = m for y.
0
Suppose 3*c - 3 = -3*s, -3*c + 29 = -3*s + 50. Solve 0 = -s*q - 6 - 14 for q.
-5
Suppose -3*a + 5*a + 26 = 0. Let n = 19 + a. Suppose 11 = n*v - 49. Solve -4*u - u = v for u.
-2
Let m(t) = -2*t**3 - 2*t + 20. Let n be m(0). Solve 6*r = r + n for r.
4
Let s be ((-156)/(-130))/(3/10). Suppose -s*j - 2 = 5*k + 3, -5*j = 4*k + 4. Solve j*q - q + 2 = 0 for q.
2
Suppose 0*w - w = -8. Let u = -280 - -210. Let z = u - -93. Solve -3*a - w + z = 0 for a.
5
Let a(m) = m**3 - 13*m**2 + 9*m - 18. Let z be a(12). Let s be 2/(-4) - z/4. Let w = 13 - s. Solve w*p - p = 3 for p.
-3
Suppose 5*x - 191 = -2*d, -2*x + 4*d + 173 = 3*x. Solve 7*q + x = 9 for q.
-4
Suppose 5*l - 20 = -3*n, -6*l + 10*l = -4*n + 16. Solve n = -r - 5*r - r for r.
0
Let z be (6/4)/(3/18*3). Solve 0 = p + 7 - z for p.
-4
Suppose 0 = 2*f - 0*f + r - 6, 5*r - 18 = 2*f. Suppose -3*p - 2*l - 2 = 0, -p + l + 0 = -f. Solve 20 = -p*w + 4*w for w.
5
Suppose 6*m + 5 = m. Let p be 6/(-15)*m*10. Suppose 4 = 2*c - 2. Solve c = p*x - 9 for x.
3
Let s = 448 + -444. Let i(h) = -h**3 - 8*h**2 + h + 10. Let w be i(-8). Suppose -2 + 0 = -w*m - 5*t, -5*m + 20 = 5*t. Solve m*u = s*u for u.
0
Suppose -2*t + 24 = -4*n, 5*t - 10 = 3*n + 15. Suppose -5*s + t*s + 12 = 0. Solve 0 = s*z - z + 15 for z.
-5
Let h = -5 + 7. Suppose 8*v = 80 + 576. Suppose -17*f + v + 20 = 0. Solve h*u + f + 2 = 0 for u.
-4
Let c = -732 - -736. Solve -c = -5*p + 6*p for p.
-4
Let b be (6 + -3)/(-7 - (-1030)/145). Solve -30*y + b*y = 0 for y.
0
Let o = 56 + -50. Let m be -6*(4 + (-28)/o). Solve -m*d = -0*d for d.
0
Let r = -638 - -648. Solve r*h = 13*h + 6 for h.
-2
Suppose 4*p = 4 + 16. Suppose -4*n + 3*u + 10 = -0*u, 5 = -p*n - 5*u. Suppose -3*w = 3*x - 27, w - 5 = -0. Solve 3*i + n = x*i for i.
1
Let b be (-6)/(-16)*2*4. Suppose -321 + 35 = -22*r. Solve 2*v + b = r for v.
5
Suppose 1 + 2 = -3*b - 4*c, -b - 5*c = 12. Let o be (24/(-18))/((-2)/b). Let l be (-4)/(-18) + (-6)/27. Solve -o*u = -l*u for u.
0
Let d be 774/39 - 2/(-13). Suppose -5*x + 5*h = -0*x - 30, d = 3*x - h. Solve -5 = 3*w + x for w.
-4
Let f(h) = -71 + 6*h + 23 - 2*h. Let d be f(13). Solve -g = d*g + 10 for g.
-2
Let z be (8/(-5))/((-8)/20). Let n be (32/10)/(z/10). Suppose 0 = -u + y + 6 - 3, -11 = -3*u + 5*y. Solve 0*q = u*q - n for q.
4
Let f(p) = -2 + 0*p + 0*p - p. Let r be f(-2). Let b = 19 - r. Solve -b = 3*s - 7 for s.
-4
Suppose -85 = 3*m - 94. Let i(k) = -k**3 - 6*k**2 + 3. Let r be i(-6). Solve m + r = 2*c for c.
3
Let i(v) = -2*v**2 + 2 - 2 + v**2 - 3*v. Let y be i(-2). Suppose 0 = -4*h - z + 2 + 7, 6 = -y*z. Solve 0*a = -h*a - 3 for a.
-1
Suppose n - 3*i - 24 = 0, -n + 7 = -i - 11. Solve 0 = -7*s - 13 - n for s.
-4
Let u = 0 + 3. Suppose -4*b + b = 0. Let d(j) = -11*j + 110. Let h be d(10). Solve h*t - 3*t + u = b for t.
1
Let c(n) = 2*n**3 - 9*n**2 - 5*n + 3. Let x be c(5). Suppose 0 = -5*w - 4*a - 20, -3*a = -0*w - x*w + 15. Solve w = -3*g + 4*g for g.
0
Suppose 0 = 6*f + 203 - 233. Solve 46*m = 45*m + f for m.
5
Suppose -3*t + 2*t = 10. Let j be t/5 + (-2)/(-1). Suppose 2*h - 4*m + 18 = 4*h, -h = -5*m + 12. Solve -w - h*w - 16 = j for w.
-4
Let h be 0 + (10/(-1) - -3). Let i be h/(-5) - (-6)/(-15). Let d = i + 2. Solve -d*u + 14 + 1 = 0 for u.
5
Suppose -3*f = 2*w - 4, -8 = -w - 3*w + f. Solve w + 13 = 3*z for z.
5
Let j(s) be the first derivative of s**3/3 - 9*s**2/2 + 8*s - 14. Let z be j(8). Solve 5*l - 2*l + 6 = z for l.
-2
Let h(v) = -v**2 + 7*v - 4. Let i be h(3). Let p = i - -25. Suppose p = 4*x - 31. Solve 0 = -0*w + 4*w + x for w.
-4
Suppose -5*j + 4*o = 59, -11 = 2*j + 2*o + 9. Let b(u) = -u**3 - 10*u**2 + 5*u + 6. Let g be b(j). Let p be (0 - -1)*g/9. Solve p - 2 = -3*w for w.
-2
Suppose 0 = -19*p - 19*p. Suppose -9 = -3*q - 0*q. Let y be (q/(-2))/(1/(-2)). Solve p = y*c - 0 + 12 for c.
-4
Suppose 4*j - 8 = -2*n, -3*n + 4*j = -j + 10. Let f be -1 - 368/(-60) - 4/30. Let s = -5 - -10. Solve f = -n*t + s*t for t.
1
Suppose -y + 3*z + 3 = 0, 0 = -3*y - 39*z + 44*z + 13. Solve -y = -100*f + 102*f for f.
-3
Suppose 2 = -4*d - 6. Let p be (-1)/d - (18/4 + -4). Solve 5*s + p = -10 for s.
-2
Suppose -27 = 5*q - 87. Solve 8*w = q*w - 8 for w.
2
Let y be (-50)/(-3) + 1/3. Let o be y/4 - (-2)/(-8). Let z = 8 - 6. Solve o = 2*r + z*r for r.
1
Suppose 52 = 3*d - 38. Let i be (((-6)/4)/(-1))/(15/d). Solve i*z + z = -4 for z.
-1
Let s = 513 + -501. Solve 6*t = s - 6 for t.
1
Let j(r) = r**3 - 7*r**2 + 2*r - 9. Let q be j(7). Let i(t) = -t**2 + 7*t + 9. Let o be i(8). Let k be 4*o*(-9)/(-9). Solve -k*b + q = -7 for b.
3
Suppose 7*z = 4*z + 15. Let r be 2/3 - (95/(-15) - z). Solve -2*p - 2*p - r = 0 for p.
-3
Suppose u + 4*f = -1, -5*u + 14*f + 37 = 13*f. Solve 0 = -2*x + u - 15 for x.
-4
Let u(t) = 24*t - 16. Let c be u(4). Let l = c + -70. Solve 0 = a + l - 7 for a.
-3
Let d(r) = -3*r. Let v be d(-1). Suppose 3*k - 12 - v = -x, -3*k = -4*x - 15. Suppose 0 = 3*t - x*t - 9. Solve -5*s + 2*s + t = 0 for s.
1
Let m = -742 - -744. Solve 12*p + 28 = -m*p for p.
-2
Let b = -22 - -44. Let f = -20 + b. Let c be f + -2 + (-3)/(-1). Solve c*k = -k - 16 for k.
-4
Let n = -40 + 41. Solve -2*s - 3 + n = 0 for s.
-1
Let p be -4*(-4)/8 - 0. Solve 8 = 2*k + p for k.
3
Suppose -84 = 6*z - 20*z. Solve -2 = -z*r - 20 for r.
-3
Let v(a) = -a**3 + 4*a**2 - 17*a + 37. Let g be v(2). Solve 12*f = g*f - 1 for f.
-1
Suppose -90 = u - 94. Let s(c) be the second derivative of -c**4/12 + c**3/2 + 3*c**2 - c. Let i be s(u). Solve -i*x = -3*x for x.
0
Let k be (-4)/6 + (-28)/(-6). Suppose k*n - 5 = -n. Let i be ((-3 - -1) + 3)/n. Solve 0*u - i = u for u.
-1
Let z = 76 + -72. Suppose 2*k - k - h = -z, 20 = -4*k + 5*h. Solve k = 9*j - 6*j + 6 for j.
-2
Let k = -41 - -59. Let q be 33/k - 2/(-12). Suppose q*a + 4 = 0, -a = -x + 2*x. Solve 0 = 4*l + x + 2 for l.
-1
Let d(u) = -24*u + 28. Let v be d(1). Solve 6 + v = 5*r for r.
2
Suppose r + x - 7 = 0, -3*r + 10 = -2*r + 4*x. Solve 2*p - r = -0 for p.
3
Let z(b) = b**3 - 3*b**2 + 3*b - 2. Let c be z(2). Suppose 5*q - 4*d + 4 - 28 = c, -5*d = 2*q - 3. Solve 0 = 2*i + 2 - q for i.
1
Suppose 5*l - 35 - 20 = -5*c, -2*l - 2 = -4*c. Let u = 7 - l. Suppose u = 3*g - 0*g - 9. Solve 0 = -t - g*t + 20 for t.
5
Let q(j) = -j**3 - 13*j**2 - 48*j - 30. Let g be q(-6). Solve g = 8*n + 22 for n.
-2
Suppose 0*w = w + 2*g - 12, -2 = -g. Suppose -3*k - 15 = -w*k. Solve 0 = k*y - 7*y for y.
0
Let t(d) be the first derivative of d**3/3 - d**2 - 10*d - 27. Let y be t(5). Solve -y*o + 2 = -3 for o.
1
Let u(o) = o**3 - 11*o**2 - 10*o - 24. Let g be u(12). Solve g = -10*f + 6*f - 8 for f.
-2
Suppose -54*z - 83 + 305 = 20*z. Suppose 0*s - 4*l - 34 = -5*s, 2*s = l + 13. Solve 3*i + s = -z for i.
-3
Suppose 2*b + 70 = -104. Let q = b - -91. Solve -q = -d - 1 for d.
3
Let o(l) be the first derivative of l**4/12 - 7*l**3/6 - 3*l**2 + 3. Let n(d