be 6 - 8 - ((-1 - -2) + -6). Solve -x = 3*m - 0 for m.
-1
Let x be 3/(((-3)/177)/(-9 + 8)). Solve -10*h - x = -217 for h.
4
Suppose 2 = 166*y - 165*y. Solve 8*f = -y*f for f.
0
Suppose -3*x = -4*r - 5*x - 158, 0 = -r + x - 44. Let g = r - -44. Solve 6 = -h + g*h for h.
3
Let c(q) be the first derivative of -q**2/2 + 6*q + 2. Let p be c(4). Suppose -6 = -p*s - 2. Solve 2 = s*v - 0*v for v.
1
Suppose -5*j = -5*n + 6 + 9, 2*n - j = 8. Let u = n + -1. Let v = 50 + -48. Solve x + u = v*x for x.
4
Suppose -5 = -4*v + 3*y, 4*v = -5*y + 4*y + 9. Let c(f) = 2*f + 5. Let p be c(0). Suppose -16 = l - p*l. Solve 0 = l*m + v - 10 for m.
2
Let b(i) = -27*i**2 - i - 4. Let q be b(2). Let p = q - -118. Solve 6*c - p*c = 6 for c.
3
Let a(r) = -r**2 + 9*r - 14. Let s be a(6). Suppose 0 = s*h - 8, 3*w - 3*h + 2*h + 2 = 0. Solve w = -4*x + x - 3 for x.
-1
Suppose 2*a + 1 = a. Let t be (-5)/a - (0 + -2). Solve 4*k - t - 9 = 0 for k.
4
Let x be 1 - 44 - (3 + -3). Let v = -43 - x. Solve v = -6*u + 2*u + 16 for u.
4
Let p(k) = 7*k**2 - 17*k - 33 + 6*k**2 - 19*k**2 + 5*k**2. Let v be p(-14). Solve 4*b + v = 25 for b.
4
Suppose 3*p + 5 = 8*p, 2*h - 3*p = 47. Let b = h - -23. Let z be (10/(-3))/((-16)/b). Solve 3*g - z = -2*g for g.
2
Let i = 1385 + -1356. Solve i + 21 = 10*n for n.
5
Let p(f) = 59*f + 354. Let r be p(-6). Solve -17*w + 24*w - 35 = r for w.
5
Let f(d) = d**2 - d + 2. Let z be f(0). Suppose 17 - 7 = z*l. Solve l*b + 0*b = -15 for b.
-3
Let g(w) = w**2 + 6*w + 5. Let c be g(-5). Let y = 316 - 304. Suppose c*u - 48 = -3*u - 4*b, 0 = 2*u - 4*b - y. Solve u = 5*k - 3 for k.
3
Suppose -4*l + 8*l = -8. Let c be -4 + 2 + (0 - l). Solve c = -0*d - 4*d + 4 for d.
1
Let c(k) = k**2 + k - 1. Let q(a) = 6*a**2 + 6*a - 7. Let r(s) = 5*c(s) - q(s). Let l be r(0). Solve -t + 3 = l*t for t.
1
Let g(y) = y**3 - 6*y**2 + 7*y + 4. Let q be g(4). Suppose -35 = -2*u - 3*u. Solve q = -u*p + 2*p for p.
0
Suppose 3*c - 8 = -c + 4*z, -3*c = 5*z - 38. Solve 0 = c*l - 9 - 3 for l.
2
Let k = 110 - 160. Let t = -48 - k. Solve t*d = 6*d for d.
0
Let h = 1174 - 1163. Solve -h*g - 1 = -12*g for g.
1
Let y(r) = r**2 + 7*r + 6. Let f be y(-6). Suppose 0 = 2*c - 5 - 3. Let n be (85/(-10) - -6) + 29/2. Solve -c*u + n = -f for u.
3
Let a be 2 - (1 + (-2 - -11)). Let w(s) = s**3 + 9*s**2 + 7*s - 5. Let k be w(a). Solve 5*l - 4*l = -k for l.
-3
Let p be (-1 + -4)/((7 + 1)/(-24)). Solve p*n = 12*n - 15 for n.
-5
Let h be 10/4 + 9/(-18). Solve -10*p - h = -9*p for p.
-2
Let w be 5 - 12/(-24)*2/1. Solve -2*j = -0*j - w for j.
3
Let s = -22 - -32. Let m be (-1 - (-68)/44) + (-64)/(-44). Solve m*l + s = -0*l for l.
-5
Let i(p) = -7*p**2 + 25*p - 12. Let t(a) = 6*a**2 - 25*a + 13. Let r(w) = 4*i(w) + 5*t(w). Let q be r(12). Solve -u + 16 = -q*u for u.
-4
Let h(w) be the third derivative of -w**4/12 + w**2. Let l be h(-1). Suppose l*b - b = 0. Solve b = 4*q - q + 12 for q.
-4
Let g(l) = l**3 + 13*l**2 - 6*l + 118. Let f be g(-14). Solve 6*z = f - 0 for z.
1
Let k = -558 + 582. Solve -23*h = -k*h + 4 for h.
4
Let s be (-4)/(-6)*9/2. Solve -8 = g - s for g.
-5
Suppose 3 = -3*l - r, 5*l - 6 + 11 = -2*r. Let p be l + -1 + 9 - 8/2. Solve -p*c = -0*c for c.
0
Let w = 21 - 18. Suppose w*p = 3 + 6. Solve -2 = -k + p for k.
5
Suppose 49*n = 43*n + 18. Let z(v) = v**2 - 7*v + 7. Let i = -4 - -10. Let r be z(i). Solve n*d - r = 2*d for d.
1
Suppose 0 = -5*z + 8*z - 36. Suppose -z*r + 6*r = 0. Solve r = -0*j + 5*j - 15 for j.
3
Let i(n) = n**3 - 12*n**2 + 54*n - 24. Let c be i(6). Solve 79*o = c*o for o.
0
Let g(t) = t**3 - 17*t**2 - t + 20. Let d be g(17). Suppose 19 - 1 = d*c. Solve -n = 2*n + c for n.
-2
Let w(t) = t**3 - 5*t**2 + 8*t - 11. Let p be w(4). Solve -8 - 17 = -p*k for k.
5
Let o be (-7)/(-28) + 2/(-8). Suppose o = -17*w + 13*w. Suppose p = -4*g - 2, 4*g - 4 = -w*g + 2*p. Solve 0*k + 3*k = g for k.
0
Let s(m) = 2*m + 26. Let k(n) = -2*n**2 + 3*n + 3. Let l be k(-2). Let a be s(l). Suppose -5*i + 36 = -64. Solve i = -a*r + 4 for r.
-4
Let h(d) be the third derivative of d**5/60 - d**4/24 - d**3 - 19*d**2. Let v be h(-2). Solve -2*l + 9 + 1 = v for l.
5
Let v be 21/(-14)*(-4)/6 - 89. Let h = v + 88. Solve 5*o + 9 + 11 = h for o.
-4
Suppose 0*o - 4*o - 84 = -4*t, -5*o - 5*t - 105 = 0. Let a be 43/(-5) - o/35. Let v be (-6)/(-4)*a/(-6). Solve v*d = -d - 15 for d.
-5
Let b be (-4)/30 + 66/495. Solve -j + 3*j = b for j.
0
Suppose -9 = 6*a - 123. Suppose 0 = -2*n + 5*v - 4*v + 5, n + v = -5. Suppose 4*w - 16 = -c, 3*w + 3*c - a - 2 = n. Solve -w*z = -6*z + 6 for z.
2
Let r = 65 + -41. Solve -9*g + r = -3*g for g.
4
Suppose 10 - 3 = u. Let b(l) = -l + 7. Let a be b(u). Suppose -3*w + 1 = -8. Solve a = y - w*y - 6 for y.
-3
Suppose 0 = 3*t - 4 - 8. Let y be -2 + (40/5 - -6). Solve -t = -4*x - y for x.
-2
Let q(c) = -c**2 - 2*c + 59. Let a be q(6). Solve 0 = a*k - 12*k for k.
0
Let t(l) = 70*l - 70. Let z(a) = 7*a - 7. Let q(r) = -5*t(r) + 49*z(r). Let j be q(5). Let c be (-21)/6*32/j. Solve k + c = -0 for k.
-4
Let r = -189 + 201. Let l = 41 - 23. Let m be (-3)/l - (-2)/r. Solve -2*w + 3 + 7 = m for w.
5
Let u(s) = -s**3 + 5*s**2 + 8*s - 8. Let q be u(6). Suppose 0*d + q*c = 5*d - 21, -19 = -3*d - 4*c. Solve d*i = -10 - 15 for i.
-5
Let o = 36 - -64. Let r = 109 - o. Solve r*x = 4*x - 25 for x.
-5
Let d(c) = -23*c - 12. Let x be d(-3). Let b = x + -43. Solve 5*o + 11 = -b for o.
-5
Let s = 18 + -20. Let y be ((-3)/s*(-2 + 0))/(-1). Solve m - y = -0 for m.
3
Let b be (-15)/(-12)*(4 + 0). Suppose 10 = 4*z + 2*v - 26, -4*v = -z + 18. Solve b*i - z = -5 for i.
1
Suppose 6*s + s - 28 = 0. Suppose -s*b + 24 = -2*i, -3*i - 4 = 2. Solve 3*q = b*q for q.
0
Let z(r) = 4*r**3 - r. Let i be ((-5)/(-20))/((-1)/(-4))*1. Let c be z(i). Solve -c*t + 5*t = 0 for t.
0
Let r be (-1)/((33/990)/(4/(-5))). Solve 0 = -c - 5*c + r for c.
4
Suppose -2*o + f + 15 = -0*f, -2*o + 4*f + 24 = 0. Let i(w) = 10*w**2 + 21 - w**3 - 3 + o*w**2 - 16*w. Let d be i(15). Solve d*c = c - 4 for c.
-2
Let p = 471 - 1010. Let t be (-2)/(-17) + p/(-187). Suppose 0 = -b + t*b - 10. Solve 0*h = -5*h + b for h.
1
Let m be (-114)/361*-19 + 2/1. Solve 9 = m*a + 1 for a.
1
Let r(y) = y**3 - 18*y**2 + 1. Let q be r(18). Let w be 5*(1 - 0/1). Suppose 0 = k - w*k - t + 20, -k = 5*t - 5. Solve k + q = -3*b for b.
-2
Suppose 13 = 2*t - 4*i - 13, -4 = i. Solve 3*d - 4 - t = 0 for d.
3
Let b be 77 + -6 + 56/8. Solve t + 25*t = -b for t.
-3
Let f = -360 - -366. Solve 0 = 3*t - f for t.
2
Let n be -3 + 90/24 - (-1521)/36. Solve -n*m = -41*m - 4 for m.
2
Let o(m) be the first derivative of -m**2/2 - 2*m - 28. Suppose -2 = -i + 2*w - 0*w, -i - 4*w = 22. Let u be o(i). Solve -u*x = -5 + 21 for x.
-4
Let g be (22/14 + -1)/((-27)/(-189)). Solve g*a = a + 3 for a.
1
Let u(x) = 4*x - 2. Let k be u(-5). Let d = -20 - k. Solve 0 = 2*s - d + 10 for s.
-4
Suppose -68 = -0*q - 17*q. Solve -q*p = 44 - 48 for p.
1
Suppose -233*g + 226*g = -14. Solve -6 = -2*f + g for f.
4
Let j be 12/(-84) + 184/14. Solve -j - 2 = -5*c for c.
3
Let g(y) = y**2 + 14*y - 25. Let f(v) = -2*v**2 - 29*v + 49. Let h(x) = -3*f(x) - 7*g(x). Let u be h(-13). Solve -u*p = 3*p for p.
0
Let z be 0*(55/(-20))/(-11). Solve z = -5*y - 0 for y.
0
Let x = 545 - 540. Solve 0 = j - x*j for j.
0
Suppose -7*x + 3*x = -36. Let s = -7 + 7. Let c be s/(-1) + (-2)/(-1). Solve i - x = -c*i for i.
3
Suppose -62*o = -10*o. Solve -8*k + k + 14 = o for k.
2
Let s(c) be the third derivative of -c**6/120 - c**5/10 - 7*c**4/24 + 2*c**3/3 + 17*c**2. Let a be s(-4). Solve -f = -4 - a for f.
4
Let t(z) = z**3 + 10*z**2 + 5*z - 6. Let k be t(-9). Suppose -4*g + 2 = -k. Solve 0*l = 2*l + g for l.
-4
Let p(v) = v + 11. Let s be p(-7). Solve -5*w + s = -1 for w.
1
Suppose 3*k = -5*y + 73, 3*y = 4*k - 3*k + 41. Suppose -8*s = y - 30. Let q(v) = 3*v**2 - 3*v + 1. Let l be q(2). Solve 3 + l = -s*w for w.
-5
Let m be (-2 - 0) + 18/2. Suppose -5*d + 8 = -m. Suppose -d*p = -p - 6. Solve j + 1 - p = 0 for j.
2
Let p(s) = s**2 - 84*s + 869. Let w be p(72). Solve w*n - 213 = -198 for n.
3
Let n = -6 - -7. Suppose 2*j = 5*o - 7 + n, -3*o + 4 = -j. Solve -4 = -0*p - j*p for p.
2
Let j(s) = s - 7. Let h = 6 - 4. Suppose -20 + 6 = -h*n. Let v be j(n). Solve v = 2*w - 6 + 16 for w.
-5
Let k(b) = -b**3 + 13*b**2 + 16*b - 25. Let u be k(14). So