 s + r, 0 = -2*w - 2*s for w.
-2
Suppose 4*d = 2*x - 8, -5*d = -6 + 1. Let s be 2/3*x - 2. Suppose -s*t + t = -13. Solve -2*h = -4*u - t - 15, 11 = -h - 3*u for h.
4
Suppose -2*a + 4*w + 11 = 1, 5 = 5*w. Let f = -7 + a. Suppose -3*l + 13 - 1 = f. Solve 3*h + 1 = -v, -3*v + 5*h + 7 + l = 0 for v.
2
Suppose 4*c + 3*m = -c + 43, -3*m + 35 = 4*c. Let q be 4 + 0*2/c. Solve a + x = q*a + 1, -2*a + 4*x + 16 = 0 for a.
-2
Let u = -22 - -25. Solve -5*i - q = -10*i - 21, u*i = 4*q + 1 for i.
-5
Let n(g) = -24*g**2 + 2*g - 1. Let a be n(1). Let z = 39 + a. Suppose 4*s = 4*x + s - z, 5*s = 0. Solve 0*f = -2*o + 5*f - 16, -f = -x for o.
2
Let u = -2 + 6. Suppose -5*g - u*m + 5 = 0, -3*g - m + 3 = 4*m. Solve -2 = 2*r + f - g, -5*f - 11 = 4*r for r.
1
Let u(v) = -v**3 + 4*v**2. Let c be u(4). Solve -3*b - 3*q + 3 = -c*q, 4*b - 4 = -2*q for b.
1
Let c(q) = -5*q - 1. Let h be c(-3). Suppose 3*w = h + 4. Suppose -w = 4*b - 18. Solve -b*p + 5*v - 2 = 0, 0*v + v = p for p.
1
Suppose 0*h - h - 4 = 0. Let i = h + 5. Let s be (1 - i)/(-2 - 0). Solve -5*u + d - 12 = -s*d, -u + 5*d = 12 for u.
-2
Let u be (-102)/14 + (-8)/(-28). Let l(x) = x**2 + 4*x - 9. Let v be l(u). Let d be (12/(-8) + 1)*-84. Solve 5*p = 2*q + 17, 5*q = -2*p + d - v for p.
5
Suppose 24 = 9*f - 6*f. Let p(t) = t**3 - t**2 - t + 1. Let x be p(2). Solve -3*c - q = -4, x*q = -f*c + 3*c + 12 for c.
0
Suppose 53 - 56 = -m. Solve 21 = -m*s - w - 3*w, 0 = 5*s + 3*w + 24 for s.
-3
Suppose 2 - 22 = -4*v. Let b = v - 2. Let p = -8 + 15. Solve p*o - 2*o = 4*d - 3, -4*o = b*d - 10 for o.
1
Let f be 5/(-15) - (-122)/6. Solve v + 3*v - f = 0, -2*a + 1 = v for a.
-2
Let a be (6/(-14) - -2) + (-21)/(-49). Solve -3*f - 14 = -5*o + 3*o, -24 = a*f - 5*o for f.
-2
Let m be 3 - (-4 - -10 - 3). Solve -2*v + 22 = 5*k, -2*v + k = -m*k + 2 for v.
1
Suppose 0 = -5*u + j + 35, -u = -3*u + 4*j + 14. Let o = -5 + u. Suppose -5*i - 4*l - 5 = -3*l, -i = -2*l - 10. Solve -a + y - 5 = i, 4*a = 2*a - o*y - 2 for a.
-3
Let n(u) = u**3 - u**2 + u. Let p be n(2). Let l(i) = -i**2 + i - 1. Let g be l(2). Let j = g + p. Solve 4*f - 3*o = -3, -1 = 2*f - j*o + 2 for f.
0
Suppose -4 = l - 3*l - x, -5*l + 8 = 2*x. Solve 6 = 4*y + r, -4*y - r - 3*r = l for y.
2
Suppose 3*x + 24 - 8 = 5*w, -2*w - 6 = 5*x. Solve -3*f = -5*r + 14, f = w*r - f - 4 for r.
4
Suppose 5*p - 8 = p. Solve 2*d + p*d - 23 = -3*z, -3*d = -2*z + 4 for z.
5
Let v(r) = r**3 - 4*r**2 - 5*r - 4. Let b(f) = -f - 1. Let p(m) = 4*b(m) - v(m). Let c be p(4). Solve 0 = g + 2*a - c, -4*g - 4*a = -0*a - 8 for g.
0
Let a be (5 + 20)*(-4)/(-10). Let z be 23/5 - (-4)/a. Solve -3*w = -4*f - 14, z*w + 3*f = 4*f - 5 for w.
-2
Suppose -n = 4*n - 10. Suppose 38 = 2*j + 10. Suppose -j - 2 = -4*s. Solve 0 = s*k - 2*y - n*y - 20, 3*k = 2*y + 13 for k.
3
Let f be 8/3 - -1*8/(-12). Solve -2 = 5*k + 2*z - 9, 17 = 3*k - f*z for k.
3
Suppose -2*i - 2 = -3*i. Suppose 25 = 3*z + i*z. Solve 5*t - 3*t + d = 6, -2*t - z*d + 22 = 0 for t.
1
Suppose 0 = 4*l - 0*l - 12. Solve 6 = -r + 2*u, -2*r + 3*r - l = -u for r.
0
Let i = -30 + 30. Solve 3*y = -i*k - 3*k - 15, 0 = k - 2*y - 7 for k.
-1
Let x be (0 - -3)/((-3)/(-2)). Suppose x*c - 5*c + 12 = 0. Suppose 4*j - c = 2*j. Solve 0 = j*g + 2*g + 4, 0 = 2*r - 2*g + 6 for r.
-4
Let c(w) = w**2 + w. Let s be c(-3). Solve -5*i + 20 = 0, s = 2*y - i + 4 for y.
3
Let a(f) = f**3 + 5*f**2 + 4*f + 2. Let b be a(-4). Solve -b*z = h + 15, 0 = -h - z - 8 - 2 for h.
-5
Let j(k) = -k**2 + 4*k + 3. Let w be j(6). Let t(o) = -o - 9. Let c be t(w). Suppose -3*x + x = c. Solve g - 2 - 6 = 2*r, x = 3*g - r - 9 for g.
2
Suppose -5 + 11 = 2*p. Let m be (p - 3)/(0 + 1). Solve 2*q + 5*h - 10 = m, -3*q - 2*h = -7*q - 28 for q.
-5
Let v be 2/2 + (5 - 6). Let f be (-3 - 0) + 11 + -3. Suppose f*c = 4*j - 18, -5*c = -5*j + 14 + 6. Solve 3*t - 5*z - 18 = v, -z + j = t + 4*t for t.
1
Suppose 0 = j - 0*j - 3. Suppose 0 = -g - j*g. Solve -4*q = r + 5, 2*r + 4*q + 3 + 7 = g for r.
-5
Suppose -3*k - 365 = 2*k. Let f = 103 + k. Solve -5*s + 20 = -3*b, 4*b - 5*s + f = -b for b.
-5
Suppose -4*i - 5 = f - 25, -2*f - 20 = -4*i. Let v be ((-6)/9)/((-4)/(-30)). Let l = i + v. Solve 5*y + l*y = -3*w - 32, 4*w = 3*y - 4 for y.
-4
Let v(i) = i**2 - i - 27. Let n be v(-5). Solve -5*s = -n*h - 10 - 2, -2 = -s + h for s.
3
Suppose -4*v - b = -1, -3*b = 2*v - 0*b - 3. Solve -4*k = -f + 5, 4*k - 8*k = v for f.
5
Let p = 65 - 63. Solve 2*d - 4*t = 6, p*d + 24 = 6*d + 4*t for d.
5
Let p(y) = y - 14. Let h be p(15). Solve -12 = 3*m - 3*i, -i = m + i + h for m.
-3
Suppose -q + w = -2*w - 46, 117 = 2*q - w. Let k be (-2)/(-9) + q/9. Solve -a - 1 = -3*l, 2*l = -a + 2 + k for l.
2
Let j(g) = g**3 + 24*g**2 + 20*g - 64. Let f be j(-23). Let a be ((-2 - -2)/(-2))/2. Solve -r - 36 = -5*r - 5*y, -f*r + 5*y = a for r.
4
Let t be (-416)/(-20) - 1/(-5). Suppose -g = -0*j - j - 7, 29 = 2*g - 5*j. Solve -3*q - t = 5*u, 4*q + 0 = g*u - 2 for u.
-3
Let t be (1 - 2/(-4))*2. Let u(n) = n - 19. Let f be u(20). Suppose -4*y - 3*a = -8*a - 8, -3*a + 10 = 5*y. Solve 2*q - y*x - f = t*q, 2*x = 0 for q.
-1
Let z = -8 + 17. Suppose -s + 4*s - z = 0. Solve 0 = s*f - 5*l - 3 - 3, 0 = -3*f + 4*l + 3 for f.
-3
Suppose -n - 4 = -10. Solve n*a = 4*a + y + 11, 3*y = -3 for a.
5
Suppose 0 = -t + 4*p - 3, p + p - 4 = 0. Suppose 4*f = d - 5 + 1, -t*f - 12 = -3*d. Solve d*g = -b - 0*b - 3, 0 = -2*g - 2*b + 6 for g.
-2
Let t(k) be the third derivative of k**5/60 + k**4/12 + k**3/3 - 2*k**2. Let d be t(-3). Suppose -d*w + 2 + 8 = 0. Solve 3 = s - z, -7*z + w*z = 5 for s.
2
Suppose 3*q + 24 = -4*k - 0, k = -5*q - 23. Let h be (-14)/(-7) - (-1 - k). Solve -2*s - s + 2*a + 2 = 0, h = 4*s + 4*a - 36 for s.
4
Let i be 4/14 - (-182)/49. Solve -2*b - 22 = 4*p, -2*p - 24 = 2*p + i*b for p.
-5
Let m(w) be the second derivative of 3*w**5/20 - w**4/12 - 3*w. Let x be m(1). Solve -2*p - x*p + 4 = 4*n, 7 = -p + n for p.
-3
Let f(u) = u**3 - 4*u**2 - 6*u + 7. Let j be f(5). Let b(k) = k**2 + 9*k + 10. Let n be b(-8). Let r = -1 - -3. Solve j = 2*v + r*a, -3*a = -n*a - 3 for v.
-2
Let c = 0 + 2. Let y(q) = -q + 1. Let b be y(2). Let a be ((-4)/3)/(b/3). Solve c*l + 5*f = -l + 4, -a*l - 10 = -f for l.
-2
Suppose -4 = v - 5. Suppose 4*f + v = w - 42, 3*f = 4*w - 133. Suppose 3*r + 2*p = 7, -2*p - 4 = -4*r - 6*p. Solve 4*z = -2*u + 6, 5*u + 1 - w = r*z for u.
5
Suppose -6*b + 2*b - 4 = -4*p, -2*b = p - 13. Let i = -3 + p. Solve 2*u = 5*f - 16, -i*f = f + 2*u for f.
2
Let b(z) = 2*z - 2. Let m be b(2). Solve 2*x = -2*p + 4, -2*p - m = x + p for x.
4
Suppose 12 = 5*j + 2. Solve -3*y = -5*c - j*y - 12, -6 = -3*c + 5*y for c.
-3
Suppose -b - m = 3*m, -4*m = -2*b + 12. Solve 2*n = -3*y - 2*n - 5, -5*y + b*n = -13 for y.
1
Suppose -d + 3 - 1 = l, -5*d + l + 28 = 0. Let b(c) = 2*c**2 - 7*c + 2. Let j be b(d). Solve -4*i - 3*t + 9 = 0, 4*i + 5*t = 8*i - j for i.
3
Let v(x) = -x**3 + 3*x**2 + x + 2. Let g be v(3). Suppose 2*s + 3*s = -15, g*h - 30 = 5*s. Solve -2*c + 23 = -q + 3*c, 13 = -q + h*c for q.
2
Let c = 85 - 52. Solve -5*y = 4*l + 32, -5*l - c = 3*y - 6 for l.
-3
Suppose l = -5*d + 36, 0 = -5*l - d - 17 + 77. Suppose -4*o = -r - 65 + l, -2*o + 2*r + 24 = 0. Solve -16 = -4*c, -3*v + v - o = -5*c for v.
3
Let x(p) = p + 9. Let h be x(-9). Suppose h = 2*m - 6. Solve -r - 3*d = -7, 3*d + m = r + 8 for r.
1
Let k be (0 - 6)/(-1) - 4. Solve -3*g = k*x + 3*x + 9, -g - x - 3 = 0 for g.
-3
Let s(z) = 2*z**3 - 6*z**2 - 4*z + 6. Let w be s(5). Let y = -56 + w. Solve 0 = -5*c + j - 30, j = -3*c + 4*j - y for c.
-5
Let s(m) = -m + 3 - 2 + 1 - 1. Let q be s(-2). Solve -5*h + 0*h = -q*z + 9, -15 = -5*z + 4*h for z.
3
Let t be -6*(0 - (-7)/(-2)). Let a be (-2514)/(-21) + 6/21. Suppose -6*y + y + a = 5*n, -5*n + 15 = 0. Solve -14 = -5*k - 3*p + t, 4*k + p = y for k.
4
Let l(v) = -3*v**3 + 4*v**2 - 2*v + 4*v**3 - 3 - 2*v. Let j be l(-4). Let h = j - 9. Solve -z = -r + h, 0 = -z - 4*z + 4*r - 18 for z.
-2
Let t(m) = 4 - 4 - 3 - 4*m. Let u be t(8). Let w = -20 - u. Solve -5*n + s + 17 = 0, 3*n - w = -0*s + 3*s for n.
3
Let d(s) = -2*s - 11. Let a be d(-5). Let p = 4 + a. Solve 0 = -y + p*y + 4*l + 18, -23 = 3*y + 5*l for y.
-1
Let j = 1 + 2. Solve 5*x = 4*u + 10, 1 = 2*u - j*x + 7 for u.
0
Let w = -8 - -29. Let t = 25 - 20. Solve -w = -a - t*y, a + y - 5 = -0*a for a.
1
Suppose