. Solve 0 = 7*k - g*k - 2 for k.
-1
Suppose 8*m = 159 + 89. Let p = m + -19. Solve -i - p = -4*i for i.
4
Let s(g) = 2*g + 3. Let i be s(3). Let l(k) = k. Let r be l(5). Suppose i + 21 = r*p. Solve -p*d = -2*d - 12 for d.
3
Let g = -480 + 508. Solve 0 = -14*w - g - 0 for w.
-2
Let c = 106 - 99. Solve -c*k + 31 = -4 for k.
5
Let p = 29 - 27. Suppose 2 = -3*r - s, r - 2*r = -p*s - 11. Solve 4*z + r - 13 = 0 for z.
3
Suppose 2*t - 8 = 0, -4*y + 4*t = -24 + 16. Solve 7*x = y*x - 3 for x.
-3
Suppose -2*x + 6 = -0*x. Let t = 7 - 23. Let u = -15 - t. Solve -x = 2*f - u for f.
-1
Let w = 70 + -67. Suppose 20 = -5*u, 0 = -5*z - w*u - u + 4. Solve j + 9 = z*j for j.
3
Suppose 0 = -r + 2*r. Suppose 4*u - 4*n - 4 = 0, 5*u + r*n + 2*n = 5. Let i be (2 - 1) + (1 - u). Solve 0*c - c = -i for c.
1
Suppose -2*j = -6*j. Suppose -110 = 5*z + 30. Let g = z - -32. Solve -u = -j*u + g for u.
-4
Let t(d) = -d**3 + d + 8. Let o be t(0). Let l = 67 - 84. Let q be l/(-4) + (-1)/4. Solve 4*y + o = -q for y.
-3
Suppose 3*s - 9*s = -30. Suppose -3*k = -s*k + 10. Solve -5*z = -0*z + k for z.
-1
Let i(j) = j**2 + 21*j - 646. Let r be i(-38). Solve r = -6*d + 31 - 13 for d.
3
Suppose x - 9*x + 120 = 0. Solve -x = -4*d - 35 for d.
-5
Suppose -7*w - 30 = -12*w. Suppose -h = 4*l - 4*h + 6, -2*l - 10 = -5*h. Solve l = -w*z + 2*z for z.
0
Let x = -766 - -768. Solve -5 = -x*z - 15 for z.
-5
Suppose 0 = 46*m + 27*m - 438. Solve 25 = -m*i + 55 for i.
5
Suppose -3*v = -2*k + 12, 5*k - 3*v + 0 = 21. Let r(u) = k*u - 5*u + 2*u - 2*u. Let h be r(-2). Solve -6 = h*p - 2 for p.
-1
Let q(h) = -h - 2. Let s(k) = k - 6. Let g be s(4). Let c be q(g). Solve c = 4*t + 10 + 2 for t.
-3
Let m be (0 + 1)/(6/(-18)). Let k be (m/9)/(4/(-36)). Suppose 3*f - 2*u = 32, 32 = 2*f + 2*u - 6*u. Solve k*l - 2 + f = 0 for l.
-2
Let m = 1051 - 1045. Solve 0 = m*k - 1 - 11 for k.
2
Let w = -23 + 25. Suppose o + 3*q = -6, -4*o + w*q + 37 + 9 = 0. Solve -2*x + 1 - o = 0 for x.
-4
Suppose 0 = -n - 0*n. Let q be 9/(-9) - (-6 - 1). Let h be 1/((-5)/60*-4). Solve n*l - h*l + q = 0 for l.
2
Let f(y) = -y**2 + 12*y - 12. Let j(b) = b + 23. Let l be j(-15). Let k be f(l). Solve 7*p = 3*p + k for p.
5
Suppose 3*u = 2 + 7. Let c(j) = j**3 + 17*j**2 + 6*j + 108. Let f be c(-17). Solve n = u*n + f for n.
-3
Suppose 0 = 13*a + 6*a. Solve a*d - 4*d - 4 = 0 for d.
-1
Suppose 314*t + 288 = 323*t. Solve 0 = t*a - 29*a - 15 for a.
5
Let o(m) = -m + 23. Let n be o(18). Suppose -3*y = -4*y - 2*g + 10, -20 = -n*g. Let a be -3*(-5)/(-30)*-8. Solve -y*t - a = -t for t.
-4
Let z be 12/(-18)*102/(-4). Suppose p - 3*y = 2*y - 22, 0 = -4*p - y + z. Solve -8*c + p*c = 0 for c.
0
Suppose -z - 4 = n, 5*z + 11 = -n - 5. Let i = n + 3. Solve i*a = 6*a + 20 for a.
-5
Let i be 808/(-505) - 28/(-5). Solve -10*a + i*a = -12 for a.
2
Let h(k) = -14*k + 53. Let q(j) = -7*j + 27. Let m(g) = 6*h(g) - 13*q(g). Let y be m(5). Solve -2*v - y*v = 0 for v.
0
Let v = -1295 - -1304. Solve -19*r + v = -22*r for r.
-3
Suppose -20*h = 10*h - 720. Solve h*p - 19*p = -10 for p.
-2
Let g(q) = 2*q. Let f be g(2). Suppose -r + 3 - f = 0. Let p be 3*((-8)/(-3) + r). Solve 0 = -5*b + p + 15 for b.
4
Let d be 1066/287 + 15/(-21). Solve d*u = -64 + 58 for u.
-2
Suppose -356*k + 342*k = -252. Solve s + k = 13 for s.
-5
Let u be 1 - (2 + 3) - -31. Solve -10*r = -r - u for r.
3
Suppose 4177 = 25*r + 427. Solve -33*x - r = -3*x for x.
-5
Suppose -3*l + 19 + 71 = 0. Let t = l - 25. Solve -3*b - t = -2*b for b.
-5
Suppose 0 = -5*m - 6 + 1. Let l be m + 2/(2/1). Let r be 7/(-7) - (-5 - -2). Solve l = u + r*u for u.
0
Let d = 688 - 692. Let j(s) = 4*s**2. Let b be j(1). Let u be (b/(-7))/(d/14). Solve 7*g = u*g for g.
0
Let o be -1 - -2 - (0 - 3)/(-3). Suppose f - 82 + 76 = o. Suppose -5*c - 4 = -g, -4*c + 3*g - 8 = g. Solve -x - f + 1 = c for x.
-5
Let p = -50 - -79. Let v = 33 - p. Solve -v*x - 25 = x for x.
-5
Suppose 3*j - 2*a - 32 = 2*a, 2*a + 14 = j. Let t(d) = -32*d**2 + 30*d**2 - j*d - 7*d - 2. Let h be t(-5). Solve -h*k - 9 = 6 for k.
-5
Let w(r) = -r**2 - 4*r - 3. Let q be w(-3). Suppose 0 = n + 2*n - 2*d - 2, -2*n = -5*d - 5. Let z be q/(-8) + n + 4. Solve z*k + 7 - 19 = 0 for k.
3
Let r(y) = -y**2 + 12*y + 31. Let v = -51 + 65. Let h be r(v). Solve -h*s - 4 - 8 = 0 for s.
-4
Let r = -348 - -359. Solve r*l = 14*l - 15 for l.
5
Let u(o) = o**2 - 3*o - 1. Suppose -4*t - t + 20 = 0. Let v be u(t). Let q be (-18)/(-8) - (-39)/52. Solve 0 = -q*d + v - 0 for d.
1
Let k be 10/(-45) + (-76)/(-18). Suppose -2 - 1 = -q - z, 5*q = k*z + 6. Solve 0 = 3*y + q*y for y.
0
Suppose -3*y = 3*j + 2*y - 56, -2*y + 62 = 3*j. Solve 0 = -6*f + 8 + j for f.
5
Suppose -78*f + 82*f = -20. Let j be (-78)/(-9) - f/15. Solve 4 = -p + j for p.
5
Let y = 10 - 8. Suppose d = g - 5 + 10, -5*g = -4*d + 21. Let n be -1 - (-2 - (-1)/1). Solve y*v + 0*v + d = n for v.
-2
Suppose 3*q + 5*y - 2*y = -39, 2*q = 2*y - 14. Let d be q + 6 - (0 + -2). Let m be (-30)/(-9) - d/(-6). Solve m*l = -2*l + 15 for l.
3
Let f = -25 + 15. Let i = f - -22. Suppose -i = -5*m + 13. Solve 3*w = -m + 20 for w.
5
Let s(u) = -u**2 + 14*u + 19. Suppose -3*i + 59 - 17 = 0. Let o be s(i). Suppose g - 4 = -c, g = 4*c + 3 - o. Solve 0 = -r + c for r.
4
Suppose 0 = -8*d + 8 + 24. Solve 5*w = d*w for w.
0
Suppose 3*r + 2*y = -59 + 12, 2*y - 18 = 2*r. Let g be ((-3)/(-2))/((-15)/100). Let p = g - r. Solve -2*x + 5 = -p for x.
4
Let v be (72/(-7))/(9/((-252)/8)). Solve 6 = -6*m + v for m.
5
Let m = 39 + -35. Suppose 2*c + 3*a = 3, -a + 5 = 3*c + m*a. Let x = 10 - 7. Solve c*w = -x*w + 6 for w.
2
Suppose 5*v - 138*q + 142*q - 49 = 0, -2*v + 14 = -4*q. Solve 5 = 10*b - v*b for b.
5
Suppose 5*b + 2*h - 18 = 0, 4*b = -3*h + 2 + 18. Solve 0 = -b*o - 0 + 2 for o.
1
Let n be (-2)/((6/(-10))/3). Suppose 15*t = 10*t + n. Solve 3*y - 1 = t for y.
1
Let a be (-10)/(-6)*(-48)/(-40). Solve a*s - 6 = 4 for s.
5
Let z be (-2)/(-18)*((-140)/14 - -19). Solve -9*h + 46 = z for h.
5
Let l be 0*((-26)/4 + 6). Solve l = 7*j + 6 - 20 for j.
2
Let p(c) = 8*c**2 + 3*c. Let n be p(-2). Let l = -26 + n. Solve l = s + 1 - 5 for s.
4
Let s = 1907 + -1874. Solve 29*q = s*q + 16 for q.
-4
Suppose 0 = -8*d - 60 + 108. Solve 2*h + 20 = d*h for h.
5
Let u be -6*((-9)/36 - (-37)/(-12)). Solve 0 = -4*s + 9*s + u for s.
-4
Suppose 5*h - 2*h - 3*m = 24, -8 = -4*h - 2*m. Suppose 2*y - 24 = 4*p, -y - p - p + h = 0. Let q = 1 - 1. Solve q = 4*t + y - 4 for t.
-1
Suppose -5*z + 2*z = -f - 36, 5*f - 5*z + 170 = 0. Let y = 41 + f. Suppose -3*h + 9 = -0. Solve b - h*b + y = 0 for b.
4
Let c be (-51)/18 + 3 - 29/(-6). Let o be -5 + c + 6/3. Solve -a + o = a for a.
1
Let f(a) = -a**3 + 8*a**2 + 19*a + 12. Let n be f(10). Solve -n*x - 35 = -33 for x.
-1
Let k be ((-2)/5 - 0)*(7 + -12). Suppose 5*w - 8 = k*t + 3*w, -3*w + 13 = -2*t. Solve -b + 2*b + t = 0 for b.
-1
Suppose -4*c + 16 = 4*v, 4*v = -c + v + 8. Let t be c/(-6) + (-228)/18. Let a = t - -18. Solve a = -5*h - 0*h for h.
-1
Let i(b) be the first derivative of b**3/3 + b**2/2 + 6*b - 47. Let a be i(-3). Solve -4*l = -l - a for l.
4
Let x = 4 - 0. Suppose 5 = p, -x*g - 3*p + 8 + 7 = 0. Solve -l - l = g for l.
0
Suppose -5*m + 9*t - 6*t = -1, 3*t = -m + 11. Solve -4 = m*f - 2 for f.
-1
Let i = 6 - -1. Suppose 2*p = -4*b, 4*p = -4*b + 3*b + i. Let z be 7 - (1 + p)*1. Solve z*a + 3 = -13 for a.
-4
Let z(h) be the third derivative of h**6/120 - h**5/30 + h**3/6 - h**2. Let p be z(1). Let g(d) = 364*d + 16759. Let u be g(-46). Solve -u = -p*s - 3*s for s.
5
Suppose -6*a + 2*a + 12 = 0. Suppose 3*u = -2*z + 3 - 13, 3*z = -15. Solve 3*h = a - u for h.
1
Suppose -29 = w - 34. Let v = -57 - -59. Solve w = r - v*r for r.
-5
Suppose 3*m - 27 - 12 = 0. Let g be 3*4/(12/m). Solve 3 - g = -5*a for a.
2
Suppose x - 3*x + 8 = g, -3*g = 0. Suppose 0 = -2*z + 5 + 19. Solve -x + z = 4*q for q.
2
Let y(h) = 6*h - 50. Let w be y(10). Solve 5*q = -w - 15 for q.
-5
Suppose -3 = -f - 5*g + 2, -49 = -2*f + 3*g. Let d(m) = 3*m + 1. Let i be d(1). Solve 0 = -i*y - 0*y - f for y.
-5
Suppose -p = 3*z, 5*z = 8*p - 11*p + 20. Let v(a) be the second derivative of -a**3/3 - 4*a**2 + 2*a. Let q be v(-6). Solve p = q*x - 1 for x.
4
Suppose a + 505 - 508 = 0. Solve -w = -a*w - 8 for w.
-4
Let y(p) = -17*p + 12. Let d be y(2). Let n = d + 27. Solve n*u - u 