 - 5*s = 1, s = w for k.
1
Let z be 0 - (0 - (-34)/(-1)). Let k = -32 + 45. Suppose -k = -5*x + c, -3*x + 17 = 4*c - 0*c. Solve 3*d + 2*d + 10 = -q, x*d - 5*q = -z for d.
-3
Suppose 5*g + 11 = 61. Suppose -3*h + 0*a - a = -g, 2*h - 30 = 4*a. Solve -5*w - 22 = 3, -5*f = 4*w - h for f.
5
Let l = 7 + -5. Solve 5*i = -3*p + 8, -5 + 1 = -l*p - 2*i for p.
1
Let c(x) = -x**3 - 7*x**2 - 6*x + 4. Let b = -21 - -15. Let s be c(b). Let h be (-1)/2 + 22/4. Solve -2*f = -h*d + 5, 4*d - s = -4*f + 3*f for d.
1
Suppose 3*l + 5*r - 145 = -2*l, 0 = 3*r + 12. Solve -6 = -4*k + 2*z, -2*k - 3*z + l = 2*z for k.
4
Let n = 62 - 62. Solve 0 = 4*v + u + 2, n = 4*u + 6 + 2 for v.
0
Suppose 0 = -5*x + 5*o, -o - 4*o + 40 = 3*x. Solve 4*c = 5*v + 12, -x - 4 = -3*c + v for c.
3
Let w be (-8)/60 - (-186)/45. Solve 3*v + 4*f + 15 = 0, -5*f + 2*f = w*v + 20 for v.
-5
Let z(h) = -h**3 + 7*h**2 + 7*h + 10. Let g be z(8). Suppose -8 - 4 = -3*v, g*n = 3*v + 16. Solve -y + 22 = d + 4*y, -2*y + n = 3*d for d.
2
Let d(o) = o**2 + 2. Let s be d(-1). Solve -s*t - 2*t - 21 = -j, 0 = 5*j + 2*t + 3 for j.
1
Let q be (-99)/(-81) + (-2)/9. Let d = q - -4. Solve 0 = -5*m - 4*l - 25, d*m + 3*l + 17 = -8 for m.
-5
Let w(o) = -2*o**2 - 34*o + 5. Let x be w(-17). Solve 0 = 3*n - 5*b + 19, -4 = -x*n - 4*b + 26 for n.
2
Suppose 2*n = -3*n. Let p(s) = -3*s - 3. Let i be p(-1). Solve i = 2*h + 5*m + 14, n = -2*h + 4*m - 2*m for h.
-2
Suppose 12 = 9*v - 5*v. Solve -1 = v*w - 0*w + z, -2*w + 2*z + 2 = 0 for w.
0
Let s = -2 + 4. Suppose -3*u = s*u - 25. Suppose 4*n = 3*n + u*h + 4, h = n - 4. Solve -3*g = n*w + 2*g - 3, 5*w = 2*g - 21 for w.
-3
Suppose 2*a + 4*l - 8 + 20 = 0, 3*l = -15. Let o(h) = -h**2 - 16*h + 3. Let p be o(-16). Solve j - a = 0, -8 = -3*r + 8*r + p*j for r.
-4
Let s be (1 - 7)/(1 + -3). Solve 3*h - s*z = -z + 1, 5*h = -z + 19 for h.
3
Suppose 0 = -3*l + 1 + 2. Let j be 2 + 2/(-2) + -1. Suppose r = -2*q - 2*q + 15, j = q - 4*r - 25. Solve -2*c + 0*p - l = -p, 5*c - p = q for c.
2
Suppose 6*l - l = 25. Solve 3 = l*t + 2*g - g, 4*t - 4*g + 12 = 0 for t.
0
Suppose -j - 12 = -4*j. Suppose 6*h = 2*h. Let n(k) = k**3 + k**2. Let c be n(h). Solve r - 5*r - j*o - 24 = c, 0 = 5*r + 2*o + 27 for r.
-5
Let m = 12 + -1. Suppose -2*x = x + o - 8, -o = 4*x - m. Solve -4*q - 2*r + 6*r = 8, 2*r = x*q + 8 for q.
-4
Let n = 6 + 3. Suppose 3*y + 16 = -y. Let l = y + n. Solve 0 = -j + l*i - 4 - 16, -5*i + 15 = 0 for j.
-5
Let y(f) = f**2 + 3*f - 3. Let s = 1 + -5. Let l be y(s). Solve -5*a - b = -0*b + l, 0 = -a - 2*b + 7 for a.
-1
Let t be 3 + 6/2 - 1. Solve 5*v - t*n = -30, 0 = -v - v - 4*n + 6 for v.
-3
Suppose 4*q - 56 + 12 = -2*b, 5*b + q - 83 = 0. Suppose s + b = 5*s. Solve -2*w - 3*u = 2*w - 4, 3*w + s = -4*u for w.
4
Suppose -2*y + 1 = -11. Let h be (-10)/(-6) - (-2)/y. Solve -2*s + t + 0*t = 1, 5*s + 5 = h*t for s.
-3
Suppose 4*p + 4*q - 20 = 0, -p + 7 = -5*p + 5*q. Solve p*o - 2*v + 2 = 0, 0 = o + v - 4*v - 3 for o.
-3
Suppose 0 = t + 2 - 8. Solve 2*k = -g + 1, -4*g + t = -k - 7 for k.
-1
Let d(p) = -p**2 - 6*p - 2. Let r be d(-7). Let c = r + 3. Let j = 8 + c. Solve 2*w - 2 = w, w - j = 4*o for o.
0
Let x = 2 + -11. Let l(o) = -o**2 - 9*o + 5. Let z be l(x). Solve u - j = 7, -z*j + 5 = u + 2*u for u.
5
Let r = -13 - -13. Suppose r*g - g + 13 = 0. Solve -5*f - 22 = -3*h, 5*f = 5*h - 17 - g for f.
-2
Let u = 14 - 7. Let j = u + -5. Solve -5*b = 3*c - 19, -6*c + j*c = 2*b - 2 for c.
-2
Suppose -23 + 143 = 6*j. Solve -p - 1 + 0 = -x, j = 2*x + 4*p for x.
4
Let q(z) = z**2 + 7*z - 13. Let a be q(-9). Solve o - 3 = -2*o + 5*y, -a*o + 5 = y for o.
1
Let k = -46 - -51. Solve 3*a - 2 = -k*x - 7, 5*a + 3*x = -3 for a.
0
Suppose -7*i - 2*l + 3 = -2*i, -l = -4*i + 5. Solve -t = -5*f + 17, f = t + i - 0 for f.
4
Let o(s) = s**2 - 12*s + 37. Let j be o(8). Solve 3*c - 6*b + 2*b = -11, 2*c = j*b - 19 for c.
3
Let s be (-12)/(-9)*(-9)/(-6). Suppose -s = -2*w + x - 5*x, 0 = -4*w - 5*x + 10. Solve -9 = -5*v + 3*v - o, 2*v + 9 = w*o for v.
3
Let u be (-24)/(-156) + 570/13. Suppose 0 = -5*a + 3*i + 34, -5*a + 4*i = 6*i - u. Solve -2*c + a = -4*j, c - 5*j = -4*j + 2 for c.
0
Let k(p) = 2*p - 18. Let t be k(11). Solve t*f - 5*w = -18, f = 4*w - 10 - 0 for f.
-2
Let c(s) be the third derivative of s**5/60 + s**4/12 + s**3/6 - 3*s**2. Let b be c(-3). Let t be (50/b)/(-5)*-4. Solve 35 = 5*q + t, 25 = 3*a + 2*q for a.
5
Suppose -5*s + 25 = -0. Let j = -5 - -8. Solve s*m = -5*q, -3*q + q = j*m for q.
0
Suppose -u = u. Suppose -3*k - 2*k + 15 = u. Solve 0 = -5*w + 15, 3*w + 1 = k*o - 5 for o.
5
Let q(h) = 5*h - 15. Let x be q(3). Solve x = 3*f + 5*r - 19, -1 = -r + 4 for f.
-2
Let z(j) be the second derivative of -j**5/20 - 7*j**4/6 - 13*j**3/6 + 4*j. Let l be z(-13). Solve 3*s + 3*c = -l*c - 12, -2*s = -3*c + 3 for s.
-3
Let f(n) = 3*n - 34. Let u be f(12). Solve d - 2 = 2*l + 3*d, -u*l - d = -3 for l.
4
Suppose -i = 4*k - 15 - 13, 2*k - 5*i - 36 = 0. Let z = 4 - 4. Suppose 0 = -z*c - c + 2. Solve -2*g - c*l - 9 = -3*g, -4*g = -l - k for g.
1
Suppose -5*q - 2 = -122. Let i be 4 - (2 - 1 - -1). Suppose 2*g + i*g = q. Solve -x + 2*x - g = 4*f, -5*f - 1 = 2*x for f.
-1
Let m = -3 - -5. Suppose 0 = v + m*v. Solve 4*g + v*g = -4*t, 3 = 4*t + 5*g for t.
-3
Suppose 5 + 27 = 2*d. Let h = -8 + d. Suppose -7*i = -2*i. Solve f + 8 = -5*n - 2*f, 2*n + 4*f - h = i for n.
-4
Let h(z) = z - 3. Suppose -3*b = -4*b + 5. Let u be h(b). Suppose 5*r - 4*s = 100, -2*s = u*r + s - 17. Solve 2*c + 0*c + 4*o + r = 0, -2*o = 2*c + 8 for c.
0
Let p = -67 + 67. Solve 5*n + p*n - 10 = -t, 3*n - 9 = 0 for t.
-5
Let p(y) = y**2 - 6*y + 7. Let h be p(6). Solve 0 = -f + u + 3, h*f - 4*f + 23 = -5*u for f.
-1
Let t = -2 - -8. Suppose -p + t = 5*z, 4*p - 4*z - z - 74 = 0. Solve 2*x + x + b = -p, -2*x - 5*b = 15 for x.
-5
Let f(p) = -p + 20. Let x be f(9). Let l be (1/(-1) - -1) + x. Solve c + l = 4*j, c - j = -2*c for c.
1
Suppose 4 = 2*u + 2*w, -4*u + 0*u + 3*w = -22. Solve 2*t + u*s = -12, -3*t - 5*s - 21 = -2*t for t.
4
Let k(n) = -2*n + 27. Let s be k(11). Solve 2*v - 4*p = 5*v + 14, 5*v - s*p = 0 for v.
-2
Let v(y) = y + 3. Let u be v(-2). Let j(h) = 13*h. Let t be j(u). Let g = -79 + 107. Solve 0 = 5*i - 3*a + t, -g = i + 3*i + 2*a for i.
-5
Suppose -g + 3*g + 12 = 0. Suppose 2*j = 5*y - 21, 7*y - 17 = 4*j + 2*y. Let c be (-18 + 3)*j/g. Solve 4*o = 2*v - 0*v - 2, -2*o - c = -5*v for v.
1
Let r(z) = -z**2 - 5*z - 4. Let t(n) = n**2 - 6*n - 3. Let o be t(6). Let y be r(o). Solve -y*h - h - 21 = -3*f, -4*f + 23 = -3*h for h.
-5
Let p(s) = -s**3 + 3*s**2 + 4. Let v be p(3). Suppose v*h = 6*h - 8. Solve -5*k + h*a + 16 = -3, -a = -2*k + 7 for k.
3
Let l(d) = -d - 7. Let w be l(-12). Solve -x + w = a + 10, a - 5 = 4*x for a.
-3
Let k = 6 - 5. Let n be (-1)/((-2)/4) - k. Solve 3*d - 3*f = f + 24, 5*f - n = -4*d for d.
4
Suppose -4*b + 1 = 2*q - 5*q, b - 4 = 0. Solve q*y + 2*t + 16 = 0, 32 = -5*y + 4*t + 4 for y.
-4
Suppose 0 = 4*q - 3 - 9. Suppose q*a - 2*a = 3. Solve a*g + 2 = -2*t, 4*t - 2 + 8 = -5*g for g.
2
Let o = 25 - 16. Let x(y) = y**2 - 8*y - 6. Let k be x(o). Solve 0 = 4*t - 2*v + 10, -k*v + v + 2 = 0 for t.
-2
Let g be (-4)/(-6)*(-18)/(-4). Let v be 2/4 - 7/(-14). Solve 2 - 10 = -2*z + g*q, -z = q + v for z.
1
Suppose -5*o - 12 = 8. Let q be (3/(-6) + 0)*o. Solve -s = -q*z + 7, 4*s + 0*s + 5*z + 15 = 0 for s.
-5
Let z(f) = -f**3 + 3*f**2 - f. Let m be z(2). Solve 3*u = 4*r + 7*u + 32, m*r + 4*u + 26 = 0 for r.
-3
Let r(b) = -14*b - 1. Let y be r(-2). Suppose -4*d + 49 + y = 0. Solve n + 9 = -5*q - 6, q = 3*n - d for n.
5
Suppose -7 = -16*p + 9. Solve -5*o = 4*l + 45, -o = p + 4 for l.
-5
Suppose -2*u - 3 = -55. Let r = 40 - u. Suppose 1 = 3*l - r. Solve 3*w + 0 + 5 = -2*y, -y = -l for w.
-5
Suppose -2*i - 5*m + 0 - 9 = 0, -5*i + 21 = -2*m. Solve -2*o + i*d = -5 - 5, 3*o = -2*d - 11 for o.
-1
Let m(q) = q**2 - q + 12 - 2 + 9*q. Let w(x) = x**3 - 5*x**2 - 8*x + 4. Let k be w(6). Let g be m(k). Solve 0 = -2*b - t + g, -5*b - 11 + 36 = -5*t for b.
5
Let r = 8 + -4. Suppose 0 = -4*t + t + 12. Solve r*w + t*v + 0*v - 24 = 0, -v = -2*w - 3 for w.
1
Suppose 0 = -4*n + 12. Suppose -3*s + 3*q = 9, -q = s + 4*q - 27. Suppose n*t = s*t + 2. Solve t*h = 4 + 4, 5*h - 29 = -3*f for f.
3
Suppose 0 = -2*w + 1 + 1. Let h = w - -2. Suppose -5*k + 3*k + 7