6 - 94 for k.
4
Suppose 3*l - 5*f = -l + 6, -2*l + 2*f = -4. Solve 2*w = -l - 4 for w.
-4
Suppose -66*a = -51*a - 165. Solve a*x + 21 - 10 = 0 for x.
-1
Let p(y) = y**2 - 12*y + 21. Let j be p(11). Let c = j + -8. Solve h + 0 = c for h.
2
Suppose -l + 4*l - 6 = 0. Suppose d + 0*d = p + 4, -l*p = 3*d - 2. Solve d*z + 2 = -2 for z.
-2
Let b be (-1)/((-2)/(-54))*(-215)/129. Solve 2*q + b = -7*q for q.
-5
Let j = -5 - -3. Let b = 2 - j. Suppose -b = -3*a + 11. Solve a*w - 20 = -5 for w.
3
Suppose -4*f = 3 - 27. Solve 2*j - f = -j for j.
2
Let k be 2*3/(-18)*-3. Let f(w) = k - 2 + 2*w + 0 - 3*w. Let o be f(-4). Solve 0 = o*y - 8*y - 15 for y.
-3
Suppose 19*i - 210 = -23*i. Suppose -s + 2*w + 2 = -2*s, s + 5*w + 11 = 0. Solve i*y - y + s = 0 for y.
-1
Let w(i) be the second derivative of i**5/20 - 19*i**4/12 + 6*i. Let r be w(19). Suppose -8 = -a + 4*j - r*j, a - 2*j - 4 = 0. Solve y + a*y - 1 = 0 for y.
1
Let d = 100 + 8. Let k be 72/d*(-1 + -2)*-1. Solve 2*y = -k*y for y.
0
Suppose -1683 = -76*z - 77*z. Solve 3*n = -z + 5 for n.
-2
Let f(d) = d**3 + 11*d**2 + 6*d - 33. Let n be f(-10). Let s = -22 - -39. Suppose 0 = -y - 4*v + 11, 4*v - s = -3*y - 0*v. Solve y*u + 5 + n = 0 for u.
-4
Suppose b + 18 = f, 0 = -0*f - 4*f - 5*b + 99. Solve 0 = -f*m + 17*m - 4 for m.
-1
Suppose 4*v = 19 - 11. Solve -5*g = -v*g - 6 for g.
2
Let n(k) = 2*k - 18. Suppose 3*o + 22 = 5*o. Let h be n(o). Solve h = -5*c - 11 for c.
-3
Let u(v) = 13*v - 629. Let f be u(49). Solve f*h + 15 = 5*h for h.
-5
Let b(q) = q**3 - 49*q**2 - 47*q - 142. Let l be b(50). Solve -28 = 9*s + l for s.
-4
Let u = -64 + 91. Let q = u - 45. Let d be 3/2 + q/(-4). Solve d = h - 3*h for h.
-3
Suppose -5*n = r - 119, 2*n - 59 = r - 10. Solve n*f = 22*f - 6 for f.
-3
Let h = -373 + 457. Solve -5*d = -64 + h for d.
-4
Let i = 62 + -42. Suppose -3*v - 5 = -i. Solve v*o = 3*o for o.
0
Let g(a) = 9*a - 36. Let n be g(5). Solve -12 = -7*r + n for r.
3
Let t = -20 + 36. Suppose 6*j - t = 2*j. Let f be 6/16 - (-4725)/840. Solve -2*w = j + f for w.
-5
Let c = -38 + -4. Let n = c - -45. Solve 0 = 4*a - 13 - n for a.
4
Let q be ((-8)/12)/(3 - 130/42). Solve -17 - 11 = q*l for l.
-4
Let z(v) = v - 11. Suppose 0 = -4*w - w. Suppose -3*y = -5*f + 69, 3*f + w*f - 45 = 3*y. Let p be z(f). Solve -n + p = 4 for n.
-3
Suppose 2*d = 4*s - 18, 0*s + 4*d = 5*s - 27. Solve -s + 0 = -m for m.
3
Suppose -28*p = -23*p - 165. Let o = 42 - p. Solve 0 = 5*s - o - 6 for s.
3
Let m(g) = g**2 + g + 6. Let r be m(-3). Suppose r = -5*x + 7*x. Suppose -15*a + 12*a + x = 0. Solve -a*h = -h for h.
0
Let g be 24/4*6/9. Let w be (-3)/(-4) - 39/52. Solve r = -g - w for r.
-4
Suppose 0 = -3*r - 2*s + 15, 2*r + 3*s = -s + 18. Let a be (5/r)/(5/15) + -2. Solve -9 = -a*o + 6*o for o.
-3
Suppose 2*v + 3 - 5 = 0, -i + 2 = -3*v. Let z = -6 - -8. Suppose -f = z*f. Solve -5 = -f*w + i*w for w.
-1
Let v(g) = -11*g + 11. Let n be v(1). Solve -5*k + 1 + 24 = n for k.
5
Suppose 11*k - 1 = 186. Solve k = 6*b - 1 for b.
3
Suppose 0*q + 4*q - 8 = 0. Suppose 0 = -3*l + 5*v + 75, -q*v + 62 = 4*l - 12. Solve 0*w = 4*w + l for w.
-5
Let y be (6/(-4))/(((-7)/14)/1). Solve 1 = y*p + 4 for p.
-1
Let z(x) = -4*x - 27. Let k(b) = -21*b - 135. Let d(l) = 2*k(l) - 11*z(l). Let a be d(-11). Solve a = u + 2 for u.
3
Let h be (-18)/(-12) - (-5)/2. Let c be h/18 - 16/72. Solve -v + c = 2 for v.
-2
Let l be (2 + 1 - -2)*(-4)/(-4). Suppose 3*m + 25 = 5*k, -2*m = l*k + m - 25. Solve k*g - 21 = -1 for g.
4
Let r(l) = 2*l**2 + 88*l + 20. Let d be r(-44). Solve 15*g = 11*g + d for g.
5
Let r be (3 + 0)/(-3 - (-15)/4). Suppose 2*v + 0*l - l = 5, -r*v - 5*l = -31. Solve c - 5*c = v for c.
-1
Let x = 38 - 50. Let d = x - -14. Solve 2 = -p - d for p.
-4
Let i(l) = 3*l**2 - 18*l + 5. Let r be i(6). Suppose -j - 7 = 3*w - 6*j, w - 5*j = 1. Let d be w/(-20) - 78/(-10). Solve -d = f - r*f for f.
2
Let l(q) be the second derivative of -q**7/168 + q**4/24 - 7*q**3/6 - 3*q. Let u(v) be the second derivative of l(v). Let f be u(-1). Solve f*g = 2*g for g.
0
Let j = 12 + 0. Solve 0 = 17*r - j*r - 25 for r.
5
Suppose -37*j = -18*j - 437. Solve 3*m = -j + 17 for m.
-2
Let k = -11 + 7. Suppose 0 = 6*c - 0*c + 6. Let z = c - k. Solve z*i + 6 = -3 for i.
-3
Suppose 0 = -4*b + 7*i - 2*i + 34, 5*b = i + 32. Let u be (-260)/(-35) + -4 - b/14. Solve 3 = -u*a - 0 for a.
-1
Let x(r) = 6*r**2 + 14*r + 13. Let t be x(-4). Solve 54*s = t*s + 4 for s.
4
Let g(w) = -7*w**3 + 5*w**3 - 4*w - 4 + 3*w**3 + 2*w + 3*w**2. Let s be g(-3). Let b(n) = n**2 + 15*n + 4. Let h be b(-15). Solve -s*a = -a + h for a.
-4
Suppose 0 = -t - 5*m - 47, 0*m - 17 = t - m. Let j = 22 + t. Solve j = -3*c + 2*c + 5 for c.
5
Let l(g) = 2*g**3 - 98*g**2 + 96*g + 10. Let x be l(48). Solve 0 = -5*u - x + 15 for u.
1
Suppose 4*w = j + 80, 4*w - 3*w - 23 = j. Suppose w*s = 18 + 96. Solve 5*m - s = 4 for m.
2
Suppose -4*x + 48 = -4*r - 12, 0 = -x - 2*r + 6. Solve -15*u = -x*u - 9 for u.
3
Let h(r) = 2*r + 2. Let p(m) = -m - 9. Let g be p(-9). Let n be h(g). Solve -n*y + 5*y = -3 for y.
-1
Suppose 0 = -2*k + 25 - 5. Suppose 3*t - 3*i = -2*t - 28, 2*i = -t - 16. Let j = k + t. Solve 0 = n - j*n - 4 for n.
-4
Suppose 4*j - 23 = -3*f, -j + 5*j + 2 = 2*f. Suppose 0 = t - j - 1. Solve -2*m - t = m for m.
-1
Let f be 0/(((-2)/(-1))/(-2)). Let p(v) = -v**2 - v - 18. Let o be p(f). Let c = 19 + o. Solve 0 = -s - 2 + c for s.
-1
Let n = -465 + 486. Solve 0 = -8*v - 5 + n for v.
2
Suppose 0 = 105*d - 362 + 47. Solve -d*w - 82 = -85 for w.
1
Let f = 26 + -15. Suppose -15 = 2*t + f. Let l(q) = -q - 6. Let p be l(t). Solve 8 = 5*d - p for d.
3
Suppose -6*o = -o - 30. Solve 3 + 9 = o*g for g.
2
Let f(j) = 2*j - 6. Let o be (22/6 + -3)*27. Let p = o + -12. Let h be f(p). Solve h*a = 3*a for a.
0
Let w be (0 + 1)*(-61 - 0). Let n = w + 42. Let m = -14 - n. Solve l + 16 = m*l for l.
4
Let u = -110 - -116. Solve u = 4*l + 26 for l.
-5
Suppose f + 25 = 18. Let o = f - -12. Solve -20 + 0 = -o*m for m.
4
Let k(v) = v**3 + 4*v**2 - 7*v - 5. Let a be k(-5). Suppose 3*d = -a*r + 55, -4*d + d = -2*r - 83. Solve -2*x = -7*x + d for x.
5
Suppose 3*t = -2*i + 2*t - 3, -2*i - 5*t - 23 = 0. Solve -2*v - i = -v for v.
-1
Let t(k) = 4*k**2 + 4*k + 2. Let v be (8 - 11) + (-6)/(-2). Suppose v = -5*r - 10 - 0. Let a be t(r). Solve 0 = -3*z + z - a for z.
-5
Suppose -530*y = -538*y + 40. Solve 0*v = -5*v - y for v.
-1
Suppose -2*o + 4*f + 14 = f, 14 = 2*o - 5*f. Solve -4*k + o + 1 = 0 for k.
2
Suppose -32*k = -39*k. Solve f + f + 4 = k for f.
-2
Suppose 32*q = 20*q + 60. Solve q*b - 8*b = -15 for b.
5
Suppose -807*k + 802*k + 10 = 0. Solve -k = -9*b + 11*b for b.
-1
Let h(r) = -r**3 - 8*r**2 + 23*r + 31. Let y be h(-10). Solve 35*p + y = 34*p for p.
-1
Suppose 33 = 3*c - 0*c. Let i(u) = u**3 - 11*u**2 - u - 10. Let h be i(c). Let d = 25 + h. Solve -d*s - 4 = -12 for s.
2
Let h(k) = -2*k**2 - 2*k + 3. Let j be h(3). Let r = j - -28. Suppose v - 31 = -5*i, r + 53 = 3*v + 4*i. Solve n = -3*n + v for n.
4
Let g = -3 - -3. Suppose g*m + 5*m = 10. Let t be (300/80)/((-3)/(-8)). Solve -4*i - m = -t for i.
2
Let n(x) = -8*x**3 + x**2 + 44*x + 43. Let c be n(-1). Solve c*l = 6*l + 4 for l.
2
Let h be 545/20 - 2/8. Let x(o) = o + 8. Suppose 4*k - 3*t = 2*t - 27, 0 = -3*k - 3*t. Let j be x(k). Solve -j*w + 12 - h = 0 for w.
-3
Let a be (-1 + 1)/((-6)/(4 - 1)). Solve a = -5*k + 7 + 18 for k.
5
Suppose 7*u - 90 = 2*u. Let q = u - 12. Suppose -3*h - 9 = -4*j - 2*h, -4*j + 2*h + q = 0. Solve i - j*i + 10 = 0 for i.
5
Let f = -1101 + 1101. Solve f = 13*m - 4*m for m.
0
Suppose -3*t = 0, 35 = 5*u - 0*u - t. Solve 8 + u = 3*k for k.
5
Let w(c) be the third derivative of -c**4/24 - c**3 + 6*c**2. Let p be w(6). Let f = p + 16. Solve 7*z = f*z + 3 for z.
1
Let j(c) = c**3 + 8*c**2 + 15*c + 66. Let i be j(-7). Solve i*s = 6*s + 12 for s.
3
Suppose j = -5 + 6. Suppose j = 8*x + 33. Let c be 5/25*5 - x. Solve -c*b + 0 = -25 for b.
5
Suppose -5*r - 2*j = -178, 3*r - 106 = -3*j + 2*j. Let c = -26 + r. Solve c*u - 3*u + 10 = 0 for u.
-2
Suppose -4*s - 5*d = -1 - 4, -2*d + 2 = 0. Solve s = -m - 0*m for m.
0
Let k(a) = a**3 + 3*a**2 + a + 6. Let d be k(-3). Let v = 0 - 0. Suppose v = 5*u + 4 - 24. Solve -d = -u*q + 17 for q.
5
Suppose 5*d + 4*o = 12, 0*d - 2*d + 5*o = -18. Suppose -4*w + 14 = 