9. Solve -5*z - 3 = c, 0*z - 4*z = -c + d for z.
-1
Let v(j) = -7*j - 1. Let q be v(1). Let z = 12 + q. Solve z*a + 2*o = -12, -o - o = 5*a + 17 for a.
-5
Let r = 19 - 19. Solve 2*x - 2*s = 2*s - 26, r = x + 4*s - 17 for x.
-3
Let c(i) = i**3 - 10*i**2 - 12*i + 14. Let y be c(11). Suppose -2*w - 2*w + 4 = 0. Let m = y - w. Solve b = -3*t + 17, -3*t + 3*b = m*t - 19 for t.
5
Let l be 4/((-5)/((-15)/6)). Let u = 1 - l. Let k be 0*(0 - (u + 0)). Solve 2*r - r + 23 = -5*w, k = r + 3 for w.
-4
Suppose 5*f = -3*y + 34, 3*f - 7*f + 8 = -4*y. Solve -y*w = 2*w - 4*v - 7, -2*v - 4 = -2*w for w.
-1
Let v = -15 - -37. Solve -5*a - v - 3 = -5*y, y + 3*a = 1 for y.
4
Let d(a) = 10*a + 3. Let u be d(2). Solve -j + 1 - 6 = i, 5*j + u = -3*i for j.
-4
Suppose -5*r - 3*d = d - 17, -5*r - d = -23. Solve 4*b - o - 13 - 6 = 0, 4*b = r*o + 15 for b.
5
Let c be (8*1)/((-4)/(-2)). Let j be c/(-6) + (-11)/(-3). Solve -3*z + 7 = -5*f - 9, z + j*f + 4 = 0 for z.
2
Let s be (-17)/(-5) - (-8)/(-20). Let q(w) = -6*w + 1. Let z be q(s). Let m = -12 - z. Solve 0*n + 18 = -4*t + 2*n, -m*n = 5*t + 30 for t.
-5
Suppose 4*s + 0*z + 48 = -4*z, 4*s + 18 = 2*z. Let y(k) = -2*k - 31. Let i be y(-13). Let f = i - s. Solve 4*o - b = -f*b + 9, -3*b = -3 for o.
2
Let l be (-1 + 4/1)*1. Let m = 13 + -8. Let z be 39/9 + (-2)/6. Solve z*t - 14 = -3*g, m*g + t = -l - 2 for g.
-2
Let q be (8/16)/(1/10). Suppose -52 = -4*s + 3*t, 4*s + 5*t = q*s - 30. Solve -4*f + 0*f = -3*a + 35, 0 = -2*a - 4*f - s for a.
5
Let k be (8/12)/(2/9). Suppose t - 5*p = -k*t + 10, -3*t = 5*p - 25. Suppose 4*l - 40 = -l. Solve t*a = 5*u - 3 + l, 3*a - 35 = -5*u for u.
4
Suppose -14 = -5*c + 11. Solve c*p - 13 = i, i - 4 = -5*p + 13 for i.
2
Let c(y) = -y**2 - 7*y - 4. Let k be c(-6). Let q be k + (4 - 2) + 2. Let o be 1*3*10/q. Solve 20 = o*w + b, -3*w - b = 3*b - 12 for w.
4
Suppose 7*q = 2*q. Let v(l) = -l - 8. Let r(t) = -2*t**2 - 1. Let z be r(2). Let h be v(z). Solve 4*i = 4*d - h - 11, q = d - 3*i - 11 for d.
-1
Let l(f) = 3*f**3 + f. Let g be l(1). Suppose -g*m = -m. Solve 0 = 4*s - d + 5, -s + 4*d + 2 - 7 = m for s.
-1
Let w be (-4 - -3)*(-1 - 0). Let q = 0 - -1. Let n = q + w. Solve -5*z + 1 = -2*b, -3*z = 3*b - n*z + 10 for b.
-3
Suppose -2*u + 13 - 3 = 2*z, 3*z - 14 = -2*u. Suppose 0 = -g + 5 - u. Solve 0 = -g*w - 5*q - 15, -5*q = -5*w + 2*w - 20 for w.
-5
Suppose -5*h - 43 = -3*s, -5*s - 4*h + 3*h = -25. Let q = -11 + 17. Let b = q - -2. Solve 4*w = b, w + 16 = 3*d + s*w for d.
2
Suppose 5*m - 15 = 0, 3*m - 9 = -7*j + 4*j. Let x(s) = 6*s**2 - 3*s + 2. Let n be x(2). Solve j = 2*t - 4*q - 0*q - n, 2*q = -8 for t.
2
Suppose -i - 1 = -5. Solve i = -s + 2, -4*v - 16 = 4*s for v.
-2
Let y be (-38)/(-8) + (-2)/(-8). Let z be 4/(0 - (-2 - -1)). Suppose 0 = -q - z + 9. Solve 5*o + 3*h = -y, h + 7 = 2*o - q*o for o.
-4
Let d = 13 + -9. Let t(j) = j**2 + 8*j - 13. Let r be t(-9). Let p be 6/r + (-46)/(-4). Solve 0 = s + d*z + p, z + 1 + 4 = s for s.
2
Suppose -4*s + 4*o + 112 = 0, -s + 107 = 3*s + o. Suppose -p + 4*p - s = 0. Suppose -2 = -4*z + 2*w + 2, 2*z = -4*w + 2. Solve i - z = 0, l - p = 6*l + i for l.
-2
Suppose 4 = p - 0*p. Let z be ((-40)/p)/(-3 + 1). Solve 5*o + l + z = -4*l, 5*l + 33 = 2*o for o.
4
Suppose -16 = -12*c + 8*c. Solve f - c*v + 20 = 0, -3*f - 2*v = f - 10 for f.
0
Let o(c) = 2*c + 6. Let w(x) = -5*x - 11. Let n(b) = 7*o(b) + 3*w(b). Let d be n(4). Solve 0*k + 1 = d*f + k, -3*f - k = 1 for f.
1
Let a = 65 + -60. Solve a*p + 3*i = 21, -5*p - 5*i + 6 = -19 for p.
3
Let p(s) = s**3 + 14*s**2 + 13*s + 4. Let b be p(-13). Solve b*v = 5*x - 31, -17 = 5*v - 2*x + 3*x for v.
-4
Let j(q) = 2*q - 6. Let v = -3 + 9. Let l be j(v). Solve -2*d + d = -2*m + l, -6 = 2*d - 2*m for d.
0
Let r be (-18)/(-4)*(-4)/(-9). Solve 0 = -r*w + 5*o - 14, 0 = -w - 2*o + 1 + 1 for w.
-2
Suppose 5*q - 7 - 8 = 0. Let s = 52 - 23. Solve o = -q*o + 3*a + s, -5*o + 13 = 4*a for o.
5
Let f(s) = s**3 - 8*s**2 + 6*s + 9. Let l be f(7). Solve -4*o = -4*p + 4, l*o + 0*p + 3*p = 23 for o.
4
Let h be -1 - (-5 + 1 + -1). Suppose -4*z = -f + 5 + 11, 32 = 2*f + 5*z. Solve -h*t - 4*p - 23 - 1 = 0, -3*t - f = 2*p for t.
-4
Suppose -5*h - 4*q = 12, -q - 2 = 4*h + 1. Solve j - 13 = -3*v, h*v + 3*j - 3 = 3*v for v.
3
Let r = -14 + 22. Let t = 12 - r. Solve 0 = -5*q + i + t*i, -5 = -4*q + 3*i for q.
5
Suppose -8*a + 15*a - 14 = 0. Suppose 0*m = 4*m - 20. Let b = m - a. Solve b*v - f = -5*f + 8, 0 = 5*v + 3*f - 17 for v.
4
Let v = 79 + -77. Solve 0 = -3*u - k - v*k + 3, -5*u + 3 = 4*k for u.
-1
Suppose -2*h = -6*d + 2*d - 4, -4 = 2*h - 2*d. Let y = 10 + h. Solve y*g - g - 11 = b, -5*g = 5*b - 25 for g.
4
Suppose -2*z - 14 = -7*z - c, 3*z + c = 10. Let n(s) = 3*s**3 + 3 + 9*s**z - s**2 - 4*s**3. Let v be n(8). Solve v*l = -3*q + 3, -q + 2*q = -4*l - 5 for q.
3
Let j(s) = s**2 - 5*s. Let y be j(5). Let a be (y - 5/4)*-4. Let l be (-30)/(-7) + (-2)/7. Solve a*g - 26 + 11 = 0, -l*x - 2 = 2*g for x.
-2
Let r(c) = c**3 + 4*c**2 + 2*c + 2. Let l be r(-3). Solve 6 = 5*o + 5*a + 26, -l*o + 20 = -3*a for o.
1
Let d(o) = -32*o**3 - o. Let s be d(-1). Let r = s + -16. Solve -3*v + 2*y = 2*v - r, 4*v + 2*y = 28 for v.
5
Suppose -17*w = -13*w - 8. Solve 5*a = -5*z - 15, 2 + 0 = -4*a - w*z for a.
2
Let c(u) = -u - 5. Let o = -1 - 6. Let y be c(o). Let w be ((-1)/y)/((-6)/228). Solve 4*i + 3*x = -x + 12, 3*i - 4*x + w = 0 for i.
-1
Let l(z) = z**2 - 2*z + 4. Let v be l(0). Suppose -5 = -5*m, -v*m = -5*i + 3*i + 42. Solve -3*k + 0*k = -4*s - i, 3*k = -5*s - 22 for k.
1
Let j(u) = -3 + 0 - 2*u - 8 + 1. Let r be j(-6). Solve -7 = r*t - 4*t - m, 3*m = -t + 1 for t.
4
Suppose 2*f + 30 = 5*c - f, 0 = 2*c - 3*f - 21. Suppose 0 = -c*t - 0*t. Solve 0 = -t*x + 5*x + 4*p + 6, x + 3*p + 10 = 0 for x.
2
Let s be (-1)/3 + 56/(-12). Let g = s - -7. Suppose -g*q + 12 = q. Solve -1 = i + 3, 0 = -q*l - 2*i - 28 for l.
-5
Let x be 4 - (-1 + -4 - -5). Solve -p - 4*p = -3*r - 25, -2*p + 10 = -x*r for r.
0
Suppose o = 6*o + 2*y - 17, o - 5 = -2*y. Solve 5*u - 3*r + 1 = 0, -4*u + 4*r + o + 1 = 0 for u.
-2
Let a be 2/(1*(2 + -1)). Let p = -26 + 38. Solve -2*d + p = 3*d + a*y, -y = 4 for d.
4
Let r(c) = c**3 - 8*c**2 + 8*c + 5. Suppose 35 = -0*s + 5*s. Let o be r(s). Solve -5*d = -4*m - 26 - 10, o = 3*d for m.
-4
Let c = -25 - -28. Solve 3*i - 23 = 2*z, 3*i + 2*z + 5 = -c*z for i.
5
Let x be 10/(-5)*(-2 + 3 - 3). Solve 0 = -x*g + 3*l + 23, 18 = 4*g + 3*l + 1 for g.
5
Let i(a) = a**3 + 4*a**2 - 4*a + 5. Let w = -10 - -5. Let q be i(w). Suppose q*p - 16 = -2*p. Solve h = 5*b + p + 15, 9 = 3*h for b.
-4
Suppose -10 = -0*h + h. Let x be (h/(-6))/(1/(-3)). Let f be (-27)/x - (-6)/(-15). Solve -4*q + s = 8, -f*q + 3*s - 7 = 3 for q.
-2
Suppose 3 = -x + 5. Let i be ((-5)/x)/(3/(-6)). Solve -i*d + d + 3*p = 0, 8 = -4*d + p for d.
-3
Let y be 4*1 - (-2 - -2). Suppose l = y*l - 9. Solve -2*u - w + 7 = 0, 14 + 4 = l*u - w for u.
5
Suppose -z - 2*z + 12 = 0. Suppose s - 4*n = 20 - 3, -32 = -z*s + 4*n. Solve s*q = 4*m - 8, -2*m - 10 = q - 0*m for q.
-4
Let u be 6/(-9)*(-3)/2. Suppose 2*f - 49 - u = 0. Solve 0 = -3*p, 5*p + f = 4*d + d for d.
5
Suppose -3*i + i + 90 = 0. Solve 5*d = 5*a - i, -d - 4*d = -3*a + 35 for a.
5
Let i(p) = -p**3 - p + 1. Let r(g) = 2*g**3 - 5*g**2 + g - 4. Let z(b) = -i(b) - r(b). Let h be z(5). Let w = -5 + 9. Solve -5*j = -w*o + 25, -h*o = -0*o for j.
-5
Suppose 6*g - g - 55 = 0. Let c = 13 - g. Suppose 2 = -z + c*z. Solve -5*h + 4*u = 1, 4*h = 5*u - 3*u - z for h.
-1
Let l be (-2 + 2)/(2/(-1)). Suppose 15 = 3*o - l*o. Solve f = 5*p - 4 - o, 2*p + 3*f + 10 = 0 for p.
1
Let f = -40 - -42. Solve 0 = 5*g - 3*k, 14 = g + f*g + k for g.
3
Let v be ((-15)/5)/(-1) - 1. Solve -1 = -v*q - 5*b, 7*b - 5 = 2*b for q.
-2
Suppose 0 = 3*n + 2*y - 18, 5*n - 8 - 18 = -2*y. Solve -3*s - n*i = 4 + 14, i - 7 = 5*s for s.
-2
Suppose 3*d - 2*i = -4, 0 = -5*d + i + 3 - 5. Solve 0 = 3*v, -v + d*v + 3 = 3*s for s.
1
Suppose -3*j + 2*j = 0. Solve 15 = -5*v - r, j = v - 3*v + r - 6 for v.
-3
Suppose 4*y = -3*w - 7, 42 - 12 = 5*y - 4*w. Suppose -y*h = -4*h + 8. Solve -3*p + 5*n = 4, -n = -h*p - 0 - 11 for p.
-3
Let n be 0 - (-85*1 + -2). Suppose n = -5*a + 27. Let q = -8 - a. Solve 3*d + 4 = p, 0*d + p = d + q for d.
0
Let u(j) = -j + 3. Let q(t) = 6*t**2 + t. Let i be q(-1). Let c be u(i)