 = -4*z - 4*j + 3*j - 71, 2*z - 4*j + 40 = 0. Let f = z - -23. Solve h + 5*m = -0*h + 22, 4*h + f*m - 28 = 0 for h.
2
Let n(t) = t**3 - 16*t**2 - 18*t + 21. Let l be n(17). Solve 2*f - 8 = 4*b + 8, -f + l = -b for b.
-4
Let j be 3*5/(45/(-6)). Let r be j/(-8) - 1/4. Let l(f) = f**3 - 7*f**2 + 6*f + 4. Let d be l(6). Solve r = 3*x + 5*u - 29, -3*u = x - 11 - d for x.
3
Suppose 0 = 2*w + 4*z + 14, -5*w = -4*z + 6*z - 5. Suppose 5*m + 5 = -5*s, 2 = -w*m - 1. Let f = 3 - -8. Solve s = -4*j + 12, f = -2*v - 0*v + j for v.
-4
Let j = 26 + -21. Solve -l + 5*l = m + 17, j*m = -5*l - 10 for l.
3
Let l be (-1 - 1) + 5 + -1. Suppose 3*f - 4 = 8. Solve -2*b - 2 = -l*w, f*w + 2*b = -3 - 5 for w.
-1
Let q(s) = 5*s**2 + 2*s**3 + s + 1 + 1 - s**3. Let n be q(-5). Let x be (-5)/15 - 61/n. Solve -5*z = 5*a + x, 12 = -4*z - 0*a - 3*a for z.
0
Let b be 2/(4/5) - (-3)/2. Solve m = -v - 3*v - 3, b*v - 3*m + 23 = 0 for v.
-2
Suppose 6*m = m + 2*i + 35, m = 4*i + 25. Let r = -2 + 2. Suppose 2*o = -3*p - 1 - 2, -3 = -5*o - 4*p. Solve -y + m*b = -21 + 1, b + o = r for y.
5
Let r(h) = -h**3 - 8*h**2 - 11*h + 10. Let m be r(-6). Solve 5*x = v - 25, 2*x + 3*x - m*v = -40 for x.
-4
Let o(p) = -2*p - 6. Let k be o(-4). Suppose -k*q + 14 = -0*q. Solve 2*l - 2*f = l - q, 0 = -3*l - 5*f - 10 for l.
-5
Let a be ((-2)/(-3))/(2/12). Let n be (-1)/a + (-36)/(-16). Solve n - 12 = 5*b - 5*s, -5*s + 19 = -2*b for b.
3
Let v be (-564)/(-20) - (-2)/(-10). Suppose v = 3*c + h, h + 27 + 11 = 3*c. Solve -n = 2*z + 15, -29 - c = 3*z + 5*n for z.
-5
Suppose -5*b = -2*b + 9, 4*p - 15 = -3*b. Let t = p - 6. Solve 4*n - c + 1 = t, 4*n - 3*c - 9 = -4*c for n.
1
Let i(m) = m**3 - 6*m**2 + m - 4. Let p be i(6). Let s be (3 - p - 3) + 0. Let t be (s/((-1)/(-1)))/(-1). Solve -n - 26 = 5*j, 2*j = t*n - 2 - 6 for n.
-1
Let s(t) = t**3 + 8*t**2 - 8*t + 9. Let j be s(-9). Solve 5*a + j = -4*p + 2, 3*p + 5*a = -1 for p.
3
Let j(d) = -d**2 + 6*d + 3. Let r be j(7). Let n = r - -4. Solve n*u + 1 = 3*u - 2*w, 4*u - 3*w - 1 = 0 for u.
1
Let w(u) be the third derivative of -u**4/24 - u**3/2 + 3*u**2. Let k be w(-5). Solve -4*a + 2 - 6 = k*v, -3*a + 3*v - 12 = 0 for a.
-2
Suppose 2*j + 12 = 5*j. Let k = 0 + 3. Suppose p = 2*p - k. Solve 0 = 5*h + a + 21, -j*h - 8*a + p*a = 0 for h.
-5
Let z(m) = -m**3 + 4*m**2 - 2*m + 3. Let r be z(5). Let x be (-16)/56 - r/14. Solve -4*y + 15 = x*w - 1, w = -y + 3 for y.
5
Let v be (-4*1*1)/(-2). Suppose -t + v*t = 15. Solve -t = -4*b - 0*j - 5*j, 9 = 4*b + 3*j for b.
0
Let o be -1*(-5)/((-5)/(-2)). Suppose 0 = 2*h - 8 + o. Let d = 8 + -4. Solve -4 = -3*f + c - h, -f = -d*c - 15 for f.
-1
Let b(f) = -f**2 + 9*f + 3. Let k be b(9). Solve k*r - 5*m + 22 = 0, -2*r - m - 2*m - 2 = 0 for r.
-4
Suppose 4*f = 4*y, -14 = -0*y + 5*y + 2*f. Let c be (y/3)/(4/(-6)). Suppose 0*j + 4*b - 11 = -5*j, 5*b = -2*j + c. Solve p = -p - j*k - 4, k = -4*p + 12 for p.
4
Let i be 1*((-4)/12 + (-32)/(-6)). Solve i*p = p - 20, -5*w + 5*p + 45 = 0 for w.
4
Let q(o) = o - 10. Let x be q(13). Let u be ((-2)/6)/(7/(-105)). Solve 0 = -b - u*f - 10, f + x*f - 8 = -4*b for b.
5
Suppose -16 = -5*n + n. Let h(c) = -c**3 - 7*c**2 - 8*c - 8. Let p = 2 - 8. Let z be h(p). Solve n*w = 5*q + z, 0 = q + q for w.
1
Let o(s) = -3*s + 3. Let v be o(2). Let d be ((-4)/(-3))/((-2)/v). Solve -5*q - 25 = -d*b, -2*q - b = -3*q - 5 for q.
-5
Let c be 1*(2 - (1 - 1)). Solve -l = -c*j + 7, 6*j + 5 = j - 2*l for j.
1
Suppose 0 = 4*y - z - z, -6 = -y - z. Solve -i - 5 = -s, -y*i - 2*i - 5*s = -7 for i.
-2
Let i(r) = -r**2 + 4*r + 1. Let y be i(5). Let c be 0 + (0/3 - 1). Let d be 6/((6/y)/c). Solve h - 3*n = -h - d, 3*h + 2*n = 7 for h.
1
Let a = -4 - -6. Let k be (6 + 0)*a/3. Solve -o = -k*z - 32 + 12, 2*o + 15 = -3*z for z.
-5
Let c(w) = -3*w + 16. Let f be c(0). Solve -2*m + 4*d = 2*m - f, m - 5*d - 4 = 0 for m.
4
Suppose u + 2*u = 0. Solve -19 - 3 = 2*y - 4*r, 3*y - 5*r + 28 = u for y.
-1
Let h be 33/(-44) - 1/4. Let d be (15/9)/(h/(-6)). Suppose -3 = -3*n + 3. Solve 5*a + d = 5*k, -4*k + n = -3*a - 1 for k.
-3
Suppose -5*u + 23 + 12 = 0. Suppose -2*g + 28 + u = 5*l, 4*g = 5*l - 5. Solve g*i + a = -17, 4*a - 8 + 0 = -i for i.
-4
Suppose 0*m + 15 = 3*m. Suppose 4*n - 2 = -m*t + 19, -t - 2*n + 3 = 0. Solve -b = -4*v - 0 + 2, 5 = t*v for b.
2
Let u = 1 - -2. Solve -2*v - u*b = -2*b - 12, 0 = v + b - 7 for v.
5
Let b be ((-9)/27)/(2/(-6)). Solve -2*w + 6 = -o, o - 5*w - b = -10 for o.
-4
Let s = 90 - 83. Solve 3 = 2*u - n, -s - 9 = u - 4*n for u.
4
Let i be ((-5)/(-4))/(3/12). Solve -2*n = i*w - 12, -2*w + 3*w + 4 = -2*n for w.
4
Let k be (54/8)/(9/24). Let n = -2 - -2. Let y(v) = v + 2. Let f be y(n). Solve -c - 11 = 2*g, -c - k = 3*g + f*c for g.
-5
Suppose -3*r = -11 + 2. Suppose -r = 3*y + 6, -2*b + 5*y = -41. Suppose 4*h = b - 1. Solve -5*j + 21 = 5*z - 9, -j + 8 = h*z for z.
1
Suppose 3*q - 2*q - 3 = 0. Suppose 2*c - 30 = -3*c. Suppose 3*x - 3*r + c = 15, -x + 4*r + 3 = 0. Solve -a = -3*z, 14 = x*z - 8*z - q*a for z.
-1
Suppose 0 = -3*g + 10 + 5, 5*g - 33 = -4*d. Solve d*i + 3*i + 2*v - 23 = 0, -26 = -2*i - 5*v for i.
3
Suppose -q - 2*p = -4, -3*p + 0*p = 3*q - 9. Suppose -q*x = x. Suppose -3*y + 3 + 15 = 0. Solve -2*k - 2*u + y*u = -24, u + 4 = x for k.
4
Let j(d) = -d**2 - 3*d - 2. Let p be j(-2). Solve -3*i = 2*w - 5, -i - 5*w + 19 = -p*w for i.
-1
Suppose 0 = 17*g - 12*g - 25. Suppose 3*u - 4*v = -0*v, 0 = g*v. Solve u = -h, -2*h + 5 = -3*p - 7 for p.
-4
Let p(h) = -h - 6. Let t(l) = -6. Let g(i) = -4*p(i) + 5*t(i). Let u be g(4). Solve -a - 4*b + u = -b, -3*b + 2 = 5*a for a.
-2
Let j be ((-3)/6)/((-3)/150). Suppose 3*k = -2*k - j. Let n = k + 9. Solve 0 = n*l - 16, -4*l + 6 = -f - 9 for f.
1
Let j be (-1)/(-2*1/4). Let m be 1 - (0/(-3) - j). Solve -2*w = m*v + 4 - 13, -10 = -3*w - v for w.
3
Suppose 2*i = 3*y - 6, 0*y - y + 6 = -2*i. Solve 2*s = a, y*s + s = -5*a for a.
0
Let a(w) = 5*w. Let z be a(5). Solve -5*v - z = 2*f, 3*v - 2*f + 0 = 1 for v.
-3
Let m be 9 + (1 - 3)/2. Let r = 5 + -5. Suppose -f + m*b - 11 = 3*b, r = -f - 3*b + 21. Solve 5*v = -3*g + f, 0 = -3*v + 2*v - 5*g - 7 for v.
3
Suppose -2*n + 3*v = -6, -4*n - n - 6 = 3*v. Let p be 98/4 + (-1)/2. Solve 3*q - 5*k + p = n, -3*q + 0*q - 2*k - 3 = 0 for q.
-3
Let s(f) = f**2 - 2*f - 12. Let c be s(5). Solve 2*z + 0*z - 3 = -5*j, -3 = c*z for j.
1
Let s(r) = -r**3 + 3*r + 1. Let y be s(-2). Let b be (-1)/1 + 7 - 3. Let o = 34 - 20. Solve -b*f - d + o = 2*f, 2*f - y*d = 9 for f.
3
Let p be 5*1 + 12/(-6). Suppose -3*q + 12 = 3. Solve -n - l + 0*l = 0, 4*l - p = -q*n for n.
-3
Let l(v) = -v. Let b be l(-3). Let f(j) = -2*j - 5*j**2 - 4 - 3 - 2*j**b + j**3. Let i be f(-5). Solve 3*w + 1 = -h, h - 6 + i = -w for h.
5
Let d be 2*(15 - 1) + -3. Suppose -3*o - d = -8*o. Solve -o*n - y = 2*y + 17, 2*y = -8 for n.
-1
Let m(a) = -a - 2. Let z be m(10). Let j be (-8)/z - (-8)/(-12). Solve 3*p + 5*i = 22, j*p - 4*i = 2*p - 16 for p.
4
Suppose 3*y + v - 12 = -2*v, -y + 4*v - 6 = 0. Let t = 3 - y. Let i be (2/1 - -3)/t. Solve 2*l + i = -5*p, 3*p + 1 = 2*l - 2 for p.
-1
Let r(k) = 3*k + 4. Let g be r(4). Solve g = -2*h - 2*n, -4*n - 28 = 4*h - n for h.
-4
Suppose 0 = -6*z + z. Let v(p) = -p**3 - p + 25. Let m be v(z). Let i be ((-4)/6)/(1/(-3)). Solve -5*w + 6 = 2*x - 13, -i*w + 5*x + m = 0 for w.
5
Let q(u) = -u**2 + 7*u - 5. Let m be q(5). Suppose 4*l + m = -3*f + 3*l, -4*f - l - 5 = 0. Solve -i = -3*c - 11, -5*c + f*i = -4*i + 30 for c.
-2
Suppose 0 = -5*h + 4*h + 22. Solve 5*q = 3*t + h, 5*t - 2*q + 5*q + 14 = 0 for t.
-4
Let d = 29 - -12. Let l = -21 + d. Solve 4*p - 13 = 3*f, -3*f - l = 2*f - 5*p for f.
-3
Let f = 6 + 4. Let s be (1*-32)/4 + 3. Let t = f + s. Solve t*o - 4 = 4*r + 6, r - 6 = -3*o for o.
2
Let x(g) = 2*g**2. Let r be x(1). Let k(y) = 2*y + 3*y**2 - 1 - 2*y**2 + y**r. Let f be k(1). Solve -11 = -3*z + 4*u, 2*z - 9 = -z + f*u for z.
1
Let z be (-1)/((-2)/(-2)) + 10. Suppose -3*i = -3 - z. Suppose -l - 4*f = -0*f + 16, i*l - 11 = -f. Solve 0 = -4*g + 4*b + 28 - l, 14 = g - 5*b for g.
4
Suppose 5*b + 0*b = 10, -2*x - 4 = -5*b. Suppose 27 = x*g - f - 2*f, 4*f = 2*g - 26. Solve 0 = 3*v - h - 13, 3*v + 2 = g*h + 7 for v.
5
Let r(d) = d**2 + 8*d - 5. Let h be r(-9). Suppose 0 = 4*i - 4 - h. Solve i*a = -y + 6, 2*y + 1 = a - 7 for a.
4
Let c = -22 + 27. S