+ 3*k for h.
-2
Let z(f) = 3*f - 212*f**2 + 2*f + 216*f**2 - 4*f - f**3. Let l be z(4). Solve 0 = t - l*a + 7, 2*t + 2*a = -1 - 3 for t.
-3
Suppose -4*q - 8 = -52. Solve -3*p + 6*p - g + q = 0, -4*p - 13 = -3*g for p.
-4
Suppose -2 + 9 = w. Suppose 3*s - w + 1 = 0. Let i(r) = r**2 + 13*r + 15. Let l be i(-12). Solve q + q + s*k + 10 = 0, 5*q + l*k + 19 = 0 for q.
-2
Let i = 31 - 25. Suppose -4*k - 2 = -i*k. Suppose -w = -0*w + 2*s - 2, -w - 3*s = -k. Solve -4*u - 3*b - 7 = 0, 2*u - b + 11 = -w*b for u.
2
Let k be 25/(-2 + -3) - -8. Solve f - k*r - 8 = 0, -8*r + 12*r + 12 = f for f.
-4
Suppose -v + b - 4 = -8, -20 = -2*v + 5*b. Solve 2*l - 11 = -m - v*l, 3*l = -3*m + 18 for m.
1
Let c = -38 + 52. Suppose 0*b + 5*b = -5*h + 5, 2*h = -5*b + c. Solve 2*j - 10 = 2*y + 6, -3*j = -b*y - 28 for y.
-4
Let x(u) = u**3 + 34*u**2 + 31*u - 61. Let t be x(-33). Solve -t*z + 4*h = -h, -2*h + 6 = 4*z for z.
1
Let g(a) be the first derivative of -a**4/4 + 8*a**3/3 - 3*a**2 - 4*a - 4. Let k = -10 + 17. Let m be g(k). Solve -i = -3*f - 8 - 9, 5*i - m*f = 37 for i.
5
Let z = 812 - 809. Solve -r + 4*y = -2, 8*r = 12*r - 5*y + z for r.
-2
Let w be 0 - (5 + (-5 - 3)). Solve -2*k + 5*y - w = 8, 5*k - y = 7 for k.
2
Suppose 3*b - 37 = 5*q, 0 = -4*b - 0*q + 2*q + 26. Solve -3*l = -4*j - 22, -3*l + b = -2 for j.
-4
Let g(s) = s + 26. Let v be g(-18). Let m = 12 - v. Solve m*i + 16 = 4*y, -2*y - y = -i - 6 for y.
1
Suppose 52*p - 616 = 216. Solve 0*d - p = -4*d, 0 = -3*c + 3*d for c.
4
Let s be -8 - -27 - 2*1. Let d = -12 + s. Suppose -5*a - 4*x = -26, 10 = -0*a + 3*a + x. Solve -d = 3*p - 2*p - 5*f, a*f = 2 for p.
0
Let c(z) be the first derivative of -z**4/2 + 23*z**3/3 + 5*z**2 + 29*z - 21. Let v be c(12). Solve -4*a = -4*m, 0 = -a + v*m + 8 for a.
-2
Suppose 161 = -4*n + 17. Let r be 50/12 - ((-42)/n + -1). Solve 2*o - 5*b = -23, r*o + 5*b + 2 = 1 for o.
-4
Let l be 36/(-45)*(-2 + 4*-2). Solve 0 = 2*c - s - l - 6, 5*s - 5 = -5*c for c.
5
Let r = 14 + 7. Let m = r - 18. Suppose 4*k = -m*w + 23, w + 1 + 0 = 3*k. Solve 0 = w*u - 3*c - 5 - 5, 6 = 4*u - 2*c for u.
-1
Let v = 6 + -3. Suppose 4080 = 9*g - 19*g. Let j be (g/(-170))/(2/5). Solve -j = 2*b - 2*a, 4*b = -0*b + a + v for b.
2
Suppose 5*f - 17 = 3. Let s(d) = d - 3*d + 12 + f*d - d. Let b be s(-9). Solve 3*r - 35 = -5*t, 0*t + 2*t = b*r - 7 for t.
4
Let w be 5*91/(-35) + 24. Solve -2*i + 2 = y, 8*i = w*i - 3*y + 15 for i.
-1
Let y = -410 - -412. Solve -y*z = -7*z + 2*n - 18, z + 3 = n for z.
-4
Let g(k) = -2*k - 4. Let x(j) = -j + 9. Let o be x(7). Let z be g(o). Let b be (-118)/z - 11/(-44). Solve 4*s + 7 = 4*m + b, -2*s = -2 for m.
-1
Let y = -1171 - -1173. Let r = -5 + 8. Suppose v = m + 2*v - r, 0 = 2*m + 4*v - 2. Solve 4*z = -m*a + y*a + 3, -2*z - 2 = -2*a for z.
0
Let l = -12 + 13. Let b be (l - -23) + (-1 - -2). Solve 2*m - s = -2*m + b, 2*m = 4*s + 30 for m.
5
Let x = -24 - -14. Let t be 4/20 + (-128)/x. Suppose t*h - 8*h - 20 = 0. Solve -h*f + 5 = -i + 1, -2*f - 3*i = -16 for f.
2
Let k(b) = -b**3 + 5*b**2 + 6*b + 1. Let z be k(6). Suppose -2*y - z = j, -y = -2*j - 6 - 6. Solve i - s + 2 = -y, -2*i - s + 7 = 0 for i.
1
Let d be (13/2)/(12/24). Suppose -63 = 4*k - d*k. Solve -5*p = i - 11, 3*i - 16 = k*i for p.
3
Suppose 62 = 3*m + 50. Solve 0*h + 3*s = m*h - 1, 3*h - s = 2 for h.
1
Let h be (-2 - -7) + 1*-2. Let q be (2 - (0 - (-48)/20))*-30. Suppose q*z - 34 = 146. Solve -5*f = 5*u - 0*f - z, 17 = h*u - f for u.
5
Let h = -73 - -131. Suppose -5*n + 112 = -4*d, h = 2*n + 7*d - 2*d. Solve -5*k + n = 3*u, 0 = -3*k - 2*u - u + 18 for k.
3
Suppose 100 = 2*r + 3*r. Let j be 5 + (-2 - -1) + 1. Suppose 5 = j*c - 15. Solve -18 = c*k + 2*o, 2*o + r = -8*k + 3*k for k.
-2
Let y be 5/2*(-16 - 8). Let f = y + 70. Solve -i - 5*a = -2*i - 30, -2*a - f = 4*i for i.
-5
Suppose -3*x + 2 = -16. Solve -24 = 2*a + 4*g, 4*g = a - x*a - 30 for a.
-2
Let g = 38 - 19. Suppose -5*l = -2*q - 9, -3*l - 2*l + 15 = 0. Suppose t - 2*k - 7 = 0, 6*k = q*t + k - g. Solve -4*u = 2*h + 20, -t*h + 6*h = 4*u for u.
-3
Suppose 0 = -6*n - 3*n. Let c be n/(-3) - (-36)/4. Suppose -10*g + 7*g + c = 0. Solve -g*w = -3*x, 5*x - 3 = 4*w - 0 for w.
3
Let r(u) = 2*u**2 - u + 1. Let t be r(2). Suppose 4*z = 8, 3*n - t = z + 24. Let l = n - 9. Solve 3*b - 7 = -4*j - l, 2*b = -5*j + 15 for b.
-5
Let w = -267 - -272. Solve 0 = -w*d + 4*s + 1, -1 - 2 = -4*d + s for d.
1
Suppose 0 = -4*f + f + 3. Suppose -28*n + 7*n = -84. Solve 0*r - 2*r - 4 = -n*k, 3*k - f = 2*r for k.
3
Suppose 3*i - 5*i = 16. Let o be (-56)/(-32) + (-2)/i. Solve -2*k = -o*n + 5*n - 5, -4*n = -2*k + 12 for n.
-1
Suppose 5*h = 2*s + h + 8, 0 = 3*s + 2*h - 20. Solve -s*t + 22 = 4*o + 6, -3*t + o = -16 for t.
5
Suppose 0*l - 4*a + 60 = 5*l, 0 = 5*a - 25. Let p = 280 + -280. Solve -2*z - 5*r + 28 = 0, 3*r = z - p + l for z.
4
Suppose h + 8 = -3*a + 20, h = 4*a - 16. Let t be 2*(h - -1 - 3/(-2)). Solve -p - t = -6*p - 5*i, 2*p - 4*i = -10 for p.
-1
Suppose 2*f + 7 = 5*f - 4*x, -f - 23 = 5*x. Let p be (-2 - f)/((-12)/(-36)). Solve 2*j + 2 = -p*u + 4, 2*u - 13 = j for j.
-5
Let m = 1278 + -1276. Solve -4*x - 4*d - 32 = 0, m - 14 = -x + 3*d for x.
-3
Suppose -3*j + 0*j = -2*h - 76, -4*h - 68 = -3*j. Let t = 28 - j. Suppose 5*o + t*u = -2*u + 10, 5*o = u + 25. Solve -o*s + 5*v = 26, -4*s + 4*v - 22 = 2 for s.
-4
Let w be ((-2)/(-5))/(6/60). Suppose -9*c + 54 = -0*c. Solve c = -3*f - 0*f + n, w*f - 2*n + 6 = 0 for f.
-3
Let o be 3/27 + (-4556)/(-306). Solve -o + 43 = 4*u - 4*h, -17 = -u + 3*h for u.
2
Let a = 644 + -640. Solve 0 = 5*x + 2*v - 14 - 11, -4*v + 20 = a*x for x.
5
Let v(m) = -m**3 - 8*m**2 + 26*m + 60. Let o be v(-10). Solve 5*p + o*s = -5*s + 30, 4*s = 16 for p.
2
Suppose -18 = 66*f - 72*f. Solve f*a - 25 = -4*n, 0 = -n + a - 0 + 1 for n.
4
Suppose -9 = -5*t + 11. Let y = 45 - 35. Solve t*d - y = 2*o + 2*d, -10 = o - 2*d for o.
0
Let l(c) = 3*c - 31. Let n be l(5). Let p = 3 - n. Solve -p = -4*v - 5*z + 3, 2*z + 8 = 4*v for v.
3
Let u = -291 + 315. Solve 5*t - u = 2*v - 0*t, -2*v - 3*t + 8 = 0 for v.
-2
Let r(t) = -2*t**3 - t**2 + 4*t - 2. Let o be r(3). Let v = -37 - o. Suppose 3*g + v = 7*g. Solve -4*u - f - 9 = 6, 2*u = -g*f - 4 for u.
-4
Let f(d) = d**2 + 6*d**2 - d**2 + 12*d - d**3 - 6 - 2*d**2. Let i be f(6). Let q be (i/5)/(6/(-15)). Solve -p + 4 - 1 = -5*s, -3*s + 3 = -q*p for s.
-1
Let o = -1001 + 1008. Solve -3*u - 3*g + 15 = 0, -18 = 2*u - 5*g - o for u.
2
Let q = 148 - 144. Suppose 2*m - 14 + 4 = 0. Solve 4*o - 13 = -i, -2*i + 10 = m*o - q for o.
4
Let r(n) = n**2 - 11*n + 39. Let z be r(6). Solve 35 = 5*y + 3*h, -3*y - 3*h + 36 = z for y.
4
Let y be (-3)/(-3) + 3/3. Suppose -104 + 20 = -14*h. Solve -1 = m + y*k, 4*m + 10 = -h*k + 4*k for m.
-3
Suppose 39*r + 4*s = 35*r - 12, -6 = -3*r + 2*s. Solve r = -3*p + j + 4, -1 = -4*p - 3*j - 0*j for p.
1
Suppose 18 = -10*i + 68. Suppose 0 = -4*b + 2 + 6. Suppose w = -b + 5. Solve 3*l - w*s - 25 = 2*s, 5*s = -i*l + 15 for l.
5
Let u(a) = -2 + 2*a**2 - 6*a + 11 + 0 - 3*a. Let m be u(4). Solve q + 0*o = o + 4, m*o + 15 = 0 for q.
1
Let b(h) = -h - 1. Let p(n) = 4*n + 8. Let s(r) = 3*b(r) + p(r). Let l be s(-3). Solve -l*d + o = 2*d + 6, -8 = 5*d - o for d.
-2
Let k(c) = -2*c + 3. Let i be k(0). Suppose i*y = 4*y. Suppose y = -5*n + 17 + 3. Solve -5 = -t + n*d, 2 - 1 = -d for t.
1
Let p(r) = -r**3 + 3*r**2 + 5*r + 1. Let m be p(4). Suppose m*k + 0*n = 2*n + 64, 5*n + 22 = k. Solve 3*q + g = -k, -4*g = q - 2*g + 4 for q.
-4
Let p(f) = 3*f + 33. Let h = 89 + -100. Let x be p(h). Solve x = -2*g + s + 4, -4*g = -4*s - 1 - 11 for g.
1
Suppose 0 = 3*d - d - 5*g - 14, -3*g = -2*d + 10. Suppose 3*y - 5*o - 56 = 0, d*y - 56 + 10 = -o. Solve 3*s = x - 6*x + y, 0 = 3*s - 3*x + 18 for s.
-1
Let s be 6/21*-1 - 320/56. Let x be -3 + 3 + 3/(s/(-10)). Solve 2*b - l = 6, 6*b - 20 = b + x*l for b.
2
Let q = 232 + -207. Solve g - 5*g + q = 5*l, 2*g - 8 = 2*l for g.
5
Let q = 401 + -396. Solve q*o + 25 = 0, 0 = -z + 3*z + o + 11 for z.
-3
Suppose -16*p = -2*p - 84. Solve 0 = -h + 4*q + 14, q + p + 3 = 3*h for h.
2
Suppose -5*s = -9*s + 12. Suppose s*u = -0*u - 4*t + 22, 4*t - 26 = -5*u. Solve -3*h + q + 7 + u = 0, -4*h - 2*q = -22 for h.
4
Let v(t) = -17*t - 96. Let u be v(-6). Solve 0 = l - 2*g + u, l + 3 = -2*g + 3*g for l.
0
Let z = -7 - 37. Let 