 9. Let u be o(6). Let k be u/(-6)*(-12)/15. Solve 2*y + 3 = -f, -3*y + k*f - 5 = -h for y.
1
Let l be (3*2)/(-1 - -2). Let s be 5/(-1)*(-99)/55. Suppose 3*b - 2*y + 6 = 0, b + 7*y = 4*y + s. Solve 5*p + 5*c = b, 3*p + c + l = -0 for p.
-3
Suppose -6 = 5*m - 41. Let t be 16/56 - (-82)/m. Solve 4*l = -0*l - 4*n + t, 1 = -n for l.
4
Suppose -y + 6 = y + 4*b, 0 = -4*y - b + 12. Solve s + 0*s = -y*c + 9, -3*c = -6 for s.
3
Suppose -u - 5*f = -12, 4*f - 16 = -5*u + f. Suppose -68 = -2*w - u*w. Solve -x + 2*x - 3*j = 7, -3*j = 5*x - w for x.
4
Suppose 2*y = 6*y - 8. Suppose 2*n + 2*n - 12 = 0. Let a be (n/2)/((-6)/(-8)). Solve u = a*x, y*u - 3 + 8 = -x for u.
-2
Let t = -9 + 13. Suppose 20 = t*q + q. Suppose 2*r + c - 38 = 5*c, -4*r = -q*c - 72. Solve 5*h + r = 2*p, -4*p + h = -3*p - 1 for p.
-4
Let t = 10 - 7. Suppose 4*r + s = -52, t*s = 5*r + 2*s + 65. Let n = -8 - r. Solve 3*b - 2*b = -5*x - 25, 10 = n*b - 2*x for b.
0
Let t be 16/8 - 0/2. Suppose -t*v - 2 = 4. Let y be 0 + (v - 0) + 8. Solve y*d + i + 1 = 4, 2*d + 4*i = 12 for d.
0
Let h(m) = m**2 - m + 3. Let c be h(0). Suppose -c*s + s = 0. Solve s = 3*f - f, 3*b - 12 = 3*f for b.
4
Suppose 1 = u, 0 = z - 3*z + 5*u - 1. Let g be (z - (-4)/(-1))*-2. Suppose 0 = -2*j - 249 + 255. Solve -j*v - 5 = -2*w, -2*w + 10 = -g*w - 2*v for w.
-2
Let h be 16/10 - 30/(-75). Solve -5*x + 5*p = -10, 4 = 4*x - x - h*p for x.
0
Let y = -18 - -10. Let h(v) = -2*v + 8. Let w be h(y). Suppose -n - n + w = 0. Solve -4*c = -r - 10, -2*r + 5*r - n = -2*c for r.
2
Suppose -5*a = -162 + 12. Solve 0 = -2*s + 5*d + a, -s + 4*d + 36 = 15 for s.
5
Let n(s) = 1. Let m(v) = -v**2 - 6*v - 2. Let i(h) = m(h) + 4*n(h). Let b be i(-6). Solve 4*a + 22 = c, -4*a - 10 = b*c + 3*c for c.
2
Let h(f) = 7 + 5*f - 3*f + 1. Let d be h(6). Suppose -5*n = -10*n + d. Solve 5*a + n*i = 3 + 14, -2*a + 8 = 2*i for a.
1
Let t(i) = i - 3. Let m be t(4). Solve 2 = 4*x + p, 5*p + 4 = -5*x - m for x.
1
Let u = 5 + -2. Suppose 0 = u*o + 5 + 22. Let q = 9 + o. Solve q = -i - 4*i + 2*g + 4, -3*g - 6 = -i for i.
0
Suppose 4*b - 4 - 8 = 0. Let q be 0*b/(1 + -4). Solve q*p - p + 27 = 5*m, 5*m = 25 for p.
2
Suppose -2*t - 4 + 12 = 0. Solve t*r - 5*d = -10*d - 27, 0 = -r + 5*d + 12 for r.
-3
Let u = 1 + 1. Suppose -2*v - g - 2*g + 25 = 0, 5*g - 15 = u*v. Let p = -3 + v. Solve -1 = 5*o - p*s, 0 = -0*o + 5*o - s - 2 for o.
1
Suppose 0*r + 2 = r. Let x be r/(-10) + 22/10. Solve 0 = -x*k - 4*g + 10, 23 + 2 = 5*g for k.
-5
Let s(a) = a**2 - a - 2. Let n be s(2). Suppose n*m = -m. Suppose -w + m*w = 0. Solve -v = 3*b - w*v - 11, -5*b - 3*v + 17 = 0 for b.
4
Suppose -5*g = 3*p + 2*p - 10, 3*p + 4*g - 1 = 0. Solve -p = -3*i + 2*a, 3*i - i + 4*a = 26 for i.
5
Let x be (-1)/((-2)/(-6)*1). Let w be (-1)/(-5) + (-41)/5. Let z = x - w. Solve -2*q - 7 = -z*i + 3, 4*q - 3*i + 20 = 0 for q.
-5
Let k(i) = i - 10. Let g(a) = -a + 11. Let x(f) = -5*g(f) - 6*k(f). Let w be x(-7). Solve 3*z - 4*z + 5*t = -18, 2*z + 2*t = -w for z.
-2
Let q = -22 - -27. Solve -4*u + q*o - 12 = 0, 2*u + 2*o = u + 10 for u.
2
Let c be 1 + 3/(1 + 2). Let z = c + 2. Solve 0 = 2*i + z, i - 13 = 4*o + o for o.
-3
Let w = 0 - 2. Let r be w/(-8) + 7/4. Suppose 0 = -3*l - 5*y + r*y + 12, -2*l + 9 = 3*y. Solve -4*j - 4 = 4*f, -j - l*j = 3*f - 1 for j.
4
Let l = 0 + -6. Let f = l + 10. Solve -5*u = -5*x - 10, 3*u + 2*x + 5 = f*u for u.
-1
Suppose -5*t - 18 = -53. Let v = 12 - t. Solve -v = -5*p + 5*z, 0 = -4*p + 3*z - 0*z + 6 for p.
3
Let a(q) = -5*q**2 + 4*q**2 + 0 - q**3 - 2. Let n be a(-2). Suppose 1 - 7 = -2*p. Solve -5*w = n*k + 2, 0 = -5*k + p*w + 22 + 4 for k.
4
Let u be ((-30)/20)/((-1)/2). Solve 3 = 5*j - 3*b, -3*b + u + 9 = 0 for j.
3
Let n(j) = j - 2. Let s be n(5). Let l be 9/7 - 4/14. Let r be (-4 + 3)/(l/(-3)). Solve -2 = -2*i + 4*p, s*p + 19 = -r*i - 2*p for i.
-3
Let f be (-6)/(7/((-21)/6)). Suppose -4*r + 56 = 24. Suppose -f*v = -r*v. Solve -4*k - 16 = -3*z, -3*z - 4 = k - v*z for k.
-4
Let v be (-23)/7 + 3 - 48/(-21). Solve -2*q = 3*f - v - 0, 3*q - 3 = 3*f for f.
0
Suppose -7*a = 3 - 3. Solve -g - 2 = w, 0*w + 2*w + 3*g + 1 = a for w.
-5
Suppose -y = j + y - 4, 3*j - 2*y = 12. Solve -2 - 2 = 4*w + j*r, 2*w - 2 = -r for w.
3
Let o = 25 - 14. Solve -4*w + 2*z + 8 = 0, o = -5*z - 9 for w.
0
Suppose -20*k = 13 - 113. Suppose -3*r - o + 14 = o, -4*r + 14 = -2*o. Solve -3*y + 13 = 3*p - k*p, 10 = p + r*y for p.
-2
Let f(t) = 3*t**3 + 1. Let r be f(1). Solve 0 = -r*l - 5*y - 10, l - 5*y + 16 = 1 for l.
-5
Suppose -3*s = -3*i, -3*s + 16 = 4*i + s. Solve i*t + 21 = u - 2*t, -5*t = -5*u + 45 for u.
5
Suppose -5*x - 5*t = -t - 16, -3*t = 4*x - 12. Solve -13 = -4*n + 3*d, d + 7 = 4*n - x*d for n.
1
Let r be -51*(-3 + 24/9). Suppose 0 = 2*u - 4*c - 4, -4*u = c - r - 0. Solve 0 = -t + 2*q + 2, 7*q = u*t + 3*q for t.
-2
Let m = -1 + 3. Suppose 3*x - m*k + 15 = 6*x, -x = -4*k - 5. Solve r = t + 4 + 2, 0 = x*t + 5 for r.
5
Let v be 2/(-2) + 15*-2. Let j = v + 55. Solve 3*i - p + 3 = 0, 3*i + j = -5*p + 3 for i.
-2
Let q(w) = -w**3 - w - 1. Let r be q(-1). Suppose 5*z - 26 = -r. Let u(i) = 2*i**2 - 3*i + 2. Let m be u(2). Solve 0 = k + m*l - 23, -5*k + 6 = z*l - 34 for k.
3
Let i be 3/9 - 48/(-18). Solve -5*k + 9 + 1 = -i*x, -4 = 4*x - 2*k for x.
0
Let r(g) = 2*g + 8. Let n be r(-4). Solve -4*l + l = -f - 7, 2*l - 3*f - 7 = n for l.
2
Let l(n) = -n**2 - 6*n + 5. Let c be l(-6). Let r(w) = -2*w - 10. Let h be r(-9). Suppose h = -c*u + 33. Solve 5*z = 4*f + 13 + 1, u*f = 2*z - 9 for f.
-1
Let u(d) = d - 8. Let g be u(6). Let m be 1*(2 + g)/1. Let w = m - 0. Solve -4*s - s - x - 15 = 0, -s + 2*x - 3 = w for s.
-3
Suppose -2*q = -6*q + 8. Solve -5*y + 0 = q*u + 5, 0 = -5*u + 25 for y.
-3
Let y be 0*(2 - (3 + 0)). Suppose -a + 28 = -5*r, -3*r - 24 = -3*a - y. Solve -2*q + q = -t - 3, 5*t + a*q + 31 = 0 for t.
-5
Let z(w) = -4*w - 6. Let v be (40/(-2))/4 - 0. Let s be z(v). Solve 3*q = 5*f - 13, 0 = -6*f + f + 4*q + s for f.
2
Let b(r) be the third derivative of r**6/120 + r**5/12 + r**4/8 + r**3/6 + 3*r**2. Let m be b(-4). Solve 2 = -m*z - 4*h, 0 = 2*z + 6*h - h - 6 for z.
-2
Suppose -4*a + 40 = 2*y + y, 5*y - 85 = -3*a. Solve 4*m = 4*v - y, -2*m - 7*v = -3*v - 14 for m.
-1
Let g be ((-3)/4)/((-2)/64). Let u be g*-1*(2 - 3). Solve -3*a + u = 4*r, 2*a - 3 + 1 = 2*r for a.
4
Suppose 0 = -2*s + 4*a + 6, 2*s - 8 = 3*a - 1. Let y = s - 1. Solve -q = -c, -y*q - 9 = -0*q + 5*c for q.
-1
Let g = 319 - 317. Suppose -6*r + 8 = -2*r, -4*h + 26 = 5*r. Solve -h*l - 3*f - 29 = g*f, -4*l + 3*f + 11 = 0 for l.
-1
Suppose -21 = -2*k + 27. Let j = -21 + k. Solve -2*y + 12 = -7*y - c, 4*c + 2 = j*y for y.
-2
Let f = -8 - -43. Suppose -f + 8 = -5*o + 3*b, 5*o - 35 = 5*b. Solve 3*g = -o*r - 3, -r + 3*r = 5*g + 26 for g.
-4
Let w = 5 + -3. Let x(d) be the third derivative of d**6/120 + d**5/15 + d**4/6 + d**3/2 - d**2. Let i be x(-2). Solve -a + i + 0 = w*o, -4*o + 21 = -3*a for a.
-3
Let s(c) = -1. Let i(n) = 5*n + 5. Let f(l) = -i(l) - 6*s(l). Let a be f(-1). Solve -3*p + 21 = 2*g, 4*p + 16 = 2*g + a*p for g.
3
Let y = -17 + 17. Solve y = 7*t - 2*t - 20, -4*n + 3*t = 8 for n.
1
Suppose 0*n = -n. Solve -2*m + 8 = 2*l - n*m, 0 = 5*l + 3*m - 20 for l.
4
Let c = -29 + 33. Solve 2*p + p + c*r + 12 = 0, -4*p = -4*r + 16 for p.
-4
Let c be (4/10)/((-4)/(-23 + 3)). Solve -2*q + 2*r = -0*q, c*q + 4*r = -6 for q.
-1
Suppose 10*s - 8*s - 12 = 0. Solve 26 = -4*l - 5*t, -2*l + 5*t = 2*l + s for l.
-4
Suppose 0 = -3*q - 0 + 9. Solve -11 - q = -2*g - 2*p, -4*p = -16 for g.
3
Let o(q) = q**2 - q. Suppose 5*c = p - 2*p + 14, p = 5*c - 16. Let i be o(p). Solve -6 = i*b, v - 5*b - 25 = -v for v.
5
Let n be 3 - (6 - 2 - 1). Solve a - 5*c + 6 = -7, 5*a + 2*c + 11 = n for a.
-3
Suppose 0 = -2*y + 3*y. Solve y = -2*v - 2*t - 0*t, 4*v - 5*t = -27 for v.
-3
Let l = 30 + 25. Let b be (-1)/9 + 17/(-9). Let s be 4/(-5)*l/b. Solve 8 - s = 3*j + x, 0 = 4*j + 2*x + 22 for j.
-3
Let n(t) = t**2 - 5*t - 11. Let o be n(7). Solve 4*s - 7*i = -3*i - 8, 27 = 4*s + o*i for s.
3
Suppose -4*i + 9 = -s - 19, -s = 5*i - 35. Solve -3*c = -4*a + 14, -1 + i = 4*a + c for a.
2
Suppose 10*m + 14 = 3*m. Let u = 5 + m. Solve 0*o = -u*o - 5*y - 4, o - 4*y = -7 for o.
-3
Let d be ((-56)/(-12))/((-2)/18). Let v = d + 70. Suppose -2*a - 4*g = -5*g - 5, 4*a + 4*g = v. Solve -a