3*h for h.
-5
Suppose -3060 = 3*n - 20*n. Let t = 182 - n. Let z = 1 + -1. Solve 5*w + 3*o - 7*o + 40 = z, -5*w - t*o - 10 = 0 for w.
-4
Let x be (-4)/(-14) - 204/(-119). Let t be 1/(x/10 - 0). Solve -t*j - 2*s = -3, -2*j - 17 = -j - 4*s for j.
-1
Let j(z) = -z**3 - z**2 + z + 70. Let o be j(0). Let n = -301 + 251. Let g = n + o. Solve -x + 2 = -0*r - r, -5*r - x = -g for r.
3
Let u be ((-5)/15)/(8/(-24)). Solve 0 = -y - u, -5*c + 2 = 5*y - 2*y for c.
1
Let v(l) = -l**3 - 9*l**2 - 8*l + 4. Suppose -h + 5*h + 4*u + 36 = 0, 5*h - 3*u + 37 = 0. Let r be v(h). Solve x + 17 = -5*n, -x + r*n + 10 = -3*x for x.
3
Let z = -920 + 922. Let t(c) = -c - 6. Let q be ((-12)/(-8))/((-2)/8). Let a be t(q). Solve 2*p + 5*b - 8 = 0, -p = -a*p - z*b - 4 for p.
4
Let a(j) = -j**2 - 8*j + 35. Let y be a(-11). Solve -f - 23 = y*f - 4*b, 4*f + 3*b - 11 = 0 for f.
-1
Let w = 6 - 1. Suppose 2*u = 3*x + 166 - 134, u - 11 = 4*x. Solve -15 = -w*n - 5*m, -3*n - 3*m = -5*n - u for n.
-2
Let y be 189/48 + 12 + (-382)/32. Solve 3*d - 1 = 4*h + y, 25 = -5*h for d.
-5
Suppose 2*l = 2*h, -4*h + 8 + 8 = 0. Suppose l*v - 20 = 5*b, -3*b + 0*v + 3*v = 15. Solve b = -3*t + 3*u - 12, 2*u = 3*t - 0 + 8 for t.
0
Suppose -3*l = -2*l - 8. Let j be 2/(-5*l/(-100)). Solve i = -4*q + 10 + 2, -16 = q + j*i for q.
4
Suppose 3*n + 4*d = -2*n - 136, 3*n - 5*d = -52. Let i = 35 + n. Solve -2*m - 24 = 5*y + 2*m, 4*y - 5*m = -i for y.
-4
Let r be 6/(-36) + 442/(-12). Let b = 41 + r. Let s = 0 - -2. Solve -2*c + 8 = -b*h, -h = c + 4*c + s for h.
-2
Let d be 20*(-1)/2*(-5)/10. Solve 17 = 5*u + 2*w - 1, 2*u = d*w - 16 for u.
2
Suppose 2*p - 4*q + 8 = 0, -q - 3 = -2*p - 2. Let v be 13 + (-3)/((-3)/p). Suppose 8*y - 3*y = v. Solve -5*r - h - y*h + 9 = 0, -5*h = -5 for r.
1
Let p = 23 - 21. Suppose 3*k = j - 6, -5*j - 6*k = -p*k - 68. Solve -5*t + 6*t + 2 = 0, 2*t + j = -2*z for z.
-4
Let t be ((-1)/(-2))/((-1)/(-26)). Let f(v) = v**3 - 13*v**2 + 4. Let i be f(t). Solve 5*a = 4*k - 10, 4*a - 2*k - 2 = -i for a.
2
Let g(y) = -y**2 - 14*y - 35. Let d be g(-10). Solve 21 = -2*p + 5*p - 3*w, -29 = -d*p + 2*w for p.
5
Suppose -58 - 2 = 4*p. Let w be 1*p*15/(-25). Let d = w - 6. Solve -2*b = -3*b - 3*r + 13, -d*b + 2*r - 16 = 0 for b.
-2
Let h be (6/(-39) - 45/130)*-10. Solve 2*o + h*m - 10 = -28, 0 = 4*o + 5*m + 26 for o.
-4
Let h be ((-45)/18)/((-12)/24). Solve 6*w = h*w + 3*g + 8, 2*g + 2 = 0 for w.
5
Suppose 17*j - 54 - 31 = 0. Solve 5*z + j*g = 0, 1 = -5*z - 0*g - 4*g for z.
-1
Let t(g) = -g**3 + 2*g - 3. Let n be t(0). Let c be 0 - -1 - (0 + n). Solve 0 = c*q + 5*k + 8, -4*k - 20 = -4*q - 2*k for q.
3
Suppose -4*j = -15 + 3. Let v = -7 - -3. Let u be (v/3)/(j/(-9)). Solve 3*h + 10 = -4*p, -u*h + 4*p + 21 = -3 for h.
2
Suppose t = -0*t - 5*k - 14, 3*k + 30 = -3*t. Let l = 13 + t. Solve 3*v - 10 = -3*s + 8, 5*v = -l*s + 26 for v.
2
Let t be (0/(-2)*(-12)/24)/(-3). Let h(n) = 2*n + 2. Let k be h(t). Solve k*p + 4*o - 4 = o, 0 = p - 5*o - 15 for p.
5
Let d = -81 + 86. Solve -15 = d*u + 5*f - 0*f, 2*f = u for u.
-2
Let i = 1 - 0. Let q be 12/i*2/6. Let l = -109 - -111. Solve 0 = q*b - l*d + 16, b - 1 = d - 5 for b.
-4
Let g(m) = -m**3 - 22*m**2 - 22*m - 18. Suppose x - 5*f + 26 = 0, 3*f = 2*x + 3*x + 108. Let i be g(x). Solve -3*h - 4 = q, -h + 5*h + i = q for q.
-1
Suppose 0 = 29*z - 77 + 19. Solve 2*f - z*h + 1 = h, 2*f - h + 3 = 0 for f.
-2
Let t = -22 - -16. Let w be (-3 - 0)*10/t. Let f(d) = -d**3 - 12*d**2 - 26*d - 58. Let r be f(-10). Solve -r*g + 3*g + 17 = -3*c, 0 = -3*c + w*g + 13 for c.
-4
Let f(g) = g**3 + 37*g**2 + 39*g + 112. Let v be f(-36). Solve -2*x + 6 = 3*w, -v*x + 10 = 9*w - 4*w for w.
2
Let w be ((-20)/(-3) - 6)*6. Solve y - 5*y + 2*q + w = 0, 0 = 5*y - 2*q - 4 for y.
0
Let v(g) = -g**2 - 5*g + 1. Let s be v(-7). Let c = s - -21. Let w(f) = -f**2 + 8*f + 44. Let j be w(11). Solve 4*r = -3*l + c + j, -4*r - 1 = -l for l.
5
Suppose 0 = -d - d. Let u be 2 + (-612)/(-8) - 3/(-2). Suppose -11*b - 25 = -u. Solve d*a + 5*a = -b*q - 5, -5*a - q - 5 = 0 for a.
-1
Let u(v) = 7*v + 17. Let f(d) = 3*d + 8. Let o(q) = 15*f(q) - 6*u(q). Let z be o(-6). Solve 4*x + 4*t - 23 = 1, x - t + 2 = z for x.
2
Suppose 2*l = -u - 7 - 9, 4*l + 18 = 5*u. Let r be (-28)/l + (-3)/(-3) + -2. Solve 2*m + 2 = o, -r*m + 4*o + 0 + 7 = 0 for m.
-3
Let i be 3/(-2) + -1*(-319)/22. Let m be 0 + 0/(-1) + 3. Suppose d - 10 = -z - m*d, -5*z - d = -12. Solve -z*t = -s + i, t + t + 7 = -s for s.
3
Let d be 0 - (-1 + 14/(-2)). Let t be ((-5)/4)/((-2)/d). Suppose t*a - 2*a = 12. Solve -3 = -2*c + x, -3*c - a = 5*x - 2 for c.
1
Let j(c) = -c**3 - 6*c**2 - 2*c - 5. Let o be j(-6). Suppose 0 = 3*w - o - 5. Let n = w - 4. Solve n = -5*y - 5*h - 35, 2*h - 14 = 2*y + 3*y for y.
-4
Suppose 0 = -6*q - 5 + 17. Solve -5*y - 7 + 2 = 5*c, -5*c = q*y + 5 for c.
-1
Suppose 574*r - 548*r = 130. Let x be 3/(2 - (-2)/(-4)). Solve a = 2*m + r, 2*m + 0*a + x*a = -8 for m.
-3
Suppose 13*v = 7*v + 42. Solve a = -b - v, -3*a - 3*b = -8*a - 11 for a.
-4
Suppose -19 = -5*t - h, 0 = t + 3*h + 3 - 4. Suppose t*o = -16, a = -2*a + o + 25. Solve -g - 2*n = -5, -5*n - a + 52 = -4*g for g.
-5
Let b(v) = v**2 + 6*v - 109. Let p be b(-14). Solve -5*l = 5*j + 20, 2 + 10 = -p*j + 3*l for j.
-4
Let w(y) = -y**3 + 7*y**2 + 13*y - 39. Let i be w(8). Solve -5*p = -j + 4, -i = 3*j + 5*p - 13 for j.
4
Let j be ((-12)/(-9))/(-1 - (-38)/36). Let p be (13 + -7)*(-2)/(-3). Suppose -p*s = -3*s - 3. Solve -4*d + 13 = s*b, 5*b + 4*d + 5 = j for b.
3
Let d(i) = i**2 + 2*i - 12. Let m = -14 + 9. Let f be d(m). Solve -5*l + 0*l + 30 = 5*u, f*u = 4*l + 11 for u.
5
Let a = -347 - -351. Solve -w - 3 = -2*j - a, -w - 2 = -j for w.
-5
Let l = 26 + -16. Let b(v) = 2*v**2 - 2*v - 7. Let q(n) = -n - 1. Let r(h) = b(h) - 6*q(h). Let o be r(-3). Solve o*m - z + 10 = 2*z, l = m - 3*z for m.
-5
Suppose -2*b - b + 12 = 0, 0 = 5*f + 3*b + 293. Let u = f - -63. Solve -u*s = 3*x - 22, x = -3*s + 10 + 9 for x.
4
Suppose r + 20 - 27 = 0. Suppose -2*n = -7 - r. Solve h - n = -3*i + 2*i, 2*i = 5*h - 7 for h.
3
Let l be 2*(88/16 + -2). Solve -m = -3, -2*p = -l*m + 3*m + 22 for p.
-5
Let a(k) = k**2 + 13*k - 15. Let v be a(-13). Let y = v - -15. Suppose y*t - 10 = -t. Solve -4*w = -5*h - 8, -4*h - 6*w + w = -t for h.
0
Let c(i) = -i**3 + 15*i**2 - 14*i + 2. Let y(v) = -v**3 + 7*v**2 - 3*v - 4. Let x be y(6). Let w be c(x). Solve m - w*m + k = -3, 3*k = -5*m + 7 for m.
2
Suppose 0 = 5*r + 1 - 16. Let a = r + 7. Suppose 3*x + 2*x - a = 0. Solve t - x*t - 3*n = 7, 2*t = 3*n + 4 for t.
-1
Let m be (3/2)/(15/(-40)). Let h(i) = i**3 + 3*i**2 - 3*i + 8. Let c be h(m). Solve -2*n = c*o - 16, 2*n - 11 = 4*o - 7*o for o.
5
Let o(j) = -27*j - 267. Let h be o(-10). Let v be (-3*1)/(12/(-16)). Solve -c = -2*c - h*i - v, 0 = i for c.
-4
Suppose -2 = -5*n + 6*n - 2*f, -2*n + 2*f + 6 = 0. Suppose -5*q + 4 = -q. Let c = q + n. Solve -7 = -2*r + 2*g + 5, 5*g = -2*r - c for r.
3
Suppose -x + 1 = -4*v, 0 = 2*x + v + 77 - 88. Solve -5*m + 2*a + 13 - 3 = 0, -x*m + 20 = -4*a for m.
0
Suppose 4*r - 9 = -3*a, r = 1 - 4. Suppose -a*h - 3*h = -6*h. Solve 4*m + 16 = h, 5*j - m = m + 28 for j.
4
Let p(k) = 13*k - 91. Let i be p(7). Solve i = 2*m - 8, 0 = 2*x + m - 6*m + 10 for x.
5
Suppose 5*r = 2*j - 7*j - 30, 2*j + 8 = 0. Let q be r/(-6) + 294/63. Solve -4*b + 0*k + 18 = -2*k, 4*b = q*k + 33 for b.
2
Let y = -9 + 15. Suppose c = -2 + 5. Suppose -c*l - 2*u = -2*l - 4, 0 = -2*l + 4*u. Solve -3*v - v - l*o - y = 0, 3*v = -o - 6 for v.
-3
Let t(u) = u**2 + 5*u + 6. Let g be t(-7). Let r = -16 + g. Suppose 5 = -2*c + 13. Solve -r*l + 24 = -y, 3*l - 9 = -2*l - c*y for l.
5
Suppose 0 = -5*z + 15, -4*v + z + 24 = 19. Solve -5*p = 3*h + 16, -6*h + 22 = -2*p - v*h for p.
-5
Let n(b) = -b**2 + 19*b + 22. Let h be n(20). Solve 3*j - o = o + 7, -h*j + 3*o = -13 for j.
-1
Let v be 4 + 3 + -4 - -1. Solve 5*b + v*o + o + 10 = 0, 4*b + 2*o + 2 = 0 for b.
1
Let d = 206 + -204. Let w = -9 - -13. Solve d*t - 6 - 12 = -2*s, 5*s - 40 = -w*t for t.
5
Let l be 8/36 - 296/36. Let x be 2*(2/l)/((-7)/28). Solve x*g = 3*b + 10, -g + 2*b - 20 = -5*g for g.
5
Let f = 56 + -26. Let i = f - 17. Suppose 3*n - 9 = -3*p, 0*p - 5*n = -2*p + i. Solve 2*l - k = k + 16, 4*l + 8 = -p*k for l.
3
Suppose -9*g + 21 = 3. Solve -4*c + 24 = 3*f, 2*f - 2*c = g*c - 4 fo