3). Solve -g*u + 1 = -3*y - 1, -3*y - 10 = -s*u for u.
4
Let n(k) be the first derivative of -k**3/3 + 2. Let l be n(1). Let g be 3 + 1 + -1 + l. Solve 0 = 5*i + 20, -3*p - g = -p + 3*i for p.
5
Suppose -30 = -8*k + 5*k. Solve -3*c = -0*c - 5*l + k, 0 = -2*l + 4 for c.
0
Suppose 4*i + 5*w - 22 = 0, -5*i + 28 - 7 = 3*w. Let n(h) = h**3 - 2*h**2 - 2*h + 1. Let g be n(i). Solve -g*z + 10 = -r + 3*r, -5*z + 4*r = 7 for z.
1
Suppose -y = 3*f - 3, 0*y + 5 = 2*y + 5*f. Solve 0*w = 3*w + 3*n - 30, y = w - n for w.
5
Let f(p) = -p - 4. Let d be f(-4). Suppose -3*r = -d*r. Solve -3*l + j + j = 15, 5*j = r for l.
-5
Suppose 3*x - 8*x + 20 = 0, -4*n + 36 = 3*x. Let d = 1 + 5. Let g be (-2)/(2*(-1)/d). Solve -13 = 5*l + r, -g - n = 3*l + 2*r for l.
-2
Suppose -81 = -6*g + g - 2*p, -5*g + 3*p = -91. Let c = g + -14. Solve -3*k + 2*h = -5, 0*k + c*h - 20 = -k for k.
5
Let i(z) = z**2 + 6*z + 2. Let p be i(-6). Let t = p + -2. Solve n + s - 1 = t, -6*n + s = -2*n + 11 for n.
-2
Let y be (8/(-10))/((-2)/5). Solve -y*i + 12 = -2*a, -i - 2*i + 4*a + 23 = 0 for i.
1
Let b = -38 + 58. Solve o = -4*y - 20, -b = 3*y + 3*o - o for y.
-4
Let r be -2 - 0 - (-1 + -20). Suppose -4*i = x - r, -3 = -x - 4. Solve -25 = 3*u - 5*a, -u - 3*a + 20 = i for u.
0
Suppose 0 = -n + 1 + 3. Let a(y) = -16*y - 172. Let j be a(-11). Let m(k) = 7*k - 3. Let r be m(2). Solve j*c - r = h, -3*h - h + n*c = -4 for h.
5
Let u(l) = l**3 + 4*l**2 + 6*l + 10. Let i be u(-4). Let c = -11 - i. Solve -5*b + 2*g + 7 = -11, -c*b = 3*g + 6 for b.
2
Suppose -21 = -2*y + l, 2*y - 14 = -l - 3. Let r be 1/(-2) + 36/y. Suppose 5 = -b + 2*z, -b - 2*b = -2*z - 5. Solve 0 = -5*o - 0*i + i - b, 2 = r*o - 2*i for o.
-2
Let p(b) = -3*b. Let l be p(-2). Let f be 12/18 + (-4)/l. Solve -4*r + 30 + 1 = -5*m, m + r - 1 = f for m.
-3
Let c be (-10)/(-4) + 9/6. Solve -4*a = 4*x + 16, 2*x - 6*a + c*a + 12 = 0 for x.
-5
Let d(b) = -b + 5. Let z be d(9). Let o be (10 - 4) + -2 - z. Solve -3*n - j + o = 0, 2*n - 4*j + 18 = -0*n for n.
1
Let j = 27 - 24. Solve 4*r + 22 = -2*n, j*r + 11 = -n - 3 for r.
-3
Let i(d) = d**2 - 6*d - 8. Let r be i(7). Let j be -2*(r - (1 - 1)). Solve 3*y - v + 4 = 18, -j*y - 5*v - 2 = 0 for y.
4
Let h(l) = 3*l**2 + 10*l + 1. Let a(i) = 5*i**2 + 19*i + 1. Let z(x) = 4*a(x) - 7*h(x). Let d be z(4). Solve -2*t - 4*m - 8 = 0, 2*t + 3*m + 8 = d*m for t.
-4
Let o be -2*1/6*(6 + -9). Solve a = 3*d - 0*d + o, -11 = -3*a + d for a.
4
Let p(x) = -x**2 + 2*x. Let m be p(2). Suppose -u + 1 + 3 = m. Let l(z) = z**3 + 6*z**2 + 3*z. Let k be l(-2). Solve 0 = r + h, 0 = -u*r - 2*h - k + 4 for r.
-3
Let v be 3 + (0 - (1 - 0)). Suppose 0 = a + b + 1, a + 5*b + 13 = -v*a. Solve a*d + 17 = 4*i - 3*i, 5*d + 19 = -i for i.
1
Suppose -6 = -3*o + 6. Let k = -2 + o. Let z = -3 - -6. Solve k*w - w + 15 = 4*j, -8 = -z*j + 4*w for j.
4
Let t(i) = -i**2 - 9*i + 15. Let j be t(-10). Solve 0*q = -3*k + q + 12, j*k = 5*q + 20 for k.
4
Let j = 24 - 22. Solve 0*l = -2*l - 4*g + j, -1 = -l + 4*g for l.
1
Let n be 1/(-6) + (5/(-6))/(-5). Solve -3*u - 2*u - 15 = 0, n = r - 2*u - 4 for r.
-2
Suppose -4*d + 2*c + 2 = -4, -d + c = 0. Solve 3*v = -2*x - 5, -d*v + 2 = -4*x - x for v.
-1
Let q = 2 + -7. Let z = q + 8. Solve 0 = -4*c + 4*l - 24, -3*c = -z*l - l + 22 for c.
-2
Let j = 6 - 4. Suppose j*w = 2*x + 3*x + 15, -3*w - 3*x = -12. Suppose -l + v + 3 = -4, -5*v = w*l - 5. Solve -2*o + 8 = 4*i, -i + 8 = l*i + 2*o for i.
0
Suppose -l = -5*w + 5, -w + 16 = 3*l - 1. Let c = w - 0. Suppose -18 = -c*y - y. Solve d + 2*m = 10, 3*d - m + y - 15 = 0 for d.
4
Let l(c) = -c**3 + 6*c**2 - c + 12. Let s be l(6). Let d be 4 - (s/3 + -2). Solve 0*i + 6 = i - d*j, 2*i + 5*j + 14 = 0 for i.
-2
Let p = -204 - -207. Solve p*q = -4*w + 23, -25 = -6*w + w for q.
1
Suppose 4*z - 5*w + 20 = 0, -6*z + 9*z - 4*w = -16. Suppose k - 2 - 4 = z. Suppose 4*d = 3*d + 2. Solve 0 = -d*s - 4 - k, -c + 15 = -3*s for c.
0
Let p be 407/77 - 4/14. Solve -6 = 5*x - p*w + 4, 4*x - w - 7 = 0 for x.
3
Suppose 3*l + u - 52 = 6*u, -u = l - 12. Solve -l = 3*c - 4*o + 15, 0 = -3*o + 15 for c.
-3
Suppose 0*q = 2*n + 3*q - 49, 5*n = 5*q + 85. Suppose 0*z - 6 = z - 2*r, n = 5*r. Let j be -1*39*z/(-3). Solve -4*s = 5*c - j, -4 = c + c - 2*s for c.
2
Let h(n) be the first derivative of n**3/3 - n - 2. Let l = 2 + 0. Let q be h(l). Solve 3*g + q = 3*p + 15, -4*p - 16 = 5*g for p.
-4
Let f be ((-54)/15)/(72/20 + -4). Suppose 5*d = 3*d + 2*g + 14, -d + 2*g = -12. Solve d = -j - a, 5*a = -1 - f for j.
0
Suppose 0 = -f + 3 + 1. Let m(h) = 6*h - 4. Let i be m(f). Solve -4*y = 4*g + 32, 4*y = -0*y - i for g.
-3
Let u(y) = -y**2 + y. Let b be u(1). Suppose 0 = 2*f - 4*f + 10. Suppose -a + 12 = f*q, -18 = -5*q + 2*a - a. Solve -q*m - h + 8 = -0*h, b = m - 4*h + 6 for m.
2
Suppose -2*w + 5*g = 2*w - 56, 0 = -w - 5*g - 11. Let c = w - 4. Let r = -6 - -11. Solve -r*k = 2*t - 13, -c*t = k - 4*k - 17 for k.
1
Let p(q) = -q**3 - 13*q**2 - q - 9. Let l be p(-13). Solve 3*f = f - 5*w - 1, 4*f - l*w = 12 for f.
2
Let h(z) = 54*z - 2. Let y be h(1). Suppose 12 - y = -4*l. Solve -2*x = 2*v, 4*v = x + 5 + l for v.
3
Suppose -14 = -2*n + n. Let i be (6/(-1))/(0 + -2). Suppose i*p + 2*p = -3*q + 30, -3*p - 6 = -3*q. Solve z = -4*j + 2*z - n, -j = -z + q for j.
-3
Let h(k) = 8*k**3 - k. Let b be h(1). Suppose 0 = -0*w - b*w + 35. Solve -v - 4*p = 10 + 3, 26 = 2*v - w*p for v.
3
Suppose -2*y + 5 = 1. Solve -5*s + 20 = 0, 0 = y*x - x + s + 1 for x.
-5
Suppose 6*x - 12 = 3*x. Suppose 3*s + x*g + 4 = 5*g, -g + 4 = 3*s. Let j be (6/(-4))/(9/(-24)). Solve 2*w - 4*m + 9 + 3 = s, -4*m = j*w - 12 for w.
0
Suppose 12 = 5*o + 3*l, 2*o + 2*l - 4 + 0 = 0. Solve 0*y + 7 = -5*y + o*b, 3*y + 1 = 5*b for y.
-2
Suppose 5*q - 25 + 0 = 0. Let d = 4 + -1. Suppose l + 4 = d*u, 0*u = -l - u + 8. Solve -13 = q*z + 2, -2*m - l = 5*z for m.
5
Let l(h) = -h**2 - 4*h + 7. Let r be (-8)/52 - (-63)/(-13). Let v be l(r). Solve 0 = 3*n - 5*o - 8, -3*n + 1 = 4*o + v for n.
1
Suppose 5*t - 20 = -5. Suppose -d + t = -2. Suppose d*k = -0*k + 5. Solve -3*v = 5*o - 26 - k, -4*o + 4*v - 4 = 0 for o.
3
Let l be 2/5 - (-6)/(-15). Solve -2*x + 4*x = -2*v - 8, l = -2*v - 2 for x.
-3
Suppose -q + 5*q - 6 = 3*z, 5*q = z + 2. Let k be (-5)/(-2)*z*-1. Suppose -k*a = -a. Solve a = -5*n + 25, 3*n = -2*p + p + 16 for p.
1
Suppose -2*u - 5*u = 0. Solve 0 = -3*l - 4*h + 7, -2*l - h + 0*h + 8 = u for l.
5
Suppose -5*b = -15*b + 50. Solve 2*q + 0*q + 2 = -h, -q + 21 = -b*h for q.
1
Suppose -3*t - 4*a = -70, 4*t - 94 = -t - a. Let q = 37 - t. Let s(o) = -o**2 + o + 28. Let m be s(0). Solve 2*p = 5*f - m, -q = -2*f + 3*p + 1 for f.
4
Suppose -5*a - 20 = -75. Solve 3*w = r - 13, -r - 5*w - a = -0*w for r.
4
Suppose -75 = 9*a - 219. Solve -3*c = -3*i - 8*c + 11, -4*c + a = 0 for i.
-3
Let b = 3 - -1. Let k be -33*4/(-2 + -10). Suppose -k*m = -6*m. Solve 4*s + m = 2*i - 14, -b*s + 5*i = 11 for s.
-4
Suppose 4*q + 4 = -5*t, -4*q - 4 = -0*t - 3*t. Let h be 8/(4/2) + t. Suppose h*p - 4 = -0*p. Solve -o + 0 = -s + 2, -5*s = 4*o - p for s.
1
Let l(g) = -g + 5. Let h(b) = -b + 5. Let n(d) = -6*h(d) + 7*l(d). Let q be n(0). Solve 2*y = 2*j - 2, -q*j + 3*j = 4*y - 8 for y.
1
Let b = -11 - -15. Suppose 4 = 5*s - 3*v, -3*s - 3 + 1 = -b*v. Solve 0 = -f + r + 2*r, -s*f = 5*r - 11 for f.
3
Suppose -w + 1 = -2. Let m(a) = -a**3 - 6*a**2 - 5*a + 2. Let c be m(-5). Suppose -9 = 3*y, -w*p - c*p + 28 = -y. Solve 5*b - o = o - 21, p*b = 5*o - 15 for b.
-5
Let w(b) = 10*b. Let c be w(-6). Let k be (8/24)/((-2)/c). Solve 4*i = 3*l + k, 2*l - 4*i + 18 = 3*l for l.
2
Suppose -g + 2*x = x - 40, 0 = 5*g + x - 188. Let z(a) = 19*a + 1. Let b be z(-1). Let o be g/6 - (-6)/b. Solve -2*c + u = -o, 5*c - 4*u = -0*c + 21 for c.
1
Let o(d) = d + 8. Let j be o(0). Suppose 2*p = 2 + j. Solve -2*f - p = -3*k, -3*k + 2*f = 4*f - 25 for k.
5
Let s = -2 + 5. Suppose 2*k - 2*u - 27 = u, 2*u = s*k - 38. Solve o + 1 = -m, -2*o - 3*m - m - k = 0 for o.
4
Suppose -5 - 10 = -3*z. Solve -3*u = 3, u + 0*u = -z*w - 11 for w.
-2
Suppose 6*c - 4*c = 4. Solve -3*q - c*g = -2, -14 = -q - 3*g - 4 for q.
-2
Suppose -3*x + 3*t = 2*x - 13, 5*t + 13 = 4*x. Let f(c) = 4*c + c**x + 2*c**2 - 2*c**2. Let u be f(-5). Solve -11 = 3*d - r, -u*d + r - 22 + 1 = 0 for d.
-5
Let a(l) = l**2. Suppose -4 = -3*k - 1. Let s be a(