. Solve -o = -h + 4*v - 19, 0 = h + v - 2 for h.
-2
Let i(a) = 16*a - 5*a**2 - 7*a - 3*a**2 + 3*a**3 - 2*a**3. Let u be i(7). Let k = 6 - 4. Solve k*z + 18 + 0 = 2*y, -2*y + z = -u for y.
5
Let n = 40 - 38. Solve -3*h - 3 - 16 = 4*v, 11 = -n*h - v for h.
-5
Let y = -3 - -3. Solve 2*s - 4*n = 8, 4*s - 5*s - 2*n + 4 = y for s.
4
Let a = -2 + 32. Suppose 0*m = 5*m - a. Suppose 6 = -4*n + m*n. Solve 22 = 3*f - 7*f - 5*u, 2*f - n*u = 0 for f.
-3
Suppose 0*b + 4*b = -16. Let y be (b - -1)*(-4)/6. Suppose -1 = -y*o + 5. Solve -4*d - 4 = -3*w + o, -8 = -2*w + d for w.
5
Let b(j) = -j**3 + 9*j**2 + 11*j - 12. Let m be b(10). Let d be (1 + m + 1)/2. Solve -2*z - 12 + d = -3*h, 3*z = -5*h + 20 for z.
0
Suppose 5*r + 2*f = 4*f - 19, 7 = r + 5*f. Let x be (2 + -1)*(0 - r). Suppose 5*w = -2*k + 4*w + 53, 2*k - 2*w = 44. Solve 4 - 6 = a, -5*a = -x*l + k for l.
5
Let a(h) = h**3 - 2*h**2 - 2*h - 3. Let x be a(3). Suppose x = -0*o + 5*o. Solve r = t - 1, -t = -o*t - 4*r - 16 for t.
-4
Let y be (-8)/7*(-84)/24. Solve 3*c - y*r = 8*c + 21, 15 = 5*c - 5*r for c.
-1
Let b be (-15 + 5)/((-28)/(-8) - 4). Solve -4*m = 5*t + 32, -t - 4*m = t + b for t.
-4
Suppose 0 = 3*t - 0*t - 15. Solve r + 7 = t*w, -2*r - r + 17 = 4*w for w.
2
Let r(p) = -p + 12. Let d be r(9). Solve 3*n - 4*a = -2, -n + d*n - 4*a = 0 for n.
-2
Suppose 12 + 8 = 4*a. Solve 2*j = -4*z + 16, -j = z + 2 - a for j.
-2
Suppose 3*k = -2*k + 40. Let u be 35/20 - (-2)/k. Solve 3*w - 3 = 2*r, 4 = 4*w + 2*r + u*r for w.
1
Let i be (9/(-4))/((-3)/(-8)). Let x(v) = -v**2 - 6*v + 7. Let r be x(i). Let t = r + -3. Solve 3*f = -5*l + 10, -3*f + 23 = -4*l + t for l.
-1
Suppose -g + 3*f + 32 = -f, -2*f = 2. Solve 13 = -2*l + 2*o + o, 5*l = 3*o - g for l.
-5
Let f(d) = -2*d - 11 - 4*d + 3*d. Let h be f(-8). Solve -5*u - h = -4*j, 3*j - 7 = -u - 2 for j.
2
Let f be (20/(-60))/(2/(-12)). Solve -3*z = 2*p, f*z - 4*z = -4*p for p.
0
Suppose 2*q + 5*f = -2 + 6, 0 = -2*f - 4. Suppose 4*a - 1 = q. Suppose 0 = j + 5*h + 8, -5*j - h - 3 = -11. Solve -j*y = 5*l - 19, 0 = a*y - 3*l + 13 + 8 for y.
-3
Suppose -11 - 13 = -8*t. Solve -5*s + 3*s + y - t = 0, 5*y + 3 = s for s.
-2
Suppose -8 = 2*j, 3*s - 25 = 6*s + 4*j. Let k be ((-4)/(-10))/(s/15). Let w be k/6*(-1 + -14). Solve f - 17 = w*q, -2*q - 3 = -5*f - 10 for f.
-3
Let d = 20 - 12. Let s(f) = -f - 10 + 4 - 4*f + 6*f. Let r be s(d). Solve -2*l - 1 = 5*g + r*l, l + 4 = 0 for g.
3
Let h be ((-5)/15)/((-1)/6). Suppose -13 = h*w - 3*w. Let z be 2 - (1 - 1 - w). Solve n + z = 3*j + 5, j + 1 = -4*n for j.
3
Let l(u) = -u**2 + 7*u + 2. Let g be l(7). Suppose -g*x + 5*x = 0. Suppose 0 = -x*z - 5*z + 15. Solve 4*c + 7 = y, 2*c + 9 = -2*y + z for y.
-1
Let w(o) = -o**2 - 22*o - 16. Let x be w(-21). Solve -5*h + 5 = 2*u - 6, -3*h + 18 = x*u for h.
1
Let k(t) = t**3 + 6*t**2 - 7*t + 5. Suppose 0*q - 3*q - 21 = 0. Let b be k(q). Solve -b*u + 7 = 4*n + 24, 13 = -n - 3*u for n.
2
Let t(i) = i - 11. Let a be t(13). Suppose -2*j = 2*q + a*j - 4, 2*q - 4 = -j. Solve 0 = -3*o + q*o + 2, -3*n - 3*o - 3 = 0 for n.
-3
Let r = 26 - 26. Solve g - 3*b + 4*b = 0, 4*g + b + 12 = r for g.
-4
Suppose -5*z + 2*p = -14, 2*z - 3 = -5*p - 9. Solve -z*j + u = 3, -2*j + 4*j - 2*u + 6 = 0 for j.
0
Let b = -25 + 28. Solve b*i - 13 = 2*k - 0, 3*k = -4*i + 6 for k.
-2
Suppose -3*m + 7 = 4*o, 0*m - m - 5 = 5*o. Solve c - 2*c - 3*v + 6 = 0, 2*c - 11 = -m*v for c.
3
Suppose -r + y + 32 = 0, -3*r + 4*y - 2*y + 93 = 0. Suppose 1 + r = 3*a. Solve 4*q - q = -2*b + 8, -4*q = 3*b - a for q.
4
Suppose -4*y = -3*i + 2*i - 10, -4 = -3*i - 5*y. Let w be (-1 - 3)/(-3 - i). Let g be (-8)/6*(-3)/1. Solve g*n + 8 = -w*z, -3*n - 3 = z + 3*z for z.
3
Let v be 2/4*(31 - -1). Solve 0 = 3*h + 5*f + v, h - 2*h - 4 = f for h.
-2
Let h be (-90)/27*12/(-5). Solve -3*x + 2*o - 4 = 0, 3*x - 28 = h*x + 2*o for x.
-4
Let c be (-1)/(-4) + (-5)/4. Let b be (0 - -1)*c - -10. Let n be (-1)/(1 - 12/b). Solve 11 = -5*l + k, l + 2*k - 3*k = -n for l.
-2
Suppose 2*m - 13 = -n, 0 = -5*n + 4*m + 12 - 3. Solve n*l - 15 = -5*b, -3*b + 0*l - 2*l = -7 for b.
1
Let y(m) = -3*m - 8. Let d be y(-6). Suppose -2*h = 3*l - d + 1, 0 = 5*l + 4*h - 15. Solve -l*s - 5*n = -0*s - 27, 5*s - 5*n = 5 for s.
4
Suppose 5*z = 5*u, -u + 0*z = 4*z + 25. Let p = 11 + u. Let x = p + -2. Solve -2*r + x = -5*k, 0 = k - r - 3*r + 8 for k.
0
Suppose 2*b - 3*p = -0*b, 0 = -b + 3*p. Solve 0 = u - b*u - 4*w - 9, -3*u - w = 12 for u.
-3
Let t be -4 + (10 - 15/(-5)). Solve t = r + 3*z, -r + 4*z - 8 - 11 = 0 for r.
-3
Let b be (-37)/(-7) - (-4)/(-14). Let i(c) = c**3 - 3*c**2 + c + 2. Let j be i(3). Let u be (-5)/(j/(-3)) + -1. Solve -v + 29 = -5*t, u*t + 2*t = -b*v for t.
-5
Let t = -32 - -34. Solve 5*m - 2*l + 7 = 40, -t*m + 4*l + 26 = 0 for m.
5
Let n(m) = -m + 5. Let o be n(5). Suppose 5*j = -o*j - 5. Let w be 2*(2 + j) - 0. Solve 0 = 4*z - 20, -2*k - 8 = w*z - 20 for k.
1
Suppose 9 = -3*f + 6*f. Solve -4 = -f*m - w, 4*m - 3 + 4 = 5*w for m.
1
Suppose -3*x = 2*x. Suppose -y + 5*y = x. Solve 0 = 2*b - 6, b + 6 = -3*j - y*b for j.
-3
Suppose 0 = 3*s - 2 - 4. Solve -5*x = -3*z - 0*z + 15, -s*x + 5 = z for x.
0
Suppose 0 = -g, 0 = 3*i + 3*g - 6 - 6. Solve 36 = -i*q + 4*k, -5*k + 13 = -0*q + 3*q for q.
-4
Let u(g) = -g**2 - 6*g - 6. Let o be u(-4). Suppose -2*d = -4 - o. Solve 0 = 3*a + 3*s + 6, 3 = a - d*s - s for a.
-1
Let m = 3 - 5. Let y = 6 + m. Solve -r + y = 0, -5*i + 8*r = 5*r - 3 for i.
3
Suppose -4*c = -4*s + 64, -2*s - s - 4*c + 20 = 0. Solve 0*g + 4*g = 2*u + s, -8 = -2*g + 2*u for g.
2
Let m(r) be the third derivative of r**6/120 + r**5/6 + r**4/3 - 7*r**3/6 + r**2. Let o be m(-9). Solve 5*k + 0*s = s + 24, 4*k - 18 = o*s for k.
5
Suppose -11*q + 50 = -q. Solve -32 = -5*c + 3*v, -v = q*c + v - 12 for c.
4
Suppose -2*d + 5 = -4*h - 7, 2*h - 2 = -d. Suppose m = -d*m + 20. Solve 2*t + 3*t = -4*r + 18, 0 = 5*t - 3*r - m for t.
2
Suppose -7 = 3*m - 1. Let u be (-1 + 1 + 1)*m. Let x be (10 + u)*(-1)/(-2). Solve x*z - 3*r + 1 = 0, -z - r = -2*z for z.
-1
Let g(x) = -x + 12. Let p be g(9). Suppose -o = -0*o. Suppose b - 2*b = o. Solve y - 5*y + 2*j + 14 = b, -3*j = -p*y + 9 for y.
4
Let j(l) = 7*l - 5. Let n be j(1). Solve 4*d + 8 = -4*h, 2*d = -0*d + n*h + 12 for d.
2
Suppose -d - 20 = -2*c, 0 = 4*c - 3*d - 33 - 9. Suppose c = 4*m - 11. Solve 4*p - 3 - 1 = 0, 4*n + m*p - 17 = 0 for n.
3
Suppose -10 = -z - z. Solve -7*p + 2*p - 15 = 0, -4*y + z*p + 19 = 0 for y.
1
Suppose 14 = -0*x + 2*x. Let b(t) = t**3 - 5*t**2 - 10*t + 2. Let n be b(x). Solve 4*f - n = -5*k, -6 - 3 = -2*k - f for k.
2
Let z be (3/15 + 1)*10/3. Solve 20 = -5*h, b + b = z*h + 22 for b.
3
Let v be (-2)/9 + 1071/81. Let u = 18 - v. Solve -4*y + 0*g + g = -10, 7 = -y + u*g for y.
3
Let r(p) = p**3 + 4*p**2 + 2*p + 2. Let a be r(-3). Suppose -5*h = -a - 5. Let t = 20 - 12. Solve -c = -h*d - 12, -3*c + 0*c + t = d for d.
-4
Suppose 0 = -3*n + 5*b + 1 + 4, 1 = -b. Suppose -13 = -3*u - 1. Let c = u + -1. Solve 4*m - 15 = 3*s - n, -c*s + m - 6 = 0 for s.
-1
Let q = -37 - -62. Suppose k + 25 = 5*k + 5*h, -q = 2*k - 5*h. Suppose k + 8 = 4*f. Solve 3*u = -5*o - 7, 2*o = -3*u + f*u - 3 for o.
-2
Let t be (-1*(1 - -1))/(-2). Let w = -1 + t. Suppose w = -a - a. Solve -4*u - 4 = -4*p, 0 = -a*p - 5*p for u.
-1
Let j = 5 - 3. Suppose 3*f - 4*f - 3 = -5*p, 5*f - 3*p - 7 = 0. Suppose f*w = w + 3. Solve j*y + w*z = -3, -3*z = 3*y - 0*z for y.
3
Let n(t) = 4*t**2 - t - 1. Let p be n(-1). Solve -5*q = -o + 17, 5*o = -4*q + 2 - p for o.
2
Let q = -51 + 56. Solve y + q = 2*p, y - 24 = -3*p - 3*y for p.
4
Let t(i) = -2*i - 9. Let b(v) = 7*v + 1. Let s be b(-1). Let g be t(s). Suppose -2 = -g*f + 46. Solve 4*l + 7 + 8 = -o, 3*l - 4*o = -f for l.
-4
Let n(p) = -p**2 + 5*p + 6. Let u be n(6). Suppose 1 + u = -c, -3*o + 3 = -3*c. Solve t - 5*s + 2 - 22 = o, 2*s = 3*t - 8 for t.
0
Suppose 2*c - 6*c = 0. Suppose 2*o + 18 = -c*h + 2*h, 40 = 4*h - 5*o. Solve -h*w + 6 = -2*f, -2*f - 2*f = -w - 6 for f.
2
Let d be (2/11 - (-119)/(-231))*-12. Solve d*h + 2 = -y + 12, -y = h - 1 for h.
3
Let i = -7 - -7. Suppose 8 = -i*o + o. Solve 4*q - 4*d + o = 0, -d - 2 = -0*d for q.
-4
Suppose -5 = -2*j - 3*b + 7, -3*j - 4*b = -16. Solve 3*z - 3*p - 3 = j, -2*z + 5 = 2*p - 13 for z.
5
Let v be 0/((-2)/(-2) - 3). Suppose 5*i - 10 = 0, 62 = 4*a + 2*i - 26. Sol