 Solve -5*a - 9 - c = 0 for a.
-3
Let d be (-56)/12*-6 + 2. Suppose 6*s - 2*s = 24. Suppose -z - d = -s*z. Solve 2*l - 4*l = z for l.
-3
Let t = 36 + -34. Suppose -p = d - 3*p, t*d = -p. Solve d*c = 2*c + 6 for c.
-3
Suppose -4*m = 2*k, -5*k - 3*m + 2 + 12 = 0. Solve 6 + 10 = -k*w for w.
-4
Let s(n) = 4*n - 30. Let q be s(8). Solve 88 - 88 = q*d for d.
0
Let l(k) be the first derivative of k**4/4 - 2*k**3 + 3*k**2 - 209. Let o = 1 + 4. Let b be l(o). Solve b = -u + 4 for u.
-1
Let r = -23 + 26. Let f = 1 + r. Solve 3*q + f = 5*q for q.
2
Let o(g) = 2*g**2 + 10*g + 1. Let a be o(-6). Solve -a*d + 25 = -8*d for d.
5
Suppose -4*g = 4*k + 20, -2*k - 37 = 5*g - 0. Let a be (-80)/(-12)*g/(-6). Solve 0*h = 2*h + a for h.
-5
Let j(u) = 4*u + 4*u**2 + 17*u**3 + 0*u + 4 - 7*u - 18*u**3. Let m be j(3). Suppose v - 3*q = m - 0, v = -3*q + 4. Solve p + v = -p for p.
-2
Suppose 2*h + 3*h - 120 = 0. Suppose -w - 2*w = -3*d + h, 3*w = -3*d - 6. Suppose 4*q - 8 - 4 = 0, 12 = -2*p + 4*q. Solve 3*t + 12 + d = p for t.
-5
Suppose 3*q + 5*d = 14, -28 = -9*q + 5*q - 2*d. Solve -z = -q*z - 21 for z.
-3
Suppose 0 = -7*r + 2*r. Let w(z) = 48*z - 188. Let k be w(4). Solve r + 12 = -k*u for u.
-3
Let y be (2 - (-15)/(-3)) + 3. Suppose y = -4*x + 7 + 57. Solve -j = 3*j - x for j.
4
Suppose -3*m + 26 = -2*t, -3*t = -2*m + 6*m - 46. Let l = m - -16. Let q = l - 24. Solve 0*u + q*u + 6 = 0 for u.
-3
Suppose 3 = 5*b - 7. Suppose -n - 42 = -7*n. Suppose 2*u + n = 11. Solve s - u = b for s.
4
Let c(h) = h**2 - h. Let t(v) = 4*v**2 - v + 1. Let u be t(1). Let f be 21/(-7)*u/(-6). Let g be c(f). Solve q = 3 - g for q.
1
Let y be ((-204)/(-5))/((-15)/(-50)). Let t = y - 130. Solve 2*o + 16 = t*o for o.
4
Let y(h) = 4*h**2 - 24*h + 65. Let v be y(5). Solve v = -10*z + z for z.
-5
Suppose 9*v + 4*f - 3 = 8*v, -6 = -2*v - f. Suppose 8*x = v*x + x. Solve -5*r = -x*r - 5 for r.
1
Suppose q - 200 = -9*q. Let t be (24/15)/((4/q)/1). Solve t = -7*f + 3*f for f.
-2
Let v = -58 + 61. Suppose -4*j = -v*j. Solve -m + 0*m + 3 = j for m.
3
Let r be (32/160)/((-6)/45)*80/(-6). Let a be 0 - (-2 + (3 - 1)). Solve a = 6*p - 2*p - r for p.
5
Let v be (-4)/(-14) - 4/14. Suppose -5*n - 22 + 72 = 0. Suppose 9*k - n*k = 0. Solve k = s - v*s for s.
0
Let c(f) = f - 7. Let t be c(7). Suppose 2*b - 1 - 3 = t. Suppose 3*h = -b*l + 21, 4*l = -7*h + 4*h + 27. Solve -5 = l*o - 8*o for o.
1
Suppose -60 = 6*y - 10*y. Solve -1 + y = 7*q for q.
2
Suppose 2*l + v = -4*v - 6, 2*l + v = 2. Let g = l - -4. Let j = -3 - -3. Solve j = 3*u - g + 21 for u.
-5
Let d = -2510 + 2525. Solve -d*k + 70 = -k for k.
5
Suppose -4*t + 17 = 1. Let m(c) = 2*c + 1. Suppose 0 = -k - g, 0 = -2*k + g + 7 - 1. Let o be m(k). Solve -t*u = -5*u - o for u.
-5
Let d be 3/(399/(-140) + 3). Solve -r = 4*r + d for r.
-4
Let b be (1 + -24)*(2 - 3). Suppose 0 = -26*u + b*u + 21. Suppose -u*h + 3*h + 5*f + 8 = 0, 3*f = 0. Solve 0 = -h*n - 3 - 5 for n.
-4
Let z = 8 - 4. Suppose 0 = -3*l + 2 + z. Solve -l*a = -2 - 4 for a.
3
Let k = 415 - 413. Solve w - k*w = 0 for w.
0
Suppose -57*t + 5 = -56*t. Solve -7 = t*u - 12 for u.
1
Let q(r) = -r + 17. Let k be q(14). Suppose x = -1 + k. Let c(f) = f - 1. Let y be c(4). Solve -5 = y*w + x*w for w.
-1
Let i = 54 + -56. Let c be (4 - 2 - 2)*i/4. Solve 0 = -c*x + 3*x + 12 for x.
-4
Let t(l) = 2*l + 4. Suppose 3*s = 3*a - 6, -a - 6 = -4*s - 4*a. Let o be t(s). Solve o + 1 = -f for f.
-5
Let t be 3 + (-1*12)/4. Let p be t/(1 - -1)*-1. Solve p = -5*u + 2*u + 15 for u.
5
Let r be 2/6 + 344/(-24). Let v = r + 14. Solve 3*h - h - 8 = v for h.
4
Let t(n) = 2*n**2 + 14*n - 273. Let i be t(-16). Solve 3*a = -0*a + i for a.
5
Suppose 4*u + 110 = 26*u. Solve c = u*c - 12 for c.
3
Let w = -4 + 7. Suppose -3*d + 3*i = -4*d - 6, w*d = i + 12. Let s be (-2 - 2) + d - -3. Solve -z = z + s for z.
-1
Suppose 20*i - 6 = 14. Solve 25*k + 126 = i for k.
-5
Suppose 3*o + 8 = 95. Suppose 0 = -4*r - o + 9, -u + 3*r = -20. Solve -u*j = -10 - 5 for j.
3
Suppose 2*v = -3*v + 10. Suppose -3*q = -q - v, 3*j + 4*q - 4 = 0. Solve j = 4*d + 13 - 5 for d.
-2
Let c(n) = -n**2 - 4*n + 6. Let a = 6 + -11. Let k be c(a). Let s = -37 + 39. Solve 0 = u + k + s for u.
-3
Let b(y) be the second derivative of -y**3/3 + 6*y**2 + 9*y. Let g be b(5). Solve 2*u - 12 = -g*u for u.
3
Suppose 17*u = 21*u - 2*z - 10, 16 = u + 4*z. Let x(n) = -n**3 + 3*n**2 + 8*n - 12. Let r be x(u). Solve 0 = r*c - 2*c + 2 for c.
-1
Suppose 0 = 2*s + 18 - 30. Solve -s*b = -7 + 1 for b.
1
Suppose 3*b - 1 = 2, -2*m + 4*b = 4. Solve 0 = 2*v - m*v - 2 for v.
1
Let d = -34 - -45. Suppose -8*o = -d*o. Solve 6*a - 5*a + 3 = o for a.
-3
Let k = -18 + 5. Suppose 23*z + 4*t = 25*z - 46, -2*z + 49 = -5*t. Let q = k + z. Solve u + q = -u for u.
-2
Let f(w) = 3*w - 9. Let s be f(6). Let m(p) = -2*p - 2. Let g(o) = -9*o - 7. Let n(x) = -6*g(x) + 26*m(x). Let l be n(s). Solve 3*i = -l + 20 for i.
4
Let r = -31 + 10. Let o be (1 - 1)/(-18 - r). Solve -5*x = -o*x for x.
0
Let f(t) = -2*t**3 + 2*t**2 + 4*t + 3. Let g be f(-3). Let y = g - 44. Suppose -y*z + 12 = -15*z. Solve 5*o + 2 = -z for o.
-1
Let z = -43 - -23. Let l = -23 - z. Let y be ((-15)/10)/(l/4). Solve 4*r = y*r for r.
0
Let t(j) = j**3 + 4*j**2 - 2*j + 17. Let m be t(-5). Suppose v + m - 5 = 0. Solve 2*u - v*u = -2 for u.
2
Let b(i) = -i + 3. Let u be b(5). Let o be (0 - 2 - u)/2. Suppose t - 3*t + 4 = o. Solve 0*c = c - t for c.
2
Let b be (28/(-3))/(-4) + 20/30. Suppose b*f + 6 - 15 = 0. Solve -f*v + 3 = -0 for v.
1
Suppose 4 = 3*p - 2*d, -2*p + 5*d = -0*d + 1. Suppose -3*s - 4*u - 113 = p*s, -5*u = 3*s + 73. Let c = s - -30. Solve -4*i + i - c = 0 for i.
-3
Let h = 15 - 21. Let w be ((-20)/(-6))/((-2)/h). Suppose r + w - 15 = 0. Solve r*v = 3*v + 4 for v.
2
Let j be -56*(-1 + 2/4). Let g = j + -28. Solve g*r - 2 = -2*r for r.
1
Let a = -177 + 202. Solve -k = 4*k - a for k.
5
Let s(m) = 77*m - 228. Let b be s(3). Solve 1 = -2*k - b for k.
-2
Let l(s) = -s**2 + 2*s - 6. Let z be l(-3). Let y be z/84 - ((-1)/(-4))/(-1). Solve -5*t - 7 - 13 = y for t.
-4
Suppose -12 = -3*a - n, 0*n = -5*a + 3*n + 20. Solve -a = 4*m - 0 for m.
-1
Suppose -4*y = 12, -3*f + 35 - 11 = 3*y. Solve -24 = f*a - 2 for a.
-2
Suppose 0 = 5*t + 11 + 4. Let k(a) = -a**3 - 4*a**2 - 3*a - 2. Let q be k(t). Let v = 6 + q. Solve 2 - v = p for p.
-2
Let r = -47 - -47. Let v = 0 + 2. Suppose r = -o - 3, 14 = 2*i - v*o. Solve -x + i = 1 for x.
3
Suppose 2*r + 2*o = -3*o + 188, -3*r + 282 = 4*o. Let u = r + -87. Solve -u*s - 10 = -2*s for s.
-2
Let j(i) = -34*i + 172. Let g be j(5). Solve -5*v + g = -23 for v.
5
Let i be -4 + (-5 - -4) + 8. Solve -18*d - i = 51 for d.
-3
Let p be -27*((-50)/15)/(-5). Let j = 18 + p. Solve -4*s + j*s = 16 for s.
-4
Let u(p) = -p**2 - 29*p - 25. Let g = 25 + -53. Let w be u(g). Solve -9 - 6 = w*n for n.
-5
Let n(d) = d**2 - d - 2. Let p be n(3). Suppose -5*x - p = -14. Solve -x*u + 2 = -u for u.
2
Let u be (-1)/2*(-8)/8*22. Solve -3*z + u*z = -16 for z.
-2
Let h = 52 + -40. Let g be 124/12 - 4/h. Solve g = -3*y + 4 for y.
-2
Let p(k) = 2*k. Let m(o) = o. Let u(b) = -m(b) + p(b). Let s be u(2). Suppose s*c + 10 = 3*c. Solve 0*x - 2*x - c = 0 for x.
-5
Let x(o) = -o**2 + o. Let n(k) = k**2 - k. Let a(s) = 2*n(s) + x(s). Let f be a(1). Solve f*v + 25 = 5*v for v.
5
Let i = 16 - 14. Let g(u) = -4*u**2 - i + 3*u**2 - 1 - 6*u. Let j be g(-5). Solve j*m + m = 15 for m.
5
Let z be (0/(-1))/(-2 + 1 - -3). Suppose -3*x = -s - 14, z*x + s = 4*x - 18. Solve 0 = x*q + 19 - 3 for q.
-4
Let f = 319 + -307. Solve 0 = f*m - 25 - 35 for m.
5
Let o(y) be the first derivative of -y**3/3 + 13*y**2/2 - 29*y - 7. Let x be o(10). Solve -5*g + x - 16 = 0 for g.
-3
Suppose x + 35 = 6*x. Let z be 264/(-77) + 3/x. Let v(c) = -c**3 - 4*c**2 - 4*c - 2. Let g be v(z). Solve r + g - 3 = 0 for r.
2
Let j = -540 + 552. Solve -j*w + 7*w + 25 = 0 for w.
5
Let g(l) = 2*l**2 + 7*l + 1. Let k(b) = 4*b**2 + 15*b + 3. Let i(z) = 5*g(z) - 3*k(z). Let x be i(-4). Let f be 122/18 + 6/27. Solve -f = -x*v + 9 for v.
4
Let u = 14 + -27. Let q = -6 - u. Let s(j) = j - 1. Let z be s(q). Solve -2*w + z + 2 = 0 for w.
4
Suppose 0 = 2*a + a + 9. Let n be 4/(-3)*a/2. Let w be (n/(-3))/((-21)/126). Solve -13 = w*t + 3 for t.
-4
Let u(c) = c**3 - 5*c**2 - c + 7. Let s be u(5). Suppose 