 Solve -w - p = o + 8, 4*w = -l*o - 31 for w.
-4
Suppose 0 = 4*r - 4*h - 28, 2*r + 16 = -5*h + 2. Suppose 4 = y - r. Let u(w) = w - 2. Let p be u(6). Solve y*j + 4*x + 10 = 5*j, 0 = -p*j + x + 7 for j.
1
Suppose m = -2*f - 9, -4*m - 13 - 9 = f. Suppose 3*v = v + 18. Let a = v + m. Solve -4*c = 5*n + 25, -4*c = a*n - 2*c + 14 for n.
-1
Let k = 0 - -3. Solve 5*a + 9 + 0 = k*g, -5*g = 3*a + 19 for a.
-3
Let u be (-16)/(2 + (-7 - -3)). Let p be u/16*3*2. Solve i + 17 = -p*f - 4*i, 3*f + 16 = -4*i for f.
-4
Suppose b - 3*o = 46, 5*b = -4*o + 192 - 57. Let j = b + -11. Let p(f) = f**3 + 6*f**2 + 5. Let k be p(-6). Solve -3*w - 7 = -2*u + 1, -3*w - j = -k*u for u.
4
Suppose -m - 3 = -2*m. Let z = -1 + m. Solve 2*a + 4 = -2*n, -3*a + z*a = -2*n + 2 for a.
-2
Suppose 7*m + 3 = 17. Solve m*z - 19 = -3*r - 3, 0 = 4*z + r - 12 for z.
2
Suppose 3*d - 20 = -d. Solve t + 2*h + 4 = 6*t, h + d = 4*t for t.
2
Suppose 3*s + 3 = 0, -85 = -5*g + 4*s - 9*s. Solve 12 = -2*m + 4*l, 4*m - 5*l + 0*l = -g for m.
-2
Suppose d + 24 = -2*d. Let y = 8 + d. Solve y = -4*v - 4*p + 18 - 6, -4*v = 5*p - 12 for v.
3
Let p(h) = 2*h + 9. Let o be p(-6). Let j be 3 - (-2 + 3 + o). Suppose -j*g - 2 + 7 = 0. Solve -r + 3 = -2*r, r - g = 4*u for u.
-1
Let l(a) = -2*a**2 - 16*a - 9. Let n(i) = 6*i**2 + 47*i + 26. Let j(c) = -17*l(c) - 6*n(c). Let d be j(-4). Solve 3*h - d = 5*p, 2*p - h - 14 = -3*h for p.
2
Let c be (10/(-6) - -2)*0. Suppose -l + c*l = 0. Solve 2*r = l, 3*r = 3*d - 2*r for d.
0
Suppose -2*k + r + 7 + 3 = 0, -2*k + 3*r = -10. Solve -3*f = -k*c - 25, -4*f + 5*c = 3*c - 10 for f.
0
Suppose -f = 3*f - 12. Suppose 4*r + f*z - 49 = -0*r, 2*r - 35 = -5*z. Let n be 4/(-3)*(-15)/r. Solve -5*t + n*v + 4 = 0, 7*v = -5*t + 2*v + 25 for t.
2
Suppose -4 = -2*v + 4*y + 16, 0 = -4*v - y + 13. Solve 2*h + h - v*m - 12 = 0, -3*h + 3*m = -12 for h.
4
Suppose 2 = -5*t - 13. Let c = t + 5. Suppose -3*y = c*y - 10. Solve -z + 1 = 3*k - 2, 0 = -y*k + z + 2 for k.
1
Let a(f) = f - 3. Let r be a(7). Suppose r*o - 4 = 3*o. Suppose h - 2*g = -6, 3*g - 28 = -o*h - 2*g. Solve 2*x = -h*p + 10, 4*p - 40 = -5*x - 17 for p.
2
Suppose -2*y = 4*z - 1 + 11, -4*y = -2*z. Let u = z - -4. Suppose 0 = 3*b + 5*s + 9 - 23, -3*s = b - 6. Solve h - v = 0, u*h - b*v = v - 4 for h.
2
Suppose 3*g + 3*f = 3, g + 5 = 3*g + 5*f. Solve -3*u = 5*y + 5 - 2, 4*y = g for u.
-1
Let v = 29 - 27. Solve v*t = 4*c + 2 - 0, 4*t - 28 = -4*c for c.
2
Let u(c) = -4*c + 1. Let d be u(2). Let a(g) = -g + 5. Let f be a(d). Solve 0 = 4*p + 4*s - f, -5 + 15 = 2*s for p.
-2
Let s = 0 - -4. Let v(p) = p**2 - 5*p + 4. Let y be v(s). Solve f - 4*n = 13, y = -2*f + 3*n - 5 + 11 for f.
-3
Suppose u = -4*z + 8, -2*u - 2*z + 13 = 3*z. Solve -4*r = -h - 14, u*r = -7*h + 2*h + 2 for r.
3
Let t(f) = -f**3 + f**2 - 2*f - 1. Let h be t(-2). Let b be (-24)/(-3)*(-1)/(-2). Let y be b*(-2 + h/6). Solve r = -3*p, -3*p + 3*r = -y*r for p.
0
Suppose 2*y - 29 = -2*y + 3*q, -3*y + q = -23. Let h = 20 + -16. Suppose 0 = -0*i + h*i - y. Solve 2*l = -i, -l - 5 + 3 = d for d.
-1
Suppose 5*h - 13 = 12. Suppose k = 4*v - 11, -3*k + 10 = -h. Solve -u - v*m - 18 = -9*m, 2*u = 3*m - 15 for u.
-3
Suppose 9 - 1 = 4*q. Solve q*f = 2*t + 2, 3*t + 0*f = 5*f + 5 for t.
-5
Suppose 3 - 3 = -3*k. Solve -a = -0*a + 3*z - 2, -3*a + 4*z + 19 = k for a.
5
Suppose 0 = 2*i + i - 6. Solve -2 = -3*c - 11, -i*t = -3*c - 13 for t.
2
Suppose 0*l + n = -2*l + 71, -n = 4*l - 141. Solve -4*v - 5*c - 21 = 0, 2*c + l = -5*v + 13 for v.
-4
Let c = -2 - -5. Let r = -4 + c. Let v = 3 + r. Solve -5*o = v*l + 6 + 29, -2*o = 10 for l.
-5
Let z = 11 - 14. Let o(w) = -2*w**3 - 4*w**2 - w - 4. Let k be o(z). Solve 0 = -3*f - l + k, f = l - 0 + 3 for f.
5
Suppose 57 = q - 12. Suppose 3*l - q = -l + 5*d, -3*d - 51 = -3*l. Solve -5*f - 2*j - l = 0, -j + 2*j = -2*f - 6 for f.
-4
Let i be (-35)/(-10) - (-6)/4. Let w = -3 + -11. Let k = w - -24. Solve -i*y - k = -p + 4, 0 = p + y - 2 for p.
4
Suppose -18 = -2*h - 0*h. Suppose -k + 4*k = h. Solve k*a + 2*u = -3*u - 28, -5*a = 5*u + 30 for a.
-1
Let j(r) = r**2 - 10*r + 9. Let b be j(9). Let u(o) = -o**3 - o. Let x be u(-1). Solve 17 = -2*a + 5*v, b = -x*v - v + 9 for a.
-1
Let i(p) = -13*p**3 - 1. Let b(j) = -j - 3. Let t be b(-3). Suppose -4*n - 6 = 2*f, t = 2*f + n - 0 + 3. Let r be i(f). Solve -o + r = 2*o, -6 = d - o for d.
-2
Let j be 4/(-6)*(-4 - -1). Let d be (-5 - -2 - j)/(-1). Solve v + d = w, -3*w + 3*v = -v - 18 for w.
2
Let o(m) = -2*m + 30. Let y be o(13). Solve -x - 4 = y*p, 4*p = -7*x + 3*x - 16 for x.
-4
Suppose -7 = -3*a + 8, t - 5*a + 36 = 0. Let g = t + 13. Solve -15 = 5*m - x, m + g*x = -3*x - 29 for m.
-4
Let v(w) = -w - 4. Let f be v(-7). Solve -f*h = -0*h + 4*a + 13, -4*h + 2*a = -12 for h.
1
Let m(k) = -k**3 + 5*k**2 + 5*k + 8. Let v be m(6). Solve v*o = -3*z + 6*o - 7, z + 3*o + 11 = 0 for z.
-5
Suppose 2*u - 3 = 3. Solve -p + 2*y = u, p - 2*p - 3 = 4*y for p.
-3
Let u be (-13)/((-4)/(-16) + (-12)/16). Solve 5*s - w + 7 = -12, -2*s = -5*w + u for s.
-3
Suppose -2*n - i = -9, -2*n - i = 3*i - 24. Solve -p = -n*g + 5, 6*g = g - p - 5 for g.
0
Suppose -3*k + 7*k - 120 = 0. Solve 0 = -5*w + 20, 0*h + k = 2*h + 5*w for h.
5
Let y(o) = 38*o + 3. Let m be y(-2). Let d = m + 105. Suppose 2*a = d - 12. Solve -3*u - a = -t, -2*u + 4*u - 3*t + 2 = 0 for u.
-4
Suppose -3*w - 6 = -15. Solve g = m - g - 6, -m = -g - w for m.
0
Let w(r) be the second derivative of r**5/20 - r**4/2 - 2*r**3/3 + 3*r**2 + r. Let v be w(7). Let u = 3 + v. Solve -3*s + 13 = -j + 33, 2*j = 4*s + u for j.
5
Let s(z) = -9*z - 8. Let f be s(-2). Solve -3*m - 2*r + 7 = 0, 4*m - m - r = f for m.
3
Suppose 4*y - 8 = 4*a, -5*y + 16 = 4*a - 3*a. Let f(w) = w**2 - 6*w + 2. Let s be f(0). Solve -17 = -2*g - y*c, -13 = -5*c + s for g.
4
Let z be ((-1 - 0) + 1)/(-1). Suppose 0 = 3*y + 4*t - 28, -4*t + 20 + z = y. Solve -y*w = 2*h - 12, -4*h + 3*w = -h + 18 for h.
-2
Suppose -4*o + 3 = -5. Suppose j = -o*j. Solve -g = x + 3, j*x - x + 12 = -4*g for x.
0
Let n = -23 + 52. Solve j - 2*b = -2*j - 2, 5*b + n = -j for j.
-4
Let z(w) = w**2. Let t be z(0). Solve t = -2*r - 3*x + 6*x, -3*r = x - 11 for r.
3
Let n(k) = -k**3 + 7*k**2 - 5*k + 4. Let h be n(6). Let m = -17 + h. Let c be (-216)/(-63) - (-3)/m. Solve 5*s + 20 = 0, -2*j + 4*s = c*s - 6 for j.
1
Let o = -1 - -3. Suppose 0 = 2*z + o*z - 64. Solve -3*n = -5*d - z, -4*d - 4 = 4*n + 28 for d.
-5
Let b = -21 - -12. Let u = -6 - b. Let t be 1 + 1 + u + -2. Solve -4*z + 0*g = -g + 15, 4*g = -t*z + 3 for z.
-3
Let x = -9 + 18. Let i = -7 + x. Suppose 0*u + 30 = i*u. Solve -5*c = -3*c - 3*b + 10, 0 = 3*c + 3*b - u for c.
1
Suppose i + 3*l = 15, -2*l + 6 = -0*l. Suppose 5*b = 20, -z + 2*b - 63 = -i*z. Let x be (-6)/(-33) - (-31)/11. Solve 2*v = 3*f - 17, 4*f - z = x*v + 12 for v.
-1
Let f be -4 - (-4 + 0/(-1)). Solve 0 = -4*p - f*h - 2*h + 14, h = -4*p + 13 for p.
3
Suppose 10*b = 8*b + 16. Solve -3*x - 5 - 3 = -2*l, -2*l = 5*x + b for x.
-2
Let a = -7 - -9. Suppose -d = -0*d - a. Solve 0 = d*w + 4*c + 20, -5*w = -w + 5*c + 31 for w.
-4
Suppose 3*z + 0*z = 0. Suppose 2*t + t - 9 = z. Solve 0 = -4*a + 3*x, 2*a - 29 + t = -5*x for a.
3
Let n be (-5)/3*(-1 - 2). Let d = -33 - -38. Solve 3*l - 2*l + 2*s = 3, -n*s + 5 = d*l for l.
-1
Suppose 0 = -7*a + 13*a - 18. Solve -a*z - 5*x + 5 = -7, 4 = z + x for z.
4
Suppose 4*i = -3*z + 7 - 2, 4*z = -2*i. Let y(g) = -g - 5. Let s be y(-3). Let l be -1*2/(s + 0). Solve 3*d - i*o = -4*o + 2, -d = o - l for d.
0
Let l be (0/(-1))/(-1 - 1). Suppose 4*f - 19 = 3*s, -f - 5*s - 4 + 3 = l. Let o = -113 + 116. Solve -o*m - 9 = c - f, -m = 2 for c.
1
Suppose -4*s + 9*s - 115 = 2*z, 4*s + 5*z = 92. Let y = -7 + s. Solve -4*j = -r + 20, -2*j + r = -r + y for j.
-4
Suppose -b = -2*a - 0*b - 6, -3*a + 2*b - 10 = 0. Let k be 92/16 + a/(-8). Solve 5*t = -s + 5*s + k, -t = -2*s for t.
2
Suppose 4*z - 16 = 2*p, 5*p = 3*z + 2*p - 12. Suppose 0 = -0*l + 4*l - z. Solve -s + 2*s = -l, 2*o = s + 9 for o.
4
Let p(h) = 2*h + 2. Let w = 8 + -4. Let q be p(w). Solve -m + q = 4*b, -4*m - 3*b = -12 - 2 for m.
2
Let x = -50 - -52. Suppose n = 2*l - 9, -2*l - 3*n + 6 - 1 = 0. Suppose -2*k = -l*k + 50. Solve 0 = x*o - 10, 8*t - 3*t - k = -3*o for t.
2
Let j(v) = v**2 + 8*v + 10. Let t be j(-7). Suppose t*i = -f + 2*i + 6, 3*f +