e z - 20 = 5*k, z = -n*k - 5 - 15 for k.
-4
Let c(i) = -i**3 + 15 - 4*i**3 + 2*i**3 + 2*i**3 - i**2 - 2*i. Let w be c(0). Solve 0 = -s - 1, w = -h - 3*h + 5*s for h.
-5
Suppose 0 = v + 2*p - 0*p, -2*p + 4 = 3*v. Let q = 4 + -4. Suppose -24 = -q*x - v*x. Solve o + o = 3*a - 3, 2*o + 2*a - x = 0 for o.
3
Suppose h - 46 = -4*w + w, 5*w = 3*h + 58. Let j = w - 2. Let o = j - 8. Solve -2*l + 2*u = -2, 2*l + o*u = 2*u - 6 for l.
-1
Let i be (60/24)/(1/2). Solve -21 = 4*d + i*z, 3*d + 5*z = 4 - 21 for d.
-4
Suppose 5*x - 2*p - 15 = 0, 4*x - 5*p - 1 = -6. Suppose 0*l - 2*l + 5 = -3*q, 4*l + x*q + 1 = 0. Solve 3*a - i = 10, 0 = 3*a + 5*i + 13 + l for a.
2
Let w(c) be the first derivative of -c**3/3 + 5*c**2 - 20*c + 14. Let k be w(6). Solve v + 20 = -k*v, v + 20 = 4*g for g.
4
Let n be ((-480)/(-70))/(-8)*-7. Solve 0 = 5*t + 4*h - 11, h - n = t + t for t.
-1
Suppose -4*i + 4*h = 5*h - 6, 2*h = -4*i + 4. Solve 4*d - s = 9, -i = -s + 3*s for d.
2
Let v be 8/28 - 267/(-21)*1. Let a = v - 8. Solve 0 = 2*m + 4*z + 8, 0*z - a*z = 0 for m.
-4
Let u be (-2)/(-8) + 12/(432/99). Solve u*m + 0 - 8 = -2*r, 4*m = -5*r + 13 for r.
1
Let g = -384 + 387. Solve 5*m = 3*b - 27, m + g = -0*m for b.
4
Let j(w) = -w**2 + 7*w - 6. Let s be j(6). Suppose 0 = -i - 2*i + 3*x - 15, 4*x - 2 = -5*i. Let m = 7 + i. Solve t + m*k - 15 = s, -2*t - k + 18 = 3*k for t.
5
Let n = -16 + 20. Suppose 5*v + 0*v = -r + 11, -2*v + 5*r = 1. Solve 0 = 2*c + v*k - 4, -n = -3*c - 4*k + 2*k for c.
0
Let j be (1/(-3))/(15/(-135)). Solve 3*f + 4*l - 17 = 0, j*f + 4*l = f + 18 for f.
-1
Let p be 65/(-2)*(-12)/15. Let i = 28 - p. Solve 0 = -i*v - 0*w + 4*w + 14, -4*v = -3*w - 13 for v.
1
Let l(j) = -j + 13. Let w(b) = 11*b**2 + 2*b + 1. Let h be w(-1). Let y be l(h). Suppose 0 = -y*i - i. Solve -a = 2*f + 13, 2*a + 5*f - 4*f + 11 = i for a.
-3
Let a be 483/7 - (-1*2 + 6). Suppose a = 2*i - 7. Solve -o = 4*l - 21, 0*l - 4*o = 4*l - i for l.
4
Suppose 5*d - 17 = -0*d + y, -y = -3*d + 11. Suppose 3 = -d*w + 4*w. Solve -4*m = -p + 10, -w*p - p = -5*m - 7 for p.
-2
Suppose 3*w - 44 = 5*b, 5*w - 4*w - b = 16. Solve 3*s - w = -0*y - 3*y, 3 = -s + 2*y for s.
3
Suppose 31*q - 23*q = 16. Solve -2*n - 10 - 5 = 3*h, 18 = -q*n - 4*h for n.
-3
Let v be 90/21 + 1*(-10)/35. Solve -13*n - v*c = -8*n - 12, -2*c = 4*n - 6 for n.
0
Suppose -5*g = -4*n + 5, 0 = 2*n + 2*g - 7 - 9. Let b = -32 + 34. Solve -x + b = -n*l - 0*x, l = -x + 2 for l.
0
Let c(o) = -o**3 - 6*o**2 + 15*o - 4. Let p be (-420)/54 + 2/(-9). Let k be c(p). Solve -k*d - 12 = -4*x, -4 + 3 = -5*x - 2*d for x.
1
Let d = 168 + -164. Solve d*i = 5*g - 11, i - 2 = -2*g + 5 for i.
1
Suppose -5 = -5*p + 10. Solve 0 = -5*k + 5*l + 20, -l - p = -2*k + 3 for k.
2
Let u(h) = h**2 + 6*h + 7. Let k be u(-7). Suppose -o = 5*t - k, -24 = -4*t - 4*o - 0. Solve 3*g + t*a + 23 = 0, -g = -0*a + a + 9 for g.
-5
Suppose -5*f + 26 = u, -2*u = -0*u - 2*f + 8. Let o be (-10)/4*(-28)/14. Let b = 77 - 72. Solve 0 = -g + 4*n + 6 + u, -b*g - o*n + 10 = 0 for g.
3
Suppose -4*a + 4*p = -16, -2*a - 8 = -3*a - p. Let i be (1 + 2)*(-1 + a). Suppose i + 1 = j. Solve k = 4*y + j, 0 = -k - 3*y + 4*y + 4 for k.
0
Let s be ((-4)/6)/(16/(-264)). Suppose -11 = 6*q - 35. Solve -w = -5*z - 19, -q*z + 4*w - s = -w for z.
-4
Let f be (0 + 9/2)*(-152)/(-228). Solve 0*m = 5*j - m - 18, -f*j = 5*m - 22 for j.
4
Let c(o) = 4*o**2 - 12*o + 5. Let w be c(4). Solve -2 = 2*u, -w = 4*q + q - 4*u for q.
-5
Suppose -4*f + 293 = 53. Let j be -2*(228/f)/((-4)/10). Solve 0 = -2*w - 0*z + 5*z + j, 13 = -w - 5*z for w.
2
Suppose -2*t = -31 - 1. Suppose -t = 3*c + 5*r, 3*c + 3*r = c - 9. Solve -c*u + 10 = -y - 4*y, 0 = 2*u - 3*y - 7 for u.
5
Suppose -4*o + 2 = -5*o. Let v be ((-1)/o)/((-2)/(-8)). Suppose 0 = -3*t + k + 41, 0 = k - v - 2. Solve 3*z - 3*l = -z - t, 5*z + l - 5 = 0 for z.
0
Suppose 4*g = -3*p + 24, 5*g - 35 = 4*p - 9*p. Solve 2*i = -g*i - u - 20, 18 = -i - 3*u for i.
-3
Suppose 2*w + 5*g = -3 + 30, -g - 21 = -4*w. Suppose -5*z = 10, 4*t - 18 = 4*z + z. Suppose -5*r + w = -t*r. Solve -r*d - 3*h = -7*d + 17, 5*h = -20 for d.
1
Suppose 8 = -2*n - 3*j, 4*n - 28 = -0*n + 5*j. Solve -n*s - 28 = -4*s - 5*d, -s - 4*d = -20 for s.
4
Let z = 2787 - 2783. Solve -4*b - 4*k + z = 0, 2*k - 9 = b + 4*b for b.
-1
Suppose 113 = 15*l - 82. Solve 2*f + 4*t = 4*f - 24, t + l = 4*f for f.
2
Let l(z) = 12*z + 77. Let j = 89 + -95. Let y be l(j). Solve y*d + 0*w + w = 23, -5*d - 3*w = -29 for d.
4
Let l(k) = -7*k**2 - 11*k - 2. Let r be l(-1). Solve r*c - 12 = -4*t + 4, 5 = c + t for c.
2
Let s(z) = z**2 - 3*z - 6. Let h(k) = k + 1. Let f(x) = 3*h(x) - s(x). Let n be f(7). Solve 0 = -3*q + n*c - 12, -q + 2 - 6 = -c for q.
-4
Let c(b) = -2*b - 24. Let j(w) = w + 12. Let p(v) = -6*c(v) - 11*j(v). Let o be (-3)/(-18)*2*-21. Let s be p(o). Solve 0 + 13 = 2*t - i, s*t = -i + 22 for t.
5
Let f = 733 + -731. Solve -2*q - 2 - 7 = v, 4*v = -f*q - 18 for v.
-3
Suppose -i - 4 = -7. Suppose 1 = -f + k, 5*f - i*f - 18 = -2*k. Solve -f*o + 2*j = 0, 2*j - 5 = 3 for o.
2
Let x = 8 + -3. Suppose -5*f = -2*f + 4*m + 34, -5*m = x*f + 60. Let q be 7/f + 50/4. Solve n = 4*u + 21, -n - n + q = -2*u for n.
1
Suppose -121 = -28*f + 19. Solve 0 = 4*v, f*o + 0*o + v = 0 for o.
0
Let g = -2 + 7. Suppose -g*u + 8 + 7 = 0. Solve 5*n = -k + u, -6*n + 4*k = -n - 13 for n.
1
Let g(h) = h**2 + 13*h - 17. Let s be g(-15). Suppose 3 - s = -5*r. Solve -r*l - 2*i + 8 = 0, -10 = -4*l - 0*l - 2*i for l.
1
Let q(c) = -c + 4. Let j be q(-8). Suppose -10 = -j*d + 10*d. Solve 4*l - d*b - 16 = 0, l - 6 = -5*b - 27 for l.
-1
Let s be (-3)/2*8/12 + 4. Suppose 12 = 3*h - 3. Let b = h - s. Solve -4 = 4*r - 0*r + 2*v, -1 = 3*r + b*v for r.
-3
Suppose 4*p = t + 18, 5*t + 69 = -6*p + 5*p. Let i = -12 - -1. Let z = i - t. Solve l + 3*f - 14 = 2*l, -z*l + 4*f - 22 = 0 for l.
-2
Suppose 3*g = d + 13, -4*g + d + 13 = 4*d. Solve s + 3 = 3*q, 2*s + g = -4*q - 2 for q.
0
Let d = 15 + -12. Suppose -d*t + 8*t = -20, 5*p - 2*t - 28 = 0. Solve 2*g - 6 = 5*f + p, 5*f + 10 = g for g.
0
Let q(n) be the second derivative of n**4/12 + n**2/2 + n. Let r be q(-1). Suppose 0 = -t + 4*t - 60. Solve -5*d + t = -3*u + 2*u, -3*u + 5 = -r*d for u.
5
Let g be 5/7 + 56/196. Let q(u) = 2*u + 9. Let r be q(-6). Let d(a) = -a**3 - 2*a**2 - 4. Let f be d(r). Solve n - g = -s, 0*n - 3*n + 5 = f*s for s.
1
Let i = 453 - 422. Suppose -3*a + 24 = a + 2*w, -3*w = -5*a + 19. Suppose 2*r = i + a. Solve 0 = 3*t - 3*g + r, 0 = -2*g + 8 - 2 for t.
-3
Let h(z) = -2*z. Let u be h(-1). Let a(o) = o**3 + 76*o**2 + 421*o + 75. Let r be a(-70). Solve 0 = u*d - 10, 3*d + 20 = r*p + 8*d for p.
-1
Suppose -7 = 4*r - 3. Let v be 10*(8/(-20) - r). Suppose v = 2*x - 0*x. Solve -5*o - 35 = 3*c, -32 = 4*c + 6*o - x*o for c.
-5
Suppose 5*r - 62 = -22. Let m be r/(-12)*36/(-6). Solve -3*i - 5 = l + 4, 8 = -m*l + 2*i for l.
-3
Let q(l) = 3*l + 3*l - 1 + l**2 - 4*l. Let t be q(-2). Let f = 3 - t. Solve -2*j + 4*y + 9 = -15, f*j - 5*y = 33 for j.
2
Let h(i) = -i**2 - 16*i - 12. Let w be h(-15). Solve 0 = -5*a - o + 28, -a + 5*o - 25 = -w*a for a.
5
Let y be 2 + (-4 - -1 - -16). Let l = -13 + y. Let z = l + 3. Solve -s = 4*g - 2*s + 22, z*g - 5*s = -35 for g.
-5
Let q(t) = t**2 - 34*t + 147. Let y be q(29). Solve 3*k + y*k = -c - 21, -k - 9 = -c for k.
-5
Let z be 15 + (2 + -2)/(-1 + 0). Solve 2*t - 3*t = 4*p + 13, t + 5*p = -z for t.
-5
Let u(j) = 8*j + 235. Let v be u(-29). Solve -4*m - 4*f + 12 = 0, -4*f - 26 = -v*m - 10 for m.
4
Let i = 4 + 18. Suppose -i = -3*t + 50. Suppose -6*k + t = 3*n - k, 5*n - 40 = -k. Solve -n = -4*r - 4*z, -2*z - 3 = -2*r - 3*r for r.
1
Let m = -11 + 9. Let k be (-2)/((m + -3)/10). Solve -k*u + 0*x = -4*x - 24, 3*x = -u - 10 for u.
2
Suppose 0 = -2*w - 3*r + 1029, 0*w - w + r + 527 = 0. Let u be 4/(-34) - w/(-102). Solve 0 = -3*g - u*h - 22, -5*g + h + 15 = -h for g.
1
Let u = -30 - -33. Suppose 4*m = -0*m + n + 1, -u*n = 3. Solve 2*i = l + 6, 3*i + l = -m*l + 9 for i.
3
Let m be (7 - (4 + -3)*4) + 3. Solve -3*x = -t - m, -3*t + 4 - 7 = -4*x for t.
3
Let w(z) = -z**2 - 28*z + 645. Let s be w(-43). Solve -5*a - u - 17 = s, 4*a + a + 5 = 5*u for a.
-3
Let z = -254 + 257. Solve -5*i + 4*j = -0*i + 16, -z*j = 3 for i.
-4
Let v(s) = -4*s + 41. Let o be v(9). Suppose 0 = 5*i + 5*t + o, 5*i + 4*t - 10 = 