, -2*u = -c + 6 for u.
-5
Let s(t) = 3*t - 3 - t + 3*t - 3*t. Let p be s(2). Solve 3*y + v = p, 2*y - 4*y - 5*v = 21 for y.
2
Suppose 4*m - 308 + 38 = -v, 2 = -v. Let a be m/18 + (-2)/(-9). Solve 2*t - 5*u + 9 = 0, 2*t + 3*t = -a*u - 6 for t.
-2
Let c = 11 - 8. Let f(z) = z**3 + 8*z**2 - 2*z - 4. Let m be f(-8). Suppose -4*h + 4*b = -m, -b + 7 = -2*h + 3*h. Solve g = c*t - 13, -t + h*g + 15 = 2*g for t.
3
Let u = 17 + -15. Solve -u*p = 5*i - 8, 2*i = -2*p - 2*i + 8 for p.
4
Suppose -4*f = -12 - 4. Let h = 0 - 4. Let a = h - -10. Solve -f*j - 5 = 3*u, -j - u - 30 = -a*u for j.
-5
Let y be 2*(50/(-4))/(-5). Suppose 40 - 13 = m + y*x, -x - 31 = -5*m. Suppose -4*g = -0*g. Solve 3*d - d = 3*i + m, g = 3*i + 9 for d.
-1
Let z(j) = -j**3 + 5*j**2 + 3*j - 13. Let q be z(5). Solve -q*l - l = 3*p + 21, 2 = -2*p + 2*l for p.
-4
Let i be 18/3 + -2 + -2. Suppose -i*r = 2*p + 14, -5*p - 19 = 4*r + 17. Let o = p - -26. Solve -5*g - o = -5*h - 3, 5*h + 30 = -4*g for h.
-2
Suppose 4 = -2*v - 5*d - 1, -6 = -3*v - 3*d. Solve -5*f = -z - 1 - 7, 5*f = v*z for z.
2
Let k be 0 + 1 - 1 - -2. Let q(f) = -f**2 - 12*f - 14. Let l be q(-8). Solve l = -2*y + 2*a, 3*a = 3*y + k*y + 35 for y.
-4
Suppose 4*o - 25 = a - 8, -2*a - 20 = -o. Suppose 3*m = 4*n, 4*m - 1 = 6*n - n. Let r be 13/3 + n/a. Solve -r*g - 3*j = -17 - 5, 2*g = -j + 10 for g.
4
Let n be (-100)/(-15)*(-9)/(-12). Solve v + 25 = -n*x, -v + 6 = x + 15 for v.
-5
Let g(n) = -11*n - 2. Let m be g(-1). Solve r + 3*y + 5 = -r, r + m = 5*y for r.
-4
Let y(a) be the second derivative of a**3/2 - 3*a**2/2 + 2*a. Suppose -13 = -4*t + 23. Let v be y(t). Solve -3*l = -3*s - v, -2*l + 9 + 15 = -4*s for s.
-4
Suppose 4*a = -4*r + 60, 3*a - 3 - 2 = 5*r. Suppose -a = -n - 4. Let f(s) = s - 3. Let x be f(n). Solve 5*c + 18 = 3*g + c, x*g = 3*c + 15 for g.
2
Let g be (4/(-8))/(1/(-12)). Suppose -u = -5 + 1. Solve 2*x + u*d = -d - g, 0 = -5*d for x.
-3
Let q = 22 - 18. Solve 20 = -3*p - 2*p - 5*j, 0 = -j - q for p.
0
Let a be ((-6)/4)/((-42)/(-4) - 11). Let c = -4 - -6. Solve -a*j = m + 14, j + 10 = -m - c*m for j.
-4
Suppose p - 83 = -3*f, -2*p - 75 = -5*f + 45. Suppose 3*q = d + 21, q = -5*d - 3 + f. Solve -z + 4*c - q = 0, -4*c = -2*z + 2 - 6 for z.
4
Let c(k) = k**3 - 4*k**2 + 5*k - 6. Let d be c(4). Let q = -8 + d. Suppose 0 = j + 5*p + 13, -4*j - 4*p - 7 = p. Solve -a - 2*t = q, t + 4 = -a + j for a.
2
Let c(k) = 2*k + 3. Let a be c(-2). Let u be 3*(1/(-3) - a). Solve 3*h + 3*p + 18 = 0, -u*h + 0*p = -p for h.
-2
Suppose -2*r - 9 = r. Let l = r - -3. Solve -5*o = 5*k - l*k + 15, k + 18 = -4*o for o.
-5
Let p = -24 - -78. Let i = -34 + p. Solve 4*q - q = c + 10, -i = -5*q for c.
2
Let w(y) = -y**3 - 5*y**2 + 5*y + 4. Let k be w(-6). Let m be (-2)/8 - k/(-8). Solve -4*u + 5*c = m, 0 = -u + 2*c - 1 + 3 for u.
-4
Let v be (-3)/(-4) - (-6)/(-8). Let j = -6 + 8. Let y = v + j. Solve -w + n + 8 = -y*n, 4*n = 4*w for w.
-4
Suppose -5*q - 31 = -2*g, 2*g + q + 19 = -4*q. Solve 0 = -4*o + 8, -11 + 33 = g*x + 5*o for x.
4
Let g = 7 + -7. Suppose g*q = -q + 4. Solve -2*d = 4*x + 24 - 10, -3*x = -5*d + q for x.
-3
Let x(v) = -2*v - 5. Suppose 2*k + 3 = -5. Let u be x(k). Solve 0 = n + s - 4, -1 + 16 = u*n + 4*s for n.
1
Let i(h) = -h**3 + 5*h**2 + 27*h - 4. Let u be i(8). Suppose -4*w + 4 = 0, 0 = 5*t - 5*w - 1 - 4. Solve u = -4*g - 4*c, t*g - 5 = -c + 4*c for g.
-2
Let m = 3 - 1. Suppose -2*a - 5 = 1. Let l be 5/(15/(-2))*a. Solve m*h - h + s = 0, -h - 15 = -l*s for h.
-5
Suppose 0 = 2*r - 11 + 3. Suppose -p = p + 2, 0 = r*m - p - 21. Let g be (-1)/(-5) - (-9)/m. Solve -5*b = -3*h - g, 0 = -b - 3*h + h + 3 for b.
1
Let o be -10*(21/(-6))/7. Let g = -10 + 25. Suppose j + 0*j + 2*m + 8 = 0, 0 = -3*m - g. Solve 5 = o*i - j*r, 2*i + 5*r + 28 = -i for i.
-1
Let d(y) = -y**2 + y. Let s(k) = -k**3 - 6*k**2 - 5*k - 10. Let v(w) = 4*d(w) + s(w). Let a be v(-10). Solve 5*u + 36 = -4*o, -5*u - o - 24 + 0 = a for u.
-4
Let r = -2 - -10. Suppose -2*t + 5*j - 25 = -t, 0 = 4*t + 5*j. Let a = t + r. Solve 2*g = 5*u - 0*g + 3, 0 = 5*u + a*g + 8 for u.
-1
Let q = 0 - -2. Suppose 1 = c + 3*n - 3, 4*c - q = 2*n. Let b be (1/(-3))/(c/(-12)). Solve 0*l + 4*t + 2 = -3*l, -b*l - t = 7 for l.
-2
Let b = 166 + -149. Solve 0 = -5*d - 4*f - 0*f - b, -d = -3*f + 11 for d.
-5
Let m be (1 - -1) + -5 + 3. Solve -q = -m + 2, 3*q = 5*b - 6 for b.
0
Suppose 0*o - 3*o = 0. Suppose -5*f - 21 = -2*z + 17, -5*f - 2 = 2*z. Solve o*q - 2*q - k = -5, 5*q - k - z = 0 for q.
2
Let t(u) = 4 + u**2 + 2*u + u + 2*u. Let b be t(-7). Let q be 1 + 3/(9/6). Solve -3*n + b = -n + 4*r, -r = -q*n - 8 for n.
-1
Suppose 2*s + 2*k = -3*k + 21, -k = 4*s - 15. Solve -2*p - 22 = 4*b, 0 = -2*p - s - 3 for b.
-4
Let y = 10 - -8. Let j = 1 + -1. Suppose j = 3*v + y - 78. Solve 5*f - f + v = 0, 0 = -3*u - 4*f - 8 for u.
4
Let d be -2 - (-12 + (1 - -2)). Let o = -5 + d. Suppose 3*x = -o*y + 19, y - x = -y - 1. Solve 2*a - 21 = -3*a + y*q, 5*a = 3*q + 19 for a.
5
Let t(p) = p - 1. Let a be t(3). Suppose 1 = 4*f - 5*x - 4, -2*x = -5*f + 19. Solve -4*o - 7 = 3*z - 0*o, -3 = -a*z + f*o for z.
-1
Suppose 2*d + 2*j - 1 - 3 = 0, 2 = j. Solve 22 = 2*t + 4*n, d = -t - n + 2*n - 4 for t.
1
Suppose -w = -b + 8, -2*b = 3*b + 2*w - 12. Solve -i = -j + b*i - 5, i = -2*j - 10 for j.
-5
Suppose 0 = -0*d + 2*d + 8. Let a be d/(-10) + (-33)/(-5). Suppose -3*w = -a - 5. Solve -11 - 5 = -w*v - 4*o, 5*v = -4*o + 18 for v.
2
Suppose -19*r + 12 = -16*r. Solve 2*a - 4 = -r*b, 0 = 3*b + 5*a - 0*a - 17 for b.
-1
Let h(p) = p**2 - 7*p - 4. Let n be h(8). Let v = -1 + n. Solve 2*a = 2*z, v*z - 4*z - 2*a = 12 for z.
-4
Let b be (-6)/5*(-35)/(-14). Let s(q) = -q**2 - 5*q - 4. Let k be s(b). Solve 0 = 4*p - k*j + 10, 0 = -2*p + 7*j - 2*j + 7 for p.
-4
Let n be (-3)/(((-45)/12)/5). Solve 3*g + 12 = -2*i - 3, n*g = -2*i - 20 for g.
-5
Suppose 9 - 5 = 2*s. Solve 8 = 5*g - s, -2*x - 3*g + 10 = 0 for x.
2
Suppose 0 = -3*a + 3*s, -2*a + 18 = 2*a + 2*s. Solve 5*n - 4*z = -20, a*n + 4 = 2*z - 8 for n.
-4
Let d(c) = 6*c - 3. Let n be d(3). Suppose -n = -5*z + 25. Suppose 0 = -f + 4*x - 17, f - 3*x - 18 = -6*x. Solve -37 = -f*w - 5*t, z*w - 3*t = 3*w + 5 for w.
4
Suppose 10*i + 16 = 14*i. Solve i*c + 3*a + 20 = 0, 0*a + 5*a = -4*c - 28 for c.
-2
Suppose 0 = 8*l - l - 77. Solve -3*x = -0*d + 4*d + l, d + 6 = -4*x for d.
-2
Let j be 3 + -4 + (-36)/(-2). Solve -5*i = 2*z + 13, -2*i + j = -3*z - 7*i for z.
-4
Let a be ((-4)/(-6))/(5/90). Suppose -3*g + 2*f + a = -2*f, 4*g + f - 16 = 0. Solve 0 = -3*k + n + 1 - 0, 0 = 2*k + n - g for k.
1
Suppose -13*a = -11*a. Solve -3*i = -a*i - n - 17, -4*i + 5*n = -41 for i.
4
Let h(u) be the third derivative of -u**6/60 + u**5/60 - u**4/24 - u**3/6 + 3*u**2. Let r be h(-1). Solve 5*s + r*z - 6*z = -4, 2*z = s - 2 for s.
-2
Suppose -26 = -6*v - 2. Solve -v*f - f - 28 = 2*p, 0 = -2*f - 3*p - 20 for f.
-4
Let n be -1*(0 + 2 + 0). Let x(a) = a + 3. Let h be x(n). Solve 4*w + 3*r = -1, -5*w - r - 3 = h for w.
-1
Let r(j) = 2*j**2 - 5*j. Let i be r(-4). Let n be (2 - i/20)*-15. Solve 0 = 3*v - 0*v - 3*g + n, 0 = -3*v + g - 5 for v.
-1
Suppose 4*u - 12 = 20. Let a = 9 - u. Let y = 1 - -2. Solve 0 = -2*z + y*w - a, 4*z = -0*z - 3*w - 29 for z.
-5
Let p(v) = -v**2 - 14*v + 33. Let d be p(-16). Solve 2*n = -k + 5, 0 = -2*n + k + d - 2 for n.
1
Suppose 2*g - 4 = -2*a - 2*g, 4*a + 4*g - 16 = 0. Solve f = u - 0*u + 9, u = -2*f + a for f.
5
Let l = 22 + -14. Let x = 9 - l. Suppose 3*w - x = 3*o - 7, -3*o - 3*w = -18. Solve -o*v - 9 + 0 = -k, 2*v + 6 = 2*k for v.
-2
Let s(h) = 4*h - 15. Let g be s(5). Solve -22 = -g*l + 3*y, -l - 1 + 19 = -4*y for l.
2
Let t(s) = -s**3 + 9*s**2 - 8*s + 2. Let z be t(8). Solve 0 = z*r - 0*r + 5*v - 8, 5*v - 20 = -5*r for r.
4
Let w(s) = 3*s**2 - s - 1. Let v be w(-1). Let o be 64/(-6) + 4/6. Let u be v/2*o/(-3). Solve 7*r + 21 = -4*l + 2*r, -l = u*r + 24 for l.
1
Let g(w) = -w**3 + 6*w**2 - 5*w + 2. Let s be g(5). Suppose 3 = -3*z - 5*y + 5, -2*y = -s*z + 28. Solve 4*l + 4*o = o - 3, 0 = -5*l - 2*o - z for l.
-3
Suppose -i + 3*g + 8 = 0, -5*i - g + 20 = -6*g. Solve -16 = -4*b, 0*b - i*b = -4*c - 8 for c.
0
Suppose -2*y = y. Suppose 22 = 6*p - 2. Solve 5*o = 5*b - 10, 2*b + y = p for o.
0
Let i(r) = r - 7. Let f be i(7). Suppose -3 = 4*b - 5*q + 10, f = -b - 3*q + 18. Solve -15 = 5*z 