c - 21, z = c - p for z.
-4
Let m = -35 + 37. Solve m*y + 2*a = 18, y + 3*a - 19 = -0*y for y.
4
Let m = -3 - 8. Let v be m/(-3) - (-4)/(-6). Solve 0*r + 3*w = -2*r + 13, 0 = v*r + w - 9 for r.
2
Suppose 0*k + 4*k - 48 = -4*a, 0 = -4*k + 5*a + 21. Solve -k + 4 = -t, 5*i + 10 = -t for i.
-3
Suppose 2*w - 3*z + 9 = 0, 0 = -4*w + 2*w + 4*z - 6. Let a = w - -5. Let g be (12/(2 + a))/(-2). Solve 4*l - g*f + 17 = 0, -f + 8 = -5*l - 16 for l.
-5
Suppose 27 = i + 4*w, -2*w + 5*w = -2*i + 44. Solve 0 = 5*g - 4*x - x + 15, 3*g + 2*x = -i for g.
-5
Suppose 21 = s - 2*i, 0*i = -i - 1. Let f be s*(-2 + (-6)/(-2)). Suppose 0 = -2*u + f + 25. Solve 5*q = 3*y - 5*y - u, -y - 17 = 4*q for y.
-1
Let x(f) = -f**3 - 3*f**2 + 4*f + 6. Let p be x(-4). Suppose 5*i + p - 1 = 0, 3*i - 5 = -2*q. Solve -b = 3*b - 20, b - 9 = -q*a for a.
1
Let l(x) = -x**2 - 12*x + 16. Let d be l(-13). Let y be 1*d - 4/4. Solve -4*o - 2 = -u + 17, y*u = -3*o - 17 for u.
-1
Suppose 4*g - 16 = 92. Suppose 7 = -4*n + g. Suppose n + 13 = t. Solve -5*h + 2 = 3*l - t, 2*l = 10 for h.
1
Suppose 0 = 5*d - 4*k - 100, 62 + 9 = 4*d - 5*k. Let y = d + -12. Solve -4*z = t - y, 4*t + 2*z = 2*t for t.
-4
Suppose 168*b - 10 = 163*b. Solve -2*z - 3*f = -2*f + 4, b*f = -2*z - 6 for z.
-1
Let g(o) = -3*o - 22. Let t be g(-9). Solve p + 0*p = 0, -4*p = t*d - 10 for d.
2
Let h = 61 + -16. Suppose 2*m = 3*d - 0 - 5, 5*d + 4*m = h. Solve -d*s + 4*b - 27 = 0, -3*s + 4*s + b = 0 for s.
-3
Let i = -20 - 20. Let s = -22 - i. Let m = -12 + s. Solve -4*p + 2*d = m, -4*p = -d + 3*d - 6 for p.
0
Let w = -1 + 3. Solve -2*t = 3*n + 8, 6*n = n - w*t - 8 for n.
0
Let y = 8 - 3. Let m(s) = 7*s - s**2 - 1 + 2 - 3. Let n be m(y). Solve 4*w + 29 = -3*c, -20 = -4*w + n*w for c.
-3
Suppose 5*r - r = -3*w + 32, 4*r = -4*w + 40. Let m(d) = -2*d - 1 + 1 + 3*d. Let o be m(3). Solve -3*l = 4*a - w, -o*l - 1 = -2*l + 5*a for l.
4
Suppose -y + 10 = 2*q, -y + 0*q - 5*q + 4 = 0. Let r = 1 - -2. Let a = -23 + 35. Solve 0 = r*c + 5*f + y, -4*f + a - 4 = -4*c for c.
-3
Let c(p) = p + 6. Let f be c(-5). Let v = 2 - f. Solve -3*u - v = -0*d + d, 5*d = -2*u + 8 for d.
2
Let p(k) = k - 1 + 5*k + 5*k - 8*k. Let j(l) = -l**3 + 4*l**2 - 3*l + 1. Let v be j(3). Let z be p(v). Solve -f + 6*f = -z*u + 5, 5*f + 25 = 4*u for u.
5
Suppose -4*d + 4*u = 0, d - 15 = -0*u - 4*u. Let w = -12 - 1. Let h = -2 - w. Solve 0 = -4*f + b - 3, 0 = -d*b - 4 - h for f.
-2
Let o be (12/10)/(2/5). Suppose 2*l - o = 3. Solve 2*f - k + 2 - 1 = 0, 3*f - l*k = 0 for f.
-1
Let f = -4 - -8. Solve -3 = 3*l, -25 = 8*k - f*k + 5*l for k.
-5
Suppose 3*c = -3*k + 12, 5*k + 2*c = 6*k - 10. Solve -3*g - 4 = -2*t, -2*g - k = -t - 3 for t.
-1
Let g = -66 - -69. Solve 7 = -4*v - 3*a, -v - 2*a = -g*v - 14 for v.
-4
Let w(f) = f**3 - 3*f + 3. Let y be w(2). Suppose -5*v = -5*u, 3*v - 9 = -4*u + y. Solve -2*x = -2*r - 4*x + 4, -u = r + 3*x for r.
4
Let m be ((-6)/(-15))/((-2)/(-10)). Solve m*y - 2 - 2 = 0, 5*q - y = -12 for q.
-2
Let r(h) = -5*h. Let z be r(-1). Let u = -4 + z. Let w = u - 1. Solve j - 22 + 6 = 5*o, -2*o + 5*j + 12 = w for o.
-4
Let u(q) = -q + 8. Suppose -2 + 30 = 4*m. Let x be u(m). Solve -x - 3 = -2*l + 2*w, -4*l = 5*w + 10 for l.
0
Suppose -25*z = -20*z - 20. Solve -z*k - 3*s + 7*s = -24, k = -s - 4 for k.
1
Let l(u) = 5*u - 25. Let w be l(9). Solve -w = 5*b, -29 = -3*n + 4*b - 4 for n.
3
Suppose 0 = -4*j + 2*k - 2, -21 = -2*j + 4*j - 5*k. Solve -z - 3*g - j = 0, 0 + 5 = 3*z - 2*g for z.
1
Suppose j - 4*f - 12 = -0*f, -2*f - 6 = -5*j. Suppose -u + 2 + 5 = j. Let b = u + -4. Solve 3*h - 6 = -b*z, 0 = -z + 4*z + 9 for h.
5
Let w(f) = f + 17. Let u be w(-12). Solve 5*y + 40 = u*x, 3*x - y = -6*y for x.
5
Let o = -4 - -4. Suppose o*v + v = 8. Suppose s + 4*d + v = 2*s, 2*s - 4 = -4*d. Solve 0 = -s*n + 2*y + 14, -4 = -n + 4*y + 3 for n.
3
Let d(x) = x**2 - 4*x + 3. Let g be d(3). Suppose 5*c + 5*u = 30, -3*u = -5*c + c + 10. Solve g = -t - a + 4, 4 = -c*t - 5*a + 23 for t.
1
Let r(l) = l + 8. Let q be r(-9). Let x = q - -4. Solve x*c - 5*j = -0*c + 3, -j = 3*c - 3 for c.
1
Let m = -8 + 13. Let o(i) = i**3 + 3*i**2 - 3*i + 2. Let r be o(-3). Solve -r = -j - 5*k, -j - 3*k + m = -0*k for j.
-4
Let i be 4/(-5)*70/(-28). Solve 12 = -3*b - 3*p, 3*b + i*p + 2 = p for b.
1
Suppose -4*y + 3*z = -2*z + 215, 2*z = 3*y + 170. Let j be -1 + (-1)/(3/y). Solve -2*q = 5*w + q - j, 3*w - 21 = 3*q for w.
5
Let j(c) = 2*c - 28. Let y be j(15). Solve 4*n - y*v = -4*v - 20, 4*n - 2*v = -20 for n.
-5
Let z = -125 + 134. Solve -2*i = 5*a + z, 3*i - 7*a + 2*a + 1 = 0 for i.
-2
Suppose -3*p = -5*x - 11, 2*p + 7*x + 1 = 2*x. Solve -k - 16 = k - 4*t, 24 = p*k + 4*t for k.
2
Let f be 2/(-26)*2 + (-4)/(-26). Solve f*s = 4*n - s + 20, 0 = n + 3*s - 8 for n.
-4
Let h be (-4 + -4)/(-4) + 2. Solve 2*c - h*t - t + 28 = 0, 4*c + 4 = -3*t for c.
-4
Suppose 2*y + 2*m = -2*y - 28, 2*m = y + 2. Let r be 3/(y/4)*-2. Solve 36 = 4*s + 4*j, r*j - 15 = 1 for s.
5
Let i be -1 - 0 - 14/(-7). Let x be (-4 + 2)/(i/(-2)). Let v(d) = -13*d - 1. Let w be v(-1). Solve -3*k = -x*h - w, 3 = -2*k + 7*k - h for k.
0
Let b(z) = -z**3 + 3*z**2 + 2*z - 3. Let j be b(3). Solve -4*s - 20 = 0, -j*x - 5*s = x + 13 for x.
3
Let z = -20 + 37. Suppose -3*w + 10 = -z. Suppose -2*r + 20 = 3*r - 2*n, 17 = r - 3*n. Solve -4*k = -r*q - 18, -5*q - k = k + w for q.
-3
Suppose 2*f - 100 = -2*f. Suppose f = 5*i - 0*i. Solve 0 = -i*l - r, 0*l = 2*l + 5*r for l.
0
Suppose -r + 1 = 0, -2*g - 15 = 4*r - 5*r. Let y = 9 + g. Solve 4*c - y*q - 3 - 9 = 0, c + 4*q = 3 for c.
3
Let o be -22*(-3)/6 - 3. Suppose -3*v + 4 = -o. Let s be 4/(-10) - 44/(-10). Solve -f + v*f - 2*k = 12, -s*f = 2*k - 16 for f.
4
Suppose 0 + 1 = p. Suppose 5*v = 0, 4*v + 53 - 290 = -3*o. Suppose -2*w + 3*g + 40 = -19, 3*w + 5*g - o = 0. Solve -5*x = -3*s + w, -4*x - p = 19 for s.
1
Let o = -64 + 69. Solve -o = -4*m - 3*l - 19, 5*l - 5 = -m for m.
-5
Suppose 25 = 3*v - 5*b, -3*v - 3*b + 8 = -1. Suppose -13 = -4*z + 5*r, -v*z + r = -14 + 3. Solve -3*g + 11 = z*g - a, 3*g - 8 = 2*a for g.
2
Let i = 43 - 33. Solve 26 = -3*b + 5*c + 4, -i = -5*c for b.
-4
Suppose 2 + 4 = 3*w. Suppose w*u - 2 = 2. Solve 0 = 2*c - n + 6, -2*c + u*n + n - 6 = 0 for c.
-3
Let f be 42/15 + (-2)/(-10). Let d = 11 - 7. Solve b - g = -3 + 6, -d*b + f*g + 7 = 0 for b.
-2
Suppose -2 = -z + 3. Let y(w) = -w + 3 + 2*w - 1. Let i be y(0). Solve 3*x - i = -s, x = 3*x + z*s + 3 for x.
1
Let g = 36 + -15. Suppose u + 14 = 19. Let f(i) = 3*i**2 - i. Let x be f(1). Solve u*v = v - x*p + 22, -3*p + g = 3*v for v.
4
Suppose -2*j + 8 = -0, 4*b = -5*j + 140. Solve 3*c - b = 3*d, -4*d - c - 20 = d for d.
-5
Let x be -2 - (-5)/((-5)/2). Let c be (2/x - -1)*20. Suppose a = 6*a - c. Solve 0 = -4*o - 4*s + 8, -s + 4 - a = 0 for o.
0
Suppose 21 = -3*u + 10*u. Suppose -4*r = u*j - 21, r = -j + 5 + 1. Suppose 3 + 9 = 3*c. Solve h + x - j = -2, -c*x = 0 for h.
1
Suppose 2*y + 102 = -0*y. Let x be y/(-4) - (-1)/4. Let k = -8 + x. Solve -2 = -5*v + 3*t + 23, 0 = k*v + 3*t - 25 for v.
5
Suppose 2*p - 10 = -0. Suppose -2*z + z + 2*j + 12 = 0, -p*z = 5*j - 90. Solve -z = -4*n + 3*b + b, 5*n - b - 4 = 0 for n.
0
Let s(j) = 12*j**3 - j**2 + 2*j - 1. Let c be s(1). Solve -r = -n + 4, 0 = -2*n - 2*r + c - 4 for n.
4
Let i be 2 - 2 - (-16)/4. Solve i = -4*t, -3*w - 6 = -0*w + 3*t for w.
-1
Suppose b = 5*o + 6*b, -2*o = 5*b + 9. Solve 4*n = 2*n + o*a, -n = -a + 1 for n.
-3
Let z(b) = -b - 7. Let a be z(-10). Solve 4*o - 5*o = a, 0 = 5*r - 3*o - 24 for r.
3
Let a(u) = -u**3 + 3*u**2 + 2*u - 4. Let g = 10 - 7. Suppose -g = -3*w + 6. Let x be a(w). Solve -4*t + x*t + 6 = 3*p, 3*t - p + 2 = 0 for t.
0
Let r = 13 + -7. Suppose -5 = -12*h + 19. Solve -h*v = 4*z, -v + 2*z - r = v for v.
-2
Suppose 0 = -w - w + 36. Let c be 788/w + (-6)/(-27). Let s be (-4)/(-6) + c/6. Solve s = 5*h - 4*z, -3*h - 5*z = -0*h - 27 for h.
4
Let n = 8 - 4. Let f(g) = g**3 + 5*g**2 - g. Let v be f(-5). Suppose -3*y + 20 = 2*j + 2*y, 0 = 3*j - 2*y - 30. Solve 7*i + v = -n*c + 2*i, -i + j = 3*c for c.
5
Let s = 22 + 17. Let v be s/9 + (-1)/3. Solve j = v*i + 16, -5*i + 3*j = -6 + 19 for i.
-5
Let q be (-10)/(-6) + 3/9. Let m(x) = -x**3 + 4*x**2 - x + 5. Let i be m(4). Let z = q + i. Solve -13 = z*s - 4*u, 3*u - 2 = -3*s - 8 for s.
-3
Suppose 3*a - 5*v = 9, v = 2*v. Solv