9) - 3/9. Let f = -3 - h. Let v be b(f). Solve 3*l + 1 + 2 = v*u, -2*u - 4*l = -14 for u.
3
Let o(x) = x**2 + 5*x + 6. Let n be o(-4). Suppose -n*a = 3*a. Suppose -5*w + 3*w + 12 = a. Solve w*z - 5*z - 2*j = 12, -31 = -3*z + 5*j for z.
2
Suppose -63 = -2*j - j. Let q be (-5)/(-3) - (-7)/j. Solve -l = -4*l + q*c - 2, 2*l - 5 = -5*c for l.
0
Let u(i) = 4 + 18*i - i**2 - 16*i + 2 + 2. Let q be u(4). Solve 5*x + 19 = -q*f - f, 0 = -3*f - 12 for x.
-3
Suppose -13*j = -32 - 20. Solve j*f = 3*d - 7*d + 4, -d + 3*f = -1 for d.
1
Let q(t) = -t + 1. Let n be q(-5). Suppose -n*w + 11 = -2*w - v, -5*v = 15. Let z be (2/(-4))/(2/(-16)). Solve d - 2*f - w = 0, -2*d + z*f + 2 = 2*f for d.
0
Let q(l) be the first derivative of 2*l**3/3 - l**2/2 - 2*l + 2. Let k be q(2). Let g be 0*2/k + 4. Solve 5*u + 10 = -4*y, -12 = g*y - 0*u + 4*u for y.
-5
Let w be 33/2 - 1/2. Solve -5*a - w = 4*t, t + 0*t = -5*a - 4 for a.
0
Let z(c) = -c + 7. Let j be z(5). Let n(x) = -x**2 + 3*x + 1. Let y be n(j). Solve y*t + 14 = m, 0*m + 5*t = -m - 10 for m.
5
Suppose -3*u - 3*k - 15 = 0, -5 = -3*u - 3*k + 4*k. Suppose u = 5*t - t. Solve q + 4*x - 9 = t, -q + x + x = 9 for q.
-3
Suppose y - 2*x + 1 = 0, 0 = -3*y + 3*x + 2*x. Let q = -2 - -4. Let v be q/(-4) + y/2. Solve 0 = -2*h + h + v, 4*p = -3*h + 14 for p.
2
Let b be 13/5 - 3/5. Suppose q - 3 = -1. Suppose 8 + q = b*y. Solve 0 = -4*h + 4*t - 20, 0*t = -2*h - y*t + 18 for h.
-1
Suppose -5*u + 55 = 15. Let n be (2/(-3))/(u/84). Let d = n + 11. Solve d*i + 1 = -5*h - 8, -i - 6 = 5*h for h.
-1
Let v = -11 + 15. Let h = 8 + -3. Solve -v*d + 4 = -m, h*m + d - 3*d = 16 for m.
4
Let p = -15 + 26. Solve -n = 3, p + 15 = -5*d - 2*n for d.
-4
Suppose 9*w - 4*w = 15. Suppose -23 = -5*i + o, -w = -i + 3*o - 2*o. Solve 4*z + 2*q = -2*q - 4, i*q = 3*z + 3 for z.
-1
Let j(m) = 0*m + m + m**2 + 0 - 6 + 4. Let i be j(-3). Suppose 1 = -i*l + 21. Solve -p + 4*n = -5 + 2, -4*p + l*n + 12 = 0 for p.
3
Let z be -9*(-1)/(-3)*3. Suppose -5*f - 5*k = -80, 2*f - 3*k = -3*f + 104. Let i = f + z. Solve -5*p + 2*b = -3*b - 45, i = -2*b for p.
4
Suppose 0 = j - 5*h + 23, -5*j + 4*h = 9 + 1. Suppose -j = -5*y + 18. Let w be (-650)/(-35) + 4/(-7). Solve -y*f - 15 = -5*k - 6, -2*k = 2*f - w for f.
4
Let b(x) = 0 + x**3 - 2 + 5 - 7*x**2 + 6*x. Let h be b(6). Solve 2*u - k - 3 = 4*k, -h*u + 9 = -3*k for u.
4
Let g(i) = -i**3 - 18*i**2 - 18*i - 12. Let l be g(-17). Solve -h = l*a - 0*h + 15, 0 = -4*h + 20 for a.
-4
Suppose 7*m = 3*m + 8. Solve j - 2*j = -m*l + 13, 0 = 4*l + 5*j + 9 for l.
4
Suppose 0 = -0*b + b - j - 2, 5*j + 2 = 3*b. Suppose -4*a - 5 = -9*a. Suppose -15 = -5*z, -s + 2*z + a = 4. Solve -26 = -4*o + s*q, -2*o = q - b*q - 16 for o.
5
Suppose 3*j - 6 + 1 = -m, -3*m = 2*j - 1. Suppose z = 3 + j. Solve z*p = -a - 21, -3*p + a = 17 - 6 for p.
-4
Suppose -1 = 3*q + 2. Let s(y) = 4*y**2 - y. Let a be s(q). Solve 0 = -o + 5*w - a, 6*w - w - 30 = -4*o for o.
5
Suppose -2*z = d - 2 + 5, -3*z = -3*d - 9. Suppose -s - 3 = -3*f - 2*s, 5*f - 3*s - 19 = z. Solve 3*g - 24 = -0*g - 5*c, f*g + 9 = 5*c for g.
3
Let u be (-18)/(-4) + (-2)/4. Suppose 0 = u*v - 2 - 2. Solve -2*w + v = 3*c, 2*w - 6*w + 26 = -2*c for c.
-3
Suppose -6 = 7*l - 10*l. Solve -f = -5*z - 26, f - 2*z - 21 = l*z for f.
1
Suppose -4*r + 10 = 2*m, -2*r + 4 = -m + 3*m. Solve r*n + 5*b = -6, b - 4*b + 6 = 5*n for n.
3
Let h = -1 - -1. Let v be (0 + h)/(3 + -4). Suppose v = 4*s - 0*s. Solve 4*d - 3*b - 11 = s, -d - 3*b = -4*b - 4 for d.
-1
Let o be (-79)/(-9) - (-2)/9. Suppose 0 = -3*c + 3*u - 6*u + o, -u + 8 = 2*c. Solve -4*v + 20 = 4*h, -c*v - 3*h = -4*h - 13 for v.
3
Let v be (12/15)/((-6)/10 + 1). Solve -2*x = -v, 2*w - 5 = -2*x + 3*x for w.
3
Suppose -c - 224 = -8*c. Solve -5*d = -4*a - c, d + a - 1 = -0*d for d.
4
Suppose -3 + 11 = 4*z. Solve 0 = -2*m + m - 2*x, z = 2*x for m.
-2
Let w(y) = -y**2 + 5*y - 1. Let d be w(2). Solve -a + 4 = d, 6 = 2*g - 2*a for g.
2
Suppose 25 = 3*m - 5. Solve j = -3*c + 6 + 14, -j - m = -3*c for j.
5
Let c = 50 - 21. Solve 3*j - 5*m + c = 0, -m = -2*j - 0*m - 10 for j.
-3
Suppose 3*k + 5*j = -k + 43, 0 = 4*k + 4*j - 44. Solve -k = -2*s - 2*s + 3*o, -2*o - 9 = -3*s for s.
3
Let f(a) = -a - 2. Let r be f(-8). Let s = r + 1. Solve 0 = 4*b - z + 19, -s = b + z + z for b.
-5
Let x(f) = f**2 + 6*f - 10. Let b be x(-8). Solve t - c + 7 = 0, -b - 4 = t - 2*c for t.
-4
Let l = 3 + 5. Suppose -f - l = -3*f. Suppose -5*p - u = -11, 0 = -0*p + 3*p + u - 5. Solve -j + f*g + 10 = 0, 4*g + p = 2*j - 5 for j.
-2
Let b(p) be the first derivative of p**4/4 - 7*p**3/3 + p**2 + p + 1. Let d be b(7). Solve -4*o = a + 2*a + 35, 0 = 3*o + d for a.
-5
Let c = -20 + 26. Solve -2*d = -4*d + s + c, 4*s + 8 = 0 for d.
2
Let z(r) = -2*r - 3. Suppose -2 = -2*j + 2. Let o be (-4 - j) + 3/1. Let y be z(o). Solve -3*s = -y*l - 3 - 3, 3*l - 5*s = -16 for l.
3
Suppose 0*m + 21 = 3*m. Suppose 10 = 3*s + 16. Let y = m + s. Solve -4*b + y*d = -9*b - 15, 6 = -2*d for b.
0
Let w = -4 - -6. Suppose 0 = -8*s + 15 + 1. Solve -2*n + w*o = -4 - 8, o = -s*n + 6 for n.
4
Let g = -1 - -1. Suppose 0*u - 5 = -3*v + 4*u, 3*v + 3*u + 9 = g. Let k be (15 - 0) + 0/v. Solve 3*m - 4*h + 10 + k = 0, -m + 4*h - 19 = 0 for m.
-3
Let z(x) be the second derivative of -x**5/20 - 2*x**4/3 - x**3/3 - 3*x**2 - x. Let f be z(-8). Suppose 5*q - f = 3*q. Solve j + q = n, -3*j - j = n for n.
4
Let q(t) = t + 20. Let k be q(-13). Solve -z - u + 3*u + 7 = 0, u = 4*z + k for z.
-3
Suppose 53 = 4*y - 27. Suppose 0*b = -5*b + y. Solve -b*t - 7*v + 2*v = -35, -5*v + 40 = 5*t for t.
5
Let k(z) = -z**3 - 7*z**2 - 8*z - 7. Let d be k(-6). Suppose 14 = 5*b + 4*x, -3*x = -d*b + x + 6. Solve 0 = -2*g + 4*f, 3*g - 6 = f + b*f for g.
4
Let n be ((-5)/4)/((-4)/32). Let w(o) = o - 2. Let r be w(n). Let u be 2/5 - r/(-5). Solve -4*z - 3*m = -31, 3*z - u*m - 2 = -0 for z.
4
Suppose -5*q + 25 + 5 = 0. Solve 3*o - 5*f - q = 0, -1 = -2*o + 3*f + 2 for o.
-3
Let b be 5 + (3 + 3)/(-2). Suppose 5*g - 15 = b*g. Solve 0 = 3*j + u - g, 4*j - 9*j - 4*u = 1 for j.
3
Let x = -8 + 17. Suppose p = u + 2*p + 2, -5*u + 2 = -p. Suppose u = 5*r - 1 - x. Solve r*s + 5*b = -1, -4*s - 2*b + 6 = -0*b for s.
2
Suppose -5*o + 255 = -0*o. Suppose 2*h + 18 = 5*t + o, 3*t + 7 = -2*h. Solve -h*y + 20 = -4*v, v + 3*v = -2*y - 8 for v.
-3
Suppose 0 = -5*s - 25, -t - 10 = -s + 3*s. Let h be 3/(-9)*-1*t. Let w(i) = i**3 - 2*i**2 - 2*i - 3. Let a be w(3). Solve r = -a*r + d - 4, -5*d = h for r.
-4
Suppose -l + 116 = 3*l. Let d = l + -24. Solve -5*w + d = m, -4*w - 3*m + 4*m = -4 for w.
1
Let a be (-8)/(-24) - 10/(-6). Solve 4*w - 30 = -a*b, 3*w - 5*b = -w - 5 for w.
5
Suppose 4*y + 40 = 4*n, 4*n - 21 = 3*y + 14. Let u = 85 + -81. Let k = 2 - -1. Solve 0 = -u*a - k*j - 10, -22 = -2*a + n*a - 5*j for a.
-4
Suppose 0 = -y - 2*y. Solve 3*d + 3*c + 15 = y, -4*c = d - 3*d + 14 for d.
-1
Let w be (-12)/78 - (-41)/13. Solve -6 = 3*l - 4*i, 2*i = w + 3 for l.
2
Let m = 1 - -2. Suppose 2*w - m = w. Solve 2*d - 7 = 5*x, 0 = -7*d + 4*d + 5*x + w for d.
-4
Let w(m) = 8*m - 4. Let v be w(5). Let h be v/10*(-50)/(-15). Suppose -4 = 4*f, 4*n + h = 4*f + 32. Solve -3*c = 2*t + t, c = n*t - 15 for t.
3
Let w(v) = 2*v - 23. Let x be w(13). Let p be 6/(-4)*(-1 - 1). Solve -3*r + p*o + 3 + x = 0, -o + 2 = 0 for r.
4
Suppose 75 = 5*l - 3*m, -3*l + 6 + 39 = m. Let a = 0 + 3. Suppose 0 = a*z - 0*z - l. Solve 0 = -5*v + z*s, 3*s + 44 = -5*v + 4 for v.
-5
Suppose u = 3*u - 18. Let l = u + -4. Solve h = 2*s - 0*h, -9 = -s + l*h for s.
-1
Let r be (12/(-8))/(3/(-4)). Solve -2*q + 2*x = -r*x - 16, 3*q + 3*x = -12 for q.
0
Let g(u) = -u**2 - 6*u + 1. Let o(z) = z**3 + 8*z**2 - 5*z - 11. Let r be o(-8). Suppose 5*k = -r + 4. Let l be g(k). Solve 4*f = -3*t, -2*t = -f - l - 5 for f.
-3
Suppose n - 17 = -3*w, 7*w - 4*w - 4*n = -8. Suppose 5*v - 28 = -2*x - 2, -25 = -3*x - w*v. Solve 0 = -5*z - 4*o, 0 = -4*z - x*o + 5 - 4 for z.
4
Let x(i) = i**2 + 2*i - 3. Let f be x(-3). Let a be 0 - 4*(3 - 4). Suppose -z = 2, 3*l = -l - 4*z - a. Solve 3*h = -h + 3*m - 3, -2*h + m + l = f for h.
3
Let i = -11 + 14. Suppose -2*f - 5*g - 9 = 0, 4*f + 3*g + 0 - i = 0. Solve 0 = l - 0*l + x + 5, -f*l = 4*x + 19 for l.
-1
Let y be (-1)/4*-4*2. Solve y*z = 2*v + 8, 0 = 4*v + z - 3 + 4 for v.
-1
Let k be ((-80)/64)/((-1)/8). Let v be