*l + 6, 6 + z = -4*v + 5*l for v.
-4
Suppose 0 = 4*p + 17 + 31. Let w be 23/4 - p/(-16). Solve -2*t + 4 = -5*j + 3*j, -w*t + 15 = 0 for j.
1
Suppose c = -2*c + 18. Let h be 22/c + (-8)/(-24). Solve w - o = -w - 5, 0 = 2*w + h*o for w.
-2
Suppose -2 = 2*f - 3*f - i, f = i - 2. Solve f = 5*b - 2*b + d - 2, -4*d = 2*b + 12 for b.
2
Let y(r) = -2*r - 22. Let i be y(-13). Solve l + 4*m + 9 = 0, -i*l - 6 = -2*m + 3*m for l.
-1
Suppose 6*n - n = 25. Suppose 5*r + 5*t - n = 0, r - 5*r + 22 = -2*t. Solve 5*z + 45 = r*a, -a = 2*z - 0*a + 5 for z.
-5
Let w be 12/(-15) - 2/10. Let z(n) = -20*n. Let m be z(w). Solve -2*c = v + 8 - 3, 0 = -4*v + m for c.
-5
Suppose 20 = 4*x, 2*v - x - 9 = -2*x. Solve -5*y - 25 = -5*l, 5*y = -0*y - v*l - 11 for y.
-3
Let a be ((-20)/(-30))/(2/6). Solve 5*k + 2*r + a = 3*k, 0 = k + 5*r + 17 for k.
3
Let c be (-10)/2*(-4)/5. Suppose 2*v + 14 = 4*v. Let s = v + -3. Solve 4*u + c*o + s = 8, -5*u - 3*o + 9 = 0 for u.
3
Let i(q) = -q + 11. Let n be i(11). Let y be 0*(n + 1 + -2). Solve y = 5*g + u - 0*u + 26, -2*u + 23 = -5*g for g.
-5
Suppose 3*k = k + 30. Let y = k + -9. Solve -5*x - y*n + n = -5, -3*n + 15 = 0 for x.
-4
Let s(c) = c**3 + 7*c**2 + 4*c - 8. Let g be s(-6). Solve -g*b + 12 = 4*j, -2*b - 3*j + 3 = -2*j for b.
0
Let h = 6 + -2. Solve 0 = -7*z + 2*z - q + 7, h*q = -3*z - 6 for z.
2
Let x be 4 + (2 + -1)*-1. Suppose -x*c = -0*c. Suppose z - 3*w + 4*w = c, -5*z + w + 12 = 0. Solve 2*l + 18 = -2*g - 2*g, z*g + 15 = 5*l for l.
1
Let l = -7 + 12. Let b = -6 + 8. Let f be l + -1 + b + -3. Solve 5*a + 3*r - 10 = -2*r, f*r - 6 = 2*a for a.
0
Suppose -5*c = -4*l + 2, 0*c - 2*l = -c - 4. Suppose c*d - 5*d = 5*s - 16, 5*d - 12 = -s. Solve 0 = x - 2*x + a + 3, 10 = -d*x - 2*a for x.
-1
Let t = 65 - 61. Solve x - 3*v + 9 = -5*v, -x = v + t for x.
1
Let o = -17 - -11. Let u(g) = g + 10. Let a be u(o). Let b be ((-30)/(-9))/5*6. Solve 0 = 4*s + a*t - 8, -2*s + 5*t = -7 - b for s.
3
Let o = 4 + -1. Let b be 0*(15/6 - o). Solve 5*p + 5*v - 10 = b, 4*v + 3 - 5 = -2*p for p.
3
Suppose -16 = -4*s - 12, -4*w - 3*s = -19. Solve -4*b - 1 - 11 = -4*j, -w*b = 4*j - 20 for b.
1
Let v = 5 - 3. Suppose -3*a - v = 5*k, -k - 8 - 10 = 5*a. Let d be (-2)/(-5) + 2/(-5). Solve 4*f - 4*p + d*p = -4, 0 = k*f - 3*p for f.
-3
Let u(n) be the second derivative of n**5/20 - n**4/2 + 4*n**3/3 - 2*n**2 + 2*n. Let m be u(5). Solve -l = -2*h + 4*l + m, -3*h + 12 = -3*l for h.
3
Suppose -v + 0 + 5 = 0. Let o(r) = r**3 + 6*r**2 - r - 2. Let m be o(-6). Suppose -m*k + 1 = -3. Solve -4*n - v*g = 17, n + 4 = -2*g - k for n.
-3
Let z be 6/4*(-10)/(-5). Suppose -z = 3*i, -2*s + s + 28 = -i. Suppose -20 = -4*v + 2*h, 5*v - s = 4*h - h. Solve 9 = 3*g + v*q, -q = 2*g + 4*q for g.
5
Let s = -3 - 8. Let r(b) = -b - 6. Let h be r(s). Solve 2 - h = -3*d, -4*v - 1 = -5*d for v.
1
Suppose 2*f - 7 = -5*g, -2*g = -5*f + 3*g. Solve -a = 5*d - 4*a + f, 5*d = -4*a + 13 for d.
1
Suppose 0*n = -6*n + 24. Solve 6 = h + s, 4*h - 5*h + 9 = n*s for h.
5
Let k be ((-22)/(-6))/((-1)/(-30)). Suppose 2*u - 2*y = -2*u + k, -40 = -2*u + 4*y. Suppose 7*h - 13*h = -12. Solve u = 5*f - 4*s, -h*f = s - 0 + 1 for f.
2
Let p(d) = 3*d + 6. Let b(c) = -2*c - 5. Let a(j) = -4*b(j) - 3*p(j). Let r be a(4). Let g = 2 + r. Solve 0*t + 3 = 2*t + w, g = -2*t + 2*w + 6 for t.
2
Suppose 5 = 5*a - 10. Solve -3*k + a*n - 5 = 1, n = 4 for k.
2
Suppose -4 = -4*h + c, 0*h + 3*c - 4 = 4*h. Suppose -17 - 7 = -4*l. Let n = l + -2. Solve h*f + u + u = 2, n*u = 5*f - 32 for f.
4
Suppose 3 = -8*s + 19. Solve 0 = -4*t - 3*m - 3, 2*m = -2*t - s*t - 2 for t.
0
Suppose -15 = -0*c - 3*c. Suppose 0 = 2*q - c*q + 12. Solve 2*d - 2*w = -2*d + 2, 3*d + q*w + 26 = 0 for d.
-2
Let b(c) = -c**3 - 3*c**2 - c - 1. Let i(k) = -8*k - 1. Let y be i(1). Let a be y/6*(3 + -1). Let w be b(a). Solve p + 3 = -r, -5*r + w*r = -5*p - 23 for p.
-4
Let f be 0 + (-1)/((-5)/15). Suppose 0 = -5*w - 4*s + 24, w + 4*s - 6 = -14. Solve 4*b - f*z + w = -1, 4*z - 12 = 3*b for b.
0
Let b be (-5)/4*-4*1. Let z = b + -3. Suppose 4*y - z*y + 5*k = 23, -y - 2*k = -10. Solve 3*f = -a + y*a, a - 4*f - 9 = 0 for a.
-3
Let i be (-5)/((-15)/9) + -1. Let l = 4 - i. Solve u = r + 5, l*r + 12 = -u + 5*u for u.
1
Let t be (-4)/6*(-225)/6. Suppose -t = -2*c - 7. Solve 5*o + g + 0 = -15, 2*o = -g - c for o.
-2
Let w(l) = 3*l + 2. Let i be w(5). Suppose 5*u - i = -5*x + 8, 13 = 2*u + 3*x. Solve -5*f = -4*b + 35, 0*b = -2*b + u*f + 16 for b.
5
Suppose 8 = -4*v, -2*k - 4*v - 5 = -21. Suppose 3*f = k, 0*s = 4*s - 5*f + 28. Let i be -1 - (-15 - (1 + s)). Solve 3*h - q = i, -26 = -2*h - q + 6*q for h.
3
Let z = -43 + 61. Suppose 2*s = -s + z. Let f be ((-8)/(-10))/(2/5). Solve 2*r + 2*r - 8 = 0, -f*g - 5*r + s = 0 for g.
-2
Let f(k) = 3*k - 1. Suppose 25 = 5*m - 0, -4*s = -m + 1. Let p be f(s). Let c be 171/12 - p/8. Solve -4*g = 5*a - 0 + 7, c = -3*g + 5*a for g.
-3
Suppose 0 = -16*h - h + 68. Solve -2*z + 5*i + 5 = 0, z = 5*z + h*i + 4 for z.
0
Let s(i) = 7*i - 7. Let n be s(6). Solve 4*c + n = -5*p, -p - 8 = 3*c + 10 for c.
-5
Suppose 55 - 15 = 5*n. Suppose 0 = p - n - 4. Solve 5 = o + 5*m, 0 = 2*o - 4*m + 3*m + p for o.
-5
Suppose -3*h + 8*h = -3*h. Solve 5*q - 2*u + 5*u - 17 = 0, h = -4*q + 5*u + 21 for q.
4
Let m(o) = 8*o - 3*o**2 - 1 + 7 + 4*o**2. Let n be m(-8). Suppose r - a - n = 0, -3*r + 11 = -5*a - 13. Solve r*x - 4 = -b - 0*b, 0 = -5*b - 5*x + 20 for b.
4
Let k be 10 - 2 - 6/2. Let n = -25 + 41. Solve 5*l = 3*a - 24, 2*a - k*l = n + 5 for a.
3
Let s be 215/45 - (-2)/9. Suppose 5*w = 0, -6*u + w = -u - 75. Let b be 12/u*(-15)/(-6). Solve 3*o + s = b*p + 2, 0 = 2*p + o + 9 for p.
-3
Let d = -4 - -7. Let i be (-2)/(-4)*(-8)/(-1). Solve -d*l = 3*n - l - 25, 3*n + 5 = i*l for n.
5
Let r(t) = t**2 - 20*t + 19. Let o be r(19). Solve a + b - 7 = 0, 0 = -4*a - o*a + 5*b + 10 for a.
5
Let w = 2 + -1. Solve w = -y - d + 2, -y = -2*d - 13 for y.
5
Suppose z + 0 - 5 = 0. Let g(n) = -n**2 + 8*n. Let p be g(8). Suppose 4*j - 36 - 12 = p. Solve z*y + j = 4*y - 4*c, 0 = 4*y + 3*c - 4 for y.
4
Let a be 21/(-35) + (-6)/(-10). Solve 5*o - 2*m - 20 = a, 0*o - o = 4*m + 18 for o.
2
Let o be 1/1 + 2 + -3. Suppose 3*x + 2*x - 25 = o. Solve -2*d + 4*d = -3*r + 15, 4*r - x*d = -3 for r.
3
Let k(g) = g**3 - 10*g**2 + 11*g + 8. Let b(v) = v**3 + 5*v**2 - 3*v - 6. Let y be b(-5). Let l be k(y). Solve -4 = 4*w - 4*a, -5*w - a + 9 = l for w.
-3
Let i(f) = f**2 - 6*f - 7. Let d be i(6). Let a = d - -13. Solve -3*z + 2*t = -15 - a, 2*z + 4*t = -2 for z.
5
Let v(c) = -c + 17. Let d be v(13). Let u(p) = 8*p**2 + 2*p - 2*p. Let w be u(1). Solve 2*n - 4*f + 4 = 0, -3*f + 5 + w = -d*n for n.
-4
Let j(h) = h**3 - 7*h**2 + 9*h - 15. Let l be j(6). Solve r + l = 2*r + 3*t, 2*r + 4*t = 4 for r.
0
Suppose 6*i - 2*i - 52 = -4*h, -3*h + 18 = -4*i. Solve l - 2*c = 5*l + 10, h = 3*l + 5*c for l.
-5
Suppose -5 = -t - 4*u, 5*u = -2*t + 15 - 5. Let j = 43 - 63. Let z be (25/j)/(2/(-8)). Solve -2*g - 3 = 3, 0 = z*o - t*g - 5 for o.
-2
Let g(k) = k + 1. Let r be g(-4). Let o = r + 10. Solve 0 = -q - 2*y - 15, o*q = 4*q + y - 10 for q.
-5
Suppose 0 = -2*v - 1 + 5. Suppose 3*d + d - 3*r = 17, -v*d + 9 = -r. Solve 0 = 4*z + 3*m - 2, d*z + 4*m - 1 = 2 for z.
-1
Let x(i) = -i**2 - i + 3. Let s = 4 + -5. Let d = -1 - s. Let v be x(d). Solve -5*r - 5*z + 21 = -v*r, -r - 3*z + 12 = 0 for r.
3
Let g be (-28)/(-3) - (-1)/(-3). Solve -w + 2*x = -6, w - g = 2*x + x for w.
0
Let n(i) = i**3 - 16*i**2 - 16*i - 16. Let q be n(17). Let x be q + 1 + 6/3. Solve 0 = -5*t - w + 13, -2*t - x + 17 = 3*w for t.
2
Let p(r) = -r**2 + 4*r + 1. Let w be p(4). Let x be w*-2 - (-7 + 0). Solve 0 = -2*f - x*m - 10, -4*f = 3*m + 14 + 6 for f.
-5
Suppose -2*v = -4*v. Let s be (v/(-3))/(-3) - 16. Let w = s - -28. Solve 2*m = 2*x + 8, -5*x + 4*m - w = 7 for x.
-3
Let f = 46 - 36. Solve -v - 6 = 4*v + q, 3*q = -v + f for v.
-2
Suppose 0 = 2*c - 0*c. Let k = 17 - 8. Solve c = -4*f - t + k, 1 = -f + 2*t - 8 for f.
1
Let t(q) = -q**3 - 9*q**2 + 6*q + 9. Let y(n) = n**2 - 1. Let l(p) = -t(p) - 6*y(p). Let j be l(-4). Solve -4*h + 3*h = 2*k - 3, 5*k = -j*h for h.
-3
Let f(m) = -m + 14. Let d be f(6). Suppose -4*t + 8 = -d. Solve 0 = -2*g + q + 7, -4*g + q + 15 - t = 0 for g.
2
Let x(u) = u**3 - 5*u + 4. Let j be x(0). Solve -3*y = 5*m + 7 - 0, -j