*h + 5 = 0 for w.
-3
Suppose 4*a + 2*b + 38 = 0, -4*a - 2*b - 3*b - 47 = 0. Let l(c) = c**3 + 7*c**2 - 10*c - 12. Let x be l(a). Solve h + 0*h = x*y - 4, 2*h - y - 6 = 0 for h.
4
Let a be 0/((8/(-28))/1*-7). Solve -5*z - 15 = b + 2*b, 4*z + 12 = a for b.
0
Let c(f) = -f**3 - 9*f**2 - 10*f - 12. Let x be c(-8). Let v = 7 + -5. Solve 8 = -5*w + t, 0*w - x*w - 10 = -v*t for w.
-1
Let q = -9 + 22. Let j = q - 8. Solve -3*y = j*f - 9, 2 = y + 4 for f.
3
Let i = -28 - -45. Suppose -2*l + 25 = 5*u, u - l = 3*l - i. Solve -4*x = 4*v - 24, -20 = -v - u*v - 3*x for v.
2
Let v(k) = k**3 - 4*k**2 + 5. Let c be v(4). Let g = c - 4. Let y be (0 - (-3 + 1)) + g. Solve -4*h + 9*h = y*n + 16, 0 = n + h for n.
-2
Suppose 0 = -5*s + 4*v - 20, s - v = 1 - 6. Let b be (-1 + s)*-1 - -4. Suppose 0 = -2*j + 38 - 28. Solve 0 = j*t - b*p + 10, t - 2*p + 2 = -3*t for t.
1
Suppose 2*m + 98 = -5*r, -11 = r - 3*m + 12. Let q = -34 - r. Let p = q + 25. Solve -5*v = -2*w + 2 - 1, -p = -3*w - 2*v for w.
3
Suppose 0*w = -8*w. Solve w*x - t - 9 = -2*x, 2*x + 4*t + 6 = 0 for x.
3
Suppose 5*z + 4*y + 6 = 27, -2*z + 3*y + 13 = 0. Solve 7*i = 4*i - z*b, 2*i - 2 = -4*b for i.
-5
Let x = 167 + -164. Suppose -3*t + 7*t = 44. Solve 0 = 3*r - 5*g - 17, 2*g - x*g + t = 3*r for r.
4
Suppose 4*q - 11 = 3*d, -11 = -4*q + 5*d + 2. Suppose u + 3*u = 0. Suppose w - 4 = -u*w. Solve 0 = 4*b + g + q*g - 35, -w*b + 25 = g for b.
5
Suppose 7*k - 2*k - 25 = 0. Suppose 3*z = -15, 2*z + k = -2*r + z. Solve r*c + c = -i + 6, 0 = -3*c + 3*i for c.
3
Suppose -11 = -4*t + 2*s - s, 2*s + 6 = 0. Suppose t = 2*d + 2*d + 2*q, 3*d - 4*q - 29 = 0. Solve 5*o + 5*w + 20 = -0*o, 0 = d*o - w - 8 for o.
1
Let w = 2 + -6. Suppose -3*i = -2*i + 3, -u - 4*i + 6 = 0. Let j = w + u. Solve 4*f + 2*a = f - 19, -a - j = 3*f for f.
-3
Suppose 0*a = 5*a + 30. Let o = -3 - a. Suppose o*t = -3*i + 90, 3*t + i - 1 - 89 = 0. Solve -4*z - 7 = -2*y + 3, -3*y - 3*z - t = 0 for y.
-5
Let z(o) = o**2 - 4*o + 6. Let a be z(2). Solve -18 = 2*b - 2*r - a*r, -3*b = r - 8 for b.
1
Let n(s) = -s - 1. Let q(d) = d**3 + 8*d**2 + 2*d + 12. Let m be (-44)/6 + 2/(-3). Let p be q(m). Let u be n(p). Solve -5 = 3*y + 2*b, -3 = y - b + u*b for y.
-1
Suppose 0 = 5*m - 16 + 1. Let c = m - 0. Solve -5*j - 18 = c*g - 6*g, 0 = -4*g - j + 1 for g.
1
Let h(d) = d**2 - 2*d - 3. Let c be h(4). Suppose r + 4*t = c*r - 8, r = -2*t - 1. Solve -5*y = -4*j - r, j = 5*y - 6 + 2 for y.
1
Suppose -2*d + 11 = 5*h, -3*d + 0*d + 2*h = -7. Let y = -9 + d. Let l be (-3 - y)/((-1)/(-1)). Solve 3*g - 15 = -5*t, -6 = -2*t - 7*g + l*g for t.
3
Let r be 1*-3*48/(-36). Solve -4*w - 3*j + 2 = -10, r = w + j for w.
0
Let q = -17 + 38. Solve -p + 3*b = 2*p, 3*p + 4*b = q for p.
3
Suppose -4*p + 3*g + 15 = -10, -32 = -5*p + 3*g. Suppose 2*f = 3*n - 7, -5*f + p = 3*n - 7. Solve 5*w - 5 = -l + 24, 32 = 4*w + n*l for w.
5
Let v(t) = t**3 + 4*t**2 - 2*t - 5. Let d be v(-4). Solve d*a = -4*s + 5, 0*s + s = -3*a - 10 for s.
5
Let j = 38 + -33. Solve -4*a - 16 = -2*a + j*r, 3*r = -4*a - 18 for a.
-3
Suppose -3*t - 40 = 2*t. Let c be (-18)/t - 2/8. Suppose 0 = 3*j - 9. Solve v + 0*b - 9 = -c*b, -3*v + 18 = j*b for v.
3
Let d(x) = x**3 + 15*x**2 + 16*x + 31. Let z be d(-14). Solve 4*y = z*j - j + 26, 0 = j + 2*y - 3 for j.
-5
Let j(s) = s + 4 + 7 - 5. Let a be j(6). Solve 4*z - 3*z - 2*i - 8 = 0, -z + 3*i + a = 0 for z.
0
Let b be (6/9)/(1/9). Suppose -2*h = 2 - b. Suppose 0 = 5*w + 3 - 18. Solve 5*i + 25 = r, h*r + w*i + 22 = 4*r for r.
5
Let h be 4 - 3 - 3*-1. Suppose -2 = -2*o + h. Suppose d + o*c = 5*c + 13, 6 = 3*d + 5*c. Solve -4*x - 5*f = -6, 2*f = -x + d*f + 14 for x.
4
Suppose 0 = -18*m + 8*m + 30. Solve -g + 16 = -4*s + m, 1 = -4*s + 5*g for s.
-4
Suppose 3*q + 5 + 1 = 0, 0 = -f + 5*q + 14. Solve -3*z + 16 = -2*y, -y + 14 = -0*y + f*z for y.
-2
Let x be (-2 - 0)*3/(-2). Suppose 0 = x*i - 1 - 8. Suppose -14 = 2*v - 56. Solve -5*f + v = i*z, -1 = -z + 1 for f.
3
Let i(c) = 2*c**2 - 5*c - 4. Let n be i(5). Let w = 24 - n. Solve 12 = -2*u + 2*f, -2*u + w*f = -0*f + 15 for u.
-3
Let z = 4 - 6. Let a(m) = -m**3 - 2*m**2 + m + 2. Let c be a(z). Let l(n) = -n**2 - 7*n - 5. Let b be l(-5). Solve -b*j - s + 5 = 0, c*j = 2*j + 4*s - 2 for j.
1
Let a(y) = 5*y + 35. Let c be a(-6). Solve -4*z + 0*w - 10 = c*w, -4 = -2*w for z.
-5
Let g = 12 - 7. Let k(n) = -4 - 1 + n**3 + 2*n - 5*n**2 - 1. Let t be k(g). Solve y + 13 = -0*y - t*f, -3*f = 2*y + 16 for y.
-5
Let a(q) = 3 - 2 + 0 - 4*q. Let t be a(-1). Solve 0 = -4*j + 4*d + 20, -3*j = -t*j + 5*d + 10 for j.
5
Suppose -3*w = 4*s + 17, 3*w + 2 = -2*s - 5. Let q(g) = -29*g - 1. Let n be q(w). Let j = 59 + n. Solve 0 = v + 2*l + 13, 8*v - 3*v = -l - j for v.
-5
Suppose 0 = 4*s - 3*n - 14, 0*n = -3*s + n + 13. Solve 0 = 4*w + 5*k - 25, -2*w + 4*k + 1 = -s for w.
5
Let f = 4 + 1. Solve 26 = -h - 0*h - f*k, -3*h - 2*k - 13 = 0 for h.
-1
Let y(w) = -w**3 - 6*w**2 - 7*w - 6. Let u be y(-5). Let k be (-1070)/(-45) - u/(-18). Solve 0 = -3*p - 3*h - 6 - k, -h = -2*p - 5 for p.
-5
Suppose 2*x + 3 = z, -2*x - 18 = -4*z + 3*x. Solve 5*t + 4*j = z - 2, 5*j + 25 = 0 for t.
5
Suppose 15*z = 2*z + 104. Solve 2*c - z = 0, -5*n - 11 - 13 = -c for n.
-4
Suppose -5 = -9*d + 13. Solve -21 = 4*j - t, -t + 0 + 11 = -d*j for j.
-5
Let k(i) = 2*i - 7. Let x(g) = -g**3 + 9*g**2 - 7*g. Let j be x(8). Let m be k(j). Let n = -5 + m. Solve -4*v - 3*b = -v - 15, 0 = v - 2*b + n for v.
2
Suppose 4*k + 5*n + 8 = n, 5*k + 4*n = -5. Let g be 1/(-3) + 22/k. Suppose 7 = -3*p - 4*q, -2*p + 3*p = -q - 1. Solve 4*h = g*z - p*z - 8, z - 3*h = 0 for z.
3
Suppose 3*p = 3*n + 3, -24 = -5*p - n - 1. Solve -p*a + 0*y - 2*y - 2 = 0, 2*a + 5*y + 13 = 0 for a.
1
Let h(j) = 11 + 3*j**2 + j + 0 - 3 + 5*j**2 + j**3. Let t be h(-8). Solve -5*x - 10 = t, -6*x = 3*g - 3*x - 9 for g.
5
Suppose 3*x = -6, -4*c + 3*c + 5*x = -16. Suppose 0 = -3*u - 0 + c. Solve -s + 3 = -u*s - 2*f, 0 = 5*f for s.
-3
Let a(j) = -j**3 - 2*j**2 + 7*j + 5. Let o be a(-4). Let g = -9 + o. Solve 5*d + g*d - 13 = 3*x, -2*x = 3*d - 4 for x.
-1
Let q be (2/(-16)*-10)/(4/16). Solve 2*g - 3 = -y, q*g - y + 2 = 6 for g.
1
Let a(v) = -v + 14. Let l be a(12). Suppose -g + 5 = l. Solve 3*m + 4 - g = k, -k = 2*m - 6 for m.
1
Let a(k) = k**2 - 2*k. Suppose -4*v = -o - 2*o + 9, 5*o + v - 15 = 0. Let i be a(o). Solve -3*s = -r + 8, 0 = -i*r - 4*s + 10 + 1 for r.
5
Suppose 0*g - 1 = -g. Suppose 0 = -5*u + c + 3*c + 17, 2*c = -5*u - g. Suppose -u - 11 = -4*q. Solve 4*y - 14 = 2*h, y + 6*h - q*h = 14 for y.
5
Let c = -7 - -12. Let x = c + -2. Solve -3*z = -o + 12, -x*o = 5*z + 6 + 28 for z.
-5
Let w = -70 + 106. Suppose -v - w = -5*v. Suppose 0 = -3*n + 2*q + 6, 4*q + v = 3*n + 3. Solve -i = 1, -4*o - n*i = i + 15 for o.
-3
Let x be 0/(-5 - -3 - 0). Let c = x + 0. Solve c = 4*g + 4*i + 24, -4*i - 10 = i for g.
-4
Let f = -14 + 8. Let y = 12 - f. Solve 4*c + 3*l - 22 = 0, -5*c - l + y = -c for c.
4
Let c(v) = 4*v**2. Let d be c(-1). Let g be -1*(-1 + 0) + 20. Suppose 3*w - 12 = g. Solve -w = -d*k + 3*h + 1, -5*k = 4*h - 15 for k.
3
Let p(z) = z**3 - 12*z**2 - 13*z + 8. Let d be p(13). Solve -2*t = -3*t + 5*c - d, 2*c = 2 for t.
-3
Let r(s) = -7*s + 9*s + 2*s**3 + 0 - 1. Let q be r(1). Solve 0 = 2*b - 3*h + 10, 5*b + 2*h - q*h = 1 for b.
1
Let y(p) = -5*p + 12. Let n be y(5). Let w = n - -17. Solve w = -k, -2*j - 3*k - 3 = j for j.
3
Let v(p) = 2*p + 4. Let j be v(6). Suppose -2*r + 3*r - 3 = 3*l, -2*r - 5*l = j. Let g be r + (-18)/(-4 + 1). Solve 5 = 5*d + g*o + 2*o, -2 = 3*d + 2*o for d.
-4
Let i be 1*((-12)/(-4))/1. Solve 4*u - 10 = 2*g, -2*g - 2*g - 9 = i*u for u.
1
Let b = 9 + -4. Suppose 4*s - 22 = -2, -b*r + 5 = -4*s. Solve 0 = 3*f + t - 1, f - r*f - 4*t = 4 for f.
1
Suppose 5*i - 27 = -g - 0*i, -1 = 2*g - i. Suppose 4*c + 12 - 47 = -k, -4 = -g*c + 4*k. Solve 3*o = -3*u + 5*u - 7, 2*o + c = 2*u for o.
1
Let i(l) = 9 - 3*l - 8*l - 6 + 10 + l**2. Let m be i(10). Solve 0*y + 3*k = m*y + 9, 0 = 5*k for y.
-3
Let a = -20 + 25. Solve 10 + 6 = 2*p + 4*i, -a*p - 2*i + 16 = 0 for p.
2
Let d(a) = -a**3 - 25*a**2 - a - 4. Let i be d(-25). Solve -5*m - i = 3*s - m, -2*s + 3 = -3*m for s.
-3
Suppose 0 = 6*d - 2*d - 12. Solve a - 24 = d*a + 5*o, -6 = a + o for a.
-2
Suppose -4*b = -d + 16, 0 = -5*d + d + 4*b + 16. Let u be 1 + 12 + 1/(-1). Suppose