 = -u - b*w - 2 - 8 for u.
-4
Suppose 4*k = -0*k. Let s = 9 + -5. Solve 0 = -p - j, s*p + j + 9 = -k*p for p.
-3
Suppose 0 = 3*w - 0*w - 3*b - 15, 0 = -3*w - 5*b - 9. Solve w*j = 5*n + 13 + 11, 2*j - 16 = 3*n for j.
2
Let k(b) = -b + 1. Suppose -d + 37 = -5*j + d, -2*j - 2*d = 12. Let o be k(j). Solve 0 = -3*l + 2*f, 2*l + 2*f + o = l for l.
-2
Suppose -4*x = -3*k + 29 + 3, 4*x = -3*k + 16. Let b = 23 - 18. Solve -b*z + 10*z = 4*s + 7, -z + k = -3*s for z.
-1
Suppose -2*y - 5*i + 18 = 2*y, i + 2 = 0. Solve 4*s = -4*b - 20, y*b + s = 4*b - 15 for b.
-5
Let o = 0 + -4. Let m be 7/14 + (-14)/o. Suppose m*f - f = 12. Solve -2*s = -6*x + 3*x + 2, -f*s - x = 4 for s.
-1
Let j(o) = -o + 3*o - 6*o**3 - o. Suppose 4 = l - 5*l. Let c be j(l). Solve -3*d + 37 = -c*t, -t + d - 11 = -2 for t.
-5
Let j(v) = -v**3 + 10*v**2 - 9*v + 4. Let d be j(9). Suppose -q + k - 3 = 0, -18 = -3*q - d*k - 6. Solve q = -2*m + m - 4*h + 10, -h = -5*m - 13 for m.
-2
Let l(g) = -2*g + 3. Let z be l(4). Let n(x) = -x - 3. Let h be n(z). Solve 8*j = 5*d + 3*j - 15, -h*d - 19 = 3*j for d.
-2
Suppose 3*y - 7*h + 2*h = 19, -13 = -5*y - h. Solve o - 10 + 4 = y*a, 2*a + 21 = -5*o for a.
-3
Let n be ((-4)/1)/(-1) + 16/16. Solve -5*p = n*f - 10, -4*p = -3*p + 5*f - 14 for p.
-1
Suppose a - 12 = 4. Solve 0*y = -2*y - 4*u - a, y - 2*u = 4 for y.
-2
Let s(y) = 2*y - 2. Let f be s(3). Solve -4*i + 24 = f*c, 4*c - 3*c - 5*i = -6 for c.
4
Suppose 24*b + 25 = 29*b. Solve j + 5*u + 25 = 0, b*u + 38 - 13 = 5*j for j.
0
Suppose 3*a - 4 = 2*a. Solve -4 = a*m, -3*m = -4*i - 8*m - 25 for i.
-5
Suppose -c = -4*c, -2*c = 3*q - 9. Solve -q*n - j + 17 = n, -3*n - 4*j = -29 for n.
3
Suppose 264 - 275 = -z. Solve w = 1, -5*v - w + z = -10 for v.
4
Suppose 75 = 2*v - y + 10, -110 = -3*v - y. Suppose -z + v = -3*l + 13, -4*l - 55 = -5*z. Solve c = 2*h + 1, 3*h - z*h = 5*c - 19 for c.
3
Suppose -5*h + 520 = -4*z, -z = 2*z. Suppose -3*d = -h - 16. Let s be 6/(-27) - 4/(-18). Solve -4*n - 2*t - 28 = s, -d = 4*n + t + 4*t for n.
-5
Suppose 0*n + 5*n = 25. Suppose c + 39 = 4*c. Suppose 1 = -2*z - 3, 2*z = 3*s - c. Solve n*t - 2*w = 8, -4*t + 7*t - 9 = -s*w for t.
2
Let n be (-9 - -13)*(0 - -1). Solve 0 = n*x - 5*s + 5, -4*s + 3 = -2*x - x for x.
-5
Let x be ((-2)/(-3))/((-1)/(-3)). Let c be -1 + (2 - x) - -3. Suppose 5*p + 3*a = 10, 2*p + 0*a - 4 = c*a. Solve 13 = -5*m + 2*m - 2*i, 0 = p*m + 5*i + 5 for m.
-5
Suppose -15 = 5*x - 0, -x = 2*a - 39. Solve 2*y + 30 = 5*s, -3*y - 2*y - s - a = 0 for y.
-5
Let y be 4 + -3 - (-15 - -2). Solve -2*p + 2*q = -y, -5*p - 5*q - 1 - 14 = 0 for p.
2
Let r be (-1)/7 + (-116)/(-28). Solve f = 5*n + 20, -r*f - 4 = -3*n + 1 for n.
-5
Suppose -2*t + 3*n + n = -36, -t + n = -14. Suppose 3*d = d - 3*b + t, -4*b = -d + 16. Solve 3*z + d = -2*m, 0*m = -2*m + 2*z + 12 for m.
2
Suppose 0*u - 20 = -4*u. Suppose u*t - 82 = 2*g - 9, 3*t - 43 = 2*g. Solve 5*r + t = 0, 0*w - 5*r = 2*w + 7 for w.
4
Suppose 0 = -2*d - 3*d + 25. Suppose -15 = -d*y - 0. Suppose y*x = -s + 4*s - 45, 4*s - 3*x = 55. Solve -z = 2*n - 4*z - 25, -n + z = -s for n.
5
Suppose -3*h = 3*h - 12. Suppose 5*x = 3*i + 2*i + 30, 0 = -3*x - h*i + 3. Solve 2*r - x*m + 4*m = -11, 3*m - 17 = 4*r for r.
-5
Let g(q) = -10*q - 7. Let d(w) = -w**2 + w + 1. Let n(m) = d(m) + g(m). Let t be n(-7). Solve 0 = -4*b + a - t, -2*b - 2 = -b - 4*a for b.
-2
Let w = -4 + 1. Let c be w*(-2 - (-2)/2). Suppose -p + c = -0*p. Solve 17 = 5*z - 4*s, -2*z + p*s + 8 = -3*z for z.
1
Suppose 0 = -2*t - 6. Let o = 1 - t. Let r = o - -2. Solve -4*q - u - r = 0, q + q + 8 = -3*u for q.
-1
Let j = -2 - -7. Suppose j*w = -2*q - 10, 4*q + 9*w - 4*w = 0. Solve 0 = q*f + t + t + 8, 4 = -t for f.
0
Let b(x) = x**2. Let f be b(1). Let o = 1 + f. Suppose 0 = 2*s + o*s + k - 13, -s - 3*k = 5. Solve 0 = -2*m + u + 5, 4*m + s - 2 = -2*u for m.
1
Let h = 1 - -3. Let b be h/8 + 42/(-4). Let f be (-10)/(-4)*(-16)/b. Solve 5*o - 29 = -f*y - 0*o, 5*o = 25 for y.
1
Suppose -2*k + 11 = -9. Let x(p) = p**2 - 6*p - 2. Let s be x(6). Let l be (1 - 2)*k/s. Solve 5*m - l*v + 20 = 0, -5*v - 6 = m - 8*v for m.
-3
Suppose 12 = -0*y + 2*y. Let l = 9 + y. Suppose 0 = -4*m + m + l. Solve 3 + 28 = -4*w - 3*q, -4*w - 41 = m*q for w.
-4
Suppose 0 = -5*a + 1 + 9. Let h(g) = -21*g - 1. Let q be h(-1). Let s be (q/6)/(a/3). Solve -3*o = 2*o - 2*z - 14, s*z - 27 = -3*o for o.
4
Let x(i) = i + 7. Let s = -22 - -14. Let f be x(s). Let g = f + 3. Solve -z = 2*n - 8, -2*z + 3*n + 4 = g for z.
4
Let q = -21 + 23. Suppose 0 = 2*f + 3 - 1. Let r = 1 + f. Solve -q*u + 28 = 5*l, -36 = -5*u - r*u - 4*l for u.
4
Suppose 25 = -5*b, -2*z = -6*z - 3*b + 5. Suppose 0 = -2*q + z*g + 14 - 4, 0 = -q - 2*g + 5. Solve 5*h + 23 = -2*m, -q*h + 1 - 16 = 0 for m.
-4
Suppose -2*j + 12 = -0*j. Suppose 5*n - 40 = -3*d, -4*d = -0*n - n - 15. Solve h + j = -n*r, 5*r = -0*r + 3*h - 22 for r.
-2
Suppose -29 = -4*a + 5*p, -21 = -4*a - p + 2. Solve -a*i = 2*u - i - 17, 3*u = i - 17 for u.
-4
Suppose -m + 6 = -2*k - 9, -4*m = -20. Let b be 4/16 - (-62)/8. Let h = b + k. Solve h*j + 3*w = 21, -j + 2*j + 5*w = 15 for j.
5
Let s(j) be the first derivative of -j**3/3 - 11*j**2/2 - 6*j - 3. Let q be s(-6). Solve -3*k + 9 = 0, -2*k + q = 3*u + k for u.
5
Let l be 0/(0 + 1 - 3). Let j(o) = 2*o + 3. Let a be j(l). Solve -2*g + a*g + 3*r = -5, 0 = 4*r + 8 for g.
1
Let q be (0/(-3))/(1 - (-2 + 2)). Solve -3*w + f = 2*w - 21, q = -w - f + 9 for w.
5
Suppose -4*c = 3*g + 13, -c - 1 = -g + 4. Let d be ((-124)/6)/(c/6). Suppose -4*i = 3*f - d, 0 = f - 3*f + 10. Solve w = -i*u - w + 26, -3*w = -9 for u.
5
Suppose 0 = -5*w - 25, -2 = -3*m - 4*w - 19. Solve 4*v + 5 + 1 = -c, 5*v = 3*c + m for v.
-1
Suppose -h + 40 = 4*h. Solve -5*o + k - 19 = 0, 3 = -o + 2*k - h for o.
-3
Suppose 3*z = -15, x + 2*z = -3*x - 70. Suppose -37*o + 33*o = -144. Let t = x + o. Solve -9 = -2*a + 2*y - y, 4*y = 5*a - t for a.
5
Let m(n) = n**3 - 4*n**2 + n - 1. Let q be m(4). Let a = 6 + -6. Suppose 2*v + 2 - 4 = a. Solve v - 2 = r + h, -q*r - 2*h - 6 = 0 for r.
-4
Suppose 6*h - 8*h = -50. Let n = h + -23. Solve 5 = -n*w + 15, 0 = -r + 3*w - 12 for r.
3
Let k(w) = -3*w - 1. Let t be k(-2). Let p = t + 0. Solve -c - 28 = -5*j - 0*c, -2*j + p*c = -25 for j.
5
Let n = 4 + 16. Let r = 54 - n. Suppose 2*v - 8 = -4*z, -3*v = -4*v - 5*z + 7. Solve -2*x + 10 = i, -5*i - 4*x + r = v for i.
4
Let l be 3*1*6/6. Suppose -l*r = -6*r. Solve 3*c + 4 + 2 = 3*o, r = -2*c - 3*o - 4 for c.
-2
Suppose 0 = 3*o + o - 4. Let n = 10 - o. Solve 5*j = -4*p - n, 6 = -5*j - 2*p - 1 for j.
-1
Suppose -7*h + 6*h + 14 = 0. Solve 3*u + 5*x + 14 = 2*u, 0 = 3*u + x + h for u.
-4
Let z be (-11 - -5)*(-1)/3. Suppose -3*f = -10 - z. Suppose 2*c - t - 2 = -0*c, 0 = 2*t + f. Solve 4*d = 2*h - 10, -5*d = -c*h - h + 11 for d.
-2
Let b be -2*(-1)/(2/4). Suppose -5*a + 8 = -12. Solve -a*n = 4*h - 4, -h + 3*n - b = -5*h for h.
1
Suppose 4*l = 46 + 6. Solve 3*j + 16 = s + 3*s, 2*j + l = 5*s for s.
1
Let o(j) = -j**3 + 8*j**2 + 2*j - 11. Let q = -7 - -15. Let m be o(q). Let w be (57 - 3)*1/2. Solve 5*g + s + 4*s = -20, m*g = 2*s - w for g.
-5
Let s be (12/4)/((-6)/20). Let a = s + 14. Suppose -3*p = -4*d - 60, -d = -2*p + 3*d + 44. Solve 3*h + 3 = a*m + 2, 4*m - p = 0 for h.
5
Suppose 132 = 35*a - 24*a. Solve -5*d = 3*o - a, 5 = -0*d + 2*d + o for d.
3
Suppose -13*h + 36 = -4*h. Solve -h*m = s - 4, 4*m - 4 = -4*s - 0 for m.
1
Let n = 19 + -9. Suppose -8*o + 3*o + n = 0, -3*o + 11 = 5*g. Solve 4*p + 13 - g = -2*x, -2*x - p - 6 = 0 for x.
-2
Let y = -2 + 6. Suppose -m - 3 = -3*w + 1, y*w = 2*m + 2. Solve 3 = w*g + 2*n, -3*g - g + 6 = 2*n for g.
3
Let o = -1 - -2. Let c be 2/o - (-2 - -1). Suppose -5 - c = -4*s. Solve -4*z - 2*f - 2 = 0, -s*f = z + f - 12 for z.
-3
Let s(y) = -4*y - 1. Let r be s(-8). Suppose r = 4*n + v, -n + 10 = -4*v + 2*v. Solve -8 = 5*l - 4*d, -3*l + n*l - 3*d = -11 for l.
-4
Let a(w) = 7*w**2 + w. Let g be (1/3)/((-8)/24). Let y be a(g). Solve -3*v + y = -2*x, -v = -2*x - 3*v - 6 for x.
-3
Suppose 5*d + 25 = 5*n, 2*d - 1 = -n + 7. Solve 2*o - 2*m = -n, -3*o - 19 = -0*o + 2*m for o.
-5
Let y = 13 - 31. Let h be y/(-10) + (-4)/(-20). Solve -5*o + 5*r = 25, -h*r - 1 - 3 = 5*o for o.
-2
Suppose g = -m + 2, -2*m + 5*g = 3*m - 20. Solve 4*v - 10 = m*x, 0*x - 2*v = x for x.
-2
Suppose 2*w - 1