 9. Let f = -5 - -3. Let k be 10/2 + (2/f - 2). Let g be m(k). Solve 3*w - g - 1 = 0 for w.
2
Suppose -23 = -4*i + 41. Let g be (12/i)/(3/60). Solve 16*s - 19*s + g = 0 for s.
5
Let t = -252 - -253. Let h = t - 1. Solve h*m = -m for m.
0
Let n(m) = -m**3. Let l be 0 + -1*(4 - 6). Suppose -4*z + w = -5*z + 1, -l*z + 5*w = 5. Let i be n(z). Solve -3 = j - i*j for j.
-3
Suppose 0 = 3*q + 21, -3*d - 1925*q + 1920*q + 883 = 0. Solve 0 = -310*j + d*j - 16 for j.
-4
Let j = 17 - 5. Suppose s - 86 = -5*f, -46712*f = -3*s - 46715*f + 66. Solve 0*l = -s*l + j for l.
2
Let v(a) be the third derivative of a**6/15 + a**5/60 + a**3/6 - 3*a**2 - 1. Let d be v(1). Solve -2*s + 0*s + d = 0 for s.
5
Suppose -11*p = -8*p - 15. Suppose 0 = 2*b + p*g - 9 - 10, -3*b - g - 4 = 0. Let y = 4 + b. Solve 4*l - y = 7 for l.
2
Let p be ((-3)/(-4))/(35/(-40) - -1). Suppose p*k = -8*k + 5*k. Solve 5*u - 9*u = k for u.
0
Suppose -2*i = 848 + 150. Let y = 521 + i. Solve y = x + 23 for x.
-1
Suppose 29*n + 115 = 4*z + 26*n, 3*n + 31 = z. Suppose z*b - 16 = 26*b. Solve -2*d - b*d = -0*d for d.
0
Suppose 335 = -119*t + 1049. Solve -28 = -34*v + t*v for v.
1
Suppose -24*t - 130 = -37*t. Solve -t*k = -25 + 65 for k.
-4
Let v = -51 + 51. Suppose -g + v = -r - 2, -4*r = -3*g + 9. Let a be 4/60*r + (-26)/(-5). Solve j = 6*j - a for j.
1
Suppose -5*w + 5 = 0, 0 = -6*u + 2*u + 3*w + 885. Let d = u + -195. Solve 32*h - d*h = 5 for h.
1
Let o = -35 - -35. Let z be (-2)/(10/(-15)) + o + 1. Let y = -9 + 9. Solve -r + y*r = z for r.
-4
Let m(y) = -y**3 - 94*y**2 + 186*y - 556. Let f be m(-96). Solve -3601*o = -3605*o + f for o.
5
Let j be 13/(-1) + 18/9. Let h(w) be the third derivative of -w**5/60 - 3*w**4/8 + 9*w**3/2 - w**2 - 8*w. Let m be h(j). Solve -4*b = -3*b + m for b.
-5
Let v(x) = 25*x - 92. Let p be v(7). Solve -3*d + 74 = p for d.
-3
Let h = -2420 - -2943. Solve -8*j - h + 563 = 0 for j.
5
Let m be ((-4)/6 - -1)*(-1836)/(-9). Solve -9*s = -32 + m for s.
-4
Suppose 12*i + 8 = 4*i. Let p(z) = 8*z**2 + z - 1. Let o be p(i). Solve -o*y - 10 = -y for y.
-2
Let t(r) = 278*r + 1502. Let m be t(-5). Solve -9*u - m = 7*u for u.
-7
Suppose -3*m - m = 3*a + 25, 3*m = -a - 20. Let f(w) = w**2 + 7*w. Let g be f(m). Let z(v) = -v**3 - v**2 + v + 2. Let d be z(g). Solve -d*p = p for p.
0
Let w(d) be the first derivative of 8*d**3/3 - d**2/2 - d + 3. Let j be 1*(-1 - -3 - 3). Let b be w(j). Solve 2*l = -0*l - b for l.
-4
Suppose -2*p + 3*r - 257 = 4*r, 0 = -5*p - r - 638. Let d = 127 + p. Solve d = 4*z + 6 + 10 for z.
-4
Let h be 82/369 - (-150)/54. Solve h - 2 = l for l.
1
Let d(m) = -3*m + 17. Let i be d(4). Suppose -i*q = -q - 4, -v = -2*q. Suppose -z - v*z = 0. Solve z = -4*x + 27 - 7 for x.
5
Suppose -3*f = -8*f - 4*y + 100, -2*f = -5*y - 7. Suppose -2*i - 3*i = -3*w - 42, 0 = 4*w + f. Solve 5*l = 4 + i for l.
2
Let x be (3 - (-32)/4) + 51. Solve 257 = -x*f - 177 for f.
-7
Let u = 4170 - 4145. Solve -u*z - 3 = -53 for z.
2
Let x be (-157)/(-4) + (-130)/520. Solve -45*p = -x*p + 6 for p.
-1
Let j = 13 + -7. Suppose 394*f - 171*f - 1610 = 177*f. Solve j*v + v - f = 0 for v.
5
Suppose -10*j = -11*j - 13. Let h be 4/(-8) + j/(-2). Suppose -h = -3*i + 12. Solve -i = -4*c + 6 for c.
3
Suppose 0 = -14*d + 10*d + 4*o + 16, -5*o - 10 = 0. Let h = -8 - -13. Solve -d*a = -h*a + 3 for a.
1
Let q(m) = -8*m - 1. Let h(l) = 16*l + 3. Let i(u) = 6*h(u) + 10*q(u). Let x be i(5). Let j = 90 - x. Solve -7*r - 25 = -j*r for r.
-5
Let u be ((-100 + -1)*-3)/3. Suppose -51 + u = 5*i. Solve -6*d + i*d = 0 for d.
0
Let z = 1446 - 1001. Let w = z - 415. Solve 13*t + w = 3*t for t.
-3
Let z(s) = -2*s**3 + 5*s**2 - 9*s + 3. Let k be z(-5). Suppose 10*t - k = -13. Let v = -39 + t. Solve o - v = 3*o for o.
-1
Suppose t = -5*d + 12, -2*d - 3*t = -5*d + 18. Let b(g) = -5*g**2 + 2*g + 6*g**2 - d*g + 8 - 12. Let a be b(-2). Solve -2*v = a*v - 8 for v.
2
Suppose -5*j + 30 = 10. Suppose -7*u = j*u + 781. Let i = u + 80. Solve v + 2*v = -i for v.
-3
Let x(m) = -m**2 - 54*m + 503. Let p be x(8). Solve -3*q + p*q = 20 for q.
5
Let x(z) = z + 5. Let g be x(0). Let i(p) = 3*p**2 - 69*p + 310. Let r be i(6). Solve -g*y + y = -r for y.
1
Suppose -2*u - 194 = 5*j, -u + 5*j - 49 = 63. Let s = u + 124. Solve 0 = -3*f - 7 + s for f.
5
Let k(q) = 3*q**2 + 7*q + 1. Let j(y) = -7*y**2 - 15*y - 2. Let m(f) = -2*j(f) - 5*k(f). Let a be m(-3). Let l be 0*((0 - 4) + a). Solve -2*h = -l*h for h.
0
Let m = -171 + 173. Suppose 112 = -71*f + 99*f. Solve -m*j = -j + f for j.
-4
Let q(m) = -3*m - 37. Suppose 154 = -8*f - 3*f. Let c be q(f). Suppose -2*l - c*p = -18, -5*l = p + 2*p - 26. Solve 0 - l = -x for x.
4
Suppose -6*c + n + 637 = 0, -3*n + 103 = c - 0*c. Solve -64 + c = -14*y for y.
-3
Let h(d) = -d. Let o be h(-5). Suppose -o*m + 27 = 2, -4*x + 5*m - 17 = 0. Let z = 2129 - 2123. Solve -z = t - x for t.
-4
Let c = 3 + -2. Let t = -32 + 101. Suppose -12*a + t = -63. Solve 0 = 2*o - c + a for o.
-5
Let h be 1127 + -222 - 21*1. Solve 0 = -885*w + h*w - 8 for w.
-8
Let d = -122 - -120. Let n be (-44)/(-32)*4 - d/(-4). Solve n*s + 32 = 27 for s.
-1
Let s(x) = 50*x - 1030. Let u be s(22). Solve 0 = -u*f + 31*f + 32*f for f.
0
Let p(r) be the third derivative of -19*r**4/24 - 38*r**3/3 - 48*r**2. Let s be p(-4). Solve s = 7*q - 4*q - 3 for q.
1
Let v = -19 - -21. Suppose -4*i = v*i. Suppose -15 = -5*z + 3*l - 2, i = 5*z - 2*l - 12. Solve 1 = -m + z for m.
1
Suppose -14*t + 6 + 232 = 0. Solve 29*z - 12 = t*z for z.
1
Suppose 3*c + 1275 = 20*c. Suppose -16*y - c = -19*y. Solve y - 28 = h for h.
-3
Suppose -2558 = -12*c - 926. Solve -16*m + 33*m + c = 0 for m.
-8
Suppose 3*n = -w + 12, -18 = -4*w + 22*n - 19*n. Solve 14 = w*o + 26 for o.
-2
Let t(h) = -h**2 + 4*h + 60. Let j be t(10). Suppose -3*l = 3*w - 14 - 13, j = -3*l + 12. Suppose -3*q + 2*q + 6 = 0. Solve -q = w*p - 1 for p.
-1
Suppose 0 = 7*v + 3 - 3. Suppose v = 6*g - 42 - 30. Suppose 4*b - g = -2*k, 5*k + 3 = -0*b + b. Solve 0 = b*q - 2 - 10 for q.
4
Let i be (-2 + 1)*(-1 + 2)*-1. Let q(o) = -o + 2. Let j be q(i). Suppose 0 = -l + 1 + j. Solve 16 = 6*m - l*m for m.
4
Suppose m + 3*a - 10 = 0, 4*m + 8*a - 13*a = 125. Solve -7*s - m = -32 for s.
1
Let s(j) = -3*j**2 - 124*j + 550. Let f be s(-45). Solve 52*h - 101 - f = 0 for h.
3
Let z = 16227 - 16096. Solve -18*u = -239 + z for u.
6
Let s = 3377 - 3369. Solve -s*n - 45 = -13 for n.
-4
Let h(p) = -10*p - 208. Let k be h(-21). Let r(m) = -16*m + 39. Let w be r(k). Solve 6*y - w*y = -4 for y.
4
Let q(w) = w**2 - 648*w - 5884. Let u be q(-9). Solve 24*t - u*t - 45 = 0 for t.
-9
Let x be 22*((-568)/44 + 13). Solve -21*m + 76 = -x*m for m.
4
Let p(d) = 23*d + 23. Let i be p(-23). Let k = i + 585. Solve 84 = -5*t + k for t.
-1
Let y be 60/24*32*6. Solve 482*t - y*t = 4 for t.
2
Suppose -5*l = -7*c + 2*c + 25, l - 19 = -5*c. Let v(t) = 5*t**2 + 5*t - 7. Let g be v(1). Solve c*n = n + g for n.
1
Suppose 15454 = -32*p + 17470. Solve 0 = -9*m - p - 0 for m.
-7
Suppose -5*g - 20 = -5*o, 48 = -38*o + 43*o + 2*g. Let r(z) = z**3 - 6*z**2 - z + 8. Let s be r(6). Solve -o + 2 = s*n for n.
-3
Let p = -23 + 24. Let z(q) = -9*q + 15. Let s(h) = -h - 1. Let w(t) = p*z(t) - 6*s(t). Let j be w(6). Solve -2 = 2*b - j*b for b.
2
Let f be 5/(45/1863) + -7. Suppose -174 = 13*y - f. Solve -x = 7 - y for x.
-5
Let a(m) = m**2 + 4*m. Let c be a(-5). Let d(j) = 2*j**2 + 11*j + 24. Let b be d(-3). Suppose 0 = -3*s - 4*g + 2, -3*g = 4*s + 4 - b. Solve -s*i = -c - 1 for i.
3
Let a = 586 + 1094. Let c be (-2 - (-84)/39) + a/65. Solve -29*y + c*y - 12 = 0 for y.
-4
Suppose -5*u + 0*p = p + 258, 3*p = 3*u + 162. Let m = u - -54. Suppose 2*t - 7 = -m*r - r, 0 = -3*r + 3. Solve -t*o - 2 = -o for o.
-2
Let p be 0 + -3 + 6 - (-15)/5. Suppose -3*y = -0*y - p. Suppose -c + 10 = s + s, -5*c = -5*s + 10. Solve c*h = y - 12 for h.
-5
Suppose 0 = -5*j - 4*w + 60, -6*j + 99*w - 26 = 94*w. Let c be (-2)/1*3/(-2). Solve -19 = -c*u - j for u.
5
Suppose -w - w + 2*f = -620, -4*f + 4 = 0. Let b = w - 305. Solve d = 7*d + b for d.
-1
Let d(g) = g**3 - 13*g**2 + 15*g - 8. Let s be d(12). Suppose -6*f - f + s = 0. Suppose -x - 18 = -0*x + f*r, 4*x - r - 13 = 0. Solve -h = -x*h + 5 for h.
5
Suppose -5*v = 4*y - 200 - 943, -3*y = -6. Solve 86*l = -375 - v for l.
-7
Let v be 0*14/770*-11. Solv