4*c + 12 = 4*h, i = -4*h + 5*c + 6 for h.
2
Let u(z) = -z**3 + 19*z**2 - z + 23. Let v be u(19). Solve 5*h - 4*w = 27, -v*h + w = -0*w - 15 for h.
3
Let n = -4 - -8. Suppose -14 = -3*b + 4*q, 0 = -3*b + 5*q - n*q + 17. Solve 0 = s + 3*g + 3, -5*g + 5 = b*s - s for s.
3
Suppose -4*g + 3*g + 11 = r, 3*g = 3*r + 15. Let y = 4 + 4. Suppose -y = -4*u + g. Solve 0 = -5*n - u*l + 13, 4*n + 4*l = 3*l + 17 for n.
5
Let z = -11 + 17. Let k = 3 + -1. Let d be ((-6)/(-3) - k) + 3. Solve -3*n + j = -5, 4*n + d*j + 2*j = -z for n.
1
Let b(a) = -a + 7. Let v be b(7). Suppose j - 4 - 1 = v. Suppose -4*o + j*u + 9 + 6 = 0, -4*o + u = -19. Solve 4 = -4*d + 4*p, -3*d + d = -5*p + o for d.
0
Let r = 58 - 56. Let l(k) = -k**2 + 6*k. Let p be l(6). Solve -5*o - 8 = -p*v + v, -r*o = v + 2 for o.
-2
Suppose 11 = 4*s - b, -3*b = -3*s + 4 + 2. Solve -r - 14 + 1 = 4*n, r - s*n = 8 for r.
-1
Suppose 4*y - l + 8 = 4*l, -16 = -4*l. Solve 4*a + 31 = -5*g, y*a + 13 = 2*a - 3*g for a.
-4
Suppose -2*a + 6 + 2 = r, 4*a = -3*r + 18. Solve -a*m + 0*y = y - 18, -3*y = 4*m - 29 for m.
5
Let r(i) = -i**3 + 9*i**2 - 7*i + 9. Let v be r(8). Suppose 2*h = -l - v, -2*h = -3*l - 5*h - 39. Let o = 14 + l. Solve 0 = -o*z - b + 9, 4*z + b = z + 7 for z.
1
Let o(x) = -x - 7. Let g be o(-9). Suppose h - 5*l = 10, 2*l + 20 + g = 4*h. Suppose -70 = -5*j + h. Solve 5*t - 2*i = -j, 0 = 4*i + i for t.
-3
Let d(m) = -m**2 - m + 14. Let o be d(0). Let z = o - 6. Solve 0*g + w = g + 2, z = -4*g - w for g.
-2
Let o be ((-1)/(-2))/((-2)/(-12)). Suppose 4*p - 3*p = o. Suppose t = 2*h - 2, -h + p*t - 4*t = -7. Solve 2*v = -5*z - 5, h*z - 2 + 36 = 5*v for z.
-3
Suppose 77 = 3*w - 73. Suppose -8 = -4*b, 4*o - o - 5*b = w. Solve -3*s + s = -5*t - o, 3*s - 3*t = 21 for s.
5
Suppose 3*h = h + 4. Let s(z) be the second derivative of z**4/12 - z**3/6 + z**2 + z. Let a be s(h). Solve 3*n - 6 = -7*b + a*b, -3*n - 5*b = -2 for n.
4
Let q = 81 - 77. Solve 0 = 5*l + f + 4*f - 40, -q*l - f + 17 = 0 for l.
3
Let h be (0 + (1 - 0))*23. Solve 2*v = 2*i - v - 11, i - 5*v = h for i.
-2
Let y(g) be the second derivative of -3*g**3 + 3*g**2/2 - 4*g. Let z be y(-3). Let i = -40 + z. Solve -m + 4*u = -4*m - i, -m = -3*u - 3 for m.
-3
Let g(j) = -3*j + 17. Let v be g(5). Solve -4*y - 3*o - v*o = -6, -3*y = 2*o - 1 for y.
-1
Let s = -27 + 38. Solve y - 10 = 3*y + 2*p, -4*y = p + s for y.
-2
Suppose -6*i + 2 = -34. Solve -w + i = 2*j, -4*w + 0*j - 3 = -j for w.
0
Let f(k) = -k**2 + 3*k - 3. Let i be f(2). Let z be (i - -1)/(1 + -2). Let w be 4/2*(2 + (-1)/2). Solve 3*b + n - 3 = z, -3*b - w*n - 9 = 2*n for b.
2
Let g = -185 + 189. Solve -g*w + 2*f + 24 = -2*f, -w + 3*f + 16 = 0 for w.
1
Suppose -2*b + 4 = -2. Let c be (b - 5) + 4/2. Suppose -4*y - 20 = 0, 0*z + 2*z - 2*y - 16 = c. Solve z = 5*u - 3*k + 1, 4 = -k for u.
-2
Suppose -37 - 11 = -3*b. Solve 5*g = -4*t + b, 0 = -2*g + 3*g - 4*t - 8 for g.
4
Let h(d) = d**3 - 5*d**2 - 7*d + 8. Suppose 0 = -2*g + g + 6. Let j be h(g). Solve 2*l - j = -2*f, 6*f + 31 = 4*l + f for l.
4
Let b be (6/(-2))/1 - -3. Suppose b = -n + 3 + 2. Let i = 0 + 4. Solve -a + 2*s = i, -n*a + 6 = -s - 1 for a.
2
Suppose -2*q + 14 = -0*q. Let f = 11 - q. Suppose y = 2*j - 7, 0*y + 1 = 2*j + y. Solve -3*c - 6 = 0, j*l - 1 = -l - f*c for l.
3
Let v be 1/(7/56 - (-1)/8). Let o = 22 + -13. Solve 0 = -v*p + 4*y + 28, 5*p - 2*y - o = 11 for p.
2
Let l(j) = -2*j - 4. Let d be l(-11). Solve 0*c - 4*c = 2*p - d, 3*p - 7 = -c for p.
1
Let l(a) = 2*a**2 - 11*a + 15. Let k be l(6). Let w = -19 + k. Solve -w*n = -3*t - 22, -5*n = -t - 2 - 27 for n.
5
Let j(r) = -6*r + 62. Let h be j(10). Solve 0 = h*o - 2*k - 2, 3*k = -3*o - k + 10 for o.
2
Suppose 4*n - 31 = -3*x + 61, 4*x = -2*n + 46. Let m = 25 - n. Solve m*u - 7 = -t + 3*u, 3*t + 4*u = -7 for t.
3
Let q = -50 - -20. Let o be 2/(-5) + (-72)/q. Suppose -3*y - o*y + 40 = 0. Solve 4*t = -5*u + u + y, u = 0 for t.
2
Suppose 2*q + 3 = 13. Let b(z) = 2*z**2 - 28*z + 48. Let w be b(12). Solve -q*s = -w*s + 4*j - 36, 5*s = 3*j + 8 for s.
4
Let t be ((-10)/(-4))/(1/2). Suppose -2*w + 4 = -2*v - 10, 29 = t*w - 3*v. Suppose -w*f + 27 = -f. Solve 1 = -3*u - 4*y, -5*u + 2*y + 2*y + f = 0 for u.
1
Let u = -26 - -47. Let d = u + -18. Solve -d*f - 5*k = -11, 2*f + 3*f - 3*k - 7 = 0 for f.
2
Let x = -62 - -92. Solve z - 3*z - x = 5*p, 16 = -4*p for z.
-5
Suppose 0 = -5*x - 3*i - 2, 0 = -5*x - 4*i - 2 - 4. Suppose -a + 12 = 45. Let k be a/(-6) + (-1)/x. Solve -4*j - 6 = k*z, -j - 26 = 4*j - 3*z for j.
-4
Let j(z) = 3*z + 106. Let k(q) = -q - 35. Let c(s) = -2*j(s) - 7*k(s). Let d be c(0). Solve 3*p - d = 3*n - 12, 5*p = n + 15 for p.
2
Let r(q) = -q**3 + 8*q**2 - 5. Let o be r(8). Let j = 8 + o. Suppose -3*z - j - 2 = -4*u, 2*u - 4*z = 0. Solve 0 = u*s + 6, a = -3*s + 2 - 15 for a.
-4
Let o(h) = -h**2 - 8*h - 7. Let x be o(-6). Solve 4*j = x*p + 35, -p + 3*j - 31 = -13 for p.
-3
Suppose -11*j + 10 = -23. Solve 3*i - 4 = -h, j*i = -h - i + 5 for h.
1
Suppose -7*u = -17*u. Solve -3*t + 9 = 2*m - 2*t, 4*m + 5*t - 21 = u for m.
4
Suppose -2*c + 5*g + 45 = 0, 17 = -5*c - 2*g + 57. Solve -3*r + c = n + 2*r, -5*n + 10 = 5*r for n.
0
Let s(u) = 2*u. Let o be s(-1). Let p be 1/2 + o/(-4). Let w be 2*p/(-1)*-2. Solve 0 = -2*f + 4*d + 12, 0*f + w*d = -3*f - 12 for f.
0
Let q(m) = m**3 + 3*m**2 - 1. Let p be q(-3). Suppose 5*u - 21 = 64. Let o = p + u. Solve 4*j - o = -4*n, -2*j - j + 8 = n for j.
2
Let z be (1 + -1 - 1)*-3. Suppose -18 + 2 = -4*g. Let c be 26/2 + g + -5. Solve -4*m - 8 = 2*f, z*m - 5*m + c = -3*f for m.
0
Suppose -5*g + 4*g - 10 = -5*p, 0 = 4*p + 5*g - 8. Let v(o) = o**3 - 6*o**2 + 3*o - 8. Let z be v(6). Solve -2*h + 11 = 5*t, -4*t = -h + p*h - z for h.
-2
Let a be (2 - 4)*18*6/(-12). Solve j = -2*p, 0 = 7*p - 2*p - 2*j + a for p.
-2
Let l = -6 - 6. Let t = l - -41. Solve 0 = -5*p - 4*x - t, p + 3 = -2*x - 4 for p.
-5
Let m(h) = -h + h - h - 3. Let o be m(-7). Solve 0 = 2*a - o*w + 22, -4*a + 3*w - 20 = 9 for a.
-5
Let w(u) = -3*u**3 + 2*u**2 + u. Let r be w(-1). Suppose 3*x - 11 = -l, l = r*x - 0*l - 24. Solve 4 = o + v, x*v - 2*v - 12 = 4*o for o.
0
Suppose -5*w + 2*w = n - 54, 0 = n - 2*w - 54. Let l be n/4*(-14)/(-21). Suppose q - 9 = -2*q. Solve 0 = 3*x, q*r - 3 = 3*x + l for r.
4
Let g be 3/(3/4) + -1. Solve a + 0*j = g*j - 16, -2*j + 13 = -3*a for a.
-1
Let t be -2*(-2 + (-3)/(-6)). Solve -o - 10 = -3*p - t*o, 2*p + 4*o - 12 = 0 for p.
2
Let l be 8*(4/(-6))/(8/(-6)). Suppose 3*b - 4*b + 2*q = 1, -5*q = b - 13. Solve 2*g + l*a = -12, 4*a + 15 = 3*g + b for g.
0
Let g(t) = 8*t**3 - 2*t - 1. Let d be g(-1). Let k(b) = b**2 + 7*b. Let q be k(d). Suppose -5*v + 3*v + 6 = q. Solve 0 = -x - l - 9, -l - 4 = -4*x + v*l for x.
-4
Suppose 4*m - 8 = 0, m - 6*m - 56 = 3*x. Let v be (-4)/x + 8/(-44). Suppose -10 = -2*d, -3*s = -3*d - v + 6. Solve 3*z - 4*p + 12 = -5, -7 = s*z + p for z.
-3
Let i be 4/(-10) + (-12)/(-30). Solve i = -a, 2*d + 4 = -4*a - 0*a for d.
-2
Let c(y) = y**3 - 8*y**2 + 13*y - 6. Let r be c(6). Suppose 2*l - 3*l = -4. Suppose r*j = -j + l. Solve 5*n = -5*o - 30, 5*o - j*n + 0*n + 12 = 0 for o.
-4
Suppose -4*z = z - 10. Suppose f + 5*v - z = -1, 5*f - 5 = 2*v. Solve 2*m + a - 9 = -2*m, -a + f = 0 for m.
2
Let c(r) = -r + 2. Let x be c(-2). Solve -2*d + 8 = 2*w, 3*d - 4*d - x = -3*w for w.
2
Let i(a) = -4*a - 4. Let v be i(-3). Let y = -2 + v. Solve -s - 14 = 4*f, 3*f + f = -5*s - y for f.
-4
Let x be ((-2)/6)/(5/15). Let t be x/4 + 18/8. Suppose 3*n - t*n = 0. Solve -4*l - h = h, n = -5*l + h for l.
0
Let t(a) = 5*a. Let w(g) = -g**3 + 9*g**2 + 10*g + 8. Let d be w(10). Let p be t(d). Solve 0 = 2*z + 5 - 13, -p = -4*o - 5*z for o.
5
Let x = -3 + -1. Let g(s) = s**2 + 3*s - 1. Let f be g(x). Suppose -k = -f*k. Solve -3*n = -0*u + 5*u - 23, 5*n - 5 = k for u.
4
Let j = 19 - 5. Let t = 3 - 0. Solve 6 = -2*n - p + 2*p, -j = t*n - 4*p for n.
-2
Suppose 0 = 11*o - 9 - 35. Solve 0*r - 3*r - 16 = -4*j, -3*r - o*j = -16 for r.
0
Suppose 5*z + 2 = 4*i + 1, 3*i + 5*z - 27 = 0. Solve 2*v = -3*s - 8, i*s + 2*v + 0*v = -12 for s.
-4
Let d(q) = 5*q**2 + 2*q + 1. Let v be d(-1). Let c be (-1*38)/(-2)*1. Suppose c = 3*s + 4. Solve -y + 2*y = 4*j + 6, -v*y + 13 = -s*j for j.
-1
Let y(d) = -d**2 - 4*d + 5. Let p be y(-4). Let m = -1 - -3. Solve m*j + 5*x = -25, j - 4*x + 5 = -