 be -3*((-26)/6)/(-1). Let n = -7 - x. Solve h + h + n = y for h.
-3
Let r be 526/4 + 2/4. Suppose 4*x - r = 3*h, 2*h + 2*h - 5*x + 175 = 0. Let s be (-792)/h + (-2)/(-10). Solve -6*j = -2*j + s for j.
-5
Let d be -2*(-2)/(-4)*-5. Suppose 3*c - d*w = -10, -4*c + 3*w + 25 = 4*w. Solve -4*y = y - c for y.
1
Suppose 5*p + 4 - 19 = 0. Suppose p*d = d. Suppose -2*x + z + 11 = d, 0 = 4*x - 3*x + 4*z + 8. Solve -x*y - 8 = -4 for y.
-1
Suppose z + y = 4, -4 = -4*z + y + 22. Solve -r - z = 2*r for r.
-2
Let j(l) = l - 3. Let t be j(7). Let g = 19 - t. Solve 0 = 2*a + a - g for a.
5
Suppose -4*s = 4*m - 4, -4*s = -4*m - 18 - 26. Solve 8 = -4*v + s*v for v.
4
Let v = 8 + -4. Solve 0 = -3*w - w - v for w.
-1
Let q = 1 + 3. Suppose q*t - 5*c + 50 - 125 = 0, -5*t + 99 = -c. Let n = 4 + -1. Solve -n*a - 8 = -t for a.
4
Suppose -r + 8 = r. Let v(l) = 3*l**3 - l. Let w be v(1). Suppose -14 - 6 = -w*f. Solve 0 = r*c - 9*c - f for c.
-2
Let m = -12 + 15. Let o be (3 - m)/(-2 + 0). Solve -3*b + 8 - 23 = o for b.
-5
Let f be (-6)/(-9)*-3*-10. Solve 3*s = 8*s + f for s.
-4
Suppose 30 = 2*z - 20. Solve 4*t + z = -t for t.
-5
Suppose 3*j = -0 + 3. Let r be 6 + j/(-1) - -1. Solve -3*a - 9 = -r*a for a.
3
Suppose -48 = -4*w + 4*d - 0*d, 2*w - 32 = 4*d. Let u(t) = -t**3 - 5*t**2 - 6*t - 1. Let g be u(-4). Suppose -c + 10 - 7 = 0. Solve -c*v + g*v = w for v.
2
Suppose -2*z - z = -24. Suppose 2*q + 20 = 4*q + o, q + z = 4*o. Solve c + q = -c for c.
-4
Suppose -5*b = 4*v - 10, 2*b + 5*v + 1 - 5 = 0. Let s be (b/4)/((-1)/(-6)). Let r = 2 + s. Solve c = -0 - r for c.
-5
Suppose 0 = -2*h - 2*h + 8. Solve l + h = 3*l for l.
1
Let t(c) = -c**3 - 5*c**2 - 5*c. Let q be t(-4). Let v be 585/63 - (-2)/(-7). Suppose -5*f - v = q*m, -5*f - 1 - 36 = -3*m. Solve m*o = -9 + 1 for o.
-2
Let r be (-10)/(-2) + (2 - 5). Solve -4*j + r = -10 for j.
3
Let p be (2 - -3)*16/5. Suppose x - 4*o - 12 = 0, 5*x - o - p = -3*o. Let n be 1*8 - 8/x. Solve n*y = y + 15 for y.
3
Suppose -3*y - 10 + 34 = 0. Suppose -r + 0*t + y = -2*t, r = -5*t - 6. Solve -j + r*j - 12 = 0 for j.
4
Let b(k) = k**2 + 7*k + 2. Let h be b(-7). Solve n = 3*n + h for n.
-1
Suppose -2*r + 9*m - 4*m - 23 = 0, 4*m = 20. Let y be 6 - ((-1 - -1) + r). Suppose -y = -4*x + 3. Solve 2*w = -x*w for w.
0
Suppose -n + 7 = 2*b - 0*n, -b = 5*n - 26. Solve 0*u - b = u for u.
-1
Suppose 0 = 22*n - 20*n - 12. Solve 7*c - 4*c = -n for c.
-2
Suppose 4*y + 0*y = 0. Suppose -3*q = 2*z - 18, -8 = 2*q - q - 4*z. Suppose 0 = l - 11 - q. Solve 3*j + l = -y*j for j.
-5
Suppose 0 = -4*w - 3*f - f + 36, 3*w = -5*f + 29. Suppose 3*s + 15 = w*s. Solve s*t = t for t.
0
Suppose y - 1 = 0, -y = -2*f - 4*y + 7. Solve -3 = -a + f for a.
5
Let h(n) = -n**2 + 8*n - 9. Let x be h(4). Suppose 0*k + 3*k = 9. Let d = x - k. Solve 2*a + 6 = d*a for a.
3
Suppose 0 = 5*w + 4*w - 27. Solve w*g = -2*g - 15 for g.
-3
Suppose -5*v + 21 = p, 2*v = 7*v - 3*p - 37. Solve -v*f - 11 + 1 = 0 for f.
-2
Suppose 0 = 7*v - 3*v - 8. Suppose -5*i - 3 = -6*i. Solve v*u - i + 1 = 0 for u.
1
Let t(p) = -2*p + 3. Let h be t(0). Solve 7 - h = g for g.
4
Let j = 3 + -3. Solve 0 = -2*x - 4 - j for x.
-2
Suppose 2*b + 5 = -2*h - 3*h, -3*b + 4*h + 4 = 0. Suppose 2*o + 4 = -5*k - b*o, 4*o + 8 = -2*k. Solve 0 = -q - k*q + 5 for q.
5
Let c be 15/3 - (-10)/(-5). Solve c*i + 6 = -6 for i.
-4
Suppose 0 = -5*g - 25 + 5. Let s be -3*(-4 + g/(-2)). Let b(z) = -2*z - 7. Let y be b(-5). Solve -s = -y*w + 5*w for w.
-3
Let h = -1 - 1. Let w be (h + (-14)/(-6))*15. Suppose -2*a - 3*a = 0. Solve -6*v + w*v + 4 = a for v.
4
Let z be 12/(-4)*(-21)/3. Let g = z + -21. Solve 0 = -g*x - x for x.
0
Let w = -1 + 9. Solve -2*c + w = -2 for c.
5
Let n = -9 + 9. Solve n = -5*j - 0 + 5 for j.
1
Let x(m) = 2*m**3 - 4*m**2 + m + 4. Let t be x(3). Solve t = 3*h + 2*h for h.
5
Suppose -2*i - 10 = -5*c, i + 11 = -2*c + 6*c. Solve -1 = -c*w + 3 for w.
1
Suppose -2*k + 3*k = 12. Solve -2*c = 2*c - k for c.
3
Let k(o) be the second derivative of -o**4/12 + 2*o**3 - 5*o**2/2 - 4*o. Let m be k(11). Solve z = -2*z + m for z.
2
Let r be (-18)/(-4)*(-7)/(84/(-16)). Solve q = -q - r for q.
-3
Let w be ((-2)/4)/((-2)/8). Suppose 6 = 3*l - 4*b, -2*l + 2*b + 4 = -0*l. Let h be l + -1 - (-4 - -5). Solve -w*f - f = h for f.
0
Let l(p) = -p. Suppose 0 = -q + 1 - 8. Let x be l(q). Solve 5*y - 32 = -x for y.
5
Suppose 2*n = 21 - 17. Solve -n*g + 5 = 3*g for g.
1
Suppose -6 - 3 = -3*v. Suppose v*c + 4 = i, i + 0 - 2 = 2*c. Let y be (-1 + c)/((-2)/4). Solve 2*a = -0*a - y for a.
-3
Let o be (6/(-5))/(2/(-5)). Suppose v + 0*v - o = 0. Solve 4 = v*n + 1 for n.
1
Let x = -7 - -14. Let j be x + (-2)/(2/(-3)). Solve f - 3*f - j = 0 for f.
-5
Suppose 5*i = -2*r + 338, -4*r + 8 = -2*r. Suppose 0 = 5*w - 3*w - 94. Let l = i - w. Solve 4 = -3*k + l for k.
5
Suppose 77*b - 80*b = -12. Solve k + k + b = 0 for k.
-2
Let q = -3 + 7. Solve 0 = -s - s - q for s.
-2
Let o = 24 + -22. Let i be 0*(-2)/(-1 + -1). Suppose i = -3*d - 12 + 36. Solve 0*r - o*r = -d for r.
4
Let t(s) = s**2 - 3*s - 8. Let w be t(7). Let b be 1*3*w/15. Suppose -z - 2*g + 42 = b*z, -3*g + 8 = 2*z. Solve 2*c + z = -0*c for c.
-5
Suppose -k + 10 = 4. Let w(j) = -j + 1. Let r be w(-4). Solve r = k*h - h for h.
1
Let i be 33/(-44) - 6/(-8). Solve 6*u - 8*u = i for u.
0
Let v = 1 - 8. Let z(m) = -m**3 - 6*m**2 + 7*m + 3. Let d be z(v). Suppose 1 = -2*w + d. Solve -3*j = -2*j + w for j.
-1
Suppose 3*o + 5*p + 12 = 0, 60 = -5*o + 4*p + p. Let z = o + 16. Solve -a - 2 = -z for a.
5
Suppose -2*c = c. Suppose -7 = -3*j - 4*t, -5*j - 2*t + 0*t + 21 = c. Let y(q) = q**2 - 2*q - 3. Let x be y(3). Solve x = j*p - 2 + 7 for p.
-1
Suppose -4*a = -2*y - 0 - 12, -5*y - 4 = 3*a. Suppose -v + 6 = x, 18 = -x + 5*v - 0*v. Suppose -5*b + c = -3*c - 23, 0 = 4*b - x*c - 16. Solve a = -i - b for i.
-5
Let o = 27 - 14. Suppose -15*q = -8*q - 35. Solve 2 = -q*i - o for i.
-3
Let h(d) = d**2 + d + 24. Suppose 5*j = -0*j + b, 3*j + b = 0. Let i be h(j). Solve 4*p = -8 + i for p.
4
Suppose -f - 9 = n + n, -5*n - 6 = -3*f. Let j be f + 4 - (1 - 0). Solve -2*q + 5*q + 3 = j for q.
-1
Suppose 42 = -5*r + 8*r. Let n = r + -13. Solve 11 + n = -3*l for l.
-4
Suppose -3*b + 25 = 5*w, -w + 4*b = -0*w + 18. Suppose 9 = w*f + f. Solve f*r = -0*r + 9 for r.
3
Suppose 0 = -0*q - q + 2, n - 5 = -2*q. Solve -3*f - n = -10 for f.
3
Suppose 0 = 2*m + 3*m + x - 26, -4 = x. Let c(d) = -d**3 + 7*d**2 - 5*d - 5. Let y be c(m). Solve 2 = -3*k - y for k.
-1
Suppose -s + 4*s = 0. Solve -c = -s*c for c.
0
Let v(i) = i**2 + 6*i - 4. Let w be v(-7). Suppose 2*l = 2*j - 18, -w*j = -2*l - 3*l - 37. Solve 2 = 3*y - j for y.
2
Let c(j) = -j**3 - 3*j**2 + 4*j + 4. Suppose -4*f - 8 = 8. Let v be c(f). Solve -11 - 5 = v*q for q.
-4
Let x be (1 - 3 - -2)/(-2). Solve 0 = g - x*g + 3 for g.
-3
Suppose 2*v + 4*w = 4*v - 16, 9 = v - 3*w. Solve -k = k - v for k.
3
Let q(w) = 3*w + 15. Let t(s) = s + 5. Let c(f) = 2*q(f) - 7*t(f). Let d be c(-4). Let a be 1 + d*2*-1. Solve -x + 6 = -a*x for x.
-3
Suppose 0*u = -u + 1. Let j be (-2 - 0)/(u/(-1)). Solve -1 = f - j for f.
1
Let n = -3 - -8. Solve -n*l = -l - 4 for l.
1
Suppose -g - 6 = -2*y - 2, -y - 3*g + 16 = 0. Let j(f) = f - 1. Let u be j(y). Solve u*n - 1 = -13 for n.
-4
Let c(v) = 20*v + 19. Suppose 4*u + 0*u = 24. Let r(b) = 7*b + 6. Let z(h) = u*c(h) - 17*r(h). Let x be z(-6). Solve -12 = x*a - 2*a for a.
-3
Let t = -10 - -18. Solve -t = -3*n + 7 for n.
5
Let z(k) = -k**3 + 2*k + 3*k**2 - 8*k + k**2 + 3*k. Let y be z(3). Let s(g) = -g**2 - g + 3. Let x be s(y). Solve -x*f = -2 - 4 for f.
2
Let g(m) = m + 2 - 1 + 12. Let n be g(-6). Solve 2*b - 3 - n = 0 for b.
5
Suppose 0 = -0*g + g - 5. Let a(o) = o - 1. Let t be a(g). Solve -i + t = 3*i for i.
1
Suppose -9 = 3*z + 3, -4*y - 2*z = -4. Let c be (y/(-6))/(2/152). Let a be c/(-8) - (-1)/4. Solve -3 = a*r - 18 for r.
3
Let q(w) = -2*w + 4. Let o be q(2). Solve o = -3*c - 4 - 2 for c.
-2
Let y = 121 - 118. Solve -y*i + 9 = -3 for i.
4
Let u = 4 + -3. Let y = -1 + u. Solve r + 4*r - 25 = y for r.
5
Suppose 2*s = -8, -2*b + s + 7 + 1 = 0. Suppose -5*i + 17 = v, 4*i + b*v = 3*i + 7. Solve -5*y = -4*y + i for y.
-3
Let i = -11 - -13. Solve 2*m = -i + 12 for m.
5
Let m be (-1)/(2/(-3)*4/16). Solve -26 + m = -5*k for k.
4
Let u(s) = -2*s - 53. Let w be 