*h, 2*w = -h - n for h.
-1
Let n(j) = j**3 - 5*j - 4. Let m be n(-3). Let a be (1 - (-12)/m)*4. Suppose 0 = -2*x + 3 + a. Solve x*t = -4*z + 10, t + 5*z - 20 = -0*t for t.
-5
Suppose 0 = 7*w - 2*w - 15. Solve -4*c - 10 + w = -u, -5*c = 2*u + 12 for c.
-2
Suppose -226 = -32*y + 158. Solve 0 = 5*h + 2*m + y, -4*h + 7*h = 4*m - 2 for h.
-2
Let i(l) = -l**3 - 12*l**2 + 83*l - 34. Let a be i(-17). Solve 3*b + 1 = -2*r - 3, r - 5*b - 24 = a for r.
4
Let m be 14/77 + 155/55. Solve 4*l + 23 = m*p, -2*l - 19 = -3*p - 0*l for p.
5
Let w be (4/(5 - -7))/(1/36). Solve 2*i = 5*n + 9 + w, 5*i + 4*n = -30 for i.
-2
Suppose 0 = -135*f + 165*f - 150. Solve -37 = -3*n + f*p, -n + p + 19 = 10 for n.
4
Suppose 123 = -3*t + 8*t - 4*y, 0 = 3*t + y - 84. Suppose 0 = -5*i + 2*o + 5, 3*o = -4*i + t. Solve -2*d - 18 = -0*d - 5*m, -6 = -i*m for d.
-4
Let a be 13 + -3*3/9. Let n = -9 + a. Solve 0 = -s + 4, -2*q - n*q - 45 = -5*s for q.
-5
Suppose -3*l = -4*l. Suppose -2*j = -2*f - 4, -j + 2*f - 3 = -6. Let y be (8/(-2))/((-1)/(j/2)). Solve y*p - x - 3 = 4*p, -2*x - 2 = l for p.
-1
Let c = 166 - 162. Solve -5*i + 4*x = x + c, 3*i = -4*x - 14 for i.
-2
Let u = -677 - -679. Solve -3*k - 2*b + 7 = 0, u*k - k + 15 = -5*b for k.
5
Suppose 11*f - 1190 = -838. Solve 5*u + 2*m = -12, -4*m + f = -3*u - u for u.
-4
Suppose 0 = -0*y + 2*y - 26. Let i = 2 + y. Let u be ((-4)/6)/((-2)/i). Solve 3*a - a = 3*c - u, c = 4*a - 5 for a.
2
Suppose 13*v = 337 - 207. Solve 3*z = -2*u + 4 + v, 3*u + 1 = z for z.
4
Let t = -220 - -223. Solve 5*x + t*m = 37, -x + 2*m + 2*m = 11 for x.
5
Suppose 2*h + 661 = 677. Solve -v + 4*o = -2*v - 10, -2*v - 2*o = h for v.
-2
Let b(k) = -k - 4. Let o(x) = 2*x + 7. Let m(z) = 9*b(z) + 4*o(z). Let a be m(-12). Solve a*t - 16 = -c, t + 20 = 6*t - c for t.
4
Let z be ((-9)/(-2))/((-3)/(-8)). Let q be (-3)/5 - 1638/(-130). Solve -5*m + 4*d + q = 0, -m + 4*d + z = m for m.
0
Suppose 5*z - 7 = -2*m + 2, -z + 4*m + 15 = 0. Solve 2*u - 4*t = -22, 0 = z*t - 5*t + 6 for u.
-5
Suppose 0 = 48*f - 52*f + 12. Solve a = -2*n, -f*n + 2*n = -a + 6 for a.
4
Let v(y) = -3*y**2 + 9. Let f be v(0). Solve -g + 4*h + f = 0, 3*g - 2*g - 2*h = 5 for g.
1
Let n be 26/117 - (-284)/18. Suppose 0 = 2*l + 2*l - n. Solve -l*a + 3 = -5*r + 48, 4*a + r = -15 for a.
-5
Suppose -25*p + 16 = -84. Solve 5*v = 2*m + 15, m - p*v = -21 + 9 for m.
0
Let q be ((-6)/(-8) + 12/112)*21. Solve 5*g = -5*j + 10, -4*g - q = -7*g + 3*j for g.
4
Let w be (-7 + 31)/(-4) + 9. Solve 2*g - 5*t - 16 = g, -4*g - w*t - 5 = 0 for g.
1
Let v = 282 - 275. Solve -2 = -g - 3*y, -5*y - v - 18 = -4*g for g.
5
Let y be 1 - 0 - 4*(4 + -5). Solve -2*s + 4*a + 28 = 2*s, -y*a = 20 for s.
3
Suppose 3*k + 5*n - 37 = 76, -25 = 5*n. Let v be ((-26)/3)/((-1)/(-3)). Let d = v + k. Solve a = -a - j + 11, -5*a = -5*j - d for a.
5
Let w(h) = 4*h - 35. Let q be w(10). Solve 3*s + 3*u = -30, -4*s = -2*s + q*u + 35 for s.
-5
Let c be 452/(-14) - (-4)/14. Let p = -28 - c. Solve -4*o + 2*y = -4, 0 = 5*o + p*y - 4 - 1 for o.
1
Suppose -9 = 1623*c - 1626*c. Solve 3*y + 2*w = -14, c*w - 22 = 5*y + 5*w for y.
-4
Let r = -1 + -8. Let j = -4 - r. Let x = j + -2. Solve -5*w + x*d + d + 22 = 0, -w - d - 1 = 0 for w.
2
Let c = 681 - 676. Solve -4*s = -20, 0 = -7*r + 2*r - c*s + 15 for r.
-2
Suppose -x - 5 = -2*k, 3*k - 23 = k - 5*x. Suppose -u - k*u + 160 = 0. Solve -3*p - 2*p = 3*v - 5, 3*p - u = 4*v for p.
4
Let z = -9 + 13. Let d be ((-16)/10)/z*-15. Let o = -6 + d. Solve 3*t + 5*j - 1 = 0, o*t - 2*t + 2 = 2*j for t.
2
Let b be (-5)/(57/18 - 4). Let d = 0 + b. Solve -d*h + h + 4*k = -2, 4*k = -h - 14 for h.
-2
Suppose 3*t = -5*f - 4, f = -3*t + 3 + 1. Let g = 4 + f. Solve 3*q = -q + x - 14, 5*q + g*x = -24 for q.
-4
Suppose -5*s + 20 = 6*g - 2*g, -3*s + 12 = -2*g. Suppose -3*b + 27 = 3*q, q - 5 = -g*q. Suppose -3*o + 31 = 7. Solve 7*y = b*d + 3*y - o, -y = -3 for d.
5
Suppose -10*g = -27 - 13. Solve -8 = 3*w + 4, 0 = -4*t + g*w for t.
-4
Let w(i) = 51*i - 50. Let g be w(1). Solve -2*q + 24 = 4*h, -h + g + 14 = 5*q for h.
5
Let t = 28 + -24. Let c be (t - 1) + (-42)/14. Suppose c = 2*u - 10*u + 48. Solve -r - n - u = 0, -3*n + 1 - 4 = 0 for r.
-5
Suppose 2*m - 6 = -2*h, -12 + 6 = -2*m - 4*h. Solve 5*d + 10 = 0, 5*v - 10 = -m*d + 8*d for v.
0
Let f = 9 + 29. Let n be (21/2)/((-16)/32). Let d = f + n. Solve -4*a = -x - d, 4*a = -x - 2*x - 3 for a.
3
Suppose 13*v = 22*v - 45. Solve -v*d + 1 - 3 = 2*c, d + 4*c - 14 = 0 for d.
-2
Let k(a) = 144*a + 151*a - a**2 - 293*a + a**3. Let y be k(0). Solve 5*c = 4*r, r - 2*r - 5*c - 25 = y for r.
-5
Let u(j) = 2*j - 52 + 67 - 36. Let a be u(13). Solve -y = -a*p + 29, p + 3*p - 2*y = 28 for p.
5
Let t be (-23 - 0) + 2/(-2). Let w = -61 - t. Let g = w + 52. Solve -8*v + 11 = 2*j - 3*v, -5*v + g = 0 for j.
-2
Suppose h - 84 = -g - 3*g, 4*g = 2*h + 96. Suppose -3*t - 2*z + 30 = z, 0 = -4*t + 5*z + g. Solve -t*o - 13 = -3*o + 3*x, 2*o + 6 = -2*x for o.
-2
Let m(j) = -j**2 - 10*j + 24. Let c be m(-12). Suppose c = -3*h + 7*h. Solve h = 3*x + 2*i + 3*i + 4, -4*i = 4*x for x.
2
Let w(t) = 6*t + 15. Let u be w(-2). Solve u*k + 16 = 4*g, 5*k + 7 = g + 3 for k.
0
Let w(t) = -t**3 + 16*t**2 + 10. Let v be w(16). Suppose -2*z + v = 48. Let m = z - -37. Solve -8 = 2*f + 4*r + m, r = 4*f + 7 for f.
-3
Suppose 0 = -q - 2*j + 15, 3*j + 2*j - 30 = -q. Solve 0 = -s - q*r - 5, -4*s - 4*r - 1 = -3*r for s.
0
Let n(l) = l**2 - 16*l + 16. Let f be n(13). Let c = f - -25. Solve 0 = 4*w + 6*a - a - 4, 5*a - 12 = -c*w for w.
-4
Suppose 2*z + f - 4 + 2 = 0, 0 = z - 4*f - 10. Let v be (-4 + 0 + 3)*-3. Solve -z = -0*x + 2*x, 0 = -v*w + 4*x + 19 for w.
5
Let t(z) = -3*z + 9. Let f be t(3). Suppose f = 5*k - 0*k, 0 = -3*a - 2*k. Solve 2*i - 6 = -m, a = -i + 1 + 2 for m.
0
Let c be (-4)/6 - 68/(-12). Let a = -23 + 31. Let x = a - c. Solve -l = x*z + 15, -6*z - 25 = -z - 5*l for z.
-5
Let p = 519 - 515. Solve 0 = -p*k + i + 2 - 10, 2*k = -3*i - 4 for k.
-2
Let r be 14/2*-5*24/(-280). Suppose -3*x + 5*y - 7 = x, -y = -x - 2. Let z = r + x. Solve -u - 3*l - 2*l - 10 = z, 3*u + l = -16 for u.
-5
Suppose -5*q + 10*q = 0. Suppose -y + 0*y + 4 = q. Solve -f = y*t - 9, -f + 4*t = -0 - 1 for f.
5
Let g(f) = f**3 + 4*f**2 - 4*f + 3. Let t be g(3). Suppose -t = -4*z - 2*z. Solve -z = 4*h + 3*n, -2*h - 7 = -0*h - n for h.
-3
Suppose v = -4*r - 2*v + 116, 0 = 4*v. Suppose 2*z + 2*i - 2 = 0, 10 = i - 6*i. Suppose z*y - 20 + 5 = 0. Solve -7 = -y*l + p - r, -2*l - 4*p = 22 for l.
-5
Let w(i) = -i**3 - 4*i**2 - 2*i - 5. Let j be w(-4). Suppose f = -j*f + 176. Suppose -y = -3*y + f. Solve 5*u + 3*z = -y, 0*z = 2*u - 3*z + 13 for u.
-5
Let p(y) = 4*y + 56. Let f(k) = k + 19. Let a(c) = 8*f(c) - 3*p(c). Let r be a(-4). Solve r = -i - 4*w + 17, 19 = 5*i - 2*w - 0*w for i.
5
Let h(o) = 2*o + 11. Let v = -72 - -68. Let k be h(v). Solve -k*p + 4*p = 4*w + 9, 5*p - 3*w - 11 = 0 for p.
1
Let q = -1 - 0. Let m = 14 + q. Let f = 23 - m. Solve -5*t - 2*v - 19 = 0, -5*t - 15 = 5*v + f for t.
-3
Suppose -5 = 4*n + 11. Let h(k) = 2*k**2 + 9*k + 8. Let v be h(n). Solve 0 = v*q + 2*c + 8, 5*q + 3*c = -c - 7 for q.
-3
Suppose -2*i = -m + 5 - 14, 2*i - 3*m = 19. Solve -3*x - 22 = -5*q, i*q + 0*x + x - 11 = 0 for q.
5
Let f be 151 + -12 - (1 - 0). Suppose -3*l - 36 - 142 = -5*h, 0 = -4*h - 2*l + f. Suppose 0 = 3*g - 4 - 5. Solve g*z = 5*z + c + 5, -3*z + 4*c = h for z.
-5
Let i be 3/6*4/1. Let r(h) = 1 - i + 3 + 0 + h. Let o be r(2). Solve -4*q = 4*l, -q - 3*l - 12 = -o*q for q.
2
Let z be 5/2 - ((-135)/10 + 12). Solve -2*r = 4*j + 5 + 9, -4*j + z*r = -4 for j.
-2
Let l(w) be the third derivative of w**4/24 - 2*w**3 - 39*w**2. Let d be l(16). Solve 3*s + 5*q + d = 0, -11 = 5*s + 5*q - q for s.
-3
Let b(c) = -3*c - 8. Let x be b(-4). Suppose -5*m = g - 10 - 0, 23 = m - x*g. Solve -3 = -0*y - 2*y + 3*j, -m*y - 5*j = 5 for y.
0
Suppose 35 = 19*u - 12*u. Solve -5*x = -u*s - 5, -5*x - s - 19 = -0*s for x.
-3
Let f = -308 - -321. Solve -5*a - 2*x + 3 = -f, 0 = -4*a + 3*x - 1 for a.
2
Suppose b = -0*d + 2*d - 11, 0 = 4*b + 20. Let y be 0/(0 - (d - 2)). Solve 2*w + 0*w - 10 = 2*i, y = -5*i + 4*w - 25 for i.
-5
Suppose -6*x - 44 = -17*x. Suppose -4*o + 31 - 2 = 3*t, -4*o = -20. Solve 5*a - t*k = -2*k, -a = -k - x for a.
-1
Suppose -9*r = -13*r. Let m(w) = -w**3 + 7*w**2 - w + 8. Let 