0. Let h = 9 + x. Suppose -5*l - 2*w - 2*w + 19 = 0, 16 = -4*w. Solve -i - h*f = f + 1, -i + l = -3*f for i.
4
Let u = 8 - 3. Solve k - 3 = u*m, -m - 12 = -4*k - 3*m for k.
3
Let j = 0 + 4. Solve -10 = 3*c - 5*g + 2, -5 = j*c - 3*g for c.
1
Suppose 0*n - 3*n - 4*r = 26, 2*n + 3*r = -19. Let k be 1/n*0/12. Solve 16 = -k*t + t - 5*q, -5*t + 4*q - 4 = 0 for t.
-4
Let i(v) = 16*v - 1. Let d(y) = y - 5. Suppose 4*q + 6 = 5*q. Let u be d(q). Let b be i(u). Solve 4*z - b = 3*r, 6*z - 3*z - 9 = 0 for r.
-1
Suppose -1 = 5*t - f - 16, t + 8 = -2*f. Suppose -6 = -3*b, -5*m + 5*b + 9 = t*b. Solve 4*l = 0, -2*z + z = -m*l for z.
0
Let g = 171 + -160. Solve 0 = -2*s + 3*r - 16, -4*r = -s - 7 - g for s.
-2
Let d(a) = 4*a - 4. Let v be d(1). Solve 3*j + 5*x = -7, -1 = -x - v for j.
-4
Let l(h) = 4 + h - 1 + 2. Let j be l(-5). Suppose j = -2*k + 32 - 2. Solve -4*v + k = -v + p, 0 = 2*p for v.
5
Let k(x) = -x**2 - x + 12. Let p be k(3). Solve p = 5*b + 2*m - 25, 0*b + 5*m - 28 = -b for b.
3
Let x = 0 - -3. Solve 4*l = -2*s, 0*s + 4*l = x*s - 10 for s.
2
Let a = -31 + 36. Solve -2 = 4*r + 3*g + 5, -5*r - a*g = 10 for r.
-1
Let w = 3 - -1. Let q be 388/16 + (-2)/8. Suppose 5*s = -4*h + 12, -2*h + 0*h + 2*s + q = 0. Solve -2*u - u + 3*g = 12, w*u + 4*g = h for u.
-1
Let d(c) = c**2 - 2*c - 4. Let h be d(3). Let r be (0 - h)/(4/12). Solve -2*y + 2 = -l, 0*l + 11 = -2*l - r*y for l.
-4
Suppose -3*m - u = -0*m - 19, 0 = -5*m + 2*u + 17. Suppose -4*l + 4 = -2*y - 2, l + 3 = m*y. Solve 3*q = l*n + 2*n - 2, 2*q - 4*n = 0 for q.
-2
Let b(s) = s. Let c be b(3). Solve -o + 0 = -k - c, -3*k + 5*o - 11 = 0 for k.
-2
Let l be 1 - (5 + -2 + -2). Let h be (-5)/(-15)*(-96)/(-2). Solve 3*s - m - 5 + h = l, 0 = s - 2*m + 2 for s.
-4
Suppose 3*u - 3*h = 6*u - 6, 5*u - h = 10. Suppose -r + u = -0. Solve -r*y + 3*y = -x, 0 = 3*x + y + 8 for x.
-4
Let q = 90 + -62. Solve k - 4 = 0, -2*x + q = 2*x + 5*k for x.
2
Suppose 3*h = -0*h + 15. Suppose 2*y - h = 4*y - 3*x, 2*x = -2*y + 10. Let u be 2/(-4)*y*-2. Solve -5*o + 0*k + 4*k = 8, u*k - 4 = -3*o for o.
0
Let i = -36 - -39. Let j = 3 - 1. Suppose -z + 5 = j, -4*z + 20 = 4*b. Solve -4*x + x + i*s = 24, -5*x - b*s - 12 = 0 for x.
-4
Suppose -11 = -4*f + 29. Let l = f + -7. Solve -l*u - w - 7 = 4, 17 = -u - 3*w for u.
-2
Let h = 150 + -229. Let u = h - -111. Suppose 0*p - 4*p = -u. Solve -2*i + p = -5*j, -2*j - 8 = 5*i + 1 for i.
-1
Let d be (6/(-18))/((-2)/(-6)). Let t be -2 - d - -8 - 2. Solve -3*x + 4 - 9 = -4*w, -10 = -t*w + 5*x for w.
-1
Let o = 18 + -14. Solve r = -5*n + 14, 3*r + o*n - 7 = 13 for r.
4
Let w = 60 - 58. Solve 5 = -h, -w*h = 3*o - 6*h - 35 for o.
5
Let d be (0 + -1 + 1)*-1. Solve -3*f + 4*m - 6 = -2*f, d = -3*f - 4*m + 14 for f.
2
Let y be 4/(-3)*(-18)/4. Suppose -4*b - 32 = -3*c, 2*c - 5*b = 7*c + 5. Let a be 0/c + (-17)/(-1). Solve 3*x - 37 = -5*j + y*x, -j + 3*x + a = 0 for j.
5
Let t(i) = -i + 7. Let a be t(-10). Solve 4*q = 5*n + a, -5 - 8 = -2*n - 5*q for n.
-1
Suppose y + 3*x = 3, 15 = 4*y + y - 5*x. Suppose 0 = -m - 5*a - 0*a - 11, -3*m + 57 = -y*a. Solve -o - 8 = w - 3, -2*w + 4*o = -m for w.
-1
Let w(n) = -n**3 - 11*n**2. Let y be w(-11). Solve -5*l - g = -6*g + 25, y = -2*g + 10 for l.
0
Suppose -2*o - 5*r + 32 = 0, 0*o = -3*o - 3*r + 39. Suppose -o = -4*f + 9. Let m = 6 - 4. Solve 3*h + 3*u = m*u - 5, 29 = -3*h + f*u for h.
-3
Suppose 0 = 4*n - 3*n. Solve n = l - 4, -y + l + 6 = y for y.
5
Suppose -4*f = -9*f + 40. Suppose k = 5*c - 13, -3*k - 3*c - 1 = -f*k. Suppose -24 = -4*n + 12. Solve 4*p + k = -5*m, 0 = -5*p + 3*m - 12 - n for p.
-3
Suppose 0 = -y - 4*r - 6, 0 = 3*y - r - 10 + 2. Let b = 6 + -6. Solve b*k - 6 = -2*k - y*w, 0 = -2*k + 3*w - 4 for k.
1
Suppose -3*p = 4*r - 18, p - 4*p = -3*r + 3. Solve 0*f - r*f = 3*y - 21, f = y - 3 for f.
2
Let h(j) = -17*j - 1. Let f be h(-1). Solve 0 = -5*b + 3*i + 2*i, b - 5*i - f = 0 for b.
-4
Suppose 0 = 5*k - 0 + 10. Let z(i) = -i**3 - i**2 + i - 2. Let y be z(k). Suppose 0 = 3*d - 2*d - 20. Solve y*b = -2*r + 5*b - d, -2*r + 4*b - 16 = 0 for r.
0
Suppose -x + 16 = 3*x, 4*x - 36 = -5*y. Solve -20 = -9*k + y*k, -4*k + 32 = -4*f for f.
-4
Let p(a) = a**2 - 5*a + 4. Let g be p(4). Suppose g*x + 5*x = 20. Let y be (2 + (-12)/(-10))*5. Solve -4*o - x*r = -y, -3*r + 6 = o - 6 for o.
0
Let o be 152/7 - (-14)/49. Let c(m) = -m**3 - 5*m**2 + 5*m - 4. Let h be c(-6). Let y = 3 - -1. Solve 4*z + o = 2*q, q - y = z + h for z.
-5
Let x = -73 + 73. Solve 0 = -5*n + 4*p + 10, -4 = -3*n - x*n + 2*p for n.
-2
Suppose -18*u + 13*u = 0. Suppose -4 = 2*d - 0*d. Let a be 5 - (u/d + 2). Solve -1 - a = 2*m, 2*m + 1 = z for z.
-3
Let t be 20 + -4 + (-2)/(-1). Suppose -t + 6 = -z. Let f be -3*(-2)/z*10. Solve 4*w + 37 = -f*p + 8*w, 4*p + w + 17 = 0 for p.
-5
Let f = -159 + 161. Solve 3*v + 12 = f*v + 2*s, -4*v + 2*s - 18 = 0 for v.
-2
Let f(i) = 2*i - 1. Let j be f(4). Suppose -3*x + 6 + 6 = 0. Suppose -x*n = -7 - 49. Solve 3*r - j = m, -n = -4*m + 3*m - 4*r for m.
2
Let r(n) = n + 2. Let v be r(2). Solve 3*z + 13 = -2*p, 4*p + v = 8*p - 4*z for p.
-2
Let b(r) = -r - 7. Let q be b(-7). Suppose 3*w + 0 - 3 = q. Solve -4*d + 3*h - 13 = -w, -5*d - 3*h = -12 for d.
0
Let d be (4 + 1)*36/15. Suppose 2*b = 2*w + 6, 4*w + 5*b - d = 3. Suppose w = -2*y + 6 - 2. Solve 0 = y*f + 4*q + 4, -1 + 6 = -f - 3*q for f.
4
Let g(q) = -5*q - 35. Let x be g(-8). Solve 0 = 3*d - x*j - 10, 5*d - 1 = 4*j - 6 for d.
-5
Let p(b) = -b**2 + 6*b - 3. Suppose -3*a - 5*w - 6 = -21, 5*a - 25 = -4*w. Let h be p(a). Solve 0 = g - i + h + 2, 3*g = -5*i + 28 for g.
1
Let d = 31 - 24. Let l be -3*4/(-18)*-3. Let i be l/7 + 30/d. Solve 3 = 3*u + i*o, 0*o = 3*o + 9 for u.
5
Let v = 1 - -4. Let d(n) = n**3 + 4*n**2 - 8*n - 7. Let i be d(-5). Suppose -i - 12 = -4*f. Solve -2*b + 0*b - 15 = v*a, f*a - b = 0 for a.
-1
Let g be (-1)/4 - (-130)/40. Solve 2*p - g*x + 16 = 0, 4*x = -5*p - x - 15 for p.
-5
Let y be (-15)/10 + (-27)/(-2). Suppose 3*k = -0*k - 3*s + y, s = 4*k - 11. Solve 4*l - k*f - 29 = 0, -2*l - 1 = -l + 2*f for l.
5
Let t = 1 + 1. Suppose -2*f + t*g + 9 = -9, -4*f + g + 21 = 0. Suppose -s + 3*r = f, 4*s + r - 18 = s. Solve s*k - 5 = 5*y, -5*k + 0*k = 3*y - 13 for y.
1
Let h be 4/2 + -2 - -3. Suppose 0*t = -h*t. Solve 4*j + 3*n + 32 = 0, -2*n + 1 - 9 = t for j.
-5
Suppose 0 = -2*x - 0*x + 8. Suppose -j + x = j. Suppose 5*f + 20 = -p, -5*f - 6 = -2*p + 29. Solve -j*z - p*u = z - 40, 5*u = -4*z + 45 for z.
5
Let s = -4 - -8. Suppose t + t = -4*r + 28, s*t + 5*r = 47. Let i = -11 + 15. Solve 4*g - 28 = t*g + i*w, 4*w = 2*g + 2 for g.
-5
Let s(f) = f - 5. Let a(q) = -q**3 - 2*q**2 + q + 2. Let o be a(-3). Let g be s(o). Solve 0*c = -g*z - 3*c - 9, 0 = -5*z + c - 27 for z.
-5
Suppose -5*i + 32 = 3*u, 0 = -3*i + 5*u - 14 + 6. Let d be 6/i + (-54)/(-12). Solve 5*w + d = -5*m - 14, -5*m + 4*w = 2 for m.
-2
Suppose -5*v + 10 = 0, 0 = -7*c + 2*c + 4*v + 12. Solve -5*l - o + 1 - 4 = 0, 2*l + c*o = 6 for l.
-1
Let i(m) be the third derivative of -m**6/120 - m**5/12 - 5*m**4/24 + m**3/2 + m**2. Let n be i(-4). Solve 5*u = 5, -d - u + n = 4*u for d.
2
Let m = -7 + 4. Let y = -2 - -7. Let o = m + y. Solve h + 8 = -3*p + o*p, -8 = 3*h - p for h.
-4
Let q(j) be the first derivative of -j**3/3 - 3*j**2/2 - 3*j + 4. Let i be q(-6). Let m be (-26)/(-7) - 6/i. Solve o = -4*w + 2, -m = -3*o + w + 2 for o.
2
Suppose 2*l = -0*l. Suppose 3*w = 5*t - l*w - 31, 4*w + 13 = t. Let a be ((-9)/12)/(1/(-4)). Solve b - t*z + a = -13, -3*z + 20 = 2*b for b.
4
Let d(y) = y**2 - 2*y. Let s be 3*3/6*2. Let q be d(s). Suppose 4*c + 34 = q*v - c, v + c + 2 = 0. Solve -3*a - 3*k + v = 0, 3*a - a = 3*k - 18 for a.
-3
Suppose 2*x = 2, -2*q + 2*x + 32 = -4. Solve -5*b = -c - q, 9 = b - 5*c - 14 for b.
3
Let z(u) = -u**3 - 10*u**2 - 9*u + 5. Let d be 3/(-6) - (-34)/(-4). Let g be z(d). Solve 8 = p - g*m, p + p = -m - 6 for p.
-2
Suppose -4*s - 25 + 33 = 0. Let m(y) = y**3 - y**2 - 2*y + 3. Let w be m(2). Let t be w/(-6) + 11/2. Solve t*x = c + 4 + 8, 0 = c + s for x.
2
Suppose 0 = -3*i + 9 - 3. Suppose 5*o - 4 = -b + 16, -i*o = -4*b + 14. Solve 0 = -2*x + 3*n + 9, -11 - 9 = -5*x + b*n for x.
3
Let r = 11 + -7. Solve -f - 2*l = -9, -2*f + l = r*l - 13 for f.
-1
Let q = 13 - 11. Suppose 9 = 3*l - 39. Let n = q + l. Solve -2*g + 3*c + n = 0, -4*g + 7 = 2*c 