i = 8. Solve 0*z - i*z = 6 for z.
-3
Suppose 0 = x + 2 - 7. Solve 13 + 12 = -x*b for b.
-5
Suppose -4*t = t - 50. Suppose 2*f - x + 21 = 6*f, -2*x = -5*f + t. Solve -2*z + f = 2*z for z.
1
Let j(q) = q**2 + 9*q + 1. Let n be j(-9). Solve -3 = -2*r + n for r.
2
Suppose 5*v + 5*s = 5 + 30, -2*s = 4*v - 18. Let f(x) = 4*x + 13 - 7*x + 4*x. Let o be f(-7). Solve j = v - o for j.
-4
Let b = 34 - 32. Solve -10 = 3*t + b for t.
-4
Suppose 5*k + b - 41 = 0, 0 = b - 4 + 3. Solve 4*y + 20 = k for y.
-3
Suppose 5*k = k. Suppose 0*n + n = k. Suppose 0 = 3*o - 2 - 7. Solve n*g - o*g = 0 for g.
0
Suppose -2*w - 6 = -w - 3*n, 4*w - 5*n + 17 = 0. Let z be w/((-7)/2 + 2). Solve -x = z*x + 9 for x.
-3
Let f = 37 + -12. Let q = 27 - f. Solve -12 = q*j + 2*j for j.
-3
Suppose 4*d - 36 = 5*r - r, 0 = -3*d + r + 21. Solve 0*t = 3*t + d for t.
-2
Suppose 3 = -13*d + 29. Solve 0 = d*c - 11 + 1 for c.
5
Let f = -23 - -46. Suppose 12 = 5*n + 2. Solve 5*m = f + n for m.
5
Suppose 15 = 3*g, 3*g = 3*l + 6*g - 27. Let o be 0*4*l/16. Solve r - 4*r = o for r.
0
Let u(j) = -j**2 - 8*j - 12. Let r be u(-6). Solve 5*t + 20 + r = 0 for t.
-4
Let g = 11 - 6. Solve 2*u - 3*u + g = 0 for u.
5
Let h = -13 + 8. Let t = -3 - h. Solve -c = 6 - t for c.
-4
Let o = 6 - 6. Solve 0 = k - o*k for k.
0
Let u = -23 + 25. Suppose 0 = -2*q + 2*h, -8*q + 3*q - 4*h + 18 = 0. Suppose -5*r + 16 = -r, m = q*r. Solve 3*p - m + u = 0 for p.
2
Let u be (-11)/4 + 3 - (-54)/8. Solve 4*w = 5 + u for w.
3
Suppose -x = -5*x. Suppose x*d - 3*d = 0. Solve -4*c - c + 20 = d for c.
4
Let c be (3 + -2)*2/1. Let q(t) = -3*t - 5. Suppose 5*s + 20 = s. Let i be q(s). Solve -c = 4*o - i for o.
2
Suppose 4*l - 10 = 4*g + 10, 0 = 5*l + 5. Let k = g - -8. Solve -k*q = 3*q - 15 for q.
3
Suppose k + 0*k = 5*w - 46, -4*w - 5*k = -31. Let s = 1 - -1. Solve -w = -s*m - m for m.
3
Let m(j) be the third derivative of 0*j + 2*j**3 - 3/8*j**4 - 2*j**2 + 0 + 1/60*j**5. Let n be m(8). Solve -n = 4*r - 16 for r.
3
Let f = -25 - -27. Let y be f - (1 + 0 + -1). Solve y*r - 6 = -0*r for r.
3
Let i = 56 + -49. Solve -4*x + i*x = 0 for x.
0
Let t(z) = 78*z. Let g be t(2). Let l(k) = -k**3 + 8*k**2 + 5*k + 1. Let p be l(7). Suppose -2*y - g = -4*j + 2*y, 3*j - p = -5*y. Solve -5*d - 10 = -j for d.
5
Let x(d) be the third derivative of -d**5/60 - 5*d**4/24 - d**3/3 - d**2. Let h be x(-4). Suppose -17 = -5*q - h. Solve q*b - b - 2 = 0 for b.
1
Suppose -2*g - 2 = -4. Solve q = 3 + g for q.
4
Suppose -2*p + 7 = c, 0*c - c - 11 = -4*p. Let r be 2 + c + 39/3. Solve 2*w + 2*w - r = 0 for w.
4
Let s(i) = 3*i**2 + 2*i**2 - i + i**2. Let y be s(-1). Suppose -y*d = -2*d. Solve -2*m - 3 - 5 = d for m.
-4
Let m = 10 + -5. Suppose -8 = p - m*p. Suppose -z - 2*z + p*v = 2, 2*v = -4*z + 2. Solve -3*j + 4 - 19 = z for j.
-5
Let t(z) = 2*z - 2*z**2 + 0 + 1 + 3*z**2. Suppose 4 = -4*g + 2*g. Let c be t(g). Solve 4*j = 3*j + c for j.
1
Let l(m) = m**2 - 3*m + 2. Let y be l(2). Let j be -2 - y - (-14 + 9). Solve 0*u + j = -3*u for u.
-1
Let d(b) = -2*b + 1. Let w be d(-4). Solve 16 = 5*y - w for y.
5
Let u = -22 + 31. Solve 0 = -b - u + 4 for b.
-5
Let r(a) be the third derivative of a**6/720 + a**5/120 + a**4/24 - a**2. Let b(t) be the second derivative of r(t). Let f be b(2). Solve -2*u + u = f for u.
-3
Suppose -3*v = 35 - 5. Let w be (-4)/(-6) - v/3. Solve -w*u + u = 0 for u.
0
Let g(u) = 3*u**2 + 44*u - 1. Let z be g(-15). Solve 2*b + 6 - z = 0 for b.
4
Let p(j) = j**3 + 15*j**2 + 13*j - 10. Let o be p(-14). Solve 0 = o*s + 8 for s.
-2
Let q = -1 - 4. Let g be (-3)/(-6)*(q - -13). Solve s + g = -0*s for s.
-4
Let m(v) = 46*v**3. Let g be m(1). Suppose r = 4*b + 25 - 3, -4*b - g = -5*r. Suppose c = 4*c. Solve c*x = -3*x + r for x.
2
Suppose 4*h = -2*g + 6*h + 4, 0 = -4*g + h + 14. Solve -3*u = -g*u for u.
0
Suppose 2*v = -4*q + 3 + 9, 4*v + 6 = 2*q. Let w = q - 0. Solve h + 4 = -w*h for h.
-1
Let m(q) = q**3 - 6*q**2 + 4*q + 3. Let l be m(5). Let d be -7 - ((l - -2) + 2). Let z be (-48)/d - (-2)/(-6). Solve 0 = z*u - 0*u + 5 for u.
-1
Suppose 4*v + 17 = 5*v. Suppose -3*w = 7 + v. Let c = w - -8. Solve -r - 3*r - 20 = c for r.
-5
Let k = 4 - -31. Let u = k - 25. Solve 2*x = -3*x + u for x.
2
Let d = 33 - 17. Solve -4*m + d = 4 for m.
3
Suppose 10 = -3*c + 4*c. Suppose 5*o - c = -5*d, -2*d = -4*o + 2*d. Solve 0*w = w + o for w.
-1
Suppose 3*s = -2*s + 25. Let m be (6/(-4))/(s/(-10)). Let l = 8 + 0. Solve 5 = m*o - l*o for o.
-1
Suppose -16*q + 14*q = -18. Solve 14*z - 11*z - q = 0 for z.
3
Suppose -3*t = t + 2*j - 122, 0 = t - 2*j - 33. Suppose -5*r - 5*x + t = -2*r, -4*x = r - 22. Solve -4*h + r = -2*h for h.
1
Let l = -8 + 10. Let c = 3 + l. Solve 2*p + 1 + c = 0 for p.
-3
Let j(v) = -v**3 - 2*v**2 + 1. Let o = 4 - 5. Let h be j(o). Solve h - 2 = 2*f for f.
-1
Let p(u) = -5 + 2*u - 1 + 3*u - 4*u. Let v be p(10). Solve v*x = -x for x.
0
Let c = 0 - 2. Let d = 5 + c. Solve 2*i - 10 = -d*i for i.
2
Let g(c) = c**2 - c + 1. Let y be g(3). Solve y + 3 = 5*w for w.
2
Suppose d = -2*v + 8, -4*v + 16 + 0 = 0. Solve d = 4*b - 3*b for b.
0
Let x(s) = -s - 3. Suppose -2*i + 14 = -0*i + 4*g, 5*i - 77 = 4*g. Suppose 3*q + i = -14. Let j be x(q). Solve -2*n - j = -0 for n.
-3
Let m(u) = u + 14. Let c be m(-11). Solve 2 = -p + c for p.
1
Suppose 2*u - d = 4*d + 25, 0 = -4*u + 5*d + 25. Solve -4 = -u*z + 4*z for z.
-1
Let n be 3/(0 - -1) - -1. Let o be n + 1/(3/3). Suppose -5 - 1 = -m. Solve 21 = -o*b + m for b.
-3
Suppose -16*n + 45 = -n. Let c(j) = -j - 1. Let s be c(1). Let d(l) = l**3 + l**2 - 4*l - 3. Let x be d(s). Solve n*v = x - 4 for v.
-1
Suppose -2*h = p - 5*h + 10, -4*p - 3*h + 20 = 0. Solve 0 = -3*i + p*i - 3 for i.
-3
Let u(v) = -4*v + 1. Let d be (-24)/14 - (-6)/(-21). Let c be u(d). Solve 0 = 6*w - 3*w - c for w.
3
Suppose -2*q = -5*q. Let u = -3 + q. Let b = 12 + u. Solve 3*j + 0*j = -b for j.
-3
Let r(o) = -o**2 + 8*o + 3. Let c be -8*(1 + -2) - 0. Let q be r(c). Solve q = -2*l - 1 for l.
-2
Let o be ((-12)/14)/((-1)/14). Solve 2*r + r = -o for r.
-4
Suppose -z = 1 - 19. Let b = z + -10. Solve -3*k = -5*k - b for k.
-4
Let g be (-1 - 0)/((-2)/6). Suppose 9 = 2*d + z - 18, 4*z = -4*d + 56. Solve d = g*s - 2 for s.
5
Suppose -14*w + 135 = w. Solve 0 = -3*t - 0*t + w for t.
3
Let v(o) = -4*o**3 + 1. Let d be v(-1). Solve z = 3 - d for z.
-2
Let u = -28 - -30. Solve -7 = g - u for g.
-5
Let y be (-6)/4*4/6. Let d be ((-6)/2 - 0)*y. Solve -q = -0 + d for q.
-3
Let c be (-2 + 2)/2*-1. Solve 15 = -c*b - 5*b for b.
-3
Suppose 0 = -3*s + 4*a + 5, a + 2 = s - 0*a. Suppose i = 3*f + 5*i - 15, -4*i - 15 = -s*f. Suppose -f*w = -2*w. Solve u - 1 = -w for u.
1
Let p be (-2)/5 - 66/(-15). Suppose c - 22 = 3*c. Let y(o) = o**2 + 10*o - 11. Let m be y(c). Solve h + p = -m*h for h.
-4
Let b(k) = k**3 - 4*k**2 + 2*k - 6. Suppose 0 = -4*d - 13 + 45. Suppose -w = w - d. Let n be b(w). Solve 3*t = -n*t + 10 for t.
2
Let c be (15/(-20))/(4/(-32)). Solve -c*k + k = 25 for k.
-5
Let y be ((-7)/(-2))/((-2)/(-4)). Suppose 0 = -2*p + 3*c + 17, p + 2*c - y*c - 26 = 0. Suppose 3*m = -f + 18, 0 = 2*f - 4*m - 7 + p. Solve 3*x - f = -0 for x.
3
Suppose 5*i = 14 - 4. Solve i*j - 4 = 4 for j.
4
Let x = 132 + -130. Let t = 2 + 4. Solve x*u = t*u - 12 for u.
3
Let b(z) = -z + 6. Let f be b(5). Let y be -4*f*20/(-16). Solve -2*v + y = -5 for v.
5
Let o(b) = b**2 - 4*b. Let q be o(5). Suppose 8*k - q = 3*k. Solve 0 = 2*r - k + 3 for r.
-1
Let a be (1 - 1)*1/(-2). Suppose 4*m + 9 = -r + 1, a = -2*r - m - 2. Solve p + 0*p = r for p.
0
Let p = 5 + -5. Let y be p + (6 - -3) + 0. Solve -y = -2*o - o for o.
3
Let k be 6/12 + 0 - 7/(-2). Solve -6*b = -k*b + 2 for b.
-1
Let u = -4 + 8. Let d = -2 + u. Let x be (5/(-25))/(1/(-5)). Solve -k = d - x for k.
-1
Suppose 3*v - 5 = -t, -6*v + 3*v + 10 = -4*t. Suppose 4*w = -n - 22, -5*n - v + 30 = -3*w. Let h(d) = -d**2 - 8*d - 6. Let l be h(w). Solve l*u - u = -10 for u.
-2
Suppose -t + 6 = 2*a, 4*t - a - 30 = -6. Solve 0 = -t*c + c + 15 for c.
3
Let s be -3 + 1 - (-8 + 2). Suppose -5*z - 2*n - s = 0, -3*z - 4*n = 8 - 0. Solve z = -2*f + 5*f - 9 for f.
3
Let v = 18 + -13. Suppose -3*w + 4*l - 20 = 0, w - 1 = 4*l - 21. Suppose -8 = -a - w*a. Solve -v*z + a = -z for z.
2
Let a = 4 + -4. Let p = 2 - a. Solve 5*w = p*w - 15 for w.
-5
Let f = -1 + -1. Let 