9. Solve -2*t + u = 0, 0 = -2*x - 4*t + 4 + 10 for x.
-3
Let h = 143 + -96. Let t = h + -38. Suppose 6*m + 9 = t. Solve p + m*a - a - 2 = 0, -10 = -5*p + 4*a for p.
2
Let l = 18935 + -18931. Solve -3*p - n + 15 = 0, -3*n = 3*p - l*p - 5 for p.
4
Suppose -60*q - 75*q + 47*q = -440. Solve i - g = -6*g + 1, 0 = q*i - 2*g + 22 for i.
-4
Suppose 5*p = 15, 4 = -3*w + 3*p + 1. Suppose r + 25 - w = j, 0 = 2*j + r - 49. Suppose 0 = -19*c + j*c - 75. Solve -2*d + 5*o + 3 = -8, -5*o = c for d.
-2
Let i be (-4 - 0)*(-1)/2. Let z be ((-10)/15)/((-4)/12). Suppose -z - i = -k. Solve 5*n - 2*h - 11 = -h, k = n - 2*h for n.
2
Let v(r) = r**3 + 2*r**2 - 34*r - 10. Let s be v(5). Let u be -6 + s*(-72)/15. Solve -u = -2*k - 2*c, -k + c = -0*k + 1 for k.
4
Let b be 0 - (-35)/28*4. Suppose -3*k = -v + 4*v, -2*k + 6 = b*v. Solve 0 = -5*p + v*d + 2 - 7, 3*p = 3*d - 3 for p.
-1
Let u(v) = -4*v**2 + 3*v - 1. Let x(t) = -t**2 + 1. Let s(a) = -u(a) + 3*x(a). Let i be s(3). Solve 0 = -o, 4*n + i = 3*o + 20 for n.
4
Let p be (-1 - (-10)/12) + (-45)/54 + 3. Solve -3*t = -w + 1 - 7, -4*t - p*w = -18 for t.
3
Let f = -31 - -79. Suppose -2*t + 9*d - 4*d = -38, 3*t - 3*d = f. Solve -5*m = 3*k + t, -3*m + m + 5*k - 18 = 0 for m.
-4
Suppose -f = -4*j - 50, 3*f + 47 = -j + 158. Let a = -1351 + 1386. Let z = f - a. Solve 4*q + 2*b = 2, -q + z = b + 1 for q.
-1
Let k = 2 - -2. Let l(b) = -9*b - 1578. Let w be l(-177). Solve 4*a = -4*n + 5 + w, 0 = 4*a - k*n - 4 for a.
3
Suppose 22*v + 5 = -2*u + 17*v, 4*v = 3*u - 27. Solve w = -j - 0*j - 3, -j = -u*w + 15 for w.
2
Let b = -1150 + 1153. Suppose j = -4*j. Suppose -10*r + 6*r + 8 = j. Solve b*p = -15, -r*p + 4*p + 22 = -3*y for y.
-4
Suppose 0 = 11*y - 22 - 11. Suppose 0 + 12 = -r - 2*u, 0 = -y*r - 4*u - 30. Let n be 46/11 - r/(-33). Solve n*q - s + 15 = 0, 4 = -2*q + s - 1 for q.
-5
Suppose -12*a + 13*a = -50. Let j = -46 - a. Suppose -9*n + 7*n + j = 0. Solve -n*h + 6 + 7 = -5*s, 4*h - s = 17 for h.
4
Let g be 0 + 0 + 780/(-12). Let n(v) = v**2 + 13*v + 2. Let i be n(4). Let b = i + g. Solve 0 = -x - 1 - 3, 2*h = b*x + 22 for h.
1
Let g(x) = 14*x - 25. Let s be g(2). Suppose t + 4 = 0, -4*t + 5*t = -5*c + 11. Solve -s*z + 0*o = -c*o + 18, 0 = -z - 3*o + 6 for z.
-3
Let s be (-1338)/(-14) + 27/63. Let w = s - 86. Solve 4*o = -4*g - 18 - w, 3*g - o = -9 for g.
-4
Suppose 0 = 8*m - 97 - 119. Suppose -29 - m = -14*r. Let d be (r + 13)*(-1 + 2). Solve 4*i = 0, 4*a - 2*i - d = -1 for a.
4
Let j be (-143 - -138) + (16 - 0). Solve 2*s = -22*c + 26*c + 28, 3*c = -s - j for s.
4
Suppose -2*y + 4*y + 34 = 0. Let r = -12 - y. Suppose -5 = -5*c - 0*c, 13 = 4*q + r*c. Solve 2*t + 2*j = 0, t + q*j = -3*t - 4 for t.
-2
Suppose -d = -93 + 85. Suppose -6*g = -d*g + 6. Solve f + g*m - 10 = -m, -5*f + m = 13 for f.
-2
Let a be 1*7*((-130)/13 - 21). Let x = -210 - a. Solve 2*w + x = 5*l, -l - 4*l + w + 11 = 0 for l.
3
Let y(s) = -s**2 - 11*s - 2. Let v be y(-11). Let u = 5 + v. Let i(z) = 328*z + 7876. Let t be i(-24). Solve a = x - u + 7, 2*a - 8 = t*x for x.
0
Suppose -5*c = -0*c - 200. Let o = c + -68. Let n be (-1)/7 - 144/o. Solve n*v - 5 = 4*i, 2*i + 5 = 2*v + i for v.
5
Suppose 2*d - 350 = 4*z, 3*z - 12 = 3. Let q = -182 + d. Solve -i - b - 3 + 1 = 0, 4*i + q*b = -4 for i.
2
Let n be (-4)/18 - 2/(-9). Let u(w) = -w**3 - 3*w**2 - w + 3. Let x be u(n). Solve 0 = j + 4*g + 5, -2*j - 2*g + x = 1 for j.
3
Suppose 253 - 279 = -13*n. Let a = 51 - 47. Solve -2*s - a*k = 10, n*s - 18 = -0*s + 3*k for s.
3
Let f(j) = 4*j - 1. Let q be f(3). Let o = -688 - -696. Suppose q*z = 14 + o. Solve 4*v - z*t - 31 = -5*t, -3*v = -4*t + 8 for v.
4
Suppose 3*c - 27 = a, -2*a + 44 - 50 = 0. Solve c*k = -r + 13*k + 9, -2*k - 4 = 0 for r.
-1
Suppose -r = 2*r - 51. Let y = r + -9. Suppose -3*x = -14 + y. Solve -2*c + 3*a = -2*a - 27, 3*c = -a - x for c.
1
Suppose -25*o - 262 - 88 = 0. Let l(r) = r**2 + 13*r - 10. Let b be l(o). Solve -s = 4*h + 5, h + 1 = 4*s + b for h.
-1
Let o(r) = 22*r - 809. Let k be o(37). Solve 4*g + h = -9, 3*g + 0*g - k*h + 1 = 0 for g.
-2
Suppose -186*g + 185*g + 10 = 0. Suppose -4*z - 36 = -g*z. Suppose 3*s = 5*x + 9, 5*x = -s + 2 + 1. Solve -3*d - z = 5*n + 4, 2*d = x for n.
-2
Let i be ((-16)/(-24))/(8/(-3) - -2). Let o be -51*4/12*i. Solve -3*q = 2*q + h - 19, 3*q - 5*h - o = 0 for q.
4
Let w(p) = 6*p**3 - p**2 - p + 1. Suppose 3*g = 2*g + 1. Suppose -y = -0 - g. Let q be w(y). Solve -q = b, -25 = 5*r - 0*b + 3*b for r.
-2
Let f(t) = -95*t**2 + 9 + 44*t**2 + 49*t**2 + 29*t - 44. Let u be f(13). Solve 9*o + 4*r - 23 = u*o, 0 = 3*o - 4*r - 1 for o.
3
Suppose 6*w - 27 = -9. Suppose 2*b - 2*f = -2, 0 = 2*b - 0*b - w*f + 5. Solve -l - 12 = 3*x, 3*x + 0*l - b*l + 12 = 0 for x.
-4
Let o = -24 - -14. Let n be (156/(-18) + 6)*(o - -1). Let u = -14 + n. Solve 5*m = u, -4*m + 11 = -0*k - k for k.
-3
Let p = -85 - -100. Suppose -k - p = -4*u, -4*u - 5*k + k = -40. Solve -u*q + 4 = v, -5 = -2*q + v - 2 for q.
1
Suppose 0 = 4*a - o + 3*o - 8, 0 = -3*a + 4*o - 5. Let l be 2*(-5)/10*(a - 1). Solve -2*j + 4*j = 3*z - 22, l = -2*z - j + 3 for z.
4
Let q = -35 + -14. Let a = q - -53. Let p be -3 - (2/11 + 237/(-33)). Solve 4*z = -j - a*j + 4, 4*z - p = -4*j for z.
1
Let a(q) be the second derivative of -q**4/12 + 4*q**3/3 - 3*q**2/2 - 46*q. Let s be a(7). Solve -s*r = 8, 3*w + 5*r + 6 = 7*w for w.
-1
Let i(m) be the second derivative of m**5/20 + 31*m**4/12 + m**3/3 + 37*m**2 + 14*m. Let v be i(-31). Solve -16 = 2*z + 5*d, 4*z + 3*d + v = -2*d for z.
2
Suppose 0 = -46*p + 1136 + 1486. Suppose 6*i + p = 69. Solve -4*f - 12 = 0, i*v - 4*f + 4 = -2*f for v.
-5
Let a be ((-162)/(-63))/(-6) + (-135)/(-21). Solve -2*t - 5*o + 11 = 0, -5*o + a = 1 for t.
3
Let v(r) = r**3 - r**2 + 2*r + 4. Let b be v(3). Suppose 1254 = -182*l + 3438. Let m be (6 - 3)*b/l. Solve 2*h = -h + 3, 4*c = h + m for c.
2
Let c be 8034/(-8) + ((-225)/20)/(-9). Let a = c + 1005. Solve g + 7 = -3*i, a*g + i + 4 = 5 for g.
2
Suppose -72*s = -613 - 899. Solve b - 5 + s = 5*a, b + 4 = 2*a for a.
4
Suppose -3*s + 8 = -1. Suppose 3*x - 4*x + s*p = 11, -x = 2*p - 9. Let d = -1 + x. Solve 4*m = 3*y - 8, -m = -d*y + 3*y + 2 for m.
-2
Let v be (-2)/(-9) + 1040/585 - 0. Solve -v*j + 5*j + 5*k - 10 = 0, 0 = -2*j + k - 2 for j.
0
Let y(p) = -p**3 - 21*p**2 + p + 16. Let d be y(-21). Let r be 4/((-4)/4)*d/4. Suppose -4*x + 4*x = -r*x. Solve -s + x*f + 16 = 3*f, 2*s - 4*f = -18 for s.
1
Let q = -318 + 322. Suppose 0 = -4*r - 0*y - y + 4, -3*y - 12 = 0. Suppose -3*a - 12 = 5*n, 2*a - 3*n - 13 = -r*a. Solve -u = -t + 1, -3*u + q = a for t.
2
Suppose 1 + 391 = 2*j. Suppose -54*q + j = -26*q. Solve -5*n + 9 = 2*a - 17, -n - a = -q for n.
4
Suppose 9*m - 5*n = 4*m + 20, 2*m - 11 = -n. Suppose 7*y + m*h - 35 = 2*y, 3*h - 15 = 0. Solve -10 = -5*b + 5*t, -3*b - 3*t - 30 = y*b for b.
-3
Suppose -3*s + 4*q = 22, 25*s = 22*s - 13*q + 97. Solve s*p - 8 = -4*b, -32*b - 2*p = -34*b + 4 for b.
2
Suppose 247 = 194*g - 17 - 124. Solve 5*p = -2*u + g + 2, 2*u - 5*p + 16 = 0 for u.
-3
Suppose -72 = -5*k - 17. Let i(s) = s - 8. Let o be i(k). Suppose -20 + o = -c. Solve -3*h = f - c, h - 3 = -0*h + f for h.
5
Let p(h) = h**3 + 22*h**2 - 29*h + 7. Let u be p(-23). Suppose -3*g = 4*z + 11 - u, -2*g + 93 = -z. Solve -4*d - 4*l - g + 18 = 0, -19 = 5*d + l for d.
-3
Let a(d) = d**3 - 4*d**2 - 3*d + 1. Let c be a(-3). Let f be (-2)/((-35)/(-196)*(-3)/15). Let i = c + f. Solve 12 = i*w + 4*g - 17, 20 = 4*g for w.
3
Let n(f) = 5*f**2 + 12*f + 10. Let k be -2 - (-2)/3 - 2/(-6). Let z be n(k). Solve -z*a = 5*b + 37, 3*a + 0*a = 4*b + 8 for a.
-4
Let v be (28 + -5 + -19)*(-15)/(-4). Solve -4*y - q + 2*q = -15, -q = 2*y - v for y.
5
Let x(b) = -b**3 + 8*b**2 - 15*b + 59. Let o be x(7). Solve 0 = 5*p + 3*q - 26 + 18, -q = -o*p + 16 for p.
4
Suppose -2*f = -54*v + 49*v - 41, 0 = -4*f - 4*v + 96. Solve -5 = w, f = -2*k - 19*w + 16*w for k.
-4
Let c be (-14 - (-3 + -3)) + 10. Solve -5*n + 5*b = -30, c*n - 8 = 2*b - 4*b for n.
5
Let v(a) = a**3 + 2*a - 7. Let q be v(2). Solve d - k = -4, q*d - 2*k + 8 = 10*d for d.
0
Suppose 416 = 34*n + 76. Solve -n = 3*o - a, 0*a - a = 5*o + 22 for o.
-4
Suppose 27*n = 26*n + 5*r + 13, 4*n - 2*r = 106. Solve -13 = -n*q + 24*q - 3*d, 0 = 2*q + d - 7 for q.
4
Suppose -655*y - 1066 = -657*y. Let g = 538 - y. So