.
7
Suppose -z = 3*t - 4158 - 430, -3*t + 4595 = 2*z. Solve 0 = -7*i + t - 1471 for i.
8
Let a = 36 - 31. Suppose -5*w - 5*n + 100 = 0, -w - a*n - 100 = -6*w. Solve -2*r - 3*r = w for r.
-4
Suppose 7*w + 3 = -18. Let x be 10 + -7 + (-3*3)/w. Solve x*l = 7 - 1 for l.
1
Let h be (-6 - 700/(-90)) + 28/126. Let c be 72/30 - 4/10. Solve -c*z = -3*z - h for z.
-2
Let l = 9157 + -9112. Solve l*f - 16*f = -232 for f.
-8
Let r be 16/(96/(-18)) - -11. Solve 38 = r*v + 22 for v.
2
Let y be (-8)/(-3) - 2/3. Let a(s) = s**2 - s - 4. Suppose 12 = 4*t + 2*f + 6, f = 4*t - 15. Let k be a(t). Solve 4*l - k - y = 0 for l.
1
Let j be 9*1 - (-471)/157. Solve 0 = -8*a + j*a for a.
0
Suppose -44*h - 1275 = 11177. Let x = -281 - h. Solve 0 = 2*f - 2 - x for f.
2
Suppose 665 = -7*w - 245. Let q be (1/(-35)*-7)/((-2)/w). Solve 0 = q*a - 6*a for a.
0
Suppose -874 + 38 = -4*h. Suppose 197*t + 12 = h*t. Solve -12*o - t - 11 = 0 for o.
-1
Suppose c + 12 = -8. Let s = -20 - c. Let d be -9 + 10 + s + 1. Solve 0 = d*y - 5 - 1 for y.
3
Let y be 6/87 + (-8250)/(-638). Solve 1 = -y*u + 53 for u.
4
Let q(t) = 14*t + 27 - 5 + 19 + t**2 - 4. Let p be q(-11). Solve n - p*n = 0 for n.
0
Let l be (-2)/6*(-26 + 28 - 5). Let m = 27 + -18. Solve 2*d - m = -l for d.
4
Let c(y) be the second derivative of 3*y**5/20 + 5*y**4/4 - y**3/3 + 7*y**2/2 + 205*y. Let k be c(-5). Solve -2*h = k - 15 for h.
-1
Suppose 7*m = 1337 - 4760. Let r = m - -503. Solve -r = 4*b - 6 for b.
-2
Let g(o) = -2*o**2 + 47*o + 26. Let j be (-9 + 10)/((-1)/(-28)) - 4. Let u be g(j). Solve u = -a + 4 for a.
2
Let u(a) = -4*a + 61. Suppose -3*g + l = -2*g, 4*g + 2*l - 12 = 0. Suppose 0 = -g*p - 2*z + 36, 2*z + 6 = 2*p - 18. Let j be u(p). Solve 4*r = -j - 3 for r.
-1
Let j = 22 - 19. Let t(u) = 6*u + 7. Let v be t(j). Let o(n) = -12*n - 68. Let m be o(-6). Solve -m*a + v = a for a.
5
Suppose -1 = 10*m - 151. Suppose 0 = m*i - 12*i - 21. Solve -4*u - i = 13 for u.
-5
Suppose 4*u - 12*u = 3*u. Suppose u = -22*x - 21 + 175. Solve 8 = -x*z - 6 for z.
-2
Let b(o) = 3*o**2 - 271*o - 77. Let c be b(91). Solve -c = -45*x + 10*x for x.
3
Let u = -37194 + 37205. Suppose 49 = 2*v + w, 0 = v + 5*w + 1 - 3. Solve u*h = 2*h - v for h.
-3
Let d = 8538 - 8496. Solve -d*l - 264 = 2*l for l.
-6
Let y be (3/(-78))/((-10)/(-40)) - (-4762)/26. Solve 36 = 174*m - y*m for m.
-4
Suppose -69 = -5*v - 2*m + 84, -v + 5*m = -63. Solve 0 = -61*f + v*f + 224 for f.
8
Let j(q) = 2*q**3 - 33*q**2 - 18*q + 23. Let f be j(17). Suppose -d - 3*t - 22 = -f*d, 2*t = -4*d. Solve d*n + 14 = 4 for n.
-5
Let h = -9067 - -9095. Solve -30*b - h = 182 for b.
-7
Let q(t) be the third derivative of -t**5/60 + 2*t**4/3 - 13*t**3/3 + 12*t**2. Let f be q(12). Let a = f - 19. Solve -8 = -a*o - o for o.
2
Let u(l) = -l + 3. Let t be u(1). Suppose 0*r + t*r - 10 = -2*i, 2*r - 8 = -i. Suppose -3*o - 3*d + 51 = 0, -1 = -r*d - 16. Solve -o = -5*k - 2 for k.
4
Let z(u) = 152*u + 192. Let w be z(-1). Solve w = 8*y + 8 for y.
4
Let s(j) = -j**2 + 5*j + 3. Let p be s(2). Let a(c) = -3*c**2 + 32*c - 38. Let n be a(p). Solve 10 = -5*r + n*r for r.
5
Let p(i) = i**2 + 17*i + 851. Let z be p(-66). Solve -z*c - 44 = -4096*c for c.
4
Suppose -2232 = -130*m + 6*m. Solve 13*w = 57 - m for w.
3
Let c(b) = -3*b - 21. Let l be c(-4). Let q be (l/(-2))/(248/32 + -7). Solve 9*k - 15 = q*k for k.
5
Let z be -6*(2/(-4))/1. Let r = -23 - -28. Suppose -4*t + 3*m + 4 = -8, r*t = -4*m - 16. Solve -5*f + z*f = t for f.
0
Let s be 6/4*3*(-2)/(-3). Suppose -s*c - 4*u - 1 + 2 = 0, -2*c + 29 = -3*u. Solve 17 = 2*a + c for a.
5
Let f be 40/(-6)*27/(-72)*10. Solve 7*n - f - 10 = 0 for n.
5
Let u be (-2)/(-5) + (-454)/10. Let v = u - -43. Let i be v/3*-6 - (28 - 27). Solve -i*g = -4*g + 1 for g.
1
Let i(l) = l**3 - 43*l**2 + 83*l - 42. Let u be i(41). Let g be (0/u)/((-38)/19). Let t(h) = -5*h - 1. Let a be t(-2). Solve g = b + 2*b + a for b.
-3
Suppose -4*c - 20 = 0, 4*x - 6 = -2*c + 4. Let f be (6*(-6 + 5))/(1/(-10)). Let l be f/9 - 20/(-15). Solve -x*r - l = -23 for r.
3
Suppose 4*t = -7*g - 8, 6*t - 2*t + 3*g - 8 = 0. Solve -2 = t*m + 18 for m.
-4
Let t(c) = -11*c + 111. Let q be -40*(9/54)/((-2)/3). Let b be t(q). Let v(u) = u + 4. Let x be v(-4). Solve n = -x + b for n.
1
Let h = -656 + 682. Let i(f) = -f**3 + 28*f**2 - 51*f - 15. Let w be i(h). Solve 0 = -13*y + w*y + 6 for y.
3
Let r(i) = -3*i**3 + i**2 - 3*i - 3. Let j be r(-2). Suppose -c = -5*d - 34 + 16, -3*d = -4*c + 21. Solve -31 = -c*w - j for w.
0
Let u be ((-8)/(-14))/((-16)/(-7) - 2). Let r(f) = f**3 + f**2 + 8. Let n be r(0). Suppose 0 = 3*x - n - 10. Solve -v + x = u for v.
4
Let w be (2*(-1)/2)/(3/(-21)). Suppose 3 + 25 = w*m. Suppose -4 = m*f, -3*p + 29 = 3*f + 8. Solve -5*q + p*q = 0 for q.
0
Let z(k) = -19*k - 72. Let h be z(-4). Suppose -j + 4*c = -4*j, h*j + 3*c = 7. Solve 0 = -13*y + 12*y + j for y.
4
Suppose -r = -4*x - 12, -4*x + 0 = -3*r + 12. Suppose 25*c - 17*c - 24 = r. Solve 5*j - 8 = -c for j.
1
Suppose -4*i = 20, -4*i + 6*i - 18 = l. Let v(q) = -4*q - 103. Let o be v(l). Solve -5*h + o + 11 = 0 for h.
4
Suppose 40 = 5*j + 5*f, -j + 2*f - 1 = 2*j. Suppose 2*h + 3*h = 60. Suppose h*g - 16*g + 4 = 0. Solve g = -t + j for t.
2
Suppose 5*z + 5*x - 5 = 0, 5*z - 6 = -2*x + 14. Suppose z*a - 11*a = -20. Suppose a*t = -0 + 4. Solve -4*p + t + 11 = 0 for p.
3
Suppose -4277 = -1196*v - 689. Let f = 78 + -53. Solve 0 = 2*o + v*o + f for o.
-5
Let t(j) = 6*j + 2*j - j - 6*j + 10. Let h be t(5). Solve 4*g + h = g for g.
-5
Let n be -1 + (-4 - (49 - -8)). Let l = 67 + n. Solve -l = -3*g - 8 for g.
-1
Suppose -29*b + 31*b - 5*i = 415, 3*b = 2*i + 639. Solve -4*z = b - 195 for z.
-5
Let c be ((-1269)/(-27))/(0 - -1). Suppose 150 = 3*k + 3*w, w - 2*w = 5*k - 254. Suppose 28 = k*f - c*f. Solve -3*q - f = 8 for q.
-5
Let p = -9301 + 9775. Solve -p*s = -462*s for s.
0
Let m(h) = -20*h - 1558. Let i be m(-78). Let l = -5 - -7. Suppose -l*q - q + 9 = 0. Solve 0 = q*x - i*x + 2 for x.
-2
Suppose 40*u - 43*u = -9. Suppose 2*x - 1 = -4*r + u, 3*r - 2 = -x. Suppose -n - 5*a + 13 + 4 = 0, -5*n - 2*a + 16 = 0. Solve r = n*z - 1 - 1 for z.
1
Let f = -411 + 417. Suppose -48 + 36 = -f*g. Solve -1 + g = v for v.
1
Let h(u) = -61*u**3 + 12*u**2 + 17*u + 6. Let w be h(-1). Solve 0 = 68*l - w*l + 18 for l.
-3
Let o = -4629 - -4647. Solve 48 - 12 = -o*v for v.
-2
Let b(z) = 6*z + 95. Let a(j) = -6*j - 94. Let r(l) = 4*a(l) + 3*b(l). Let u be r(-16). Solve 4*n - 5*n = u for n.
-5
Let u be (209/(-19) - -94) + -21. Solve -15*t + u = -13 for t.
5
Let v(i) = 6*i - 8*i - 12 - 8*i + i**2 + 40 - i. Let w be v(8). Solve 3 - w = -j for j.
1
Let d be ((-336)/32 + 10)/(((-5)/218)/5). Solve -115*s - 48 = -d*s for s.
-8
Suppose 24*r - 1020 - 12 = 0. Solve -35 + r = -4*z for z.
-2
Let k be 1/(-2) + 2*(-585)/(-36). Let a be k/8 + 2*(-1 + -1). Solve d - 7*d = a for d.
0
Suppose 18*a = -74 + 92. Suppose -4*t = -g - 17, -5*t + 21 = -3*g + 5. Suppose -i + 0*u + 6 = u, -t*i - 3*u = -24. Solve i*s = 2*s - a for s.
-1
Suppose -b = -2*r - 79, 317 = 6*b - 2*b - 7*r. Solve 0 = 77*n + 150 + b for n.
-3
Suppose 0 = 23*c - 21*c. Suppose c = -3*b - 3 - 3, 5*b = -3*i + 26. Solve 0 = -2*x - x - i for x.
-4
Suppose 0 = -2*y - 19*y + 252. Let p(i) = -i**3 + 12*i**2 + 8*i - 64. Let n be p(y). Solve -4 = -7*g - n for g.
-4
Let h(t) = -t**2 + 9. Let b be h(-3). Suppose -4*z - 3*d + d = -98, 2*d + 10 = b. Suppose 3*y - 24 = 5*j, -4*y + z - 3 = -4*j. Solve 0 = -3*f + 4*f + y for f.
-3
Suppose 0 = -0*p + 4*p - 100. Let h be 2*3 - (121 + -119). Suppose -r = -4*i - p, 0*r - h*i - 35 = -3*r. Solve 8 = -q + r*q for q.
2
Let q(o) be the second derivative of -o**5/20 - 11*o**4/12 - 13*o**3/6 - 29*o**2/2 - 73*o. Let j be q(-10). Solve s + j = 5 for s.
4
Suppose 5*j - 7 - 3 = 0. Suppose 3*r - 4*k + 20 = -2*r, -j*r - 10 = -2*k. Suppose -5*n + 3*t - 15 = 0, 10 = 3*n - r*t + 2*t. Solve -2*z + 3 + 5 = n for z.
4
Let n be 1*(8 + 19) - (4 + 1). Solve -n*y + 16*y + 6 = 0 for y.
1
Let p be -15*(-6)/(-81)*(-21 - -12). Let r = -4 + 7. Suppose -p*y + 52 = r*y. Solve y*z = 2 + 10 for z.
3
Let b be ((3 - 2)/(-1))/(8/(-2192)). Let t = b - 272. Solve 3*h - t*h = 1 for h.
1
Suppose 29*k - 8568 = 5*k. Let f = 377 - k. Solve 23 - f = 3*y for y.
1
Let x be 10/4*10 - ((-2016)/(-12))/21. Solve -x*f + 256 = 47*f for f.