(9). Let p be (-130)/(-15)*18/l. Let k = p + -14. Solve q = 6*q - k for q.
5
Suppose o + 2 = 2*v, 2*v + 6 = -0*v + 5*o. Let j(m) = 5*m**2 - 2*m - 1. Let p be j(2). Solve f + p = -v*f for f.
-5
Let d = -26 - -32. Solve -2*o = -0*o - d for o.
3
Let g be (3 - (2 + 0)) + 2. Suppose 5*v + 4*l = 4*v - 8, 3*v - l - 2 = 0. Suppose -3*w - w + 20 = v. Solve 0 = -g*r + 17 - w for r.
4
Let z be (-6 - -1)*2/5. Let t be (z/(-3))/(2/3). Suppose -r = l + t, 3*r = 3*l - 5*l + 1. Solve 0 = r*n - n for n.
0
Suppose -2*n + 1 = -9. Let v = -8 - -5. Let u = 0 - v. Solve 28 - u = n*i for i.
5
Let n = 7 - 5. Suppose -3 - 7 = -n*r. Solve s + 0 = -r for s.
-5
Suppose 13*k - 15*k + 28 = 0. Solve -4*r = -2 - k for r.
4
Let l = -20 - -22. Solve -2 = -0*b - l*b for b.
1
Let p be 90/21 - 2/7. Let m be 0/((-3)/(9/(-6))). Suppose 4*q - 16 = 4*i, m = -0*q - q - i - p. Solve 0 = -q*w - 5*w - 20 for w.
-4
Suppose -z = -4*z + 33. Solve 2*y + z - 1 = 0 for y.
-5
Suppose 2*c + 0*y - 4*y + 4 = 0, 2*y = 0. Suppose 3*i + 1 = 121. Let s be (c*1)/((-4)/i). Solve -3*a - a = s for a.
-5
Let h be (-7)/(-2) - (-3)/(-2). Suppose 2*p - 6 = -h*r, 2*p - 3*r - 10 = -r. Solve 0 = -p*c - 3 - 1 for c.
-1
Let i = -23 + 25. Solve 1 = i*z - z for z.
1
Let w(a) = -a. Let s be w(-2). Let k = 296 + -293. Solve -k*j + s*j = -5 for j.
5
Suppose 3*s + 22 = 4*z, -2*s = 4*z + 2*s - 36. Suppose -48 = -z*u + 3*u. Let c be ((-2)/6)/((-4)/24). Solve 5*h - u = c*h for h.
4
Let n be 4 + 4 + 4/(-2). Solve -n*z + z = 20 for z.
-4
Suppose -2*s = 6*s. Solve -z = 1 - s for z.
-1
Let g(q) = -5 + q**3 - 3 + 2 + 9*q**2 + q**2 + 8*q. Let w be g(-9). Solve 7*u - w*u = -16 for u.
-4
Let m be (0 + 15/(-2))*-2. Suppose -3 = -3*l - 3*p, 2*p + 10 = -2*l + 4*l. Solve l*d + 2*d - m = 0 for d.
3
Let j(g) = g - 11. Let i(o) = -o + 10. Let p(h) = 3*i(h) + 2*j(h). Let u be p(4). Solve u*q - 5*q = 0 for q.
0
Suppose 0 = 3*y + 3, 0*l - l - y = 1. Solve 0 = u + 1 - l for u.
-1
Let v be 2/3 + 21/9. Let n be -3 - ((v - 10) + -1). Solve 6*y - y + n = 0 for y.
-1
Let y(g) be the third derivative of -g**5/60 - g**4/24 + g**3/3 + 3*g**2. Let c be y(0). Suppose 15 = 7*s - c*s. Solve -p = s*p + 12 for p.
-3
Let k(l) = 2*l**3. Let i be k(2). Suppose 0*p + 4*p + i = 0. Let x be (-3)/6 - 10/p. Solve 6 + 0 = -x*g for g.
-3
Let y be (1 - -2)/((-1)/(-2) - -1). Solve -c - 1 = y for c.
-3
Suppose -4 = -3*s + s. Solve s*r = r for r.
0
Let t be 2/(-10) + (138/15 - 9). Solve t = 5*i - 6*i + 5 for i.
5
Let k = -84 + 87. Solve 0 = -k*d - 5 - 4 for d.
-3
Suppose -2*s + 32 = 4*w, 5*w = -2*s + 31 + 4. Solve -c + s = c for c.
5
Let i(a) = -2*a**3 - 4*a**2 - 3*a. Let p be -2*(-1 - -2) - 0. Let l be i(p). Suppose k = l*k. Solve k = -0*j - 3*j + 9 for j.
3
Suppose 4*y - y = -2*y. Solve -b + y - 2 = 0 for b.
-2
Let t = 6 + 27. Solve -8 + t = 5*w for w.
5
Let b(m) = 2*m - 8. Let j be b(6). Let r(d) be the first derivative of d**3/3 - 3*d**2/2 + 3*d - 12. Let i be r(j). Solve -3*h = -i*h - 8 for h.
-2
Suppose w = 4*j - 38, 6*w = 2*j + w - 28. Suppose 0 = -2*p + 2*k - 2, 5*k - 5 - j = 2*p. Solve -q + p - 4 = 0 for q.
-1
Let l be (4 - 3)/(1/2). Let a = 0 + l. Suppose 6*t - a = 5*t. Solve -4*f + 2 = -t*f for f.
1
Let y(l) = -l**3 + 2*l**2 - 1. Let m be y(-1). Solve -m*k + 5*k = -12 for k.
-4
Suppose -9 + 12 = 3*l. Solve 3 = -b - l for b.
-4
Let a be -4*(0 + (-2)/2). Let c = -6 + a. Let d be (1/c)/(4/(-16)). Solve -6 = d*z - 4*z for z.
3
Let s = -23 + 28. Solve s*h + 12 = h for h.
-3
Let f = 15 - 0. Let v = f + -9. Solve -a = -v*a - 15 for a.
-3
Let g be (-4 - -1)*(-2)/3. Let w = 0 - -2. Solve -g*x = w*x + 4 for x.
-1
Suppose -s - 1 + 6 = 0. Suppose -y + s*y = 16. Suppose -2*u + 2 = -y, -4*u = -3*f. Solve f = -z - 0 for z.
-4
Let u(r) = -r + 4. Let i be u(2). Let w = -8 + 11. Suppose 2*s + 8 = -2*f, -4*f = 2*s - 3*f + w. Solve -a + i = s for a.
1
Let s(y) = -y**2 - 8*y - 4. Let o be s(-7). Suppose -2*q = -q - 4*v + 2, 4*v - 10 = -o*q. Let h = -15 + 19. Solve -2*z = -h*z + q for z.
1
Let b be (4 - -2)/(3 - 1). Solve 2*m = -b*m for m.
0
Let n be -2 + -3 + 3 + -33. Let c be 14/n - (-17)/5. Solve s = c*s - 6 for s.
3
Suppose -z = -3*z + 10. Suppose 5*r - i - 45 = 0, i + z = r - 0. Solve 0*y - r = -2*y for y.
5
Let o be 10*(2/4)/1. Let m(g) = g**3 + 5*g**2 + g - 3. Let v be m(-4). Suppose -3*y = -v - 0, -5*t + 2*y - 6 = 0. Solve o*f - 2*f = t for f.
0
Let j be (33/11)/(0 + 1). Suppose 0 = -j*t + 6 + 30. Solve -3*c = c - t for c.
3
Let x = 1 - 1. Solve -9 + x = -3*t for t.
3
Let f(h) = -7 - 4*h + 3*h + 2*h. Let o be f(11). Suppose -o = -0*l - 2*l. Solve 0 = l*v - 2 - 2 for v.
2
Let j = 1 + -1. Suppose 2*k - 1 = 5. Suppose -4*f = -k*h + 26, -2*f + 2 = -j*f. Solve 4*v - h = -v for v.
2
Let j(o) = -o**3 - 2*o**2 - 4. Let b be j(-3). Let h = 10 - b. Solve 0 = h*i + 10 + 15 for i.
-5
Let j = -25 + 25. Solve -2*q - q = j for q.
0
Let o be (-4)/(-10) + (-8)/(-5). Suppose -o*t + 18 = 3*q, 0 = -t + q - 1. Solve -t*d - 2*d = 5 for d.
-1
Let r = 0 - -6. Suppose r*g + 6 = 7*g. Suppose -4*v + g = -2. Solve -v*x = -3*x - 4 for x.
-4
Let t be 5 - (6 + 2)*1/2. Solve -t = 4*c - 5*c for c.
1
Suppose -5*z + 4*v + 39 = 0, 4*z + 3*v - 18 = z. Let p be (-2)/6 + z/3. Suppose 0 = p*r + 2*r. Solve 2*m = -10 - r for m.
-5
Suppose 0*q + 4*q - 12 = 0. Suppose -2*z = -3*g - 3 + 9, -q*g = z - 15. Solve -x = 2*x + z for x.
-1
Let a = -18 - -14. Let c be 3 + -3 + a/(-2). Solve 0*o = c*o - 10 for o.
5
Suppose 0 = 5*w + 2*j - 463, -2*w + 4*w + 5*j - 202 = 0. Let x = w + 17. Let g be x/14 + 6/21. Solve 5*b + g = -12 for b.
-4
Let f(t) = t + 6. Let r be f(-2). Solve -3*k + r = -11 for k.
5
Let o be ((-5)/(2 - 1))/(-1). Let s = 2 - -10. Suppose 68 = o*y - s. Solve 6*q + y = 2*q for q.
-4
Suppose 0 = -12*a + 79 + 29. Solve -6*c - a = -3*c for c.
-3
Let w be (9 + -1)*(0 + 1). Let k(a) = a**3 + 4 - 12 - w*a**2 + a + a. Let d be k(8). Solve 4 - d = -4*n for n.
1
Suppose -2*j + 1 = -1. Suppose -33 = -5*f - 13. Suppose -2*t = -3*g + f, 3 = -g - t + 1. Solve g = r - 0*r + j for r.
-1
Suppose -3*r - 3 - 6 = 0, -15 = -3*g - 5*r. Suppose -d - d = -g. Solve -2*z - d = -13 for z.
4
Let w = 11 + -3. Suppose 0 = -a - 4*v, -2*a + a = -4*v - w. Let p(z) = -z**3 - 6*z**2 + 8. Let t be p(-6). Solve 0 = a*n - 6*n - t for n.
-4
Suppose 4*x + 2*t = 2*x + 4, 5*x - 6 = -t. Solve -x = 4*n - 5 for n.
1
Let j(i) = -4 + 2*i**2 - 3*i**2 - 3*i + 12*i + 0. Let z be j(8). Solve -6 - 10 = -z*t for t.
4
Let k = -101 + 109. Solve -5*b + 12 = -k for b.
4
Let i be 4/(-2 - (-11)/5). Suppose -3*n + i = n. Suppose -5*d + m = -0*m, -5*m = 5*d. Solve d = n*t - 0*t for t.
0
Suppose -3*k - z = -0*k - 5, 2*k + z = 3. Suppose -k*y + 7*y = 125. Solve 10*f + y = 5*f for f.
-5
Let n be (-54)/(-9)*2/6. Solve 2*a - 6 - n = 0 for a.
4
Suppose i = 3*i - 6. Suppose -r = -i*r + 6. Suppose -2*b - 7 = r*b - 4*d, -b + 13 = 4*d. Solve -b = z - 0 for z.
-1
Suppose 0 = -5*k - 4 + 9. Solve -k = -3*p + 11 for p.
4
Let l(w) = -w**3 + 5*w**2 - 4*w - 3. Let p be l(4). Let n = 1 - p. Solve -5*s = n + 11 for s.
-3
Let v(r) = -2*r**2 - 7*r + 3. Let k(g) = g**2 - 7*g + 0*g**2 - 2*g**2 + 4. Let s(d) = 3*k(d) - 2*v(d). Let i be s(7). Solve -16 = i*u - 2*u for u.
-4
Let d be ((-4)/((-12)/87))/(-1). Let q = -19 - d. Suppose 0*b - 21 = b - 5*r, -4*r = -b - 16. Solve s = -b*s + q for s.
2
Let d(x) = x**3 - 9*x**2 - 11*x + 10. Let h be d(10). Solve h = 8*l - 3*l for l.
0
Suppose 2*w - 3*a - 10 = 0, 4*a = -0*a. Suppose 0*i - 4 = -2*t - 4*i, w*i = -5. Suppose 9 = -t*q - 3, 13 = y - 3*q. Solve 2*z - y = z for z.
4
Suppose 3*t = 57 + 18. Let j be (-4)/14 - 360/(-35). Let u(h) = h - 6. Let b be u(j). Solve t = -b*v - v for v.
-5
Let n(g) = -g - 3. Let c be n(-5). Suppose -9*u + 28 = -2*u. Solve c*l + 2*l = u for l.
1
Suppose 0 = 2*w + 4, 2*g - 2*w + 38 = -w. Let l be (-2 + 4)/((-2)/g). Solve -4*m - m = l for m.
-4
Let y be 17/5 - 4/10. Suppose -t = y*t. Let w = -4 - -6. Solve a + a + w = t for a.
-1
Suppose 2*a + f - 15 = 6*f, 0 = 2*f + 2. Solve -n - 4*n - a = 0 for n.
-1
Let n(w) = -w + 5. Let v be n(3). Suppose v*o + 2*o = 0. Suppose o*m - 10 = -2*m. Solve 4*t + 2 = m*t for t.
2
Suppose 0 = x - 0 - 6. Let r = 6 + x. Solve 0 = -2*i + 6*i - r for i.
3
Let x be (-4)/26 - ((-1980)/(-65))/(-3). Solve 0 = 5*o + x + 5 for o.
-3
Suppose -v = -3*v. Let x(a) = -a**2 + 11*a + 7. Let j be x(10). Let