w = -21 + a. Solve 0*f + 3*f = -w for f.
-1
Suppose 3*k = -2*f + 22, 3*k = 4*f + 12 - 2. Suppose -4*n - 2*j - 28 = 0, 3*n + 13 + k = -2*j. Let g be -3 - (4 + n*(-2)/(-2)). Solve 0 = g*y + y + 9 for y.
-3
Let i be 2/(-6) + (-5)/3. Let h(l) = 2*l**2 + l + 1. Let v be h(i). Suppose 6*j - 49 = -v. Solve 4*b + 3 - j = 0 for b.
1
Suppose 9*c - 4285 = -1774. Suppose -c + 83 = -4*f. Solve q + 53 - f = 0 for q.
-4
Suppose -4*k + 417*s - 416*s = -1231, s = -2*k + 617. Solve 0 = 3*p + 323 - k for p.
-5
Let u = 739 - 698. Solve -76 = 3*l - u*l for l.
2
Let j = 133 + -135. Let w be (-94)/(-18) - j/(-9). Suppose -25 = -5*l + 5*m, l + 2*m = -2*m - w. Solve 0 = -l*p + 6 for p.
2
Let g be -3*(4/(-5))/((-21)/(-70)). Suppose g*y + 14 = 54. Solve -2*v - y + 11 = 0 for v.
3
Let u be (102/(-12))/(-17)*30. Let o be (2/((-2)/2))/(-1). Suppose -2*h = o*k - 12, 6*h + 2*k - 16 = 3*h. Solve l - h*l + u = 0 for l.
5
Suppose 2*f - 4*g = -134, -5*f - 354 = -2*g + 5. Let s = 24 + f. Let w = s + 49. Solve w = -4*y + 4 + 16 for y.
5
Suppose 5*r - d - 711 = 0, -6*r + 3*r + d = -425. Let s = -137 + r. Solve -2*k = -0*k + s for k.
-3
Let h(v) = 4*v**2 - 16*v + 4. Suppose 5*m = u + 15, 2*m + 2*m - u = 11. Let a be h(m). Suppose -4*q - 16 = -4*y, 5*q + 22 - 7 = a*y. Solve -x - q + 4 = 0 for x.
3
Let z be 5 - ((-117)/(-9) - 102). Solve -z*d + 68*d = -26 for d.
1
Let s = 1 - -5. Let k be 12/s - (2 + -5 - -5). Solve k = 2*d + 2 - 12 for d.
5
Suppose -64*u = -63*u - 13. Suppose -u*a = 21*a. Suppose -3*k + 8*k = 0. Solve k = -a*l - 5*l for l.
0
Let l be 0/(-16) - 4/(-1). Suppose l*f - 4*s + 2 + 2 = 0, -13 = -2*f - 3*s. Suppose 2*y + 2*b + f = -0, 2*b + 4 = -y. Solve 0 = 7*t - y*t + 25 for t.
-5
Let m be (-3 - 0) + 4*(-6)/(-24). Let w be (0/m)/((-3)/3) + -3. Let z be (-5)/((-15)/(-9)) + (-57)/w. Solve -4*l = z - 0 for l.
-4
Suppose -5*f - 3*g = -1193 - 1572, -2760 = -5*f - 2*g. Solve 567*h - f*h = 85 for h.
5
Let h(y) = -2 + y**3 - 6*y + 0*y + 5*y**2 - 1 - y. Let k be h(-6). Solve -k*w - 4 = w for w.
-1
Suppose 76*v = -8*v + 2016. Solve -12*q + v*q - 48 = 0 for q.
4
Let w be (1/3)/(23/(-138)). Let k be 3/(-6)*(3 - (1 + w)). Let c be 4/(k/3*6/(-4)). Solve r = -c*r - 15 for r.
-3
Suppose -3*k = -5*z, -2*k = 4*z + z. Let a be 22*(324/8)/(-9). Let j be 330/a*(6/(-4) + 0). Solve 10 = j*l - k for l.
2
Suppose 0 = 602*r - 598*r - 222 - 118. Solve 0 = r*x - 97*x + 96 for x.
8
Suppose 0 = 2*i + 16 - 40. Suppose 36*n + i = 40*n. Suppose -h - 14 = -2*s, 3*s - n*h = -4 + 25. Solve 1 = 4*b - s for b.
2
Suppose 5*h = -r + 11, h - 7 = -3*r - 2. Let x(v) = -2*v**2 + 2*v - 2*v**2 + v**3 + 3*v**2 - 3 + 1. Let k be x(r). Solve k*y = 3*y + 6 for y.
-2
Let h be 16 + (8 - 17) - 1. Suppose 0 = -3*w - 2*w + 30. Solve -4*i - h = w for i.
-3
Suppose -4*u + 0*u = 24. Let n be 5 + u + 2/(2/5). Suppose -n*t + 3*y + 2 + 41 = 0, 4*t - 44 = 4*y. Solve -3*d + t = -2 for d.
4
Suppose 4569 = 7*h + 4275. Solve -h*p - 419 = -125 for p.
-7
Let d = -365 + 167. Let n = d + 201. Solve -n*t = -6*t + 3 for t.
1
Suppose 0 = 4*a + a. Suppose a*h + 3*f = -h + 20, 0 = -5*h + 4*f + 5. Let l = -35 - -39. Solve -h*b + 1 = -l for b.
1
Suppose -z - 5*l + 127 = -0*z, -3*z = 2*l - 329. Suppose 33 = 7*k - z. Let a = -20 + 24. Solve -i = a*i - k for i.
4
Let u be 0/(-39) + 10/4*44/2. Solve u = 10*w + 125 for w.
-7
Suppose 38*y + 32 = 42*y, -4*g + 1592 = 5*y. Solve 8*x - g = -356 for x.
4
Let n(p) = 2*p**2 + p - 3. Let q be n(1). Let x(h) = -4*h - 7. Let t be x(-3). Suppose 2*i = -t*d + 4*d + 6, -3*i + d = 1. Solve 2*c - i - 3 = q for c.
2
Suppose -c - s + 8 = 0, 4*c + 8*s - 11*s - 11 = 0. Solve -c*q + 12 = q for q.
2
Let s(w) = -73*w + 40. Let v(h) = -40*h. Let b(g) = -s(g) + 2*v(g). Let n(u) = 4*u + 2. Let y be n(-2). Let x be b(y). Solve -j - j = x for j.
-1
Let v(j) = j**3 + j**2 + 26. Let y be v(0). Suppose -55*d = 48*d - 85*d - 54. Suppose -25*z = -y*z + d. Solve -l + z = 2*l for l.
1
Let j(h) = -2*h**3 + 10*h**2 + 5*h - 23. Let g be j(4). Suppose 4*u - 1 - 3 = 0. Suppose 5*p = u + g. Solve -4*t = -t - p for t.
2
Let z(n) = n**2 + 4. Let f = 17 - -3. Suppose 3*k + 3*j = -j - f, -4*k = 2*j + 10. Let w be z(k). Solve w = -5*v + v for v.
-1
Let s be (6 + -3 - -989)/(3 - 2). Let r = -989 + s. Solve v + r = 7 for v.
4
Suppose -v + 81 - 79 = 0. Let b(n) = -2*n**3 - 3*n**2 + 4*n - 1. Let l be b(-3). Let c be l/(-49) + 102/14. Solve -c*z = -v*z for z.
0
Let z be ((-1164)/14)/(-3) - 10/(-35). Solve 278*u - 271*u + z = 0 for u.
-4
Suppose w - 44 = 5*q, 3*w = q + 3*q + 99. Suppose -f - 2*f = -b + 20, -b = -2*f - 16. Suppose -4*i - b = -28. Solve i*p + 9 - w = 0 for p.
4
Suppose -126*s + 65*s = -68*s + 952. Solve -144*d = -s*d + 48 for d.
-6
Suppose -52*r - 4402 = -60*r - 134*r. Solve -32*x + r*x - 4 = 0 for x.
-4
Let w be (16/20)/((-1)/(-5)). Let g be 3136/800 - (-4 - (-392)/100). Solve 6*o - w*o = -g for o.
-2
Let d be 57 + (4/(8/(-10)) - 0). Let s(x) = 13*x - 3. Let a be s(4). Let u = d - a. Solve 4*v + u + 5 = 0 for v.
-2
Suppose -41 = -4*b - 5*p, 7*b + 4*p = 9*b - 40. Solve -b*f + 41*f = 162 for f.
6
Let w(k) = 2 + 3*k**2 + 4 - 3 + 4*k + 12*k**2. Let g be w(-1). Solve 5*y + 1 = -g for y.
-3
Let x = 46 + -42. Suppose 0 = q - 5*q + x*y + 96, -3*y = q - 28. Let z = q - 22. Solve 0 = 8*s - z*s - 25 for s.
5
Let u = -20 + 52. Suppose 0*n + n = 4*l - 90, l - 5*n - u = 0. Suppose 5*f + 2*k = 5, 0 = -f - 3*k - 2*k - l. Solve 2*i + 1 = -f for i.
-2
Let i(d) = -325 + 165 + 168 + 2*d. Let m be i(14). Let z be 1*(m/15 - (-6)/10). Solve s + 8 = -z*s for s.
-2
Let a = -1660 + 1688. Solve a*z - 150 = -2*z for z.
5
Suppose -5*x + 5*d = 3*d + 2, -5*x + 2 = 2*d. Solve -19*q - 82 - 32 = x for q.
-6
Let q(j) = j**3 + 16*j**2 - 14*j + 58. Let v(o) = 20*o + 3. Let z be v(-1). Let a be q(z). Solve -a*c = -5*c for c.
0
Let s be (-2)/10 + 11/55. Let u be 8/((-258)/54 - -5). Suppose 23*w = 27*w - u. Solve -w = -s*p + 3*p for p.
-3
Suppose 5*s = -2*o - 9 + 95, -4*o - 62 = -3*s. Let k = 7 + 6. Solve 0 = q - k + s for q.
-5
Let y be (1 - 1)/((-5)/(9 - 19)*-2). Solve -7*f + 239 - 281 = y for f.
-6
Suppose -4*h = -4*b + 2600, 4*h - 2624 = -b - 3*b. Let f = 685 - b. Solve 0 = 6*u + f - 62 for u.
5
Suppose 14*h - 3 = 15*h, 3*h = 2*n - 89. Solve 9*m + n = -m for m.
-4
Let g(p) = p**2 - 4*p - 26. Let x be g(7). Let w be (-10 - x) + (23 - 0). Solve w*d - 15*d = -3 for d.
-1
Let v = 20 - 47. Let n be (-6)/(-4)*(-18)/v. Let b(m) = m**2 - 3*m + 4. Let j be b(2). Solve 1 = j*l - n for l.
1
Let t(a) = a**2 - 25*a + 71. Let y be t(22). Suppose 11*r - 7*r - 38 = 2*j, -3*j + 31 = y*r. Solve 11*v = r*v for v.
0
Suppose 4*a + 38 = y, -2*y = -4*a + 2*a - 76. Let p = 42 - y. Let z be (12/(-9))/(3/9*-1). Solve z = -0*q + p*q for q.
1
Let w be -4 - (2 + -5) - (0 - -3). Let v be (-1)/2 + ((-14)/4 - w). Let r be 8 - (1 + v - -3). Solve -4 = r*g - 8 for g.
1
Suppose -x = 2*b - 7*b + 22, -b - 2 = 3*x. Suppose -3*h - 13 = -v, -v = -6*v - b*h + 46. Let z be (10 - 14)*(-2)/(16/v). Solve -z*f = -3*f + 2 for f.
-1
Let b(w) = -27*w + 3. Suppose -2*p - 4*f = -2*f - 2, 2*f - 2 = 4*p. Let c be b(p). Solve -c = -3*m + 9 for m.
4
Suppose 14 = -3*h + 5*w, 8 = -h + 5*w - 10. Let q = -16 - -40. Solve 6*p = -h*p - q for p.
-3
Suppose -5*o = -9 - 6. Let i be 3*(-2)/o + 5. Suppose 579*w - 1000 = 1620 - 304. Solve 0 = -w*m + i*m for m.
0
Let q(y) be the third derivative of y**6/60 - y**5/3 + 3*y**4/4 + y**3/2 - 71*y**2. Let m be q(9). Solve 5 + 1 = -m*j for j.
-2
Let q(y) = -y**2 + 47*y + 387. Let x be q(0). Let z = -382 + x. Solve -24 = 13*k - z*k for k.
-3
Let t(m) = -m**3 - 16*m**2 - 29*m - 3. Let j be t(-14). Suppose -5*w - j = 21*f - 17*f, 2*f + 4 = -4*w. Solve -13 = -3*h - w for h.
4
Let o = 125 - 128. Let j be ((-10)/o)/((-10)/(-45)). Solve 3*a = -2*a + j for a.
3
Let t(a) = -a**2 + 106 - a - 92 + a**3 - a. Let z be t(0). Suppose -z*l + 11*l = -9. Solve -13 = -5*c - l for c.
2
Suppose 2*b + 5*d = 2015, 0 = -33*b + 30*b + 5*d + 2935. Solve -2*r + b - 982 = 0 for r.
4
Let t(j) = 23*j - 802. Let c be t(47). Solve c = 10*x + 249 for x.
3
Let l = 820 + -717. Suppose 73 = -3*w + l. Solve 2*i - w = -0 for i.
5
Let l(z) = -z**2 - 16*z - 28. Let h(u) = 3*u**2 + 47*u + 84. Let s(d) = -4*h(d) - 11*l(d). Let v be s(-8). Suppose v*j + 3 = 5*j. Solve -2*r = -j - 1 for r.
2
Let p(z) = -49*z + 2352. Let i be p(48). Sol