 for h.
-1
Let g(w) = w**3 + 66*w**2 + 188*w - 59. Let o be g(-63). Solve -o*n - 13*d = -18*d, -4*d + 11 = -n for n.
5
Let d be (9/54)/((-6)/(-180)). Solve 0 = k - 2, -d*o - 20*k + 1 = -17*k for o.
-1
Let w(b) = b - 9. Let p be w(-15). Let n = 26 + p. Suppose c + 1 = -4, m - n*c - 22 = 0. Solve 5*v + 4*u = -0*u + 20, -3*v + 2*u = -m for v.
4
Suppose 10*k - 24*k + 15*k = 2. Solve 0 = u - 4*t - 1, -k*t + 13 = 3*u - 8*u for u.
-3
Suppose -391*k + 4 = -394*k + 52. Solve -13*z + 5*a - 4 = -k*z, 4*a = 4*z - 16 for z.
3
Suppose 15*k + 10344 - 10374 = 0. Solve 4*p + c + 19 = 0, 13*c - 14*c = -k*p - 5 for p.
-4
Let n(g) = -g**2 + 11*g + 1. Let s be n(10). Let m = -9971 + 9973. Solve -m*t + 3 = -3*v + 2, 0 = -3*v + 4*t - s for v.
3
Let w be (-71374)/(-1651) + (-6)/26. Let k = 10 - -30. Let b = w - k. Solve -4*d = -b*q + 5*q + 6, 0 = -3*q + 2*d - 9 for q.
-3
Let b(n) = n**2 - 19*n + 28. Let w be b(20). Let y = w + -46. Suppose 0*u + 3 = -u + 3*j, -2*u - 2 = -y*j. Solve 0 = -g + 5, -3*r + 7*r + 4*g = u for r.
-5
Suppose 0 = 4*r - b - 5 + 25, -3*b = 4*r + 4. Let m be 1*(-1 - r - 0). Solve 3*f + f - 25 = -m*s, -2*s + 6 = 0 for f.
4
Suppose 0 = 16*n - 24*n + 32. Solve -n = -2*l + 4, 2*d + 6 = 2*l for d.
1
Suppose -h + 14 - 141 = 0. Let y = 184 + h. Let b = y + -56. Solve -t - t = -r + b, 3*r - 2*t = -5 for r.
-3
Suppose -14*x = 14*x - 22904. Suppose -x*i + 96 = -814*i. Solve -4*n + 9*n - i = 3*r, -21 = -3*n + 4*r for n.
3
Let k = -2227 + 2232. Solve k*w + 6 = 4*o, -16*w = -3*o - 11*w + 2 for o.
4
Suppose -5*h - 4*b - 18 + 150 = 0, -2*h + 2*b = -60. Solve h*r - 23*r + 2*z = -14, -5*r - z - 17 = 0 for r.
-4
Suppose 12*m + 3*m = 30. Suppose -d - 3*p = 683 - 696, 0 = 3*d + 5*p - 27. Solve -d*y = -2*c - 4, -m*y = -c - 3*c - 14 for c.
-4
Let k be 9/3*1/3. Suppose 3*a - k = 5. Suppose -2*c + 10 = -x, -c - 2*x = a*c - 15. Solve -13 = 3*f - 5*z + 3, -c*f + 3*z = 0 for f.
3
Suppose 75 = 755*n - 750*n. Suppose -l + 10 - 6 = 0. Suppose -d - 6 = d + 4*z, -z - n = -l*d. Solve -3*h - 3 = d*p - 8*p, 3*h + 3*p - 21 = 0 for h.
4
Suppose 2*f + 12 = 4*c + 3*f, -5*c = 2*f - 15. Suppose -3*g = 5*g. Suppose g = -2*m - 9 + 17. Solve -c + 7 = 2*y + 4*v, 0 = 4*v - m for y.
0
Let s(h) = h**2 + 3*h - 1. Let n be s(-5). Suppose 2*m = -23 - n. Let z be 4*(12/14)/(m/(-84)). Solve 5*d + 4*q + z = 0, 4*q = -3*d - 0*q - 14 for d.
-2
Let l(y) = 2*y. Let w(k) = -7*k - 19. Let x(c) = 6*l(c) + w(c). Let u be x(7). Solve 3*d = -4*r + 6*r - 5, -2*r = 4*d + u for d.
-3
Let t = 45 - 44. Let q(d) = 3*d**2 - d. Let y be q(t). Suppose -2*s + y = -4*z, 8*s - 32 = 4*s + z. Solve -3*n = -4*m + 4, 1 - s = 2*n - 4*m for n.
4
Let o(p) = -p**3 + 25*p**2 + 27*p - 4. Let t = 706 - 680. Let j be o(t). Solve -6 = 2*w + 2, j = 2*v - 3*w for v.
5
Let o = -615 + 629. Suppose o*c = -20*c. Solve 5*b = c, -4*b + 1 = -3*r + 13 for r.
4
Let p(j) = -j**3 + 8*j**2 + 12*j + 29. Let a(s) = s**3 + 2*s. Let l(d) = 2*a(d) + p(d). Let f be l(-6). Solve 0 = 3*z - f*m + 12, -m = -2*z - z for z.
1
Let d be (1/(-1) - (-2 - -3))*-89. Let i = -167 + d. Solve -15 = -3*t, -2*z - z - 4*t + i = 0 for z.
-3
Suppose 4*u - 6 - 10 = 0. Suppose w + r = u*w - 13, -5*w + r + 19 = 0. Let m be (-3)/(-6)*0/w. Solve -1 = 5*x - 4*p, m = 3*x - 0*p + p - 13 for x.
3
Let o(a) = a**2 + 2*a - 37. Let x be o(-7). Let z be x/5*-5 + 2. Suppose 6 = z*p - 2. Solve -5*y + p*m + 0*m = -25, y + 4*m = 5 for y.
5
Let k(h) = -72*h - 986. Let f(r) = 29*r + 394. Let j(a) = 12*f(a) + 5*k(a). Let v be j(-17). Solve 12 = -2*n - v*d, 4*d + 18 + 9 = -5*n for n.
-3
Let s = -1 + 2. Suppose 0 = -256*x + 247*x + 513. Let h be 627/x + 1 + -8. Solve -v + 8 = -h*f - s, -3*v = -15 for f.
-1
Suppose -14*m = m - 3675. Let a be (-9 - m/(-28)) + 29/4. Solve -2*d = -3*u - a, 3*d = -u - 4*u + 1 for u.
-1
Let n(b) = -2*b**3 - 91*b**2 + 136*b - 222. Let t be n(-47). Solve 3*p + t = -4*h, 3*p - 85*h + 82*h = 15 for p.
1
Let n = 127 + -124. Suppose n*x - 21 = -5*o, o = 3*o + 2*x - 6. Solve -k - 14 = -3*u + o*u, k = 1 for u.
-5
Let h = -402 - -477. Suppose -14*a + h = 5. Solve -w + 4*r + 8 = 0, -2*w + 0*r + 7 = -a*r for w.
-4
Suppose 6*d = 3*d - 135. Let t = -767 - -719. Let i = d - t. Solve 0 = z + i*z + 16, 5*z + 16 = -4*v for v.
1
Let v be (484/2662)/((-4)/(-22)). Solve 5 = 3*l - 5*u, 2*u = -l + 4*u + v for l.
5
Let x(a) = -3*a**3 - 2*a**2 - 1. Let f be x(5). Let q be 4/(-8)*f/(-3). Let k = 73 + q. Solve 2*h + 18 = 4*v, -5*h + k*v - 3 = 6*v for h.
-3
Let r = -145055 - -145058. Suppose 0*c + 5*c + 5*j + 5 = 0, 5*c = -3*j + 5. Solve -m + 4 = -r*q - 2*q, c = -2*q - 2*m for q.
-1
Let u(w) = 2*w**3 + 10*w**2 + w - 18. Let v be u(-4). Let i be 48/120 + (-4)/v. Solve -4*j = i, 4*t = -0*t - 2*j - 12 for t.
-3
Let f = -1744 + 1746. Solve -3*j = 5*p - f, -18 = 3*p - 2*j - 4 for p.
-2
Suppose 0 = -278*z + 223*z + 165. Solve -20 = 8*q - 5*q - j, -3*q = -z*j + 30 for q.
-5
Suppose -r + 2 = -4*p + 1, 4 = -p + 4*r. Suppose p = 18*o - 3*o. Suppose 3*n + 0*n = 9. Solve k + 5*i = -n*k + 12, k - 2*i - 3 = o for k.
3
Let g = -13 - -24. Let p be 0/7*(-54)/(-108). Solve -4*m - 3*n = g, 4*n = -p*n - 4 for m.
-2
Let y = -31290 + 31305. Solve -6*d + 7*d + 4*z = -20, 4*d - 3*z = y for d.
0
Let u = -8269 + 8271. Solve -2*h = 31*s - 35*s + 14, -3*s + u*h = -11 for s.
3
Let r(g) = -2*g**3 - 79*g**2 + 121*g - 80. Let h(i) = 7*i + 120. Let y be h(-23). Let v be r(y). Solve -v*c + c - 6 = -x, 2*c + 2*x = 8 for c.
-1
Let w be -12 + 15 - (-345)/(-3). Let c = 121 + w. Suppose -14 = 3*a - 38. Solve 0 = 2*d + a, -5*d + 4*d = -r + c for r.
5
Let i be (-2)/6 - 2/4*2540/(-381). Let t be 1/(3*4/48). Solve 5*r = 2*g - i*g - 30, 10 = 2*g - t*r for g.
-5
Suppose 11 = 2*h - j + 4, -4*j = 5*h - 37. Suppose 2*q - 44 + 131 = 5*v, -h*v + 107 = 3*q. Solve 0 = -5*u - 2*l + l + v, 4*l + 4 = 0 for u.
4
Suppose 3*w - 3*z + 174 = -36, -4*z - 189 = 3*w. Let i = -53 - 14. Let q = w - i. Solve 2*j + 2*t = -2, -t + 19 = -4*j - q*j for j.
-4
Let p be (-2996)/(-3 - 4)*7/2. Suppose -18*k + 320 + p = 0. Let m = k - 88. Solve 0*b - m = -b + 2*h, b = -3*h - 12 for b.
3
Suppose 4*d - 76 = -4*a - 16, -5*a - d + 83 = 0. Solve -4*z + 20 = 4*w, 0 = -5*w - z + a + 8 for w.
5
Suppose 34*i - 149 = 4 + 85. Solve 3*a - 3 = -3*t, -i*t + 29 = -3*a - 2*t for a.
-3
Suppose -4*n = 3*y - 53 + 18, 2*y - 30 = -4*n. Solve -5*u - 2*p + 95 = 64, 0 = 3*u - y*p for u.
5
Let p(f) = f**2 - 8*f - 13. Let h = -29 + 39. Let j be p(h). Suppose j*k + 2*c - 15 = 2*k, 4*k = 4*c + 12. Solve -8 = -4*a - n + 10, 4*n = k*a - 4 for a.
4
Suppose 0 = -35*b + 28 + 112. Solve x - 13 = 3*n, -9 = -3*x + b*n + 10 for x.
1
Suppose 5*x = -3 + 38. Let o be 1*(5 + -2 + x). Solve 2*b - 5 = -s + 10, -3*s = -5*b + o for s.
5
Let j = -2885 + 2889. Solve 0 = -15*w + 18*w - j*c + 27, 0 = -2*w + 5*c - 25 for w.
-5
Suppose -11*q + 123 = -10*q. Let z = 128 - q. Solve 4*c = -v + 24 - 1, -z = -c for v.
3
Let c(g) = 2*g**2 - 9*g + 15. Let d be c(4). Suppose 7*m + 1400 = d*m. Suppose 27*t - m = 17*t. Solve 3*f + t = 5*z, 0 = -6*z + z - 5*f - 5 for z.
4
Let c(d) = d**2 - 16*d + 17. Let u be c(15). Let i be u*(-2)/(-6)*3. Solve -p - 3 = -3*x + i*p, -4*p + 11 = x for x.
3
Let t be (-36)/(-17) + (-6160)/(-4284) + (-28)/18. Solve 0 = 2*l + 5*n - t, 29*l - 30*l + 1 = -5*n for l.
1
Let j(v) = -v**3 + 18*v**2 + 25*v - 18. Let z be j(19). Suppose -z*f - 14 = -103*f. Solve -l = -f*p + 13, 0*l = 3*l + 4*p - 11 for l.
-3
Let g be -6 - (2 + (-3 - 1)) - (108 + -121). Solve -5*f = 4*o, 7*o = 4*f + g*o for f.
0
Let c(n) = n**3 + 16*n**2 - 20*n - 670. Let s be c(-14). Solve -21 = s*g - 3*m, -m + 2 = -2*g - 9 for g.
-3
Suppose -2*d - 187 = -f, -3*f + d + 394 = -142. Suppose f*t - 134*t = 215. Let a = -32 - -54. Solve 4 = -o, -4*m + 5*m - a = t*o for m.
2
Let s(z) = -18*z**2 + 55*z + 3. Let y be s(3). Solve j - y = t, -27*j - 21 = t - 31*j for t.
-1
Suppose 0 = -1912*g + 1896*g + 48. Solve -5*j + 5 = 4*a, -a - 2*a = g*j - 3 for a.
0
Let k = 1098 - 1092. Let m(q) = -q - 18. Let u be m(-20). Solve -u*o + 2*v = -k, -2*v + 0*v = -4*o + 2 for o.
-2
Suppose 2*k + 3560*g = 3555*g + 106, -78 = -3*k + 6*g. Suppose -3*v + 30 = -6. Solve -5*b + 3*i + k - 11 = 0, 3*i = -v for b.
3
Suppose 216*p + 221*p - 454*p + 17 = 0. Solve 2*w + 4*t + 6 = 0, p + 11 = 3*w - t for w.
3
Suppose 109*w - 398 = 38. Solve -3*t + 3*l = 9, 0 = -4*t + 19*l - 17