p, 2*b = -4*p - 20 for p.
-5
Suppose 8 = -k + 2*k - 5*f, -3*f + 6 = 3*k. Solve k*a + 4*g - 20 = 0, g = 5 - 3 for a.
4
Let r be 9/(-12) - 138/8. Let u be 2/(-7) - r/63. Let j be u*((-2)/2)/(-2). Solve -k + 2*l + 0*l = j, -2*k + 5 = l for k.
2
Let d = 92 + -34. Suppose 0 = -5*x - 4*n + d, -12 = 5*n - n. Let a(v) = v**2 + 5*v - 10. Let r be a(-7). Solve 0 = -2*m + 7*m + w - 9, 5*m - x = r*w for m.
2
Suppose -3*z - 2*z + 20 = 0. Suppose -40 = -4*o + 2*v, -6 = -z*o - 5*v + 6. Solve o = -2*l, -3*p + 5*l + 40 = p for p.
5
Let x(b) be the second derivative of -b**3/6 - 4*b. Let v be x(-3). Solve v*w - 2*w = -4*q - 11, -3*q - 12 = -3*w for w.
1
Let m = -2 + 8. Suppose 0 = -m*g + 2*g. Solve g = 3*u + 3*z + 9, 2*u + 1 = -5*z - 2 for u.
-4
Let f = 5 + -3. Let p be -3*f*(2 + -3). Solve 1 = -x + o - 1, -x = -5*o - p for x.
-4
Let y = 6 - 1. Solve -k + 8 = -5*g, 3*k + g - y = k for k.
3
Let o(y) = -y**2 + 4*y + 2. Let j be o(3). Let b(r) = r**3 - 2*r**2 - r. Let q be b(3). Solve -j*i + q = 2*g - 5, -2*i = 5*g - 17 for g.
3
Let x(g) = g**2 - 5*g - 6. Let h be x(6). Let k be (-2)/(-4) + (-3)/(-2). Solve -5*p - 6*w + w = 0, h = -3*p + k*w for p.
0
Suppose 0 = -g + 9 + 1. Solve 5*u + 3*z = 4, -3*u - 2*u = 5*z - g for u.
-1
Let x(v) = 2*v**2 + 2*v - 1. Let j be x(1). Solve 2*m - 4*g + j*g = 0, g - 4 = 0 for m.
2
Let m = 5 + -7. Let g be -31*(2/2 + m). Suppose 0 = r + 2*r - 6. Solve -12 = 2*d - 5*s + r, -4*s + g = 5*d for d.
3
Let s be ((-1)/(-1) - 6) + 37. Solve -3*f + s = -4*r, -4*r - 16 = 4*f - 3*f for r.
-5
Suppose 94 - 104 = -2*b. Solve 4*d = b*o - 21, -d + 4*d + 5*o = 28 for d.
1
Let h = -137 + 139. Solve 3*g - 9 = -3*u, -h*g + 9 = u + 2*u for g.
0
Suppose -3*h = -3*v + 3, -4*v + 0*h = 5*h - 40. Solve 2*z - 13 = -v*w + 10, 3*z = -2*w + 18 for z.
4
Suppose 16 - 46 = -10*v. Solve -5*j - 4*n = 15 + 26, -j - v*n - 17 = 0 for j.
-5
Let o = -2 + 4. Suppose 5*g - 24 = -w, -4*w - o = -2*w. Let n be -1 + 5/(5/6). Solve -g*z = -n*y - z + 32, -5*y = z - 17 for y.
4
Let y = -7 - -11. Solve 20 = -y*n + 2*n + 4*g, n - 10 = -3*g for n.
-2
Let v(n) = 5*n**2 - n - 2. Let h be v(-1). Solve -3*p = -3*g - h*p + 15, p + 17 = 5*g for g.
4
Let v = 11 - 3. Solve 2*b - 4*k = -v, 9 = -3*b - 0*b + 5*k for b.
2
Suppose -z - 22 = -5*y, 3*y + 2*z - 16 - 5 = 0. Solve q + 18 = 2*t + 2*t, y*q = 5*t - 15 for q.
2
Let n(c) = c**3 - 18*c**2 + 19*c - 17. Let l be n(17). Solve 2*y - 4*m + 13 = m, 0 = -5*y - 3*m - l for y.
-4
Let o = 2 + 3. Suppose -3 = o*k + f, 5*k - 15 = 4*f + f. Suppose 12 = 4*z - k*z. Solve -j = -z*s + 1 - 7, 2*j = -s + 5 for s.
-1
Suppose 3 = -5*w + z - 1, 5*w - 4 = -z. Solve 3*k - 2*o + 25 = w, 0*o = k + 4*o - 15 for k.
-5
Suppose 11*b - 7*b = 0. Solve -4*q + 4*u + 16 = b, -q = u - 6*u - 20 for q.
0
Suppose -3*u - 75 = -87. Solve 8 = 2*b - 2*w, u*w + 22 + 0 = -2*b for b.
-1
Let t be (-1)/(22/(-12) - -2). Let g = 11 + t. Solve g*j + 2*a = -20, j - 2 = a + 1 for j.
-2
Suppose 5*v + 2 = -4*l, 4*v + 0 = l + 11. Suppose 59 = v*y - 3*w, -3*y + 90 = -5*w - 0*w. Solve -2*m - y = -5*i, -11 = -5*i + 4 for m.
-5
Let p = -27 + -13. Let t = -21 - p. Solve -2*s = 3*n - t, -5*n - 3*s = -25 - 5 for n.
3
Let h(w) = -w**2 + w. Let p be h(2). Let k be 234/14 - p/7. Solve -k = -4*r - 3*b, 5*b + 7 = 2*r - 8 for r.
5
Let w(b) = -19*b - 1. Let x(i) = 19*i + 1. Let s(k) = -4*w(k) - 5*x(k). Let y be s(-1). Suppose 0 = -2*u + y + 8. Solve 0 = -5*p - 20, 3*f - 4*p - 9 = u for f.
2
Suppose 0 = 3*p - 5*l - 16 - 5, -3*l = -3*p + 15. Solve -2*c - 3*r - 6 = -19, p*c + 17 = 3*r for c.
-1
Let f = -117 - -177. Suppose 0 = 4*v + c - 65, 6*v - 3*v = -3*c + f. Solve -3*i + v = m + 4*m, -2*m - 3*i + 15 = 0 for m.
0
Let g = -42 + 46. Solve -g*z + 12 = 3*i - z, -i - 5*z = -4 for i.
4
Suppose -r + 4 = -0*r. Let o = 4 + 0. Suppose -17 = -o*y - j - 3, -j = -5*y + 13. Solve -3*w - r*q = -6*w, -13 = w + y*q for w.
-4
Let u be (3 + (-42)/24)/((-1)/(-4)). Solve j - u*y = 4*j - 20, -3*j - 4*y = -19 for j.
5
Suppose 0 = -x - x + 6. Suppose 5*o - 4 = x*o. Suppose j - 9 = -5*b, 0*b - b + 1 = 0. Solve 3*a - 4 = -o*f, -3*f + 2*f = j*a - 7 for a.
2
Let i(x) = -x**3 - x**2 - 3*x + 2. Let n be i(0). Solve -4*k + 6*k - 4*l = 10, -2*l - n = -4*k for k.
-1
Suppose 0 = 5*o - 4*o - 3*l + 124, -5*o - 642 = -4*l. Let f be 1/(-2)*o/5. Solve 3*t = 5*b + f, -4 = -4*t + 5*b + 5 for t.
-4
Let k = -72 + 36. Let u = -21 - k. Solve -7*j - u = -2*j + 2*f, 5*j - 3*f + 15 = 0 for j.
-3
Let a(k) = k - 8. Let u be a(11). Suppose j - 4*j + 11 = 5*q, -u*q - 5 = -4*j. Solve -5*b = -5*i + 2 + 18, -j*b - 13 = -3*i for b.
1
Let j = -7 - 2. Let g = 12 + j. Solve 0*p - 2*p = -g*o + 5, 0 = o - 3 for p.
2
Suppose 7*c - 10*c + 9 = 0. Solve -3*p - 2*z = -10 - 3, c*z - 22 = -5*p for p.
5
Let f(b) = b - 10. Let p(o) = o - 9. Suppose -3*y = y + 12. Let i(k) = y*p(k) + 2*f(k). Let q be i(5). Solve -q*w + 16 = -4*t, 5 = 5*w - t + 1 for w.
0
Suppose -o = -2*o - 2*l + 24, -l = -2*o + 23. Let n = o + 11. Solve 0 = 3*w + 2*d + n, -2*d + 15 = -7*w + 2*w for w.
-5
Let c(f) = 10*f - 4. Let u be c(-4). Let p = -26 - u. Let z = 28 - p. Solve 3*j + m + z = -m, -14 = 3*j - 2*m for j.
-4
Suppose -5*t = 5*t - 40. Solve -14 = 2*u - d, -2*u - 4*d + 10 = t for u.
-5
Let p = 62 - 58. Solve -2*b = -p*d - 4, 4*d + 3*b = -0*d + 16 for d.
1
Let h(c) = c + 4. Let f be h(0). Suppose -f*u - 9 + 25 = 0. Let l be (u/12)/(2/18). Solve 3*y + 4*o - l = 0, -3*y = 3*o - 1 - 2 for y.
1
Let j be (-6)/4*(14 - 16). Let p be 4 + 0 + (3 - 2). Solve -p*z + j*g + 2*g = 30, -3*z - g = 6 for z.
-3
Let w = 9 - 18. Let g be 214/9 + (-2)/w. Solve 0 = -4*r - 4*b - g, 2*r - b - 3 = -0 for r.
-1
Let v(y) = -y**2 + 7*y - 6. Let c be v(5). Let r(a) = -a + 8. Let i be r(c). Solve 0*l + 5*l = -3*u - 13, 0 = -i*u - 3*l + 1 for u.
4
Let y be (8/5)/((-6)/(-15)). Suppose -44 = -y*t + 16. Solve -x + 2*x - 5*w = 5, 5*w + t = 3*x for x.
5
Let t be (15/9)/((-1)/(6/(-2))). Let g(v) = 2*v + 1. Let w be g(1). Solve 5*j - 3*j - t*q = -16, -18 = -3*j - w*q for j.
2
Let j be (2 - 8)/(0 + -1). Suppose 0 = -5*x - 2*t + j, -5*x = 3*t - 4 - 5. Suppose 0 = 2*u - 6 - x. Solve -u*s + 12 = 0, a - 19 = -0*a - 5*s for a.
-1
Suppose -2*r + y - 12 = -3*y, -4*y + 14 = -3*r. Let c be 35/20 + r/(-8). Let l be c/(-6) - 16/(-3). Solve -l*h = 5*b + 22 + 13, -3*b = h + 11 for h.
-5
Let g(n) = 2*n + 9. Let s be g(-3). Solve -5*b + o = -14 - 3, s*o + 15 = 3*b for b.
3
Let f = 3 + 0. Let w be ((-3)/2)/(1/2). Let c = 8 + w. Solve c*m + 5*x - 12 = 4*m, f*x + 4 = 5*m for m.
2
Let t = 0 - -5. Suppose 12 + 8 = t*n. Solve -4*r + r = -f - 9, 3 = r + n*f for r.
3
Suppose x - 4 = -2. Let i be (5/(5/4))/x. Suppose -2*r - 24 = -g - g, -4*r = -8. Solve 5*n - 4*v = -5*v - 25, -g = n + i*v for n.
-4
Suppose -2*t = 6*c - 4*c - 4, t + 2 = 0. Let l = -3 - c. Let n = l - -13. Solve -2*u - 3*p = 3*u + n, -5*u + 4 = -2*p for u.
0
Let u be 6 - -2 - (5 - 1). Solve u*g + 5 = -t, -4*t = -3*g - 2*t - 12 for g.
-2
Suppose -5*d + 4*a - 2 = -8, -3*a + 3 = 0. Suppose 4*h = 6 + d. Solve 2*n + 2*u + 4 = 0, 2*n - 6*n = h*u + 8 for n.
-2
Let k(l) = 4*l - 3. Let h(q) = q + 7. Let z be h(-5). Let y be k(z). Suppose -3*s + 7 = -2*f + 34, f = y*s + 31. Solve -2*v = 2*a - v - f, 5*v + 30 = 5*a for a.
4
Suppose 4*g + u + 8 = -3*u, 3*u = g - 6. Let l be g/((-5)/((-15)/6)). Solve -6 = -2*w, l = s + w - 2*w + 8 for s.
-5
Suppose 0 = 5*y + 4*i - 8, -9 = -3*y - i - 0*i. Solve -3*s - 5*r - 11 = 13, 0 = 4*s - y*r for s.
-3
Let k be 6/(-9) - (-34)/6. Suppose -2*m - 3*r - 27 = 0, 0*m - 5*r + 5 = -k*m. Let f = 21 - m. Solve 2*o - 3*g - 2 = 0, 0 = 4*o + 4*g + f - 11 for o.
-2
Let a = 12 + -7. Suppose 0 = -10*j + 15*j. Let c be 5 + (j/1)/(-2). Solve -a*d + 31 = 4*p, -3*p = d - c - 10 for d.
3
Let h = -14 - -30. Suppose 0*a - 24 = -5*t + a, -2*t - a = -11. Let b be 3/(-3 + (3 - -1)). Solve y = 5*l, b*y + h = -t*l + 4*l for y.
-5
Let o(w) = w**3 - 2*w**2 + 2*w - 1. Let x be o(1). Suppose 18 = -3*y - x*y. Let c be 0/2 - y/3. Solve -u = -3*z + 16, 5*z + 2 = -c*u + 14 for u.
-4
Let v(u) = u**2 + u - 3. Suppose 0 = h + 2*h - 5*p + 16, -5*p = -25. Suppose h*l + 5 = -4. Let n be v(l). Solve n*x - 12 = -2*j, x = -5*j - x + 19 for j.
3
Let h(d) = d**2 - 5*d. Let n be 2 + 5/(10/4). Let a be h(n). Let x = -2 - a. Solve -m - m = y + 9, m = x*y - 2 for y.
-1
Let v(h) = -h**3 + h**2 - h + 4. Let f be v(0). Let 