+ 3*c for h.
2
Let w = 19 - 16. Solve 2*p = -4*o + 8, -3*p + 5 = -w*o + 2 for o.
1
Let q be 10*-2*3/(-12). Let x be 9 + -1 - (q - 3). Suppose x*h = h + 90. Solve 0 = -3*z - 5*j - h, 2*z - 4*j = -0*j + 10 for z.
-1
Let u = -8 + 9. Let n(z) = 9*z - 4. Let j(t) = 10*t - 5. Let a(i) = -5*j(i) + 6*n(i). Let h be a(u). Solve -5*k + 1 = 2*v, -7*k = -3*v - h*k + 11 for v.
3
Let x(p) = 3 - 2 - p + 2*p. Let w be x(3). Solve -5*k + w*m - 40 = 0, -k - 34 + 5 = -5*m for k.
-4
Suppose 4*o = -1 + 17. Let q = 4 - o. Solve 11 = -3*t - m, q*t = t + m + 5 for t.
-3
Let a be 39/9 + (-1)/3. Solve o - p = 3*o, -p = 4*o + a for o.
-2
Let j be (-8)/(-12) - (-19)/3. Let p = j - 2. Solve -3*c + c = -5*d - 7, p*d - c = -6 for d.
-1
Suppose -o - 4 = 6. Let a = -10 - o. Solve a = 2*j - 5*w - 12, 3 = -3*j - 3*w - 0 for j.
1
Suppose -3*v + 7 = 3*y + 1, 5*v - 3*y + 6 = 0. Suppose v*d = -d + 11. Solve 4*c - d = o, o - 3*c + 3 = 2*o for o.
-3
Suppose -5*p + 40 = 4*b, -5*b - 3*p = 2*p - 45. Let u be (5 - 4) + 5 - (0 + 6). Solve u*c - 18 = b*q - c, -2*c = 4 for q.
-4
Let p = -34 - -17. Let k = p + 22. Solve c = 0, k*s - 4*c = -5 + 15 for s.
2
Suppose n = 4*q - 28, q - 2 = -2*q - 4*n. Solve 4*f + 1 = v + 3, -q = -5*v + 4*f for v.
2
Suppose 12 = 3*f + 3. Let q(i) = i**2 - 22*i + 77. Let v be q(4). Solve b = -2*b + f, x - 5 = -v*b for x.
0
Let z(g) = -g**2 - 5*g + 3. Let n be z(-5). Suppose -2*m - n + 7 = 0. Solve 3*y - 3*k = 12, m - 4 = -2*y - 4*k for y.
3
Suppose -2*b + 3*b = 3. Let n be 3 - ((1 - 2) + 4). Solve 5*w = k + 9, -2*w + 0*w - b*k + 7 = n for w.
2
Suppose -11 = -3*j - 5. Solve 0 = -2*d + 5*h - 26 - 9, 5*d = -j*h - 15 for d.
-5
Let w(l) = -l**2 - l + 1. Let q(c) = -4*c**2 - 12*c - 12. Let o(s) = -q(s) + 3*w(s). Let f be o(-10). Solve -5*h + 5*d = f, 2*h - 10 = 5*d - 29 for h.
-2
Suppose 2*c - 4*c - 3*i = -1, 0 = -2*c - 4*i. Suppose -n = -c*n. Solve n = 3*r + 15, -6*w - 1 = -3*w + 2*r for w.
3
Suppose 4*n - 6 = 10. Let o be 0/1 - (-1 - 1). Suppose 0 = 6*c - o*c - 40. Solve -2*w + 2*t + 4 = -16, 2*w + c = -n*t for w.
5
Let f(k) = -k**2 + 10*k - 4. Let l be f(8). Let d be 10/15*l*1. Solve 5*b + 3 - d = -z, 5*z = 0 for b.
1
Let q(r) = r**2 - 6*r - 4. Let d be q(7). Suppose 7 - 22 = -d*i. Solve 5*t + 5*v = 20, i*v + 6 = 26 for t.
0
Let d(h) = -h + 5. Let c be d(-6). Solve 0 = -4*s - z - c, s - z + 2*z + 5 = 0 for s.
-2
Let s(y) = y**3 - 6*y**2 + 4*y + 7. Let u be s(5). Let z be (10/(-8))/(1/4). Let t be (-3 - z)*(-10)/(-4). Solve 0 = -4*x - u*d - 2, x + 0*d + t = -5*d for x.
0
Suppose 9*j - 10 = 4*j. Solve -j*p - 2 = -5*f + 3*f, 5*f = -p + 23 for p.
3
Let w be (-3)/(-4) - 847/(-28). Solve -3*b = -3*o + 14 + 10, 5*b - 2*o + w = 0 for b.
-5
Let c(n) = n**2 - n + 1. Let s be c(1). Suppose -u = 3 - s. Let t = u - -7. Solve -4*m + 0*o - 8 = -4*o, t*m - 3*o = -12 for m.
-3
Suppose 2*b = 3*x - x - 30, x + b - 25 = 0. Suppose x = 6*p - 4. Solve -8 = -4*r + p*l, -3 = 4*r - 5*l - 13 for r.
0
Let i be (-2)/4 + (-165)/(-30). Solve -2*j - 15 = -i*y, 5 + 12 = -3*j + 2*y for j.
-5
Let p = 130 - 130. Solve -h - 5 = -p*h, 3*n - 3*h - 15 = 0 for n.
0
Let p(b) = 3*b**2 - 5*b - 7. Let s be p(3). Solve -4*o - 2*u - 2 = 0, 10 + 0 = -s*o - 5*u for o.
1
Suppose 2*z = -r + 1, -5 = 4*z + z. Suppose 4*u + 1 = 13. Solve 6*h - 35 = h + 2*b, 0 = u*h + r*b for h.
5
Let v(r) = r**3 + 4*r**2 - 4*r - 4. Let m be v(-5). Let n be (m/(-6))/((-1)/(-2)). Let c = 2 + -2. Solve 5*o + 3 = 2*q - c*q, 0 = -n*q - 3 for o.
-1
Suppose -3*r - 1 = -5*s, s + 4*r - 10 = 2*s. Let i be s + 4 - 2 - -1. Solve 2*b - 25 = -3*y, -i*b - 8 = 3*y - 48 for y.
5
Let o(c) = -c + 5. Let l be o(4). Let s = 40 - 12. Let p be ((-2)/7)/((-4)/s). Solve -2*g = h - 6, -1 = h - p*g + l for h.
2
Let x = -17 + 19. Solve -4*k + 4*d + 20 = -12, 4*k = x*d + 26 for k.
5
Let c(b) be the third derivative of b**6/120 + b**5/12 - b**4/24 + b**3/3 + 5*b**2. Let r be c(-4). Solve -r = 4*i - 5*p, 0 = 5*i - 2*p + 22 - 3 for i.
-3
Let i be (49/21 - 2*1)*9. Let p be ((-6)/(-4))/(3/(-8)). Let r(u) = -u**2 - 6*u - 5. Let a be r(p). Solve -2*o - a*o + 14 = 4*f, -i*o = f - 7 for f.
1
Suppose i - 5*i = -12. Solve 0 = -3*s + i*q, 5*s + 4*q + 18 = -0 for s.
-2
Let x = 3 - -1. Suppose 4*f - 56 = -0*f. Solve 2*g + f = 2*b, 2*b = x*b - 4*g - 24 for b.
2
Suppose 0 = a - 3*m + 10, -5*a + 6*m - 17 = 2*m. Let o be 13 - (1 + (-1)/a). Let i = -22 + 27. Solve i*y = -3*v + o, -2*v + y + y = -2 for v.
2
Suppose -3 = -d - 15. Let p = d - -17. Let l be -2 - -6*2/2. Solve -p*z + 4*h + 20 - 3 = 0, 0 = l*z + h - 1 for z.
1
Suppose 0 = -n + 16 - 14. Solve 2*p - 18 = -2*k, -3*k + n*k = -p + 1 for k.
4
Suppose 0 = -5*r + 18 + 2. Let c = 8 - r. Solve 0 = -5*p - 2*i - 2, 0 = -c*p + 2*p + 2*i - 12 for p.
-2
Suppose k - 4*k = -6. Solve -5*h = l - 18, 4*h - 18 = -k*l - 0*h for l.
3
Let v(b) be the first derivative of 3*b**2 - 4*b + 1. Let a be v(5). Let c be 4/10 + a/10. Solve -j = -c*y - 1, -y - 4*y + 5*j = -5 for y.
-1
Suppose 3*n = 4*n - 2*k - 6, 4*n = -5*k + 11. Solve n*t = 3*d + 20, 3*t + 7 + 3 = -4*d for t.
2
Let b = -14 + -6. Let k = 24 + b. Solve 4*u = -w - 19, -8*w = -4*u - k*w - 24 for u.
-5
Let q(s) = -3*s - 9. Let v be q(-4). Solve 0*z + 3*z - 4*y + 18 = 0, 3*z - v*y = -15 for z.
-2
Suppose 15*u = -5 + 20. Solve 5*h - 4*s + 20 = 0, h + s - u = 4 for h.
0
Suppose -f - 2 = -33. Suppose -4*b = f + 5. Let l = b - -13. Solve 35 = -2*m + 5*k, l*m - 3*k + k = -30 for m.
-5
Let n(k) = -4*k + 5. Let z(r) = 5*r - 4. Let h(s) = -3*n(s) - 2*z(s). Let m be h(5). Solve -12 = m*x + c, 2 - 8 = 4*x - 2*c for x.
-3
Let u be (-4 + -2)/3 - -5. Solve -4*r - u*z - 12 = 0, 0 = 5*r - z - 4*z + 15 for r.
-3
Suppose -v - 1 = 2*s - 5, -s + 4*v - 16 = 0. Solve 6 = -2*c, 2*y - c + 6*c + 15 = s for y.
0
Suppose -6 = z - 10. Solve 9 = -2*y - 0*y - i, -z*y - 20 = 4*i for y.
-4
Suppose 4*a - 4*v - 12 = 0, 5*a - 2*v - 5 - 10 = 0. Suppose 5*y + a*m = -9, 0*m = -4*y + 2*m + 6. Solve 0 = 2*o - 3*s - 19 - 1, -3*o + 3*s + 24 = y for o.
4
Suppose -2*w = -w - 1. Let g be w*(-5)/(10/(-6)). Solve 0 = -3*m - 4*c + 8, -2*m + 6 = -0*m + g*c for m.
0
Let h = 5 - 3. Suppose 2*i - 2*r - 12 = -0*i, h*i + 4*r = -12. Suppose -i*a - 25 = -7*a. Solve 4*s - a = 5*l, -2*l - 3*s - s = -26 for l.
3
Let q be (-9 - -8) + 1/2*8. Solve 4*c + 2*b = q*c - 9, 22 = -2*c - 5*b for c.
-1
Suppose 2*a + 3 = 3*a. Let l = 28 + -13. Suppose -4*p + p + l = 0. Solve -5*z + 7 = 3*d, -z + a = -p*d - 4 for d.
-1
Let w be (-6)/3*(1 + -2). Suppose -17 = -5*n + 4*i - w*i, 3*n + 3*i - 6 = 0. Suppose -n*m + 37 = -2*m. Solve 5*b - b - m = -5*z, 0 = -2*z + 4*b - 2 for z.
5
Suppose 5*h + 5*q + 5 = 0, h - 4*q = -q + 7. Suppose -f = 5*k - 4*f - 25, -k + 4*f = -22. Solve -h = -k*z + i, z - i = 2*i + 8 for z.
-1
Let r = 27 - 9. Solve -4*q = 4*y - 28, -y - 3*q + r = 3 for y.
3
Suppose -3*m + 6 = 4*b, m = b - m + 4. Let n be -2 - -7*(1 + b). Solve -3*c - n*g + 15 = 0, 4*c + 4*g = c + 15 for c.
5
Let z be (-140)/(-6) - (-3)/(-9). Suppose q + 4*d = -3 + z, 4*d - 8 = 2*q. Suppose 0 = -3*y + 3 + 12. Solve 2*n = y*t - 20, -3*n - 16 + 0 = -q*t for t.
4
Let b be ((-1)/(-1))/((-2)/(-4)). Let d = 0 + 1. Let s(p) = p + 1. Let u be s(d). Solve -b*c = -n - u + 7, -4*c = -n + 11 for c.
-3
Suppose -10*p + 12 = -7*p. Solve 0 = p*i + g - 1, -17 = -3*i + g - 5*g for i.
-1
Let v(p) = 7*p**2 + 2*p - 2. Let i be v(-2). Suppose 2*x + 2*y = 10, -5*x - y + i = -7. Solve -r = -4*k - x*r + 17, 2*k = 5*r + 1 for k.
3
Suppose 105 = 13*p + 27. Solve h + 5*r = 3*r + 9, 0 = -2*h + 2*r - p for h.
1
Let r = 0 + 3. Let s be 6*r/(-12)*-2. Suppose 0*l + s*l - 12 = 0. Solve 2*b + 8 = l*t, t - 3*b = -t + 4 for t.
2
Suppose -3*f - 8 = -2*i - 34, 3*i + 36 = 4*f. Let g = f - 3. Solve k - 5*x = -g*k + 17, x = -5 for k.
-2
Let l(z) = 2*z**2 - 2*z - 4. Suppose -s + a - 5 = 3, -a = 4*s + 7. Let g be l(s). Solve g = 4*q + 4*f, 2 + 0 = f for q.
3
Let p(j) = -j**2 + 7*j + 7. Let z be p(8). Let q = -1 - z. Suppose -2*r = -3*o - 9 - 13, q = 4*r + o - 72. Solve 3*v + k = -0*v - 13, -4*k = 5*v + r for v.
-5
Let y be 18/7*(-14)/(-2). Let w be 4*(5/2 + -2). Let j be (-4)/(2 - (w - -2)). Solve -o - 24 = -5*x, 0*o - j*o = -4*x + y for x.
5
Suppose -4*d - 73 = -2*b - 3*b, 5*b - 82 = d. Solve 4*o - 5*u = -11 - 21, -b = 3*o - 2*u for o.
-3
Suppose 0 = 2*c - 7*c + 5. Solve -3 = -4*n + 3*a, -5*n + c = -5*a - 4 for n.
0
Let h 