 9. Let p be g(13). Suppose -11 + 1 = -h + 4*u, -4*h + 2*u + 12 = 0. Solve -d - p*y + 6 = -h*d, -5*d = -y - 8 for d.
2
Let l(t) = 2*t - 5. Let x be l(4). Suppose -4 = -2*d - 4*k, -5*k - 5 = -d - x. Solve -q - 7*g + 13 = -2*g, d*q = -g - 1 for q.
-2
Let y be ((-2)/(-4))/(25/150). Solve h = 3*j + j - 4, -y*h + 3 = 3*j for j.
1
Suppose -3*a + 9 = -4*j, -2*j = 6*a - 2*a - 12. Suppose 4*g = 2*z + 22, -2*z - 2*z - 12 = 0. Solve 3*b - g = -b, j = -h - b - 2 for h.
-3
Let r(j) = -2*j - 4. Let k be r(-4). Let n be (-2 - 6 - -3)/(-1). Suppose x = n*x. Solve x = -q - 2*d - 13, 5*d + 23 = -k*q - 14 for q.
-3
Let v = -20 - -25. Solve -5*g - 2*n + 3 = -7, v*n = 3*g - 37 for g.
4
Let d(z) = z**3 + 14*z**2 + 14*z + 13. Let u be d(-13). Solve 3 - 7 = -5*g + 4*b, u = -3*g + 2*b + 4 for g.
4
Let v = -4 - -7. Suppose -6 - 14 = -5*f. Let i be f/(-10) + (-10)/(-25). Solve -o - 4*q + 8*q - 10 = i, 3*q = -v*o for o.
-2
Suppose -8*f + 3*f + 25 = 0. Suppose 0 = f*p - p. Solve -2*k + k = -2*v + 3, p = -5*k - 5*v - 15 for k.
-3
Let x be 10/15 + (-12)/(-9). Suppose 4 = 5*h - 21. Solve -2 = -c + x*i, -3*c + 3*i + h = -4 for c.
4
Let s = 17 - 10. Suppose 2*b + 4*a + 4 = 0, 2*b + b = -a - 1. Solve -2*y + 3*l - s = b, -14 = y - 6*y - 3*l for y.
1
Let w = 73 - 70. Solve o - 8 = w*x - 2, 0 = -5*o - 5*x - 10 for o.
0
Suppose 20 = 3*j + 2*j. Solve 4*s + j = 2*v, -2*s - 2*v + 6 = -4*s for s.
1
Let l(z) = 2*z. Let o be l(3). Suppose -2*c + 0*c = -o. Solve -c = -p, -3*j + p - 3 = -0 for j.
0
Let y(q) = 2*q**3 + 12*q**2 - 3*q - 15. Let j be y(-6). Solve 3*v + 0*k - 1 = -k, 3*v + 3*k = j for v.
0
Suppose 2*m = -2*d + 90, 0*d + m = 5*d - 225. Let v be 10/d - (-50)/18. Suppose u + 10 = v*u. Solve 4*w = 5*o - 15, u*o + 30 = -4*w - w for w.
-5
Let f(y) = -2*y**2 + 13*y - 6. Let z be f(6). Solve 0 = 2*c - 3*g + 19, -3*g + 5 + 10 = z for c.
-2
Let h be 2/8 + -2 + 60/16. Solve 2*t = -3*b - 2*b - 11, -b + 5 = -h*t for b.
-1
Let z = 6 + -3. Let v be 1 + -1 + 1 + 1. Suppose 3*y + v = 14. Solve 3*x = y*f + 12, 0 = -f - 2*x - 2*x - z for f.
-3
Let s be (-3*7)/(0 + -1). Solve 5*f + s = 2*g - 0*f, -g = 3*f + 6 for g.
3
Let q = -174 - -179. Solve -2*f + 4 = 3*r, -4 = -q*f + 21 for r.
-2
Suppose 4*i = -13 + 29. Let g(z) = z**2 - 2. Suppose 2*a + 2*l = 6*l - 12, a = -5*l + 8. Let y be g(a). Solve i*j = q - 17, j - y*q + 14 = -2*j for j.
-4
Let c be 1/(-2)*(-1 + 1). Suppose t + 3*o = -c*o + 14, -4*t = 2*o - 76. Let j = -5 + t. Solve -3*h - 2*a = -5*a + 3, j = 5*a for h.
2
Suppose -2*a - a + 3*p = -9, 4 = -4*p. Solve 1 + a = q, 11 = 4*f + q for f.
2
Let l = 10 + -10. Suppose 3*b = g - b - 8, 5*g - 2*b - 22 = l. Solve -17 - 11 = -5*x + 2*o, 0 = -o - g for x.
4
Let r = 189 + -184. Solve 6*y - 5*y + r = 0, -q = y + 1 for q.
4
Let r = -75 - -76. Solve 0 = 4*a - 5*h - 3, -5*h + 0*h = -2*a - r for a.
2
Let v(l) = -l**2 - 3*l + 2. Let r be v(-5). Let h = 13 + r. Solve -11 = -h*b - 4*w, b = -0*b + w - 5 for b.
-1
Suppose -4*d + 3*j - 21 = -7*d, 3*d = 3*j + 33. Suppose 0 = d*m - 5*m - 16. Solve 3 = m*p + 4*f - 3*f, p - 2*f - 12 = 0 for p.
2
Let f(v) = v - 5. Let q be f(7). Let g(j) = -j - 1. Let t be g(-2). Let d be (t - 0) + -1 + 5. Solve -5*s - 5*b = -d, -q*s + 5*b = s - 11 for s.
2
Suppose 5*r = -8*q + 3*q, 0 = -r + q. Solve -4*v - 8 = r, 9 = -2*w - 2*v - 3 for w.
-4
Let x(d) = 2 + d - 5*d + d. Let i(m) = -4*m + 1. Let t(w) = 2*i(w) - 3*x(w). Let h be t(4). Solve h*n = -2*n - s - 11, 3*s + 21 = -2*n for n.
-3
Let j(m) = m**2 - m - 2. Let k be j(-2). Solve 5*y - 2*b - 10 = -0*b, -b = k*y + 5 for y.
0
Let i be 2/(25/15 - 1). Solve 0 = -i*b + 2*v + 1, 0 = -5*b - 3*v - 2*v + 35 for b.
3
Let v = 0 + 3. Let r = -6 + v. Let c = 4 + r. Solve 5*p + 8 = a, p - 2*a - 1 - c = 0 for p.
-2
Suppose -2*h + 31 = -h. Suppose -3*a = -h - 59. Solve 5*r - 2*o + a = 0, 2*r - 2*o + 2 = 4*r for r.
-4
Let o(w) = -3*w**2 + 3 + 0*w**2 + w**3 + 1 + 3*w - 2*w**2. Let n be o(4). Suppose n = l - 3. Solve -x + 4*a = 7 - 24, 2*x + l*a = -10 for x.
1
Suppose 0 = -2*a + 5*x - 4, -2*x = 3*a - x - 11. Let i(j) = -j - 5. Let g be i(-7). Suppose -3*n = -g*n - 2. Solve z + n*u - 9 = -0*z, a*z - 2*u = 11 for z.
5
Let v(a) = a**2 + 3*a + 2. Let r = -9 - -6. Let y be v(r). Solve -5*s = -4*w - 9, -y*s = -7*s + w + 6 for s.
1
Let g(b) = b**3 - 6*b**2 - 8*b + 9. Let k be g(7). Suppose -j = 5*c + 11, -j + c - 23 = 3*j. Let a = j + 7. Solve 4*s = o + 18, -2*o = -3*s + k*s + a for o.
2
Let o(p) = -p**2 - 15*p - 40. Let r be o(-10). Solve 4 = -2*y, -y + r = -0*h + 3*h for h.
4
Suppose 5*u = -2*p - 0*u + 23, 3*u + 33 = 4*p. Let r(c) = 1 - 11*c**2 + p*c**2 + c + c - c**3. Let g be r(-3). Solve 4*y - 2 = 6, -2*t + y - g = 0 for t.
-1
Suppose h - 20 = -3*h. Suppose p - 6 - 1 = 0. Let w = p + 4. Solve -c - 6 + 23 = 5*a, -h*a + 2*c + w = 0 for a.
3
Let y be (-9)/(-3)*(-25)/(-15). Solve 2*l = -y*c + 1, -3*l - 2*c - 2 = -l for l.
-2
Let q = 13 + -13. Suppose w + 0 = 4*b + 7, -3*w + 3*b + 12 = q. Solve -2*z = -6*z, -2*r = -w*z - 2 for r.
1
Let w(q) = q**3 - q**2 - q - 10. Let d be w(0). Let x = d - -14. Solve 3*k = l + 4, 4*k = x*l + 14 + 2 for l.
-4
Let w = 8 + -3. Suppose -3*c + 7*c + 4*g - 12 = 0, -4*c - 2 = -3*g. Let q = c + -1. Solve q = 5*i + w, -3*i + 18 = -4*t - i for t.
-5
Suppose 5 + 1 = -2*s. Let i be (-1)/(-2) + s/(-2). Solve -4*k = x - 3, k + i*k + 2 = -5*x for k.
1
Let b = 0 + 3. Suppose 2*p = p + b. Let q be ((-2)/p)/(2/(-9)). Solve w = 5*y - 0*y + 24, 0 = q*w + 3*y + 18 for w.
-1
Let k(f) = -f**2 + 10*f - 17. Let a be k(5). Let x(y) = -4*y + 1. Let i be x(-1). Solve -2*m + 7 = -i*c - 1, -4*m - 2*c - a = 0 for m.
-1
Let p(g) = g**3 + 2*g**2 - g. Let q be p(1). Suppose q*d - 12 = -d. Solve -8 = -c - d*o + 13, 0 = -3*o + 12 for c.
5
Suppose -2*t - 5*w + 33 = 0, -4*w + 0*w + 12 = -2*t. Solve r + 23 = 4*r - 4*k, 0 = -t*r + 3*k + 19 for r.
1
Let j be 1 - (-8 - -1)*1. Suppose -3*b + j*b = 25. Let n = -4 - -13. Solve 7 = -b*q - o, 3*q + n = 2*q - 4*o for q.
-1
Suppose -5*x + 0*x + 75 = 0. Solve -30 + 10 = 2*o - 4*w, 3*w - x = 5*o for o.
0
Suppose 0 = -3*p + 6*p - 15. Solve -r = -2*k + r + 6, -p*r = -3*k + 13 for k.
1
Let s = -8 - -7. Let u be -3 + s/(3/(-42)). Solve 4*t = -3*f + u, -3*f + 14 = 4*t - 3*t for f.
5
Let r be -1 + -2*(-44)/8. Solve 2*i + 11 = 4*n - 3, 2*n = -2*i + r for n.
4
Let t(d) = d**2 + 6*d + 4. Let g be t(-6). Solve u = -g*h + 5*h - 6, -4*u + h = 9 for u.
-1
Let x(t) = -t**2 - 4*t + 4. Let w be x(-4). Let i(z) = z + 1. Let r be i(w). Suppose -d = -r*d. Solve d = 5*n + 3*v - 14, 2*v + 4 = -0*v for n.
4
Let h(y) = -y**3 + 6*y**2 + 9*y - 11. Let x be h(7). Solve -r - 1 = -3*u + 1, 4*u - 6 = x*r for r.
-2
Suppose 7*o - 9*o + 6*o = 0. Let n be 3/(0 + 3/3). Solve i - 15 = 5*k, -n*k - 2*k - 3*i + 5 = o for k.
-2
Let s = -49 + 52. Solve 2 = 2*a - s*y, -6*y = -a - 3*y + 7 for a.
-5
Let c(d) = -5*d - 58. Let q be c(-12). Solve q*x = 0, v + 5*x + 1 = -3 for v.
-4
Let o = -15 + 39. Suppose 2*n - o - 6 = 0. Solve -3*j - 3*v = j + 7, -n = 5*j + 5*v for j.
2
Suppose 12 = 4*i - 0*i. Solve -i*f - 18 = -3*x, -5*f + 10*f + 5 = 0 for x.
5
Let w(f) = -f - 9. Let m be w(-14). Solve 0 = 4*r - 3*r + m*n + 8, 3*r = -3*n for r.
2
Let p(r) = -r**2 - 5*r. Let x be p(-5). Let s be (-9)/(-3) - 0/(-1). Let w = s - x. Solve 4*c + n + 5 = 5*c, 15 = -4*c - w*n for c.
0
Suppose 5*f - 12 = 4*z + 20, 5*z = -f - 11. Suppose 19 = -f*d - 21. Let c be ((-5)/d)/((-1)/(-10)). Solve -w = 4*s - 13, 3*s - c*w + 17 + 2 = 0 for s.
2
Let x(m) = 6*m + 1. Let y(c) = c**3 - 2*c**2 - 4*c. Let l be y(3). Let o be (-1 + l*1)*-1. Let n be x(o). Solve 0 = 2*r + 3*a + n, 2*r - 3*r - 2*a = 15 for r.
-5
Let c be 15/1 - (8 - 5). Solve -c = 3*r + l, 2*r - l = l - 16 for r.
-5
Let j = 52 + -44. Solve 0 = -4*i - 4*c + j, c - 10 = -5*i + 3*c for i.
2
Let o(a) = 20*a - 2. Let d be o(-2). Let x be d/(-24) + 1/4. Suppose 0 = -2*r - x*r. Solve -2*h - g = -1 - r, 5*h - 4*g - 35 = 0 for h.
3
Suppose -2*w + 4*w = 0. Let y(n) = -n**2 - 7*n + 3. Let u be y(-7). Suppose u*s - 3 = 0, s = -2*f - s + 12. Solve -3*c - 3 = 5*z, -4*z + f*c - 3 + 8 = w for z.
0
Let b(f) = -20*f**3 - f. Let h be b(-1). Let j = 9 + -20. Let g be (j/22)/((-1)/4). Solve 5*u + 4*x + h = 0, g*x - 1 = -9 for u.
-1
Suppose -5*j = -b - 86, 5*b - 32 - 14 = -3*j. Let a be 15/9*(-2 + -1). Let q = -2 - a. Solve q*d - 5*c = -37, d - c + j = -2*d 