Solve -4*c = -2 - b for c.
1
Let s(c) = c**3 + 21*c**2 + 9. Let q be s(-21). Solve -4*a + q*a = -20 for a.
-4
Let b be 2/7 - 164/(-14). Let x(k) = -k**3 + 10*k**2 - 11*k + 20. Let n be x(9). Solve z - b = -n*z for z.
4
Let b = 6 - 6. Suppose 2*x - 14 = -b*x. Solve 0 = 2*a - x + 1 for a.
3
Suppose 2*a - 3 = -a. Solve -l - a = 1 for l.
-2
Let k = -13 - -21. Suppose 3 = -3*j + 4*i + i, 5*i - 15 = 0. Solve 2*t = j*t - k for t.
4
Let k(r) = r**2 + 4*r. Let s be k(0). Solve 1 = -s*a + a for a.
1
Suppose 0 = -m + 4*m - 18. Solve -3*r + r - m = 0 for r.
-3
Let z be (8/(-6))/(20/(-30)). Solve 2 - 4 = z*j for j.
-1
Let t(c) = 2*c**3 - 4*c + 4. Let b be t(-4). Let y be (-8)/44 - b/(-11). Let l(n) = n**2 + 10*n + 2. Let i be l(y). Solve s + i = -0 for s.
-2
Let j(p) = 7*p**2 - p + 6. Let o(w) = 8*w**2 - w + 7. Let v(h) = 6*j(h) - 5*o(h). Let k be v(1). Solve 0 = k*b + b - 15 for b.
5
Suppose 3*o + 4*d + 21 = 0, d - 5*d = -4*o. Let v be (-8)/o - (-1)/3. Solve v*r - 5 - 7 = 0 for r.
4
Let a be ((-2)/(-4) - 1)*-8. Suppose 0 = 5*s - 4*o + 5, a*o - 5 = 4*s + 3. Solve -5 + s = r for r.
-2
Let l = 6 + -2. Suppose 24 = 2*k + 2*v, -3*k + 18 = -2*k - v. Solve -l*a - k = -a for a.
-5
Let z be 8 - 8/(6/(-3)). Let v = 4 + -2. Suppose -8 = -v*m - 2*m. Solve 2*s = -m*s - z for s.
-3
Let y = 2 - -3. Solve y = -2*v - 3*v for v.
-1
Let v = -67 - -70. Let f be 1*-2 - -6*1. Let c be 2 - 1/((-2)/f). Solve v*o + 4 = c*o for o.
4
Let m(g) be the first derivative of -g**4/4 - 8*g**3/3 + 9*g**2/2 + 2*g - 2. Let i be m(-9). Solve 0 = i*k + 2*k + 8 for k.
-2
Let v(j) = -j**2 + 5*j - 2. Let d be v(5). Let i be d/(-4) - (-35)/10. Let o(h) = -h + 5. Let l be o(i). Solve 3 = b - l for b.
4
Let v(j) = -j**2 + 9*j - 1. Let g be v(8). Let z = -4 - -6. Suppose 4*a - 4*w + 14 = 46, -8 = -z*a + 4*w. Solve g*u = 3*u + a for u.
3
Let g(w) = w**3 + 7*w**2 + 6*w - 7. Let c be g(-5). Let n be c - 0 - (-5 + 4). Suppose -4*j = 2*p, 0 = -3*j + 3*p - p + n. Solve 0*t = -j*t + 8 for t.
4
Let g(p) = -9*p**3 - p. Let i be g(1). Let n be (3/(-2))/(5/i). Solve -n*v + 3 = 6 for v.
-1
Suppose 9*w - 15 = 6*w. Suppose -6*q + 3 = -w*q. Solve q + 9 = -4*b for b.
-3
Let b be 4/6*(3 - 0). Suppose 2*g + 4*v + 6 = 0, -b*v = -3*g + 4 + 3. Solve -5 + g = -h for h.
4
Suppose -8*m + 4*m = 5*w + 10, -5*m = 25. Suppose 4 = 4*i - r, -w*i - 2*r = -i + 8. Solve 4*z + z + 10 = i for z.
-2
Suppose 0 = -3*h - 5*w + 46, -5*h + 0*h + 3*w = -54. Solve h = 4*b - 0 for b.
3
Let t(g) = g**2 + 10*g - 6. Let a(l) = l - 1. Let x(q) = 6*a(q) - t(q). Suppose -2*u = -0 + 6. Let r be x(u). Solve -4*v + r = -v for v.
1
Let g be -1*(0 + 2/(-1)). Solve 0 = g*w - 3*w for w.
0
Suppose -145 = -4*t - t. Let u = t - 22. Solve -5*k - 8 = u for k.
-3
Let t = -5 - -15. Let l be (-1)/(-2) + t/4. Let p = 2 - -1. Solve l = 2*h - p*h for h.
-3
Suppose -3 = -2*v + 7. Solve 0 = -g - v + 7 for g.
2
Let b be ((-2)/3)/(4/(-18)). Suppose -2*p - 35 = b*p. Let c = 11 + p. Solve -s - c*s = 25 for s.
-5
Let w(r) be the first derivative of -r**4/2 - r**3 - r**2/2 - 4. Let a be w(-2). Solve -4*c - a = -2*c for c.
-3
Let l(h) be the third derivative of -h**2 + 0*h + 11/24*h**4 + 0 + 7/60*h**5 - 1/120*h**6 - 2*h**3. Let u be l(8). Solve t - 4*t = -u for t.
4
Let c be -4*1/((-4)/9). Suppose 2 = b + 3*a, b - 3*a = a + c. Solve b*k + 1 = 6 for k.
1
Let y = -4 + 15. Let a = y - 8. Let r be (-3)/2 + 140/8. Solve -a*t + 7 - r = 0 for t.
-3
Suppose -3*n = -x - 17 + 4, -5*n + 17 = 3*x. Let w = -2 + n. Let y be 1 - (0/(-2) + -2). Solve -v = -w*v + y for v.
3
Let m = -1 - -4. Let p(s) = 2*s**3 - s**3 + 0 - 3*s + 2. Let h be p(2). Solve -m*f - h = f for f.
-1
Suppose 0*i + 8 = 2*i. Suppose 0*b = -i*b - 32. Let l(o) = o**3 + 7*o**2 - 8*o + 2. Let v be l(b). Solve -v*w = -7 + 1 for w.
3
Suppose -2*w + 105 = 3*w. Suppose -8 = -2*i - n + 6*n, 2 = -i + 4*n. Let t be i/w + 4/(-6). Solve t = 2*l - 3*l for l.
0
Let n be 1*(-2 + 9 + -4). Solve -n*r = -8*r for r.
0
Suppose 13*r + 20 = 17*r. Solve 0 = -r*s + 20 - 0 for s.
4
Let c = -58 + 38. Let n = c - -20. Solve -2*r + 6*r + 20 = n for r.
-5
Let z(h) = h**2 + 2*h + 1. Let y be z(2). Solve 4*v = v + y for v.
3
Let q be (-1)/(-2 - -1) - 3. Let c be -3 - 0/(-1 + 2). Let n be (-2 - c)*(q - -18). Solve -n = -w + 5*w for w.
-4
Let i be -24 + 0*(-1 - -2). Let v = 25 + i. Solve 2*m + 9 + v = 0 for m.
-5
Suppose v - 5*m - 12 = 0, 3*v - 2 = -4*m + 2*m. Suppose 0 = v*j - 11 - 33. Suppose -2 + j = 5*w. Solve 3*a - 2 = w for a.
2
Let n = 1 + 1. Let o(g) = -g**3 - 7*g**2 - 3*g - 3. Let z(a) = a**3 + 8*a**2 + 2*a + 3. Let u(k) = n*z(k) + 3*o(k). Let b be u(-4). Solve 3*y + b = 4*y for y.
1
Let h be (1 + -6)*(-1 + 0). Let p be (22 - 0)*(7 + 52/(-8)). Suppose -3*d + 45 = -3*i, -h*i - 16 = -2*d + p. Solve -2*t + 6*t - d = 0 for t.
4
Let l = -70 - -34. Let x = -16 - l. Solve -7*g = -2*g + x for g.
-4
Let m be (-65)/(-2)*4/(-5). Let r = -41 + 82. Let v = r + m. Solve -5*n - v = -5 for n.
-2
Suppose 0 = 2*f - 0*f. Suppose 0 = u - 5*g - 8, 3*g = -3*u + 4 + 2. Solve f = -u*i - 0*i + 6 for i.
2
Let f = 2 - -14. Let b = f + -14. Let k(t) = t**3 - 7*t**2 + t + 3. Let v be k(7). Solve -b*h - v = 3*h for h.
-2
Let q(t) = -t**2 - 3*t + 0*t**2 - 2 + 2*t**2. Let k be q(3). Let s = 1 - k. Solve 0 = 6*f - s*f for f.
0
Let o = -4 + 5. Let h(f) = 4*f + 1. Let b be h(-4). Let m be 2 - b/1*1. Solve 4*c + m = o for c.
-4
Let w(u) = 2*u**2 + 5*u + 3. Let p be w(-4). Let v be 2/9*-3*-6. Solve -g - p = v*g for g.
-3
Suppose -2*t = -5 - 1. Solve 3*p = 9 + t for p.
4
Let g be 2*20/8 + 0. Solve -g*v = -2*v - 12 for v.
4
Let m = -4 + 6. Suppose -3 = -a + 7. Let z(o) = -o**3 + 10*o**2. Let j be z(a). Solve 5*y + m - 12 = j for y.
2
Suppose -3*n + 3 = -0. Let d be 3/(3/n)*16. Let f be ((-6)/8)/((-4)/d). Solve -f*i - 16 = i for i.
-4
Let i be 3/(-2)*(-4)/3. Let c(a) = 2*a - 50. Let u be c(25). Solve u = i*b - 3*b + 1 for b.
1
Suppose 3*f - f - 8 = 0. Let o(t) = 29*t + 2. Let z be o(0). Solve -f = -z*g - 0 for g.
2
Suppose -w - 5*p + 18 = -p, 0 = -5*w + 2*p + 2. Solve w + 13 = -3*k for k.
-5
Let t = 8 + -13. Let v = t - -11. Let l be ((0 + 5)*1)/1. Solve l*q = 19 + v for q.
5
Let b be (-54)/(-15) + 2/5. Solve -h + b = -0 for h.
4
Suppose t + 4*t = -20. Let y = -2 - t. Solve u - y*u = 0 for u.
0
Suppose -4*c + 4*t = -28, -c - t = 3 - 0. Solve -3*d - c*d = 0 for d.
0
Let s(f) = 2*f**3 + f**2 - 3*f - 2. Let y be s(-2). Let v be (y/10)/(12/(-30)). Solve -v = 4*w - 2*w for w.
-1
Suppose 57 = 5*v - 23. Suppose 5*c = c + v. Solve -k + 9 = -c*k for k.
-3
Let x(q) be the third derivative of q**6/120 + q**5/12 - 7*q**4/24 - q**3/3 - q**2. Let w be x(-6). Let z = -185 - -212. Solve 0 = w*i + z - 7 for i.
-5
Suppose -59 = -5*c + 46. Solve -5 = -4*t - c for t.
-4
Suppose 0 = -4*a + 56 + 32. Suppose l = -5*k + 2 + 12, 5*k = -3*l + a. Suppose -5*p + k = -8. Solve p*n = 1 + 9 for n.
5
Suppose m + 2*i - 4*i + 5 = 0, -5*i = -4*m - 5. Let p(q) = -5 - 5*q**2 + 27*q + q**3 + 35*q - 59*q. Let v be p(m). Solve 0*y + v = 2*y for y.
5
Let l(y) = y**3 + 8*y**2 - 4*y + 13. Let w(d) = -d**3 - 7*d**2 + 5*d - 13. Let x(b) = 6*l(b) + 5*w(b). Let i be x(-13). Let f = i + 0. Solve f*q = q for q.
0
Let a(u) = -u**3 + 2*u**2 + u - 4. Let i be a(3). Suppose -5*x = 4*d - 58 - 37, -2*d - 50 = -4*x. Let z = x + i. Solve z*m - 6*m - 4 = 0 for m.
-4
Suppose 2*c = 4, 2*h - c + 5*c = 14. Solve 6 = -p + h*p for p.
3
Suppose 61 = -4*x - 5*i, 5*x + 5*i = 2*x - 52. Let f(u) = 3*u - 64. Let o be f(15). Let j = x - o. Solve -j = y + y for y.
-5
Let w = -47 + 49. Solve 0 = j + w + 1 for j.
-3
Suppose 4 = 2*i - c, 2 + 2 = -i - c. Let l(t) = t**2 + 2. Let f be l(i). Solve -8 = -2*o - f for o.
3
Let s = -6 - -8. Solve s*w + 8 = -0*w for w.
-4
Let z(b) = 2*b**2 - 6*b. Let x(h) = h - 3. Let v be x(8). Let p be z(v). Solve c - p = -3*c for c.
5
Suppose -4*l + 0*b + 3*b + 13 = 0, 0 = 5*l + b - 21. Suppose -l*m + 19 = -9. Solve 0 = -m*v + 2*v + 10 for v.
2
Let u(c) = -25*c + 353. Let l be u(14). Suppose 0 = b - 6 + 2. Suppose -o - 4 = -3*p, -5*o + 12 - b = -p. Solve -o*f - l = 3 for f.
-3
Let x = 4 + -2. Suppose -k = -x*k - 8. Let g be (-1)/(-2) - 28/k. Solve -m - 12 = -g*m for m.
4
Suppose y - t - 11 = 0, 0 = 5*y + 4*t - 24 - 4. Suppose 5 = -h + y. Solve -h*k = -7*k for k.
0
Let a(t) = t**3 - 5*t**2 - 5*t - 4. Suppose -12 = -4*n + 2*n. 