2 = h + 5*b for h.
2
Suppose -52*p + 44*p - 864 = 0. Let z be (p/(-135))/((-5)/((-25)/2)). Let n = 8 + -4. Solve z*t - 4 = -2*c + 6, t = -n*c + 8 for c.
1
Let o(l) = 19*l - 17. Let p be o(5). Let u = p + -73. Solve -4*s + 36 = -4*y, 23 + 2 = -u*y for s.
4
Let z = 7112 + -7107. Let x(p) = p**2 + p + 2. Let b be x(3). Solve 0 = -z*h - 0*m + m + b, 3*h = 4*m + 22 for h.
2
Let o = -62 - -69. Suppose 0 = 5*t + 4*m - 46, -4*t + o*m + 45 = 2*m. Let q be ((-35)/28)/(t/(-8) - -1). Solve q*d + f = -10, 2*f - 5*f - 14 = -d for d.
-1
Let g be (3 - (-6)/(-1)) + (5 - 1). Let z be (7/1*30/42)/g. Let y = 18 + -11. Solve -5*r = -z*i + 5, 2*r = i - y + 2 for i.
-3
Let g = -6 - -8. Let b(m) = 1318*m**2 - 36 - 661*m**2 - 17*m - 656*m**2. Let t be b(19). Solve 0 = d + 4*p - 8, 3*p - g = t*d + 4 for d.
0
Let l be 159/(-6) - (-2)/4. Let t = l - -40. Let y = 496 + -493. Solve -y*b = 5*v - t, 0 = 3*v - v - 2*b - 12 for v.
4
Suppose -7*o - 261 = -23*o - 71*o. Solve 3*l = -3*j + 1 + 2, -3*l + o = -4*j for j.
0
Suppose 5*b + 4*j = 42, 0*b + 2*b - 16 = -2*j. Solve 15*u - b*u + 30 = -5*o, 3*u - 2 = 2*o for o.
-4
Let w(p) = 6*p - 59. Let q(g) = 2*g. Let t(r) = 2*q(r) + w(r). Let u be t(6). Solve 0 = y, u = b - y - 3 for b.
4
Suppose r = y + 12, 4*r - 2*r + 4*y = 36. Suppose -13*x - 4 = -r*x. Suppose 4*o - 14 = -3*j, o + 14 = 4*o + x*j. Solve 2*h - 3 = h - p, o = -p for h.
5
Let k be (-108)/(-57) + (-3 + 2)*38/(-361). Solve -11*d - 21 = 4*n - 8*d, 6 = -4*n + k*d for n.
-3
Suppose 0 = -4*p + 14*p - 3700. Let b = -366 + p. Solve -d - 2*q = -12, -b*d = -q - 6 - 6 for d.
4
Suppose -6*h = 23 + 13. Let a(n) = 4*n - n + 3*n - 4*n + 27. Let c be a(h). Solve -5*i = 2*b + c, 2*b - 20 = 2*i - 0*i for b.
5
Let m = 20 + -15. Suppose 5*o + 12 = 3*t, 5*o - 5 = -t - 1. Let y = o + m. Solve -2*u - 5*q + 2 = -1, -q + 6 = -y*u for u.
-1
Let y = -183 - -206. Suppose -15 = y*q - 15. Solve q = 2*h + 4*t - 2, 5*h - 3*t - 1 = 4*h for h.
1
Let z(w) = w**2 + w + 6. Let q be z(3). Let d be q/(-72) + (-18)/(-8). Let c be -3 + (-9)/((-6)/d). Solve -m + 2*a + 4 = c, 3*m + a = -0*a + 12 for m.
4
Suppose 107*u - 188 - 238 = 109. Solve 3*s - 5*o = s + 23, -o + u = 2*s for s.
4
Let i(h) = h + 22. Let w(p) = -p - 11. Let k be w(6). Let j be i(k). Solve 4*f = j*v + 1 - 6, 2*f + 2*v = -16 for f.
-5
Suppose -4*t - h = -25, 1919*t - 4*h + 35 = 1922*t. Solve 5*z + 11 = -3*y - 2, t = -y - 2*z for y.
-1
Suppose 3*n - 11 = k, -n + 0*k = -5*k - 13. Suppose 24 - 108 = -n*i. Solve -i = o + 5*g, -o + 0*g - 3*g = 18 for o.
-3
Let z = -784 + 807. Suppose 5*j = -z + 53. Solve -2*s - 13 = -3*g - 2, 2*g - s - j = 0 for g.
1
Let j = 496 + -460. Let i be ((-4)/j*3)/((-4)/228). Solve g = 5*c - 2 - i, 5*c - 29 = -g for g.
4
Let a(d) = 5*d + 5. Let r be a(0). Suppose 0 = 10*v - 12*v + 6, t = r*v - 13. Solve -7*f = -3*u - 2*f + 8, u + 1 = -t*f for u.
1
Let c be ((-8)/(-20))/((-1)/(-15)). Suppose 5*o = c*o + 3*g - 10, 4*o + g = 18. Suppose 9*d - 8*d - 2 = 0. Solve -4*w + n = o*n + 5, 5*n = -d*w + 1 for w.
-2
Let g(o) = -10*o**3 - 111*o**2 - 9*o + 24. Let w be g(-11). Solve -2*y + 18 = -w*t, -13 = -0*t - 3*t - 5*y for t.
-4
Let u(m) = 7*m + 12. Let q be u(0). Suppose 15*g - 19*g = -q. Solve 5*f - 2*f + 19 = 4*s, -g*f - 12 = 3*s for s.
1
Let q be -33 - -59 - (-5 - -27). Solve -12 = q*t, -5*y + 4*t = -10 - 27 for y.
5
Suppose 0 = -5*i - 5*p + 40, 4*i - 4*p + 7*p = 28. Solve 8 = -4*d, 0 = -5*v + i*d - 21 + 4 for v.
-5
Let f(s) = -4*s**3 - 52*s**2 - 12*s - 30. Let d be f(-14). Let n = d - 917. Solve 15 = 4*m - m - 3*y, -n*y + 15 = 5*m for m.
4
Let y = 81 - -514. Let f = y + -592. Suppose 1 - 5 = -r. Solve 3*l = -0*s - f*s + 18, l - s + r = 0 for l.
1
Suppose b - 5*l = -54, 3*b + 97 = 3*l - l. Let q = -24 - b. Let a(g) = -4*g - 8. Let t be a(-2). Solve 2*d = -t*w - q*w + 19, 5*d = 3*w - 30 for d.
-3
Let u be (-258)/(-63) + (-8 - (-1162)/147). Solve 2*g = -u, 3*g = -x + 6*x + 4 for x.
-2
Let f(u) = 10*u - 1. Let c(i) = -153*i - 15. Let b(h) = c(h) + 15*f(h). Let v = -11 - -1. Let o be b(v). Solve o = 2*r + 2*j - 4, 4*r - 2 - 21 = j for r.
5
Let s = 27 + -31. Let i(c) = -c**2 - 8*c - 14. Let f be i(s). Let l be -1*(1 + ((-40)/4)/f). Solve -l*p = -b, 2*p - p = -5*b - 21 for b.
-4
Let b be 4 - 1516/(8 - 6). Let a = 763 + b. Solve 0 = -4*p - 5*c - 1 + 13, 4*c = 3*p - a for p.
3
Suppose 37*a - 41*a + 328 = 0. Let n = a - 80. Solve -n*o = -4*m - 10, -1 - 1 = -m - o for m.
-1
Let s(t) = t**2 + 99*t + 649. Let z be s(-7). Solve 0*v - 5 = 5*c - z*v, 11 = -2*c - v for c.
-4
Let w be (-7 - (-1 - 1)) + (-32)/(-16). Let j be -3*(w - (-2 + 2)). Suppose n = -3*h + 17, -2*h + 32 = 3*n + j. Solve 3*p - 3*t + 5 = -4*t, t = -n*p - 5 for p.
0
Let j = 19 + -19. Let x(k) = -k**3 - 13*k**2 + 4*k + 60. Let r be x(-13). Let v be 8 + r/(j - 2). Solve -v*w - 11 = b, 4*w + 0*b = 3*b + 1 for w.
-2
Suppose 18*s - 36 = 14*s. Suppose 148*p + s = 151*p. Suppose -2*z - 2*w - 4 = -4*z, -2 = 2*z - 4*w. Solve -3*j = -4*n + 28, -2*j - z*n + p*n = 0 for j.
-4
Suppose -6 = -50*s + 49*s + 4*i, -i = -2*s + 5. Solve 4*g + s*d = -14, -4*d = 2*g - 4*g + 8 for g.
-2
Let b = -3494 + 3498. Solve 3*c + 2*g + 25 = 0, -b*c - 20 = -3*c + 3*g for c.
-5
Suppose -8*w + 13 = -7*w. Let k(s) = -5 + w - 7*s - 11. Let q be k(-3). Solve 4*m + 1 = -3*g, -3*m = -2*g - 2*g - q for g.
-3
Suppose 0 = 93*x + 227 - 227. Solve 32*u - 30*u - 4*g + 8 = x, 4*u + 4*g = 44 for u.
6
Suppose 0 = 4*v + 2*x - 30, 0*v + x = -4*v + 25. Let w = 229 - 172. Let b = w + -51. Solve b*t + v*i = t - 10, 4*t + 6 = -5*i for t.
-4
Suppose -5*l + 46 = -16*n + 13*n, 3*l = 8*n + 40. Solve -51*d + 54*d = -4*z + l, -5*d + 3*z - 35 = 0 for d.
-4
Let d be (7 + -31 - 0)*8/(-12). Solve -24 = -2*g - 4*m, 20 = 19*g - d*g + 2*m for g.
4
Let f(z) = -2*z**3 + 12*z**2 + z + 39. Let s be f(6). Let o = s + -29. Solve 2*t = 6*t - o, -4*m - t = 8 for m.
-3
Suppose 12*t + 175 - 295 = 0. Solve 6 = 2*l + 4*y - y, -t = 2*l - y for l.
-3
Suppose 0 = -q - 3*p + 9, 4*q - 2 = 2*p + 3*p. Suppose 9 = q*n + z, 0 = -3*n - 5*z + 3 - 6. Solve 2 = -n*y + 5*y, t - 3*y + 1 = 0 for t.
5
Suppose 0 = -2*s + 6, -2*h - s + 457 = -0*h. Let q = 230 - h. Solve 0 = 4*l - 0*l + 3*y - q, 4 = -4*l + 4*y for l.
0
Let w = 17 + 44. Let o be 4 + -1 + w + -64. Solve -z + o*z + 2 = 5*m, 5*z + 19 = 4*m for m.
1
Let n(u) = u + 7. Let f be n(0). Suppose -36 = f*a - 11*a. Let d(k) = -2*k + 32. Let h be d(15). Solve -h*v + 6*v - 4*o = -24, 4*v = -o - a for v.
-3
Let r = 181 - 188. Let m be ((-12)/(-7))/(-4 + (-30)/r). Solve -3*i = -m*i - 2*q + 23, -3*i + 3 = -3*q for i.
5
Let d = -55 - -60. Suppose 5*z + 0*p - 40 = 2*p, -4*p - 50 = -d*z. Suppose -5 = z*o - 29. Solve 3*y + 16 = 5*j, -3*y - 2 - o = -3*j for y.
3
Let b(k) = k**3 + 5*k**2 - k - 1. Let w be b(-5). Let n = -211 - 10. Let v = n + 229. Solve w*i = 5*y - v, -i = y + i - 10 for y.
4
Suppose -8834 = -162*u - 8024. Suppose 4*q - 39 + 4 = -5*l, -4*l = -12. Solve -q*i + d = -0*d + 15, 0 = -u*i - 2*d - 30 for i.
-4
Let p be 18/(-2) + (-9996)/(-714). Solve 0 = -p*d - 4*k - 6, -20*k + 15*k = -3*d + 26 for d.
2
Suppose u - 28 = b, -4*b - 104 + 13 = -3*u. Solve 0 = -2*j + 25*t - u*t + 6, 5*t - 15 = -5*j for j.
3
Suppose -3*i = z - 15, 2*z + 14 = 2*i + 4*z. Suppose 8 = 2*p + 2*c - 24, p + 5*c + i = 0. Solve -t = -3*o - 5, -3*t - p = 4*o - o for t.
-4
Let r(d) = -6*d + 52. Let y be r(8). Let q be 1/34*y - (-832)/442. Solve -b - 2*l + 1 = l, -2*b + 6 = q*l for b.
4
Let i(p) = -2*p**3 - 43*p**2 - 18*p + 66. Let t be i(-21). Solve -49*k + 46*k - 6 = 0, 0 = t*h - 5*k - 19 for h.
3
Let f be (-4)/(-18) - (114/27 + -7). Solve -4*a + 3 = f*w, 2*a + 0*a - w = -1 for a.
0
Suppose 0 = -63*v + 65*v. Suppose -16*w + 32 = -v*w. Solve 0 = n - 4*b - 21, 3*n + 5*b + 3 = -w for n.
5
Suppose -q = 3*y - 10, -1791 + 1794 = 3*q. Solve 0 = -2*l + y*w + 2, -5*w = 4*l + 14 + 4 for l.
-2
Let k be (-2)/(-8)*2*-6. Let v be -4 + 136/(-12)*k. Let b = -30 + v. Solve -4*i - 8 = b, 0*u + 2*u = i + 12 for u.
5
Let c = 16 + 23. Let v = c + -33. Solve -v*p + 2*p + 2*w - 2 = 0, -p + 4*w = -10 for p.
-2
Suppose -c + 4*c + 51 = b, -4*b = 4*c - 268. Suppose 74*t - b*t = 22. Solve 3*k + 9 = 0, -9 = -t*j + 5*j + 5*k for j.
2
Let v be (288/(-44))/(32/(-176)). Solve 3*z + 3*h + 12 = 0, -4*z - 10 = -38*h + v*h for z.
-3
Let q(d) = -d**3 + 40*d**2 + 224*d + 47. Let k be q(45). So