1). Let m be (-2 + 1)*(g - -1). Let x(t) = t + 7. Let j be x(-3). Solve 2*y + m*s = j*s - 12, -2*s + 12 = 5*y for y.
4
Let y(b) = b**2 + 11*b + 16. Let c be y(-11). Let z = c + -14. Solve 3*k - 4*m = -2, -z*m + 1 = -4*k + 5 for k.
2
Suppose 17 = 5*b - 3. Solve 0 = -k + q + b, k + 0*k + 21 = -4*q for k.
-1
Let l(g) = g + 12. Let o be l(0). Suppose 0 = -5*m + o + 28. Solve u + 13 = -3*b, -m = 4*u - 2*b + 3*b for u.
-1
Suppose -t = -2*i + 1, 5*i + 5 = 4*t - 0. Suppose 5*r + t = -0*r. Let k = 2 - r. Solve -3*y + 2*d = 4*d - 6, k*d = y - 13 for y.
4
Let g(d) = d**2 + 2*d - 7. Let s be g(-5). Solve -3*r + 0 = 5*f - 1, 0 = -2*f + 3*r - s for f.
-1
Let q be ((-15)/(-9) - 4/6)*2. Solve -r = 2*i + q*i + 13, -16 = -2*i + 4*r for i.
-2
Let y(f) be the first derivative of -f**3/3 + 11*f**2/2 - 8*f - 4. Let c be y(10). Suppose c*q = -2*q. Solve -w - 2*m + 11 = q, -2*w = 2*m + m - 17 for w.
1
Let o(n) = n**3 - n**2 + n + 3. Let u be o(0). Let a = 105 + -49. Let p be (-36)/(-14)*a/12. Solve -u*r + x = -2*x + p, x = -r + 6 for r.
1
Let n = -6 + 11. Suppose 5*t - 82 = 4*l, -4*l - l = -n*t + 85. Let y be 46/t + 8/(-28). Solve 3*w - 1 + 19 = -y*j, 4*w + 26 = -5*j for j.
-2
Let s = 7 - -2. Let t = -8 + s. Solve -k - 4 = 3*p, -3*p - 3*k - 5 - t = 0 for p.
-1
Let d = 11 - 10. Solve -3*x + 2*m + 8 = 0, 2*x + 5*m + 0*m = -d for x.
2
Let m = 1631 - 1071. Let z be m/55 + 4/(-22). Solve 0 = -2*i + b - 15, i - b + z = -0*i for i.
-5
Let w = 1 - 1. Suppose w*x - 6 = -2*x. Suppose -2*n + 4 = -6. Solve -s - 4*s = 4*a + x, n*a + 15 = 5*s for s.
1
Suppose 4*c = 11 + 9. Suppose 0*m + c = 2*w + m, 4*w = 2*m + 30. Solve 2*j + 8 - 30 = 4*v, -w = v for j.
1
Suppose -1 + 12 = 2*j - 5*n, n + 11 = -4*j. Let k be j + 4 - -1*23. Solve d + 4*d + 2*w = -10, 5*d = w - k for d.
-4
Suppose s + 6 = -4*p, -s + 4*p + 36 = 3*s. Solve -5*l + 5*t - 18 = 4*t, 3*t = -s for l.
-4
Let j(v) = -v + 6. Let z be j(6). Suppose z = 3*l - l. Solve l*h + 11 = -n - 3*h, -2*n - 2 = -4*h for n.
-5
Let t(b) = 2*b**3 - 3*b**2 - 6*b + 5. Let h be t(3). Solve -d - h = 3*u, -5*d - 12 = -2*u + 7 for d.
-5
Suppose 0 = 4*q - 10 - 6. Solve 0 = -4*x - q*v + 20, 4*x + 4*v = 3*v + 5 for x.
0
Let u = -26 + 29. Solve -u*m + 4*s - 3 = 0, 4*m + 2*s + 14 = 4*s for m.
-5
Let w = -3 + 3. Suppose w = -q - 2*q + 18. Suppose -q*v + 100 = -v. Solve -n - 5*u + v = 2*n, -3*n - 4*u + 16 = 0 for n.
0
Let q(j) = j**3 + 6*j**2 - 5*j - 3. Let h be q(-6). Suppose -2*x + h = 4*a + 3*x, 0 = -2*a + 3*x - 3. Solve -2*d = 2*p + p - 20, 0 = a*p + d - 16 for p.
4
Let h be ((-10)/8)/(4/(-208)). Suppose -10*i + 5*i = -h. Suppose -i + 1 = -g. Solve -3*r - 3*m = 18, 5*r = 4*m + g + 3 for r.
-1
Let s be (4 - 1)*40/12. Suppose 0 = p + 4*p - s. Solve i = -p*h, i - 5*h = 4*i for i.
0
Suppose -6*f + 2*f = -112. Let z be 36/f - (-2)/(-7). Solve -c + z = 2*v - 3*v, 3*v + 2*c = -13 for v.
-3
Suppose 8*i + 2 = 18. Let z be (-36)/16 + 2/8. Let x(a) = a**2 + 2*a + 3. Let r be x(z). Solve -2*b - 7 = 5*u, 14 = 8*b - r*b + i*u for b.
4
Let d be 1/1*(4 + -4). Suppose -s = -4*z - 5*s + 8, 4*s = 3*z - 27. Solve f + 3*h + 2 = -11, d = z*h + 15 for f.
-4
Let q = 6 - 1. Let p(b) = 2*b**3 + b**2 - b. Let j be p(1). Suppose f - j*f = 0. Solve 4*c + 2*r = -14, -17 = q*c - f*r + 3*r for c.
-4
Let t be -4 - -1 - 5*(1 - 2). Solve t*h + 2 = 0, -1 = -4*v + h - 0 for v.
0
Let s(y) = y - 3. Let q be s(4). Let f(k) = 2*k + 1. Let t be f(q). Suppose x + 6 = t*x. Solve h + x*o + 1 = 7*o, -2*o = h + 7 for h.
-5
Let p(w) = -w**3 - 13*w**2 + 17. Let k be p(-13). Solve 18 = -q - 4*l, -q = -4*l - 5 - k for q.
2
Let f be 22/(-99) - (-112)/18. Solve -2*w + 0*w - f = -2*l, 0 = l - 2*w - 7 for l.
-1
Let s be 2/6 - 19/3. Let z be (-9)/s*(-8)/(-6). Let y = -15 - -15. Solve y = 3*g + 2*h + 4, 2*g + z = -h - 0 for g.
0
Let g be 0*(-1)/2*1. Solve g*j = 2*t - j - 6, -2*t - 3*j = -22 for t.
5
Let d(p) = p**3 - 4*p**2 - 3*p - 5. Let i be d(5). Solve 0 = -2*b - 2*r + 8 + 2, -2*r = i*b - 19 for b.
3
Let t(l) = -l - 1. Let x be t(-4). Let r be (1 + 2)*(-2 + 3). Let k be r/(-18)*2*-6. Solve p - x = h, k*h + 2*p = 3*h + 6 for h.
0
Let d(j) = -j + 11. Suppose -32 - 13 = -5*n. Let x be d(n). Let g be 15/(-3)*(-3)/5. Solve 2*b + 12 = b - 4*h, g*b = -x*h - 16 for b.
-4
Let d = 80 - 77. Solve 5*p = -3*l - 2 + d, -2*l + 4 = 5*p for l.
-3
Suppose w + 3*z - 16 = -0*z, -4*w = 5*z - 29. Let l be (w - 0 - 1)*-1. Solve 2*k - 2*y - 2 = l, 4*k = -5*y + 4 - 0 for k.
1
Let a = 32 - 29. Solve -a*q + u - 4*u = -15, q - 11 = -3*u for q.
2
Suppose 4*z + 5*w - 33 = 0, -3*w = -4*z - 4 - 3. Let g = z - 0. Solve 4*t - 2*n + 26 = g, -n = t for t.
-4
Let a be (8 - -1) + 0 + 1. Suppose -p = -2*v + 3*p - 2, 0 = -5*v - p + 17. Suppose -v*l = -l - a. Solve -6*b + 2*b + 4 = 4*k, l*b - 5 = 5*k for b.
1
Let r(s) = 3*s**2 - s - 6. Let i be r(-2). Solve 2*j - 5*l + 16 = 0, 0 = 3*j + j + 2*l + i for j.
-3
Suppose -2*j + j = -4. Suppose -3 - 19 = -3*t - j*n, 0 = -5*t + 2*n + 54. Let k be (-4)/(-10) + 346/t. Solve 4*w + 0*g + k = 5*g, 2*g - 6 = 0 for w.
-5
Let h(y) = -y**2 + 5*y + 9. Let f be h(6). Solve n = -2 + f, 3*s = -2*n + 8 for s.
2
Suppose 3*z - 8*o + 3*o + 3 = 0, 2*o + 14 = 5*z. Solve 3*q + z*c = -q - 4, 4*c + 18 = 3*q for q.
2
Let v be (2/4)/((-1)/6). Let d be (20/(-8))/(2/(-4)). Let w be 10/v*(-6)/d. Solve -w*n - 2*k = -2, 3*n - 4*k + 7 = -8 for n.
-1
Let p be 285/12 + 6/(-8). Suppose 3 - p = 4*f. Let w(a) = a**3 + 5*a**2 + 5. Let q be w(f). Solve b = -q*l + 3, l = -l - b for l.
1
Suppose -4*n = 41 - 105. Suppose 0*b - 4*b = 2*a + n, -3*a + 2*b - 24 = 0. Let k = -5 - a. Solve 0 = -j + k*r + 9, r = 6*j - j - 3 for j.
0
Suppose 1 = -v + 3. Suppose -4*g = 6*c - 4*c - 16, c = v*g + 4. Suppose 0 = -c*b + 2*b + 12. Solve -6 = -5*u - 2*s - 1, -12 = -3*u - b*s for u.
-1
Suppose -7 = -2*r - 1. Suppose 0 = 2*n - r*h + 5 + 2, 2 = 5*n - h. Solve 8 = 5*u + 2*q, 3*u - 11 = 4*q - n for u.
2
Suppose -3*f = -1 + 10. Suppose -3 - 12 = -5*c. Let h = f + c. Solve -v = k - 9, -v + 29 = -h*k + 5*k for v.
4
Let t = -3 + 8. Let b be (-24)/(-9)*(-6)/(-4). Suppose -5*v - 4 = b*m + 8, 5*m = -v + 6. Solve m = 3*x - 3*z - 13, x - 2*z = t for x.
5
Let u = -61 + 88. Suppose -5*z = c - u, 3*z = 2*z - 5*c + 15. Let i be 1 + (-1 - -1 - 1). Solve i = -2*v + 3*v + 2*k + 1, 0 = -5*v - z*k - 5 for v.
-1
Let h = 23 + -20. Suppose -o = 4*c - 11, o = -h*c - 4*o + 4. Suppose 0*p = p - 5, 3*f + 2*p = 49. Solve 3*z + c = 2*z + u, -2*u + f = 5*z for z.
1
Suppose 3 = v - 2. Let a be 3/(v - 2) + -1. Suppose a = 5*y - 24 - 36. Solve 4 - 1 = -s, -5*s - y = 3*n for n.
1
Suppose 0 = -7*u + 12*u. Let y(i) = i - 4. Let w be y(6). Let g = 5 - w. Solve u = -x - 2*d - 3, d + 0*d - 1 = -g*x for x.
1
Let h(u) = -u**2 - 7*u - 4. Let c be h(-6). Let s be (c/4)/((-1)/(-2)). Solve 0 = 4*j - 13 + s, 5*m - 40 = -5*j for m.
5
Let j(c) = -c - 6. Let d be -11*1 - (0 - 2). Let n be j(d). Solve n = -2*x + y, 7*x - 4*y + 17 = 4*x for x.
1
Suppose 0*j + 2*j - b = 2, 3*j + 5*b = 16. Solve 4 = 4*u + 3*d + 2*d, -j*u + 2 = d for u.
1
Let y(w) = w**3 + 3*w**2 + 2*w + 8. Let r be y(-3). Solve -4*n + 1 = -3*b, -2*b = r*n - 5*n for b.
-3
Let q(y) = -y**3 + 15*y**2 - 14*y + 30. Let t be q(14). Suppose -s + 7 = j, 0*s = 5*j + 2*s - 29. Solve -t = 4*z - f - f, 0 = -j*z + 2*f - 35 for z.
-5
Let g be (5 - 1) + -7 + 6. Solve 2*t = 3*x + 19, -g*t - 14 = -2*x + 6*x for x.
-5
Let u = -22 - -43. Let z = -8 + u. Solve -5*m + 6*l + z = 2*l, m + 3 = -2*l for m.
1
Suppose 0 = -r - 4*l + 4, l - 4*l = 0. Suppose -3*o - r*x + 18 = 0, 2*x + 18 = 3*o + x. Solve o*i + 5*g - 10 = 3*i, -5*g + 10 = -3*i for i.
0
Suppose -h - 3*h - 16 = 0. Let o(b) = -b**3 - 3*b**2 + 3*b - 1. Let m be o(h). Solve -m*w - 4*t = 7, 5*w = -2*t - t - 19 for w.
-5
Suppose 10 = -2*b - 4*p, b - 6*b = 4*p + 1. Suppose b*o - 6*o - 11 = -5*y, -2*y + 11 = o. Solve 4*n - 2 = -5*c, 4*n = y*c + 2*n - 12 for c.
2
Suppose 0 = 3*h + 3, 0*h - 74 = 4*s - 2*h. Let f = -5 - s. Solve -3*o = -2*z - 1, 0*z + z + f = -3*o for o.
-3
Let k = -13 - -20. Suppose 2*v - k = v. Let i be 1/3 + 5/3. Solve -i*r - 2*t = 0, -2*t - 4 + v = 3*r for r.
3
Let x(f) = -f + 6. Let z be x(3). Solve 0 = -3*c - 3, 2*c + 20 = 5*w - z*c for w.
3
Let i be (-46)/(-14) - 14/49. Suppose -5*m + 22 + i = 0. Solve 5*x - 4*j = -5, 4*x + m = -2*j + 27 for x.
3
Suppose 122 = -2*l - 4*s, -4*l + 3*s - 318 =