. Let h = -8 - -8. Let n be (-1 - h - -2)*c. Solve 0 = -3*z - 3, -n*z + 21 = 5*u - 3*z for u.
4
Let f be 14/((56/(-12))/(-7)). Solve -r = 5*j - 12, -4*j + 2*r + r = -f for j.
3
Let f = -1 - -11. Solve l = 3*x + x - 15, 0 = -5*l + 3*x + f for l.
5
Let p(a) be the third derivative of -a**5/60 + a**4/4 - 5*a**3/6 + 3*a**2. Let y be p(4). Solve -3*m - 3 = 0, -y*s - 5*m + 0*m = 14 for s.
-3
Let h be ((7 + -2)*1)/1. Suppose h*t + 4*j = -0*t + 12, 0 = 3*j + 6. Suppose -4*z = -3*s + 19 + 9, 5*s + 4*z = t. Solve 24 = 4*b - g, -s*b - g - g = -12 for b.
5
Let t(a) = a**2 - 2*a - 3. Let p be 0 + 0 - -2 - -2. Let c be t(p). Solve -5*h + 4*w + 11 = -c, 0 = w + 4 for h.
0
Suppose 4*n = -n + 10. Let h be ((n - 2)*1)/(-2). Solve 4*x - 9 = 4*u + 7, -2*x + 3*u + 12 = h for x.
0
Suppose -4*h = -9*h - 110. Let i = h + 42. Suppose -v - 3*v + 4 = -r, 0 = v - 3*r - 12. Solve v = -2*c - 4*b + i, 3*b - 4 + 3 = 2*c for c.
4
Suppose -8*j = -4*j - 20. Let u = 8 - j. Let t be (25 - 28)/(0 - 1). Solve -b = -2*y, 0 = y - t*y - u*b for y.
0
Suppose -50 = 3*d - 8*d. Let n = -6 + d. Suppose 5*l + 11 = 5*v - 4, -2*l - v + 9 = 0. Solve -x - x = n*i + 6, -5*i - 30 = -l*x for x.
5
Let a(v) = -v**3 + 7*v**2 - v + 10. Let t be a(7). Suppose -u + 3*u = 0. Let o(d) = d + 15. Let n be o(u). Solve -t*l + q = -n, l = 6*l - 4*q - 25 for l.
5
Let l(g) = g**2 + 6*g + 5. Let x be l(-5). Suppose x = -2*c - 5*c + 21. Solve -5 = 4*b - c*p + 16, -3*b - p - 6 = 0 for b.
-3
Suppose -4*f = 5*j + 17, -f + 4*f + j = 1. Let h be (-38)/(-14) - f/(-7). Solve -h*w + 3*z = 1 - 7, -5*w = -z - 18 for w.
4
Let o(w) = w**3 + 6*w**2 + w - 1. Let u be o(-4). Let z be (32/(-12))/(2/(-6)). Let v be (-42)/(-24) + 2/z. Solve -u = 4*g - 5*c, -v*g = -4*c + c + 15 for g.
-3
Let q = 12 + 5. Let y be q/5 + (-12)/30. Solve -4*b - 2*p - 20 = 2*p, -p = -y*b - 11 for b.
-4
Suppose -20 = -5*r + r. Solve 0 = 3*h + r*a + 12 + 17, 2*h - a + 2 = 0 for h.
-3
Suppose -71*i + 66*i = 0. Solve -o - b - 7 = 0, -4*o + 3*b - 14 = -i*b for o.
-5
Let k = 18 + -6. Let m be (8/(-6))/((-6)/90). Solve -3*t = 3*l - 8*l - m, 3*l + 5*t + k = 0 for l.
-4
Suppose -2*n - 3*n - p = -17, 0 = -n + 3*p - 3. Suppose -n*m + m - 30 = -4*u, -6 = -2*u - 2*m. Solve -u = -v + 3*x, 3*v - 3 = -x + 5 for v.
3
Suppose -t - 32 = -5*t. Let a = 11 - t. Solve a*k + 4 = -g, 2*g - 5*k + 4 + 4 = 0 for g.
-4
Let j = 34 + -23. Let z = j + -20. Let u be 129/27 - 2/z. Solve 2*s - 3*m - 1 = 0, u*s - 12 = m - 3*m for s.
2
Suppose -2*x + 2 = 0, x = -4*n + 2*n + 7. Solve n*v + 0*v + 3*j - 9 = 0, -3*v = -5*j - 25 for v.
5
Let c be (-9)/(18/(-4)) - 0. Solve -3*m + 8*m = -i + 15, -c*i = 2*m + 2 for i.
-5
Let p(f) = -7*f + 1. Let h be p(1). Let z = h - -4. Let d be (0 - z) + (0 - -1). Solve -2*u = -4*u + d*t - 1, 2*u + 2 = 2*t for u.
-2
Suppose -3*r + 3*i = 0, -5*r - 3*i = -2*r. Let s = 18 + -9. Let q be (-63)/(-81) - (-2)/s. Solve -4*f + r*f = -4*a - 12, 2*f + q = -5*a for f.
2
Suppose 2*r = -r. Solve 4*x - 3*w - 24 = r, 4*x - 14 = 4*w + 14 for x.
3
Let w = 4 + 0. Let y = -3 + w. Let u be (y - -3)*(-3)/(-6). Solve -2*v + 4*b = -7*v + 5, -4*v - u*b + 10 = 0 for v.
5
Let p(m) = m**3 + m - 1. Let f(s) = -7*s**3 - 7*s**2 - 4*s + 16. Let l(i) = -f(i) - 6*p(i). Let u be l(-7). Solve 2*x - 13 = -3*v - 5, 0 = u*v - 16 for x.
-2
Let n(v) = v**2 + 4*v - 4. Let s(m) = -m + 1. Let z(i) = 2*n(i) + 9*s(i). Let o be z(1). Suppose -k = -5 + o. Solve -3*r + b = -2, 0*b - k = -5*r + 2*b for r.
1
Let q(w) = w**2 - 5*w + 6. Let r be (-47)/(-9) - (-8)/(-36). Let b be q(r). Solve 5*a + 5*v = -15, -b - 9 = -3*a + 3*v for a.
1
Let p(y) = -9*y**3 + y**2. Let t be p(-1). Suppose -3*a - 2*o = -t, 3*a + o - 11 = -0*o. Solve 3*n = -2*b - 2 - 1, -a*n = -4*b + 24 for n.
-3
Suppose -7 = -3*n + 8. Suppose 13 = 2*m + n*w - 0, -m - 5*w = -9. Let l be 26/7 + m/14. Solve 2*f - 3*g = 4*f + 5, -l*f - 4*g = 0 for f.
5
Let n = 1 + 1. Solve -2*s = n*a - a, 0 = a - 2*s + 8 for a.
-4
Let p be (2 - (-1 + 1)) + 3. Let d = -1 + p. Solve -4*y - 3*b - 6 - 5 = 0, d*b = -5*y - 13 for y.
-5
Let m(j) = -5*j**2 + 2*j**2 - 5 - j**3 + 0*j**2 + 0*j + j. Let u be m(-4). Let k = 10 - u. Solve -k*c + w = 4, 4*w - 6 = -4*c + 10 for c.
0
Suppose -2*l = 6 - 10. Solve -5*f + 2*f + 2*j = -l, -4*f - 5*j + 41 = 0 for f.
4
Let i be ((-3)/6)/(1/10). Let d = 14 + -9. Let b = i + d. Solve r = -b*a + 4*a + 7, 5*r - 13 = -2*a for a.
-1
Let f(p) = 3*p - 26. Let z be f(12). Solve 2*w + 2*q = -8, 2*q + q + z = -2*w for w.
-2
Let u = -9 + 34. Solve -4*q - 14 = 4*v - v, 5*v - 3*q = u for v.
2
Suppose -5*w + 25 = -5*o, 0 = -w - w - 4*o + 10. Solve 16 = 3*j + 5*m, -4*m = w*j - 26 + 8 for j.
2
Let o(d) = d**3 - 5*d**2 + d - 5. Let k be o(5). Suppose 6 = -3*q, 3*z + q - 17 = 2*q. Solve t + 9 = -2*c, z*t + 25 = -k*t for c.
-2
Let z be 5 - (-1 - -2) - -1. Suppose 2*c - z*b - 5 = -1, 2*c - 4 = -3*b. Solve 2*u = -6*p + p + 5, -2*p + c = 2*u for u.
0
Let r(u) = -6*u - 7. Let n be r(-2). Solve -n*f + f = 2*x + 10, f + 5*x - 20 = 0 for f.
-5
Let w(m) = m**3 - 3*m**2 - 3*m - 1. Let a be w(4). Solve a*z + 18 = -3*y, z + 5*y + 16 - 2 = 0 for z.
-4
Suppose 4*w - 1 = -5*u, -w - 3*u + 2 - 7 = 0. Solve 25 = w*n - 3*i - 2*i, 2*n + i = -5 for n.
0
Let l be 5/((-1)/(-2)*2). Solve 4 = -2*z - 4*x, 0*z = -2*z - 3*x - l for z.
-4
Let b = -3 + 4. Let g be -2 - (-7)/(21/18). Solve k + 3*w = w + b, g*k = 3*w + 4 for k.
1
Suppose q + 3*m + 2 = 0, -2*m = -5*q + 2*m + 66. Let r be (-4)/10 - (-24)/q. Let i = -4 + 4. Solve i = -r*u - 5*c + 6, 12 = 4*u - 0*c - 2*c for u.
3
Let l(v) = 5*v + v**2 - 3*v + 1 + 0*v + 2. Let c = 5 - 7. Let a be l(c). Solve 1 = 3*p + k, p - a*k = -8*k - 9 for p.
1
Let y = -121 + 121. Solve -r = -3*m - 9, y*m + 5*m + 17 = r for r.
-3
Let j(u) = -u**3 - 4*u**2 - 3*u + 5. Let s be j(-4). Suppose -6*h + 12 = -3*h. Solve h*n = -3*i - n + s, -4*i = -3*n + 16 for i.
-1
Let c(a) = -a**3 + 17*a**2 + 31. Let d be c(17). Solve -d = -3*b - 4*m, 0*m + 2*m - 8 = 0 for b.
5
Let m = -154 + 159. Solve -z + 4 = -4*w - 11, w = m*z + 20 for w.
-5
Let a be ((-136)/(-119))/(1*4/14). Solve -d + 1 = -4*x - 1, 2*x = 3*d + a for x.
-1
Let i be 25/(-10)*-1*4/2. Solve -7 = 2*c + x, -i*x + 4 = -5*c - 6 for c.
-3
Let h = 6 - 2. Suppose 2*k = -2*b + 6, 4 = 4*k - 3*b - b. Solve 2*f + 3*g = 16, -2*f - k*f + h = -g for f.
2
Let s(t) = 5*t - 11 - 3*t + 4. Let g be s(5). Solve 0*a - 5*a = 3*l - 30, g*a - 4 = l for l.
5
Suppose -4*o = 3*r - 5, 2*o - 4*r + 3*r = 5. Solve 4*v = 2*m - 6, -2*m - o*m = 3*v - 23 for m.
5
Let c(d) = -d + 5. Let b(j) = j**3 + 2*j**2 - 2*j - 1. Suppose -5 = 4*y + 3. Let v be b(y). Let o be c(v). Solve 3*w = -0*w + 2*x - 2, o*w + 12 = 4*x for w.
2
Let q be ((-284)/16)/(1/(-4)). Suppose -4*l - 19 = -q. Solve 5*a - 2*a + 20 = -5*f, 3*a - 2*f = -l for a.
-5
Suppose 8*i - 5*i - i = 0. Solve -s + 3*l + 13 = i, 0 = 3*s - 0*s + 4*l + 26 for s.
-2
Let d(k) = k**2 + 3*k - 2. Let q be d(3). Suppose 4*h - q = -4. Solve -10 = 5*w - 5*b, -5*w - 9 = h*b + 9 for w.
-3
Let j(p) = p**3 - 9*p**2 + 9*p - 7. Let s be j(8). Let y be -2 + s - (-8)/2. Solve -w + 5*q + 22 = -y*w, 3*q + 16 = -4*w for w.
-1
Suppose 7*f - 17*f = -11*f. Solve s - 5*s + 5*h = 3, -4*s - 2*h - 10 = f for s.
-2
Suppose 6*t - 16 - 14 = 0. Solve 0 = 4*h + 12, 5*n - 18 = -t*h + 6*h for n.
3
Let s be 1756/16 - 1/(-4). Suppose r - 112 = -4*k, -3*r = -2*r + 3*k - s. Let t be ((-2)/4)/((-2)/r). Solve -5*v = 2*d - t, v - 1 = 3 for d.
3
Let q = 4 - 3. Let t(j) = -3 + 2*j - j + q. Let p be t(6). Solve -p*h + 4 = -5*f + 3*f, 0 = 4*h for f.
-2
Suppose 4*c - v = 16, -5*c + 10*c + 3*v = 3. Suppose -40 = -c*j - 16. Solve -4*z + 8*q = 4*q + 16, 0 = 5*z - 2*q + j for z.
0
Let c(d) = 10*d + 2. Let h = -13 + 15. Let l be c(h). Solve -t + l = 2*t + 5*r, r = 3*t - 10 for t.
4
Let r = -27 - -51. Let c be 0/(-1 - (-4 - -1)). Solve -4*l + 0*p - 4*p = r, l + 4*p + 12 = c for l.
-4
Let l(s) = 2*s**3 - 3*s + 6. Let q be l(2). Solve -4*a = -12, h = -h + 2*a - q for h.
-5
Suppose -27 = 2*h + 5*n, 0 = -0*h + h + 3*n + 15. Let i be ((-8)/h)/((-4)/(-6)). Solve -24 = -4*j + 2*f, -i*j + 8 = -5*j - 5*f for j.
4
Suppose -44 = 17*m - 333. Solve -4*b - 11 = y, y + 2*y + 4*b = -m for y.
-3
Suppose 12 - 24 = -4*c. Solve 5*b - 5*t + 5 = 0, 3*t + 5 = -c*b - 4 for b.
-2
Let x = 14 + -10. Suppose -24 = -2*v - x*j, 0 = v + v - 3*j + 4. Suppose 4*i - 4 = 0, 0 = 2*a 