 10, -4*t + u = -20 for t.
5
Let s be (-18)/(-10) - 17/(-85). Solve -3*h + 4*m + 29 = 0, s*m + 3*m + 37 = 4*h for h.
3
Let i be ((-126)/35)/(2/(-5)). Solve -3*j - 1 - i = -v, 28 = -4*j + 5*v for j.
-2
Let s be (-3)/((-24)/(-16))*2/(-1). Solve 5*v + 17 = -s*c, v = 3*c - 13 + 2 for v.
-5
Let m be (-7 - -13)/((-3)/2). Let h(p) = -2*p - 6. Let u be h(m). Solve -7 = -u*j + 5*d, -5*j - d + 5 - 1 = 0 for j.
1
Let f = 43 + -40. Solve 4*r + 12 = 0, 4*b + r + 28 = -f*r for b.
-4
Let j = 7 + -4. Suppose -3*y = -9 - j. Let d = y + 0. Solve -31 = -5*h + 2*t + t, -d*h - 4*t = -12 for h.
5
Let n(p) = p**3 + 6*p**2 + 6*p + 6. Let y be n(-5). Suppose 3*d - y = 11. Solve -d*f - 26 = -7*f + 5*v, -f - 3*v - 10 = 0 for f.
2
Let b be (-2)/4*(-3 - -3). Suppose -3*w + 6 = -b. Solve -3*m + 4*m = -c, -4 = 4*m + w*c for m.
-2
Suppose 0 = -4*u - 1 + 5. Let w = 6 + u. Let b = -3 + w. Solve -b*d = 2*n - 6, 0*n + 2*d = -3*n + 5 for n.
1
Let u = 43 + -38. Solve -21 = -5*r - 4*v, -u*v - 1 = 4 for r.
5
Let q(a) = a + 3. Let i(g) = -g**3 - 5*g**2 - 5*g - 1. Let b be i(-4). Let d be q(b). Solve 8 = 2*j, -2*n - 5*j = -d*n - 8 for n.
3
Let x = 13 + -11. Suppose -n = x*o - 23, -3*o + 5*n = -12 - 55. Solve 3*p + o = -r, 0*p + r = -2*p - 10 for p.
-4
Let x be 5 + (4 - 8/2). Solve 2*u - 25 = 3*b - 6*b, 5*b = -x*u + 50 for u.
5
Let u(s) = s. Let y be u(4). Let q = y - 1. Suppose -q*n = -n. Solve n = 5*l, l + 4 = -3*p - 2 for p.
-2
Suppose 2*u - 5*u + 12 = 0. Suppose f = -u, -15 - 1 = 2*q + 4*f. Solve q = 5*l + g + 30, -5*l + 2*l = 4*g + 35 for l.
-5
Suppose -8*u = -3*u - 30. Suppose 0 = -u*c + c. Solve c*d + 3*d - 15 = -3*i, 0 = 2*d - 5*i - 3 for d.
4
Let m(p) = -p**3 + p**2 + p + 10. Let r be m(0). Suppose r = 2*v - 0*v - 4*n, -5*n = -2*v + 10. Solve t - v*u + 17 = 0, t + 2*u + u - 15 = 0 for t.
3
Let t(k) = -k**2 - 6*k + 4. Let h be t(-6). Suppose -h*x + 50 + 74 = 0. Let m = -16 + x. Solve -5*d + 2*f - m = 0, -3*d + 2*d - 2*f = 15 for d.
-5
Let l = 10 + -5. Solve y = -l*s - 4, -s = 2*s + 2*y + 1 for s.
-1
Let o = -49 + 69. Solve -i = 4*i + o, -4*i = -2*z + 12 for z.
-2
Let p = -154 - -176. Solve -k = 5*d - 22, -k + 2*d + 9 = p for k.
-3
Let y be (-12)/(-8)*(3 + 1). Let o be (y + 0)*(-2)/(-4). Suppose 4*b - 14 = -2*m, -o*m + 1 = -2*b - 4. Solve 5*t - 3*a = 11, 0*t + a - 15 = -m*t for t.
4
Let m(j) = j**2 + 6*j - 22. Let l be m(-10). Let v = 10 - 6. Let o be (-1)/(6/v - 2). Solve o*f - 12 = -2*u + 4*u, f = 4*u + l for f.
2
Suppose 0 = 2*v - 40 + 10. Suppose -3*l - v = 2*l. Let w = -2 - l. Solve -5*s - 9 = 3*i, -2*s + w = 5*i - 3 for s.
-3
Suppose -3*l - 8 = -4*g + l, 0 = -g - 2*l + 8. Solve -2*x + 4*i = -8, -g = 2*i + 2 for x.
-2
Let w(a) = a**2 - 7*a + 9. Let d be w(6). Solve 3*p - d = -2*c, -c + 2*p + 0 = 2 for c.
0
Let p be (-3)/(-3*(-2)/(-4)). Suppose p*r + 12 = 6*r. Solve 0 = -5*m + r*b + 11, -3*m = -2*b - 9 + 2 for m.
1
Let p(o) = -2*o - 30. Let r be p(-16). Solve r*i - z = 12, -2*i + 1 = z - 3 for i.
4
Suppose 3*p - 6 = -0*p. Suppose 2*r + p = 10. Solve 6 = r*o + 4*q + 2, -o + 3*q = 7 for o.
-1
Suppose 6*g = 15*g - 7*g. Solve -2*h + 3*j - 4 = -0*h, g = -j + 2 for h.
1
Suppose -5 = 3*i - 20. Solve 5*k + 4*p - 4 = -12, -i*p - 10 = 5*k for k.
0
Suppose 3*q = -2*q + 25. Suppose q*h = t + 30, 0*h - 2*t = -5*h + 35. Solve -3*n - h = w, 5*w + 2 - 7 = -5*n for w.
4
Let i(l) = -l - 6. Let z be i(-11). Solve -1 = f - 2, 0 = g - 3*f + z for g.
-2
Let v = 48 + -24. Solve 3 = f - 1, -2*y + 4*f = v for y.
-4
Let h be (2/(-1) - -3)*10. Suppose -g - 4*j = -7, 2*g + 4*j = 6*j + 4. Solve 5*f - 5 = -5*l, -g*l = 5*f - l + h for f.
-4
Suppose -n = 2*b, n + 2*b + 2 = -b. Let m(d) = 2*d. Let c be m(n). Solve -3*t - 5*f - 11 = -f, -4*f = 4*t + c for t.
3
Suppose 5*c - 2 = -42. Let t be (-7)/(-2)*c/(-14). Solve 0 = -t*q + 2, -3*q = -2*d + q + 6 for d.
5
Suppose -q + 25 = 4*q. Solve -2*w + 31 = q*l, -4*w + 7 = 5*l - 30 for l.
5
Let q be 16/(-4) - (-24)/3. Solve -q*w = 2*z + 10, 5*z + 2*w + 1 = -0*w for z.
1
Let v be (6/(-8))/(4/(-656)). Suppose v - 44 = -4*t - 5*s, -2*t = 5*s + 37. Let p be (4/(-12))/(1/t). Solve 4*r - 1 = 5*u - 10*u, -u - p = -r for r.
4
Let t(v) = -v**2 + 5*v + 2. Let h be t(5). Let x = 15 - h. Solve 0 = -y - 3*k + x, -4*k = -y - 31 + 9 for y.
-2
Let h = 13 + -11. Suppose 0 = 2*z - 3*r - 20, -4*r = -h*z - z + 32. Solve 5*f + 6 + z = y, f = -5 for y.
-3
Suppose 2 = -3*c + c. Let h be (-2)/c + (0 - -1). Solve 4*x - 11 = r, 0 = h*r + 2*x - 4*x - 7 for r.
5
Suppose 2 = 7*x + 2. Let i = -1 + 5. Solve y - 1 = i*r - 7*r, x = -r for y.
1
Let k be (-6)/(-14) - 6/14. Solve k = v - 5*o - 24, -3*v + 20 = -2*v - 4*o for v.
4
Suppose 4*k + 3*u + 11 = -55, 2*k + 40 = -5*u. Let q = -11 - k. Let h be -1 + 0/2 + 4. Solve 0*t - h*n + 10 = -t, q = n for t.
2
Let g(o) = o**3 + 3*o**2 + 2*o + 2. Let y = 6 + -8. Let f be g(y). Let v(p) = -p - 1. Let m be v(-1). Solve 3*b + f*t - 19 = -6, m = -4*b + t + 21 for b.
5
Let o be (-8)/12 + 26/3. Solve 4*s = -4*j - 20, -j - o = 3*s + 3 for j.
-2
Let a(f) = -4*f + 2. Suppose 0 = -3*m - x + 2*x + 8, -x - 5 = 0. Suppose -2*j - 3 = m. Let g be a(j). Solve w = q - 3, 4*q - 2 = -2*w + g for w.
0
Suppose 29 + 6 = -7*x. Suppose -3*r + j = 0, -3*r - 11 = 2*r + 2*j. Let w be ((-15)/(-3))/(r/x). Solve w = -5*p, -a + 5*p - 1 = -21 for a.
-5
Suppose 0 = 6*z - 2*z - 8. Let q(g) = g**2 - g - 20. Let f be q(7). Solve -5*j = -2*a - f, -z*a - 4 = 4*j - 18 for j.
4
Let y = -1 + 9. Suppose -4*n = u - 8 - y, 0 = n + 4*u - 19. Suppose x - 2*r = 2, x + 5 = n*x - 5*r. Solve -3*i + x - 7 = 2*h, 15 = -2*h + 5*i for h.
-5
Let c = -35 + 40. Solve -k - 3*o - 13 + 2 = 0, -2*k + 33 = -c*o for k.
4
Let n(f) = f**2 - f. Let p be n(0). Solve -a - i + 2*i - 1 = p, 0 = -3*a + 4*i - 5 for a.
1
Suppose 4 = 4*p + 4*w, 0*p + p - w - 3 = 0. Solve s - 5*i = 25, -p*s + 4*i + 31 = s for s.
5
Let o(z) = 3*z - 10. Let v be o(4). Solve -3*i - 14 = -5*r - 6, -2*i = v*r for i.
-1
Suppose -4*l + 5*t - 7 = 0, -5*t = 2*l - 3 - 16. Solve -j - 7 = 2*s, -2*s = l*j - 3*s + 9 for j.
-5
Let m(h) = h**3 - 6*h**2 + 4*h - 21. Let d be m(6). Solve -3*r = -0*r + 3*v + 12, -9 = d*v for r.
-1
Let j be -2 + (-1)/(-2)*4. Solve -3*x - 5*p - 21 = 0, 5*x + j*p - p = -7 for x.
-2
Suppose 5*h + 10 = 0, -4*n + h = n - 32. Solve n = -k - c, -3*k - 2*k = 3*c + 28 for k.
-5
Let t be 20/(-6)*33/(-22). Let v(m) = -4*m**3 + m**2 + m - 2. Let g be v(-2). Solve -t*f = -2*j - 12, -3*j - 7*f + g = -2*f for j.
4
Let x(v) = v**3 - v**2 - 2*v + 1. Let b be x(-2). Let w = -5 - b. Solve -w*r = 3*u - 0*r - 22, -3*u - 3*r = -27 for u.
4
Suppose 29 = -4*r + 77. Let t be (-4)/10*10/(-1). Solve -8 - 7 = -3*a + 5*k, -r = t*k for a.
0
Let a(i) = -16*i - 4. Let h be a(-2). Solve -4*j - h = -3*t, -2*j - 7 = 1 for t.
4
Let g(c) = c**3 - 8*c**2 + 2*c - 1. Let n be g(8). Let r be (n - -1)*1/2. Let x be 7/28 - (-38)/r. Solve -3*j + 9 = 3*z, 3*j + 3*z = x*z + 9 for j.
3
Let u = 151 - 146. Solve l - u = 0, 3*n + 0*l = -4*l + 29 for n.
3
Suppose 3*t - 70 = t. Suppose -5*h = -2*d - 2*h - 2, 2*d - 2*h = 0. Let a be (-3)/6*-3*d. Solve 0 = a*f - 5*f + 5*g - t, 4*f = -2*g - 10 for f.
-5
Suppose -4*u + 7 + 9 = 0. Solve -2*s + s = -u*o + 7, 0 = 4*s + 3*o - 10 for s.
1
Let h(b) = b**3 + 4*b**2 - b + 3. Let t = -6 + 2. Let n be h(t). Suppose -2*m = -17 + n. Solve -m*z = 2*g - g - 11, -5*z + 13 = 3*g for z.
2
Let t(a) = 4 + 5 + a + 6. Let c be t(-15). Solve c = -5*f - 5*u - 10, -f - 5*u = 4 + 2 for f.
-1
Suppose -2*g = -4*g + j - 3, 0 = -g + 4*j + 16. Let s(f) = -f**2 - 5*f - 2. Let i be s(g). Let l be -3 + 1*(-2 + 7). Solve 2*v + i = 0, 0*v = x + l*v + 2 for x.
0
Let b(l) = -l**3 - 10*l**2 + 8. Let f be b(-10). Suppose 0 = -5*y - x + f, -y - 1 = 3*x + 3. Solve 4*v = -3*q + 14, y*q - v = -0*v + 2 for q.
2
Let v be 3/(-1 + 86/92). Let x be (-8)/(-20) + v/(-10). Solve -d = x*z - 6, -z + 2*z + 2 = 3*d for z.
1
Suppose 0*c - 5*c - 55 = -5*l, 0 = -2*l + 8. Let r be (6/(-7))/(1/c). Solve -4*j = -3*o + 14 - 2, -2*j = -4*o + r for o.
0
Suppose 3*s - 8 = -4*t, 5 = 5*s + 4*t + t. Let q = s + 9. Let y be q + (0 - -2) - 0. Solve y*n = 2*n - 5, 2*g + 3*n = -9 for g.
-3
Let x(o) = -o - 15. Let r be x(-19). Solve 5*v = -0*d - 4*d + 6, -d = 4*v + r for v.
-2
Suppose 9 = 2*g + 1. Suppose -3*p + x + 11 = p, -2 = -2*p + g*x. Let z be p - -1 - 0 - 0. Solve -2*s - 5*w = 17, 3*w + 15 = 5*s + z*