 + i, -2*n = -4*k - 22 for k.
-5
Let w be (-17)/(-6) + (-1)/(-6). Solve 3*v = -4*t + 7, w*t - 2 = 2*v - v for t.
1
Suppose 4*u + u = 15. Let m be -1*3/1 + u. Let t be ((-12)/2)/((-6)/4). Solve t*k - 5 = 3*z + 19, 4*z + 4*k + 4 = m for z.
-4
Let c(z) = -3*z + z + 3*z + 8. Let m be c(-4). Solve m*g + 20 = -g, -h - 4*g = 16 for h.
0
Suppose 0 = -4*s + 4 + 4. Solve -2*r + 1 = -i + s*r, r = -2*i + 7 for i.
3
Let b be (-3)/2*4/2. Let h be b/3 + -2 + 2. Let u be (-2)/h + (-1 - 0). Solve -9 = 2*f + 3*f + 3*i, 0 = f + i + u for f.
-3
Let x(t) = -t - 5. Let m be x(-6). Let q = 109 + -102. Solve -a - 4*c = -8, 0 = 5*a - 3*c + q - m for a.
0
Let k = 92 + -55. Solve 5*u = 4*v - k, -5*v + 2*u - u = -20 for v.
3
Suppose -3*s = -12*s + 117. Solve 0 = -3*f + 4*k - 10, 0 = 4*f - 4*k - k + s for f.
-2
Suppose -6 - 52 = 2*u - 2*c, 0 = 4*u + 3*c + 144. Let v be (6/(-5))/(u/110). Solve -x - 29 = 2*x - v*g, 0 = -3*x - 3*g + 6 for x.
-3
Suppose 16*p - 100 = 12*p. Let w = p - 25. Solve 2*d = -g, -g + 3*d + 11 - 1 = w for g.
4
Let y be -38*5/(-30) + (-2)/6. Solve 2*l = 4*d + 2, d + 6 = -y*l + l for l.
-1
Suppose -g + 2 = -0. Suppose 0 = 2*w - 3*w + 4*z - 15, 4*w + 4 = g*z. Let m = 1 + w. Solve -4*l = k + m*k, -3*k = 3*l + 3 for l.
3
Let p = -27 + 42. Let v be (-3)/(-12) - p/(-20). Solve 3*h - 5*b = 10, -4*h + v - 5 = 2*b for h.
0
Suppose -c + b - 4*b = 7, 4*c - 5 = -b. Solve 5*x + 2 = -l + 15, -2*x = c*l - 10 for x.
2
Suppose -q = 4*b - 3*b, -4*q = -b + 10. Solve 0 = b*w + 4*g + g + 26, -2*g + 4 = -4*w for w.
-3
Suppose -2*l = 14 - 38. Solve 5*s + l = -w, -2*w - 3*w - 14 = 2*s for w.
-2
Let a = 15 + -10. Solve -a*k - f = 20, -5*k + 4*f + f = -10 for k.
-3
Let t be (-58)/6 - 2/(-3). Let v be 3/t + 58/3. Suppose v + 1 = 4*p. Solve h - p = 3*q + 5, -q + 2*h - 5 = 0 for q.
-3
Let y(n) = -n - 2. Let r be y(-4). Suppose 3*z = -4 + 16. Solve r*t = 6*t + 4*o - z, -13 = -3*t + 2*o for t.
3
Let o be 6/4*(-1 + 3). Let b(t) = t**3 - 2*t**2 - 3*t. Let q be b(3). Suppose -10*g + 8*g + 10 = q. Solve g*k - 25 = -5*j, 3*k + j - 16 = -o*j for k.
4
Let d = -179 + 91. Let x be 16/d - 4/(-22). Solve x*q + 4*y + 12 = -2*q, q - 4*y = 18 for q.
2
Let m = -78 + 91. Solve -6*o + m = -11*o - n, 0 = 4*o - 2*n + 2 for o.
-2
Let g = 105 - 101. Solve 2*k - 4*j + 4 = 12, 2*j = 2*k - g for k.
0
Let b be (9/6)/(6/16). Solve -5 = 3*o + n, 0 = b*o + n - 2*n + 2 for o.
-1
Suppose g = 3 - 0. Solve 0 = 5*t + 4*d + g + 2, 0 = -t + 4*d + 23 for t.
3
Suppose r = 3*r - 4. Solve -f + r*f = -l - 7, 4*l + 22 = -f for l.
-5
Suppose 3*h - 20*h + 51 = 0. Solve 2*n - 3*m = 2*m + 4, -5*n - h*m + 10 = 0 for n.
2
Let p = 75 + -75. Let o = 3 + 2. Solve o*t + 5*z - 10 = p, 5*t - 3*z - 10 = 8 for t.
3
Let q = -15 + 18. Let c(z) = -3*z - 5. Let d(u) = u + 1. Let v(o) = -c(o) - 5*d(o). Let f be v(-1). Solve -f*b = s - 4*b - 2, q*b + 3 = 2*s for s.
0
Let t be 52*6/168 + (-2)/(-14). Solve t*y - 17 = -5*d, -3*d = 3*y - 0*d - 12 for y.
1
Let w = 24 - 29. Let l(i) = -3*i - 3. Let r(v) = 7*v + 6. Let p(g) = 5*l(g) + 2*r(g). Let a be p(w). Solve 0 = 5*c + 5*n + 25, a*c = -2*c + 3*n + 15 for c.
0
Let s(u) = -2*u + 25. Let q be s(7). Solve 2*y - q = b, 2*b - 3*y + 7 = -2*y for b.
-1
Let i = -31 + 45. Let p = 23 - i. Suppose -2*a + p = a. Solve 0 = 5*l - 25, 2*l - 10 = -a*q for q.
0
Let m(l) = l**3 + 2*l**2 - 2*l + 1. Let g be m(1). Let z be (-2 + 14)*g/3. Solve -3*f + 5*c = -2*f - 20, 2*c = -z for f.
0
Suppose -5*v = 3*p - p - 163, 3*p = v + 287. Suppose -s = -p + 7. Suppose -5*q - 4*o + s = 0, 3*o - 4 = -2*q + 28. Solve -1 = -2*i + 1, -q = 5*f - 4*i for f.
-3
Let v = 4 - 4. Solve 4*l - j - 9 = 0, v = -0*l - 3*l - j - 2 for l.
1
Suppose 0 = -3*a + 15, 4*b + 1 = 2*a - 1. Solve 2*z = -2*k - 3*z + 9, b*z = -5*k + 12 for k.
2
Let x be (-18)/4*4/(-6). Solve x*s - 22 = 4*v - 2*s, 0 = v - 5*s + 13 for v.
-3
Suppose 5*z + 2*w + 0*w - 42 = 0, -2*w + 2 = 0. Suppose -p = -3*p + 3*q - 9, 4*p + z = 4*q. Solve -3*d - p = -3*j + 9, 4 = 5*j + 3*d for j.
2
Suppose 5*d - m - 87 = 0, -d - 6 = 2*m - 30. Suppose 5*w - d = 2*w. Suppose -w*y + 4*y = -6. Solve 0 = -2*u + y*b + 9, 5*u = b - 0*b + 16 for u.
3
Suppose -5*f + 0*f + 5*v + 90 = 0, 2*f = -5*v + 43. Solve -2*m - m + 5*i - 17 = 0, 4*i = -3*m + f for m.
1
Suppose -2*d + 2*j - 6 = -0*j, 5*d + 3*j - 25 = 0. Suppose -2*p + 2*i = -p - 7, 4*p + d*i - 18 = 0. Solve 4*u = a - 16, 2*a = 5*a - p*u - 20 for a.
0
Let f = -3 + 7. Suppose t - f*y = y + 3, 5*y = 0. Let k = 20 - 15. Solve -n + j + t = 0, -n - k*j = -4*n + 13 for n.
1
Suppose 25 = -5*j, 5*j - 3*j = -4*s + 2. Suppose 6 - 4 = h. Solve k = 2, -s*r - 2*k - h = -12 for r.
2
Let l be ((-12)/(-16))/(2/(-8)). Let m = l + 4. Solve -7 = 3*q - m, -2 = -2*h + 4*q for h.
-3
Let r(l) = l**2 + 4*l - 42. Let z be r(-9). Solve -2*n + 5*c = 8, 3*n + z + 2 = 4*c for n.
1
Suppose 0 = -2*v - 0*v. Suppose h = -v*h + 2. Solve d - 1 = h*p, -2*d - 4 = -p - 6*d for p.
0
Let b = 24 + 24. Suppose 3*p - p - b = 0. Suppose 2*o + 5*v - p = 0, 4*o - 6*v + 4*v = 0. Solve o*r = -3*t + 4*t + 1, 0 = -3*t + r - 13 for t.
-5
Suppose j + 0 = 3. Let h be (2*2)/(-1 + j). Suppose 3*v - 48 = -12. Solve -s + 6 = s - h*w, -w = 4*s - v for s.
3
Let b(u) = u**3 + 8*u**2 - 8*u + 11. Suppose -5*v - 70 = 5*q, -27 = 5*v - 5*q - 7. Let h be b(v). Solve -3*z = 6, h*z = 4*l - 0*z + 8 for l.
-3
Suppose 4*y + 16 = 0, -4*y - 4 = -4*s - 12. Let f = -2 - s. Suppose -f*r + 9 = -r. Solve 6 = r*p - 5*k - 5, k = -4 for p.
-3
Let k(a) = a**3 + 4*a**2 + 3. Let r be 75/(-20) + (-2)/8. Let c be k(r). Suppose 2*y - c = 3. Solve -3*w = 2*m - 2 + y, 4*w - 27 = 3*m for w.
3
Let y(h) = h**2 - 7 + 1 + 5*h + 5*h. Let w be y(-11). Solve 0 = w*n - f + 19, -4*n - 21 = 5*f - 0*f for n.
-4
Suppose 0 = 3*x - 4*x + 2. Suppose 0 = 4*u - 8 - 0. Let o be x/u + (-2)/(-2). Solve -3*h + 14 = -5*v, -v + 1 = o for h.
3
Let o = 2 + 0. Solve -10 = -2*x, 5*r - 13 = o*r - 2*x for r.
1
Let y = -6 + 6. Let t = y + 5. Solve -4*c + 4*n = -t*c - 8, c - 7 = n for c.
4
Let c = -86 - -90. Solve -c*y - 16 = -4*b, 4*y + y = -b - 8 for y.
-2
Let x be (2 - 1)/(8/40). Suppose -f + 5*f = -o - 19, 0 = x*o + f. Solve 3*s + o = -3*n + 5*s, s = -5*n - 19 for n.
-3
Let q = 72 + -47. Solve -5*u + 3*r + 25 = 2*r, -5*u - 2*r = -q for u.
5
Let y(s) = -s**3 + s**2 + 10*s + 12. Let n be y(-3). Solve 3*w - f + n = 0, f - 12 = -3*f for w.
-5
Let d = 70 + -45. Solve 3*y + 5*r + 26 - 1 = 0, 4*y + d = -5*r for y.
0
Let r = 9 + -4. Solve -5*x + 3*c - 6 = r*c, 0 = -2*x + 3*c - 10 for x.
-2
Suppose 2*z - 2 - 12 = -3*u, -5*u = -z - 19. Suppose -5*w + 20 = -u*b, w = -w + b + 11. Solve -3*n - 4*d - w = 0, n - 2*d = -d + 9 for n.
4
Suppose -12 = 4*o - 8*o. Solve -h + 28 = 5*i, -5*h + o = -5*i + 13 for i.
5
Let q(o) = -9*o - 24. Let v be q(-3). Solve j + 3*l - 4*l = -1, 5 = -4*j + v*l for j.
-2
Let l(a) = -a**3 - 5*a**2 - 4*a + 1. Let p be l(-4). Let k be (4/p)/(10/5). Suppose k*v + 5 = 3*v. Solve -20 = 5*z, v*h - 3*z = -0*z + 32 for h.
4
Let r(s) = 3*s - 15. Let i(u) = -u + 5. Let o(y) = 8*i(y) + 3*r(y). Let w be o(6). Solve 3*x = 4*c - w, x + 3*c - 2*c = 2 for x.
1
Suppose -b + 7 + 1 = 0. Let v(q) = q**3 - b + 7*q**2 + 89*q - 85*q + 1. Let s be v(-6). Solve -5*j - w + 13 = 3*w, 0 = -2*j - 5*w - s for j.
5
Let x(h) = -h**3 - 6*h**2 - 7*h - 39. Let d be x(-6). Solve 0 = r - d, 5*r - 2*r = 5*p + 24 for p.
-3
Suppose 0 = -4*u - 3*o + 27, 0*u + 5*o - 34 = -3*u. Solve -s - u*p + 1 + 5 = 0, -2*s = -2*p - 4 for s.
3
Let x be 1/4 - 19/(-4). Let p be -4*-1*(x + -2). Solve m - 2 + p = -4*z, 4*z + 22 = 5*m for z.
-3
Let j(f) = -f + 7. Let s be j(-6). Let q = 18 - s. Solve -4*p - 7 = -a + 4*a, q*p = -2*a - 7 for a.
-1
Let d(w) = -7*w - 8 + 4 + 0. Let z be d(-4). Suppose 2*f + 0*p = 4*p + z, -2*p = -2*f + 18. Solve 0 = -5*n + 2*n + 3*g - f, -n - 5*g = 8 for n.
-3
Suppose 0*p = 4*p + 12. Let k be ((-2)/2)/(p/21). Let r = -2 + k. Solve -5*b - 35 = -r*s, 5*b = -2*s - 9 - 5 for s.
3
Let o(j) = -3*j**3 - 2*j**2 - 2. Let k be (-9)/4 - 3/(-12). Let x be o(k). Let d be 1/(-1)*1*-4. Solve 2*p = -d*g, -p + 0*g + 5*g = x for p.
-4
Let f(h) = -13*h - 2 + 17*h - 4*h + h**2. Let z be f(-3). Solve -4*s + 1 = -2*y - 3*s, -4*y - z = -3*s for y.
2
Suppose -5*g - 5*g + 60 = 0. Let a = 11 + -7. Solve p - c - g = 2, 5*c = -a*p + 5 for p.
5
Suppose -v = -b - 3, -2*v + 3*v - 5 = 0. Suppose -3*p = -5*p - 6. L