9. Let h be r(-16). Solve 6*o = h*o + 2 for o.
-2
Suppose -a - 2*a = -24. Suppose 2 = -2*l + a. Suppose 0 = -l*d - 2*g - g + 30, 0 = -4*d - 3*g + 45. Solve 4*y - d - 5 = 0 for y.
5
Let q(j) = 3*j + 9. Let r be q(-3). Solve -2 + r = 2*o for o.
-1
Let c be (-215)/129 + 20/3. Solve -27 = c*w - 17 for w.
-2
Let z(y) = 4*y + 4. Let f(h) = 3*h + 5. Let d(n) = -3*f(n) + 2*z(n). Let j be d(-4). Let b be 8 + -1 + 1 + j. Solve 0 + 5 = -b*t for t.
-1
Let d(r) = -7*r**2 - 11*r - 2. Let a be d(-2). Let q(n) = -5 + 3*n - 3*n - n. Let g be q(a). Solve g*o - 1 = -7 for o.
-2
Suppose k - 38 - 13 = 2*n, -10 = -5*n. Solve -k*o + 50*o = -15 for o.
3
Let p(l) = l**3 + l**2 - l - 1. Let f be p(1). Suppose 4*w = -2*r + 4, -w = -f*r - 3*r + 20. Solve -c = -r*c for c.
0
Let s = 26 - 22. Suppose 5*y + l + s*l = 0, -5*y - l + 8 = 0. Solve 3*p + 10 = -y*p for p.
-2
Let v = 53 + -54. Let c be (6/2 - 13)*v/2. Solve -c*h = -3 + 8 for h.
-1
Let g = 5 + -1. Suppose -2*j - d = g, 15 = 2*j - 3*d + 3. Suppose -z = -2*h - j + 8, -5*h - 10 = 5*z. Solve h*r = -2*r - 20 for r.
-5
Suppose -3*u - 11 = -b - 4, 2*u = -b - 3. Suppose -4*v + 4*l = l - 10, -3*v + b = l. Solve 3*g + 2 + v = 0 for g.
-1
Let t(h) = -h**3 - 7*h**2 + 8*h + 2. Let g be (-6)/4*14/(-7). Suppose g*w - l + 8 = -12, 4*l = 4*w + 16. Let d be t(w). Solve -1 - 1 = d*o for o.
-1
Suppose 4*h - 64 = 4*j, 6*j - 73 = -4*h + j. Solve -h = 4*r - 1 for r.
-4
Suppose 3*r + 176 = 5*p, -3*p - 5*r + 68 = -24. Solve p = 3*z + 19 for z.
5
Let f = -5 + -7. Let c be ((-9)/f)/(3/8). Solve 15 = -3*q - c*q for q.
-3
Suppose 0*z - 4*z = -14*z. Let l be (2 + -2)/(2 + 0). Solve -p + l*p + 2 = z for p.
2
Let i = -209 + 214. Solve -l - i = -8 for l.
3
Let y be 2 + (3 + 0)/3. Solve i - y*i - 8 = 0 for i.
-4
Suppose 1502 = 41*l + 231. Solve 4*o - 35 + l = 0 for o.
1
Let x(r) be the second derivative of -r**3/6 + 2*r**2 + 7*r. Let z be x(-6). Let h = -3 + z. Solve -2*l + 3 = h for l.
-2
Let w(i) = -i - 2. Let p be w(-14). Let n(s) = 3*s + 17. Let z be n(p). Suppose -4*b = -5*f + z, -10 = -3*f - b + 15. Solve -2*o + 1 = -f for o.
5
Let q be (3 + -23)/(-5) - -5. Solve q - 8 = -v for v.
-1
Suppose 0 = -4*k + 304 - 240. Solve 0 = -28*n + 20*n + k for n.
2
Suppose -3*k - 11 = -4*k - r, 4*r = 3*k - 61. Let f be k/(-25)*1*-5. Solve 2 = v - f*v for v.
-1
Suppose 0 = 17*a - 113 - 23. Solve 0 = -n + 12 - a for n.
4
Let y = -47 + 54. Suppose -2*w - 2 = -4*w, -3*r + 2*w + y = 0. Let z be 32/10 + (-3)/15. Solve -z*j = -0*j - r for j.
1
Let i(x) = -x**2 - 6*x - 12. Let a = -1 - 4. Let y be i(a). Let n = y - -7. Solve n*u - 1 = u for u.
-1
Let b = 409 - 390. Solve -b = -2*y - 9 for y.
5
Suppose -25*i + 28 + 97 = 0. Solve 63*f - 58*f + i = 0 for f.
-1
Let z = 296 + -293. Solve -v = z*v for v.
0
Let q be 1 + (1 - 2) - -3. Suppose 4*c - 12 = 4*y, 2*y - 10 = -c - 7. Suppose y = -5*h + 5 + 15. Solve -19 = -q*w - h for w.
5
Suppose 0 = -z + 5 - 8. Let b be (z - -3)/((-2)/(-1)). Solve -2*m - 4 - 2 = b for m.
-3
Let p = 12 + -11. Let u be 1/(p/(-3)) + 3. Suppose 4*i + u*i = 0. Solve i = -0*x + x - 3 for x.
3
Let y(x) = -4*x - 4. Let c be y(-5). Let f(b) be the first derivative of -b**2 - 20*b + 58. Let v be f(-12). Solve -v*l = -0*l + c for l.
-4
Let a = 149 - 142. Solve -a*h + 4 = -6*h for h.
4
Let x = -26 - -50. Let p be 14/2 + x/8. Solve -2*u = 3*u + p for u.
-2
Suppose 4*d = 5*x - 132, -2*x + 5*x - d - 75 = 0. Suppose -5*h = -r - x, 6*r + 12 = 3*r. Suppose -2*n = 6*i - i - 9, -h*n = -5*i + 27. Solve 4 = i*w + w for w.
1
Let y(p) = -p. Let f be y(-2). Suppose 4*u + 9*u = 0. Suppose u = f*r + r. Solve -3*o - 2 + 17 = r for o.
5
Let d(k) be the second derivative of k**4/12 - 4*k**3/3 + 6*k**2 - 17*k. Let r be d(6). Solve r = 3*h + 12 + 3 for h.
-5
Suppose -13*f + 184 + 11 = 0. Solve 10*l = f*l + 15 for l.
-3
Suppose -364*k + 374*k = 490. Solve -m + k = 45 for m.
4
Let k(r) = -r + 8. Suppose -5*b - 56 = -2*c, -3*b - 6 = -4*c + 22. Let h be k(b). Solve -u + h = 4*u for u.
4
Suppose -4*n = -0*n + 2*f - 26, -11 = -n - 5*f. Solve -n*s = -10*s for s.
0
Let q(l) = -l**3 - 13*l**2 - l - 11. Let m be 24/40 - (-136)/(-10). Let a be q(m). Solve -a - 6 = 2*k for k.
-4
Let v = -19 - -34. Suppose 5*x - 3*a = -v, -a = 2*x + x - 5. Solve 0 = 3*j - x*j - 6 for j.
2
Let s(k) = k**3 + 235 - 216 + 4*k**2 + 12*k**2 + k. Let x be s(-16). Solve -x*u + 8 = -7 for u.
5
Let q(l) = 2*l**2 + 33*l - 13. Let j be q(-17). Solve -j*k + 2*k = 0 for k.
0
Let a = -6 + 10. Suppose 0*i + a*i = -y + 95, y = 2*i - 43. Let v = i - 21. Solve s - v*s = -5 for s.
5
Suppose 5*z - 4*j - 20 = 2*z, 0 = z + 2*j. Solve -y + 1 = -z for y.
5
Let f be (-33 + 37)*(-1)/(-2). Solve f*x = 6 + 4 for x.
5
Let a = -968 - -982. Solve -j + 8*j = -a for j.
-2
Suppose -4*h - 66 = -8*h - 2*o, 4*o + 77 = 3*h. Solve 16*u - h*u - 6 = 0 for u.
-2
Suppose -4*i - 2*b = 0, -i + 4*b + 20 = i. Let d = 604 - 603. Solve 1 + d = i*o for o.
1
Let a(v) = 2*v - 21. Let s be a(13). Let d be 1 - (4 + -8 + 7 - 22). Solve -s*m = -m - d for m.
5
Suppose 0*n + n = 4*a + 45, -5*n - 3*a = -248. Suppose -76 = -2*h - 2*h - 4*p, p = -3*h + n. Solve -5*k + 2*k = -h for k.
5
Suppose -2*n + 66 = 3*t, 69 + 3 = 3*t + 4*n. Suppose 7 = 3*y + 5*u, 4*y + 8 = -4*u + t. Solve -y*m - 1 = 3 for m.
-1
Let a(w) = -2*w - 21. Let g be a(-16). Let t = g - 14. Let v be (-33)/(-22) + t/(-2). Solve -k + v = -2*k for k.
-3
Let s be (0 + 1)*(1 - -11). Suppose -464*n + 486*n = 66. Solve n*o = -0 + s for o.
4
Suppose 0 = -s - 0*s. Let g be (-4 - s)*(-1)/2. Suppose 2*j = q - 11, -3*q - j + 17 = -3*j. Solve g*b - q = 5 for b.
4
Let m(l) = l**3 + 7*l**2 + 4*l - 8. Let u be (-87)/(-9) - 1/(-3). Let q = 4 - u. Let o be m(q). Solve 5*y + o = -6 for y.
-2
Suppose -3*w - 11 = -4*d, 2*d + 2*w + 1 = 3. Let c be ((-36)/27)/(2/(-9)). Solve -16 = c*j - d*j for j.
-4
Let n(h) = -14*h - 8. Let w be n(-2). Suppose 3*s = -6, 11 = 3*d + s - w. Solve 2*b + d - 5 = 0 for b.
-3
Suppose -5*l + 111 = 11. Suppose k + 4 = -0*k, -5*k = 4*n + l. Let q = -22 - -42. Solve n = -5*f - 0*f + q for f.
4
Let b(y) = -6*y + 6. Let n(d) = -5*d + 5. Let r(m) = -4*b(m) + 5*n(m). Let c be r(-2). Solve -c*z + 4*z - 5 = 0 for z.
5
Let m = 14 + -6. Let g(v) = 4*v - 1. Let j be g(2). Suppose -6*f = 6*f - 36. Solve f*a - j*a = -m for a.
2
Let f = -354 + 356. Solve f*d - 13*d = -22 for d.
2
Suppose -a - 190 + 205 = 0. Solve -4 = -13*u + a*u for u.
-2
Suppose 15 = -3*p - 3. Let r = p + 8. Let w = 6 - r. Solve -k - w*k + 10 = 0 for k.
2
Suppose -12*n = 5*n - 17. Solve 0 = q - 3 - n for q.
4
Let u be (5 + 112/(-3))*(1 - -2). Let q = u + 100. Solve 2*o = 7 - q for o.
2
Let c = -6 + 6. Suppose -11 = 2*n - 3, -4*x = 3*n - 204. Suppose 0 = 3*t - 4*z + 32 - 85, -x = -4*t - 3*z. Solve 3*v + t = -c*v for v.
-5
Let t = -1256 - -1270. Solve -t*r + 9*r = -10 for r.
2
Let u be (32/(-12))/(-4)*15. Suppose -3*h + 26 = -u. Let t be (h/(-10))/(12/(-40)). Solve -3*w - 1 = -t for w.
1
Suppose -5*h - 4*i = -i - 14, -h - 2 = 3*i. Suppose 3*r = -r. Suppose -k - 14 = -3*k. Solve h*p + 13 + k = r for p.
-5
Suppose w + 1 = 10. Suppose -12 = 5*f - w*f. Solve 0 = k + f for k.
-3
Let m(o) = -15*o**2 - 12*o + 33. Let g(h) = -7*h**2 - 6*h + 16. Let c(z) = 13*g(z) - 6*m(z). Let l be c(-7). Solve -3*j - l - 3 = 0 for j.
-2
Suppose 4*n - 4 + 24 = 4*q, 2*q + 5*n + 18 = 0. Suppose 0 = -l + 2 + q. Suppose 0 = 2*z - u - 24, -3*z - u + 26 = -0*z. Solve z = -2*x - l*x for x.
-2
Let a(b) = -4*b**3 + b**2 + b + 1. Let m be a(-1). Suppose -m*n = -4*z - 0 - 111, -z + 4*n - 14 = 0. Let s = -32 - z. Solve k + s + 0 = 0 for k.
-2
Let w(r) = 7*r + 246. Let d be w(-26). Solve d = -0*l - 16*l for l.
-4
Suppose 50 + 10 = 6*x. Suppose x*k = 5*k. Solve 2*n + k*n + 8 = 0 for n.
-4
Let v be 116/14 - 4/14. Let d = v - 9. Let z be (3/d)/(3/(-7)). Solve z*y + 20 = 3*y for y.
-5
Let k be 66/(-10) + -6 + (-112)/(-20). Let j = 8 + k. Solve -2*t - j = -7 for t.
3
Suppose -4*z - 2*u + 80 = 0, 3*z + u - 32 = 29. Suppose i = -0*i + z. Solve -4*g - 1 = -i for g.
5
Let q(s) = -2*s**2 - 13*s + 5. Let h(o) = -o**2 - 6*o + 3. Let p(i) = 5*h(i) - 2*q(i). Let r be p(-5). Suppose -4*d + 4 = -r*d. Solve -15 - d = -4*c for c.
4
Let a be (-352)/12*3/2. Let n be (-8)/44 - 8/a. Solve n = 3*x - 12 for x.
4
Let z(g) = -g**3 - 5*g**2 - 5. Let h be z(-6). Let n = -31 + h. Solve 2*d - 2 = -n*d for d.
1