0 = -c*o + 5*o - 14 for o.
-2
Suppose -71 + 383 = -12*b. Let u = -26 - b. Solve u = -5*w + 10 for w.
2
Let z(m) = m + 17. Suppose 0 = 8*x - 13*x - 10. Let l be z(x). Solve 4*a - l = -3 for a.
3
Let c = -71 - 0. Let l = c + 71. Let s = 8 - 6. Solve s*m - 6*m = l for m.
0
Let w = -3341 + 3343. Solve 43 = w*c + 45 for c.
-1
Suppose -111*c - 8186 = -39266. Solve -11*d - c = -247 for d.
-3
Suppose -4*m = 31*h - 28*h + 13, 3*h + 10 = -m. Let r(t) = -t**2 + 8*t**2 + 3 + t**3 + 7*t - 2*t**2. Let a be r(h). Solve 0 = -4*i - a*i - 12 for i.
-3
Let p = -14938 - -15038. Solve -8*r = -33*r - p for r.
-4
Suppose 0 = 4*r + s, 4*s - 35 + 20 = -r. Let q be ((-52)/(-65))/(37/35 + r). Solve -4*k + 2 = -q for k.
4
Let o(b) = -b**3 - 15*b**2 + 25*b + 288. Let s be o(-16). Solve -2*f - s = -162 for f.
9
Let v(y) = -y**2 + 97*y - 1759. Let i be v(71). Solve 39*m + i = 9 for m.
-2
Let f = 84 + -59. Suppose -28*y + 23*y - f = 0. Let s be (3/(-15)*y)/(2/6). Solve -2*h + s*h = -4 for h.
-4
Let q(j) be the first derivative of -13*j**2 - 46*j + 33. Let k be q(-2). Solve -10*s - 8 = -k*s for s.
-2
Suppose -4*v = 4*y, 5*y + v + 10 = -2. Let g = 6 - y. Solve -7*c = -g*c for c.
0
Suppose -3 = 11*j - 12*j. Suppose -u + o = -41 - 11, 2*u - j*o = 106. Let k = 60 - u. Solve f + f - k = 0 for f.
5
Suppose -z = -2*k - 1, -3*z = k - 10 - 7. Let i(a) = -2*a - a**3 - 5 + 2*a**3 - 2*a - 4*a**2. Let r be i(z). Solve r = -2*h + 4*h + 2 for h.
-1
Suppose -4*z + 5*j = -10 + 99, -5*z = -4*j + 109. Let f(h) = -2*h - 42. Let o be f(z). Solve o = 5*a - 44 + 44 for a.
0
Suppose -156*o = -224*o + 204. Solve -o*v = -39*v for v.
0
Suppose -5*i + 13*i - 40 = 0. Let l(o) = -53 + i*o - 85 + 111 + o**2 - 4*o. Let x be l(-7). Solve 10*h - 5*h + x = 0 for h.
-3
Let k = 62 - -13. Suppose k*y = 76*y. Solve -z + 2*z + 3 = y for z.
-3
Suppose -z - 3*w = 14 - 6, -z = w. Solve -10*u + z*u = -0*u for u.
0
Let h = -197 - -224. Solve h*s = 39*s - 36 for s.
3
Suppose -341*d = -323*d - 9828. Solve -d = 5*n - 566 for n.
4
Let r(o) = o + 12. Let b be r(-6). Let q = b + -3. Let y be ((-52)/(-6))/(2/q). Solve 2*a - 3 = -y for a.
-5
Let w be (4/6)/((-2)/(-30)). Let k = -12215 + 12218. Solve w = k*y - 5 for y.
5
Suppose 2*c + 2*j + 2 = 0, 2 = 3*j + 14. Let z be -10*(4/((-20)/(-29)) + -6). Solve c*i = -z*i - 5 for i.
-1
Let u = 3 - -12. Suppose 71*d - 75*d - 296 = -152*d. Solve -d*p + u = 5 for p.
5
Let r(s) = -s**2 - 8*s + 1. Let f be r(-8). Let h = f - -7. Suppose h + 0 = 4*v. Solve v*d + 2 = d for d.
-2
Suppose -24*f + 866 = 379 - 713. Solve 10 + f = 30*q for q.
2
Let k = -33 - -45. Let i be (18/k)/((-2)/(-20)). Let w = i + -15. Solve w = -2*d - 2 for d.
-1
Let k = 706 + -736. Let s be (3/(-9))/(2/k). Solve -l = 6 - s for l.
-1
Let d(v) = -v**3 - 11*v**2 - 2*v + 15. Let a be d(-8). Let b = -156 - a. Solve b*i = i for i.
0
Let t(k) = 3*k + 47. Let p(g) = -2*g - 46. Let r(v) = 4*p(v) + 5*t(v). Let o be r(-7). Suppose -o = -9*q + 106. Solve -4*l - 28 = -q for l.
-4
Suppose 18*s - 1057 = -103. Solve s*g - 50*g + 12 = 0 for g.
-4
Let r = -195 - -198. Suppose x + 7 = -r*i - 3, 4*i + 25 = x. Solve 4*v - x - 11 = 0 for v.
4
Let u be (-326)/(-9) - 4/18. Let w = -6685 - -6689. Suppose -w*s - 8 = -u. Solve i - s = -2 for i.
5
Suppose 6*l - 24 = 66. Suppose l*z = 19*z - 16. Solve 2 = -z*w + 22 for w.
5
Suppose 2*p - 6 + 38 = 2*d, 0 = 5*d + 2*p - 115. Solve 9*l + d = -6 for l.
-3
Let k(z) be the first derivative of 3*z**2/2 + 2*z - 85. Let u be k(0). Suppose 3*x - 44 = -8. Solve -u*b = b + x for b.
-4
Suppose -5*t = 5*x - 0*x + 300, 5*x = -4*t - 240. Let l = 80 + t. Let v(d) = d**3 - 9*d**2 - 11*d + 13. Let u be v(10). Solve -2*b + l = u*b for b.
4
Suppose 0 = -3*s + 4*w + 127, -2*s + 6*w + 103 = 7*w. Solve 9*q - s = 5 for q.
6
Suppose -231*n - 227*n + 550 = -436*n. Solve -4*b - 9 + n = 0 for b.
4
Let j(v) = 2*v**3 + 15*v**2 - 7*v + 12. Let w = 19 + -27. Let z be j(w). Solve -2*b = -z*b - 10 for b.
-5
Let s be 0 + (2 - 2)/2. Suppose -8 = -4*q - 2*l, -3*l + s*l = -4*q - 2. Let i be (12/(-3))/(-1) + q + -3. Solve i*f - 4*f = -4 for f.
2
Let x be (-10 - (-266)/35)*100/(-8). Solve -11*p - 96 = -x for p.
-6
Let n be -4*(-1 + (-4)/(-8)). Let i be -5 - (-7 + (-4 - -3)). Let b be n/(-1 + i) + (56 - 53). Solve -2*l + 6 = -b*l for l.
-3
Let q = -271 + 393. Let c = -529 + 407. Let f = c + q. Solve f = -6*r + 9*r - 9 for r.
3
Let y = 166 - 161. Suppose 12 = 4*j - 2*a, -y*j + 0*a + 15 = -a. Solve 4 - 1 = j*n for n.
1
Let i(l) = -2*l + 5*l + 435*l**2 - 425*l**2 - 3. Let s be i(1). Solve -s*f = -14*f + 16 for f.
4
Let c = -10 - -4. Let y(r) = 9*r + 78. Let o be y(c). Solve 3*h + 9 = o for h.
5
Let l(s) = -10*s - 27. Suppose -2 = -u - 15. Let c be l(u). Suppose -c*t = -106*t. Solve -4*j = -t - 4 for j.
1
Let m(g) = -3*g - 63. Suppose -9*s + 8 = -13*s. Let n be (30 + -16)*(1/s - 1). Let l be m(n). Solve l*z - 2*z = 0 for z.
0
Suppose 7 = -2*z - 5*a, -z - 4*a - 5 = 6. Suppose 0*v + z = v + w, v + 2*w - 13 = 0. Suppose v = 2*n - 1. Solve -2*k - 25 = n*k for k.
-5
Suppose -6*i - 125 = -j - i, 0 = j + 4*i - 152. Suppose 48*g - 9108 = -18*g. Let a = j - g. Solve -a*y = y for y.
0
Suppose 12*d - 11*d - 3 = 0. Suppose -32*r = -27*r. Suppose r*l - l - c + 10 = 0, -d*l = c - 20. Solve f - 2*f = -l for f.
5
Let v be (1 - -2) + -9 + (-27)/(-3). Let m be v + (-95)/35 + (-10)/35. Solve m = -3*p - 3 + 15 for p.
4
Suppose 717*r = 536*r. Let h(q) = -q**2 + 5*q - 6. Let u(j) = -2*j**2 + 9*j - 11. Let c(v) = -11*h(v) + 6*u(v). Let z be c(-1). Solve r = -w - z*w for w.
0
Let c be ((-36)/(-15))/(1 - (-267)/(-265)). Let b = c + 322. Suppose 0 = 5*i - 2*m - 9, -m + 3*m - 3 = i. Solve 0 = f + i*f - b for f.
1
Let n(q) = 3*q**3 + 36*q**2 - 10*q + 67. Let a be n(-12). Solve 165*u + 44 = a*u for u.
2
Let j(v) = -9*v + 3. Let o be j(6). Let f = o + 50. Let k be 0/(-10)*f/3. Solve k = -2*g - g - 6 for g.
-2
Suppose 1 = u - 3, 3*u = 5*c - 58. Solve -8*h + c*h = -2*h for h.
0
Suppose 8706 + 9275 - 6371 = 135*v. Solve -89*y - 12 = -v*y for y.
-4
Let q = 3357 + -3350. Solve 41 - 69 = -q*j for j.
4
Suppose 7*c - 268 = -5*k + 3*k, -4*k + c + 656 = 0. Solve 33 = k*n - 151*n for n.
3
Let y be 4*(23/4 + 1). Suppose -14*w + 11*w - 2*a + 22 = 0, 3*w = 3*a + y. Solve 2*v = -0*v - w for v.
-4
Let s(f) = 51*f - 1629. Let b be s(32). Let r be (-14)/(-2)*3/7. Suppose -1 + r = t. Solve b*z - t = 2*z for z.
2
Let q(o) = -2*o**2 + 11*o - 20. Let p be q(-9). Let m = 290 + p. Solve -2*l + m = l for l.
3
Suppose 5*x - 3*a - a = 64, 2*x - 4*a - 28 = 0. Suppose x = 2*t + 6. Solve -t = -z - 0*z for z.
3
Let d(u) = u**3 + 5*u**2 - 2*u - 7. Let r be d(-5). Let v(l) = 2*l**2 + 10*l + 2. Let f be v(-5). Let s be f/4 - 55/(-10). Solve -r*n - 18 = -s for n.
-4
Suppose -4*j - 8 = -8*f + 4*f, -3*f + 27 = 4*j. Let v = -9 - -40. Solve j*c + 16 = v for c.
5
Suppose 4*b + 5*n - 8*n = -12, 5*b + 8 = 2*n. Suppose 4*v + 15 - 111 = 0. Solve 7*r + 5*r + v = b for r.
-2
Let c(f) be the first derivative of -f**4/2 - 13*f**3 + 9*f**2 - 30*f - 21. Let x be c(-20). Solve 0 = -6*p + 4*p - x for p.
-5
Let o be 25/15 - 5/(30/(-2)) - -227. Solve -o = 12*n - 157 for n.
-6
Let g be (-8)/(-17)*(-10574)/(-1244). Suppose -3*c + 12 = 4*q + c, 4*c = -q. Suppose -f - g*x = q, -2*f - 8*x - 2 = -3*x. Solve f = k - 3*k for k.
-2
Let v = 223 - 219. Let l be (-2 + v + (0 - 1))*0. Solve 2*i - 3 + 1 = l for i.
1
Let p(g) = g**3 + 9*g**2 - 4*g - 36. Let m be p(-9). Suppose m = -n + 1 + 22. Suppose 0 = -29*a + n*a + 6. Solve 0 - a = o for o.
-1
Let w be 0*(11/(-2))/(-11). Suppose w = -2*q - 8 + 4, 4*g = 3*q + 22. Suppose 4*k - 5*o + 5 = -0, 2*k + 4*o = g. Solve -u + 6*u = k for u.
0
Let h be ((-15)/6)/((-8)/112). Solve 19*w + h = -16*w for w.
-1
Suppose 0 = -3*n + 3*a + 45, -4*n - 9*a = -6*a - 88. Suppose 18*y = n*y - 2. Solve -y*j + 2 = -4 for j.
3
Let t be (-54)/(-8) + 18/(-24). Suppose 10 = -3*j + 5*u, 25 = -5*u + 35. Let b = j + t. Solve -b*a - 15 = -3*a for a.
-5
Let n(f) = -19*f - 162. Let c be 1/((55/45)/(-11)). Let q be n(c). Let j be 2/5 + (-2)/5. Solve j = -s - 2*s + q for s.
3
Let j(q) be the first derivative of q**5/60 - q**4/24 - 19*q**2/2 - 2. Let m(b) be the second derivative of j(b). Let g be m(4). Solve 5*x - g = 3 for x.
3
Let h = -8879 + 9398. Solve 7*w - h = -547 for w.
-4
Suppose -s - 5*q - 520 = -6*s, 0 = 3*s + 5*q