 k = -59 + n. Solve 0 = -4*s + 2 - k for s.
-1
Let s(l) = 45*l + 158. Let p be s(-3). Solve 4*y + 7 - p = 0 for y.
4
Suppose -2*g - 3*x = 0, 30*x - 25*x = 2*g - 32. Solve -g*i - 8*i = -5*i for i.
0
Suppose 5*t + 15 = 4*l, -t - 3*l + 25 = 9. Let f be (-8)/(-6)*3/1. Solve f*y + 17 = t for y.
-4
Let n(q) = q**2 + 13*q + 2. Let i be (-54)/4 - 3/(-12)*2. Let a be n(i). Solve a*g + 6 = -g for g.
-2
Let h(o) = o**3 - 12*o**2 + 12*o - 11. Let m be h(11). Suppose 30*u - 31*u + 4 = m. Solve -u*f = -7*f + 3 for f.
1
Let h(n) be the third derivative of n**6/120 + n**5/6 + 7*n**4/24 - n**3/6 + 35*n**2. Let l be h(-9). Solve 4*c + 5 - l = 0 for c.
3
Suppose 46 = -s + 51. Suppose -5*l - 2 = -u - 3, 0 = 2*l - 2*u - 2. Suppose 3*x - 8 - 4 = l. Solve -j = -s*j + x for j.
1
Suppose 3 = 5*v - 4*d - 18, 3*d = -2*v + 13. Solve 2*a + v*a = -28 for a.
-4
Suppose v - 6*h - 2 = -h, 2*h = v - 2. Suppose v*g - 2*c = 8, 1 = 4*g - 3*g - 4*c. Let q(u) = 16*u**2 + u - 1. Let m be q(1). Solve m = -n + g*n for n.
4
Let g = 1 - 1. Let l = 82 - 272. Let n = 192 + l. Solve -j - j + n = g for j.
1
Let q(f) be the third derivative of -f**6/120 - 7*f**5/60 + 7*f**4/24 - 22*f**2 - 1. Let w be (-24)/9*(-6)/(-2). Let h be q(w). Solve -h - 12 = 5*t for t.
-4
Let y(p) = 2*p - 8. Suppose 4*m - 34 = -5*c, 5*c + 3*m - 7*m - 26 = 0. Let o be y(c). Suppose -10 = -5*n + o*k + 4, -4*k - 4 = 0. Solve i = n*i + 2 for i.
-2
Let o be -1*2 + (-7)/(-7) - -4. Let u be o - (1 + -9) - 4. Solve -p + 2 = u for p.
-5
Let r(u) = u + 11. Let c be r(-5). Suppose -5*o + 69 = -c. Solve -2*t - o = t for t.
-5
Let l(t) = t**3 - 2*t**2 + t + 2. Let j be l(-3). Let q = j + 50. Solve 1 = v - q for v.
5
Let g = -368 - -372. Solve -c = g*c for c.
0
Suppose z = -r - 3, -4*r + 4*z + 0*z + 28 = 0. Let o = 8 - 4. Suppose 0 = -v - 3*v + 5*h, v = -o*h + 21. Solve -1 = r*n + v for n.
-3
Let c = 715 - 715. Solve c = -2*l - 6*l for l.
0
Suppose u - 4*a = -4*u + 265, 0 = 2*u + a - 106. Suppose -u*l = -56*l + 12. Solve 8 = -l*o - 12 for o.
-5
Let h = 6 - 2. Suppose 36 - 139 = -h*k - 3*g, 4*k = 5*g + 63. Solve 10 - k = -3*c for c.
4
Let r(l) = 2*l - 24. Let n be r(12). Suppose -y - k + 3 = n, 2*y - 2*k - 11 = k. Suppose -2*f = 2*j + 6, 4*f + 2*j + 9 = -j. Solve f*g = -2*g - y for g.
-2
Suppose 112*p - 116*p = -52. Solve -p*o + 49 = -16 for o.
5
Suppose -6*t + t + 6 = -3*z, z = t. Solve f = -t*f + 4 for f.
1
Let v(y) = y**3 + 15*y**2 - 32*y + 34. Let i be v(-17). Solve i = 4*k - 4 + 20 for k.
-4
Let t = 21 + -33. Let v = 17 + t. Suppose 4 + 6 = v*p. Solve 3 = -q + p*q for q.
3
Let j(a) = -a - 12. Let h be j(-5). Let d = h - -10. Suppose -5*r = -d*w - 63, -4*r + 3*w + 15 = -33. Solve 0*q - 5*q - r = 0 for q.
-3
Let g(i) = 2*i**2 - 2*i - 1. Let o be g(2). Suppose -4*c - 4*w + 8 = 0, -4*c + 2*w - 4*w = -4. Let f = c + o. Solve 0 = f*s + s - 4 for s.
1
Suppose 4*d = -5*i + 1, 3*d = -0*i + i + 15. Suppose 2*t + 32 = -0*t. Let z = t + 48. Solve 12 - z = d*r for r.
-5
Let j(g) = -g**2 - 12*g - 2. Let q be j(-10). Suppose s + 2*s = q. Solve m = -m + s for m.
3
Let o(k) = -6*k - 16. Let r be o(-7). Let c = -2 + 6. Let h be (c + -1)/(12/20). Solve 11 = h*z + r for z.
-3
Suppose 2*f + 0*f = 4. Let c = 2 + f. Let v be (-14)/((-210)/(-45)) + 7. Solve v = -c*h - 0*h for h.
-1
Let q(r) = -r**3 + 9*r**2 - 8*r. Let z be q(8). Suppose 3*n + 2*h - 10 = 0, -2*n - 3*h + 10 = -z*n. Let f be -11*n*2/(-4). Solve 5*j - 1 = -f for j.
-2
Let j be 2/9 + (-43)/(-9). Suppose 0 = 39*d + 190 - 190. Solve d - j = -s for s.
5
Let w be 0*1/(2 + -1). Suppose j + 3*l + w + 4 = 0, 5*l - 4 = j. Let z = j - -10. Solve -s - 2 = -z for s.
4
Let d be ((-19)/24 + 9/72)*-6. Solve 6*t - d = -34 for t.
-5
Let w = -12 - -14. Suppose 3*i = -i - 4*z, -1 = -2*i - z. Solve 9 = w*y - i for y.
5
Suppose -2*u - 30*a = -35*a + 15, 4*a = -2*u + 12. Solve 0 = 6*z - u*z + 6 for z.
-1
Let k be -6*(-2 + 1 - 0). Let x(h) = -15*h + 81. Let i(p) = -3*p + 16. Let c(y) = -11*i(y) + 2*x(y). Let u be c(k). Solve 5 = -u*b - b for b.
-1
Let x = 466 + -434. Solve -28*f = -x*f for f.
0
Let i be (-3)/1 + (-6)/(-2). Suppose 16 = 3*w + l, -3*w + i = 3*l - 12. Let m be w - -1*9/(-3). Solve 1 = -2*y + m for y.
1
Let v(k) = -k**2 - 8*k - 7. Let p = 5 + 4. Suppose -g - p = -2. Let n be v(g). Solve -c - c - 6 = n for c.
-3
Suppose -2*a = -7 - 17. Solve 9*t + a = 6*t for t.
-4
Suppose -23 - 1 = -r. Suppose r = 4*u - 2*d, -d + 2*d = 4*u - 20. Solve f + 0*f = -u for f.
-4
Suppose -b - 3*l = -2*b + 36, -6 = -b - 3*l. Solve 13*z = 20*z + b for z.
-3
Let i be 8*(21/6 + -3). Solve -m = -0*m - i for m.
4
Suppose -36 = 33*p - 42*p. Solve 0*m - 2*m + p = 0 for m.
2
Suppose -3*g + o = -23, -4*g - g = 2*o - 20. Let m be g/15 - (-4)/(-10). Solve m = 3*p - 2*p for p.
0
Suppose -l - 12 + 18 = 0. Suppose 8 = 2*a - 4*z, l*a - 29 = 4*a - 3*z. Solve 0 = 2*j + 3*j + a for j.
-2
Suppose 26*n + 30 = 29*n. Solve 0 = c - 6*c - n for c.
-2
Let p = 19 - -23. Suppose -3*u = 3*k + 3 - p, 0 = -4*k - 8. Solve 4*m - u = m for m.
5
Let n be (-2 - -5)/(1/((-16)/(-12))). Suppose 2*a + 4*k + 12 = 0, 2*a + n*k = 3*k. Solve i = a*i for i.
0
Let w be (2 + 2)*-43*(-95)/76. Solve -3*g - 209 = -w for g.
2
Let z(i) = -i - 3*i + 5*i. Let j be z(0). Let n(l) = 4*l**2 - 19*l + 19. Let t be n(1). Solve j*c + 4 = -t*c for c.
-1
Let g be 2/4*(-2 + -28). Let u be (-1)/2 + g/(-2). Suppose -7 - u = -2*h. Solve -2*l + 1 = h for l.
-3
Suppose c + 12 = 4. Let y be 128/16*10/c. Let o be 19/3 + y/(-15). Solve 3*l = -o - 2 for l.
-3
Let b be 0 + (-3 + 6 - 0). Suppose 7*n = 8*n - b. Solve n*t + 6 = 21 for t.
5
Let i(x) = -x**3 + 6*x**2 - x + 56. Let d be i(6). Solve -d*u = -56*u - 18 for u.
-3
Suppose 0 = 5*x + 5*k + 5, -5*x + 35 = -0*x - 5*k. Suppose 7*p = x*p - b + 17, 3*b = 5*p. Solve 0 = -p*u + 6*u + 6 for u.
-2
Suppose -5*d = -3*f - 30 + 15, -5*f - 25 = 0. Solve 2*i + 10 = -d*i for i.
-5
Let g = -17 + 15. Let k be (-2)/4*0/g. Solve 9*s - 4*s - 5 = k for s.
1
Let o = 487 - 442. Solve 2*s + o = -7*s for s.
-5
Suppose -a = -5*p + 2 + 1, 0 = -2*a + p - 42. Let g = -21 - a. Suppose -5*u + 22 = -18. Solve -g*h + 0*h - u = 0 for h.
-4
Let d be (-563)/(-11) - 14/77. Solve 53*n = d*n - 4 for n.
-2
Suppose -3*f - 2*k + 5 = 0, -k - 5 = f + 3*k. Suppose -3 = 3*w + p, -f*p - p - 12 = 4*w. Suppose d + d = w. Solve 2*b + 2 + 2 = d for b.
-2
Let q(m) = -17*m - 226. Let g be q(-14). Solve -g = -7*a + 4*a for a.
4
Let m = -11 + 15. Suppose -2*f + 5*a - 6 = 0, 4*f - 5*a - 4 - m = 0. Let u be 21/f + 2 + -5. Solve 2*b = 6 - u for b.
3
Let v(r) = -r**3 + 4*r**2 + 6*r - 4. Let g be v(4). Suppose -6*s + g = -2*s. Suppose 0 = -4*a - 3*b + 26, -a - 126*b - 28 = -131*b. Solve a*o - s*o = 0 for o.
0
Let z(k) = k + 11. Let d be z(-6). Suppose -22 = d*g - 62. Solve -g*x = -3*x - 15 for x.
3
Let v(z) = -3*z - 11. Let q be v(-4). Let h be (-9)/2 - 4/8. Let t be (h - -5)*q/(-2). Solve t = 5*l - 13 + 3 for l.
2
Let a = -44 - -71. Suppose 3*o = -6*h + 3*h + a, 9 = 3*h. Solve 0 = 4*l - o*l - 10 for l.
-5
Suppose 3*i + 2*s - 20 = -3*s, 16 = 2*i + 4*s. Suppose i = r + 2, 0*y + y = -r - 2. Solve y = f + f - 2 for f.
1
Let f(g) = -g**3 - 5*g**2 + g + 7. Suppose 15*b = 12*b - 54. Let z = b + 13. Let u be f(z). Solve 3 = u*s + 7 for s.
-2
Let m be ((-6)/8)/(7/56*-2). Let l = 30 + -42. Let q = -6 - l. Solve 0 = f - m*f + q for f.
3
Let n = -35 - -37. Suppose 6 + 4 = n*f - 4*q, 0 = 2*q. Solve -f*h = -4*h + 4 for h.
-4
Let f(l) = -3*l**2 - 37*l - 38. Let b be f(-11). Solve -w - b = -5 for w.
-1
Let v(g) be the second derivative of g**3/2 - 3*g**2 - 7*g. Let t be v(4). Suppose 0 = -t*r + 4*r + 2. Solve -4*f - r = -5*f for f.
1
Suppose -3*r = 2*h + 3*h - 108, -3*r = -h + 18. Solve n + h = 20 for n.
-1
Let t(s) = -s + 69. Let i be t(5). Solve -48 = 28*f + i for f.
-4
Let z be 0/(-2) + (-448)/(-28). Solve -16*x + 0*x - z = 0 for x.
-1
Let r(j) = -j**3 - 48*j**2 + 42*j - 331. Let g be r(-49). Solve 0 = -13*q + g*q for q.
0
Let h be ((-9)/(-6))/(3/12). Suppose -4*z + 0*r + 5*r - 48 = 0, -3*z = -3*r + 33. Let g be ((-2)/z)/((-4)/(-56)). Solve -g*o = -h*o - 10 for o.
-5
Let o = 7 + -4. Let n(b) = b**3 - 11*b**2 - 11*b - 7. Let v be n(12). Suppose -v*x = -o*x. Solve l + x = 2 for l.
2
Let t be 5*((-133)/(-35) + -3). Solve t*j + 11 = -1 for j.
-3
Let b = 1 - -1. Let y(s) = s**3 + 6*s**2 - 8*s - 4. Let u be y(-