0). Let a = -2 - -6. Solve -a*h - z + 0*z = d, -h + z - 2 = 0 for h.
-2
Let r(b) = b**3 - b**2 + b + 2. Let w be r(0). Let t(v) = v**2 - v. Let h be t(0). Solve w*q - 6 = -2*m, -4*q - 4 = -h for m.
4
Let u = 32 - 29. Solve u*f + 4*o - 18 = o, 2*f + 4 = 2*o for f.
2
Suppose -10 = 3*g + 5*l, 2*g + 5*l + 4 = 3*l. Solve g = -2*m + 2*p - 4, m - 7*p + 2*p + 22 = 0 for m.
3
Let k(o) = 2*o + 21. Let v be k(-8). Solve -v*h - 5*p + 35 = 0, 8*p - 23 = h + 3*p for h.
2
Let c = -21 + 23. Solve -4*s - 5*g = -41, -5*g = 2*s - c*g - 23 for s.
4
Suppose -68 - 72 = -7*g. Solve 0*n + 5*n = g, j - 3*n + 12 = 0 for j.
0
Let h = 52 + -75. Let d = h + 39. Solve j + 20 = 3*y + 3, d = -3*j + 2*y for j.
-2
Let d be 30/7 - 2/7. Suppose 4*x - 7 = 5*t, 2*x - 5 = -x + 4*t. Let k be (18/(-48)*-2)/((-2)/(-48)). Solve d*w = -b + k, -w - 3 + 1 = -x*b for b.
2
Let n be 48/(-18)*(-3)/2. Solve -3*w + 10 + 11 = 2*x, -3*w = -n*x - 3 for x.
3
Let u be -2 + 4 - (1 - -1). Let h = u - -2. Solve h*m + 15 = 3*t + 2, 0 = m - 2*t + 8 for m.
-2
Suppose -3*a = 9, 0*u = 5*u - 2*a - 6. Suppose -5*n - 5 + 20 = u. Suppose n*w + 0 - 6 = 0. Solve 19 = -3*z + 4*g - 7, -18 = 4*z - w*g for z.
-2
Let k be 2 + (0/(-1))/(-3). Let o(g) = -g**3 + 3*g**2 - 3*g + 2. Let j be o(k). Suppose 4*q - 11 + 3 = j. Solve 4*y + 8*h - 4*h - 16 = 0, -2*h - 8 = -q*y for y.
4
Let o be 9/(-3) + 8 + -1. Let h be ((-1)/o)/((-8)/160). Solve h*m = 4*l - 13, -4*l + 0*m + 6 = 2*m for l.
2
Suppose 0*m + 4*m = 2*k + 24, m + 5*k = 6. Solve -z - 6 = -2*r, 5*z + m + 3 = 3*r for z.
0
Let i(z) = z**2 - 2. Let j be i(2). Suppose j*k - 2 = k. Solve c + 0*c = -k*y + 2, y = 3 for c.
-4
Suppose 74 = -3*i - 4*g, 0 = -2*i - i + 3*g - 39. Let m = 34 + i. Suppose 4 - m = -4*p. Solve 3*w = -2*l - l + 3, p*w - 3*l = 27 for w.
5
Let g(a) = 2*a**2 - 11*a + 8. Let c be g(5). Let i(d) = -d - 1. Let s be i(-2). Solve 0 = -4*m - c*v + 24, -3*m = -v - v - s for m.
3
Suppose -w + 2 - 16 = 4*s, -4*w + 4*s = -44. Suppose 3*i - w = -0*i. Solve 3*x - 5 = -d, -i*x + 2*d - 10 = -7*x for x.
0
Let k be (8/3)/(26/156). Solve 4*m - 2*i - k = 2*i, 17 = 4*m - 5*i for m.
3
Suppose 0 = -0*p - 4*p. Suppose 0 = -p*v + 4*v. Suppose 4 = x - v. Solve t + 4*s = 11, x*s - 7 = t - s for t.
3
Suppose -5*g - 6 = -z, -4*g = 4*z - 2*g + 20. Let n = z - -8. Let p = 6 - 2. Solve r + x = p*r + 16, -n*r = -x + 21 for r.
-5
Suppose 5*y + 4*b = 3*b + 19, y - 2*b + 5 = 0. Solve 0 = -y*g - 2*z + 7*z - 13, 0 = -4*g - 4*z + 4 for g.
-1
Let f = 17 + -13. Solve -w + 3*q + 17 = 0, f*q + 21 = 5 for w.
5
Let n = -6 - -4. Let c be (-3)/3 - (-5 - n). Suppose -c*r + 0*r = -10. Solve 0*o = -4*o + r*p + 45, 3*o - 3*p - 30 = 0 for o.
5
Let j(s) = s**3 + 8*s**2 - s - 6. Let d be j(-8). Solve 13 = -d*q + 4*q + 3*a, 0 = -5*q - a for q.
-1
Let y be (8 - 2)*(-1)/1. Let c be (-3)/(-2) + (-33)/y. Solve c*o + 12 = 3*u + 4*o, -o = 2*u + 7 for u.
-1
Let m be 6 - (-3 - 1)*(-10)/40. Solve 5*q + 4*s = -37, -q = -5*q - m*s - 35 for q.
-5
Let f = 10 - 6. Solve 2*x + x - 4*n = -19, 5*n = -f*x + 16 for x.
-1
Suppose 2*c = 6*c - 20. Solve 10 = -3*f - a - 6, -4*f + c*a + 4 = 0 for f.
-4
Let l be (8 - (1 - 1)) + -1. Suppose 5*u = i + 3, -3*u + i + 2 - 1 = 0. Solve -k + l = q, -2*k = -5*q + 15 - u for q.
4
Let t be -3 - (-5 - -1) - (-1 + 0). Solve 3*f + 10 = 2*u, -4*u - f = -t*f - 20 for u.
5
Let j = 9 + -5. Suppose -r = -5*r. Suppose r = z - j*z. Solve 2*y + 3*n - 18 - 2 = 0, -y + n = z for y.
4
Suppose 4*f - 5*p = f + 40, -2*f + 5 = p. Solve b - 5*b - 5*y = -1, f = -b + 4*y for b.
-1
Suppose 30 = 4*h - 2*b + 4, -2*h - b + 11 = 0. Let o be (32/(-12))/(h/(-9)). Solve -4 - 1 = -5*l, -o*k - 3*l = 9 for k.
-3
Let w be (-25)/(-2) - 6/(-12). Let i = w + -8. Solve -n - 27 + 12 = 4*j, -3*n = 4*j + i for j.
-5
Suppose m = 6*m - 20, 0 = -5*f + m - 109. Let c = f - -31. Let j be 18/(-15)*c/(-3). Solve -3*r + 26 = -4*s, -5*r - j*s + 5 = -3*s for r.
2
Let d = -3 + 9. Let k be (d/(-2))/(-1) + 1. Let l be ((-22)/(-6) + -3)*3. Solve 1 = k*x - v, 3*x - 4*v = 2 + l for x.
0
Suppose 3*z = -3*z + 36. Suppose -3*i - 16 = -2*w, -9 = 4*w - 5*i - 37. Let d be -2 - (-2 - z/w). Solve -3*j + 1 - 10 = -d*y, -3*j - 9 = -5*y for j.
-3
Let k = -3 - -4. Let v = 4 - 2. Let p = v + k. Solve -5*b = 3*m, p*b - b = -5*m + 19 for b.
-3
Let f be (-3 + 28/(-12))/(7/(-21)). Solve 5*m + f = 3*l, 2*l + m = -m for l.
2
Let i(k) be the third derivative of k**5/60 + k**4/24 - 8*k**2. Let w be i(-2). Solve -4*p - 17 = -m, -w*p - 2*p = -3*m + 11 for p.
-5
Let x be 10 + (1 - -2 - 3). Let l be (-4)/x - (-243)/45. Solve -2*w - 2*v = 10, -8 = v - l for w.
-2
Let c be (-2 - 8)*15/(-2). Suppose -2*n = -7*n + c. Solve 5*s = -5*f + n, 3*s + 0*s - 3*f - 3 = 0 for s.
2
Let a = 4 + -1. Suppose u - 20 = -9*u. Let i = -4 - -6. Solve 0*g - 4*g = i*n + u, -a*n = -4*g - 17 for g.
-2
Let c = 3 + 5. Solve -4 = -2*i, -5*f - c = 3*i - 2*i for f.
-2
Let c be (2/(-5))/(5/25). Let y be 2 + c/(3 - 1). Suppose -r + 0*r + y = 0. Solve o + d = 2 + r, 0 = -2*o + 5*d - 15 for o.
0
Let p(x) be the third derivative of -x**6/120 + x**5/5 - 5*x**4/12 - 5*x**3/3 - x**2. Let f be p(11). Solve 0 = -z - 2*j + f, 2*z - 3*j + 2 + 17 = 0 for z.
-5
Let z(x) = 4 + 0*x - 5 - 2*x. Let b be z(-2). Suppose 0*s = 4*f - 4*s - 28, 2*f + 2*s = 34. Solve 4*n = 4 - 20, 3*j + f = -b*n for j.
0
Let z be 2/(4*3/144). Solve -4*l = 2*r + 2*r + z, 3*l = -9 for r.
-3
Let a(i) = -i**3 + 2*i**2 + 5*i - 3. Let d be a(3). Solve 2 = -2*q - x - 1, 3*q = -d*x - 9 for q.
0
Let f be 4 + (-5)/(10/8). Solve 3*t + f*v - 3 = 3*v, t + 4*v + 14 = 0 for t.
-2
Let x be (-2)/(-8)*-6*-2. Suppose -w = x*h + 1, -h - 2 = 5*w - 11. Solve 2*g = w*m - 8, -5*g - 32 + 12 = 4*m for m.
0
Let t be (-4)/(-6) - (-66)/9. Suppose 3*g - t*g = -80. Let n be 5/10*0/1. Solve 2*q = 4*c - g, -3*q + 2*c - 25 + 9 = n for q.
-4
Suppose -3*n + 2*n - 5*k + 8 = 0, 16 = 2*n + k. Suppose -3*h = h - n. Solve -4*y - 26 = -t - 5, 0 = h*y - 4*t + 28 for y.
-4
Suppose 0 = -8*c + 6*c + 28. Let o = -7 + 10. Solve -4*p + 4 = -l, -2*p + 2 = o*l + c for p.
0
Let i = 0 + 5. Let z(m) = m**2 + 1. Let o be z(0). Let j be i/((-5)/(-4)) + o. Solve 25 = -4*x + j*p, -4*x + 3*x = -p + 6 for x.
-5
Suppose -5*f - 9 - 9 = -4*z, 2*z - 4*f = 12. Let w = 4 - z. Suppose -m - j + 11 = 2*j, 4*m + 4 = 4*j. Solve -m*k + 3*v + 8 = -w*v, -k = v + 3 for k.
-1
Suppose 0 = -a + 5, 10 = 4*f - 2*a. Let z(k) = -k**3 + 3*k**2 - k. Let i be z(2). Let w = 7 - i. Solve -r - 2*g + w = 0, 0*r - r - f*g + 8 = 0 for r.
3
Let b be (2/3)/(4/18). Suppose -3*z + b = -12. Solve -z*m = -20, -2 - 2 = 3*k - 4*m for k.
4
Let o(t) = -t**3 + 4*t**2 + t + 2. Let v be o(4). Let s(h) = h - 1. Let x be s(v). Solve -d - 9 = -0*d + x*r, 0 = 3*r + 6 for d.
1
Suppose 14*g = 85 + 153. Solve o = -4*i - g, 2*i = -5*o - 0*o - 13 for o.
-1
Let a be 8*(-1 + 0)*1. Let p = 4 - 8. Let q be (-26)/a + 1/p. Solve 25 = -5*s - f - 3*f, 2*s = -q*f - 10 for s.
-5
Suppose -10 = -5*y + 4*u, 5*y = -5*u + 16 - 6. Solve 3 = h + f + 2*f, 4*h + y*f - 12 = 0 for h.
3
Let v = 89 + -71. Solve -4*k - 3 = -0*k - 5*z, 2*z = -4*k + v for k.
3
Let l = -50 - -5. Suppose 17 - 142 = 5*f. Let b = f - l. Solve -3*j + 37 = 5*a, -3 = -2*j - 3*a + b for j.
4
Let o(a) = 6*a**2 + 8*a + 1. Let x(t) = -5*t**2 - 7*t. Let s(b) = -4*o(b) - 5*x(b). Let m be s(3). Solve 2*p = -q - m, 3*q + 11 + 16 = -3*p for p.
-5
Let a be ((-20)/(-15))/(1 - (-4)/(-6)). Solve -a*s + 21 = -q, 6 = -q + s - 0*s for q.
-1
Let z(v) be the first derivative of -v**2 - 2*v - 1. Let f be z(-4). Let n = f + 14. Solve 0 = -2*b + 3*x + 5, 0 = -2*b - 4*x - 8 + n for b.
4
Suppose 20*f = 18*f + 24. Solve o + f = 3*u + 2*u, o + 6 = 2*u for o.
-2
Suppose 12 = 3*b + 3*m, 2*m = -5*b - m + 20. Solve -6*x + b*s = -x - 36, 3*s = -12 for x.
4
Let r = -1 - 1. Let j be 0/(-3 - 0) - r. Solve -t + l = -1, 3*t + 1 = j*t - l for t.
0
Let v(l) = l**2 - 5*l + 6. Let f(t) = -t - 2. Let d be f(-6). Let k be v(d). Suppose 0 = -4*x + k*x + 6. Solve -3*c + 5*j = -c - 5, x*j - 8 = -c for c.
5
Let s be (-26)/(-3)*(10 + -7). Solve s = 5*b + y, -4*b = -y - 2*y - 17 for b.
5
Let t be (-3 - 0) + 6 + -4. Let q be 2 + -3 + (t - -1). Let s = q + 1. Solve -5*n - 4*z + 6 - 21 = s, 2*z = 4*n - 14 for n.
1
Suppose 3*v - 8 = -2. Solve 0*p - v = c - 3*p, -2*p = 2*c - 4 for c.
1
Let c be 6/(0/3 - -1). Suppose k + 4*u - c*u - 1 = 0, 5*k = 2*u + 