, -2*z = 3*c - 2 - 4 for c.
4
Let p(b) = -b**3 + 3*b**2 + 6*b - 6. Let r be -3 + (-3 - 5*-2). Let m be p(r). Solve -3*l = 3*g + 27, -m*l - l + g - 11 = 0 for l.
-5
Let d = -3 + 6. Suppose -u + 2*y = -12 + 1, 24 = 4*u - d*y. Solve 4*c - 13 = -l, -2*l = -u*c - 2 + 9 for c.
3
Let m(c) = -c**3 + 4*c**2 - c - 1. Let k be m(3). Solve 2*g - 31 = k*y, 3*y = 3*g - g - 21 for g.
3
Let l(u) = u + 5. Let h be l(-5). Suppose -t + h*d = -4*d + 8, 9 = 3*d. Suppose -5*p = t*a + 5 - 9, 3*p - 32 = 5*a. Solve 2*y = 3*b + 25, p*y - 4 = 16 for b.
-5
Let n be 30 + (5 + -3)/(-1). Suppose 4*l - n = -4*p, -4*l - l + 21 = -2*p. Solve 4*a = l*y + 32, 0*y + 6 = -2*a - 3*y for a.
3
Let u be 2/(-2) + 4 + 2. Suppose u*a - 7 = 8. Suppose -w = -0*w - a. Solve 2*l - o - 6 = 0, -3*l + w = -3*o - 6 for l.
3
Let p be 2 + -1 + 2 + 25. Suppose 0 = -2*g - y + 2 + 12, -4*g + 4*y + p = 0. Solve 5 = -a, 4*i - g = a - 18 for i.
-4
Let h(r) = -3*r + 28. Let f be h(8). Solve 23 = -2*q - 3*k, -f*q - 33 - 8 = 5*k for q.
-4
Suppose -4*q - 9 = -81. Let b = q + -16. Solve 5 = 5*i + b*p, 3*p = 2*i - 7*i + 5 for i.
1
Suppose -2*u + 15*u = 0. Solve -h - 3*h - 5*b - 11 = u, 2 = -h - b for h.
1
Let o(c) be the third derivative of c**4/24 + c**3/3 - 2*c**2. Let n be o(7). Let y be 42/n - 3/(-9). Solve t - 4 + 11 = -b, 1 = -4*b + y*t for b.
-4
Suppose 0 = 5*o - 4*o. Suppose o = -2*r + 5*a - 21, 4*r - 5*a + 7 = -10. Solve r*t + 17 = t + 3*f, -4*t = 5*f - 17 for t.
-2
Let o be (6 + 0)*(-9)/(-27). Solve -a + 6 = x - o*x, x + a = 4 for x.
-1
Let k(y) = -3*y. Let q be k(0). Solve q = 4*d + 8, -4 = -3*h + h + 3*d for h.
-1
Let w = 4 - -1. Suppose 16 = w*a - a. Solve -13 = -3*x - k, 0 = -a*x + k - 2*k + 17 for x.
4
Let i(u) = -u**3 + 2*u - 1. Let g be i(1). Solve -m - 3 = g, -l - 3*m + 0*m - 7 = 0 for l.
2
Suppose -3*s - 10 = -8*s. Let m be 0 + 2/s + 1. Solve -3*d = -12, 0 = u + m*d + 2 - 11 for u.
1
Let z be 5/(-4)*(-4 + 0). Suppose 7*g = 2*g + 50. Let p be 0 - g/4*-2. Solve 6*q = -p*x + q - 20, z*q = -4*x - 20 for x.
0
Suppose 2 = 2*j - j. Solve 0 = 2*f + v + j*v - 7, -v = -f - 9 for f.
-4
Suppose 2*b + 3*u - 4*u = -6, -15 = 5*b - 3*u. Let c be b*((-4)/(-1) + -5). Solve 0 = -l + c, -4*l + 6 = -3*n + n for n.
3
Suppose -p + 2*i = -13, -1 + 2 = -3*p - 2*i. Solve 0 = -j + q + p, 0*q - 14 = -3*j - 2*q for j.
4
Let r = 141 - 137. Solve 0 = 5*s - 4*o + 16, 3*o = -r*s + 8*o - 11 for s.
-4
Let r be 2/(-9) + (-8)/(-36). Suppose -2*y = 3*y - 5. Let g = r + y. Solve -5*l + 14 = -2*i, -4 + g = -i for l.
4
Let g(a) = 0*a**2 + a**2 - 2 + 2*a - 2. Let n be g(-4). Solve 0*p - 3*p = 3*y + 21, -n*p - 5*y = 33 for p.
-2
Let u(i) = i - 2. Let y = 2 + 4. Let k be u(y). Solve -k*p + 3*p - 4 = -n, p = 3*n - 4 for n.
0
Let i(z) = z**2 + 16*z + 17. Let k be i(-15). Solve -k*t = 2*l - 8, -2*t - t - 4*l = -12 for t.
4
Suppose 0 = -i - 8 - 1. Let o = 9 - i. Solve 0 = -2*a + 4*c + o, c + 0 = -4 for a.
1
Let n = 5 + 0. Solve 0 = 4*i - 3*i - 2*a - 1, -4 = -4*i - n*a for i.
1
Let y = 6 - 3. Suppose y - 7 = -t. Solve -t*r - 8 = 3*g, 2*g = -2*r + r - 7 for r.
1
Suppose 5*n = -x - 4, -n - 3 = -0*n - 2*x. Let g = 21 - n. Suppose 3*o - 52 = -g. Solve y + y + 7 = -q, 5*y - 5*q + o = 0 for y.
-3
Let z be ((-40)/(-50))/(1/5). Suppose 0 = -t - 4*t - 3*p, z*t = 4*p. Solve n + 5*b - 8 = t, 3*n + n - 5*b = 7 for n.
3
Let s(o) = o - 4. Let g be s(6). Suppose 3*y - j = 0, -5*y + g*y = 5*j. Let m = -28 + 34. Solve 6*v - 3*v - m = 3*l, v - 2*l + 1 = y for v.
5
Suppose -z = -4*z + 9. Let x = 3 + z. Suppose 5*j = -1 + x. Solve 0 = 2*s + s, -j = -i - 4*s for i.
1
Suppose 0 = -4*v + v. Let k be (v - -7)*(3 - 2). Solve t + 0*b + 4*b - k = 0, -t = b - 4 for t.
3
Suppose 5*z - 4*z - 33 = 0. Suppose -z = -5*r + f, -2*r - 2*f = -6 - 0. Solve -w = 2*w + 5*p + r, 0 = -4*w + 3*p - 8 for w.
-2
Suppose 5*t - 11*t = -t. Solve b = 4*l - 18, -2*b + b + 3*l - 13 = t for b.
2
Let w(v) = -3*v. Suppose -4*s + 20 = -4*z, 4*z = -7*s + 2*s + 16. Let j be w(z). Solve 4*a + 3 = -3*b, b + 16 = -j*a - 4*b for a.
3
Let b(g) = 18*g + 1. Let v be b(1). Let r = v + -11. Solve 4*q = -3*x + 11, 5*q - 2 = r for x.
1
Let n(f) = -2*f + 20. Let j be n(9). Solve -j = h, 4*d - 2 = 5*h - 0*h for d.
-2
Let t be 7/(-7)*1 + (5 - 1). Solve -2*k - 2*y = t*k - 11, -4*k = 5*y - 19 for k.
1
Suppose -w = 2*t - 16, -5*w = -3*t + 1 - 3. Let u = t + -4. Let x(c) = -c**3 + 7*c**2 + 9*c - 8. Let g be x(8). Solve -a = g, 1 - 3 = -u*h + 3*a for h.
1
Let x(j) = -j**3 + 4*j**2 + 6*j. Let n be x(5). Let a = -6 - -12. Suppose 2*h + a = -w - 0*h, -5*w + 25 = -h. Solve -w - 6 = n*k - 5*l, -k + 2*l - 2 = 0 for k.
-2
Let v(u) = -u**3 - 5*u**2 + u + 4. Let o be v(-5). Let r be (o + 1)/(2 - 0). Solve 2*g + g - b = -19, r = -g - b - 1 for g.
-5
Let n be (-7)/(-21)*(5 + 1). Solve 4*c = u + n*u - 6, 5*u + 5*c - 10 = 0 for u.
2
Let j be (-10)/(-40) + (-6)/(-8). Suppose -4*b = -2*b + 2. Let p = j - b. Solve -2*v - 1 = -s, 10 = 4*s - 0*v - p*v for s.
3
Let v = -3 - 1. Let t be (0 + 6)*(-2)/v. Suppose -3*i - t = -15. Solve y + 16 = -4*o - 3*y, -3*o + 16 = -i*y for o.
0
Let f(n) = n**2 - 4*n + 9. Let m = 14 + -8. Let q be f(m). Suppose -u = -5*x + 16, 4*x - 2*u = 1 + 7. Solve -4*r + 3 = 3*d, -x*r + q = -4*d - r for d.
-3
Let t = 7 + -3. Suppose -h = h - t. Suppose 0 - 4 = -h*j. Solve -q - 5*n + 23 = 0, 3*n = 3*q + j*q - 3 for q.
3
Let h be 3 - (2 - 1)/(2 - 3). Solve 3*t - 7 = -2*u - 2*u, 0 = -h*u - 4*t + 12 for u.
-2
Let g = -12 - -32. Suppose 3*p - g = -2*p. Solve 0 = j - 4*c - 18, 9*c = -2*j + p*c - 29 for j.
-2
Let d be (-1 + 0)/((-2)/50). Let t be 4/(-10) - (-135)/d. Suppose -t*x + 21 - 1 = 5*y, 5*x = -y + 12. Solve -k = 0, 0*c - 6 = -y*c + 4*k for c.
3
Suppose -5*t + 52 = -3*u, 5*u = -5*t + 3*u + 57. Suppose -y + 2 = 2*z - 3*z, 2*z + y = t. Solve -35 = 5*x - 5*c, z*c - 20 = 2*x - c for x.
-4
Let d be (5/(-3))/((-1)/3). Suppose 0*m - m = 0. Suppose m*q + 4*q = 12. Solve -5*h + 5*p = 4*p + d, -q*h - 5*p - 31 = 0 for h.
-2
Let z(f) = f**3 + 6*f**2 + 3*f - 6. Let m = 0 + 5. Let v = 0 - m. Let n be z(v). Solve 0*b + n*d = 5*b + 16, -5 = 5*d for b.
-4
Let v(r) = -r + 1. Let c be v(1). Solve 0 = -3*h + 4*m - 1 + 12, c = -5*h + m - 10 for h.
-3
Let p = 12 + -7. Suppose -2*u - 3*u - 5*z = -20, 0 = -p*u + 3*z + 12. Solve -4*n = u*r - 3*n + 9, 4*r = 3*n - 12 for r.
-3
Let c = -6 + 8. Suppose -2*w + c*r + 14 = 4*r, r - 3 = w. Solve -4*i + 3*a + 25 = w*a, i - 3*a - 20 = 0 for i.
5
Let n be -3 + 2 + (-3)/(-1). Let x be 6*(1 - n/4). Let o be ((-3)/9 + 1)*x. Solve -4 = 3*y + o*v, -4*y + 5*v - 7 = -40 for y.
2
Let m be (-2)/6 - (-2)/6. Let x(j) = -j**3 - 2*j**2 + 6*j + 3. Let p be x(-4). Suppose -7 = -2*g + p. Solve m*w + 14 = k - 2*w, -g = 4*k + 5*w for k.
4
Let t(w) = w**3 + 3*w**2 - 7*w - 6. Let g be t(-4). Let n = 4 + 1. Solve 4*d - 9 = 5*p, -n*d = -4*p - g - 3 for p.
-1
Suppose 4*c + a = -79, 11*c - 6*c = a - 101. Let f = -11 - c. Let u(i) = -14*i - 1. Let z be u(-1). Solve -2*t - 3*y = t - f, 3*y = t + z for t.
-1
Suppose i + 4*c = -0*c + 3, i = -5*c + 3. Suppose -3*x - 3*j = 0, 4*x - 2*j = 30 - 12. Solve -i*l + 30 = -x*b, -2*b - 3*l = 3*b + 10 for b.
-5
Let j be 2/3 - 83/3. Let h = j + 29. Let z be (22/(-6))/((-1)/3). Solve -w = g - 7, -5*w + 3 = -h*g - z for g.
3
Let o(c) = c**3 + 4*c**2 - c - 4. Let i be o(-4). Solve p - 3*z + 14 = i, 3*z = -3*p - 0*p - 6 for p.
-5
Suppose -16 = -x + 2. Solve -b + 4*y + x = -0*b, -5*y - 20 = 0 for b.
2
Let o(y) = -y + 4. Let m(z) = z - 4. Let f(w) = -6*m(w) - 7*o(w). Let i be f(4). Solve 2*q + b - 6 + 1 = 0, 5*q - b - 16 = i for q.
3
Suppose 31 = 4*k + 2*r - 21, -4*k + r = -46. Solve 3*c = 3*q - 3, 5*q + 5*c = 3*q - k for q.
-1
Suppose -v - 4 = -4*r + r, -4*v + 5*r = 2. Let k be 1*3*112/42. Solve -v*u + 5*u - h + 8 = 0, -h - k = u for u.
-4
Let s be -3 + (-168)/(-30) + (-6)/10. Solve -w - 2*w + 5 = -5*p, s*w - 2*p = 2 for w.
0
Suppose 6 = -3*b - 3. Let o = b - -21. Solve -4*v = 2*k - o, 3*k + 13 = 7*v - 3*v for v.
4
Let z be (30/(-12))/(3/(-6)). Solve -4*i - 24 = 4*r, 8*i - 3*i + z = 0 for r.
-5
Let h(j) be the second derivative of j**4/12 - j**3/6 + 3*j**2/2 + j. Let f be h(0). Solve -2*r + 0*r + 31 = 5*d, f*r - 24 = -3*d for d.
5
Suppose 5*o - 5*l - 21 + 51 = 0, o - 14 = -3*l. Let m be ((-14)/(-35))/(o/(-10)). Solve 3*s + 9 = 3*v + 2*s, 0 = -m*v + s + 12 for v.
3
Let m = 10 + -7. Let h = 