*b = -74*t + 79*t + 581. Solve b*h - 143*h = -20 for h.
5
Let t(n) = -n**2 + 4*n - 3. Let h be t(3). Solve h*g - 6 = -2*g for g.
3
Suppose -r + 5*m + 18 = 0, -m - 3*m - 132 = -5*r. Let u = r - 13. Suppose 3*a + 2*a - u = 0. Solve 0 = -2*y + a*y + 1 for y.
-1
Let o(i) be the third derivative of -i**4/24 - i**3 - 8*i**2. Let u be o(-6). Solve -2*m - 3 - 3 = u for m.
-3
Suppose -118 = -3*x + x. Suppose 1 + x = 3*g. Solve -k = -6*k + g for k.
4
Suppose -2*k + 71 - 55 = 0. Solve 12 = 4*f - k for f.
5
Let d be 3*(-16)/12 - -19. Solve y - 6*y = -d for y.
3
Let y(x) = x**3 - 19*x**2 + x - 15. Let s be (-282)/(-15) - (-2)/10. Let c be y(s). Suppose c*f = -f. Solve -3*a + 2 - 8 = f for a.
-2
Let r be ((24/3)/(-2))/(-1). Solve -m = r*m + 20 for m.
-4
Let v be 20*((-36)/(-20) + -1). Suppose -4*c = b + 4, -c - 4*b - v = 4*c. Suppose c*p = -p + 3. Solve -6*y = -p*y + 12 for y.
-4
Let u(d) = -2*d**3 + 5*d - 3*d - 2*d**3 + 2*d**2 - 4*d**2. Let m(i) = -i**3 - 3*i**2 - 2*i - 2. Let l be m(-2). Let j be u(l). Solve -4*t - j = -0*t for t.
-5
Let a = 993 - 983. Let c be 0/(1/((-2)/(-4))). Solve c = 5*s - a*s for s.
0
Let q(f) = -f - 11. Let l be q(-16). Suppose l*h - 2*i - 67 = 29, -3*i = -6. Solve h = 3*d + 5 for d.
5
Let v = -2150 + 2155. Solve 16 = u - v*u for u.
-4
Let o = 58 + -53. Suppose 0 = -5*x - 8*r + 4*r + 67, -50 = -4*x - o*r. Solve 3 - x = 3*u for u.
-4
Let o(i) = i**3 + 5*i**2 - 7*i - 4. Let v be o(-6). Let y(q) = 7 - 8*q + 2*q - v*q + q**2. Let b be y(7). Solve b = -0*g - g for g.
0
Suppose 8*y - 159 = -119. Solve -3*r + y = -1 for r.
2
Suppose 38*l - 1 = 37*l. Solve 7 + l = -2*z for z.
-4
Let j = -30 + 23. Let p be (2/2)/(-1)*j. Let v(l) = -l + 12. Let g be v(p). Solve -2*t + 1 - g = 0 for t.
-2
Let f = 1189 + -2083. Let l be 2/(-7) - f/42. Suppose 3 = -6*x + l. Solve 0 = 5*c - 2 - x for c.
1
Let t(x) = -x**2 - 8*x + 2. Let d be t(-8). Suppose 0 = 3*s - 6, -3*f - 2*s = 1 - 2. Let m be -12*(f - (-9)/6)/(-1). Solve d*l = m*l - 4 for l.
1
Let s = -9 - 1. Let g(q) = 7*q**2 + 20*q + 1. Let v(x) = -10*x**2 - 30*x - 2. Let w(j) = -7*g(j) - 5*v(j). Let n be w(s). Solve -n*i = -i - 10 for i.
5
Let n(k) = -k**3 - 8*k**2 + 17*k - 8. Let y be n(-10). Solve 25 = y*z - 17*z for z.
5
Let c be 3/(-6)*(-6 - (-2 + -4)). Solve c = -2*w + 14 - 12 for w.
1
Let z = -5 - -1. Let u(q) = q**3 + 3*q**2 - 2*q - 3. Let f be u(z). Let j = f - -14. Solve -2*p = j + 7 for p.
-5
Let i = -4 + 3. Let t(j) = -10*j + 2. Let c be t(i). Let z be 2/3 + c/9. Solve -10 + z = 4*v for v.
-2
Suppose -3 = 56*x - 3. Solve 0 = -x*y - 8*y for y.
0
Let k = -1648 - -1693. Solve 12*a - k = -3*a for a.
3
Let k(i) = -3*i**3 - 11*i**2 - 5*i - 14. Let j(z) = -z**3 - 4*z**2 - 2*z - 5. Let h(r) = -8*j(r) + 3*k(r). Let p be h(-2). Solve 2*x + 10 = -p*x for x.
-5
Let m(i) = 15*i + 8. Let b be m(-2). Let q = b - -28. Solve q = 3*z - 6 for z.
4
Let h be 3/(-2) + 4/((-8)/(-7)). Let a = 6 - 3. Solve -h = -5*u + a for u.
1
Let s(z) = z**3 - 4*z**2 - 16*z - 6. Let a be s(7). Solve -d - a = -32 for d.
3
Suppose 4*f - 26*k = -29*k + 24, -4*k - 30 = -5*f. Solve -f*c + 2 - 32 = 0 for c.
-5
Let a(k) = -14*k - 110. Let s be a(-8). Solve 9*x = 10*x - s for x.
2
Let t(h) = -2*h**2 - 38*h + 9. Let l be t(0). Solve -28 = -l*k + 16*k for k.
-4
Suppose d - h = 3*h - 53, h - 167 = 4*d. Let l = d + 42. Solve -3 = 2*k + l for k.
-2
Suppose 44*d = 33*d + 176. Solve -5*b + 42 = d*b for b.
2
Suppose 15 = 11*j - 8*j. Suppose 0 = -h + c - 2, j*h + c + c - 25 = 0. Solve -8*x + 20 = -h*x for x.
4
Let n(x) = -7*x - 93. Let k be n(-14). Solve -5*z = -0*z + k for z.
-1
Let d(q) = q**2 + 7*q + 10. Let f be d(-5). Suppose f = 6*j - 4*j - 12. Suppose -4*v + 20 = 2*m, 0 = -3*m - 0*m - j. Solve -2*a + v*a + 8 = 0 for a.
-2
Let q(s) = s**3 + 4*s**2 - 5*s. Let r be q(-5). Suppose -j = -r*j. Let i(y) = y**2 + 9*y - 10. Let w be i(2). Solve j*b = -3*b + w for b.
4
Suppose -3*t - 14 = 2*l + 5, 5*t + 4*l + 35 = 0. Let v(s) = s**2 + s - 6. Let n be v(t). Solve 2*i - 4*i - 2 = n for i.
-1
Suppose 12*q - 13*q = -23. Suppose -a + 5*s = 11, -a - 5*s + q = a. Solve 0 + 20 = a*h for h.
5
Let x be ((-260)/286)/(4/(-88)). Suppose 0 = 4*a + 6 + 2. Let s be (-44)/(-10) - a/(-5). Solve -s*y + x = y for y.
4
Let w be -1*162/(-12) - 6/4. Solve 2*h = w - 2 for h.
5
Suppose 32*r - 4520 = -8*r. Solve r - 116 = 3*b for b.
-1
Suppose 3*x - 8 = -i - 0, -4*x = -2*i + 6. Let m be 2/7 - 38/(-14). Suppose 0 = -m*t - 2*s - 2*s + 87, 0 = t + i*s - 40. Solve 0 = 6*f - f - t for f.
5
Let t = 2372 + -2363. Solve 0 = 5*o - 2*o + t for o.
-3
Let l(t) = 8*t**2 + t + 1. Let x be l(-1). Let k = -5014 - -5017. Solve -k*g = g - x for g.
2
Let s be (44/55)/((18/15)/3). Let v be ((-81)/54)/((s - 0)/(-4)). Solve 0*j = -v*j for j.
0
Suppose 0 = -5*x + 4*s - 11 + 51, 5*x + s - 15 = 0. Let f be 6/(-12)*-1*x. Suppose -4*m = -5*d - f*m + 37, 0 = -5*d + m + 36. Solve -d = 5*l + 8 for l.
-3
Let n = 2 + 2. Suppose 10 = 5*p - 0*p. Suppose 0 = -5*b - 15, 2*z - 7*z + 40 = -5*b. Solve 0 = z*w - n*w + p for w.
-2
Suppose 24 = -117*k + 129*k. Solve 0 = k*m + 10*m for m.
0
Suppose -12*p = 23 - 71. Let v be 0 + (-4 - 0) - -9. Solve -v*w = 1 + p for w.
-1
Suppose 48*i - 72 = 30*i. Solve -9*w = -8*w + i for w.
-4
Let t be 246/(-15) - -16 - (-244)/10. Solve -t = -4*y - 4 for y.
5
Let u(b) = -b + 17. Let v be -13 - -26 - (-1 - -1). Let j be u(v). Solve j*g - g + 15 = 0 for g.
-5
Suppose 10 = -18*s + 23*s. Solve -s*g = g for g.
0
Let q = -33 + -24. Let b = -23 - q. Let o = b + -32. Solve -o*m = 2*m for m.
0
Suppose -f + 0 = -1. Let g = f - -7. Let v = g - 8. Solve -2*z + 7*z + 25 = v for z.
-5
Let r(p) = -p**3 - 7*p**2 + 15*p - 12. Let z be r(-9). Suppose z = 4*s - 1. Solve -t - s*t = 15 for t.
-3
Suppose 0 = 5*q, 5*i = i + 2*q + 144. Let g be (i/(-9))/((-2)/2). Solve -g*r + 2*r = 0 for r.
0
Suppose v - u = -0*v + 15, 0 = -5*v + 2*u + 90. Let b be (-28)/(-5) + (-12)/v. Suppose 0 = 4*x - 3*x - b. Solve 12 = -x*f - 3 for f.
-3
Let i(g) = -4*g**2 + 59*g - 42. Let v be i(14). Let k be 0/2 + -1 + 0. Let c be (-2)/(1 - k)*-5. Solve c*s + 10 = -v for s.
-2
Let v = -256 + 262. Solve l - v*l - 15 = 0 for l.
-3
Let h be (20/12)/((-3)/(-18)). Suppose 30*q - 141 - 99 = 0. Solve 0 = q*z - 3*z + h for z.
-2
Let f = 451 - 447. Solve -f*o = -7*o + 6 for o.
2
Let i(v) = -22*v - 560. Let n be i(-27). Solve -n = 6*j - 4 for j.
-5
Let u(c) = c**3 - 11*c**2 + 10*c + 11. Let k be u(10). Let r = k + -6. Let o be (-2)/2*20/(-4). Solve -r = 4*g - o*g for g.
5
Suppose -2*g = 3*g - 25, -5*b + 25 = -5*g. Solve b*i + 47 = -3 for i.
-5
Suppose -2*p + 42 = 5*p. Solve l + 2*l = -p for l.
-2
Let c be (0 - (-15)/(-3))*-1. Solve -4*m = -9*m - c for m.
-1
Let x(b) = -b**2 + 14*b - 15. Let y be x(11). Let s = -15 + y. Solve -2*k = -s*k + 1 for k.
1
Suppose -4*f + 2 - 6 = 3*a, 0 = 4*f - 5*a - 28. Solve 0 = -3*o - f*o + 10 for o.
2
Let y be (-21)/14*1*(0 + -2). Solve 0 = -y*c + 7 - 1 for c.
2
Let f be 5/10*8 - -6. Solve -13*g - 6 = -f*g for g.
-2
Suppose -5*l = 3*r - 35, 4*l - 5 = -3*r + 29. Let c be r/(-55) - (6/(-33) + -2). Solve 3*i = -c - 4 for i.
-2
Let v = -45 + 48. Suppose v*f = 3*g + 12, 5*f - 4 - 16 = -4*g. Solve -2*c + f = -4*c for c.
-2
Let c = 200 + -197. Solve n - 4 = -c*n for n.
1
Let z(i) = i**3 - 3*i**2 + 2. Suppose 3*v + 6 = -3*y + 27, 2*v = y + 2. Let a be z(v). Let k be a - (3 + -5 + 1). Solve 2*f - k = f for f.
3
Suppose -2648*u = -2635*u - 78. Suppose 3*c = -3*q + 12, q - 10 = 3*c - 7*c. Solve q*a = u*a + 12 for a.
-3
Let x be (-3)/15 + 3/((-60)/(-1064)). Suppose x*o = 56*o - 18. Solve o*v = v - 5 for v.
-1
Let f = 21 - 35. Let q be 4/f + 30/7. Suppose -167*l + 168*l - 2*u = 10, -15 = -3*l + u. Solve 0 = -4*a - q - l for a.
-2
Let d(c) = c**2 - 5*c + 9. Let b be d(5). Suppose 39 = 5*s + b. Let v be (s/6)/(1/4). Solve 5*t + 6 = -v for t.
-2
Suppose 0*n + 3*s - 24 = -3*n, -3*n + 17 = -4*s. Solve -n = 5*a + 8 for a.
-3
Let b(f) = -4*f**3 + 1. Let q = -107 + 106. Let n be b(q). Solve 0*v + 5*v = -n for v.
-1
Let d be (2352/54)/7 - (-6)/(-27). Solve -d*v - 21 = -13*v for v.
3
Suppose 6*q + 21 = 2*i + 9*q, 0 = 3*i - 4*q - 74. Solve 0 = -2*w - 20 + i for w.
-1
Suppose n = 4*n + 2*y - 49, 5*y + 27 = 4*n. Solve 2*m = -n*m + 30 for m.
2
Let r = 5 - 1. Let y be -7*8/(-112)*10. Solve a - y = -r*a for a.
1
Suppose 8*i = 7*i + 6. So