, 6 = 2*s for z.
4
Suppose 0 = -4*y + 6*y. Let r = y - 2. Let w be 2 + 0 + 0 - r. Solve -2*c + 0 = 2*x - 2, -w*x + 3*c = -25 for x.
4
Let s = -10 - -14. Solve 5*b = s*j - 6, j - 7 = 2*b - 4 for j.
-1
Let t = 4 + -2. Suppose 4*l - 14 = -t. Suppose z - l*p + 1 = 3*z, 2*p + 2 = 0. Solve m + 2*y = 3*m, 4*m + z*y = 30 for m.
5
Let l = 49 + -44. Solve -l*d + 2 = 5*y - 8, 20 = d - 5*y for d.
5
Suppose c - 5*b - 28 = -3*c, -b = 2*c. Solve c*o + 4*s - 7 = 7*s, -o + 5 = -2*s for o.
-1
Let b(j) = 3*j - 4. Let o be b(4). Let p(g) = -g**3 + 8*g**2 + g - 4. Let a be p(o). Solve a*n + y - 17 = 0, -n - 3*y = 2*n - 15 for n.
4
Let w(q) = -5*q. Let b be w(2). Let d be (b/4 - -2)*0. Suppose 3*j = -d*j + 15. Solve 4*y + r = 17, 0 = -j*y + r + 3*r - 5 for y.
3
Suppose 2*f - 8 = 34. Let t = 24 - f. Solve -4 + t = -g + u, 4*g = 3*u + 1 for g.
-2
Let g(v) = v**3 + 3*v**2 - 18*v + 4. Let h be g(-6). Solve 2*o = -h*b + 18, 14 = 2*b - o - 3*o for b.
5
Suppose -h = 2*h - 24. Solve h = p + 3*d, 5*p - d = 4 - 12 for p.
-1
Let u be 26/10 - (-6)/15. Suppose -2*k = -8, -g + 20 = 2*k + u. Solve 5*x - g = -3*o + 10, 8 = 2*x + o for x.
5
Suppose 0*b - 2*b + a = -9, -b + 4*a = -22. Let w be (2/(-4) + 0)*0. Solve 2*k + b = 0, w = -5*d + 3*d + k + 11 for d.
5
Suppose -20*d = -22*d + 8. Let m(p) = -3*p - 7. Let k be m(-5). Solve -5*z = 2*t - d, 0 = 4*t + 2*z + k for t.
-3
Let a(p) = -p**3 + 6*p**2 + 2*p - 6. Let j be a(5). Solve 5*n - n = -3*w - j, 2*w = 3*n + 9 for w.
-3
Suppose 1 = -3*z + 4. Suppose 2*b - z - 3 = 0. Let n = b + 1. Solve n*h + 3*w + 12 = 0, 4 = 4*h - w - 5 for h.
1
Suppose 5*w = -2*z - 0*w + 28, 0 = -3*w. Suppose 3*p = -3*n + 7*p + 22, -3*n = 5*p + z. Solve -3*o = n*o + 5*v - 5, -2*v + 10 = 0 for o.
-4
Suppose 3*o = -2*c - 6, 4*o = -c + o - 9. Let j(u) = 2*u - 5. Let l be j(6). Let g = l - 5. Solve -c*h + i = -0*h + 1, h = -g*i - 5 for h.
-1
Let j(c) = c**3 - 8*c**2 + 7*c - 1. Let m be j(7). Let w be m/(-3) + 33/9. Suppose -12*v + 10*v = -26. Solve -w = -4*u + 4*y, 0*u - u = -5*y - v for u.
-2
Let s = -21 + 24. Solve s*q + 4 = 2*h, -2 = -2*h - 5*q - 30 for h.
-4
Let k = -3 - -5. Suppose 3*a + 4*q - 12 = 0, -k*a + 2*q - 6 = -0*q. Solve -3*m + 30 = 3*x, -3*x + 4*x - 5 = a for m.
5
Let s(r) = -2*r - 18. Let j be s(-11). Solve -v + 18 = -4*i - 3*v, i - j*v = 18 for i.
-2
Let k(o) = -6*o + 6. Let j be k(-6). Suppose -4*v + 9*v + j = -4*f, 3*v + 4*f = -30. Let a be 12/18 + 4/v. Solve a*s - 25 = 5*s, -4*s - 24 = 2*b for b.
-2
Let z(j) = j**3 - 4*j**2 - 2*j - 12. Let v be z(5). Solve 0 = 5*h - v*t - 19, t - 3*t = h + 4 for h.
2
Suppose 5*z = z + 20. Let a = z + -3. Suppose 0 = -x + a*q - 4*q, -6 = 3*q. Solve k + 3 = 4*t - 0*k, -t - x*k + 22 = 0 for t.
2
Let b be 23/(-7) + 30/105. Let g = b - -13. Solve -4*c + g = 3*o, c + 4*o + 5 - 1 = 0 for c.
4
Let i be 33/12 - (-2)/8. Let k = -15 - -25. Suppose -14 = -3*b + k. Solve -l = w + b, i*l - 4*l + 8 = -3*w for w.
-4
Let z(v) = -v**3 + 6*v**2 + 16*v + 9. Let u be z(8). Solve 0*n - u = -n - 2*c, 3 = 2*n - c for n.
3
Suppose -2*n + 4 = -n. Suppose -28 = -4*b - n. Suppose 0*y - y = -b. Solve 2*f + z = 15, -2*f + y*z - 5 = 3*z for f.
5
Let w be 1/(((-17)/(-4) - 4) + 0). Solve -3*g = -5*g - w*q + 10, 0 = 2*g - 4*q + 30 for g.
-5
Let r be (-6)/(-21) - 4/14. Suppose r = -l - 2*l. Suppose l = c - 6 + 2. Solve -6*p + p + c*i = -28, 12 = p - 4*i for p.
4
Let p(l) = l + 2. Let k be p(-5). Let n be -4 - -3 - -1 - k. Suppose 7 = -n*v + 4*v. Solve -5*x + 4*y - 2 = -v, -2*y = -10 for x.
5
Suppose -4*c + 4 + 28 = 0. Let g(h) = 2 + 0 + h**2 + 8*h + 10*h - 7*h. Let q be g(-11). Solve -4*i + 7 = i - q*s, 4*i = 5*s - c for i.
3
Let b be ((-32)/(-48))/(1/3). Solve b*d - n - 3*n = -14, -1 = 3*d - n for d.
1
Let b(q) = -q**3 + 2*q**2 + 3*q + 4. Let u(o) = -2*o - 5. Let c be u(-4). Let m be b(c). Solve -5*t + 5*f = -5, -6*f = -2*f + m for t.
0
Let q(d) = -d**2 + 19*d + 2. Let o be q(19). Solve -h + 2*p = 3*p - 9, -o*p = -8 for h.
5
Let f = 19 + -14. Let k be 4/(-18) + 2/9. Suppose k*x = x - f. Solve -p + x*u = -17, p = -3*u + 2*u - 7 for p.
-3
Let g = -17 + 21. Solve -3*h = -g*v - 21, 0*h = v - h + 6 for v.
-3
Let g be (-1 - 0) + 12/4 + -2. Solve -4*z + 4*i - 2*i = 4, g = 4*z + 3*i + 24 for z.
-3
Let p(n) = n**2 - 5*n - 12. Let b be p(7). Solve 4*h = -m - 16, -b*m - 2*h = -7*h - 33 for m.
4
Let s be (9 + -1)/((-3)/3). Let g = 12 + s. Solve -4*x - 32 = 4*o, -2*o + 4*o + 22 = -g*x for o.
-5
Suppose -5*l = -16 + 1. Suppose 0 = l*c - 3 - 27. Solve -6 = -n - 1, 5*q - n + c = 0 for q.
-1
Let c be (5/2)/(3/6). Solve 2*y = -f + 9, f - 21 = -3*f - c*y for f.
-1
Let v = 32 - 23. Let q be (6/4)/(v/12). Solve 4*x - 5*s = q*x + 23, 12 = 3*x - 3*s for x.
-1
Suppose n - 3*n = 5*s - 9, -3 = -3*s. Suppose -n*v + v + 3 = 0. Suppose 3*q - 26 = -4*p + 5, 3*q = 2*p + 7. Solve 40 = -4*w + q*z, -2*w - 2*z - 14 = -v*z for w.
-5
Let q = 4 + 4. Let v = -4 + 7. Suppose 3*d + v*x = 39, 0*d + 3*x - 55 = -4*d. Solve 2*t + 2*y + 0*y = -q, 4*t = -3*y - d for t.
-4
Suppose 3*b + 12 = -b - p, 2*b = 4*p + 12. Let q be b/(-5) + (-24)/(-15). Solve -3*n - 2 - q = -d, 5*n + d + 12 = 0 for n.
-2
Suppose -3 = -5*z + 4*z. Suppose -n - 7 = z. Let g be (-4)/n + 18/5. Solve p + g + 2 = -5*t, 2 = -5*p + 3*t for p.
-1
Suppose -2*s - 4 = 0, -g - g - 2*s = 0. Suppose 6*m + g*x = m, 4*m - 23 = 3*x. Solve l = m*j - 3 - 2, 0 = -j for l.
-5
Let v(f) = 2*f**2 - 4*f - 3. Let i be v(6). Suppose -r + i = 4*b, -b - 5*r - 17 = -52. Suppose p = 6*p - b. Solve k = -4*x + 13, 0*k + 16 = p*k + 3*x for k.
5
Suppose -11 = d - 15. Solve 5*t = -d*x + 16, -4 + 15 = x + 3*t for x.
-1
Let a be 4/3*(8 + -5). Suppose 0 = -g - 5*p + 13, 0 = g + g + a*p - 20. Solve -4*t = 4*x - 8, 4*x = x - t + g for x.
3
Let a(q) = -q**2 + 11*q + 3. Let c be a(11). Solve -4*o - 4*h - 11 + c = 0, o - h = -2 for o.
-2
Let q be (10 - 11)/(2/(-8)). Suppose 35 = 5*d - 2*p + 7*p, -q*d = 5*p - 30. Solve -4*w + d*v - 3 = 2, 4*w = 4*v for w.
5
Suppose 9 = -5*b - 6. Let c = 1 - b. Solve -5*y - 5*a + 5 = -0*y, c*y - 3*a + 24 = 0 for y.
-3
Suppose -12*r + 374 = 26. Solve 5*v + 5*x - x + r = 0, -5*x = -3*v - 10 for v.
-5
Suppose -j - j + 10 = 0. Suppose 0 = -5*s + 10 + j. Solve m + 16 + s = -4*t, 5 = -t for m.
1
Let y be (-16)/(-3) - (-2)/(-6). Solve 2*f - 9 = -u - 22, y*f = 3*u - 16 for f.
-5
Let x be (-2 - 0)*(-3)/6. Let u be (x - 6/15)*5. Solve -u*l = 3*s - 21, -5*s + 2*s + 6 = 0 for l.
5
Let b = -11 + 26. Let m = -20 - -40. Suppose 4*t + 5*l - 5 = 0, -2*t + t + 5*l = -m. Solve -q + 2*w + b = -2*q, 2*q - 3*w - t = 0 for q.
-5
Suppose 3*k - 2 = w, -3*w + 10*k - 5*k + 2 = 0. Suppose -4*n + 12 + w = 0. Solve -r - 2*x - 4 = 0, 4*r = n*x + 12 - 4 for r.
0
Suppose -4*g - 4 = -4*l, 0 = g + g + 2*l - 18. Suppose 2*o = -0*o + g. Solve -4*z - 3*y = -6 - 19, -2*y + o = -z for z.
4
Let j(x) = -x - 5. Let h be j(-10). Let z(c) = -c - 6. Let t be z(-10). Solve 2*l = t*k + 12, h*k - 2*l + 1 = -3*l for k.
-1
Let c(m) = -m**3 - 4*m**2 + 6*m + 6. Let h be c(-5). Let x be -1*h/2*-8. Solve -x*g + 4*k + 8 = 0, g + 0*k + 3*k = -18 for g.
-3
Let h = 15 + -13. Solve h*j = -j + v, -j - v = 0 for j.
0
Suppose 6*q = 3*q. Solve q = -4*p - 5*k - 12, 5*p + 13 + 2 = 2*k for p.
-3
Let t = -7 - -16. Let b = t + -6. Suppose -3 = -3*w + 6. Solve 3*q = 12, 0 = -3*z - w*q - 0 + b for z.
-3
Suppose 4*n + 2*c = 38 - 20, n + 4*c + 6 = 0. Solve 7*w - 3*w - 5*g = 12, -2*g - n = -w for w.
-2
Suppose 0 = -2*o + 3*u - 3, -o - 2*u = 3*o - 18. Let x be (-20)/(-6)*o/2. Let k be 3 + x + 0/2. Solve k = 4*v, -5*j = -4*v - 0*v - 12 for j.
4
Let i = 21 + -45. Let o be (-2)/(-7) - i/(-84). Solve o = -2*h + a - 10, -4*a + 7*a + 25 = -5*h for h.
-5
Let z(q) be the first derivative of 9*q**4/2 - 2*q**3/3 + q**2 - q - 1. Let f be z(1). Suppose -4*b + 3 = -f. Solve 3*s = s - b*m - 10, -m = 2*s + 10 for s.
-5
Let m = 1 - -3. Suppose 3*t - 11 = 4. Solve x + 5 = n + 3*n, -m*n - t = x for x.
-5
Let y(v) = v - 7. Let j be y(11). Solve 4*c = j*a - 0*a - 28, 0 = 4*c + a + 3 for c.
-2
Suppose 0 = -6*b + 3*b - 15. Let n(g) = g + 9. Let j be n(b). Suppose 3 + 9 = j*v. Solve -2*y + 30 = 5*z, 19 = v*y + z - 0 for y.
5
Let l(i) = -5*i - 3. Let f(u) = -9*u - 6. Let g(y) = 3*f(y) - 5*l(y). Let s be g(3). Let a = s - -12. Solve -5 = 4*p + 3*c, p + 2 = -a*c + 12 for p.
-5
Let b = 4 + -3. Let i be (4/(-10))/(b/(-5)). Sol