-8))/(3/z). Solve 3*y = -y + v for y.
4
Let z be ((-1)/2)/(2/(-20)). Let m = z - 3. Solve 2*u = -m - 2 for u.
-2
Let x(k) = k**3 + k**2 - k. Let o be x(0). Suppose o*r - r = -5. Let g be 1*-1*r/(-1). Solve 0 = 2*u - 11 + g for u.
3
Let j(r) = r**3 + 4*r**2 - r - 4. Let h be j(-3). Suppose h*w - 10 = 6*w. Solve w = m + 3 for m.
2
Suppose 4*k = -3*s + s + 28, -21 = -k - 4*s. Suppose k*w = 3*w. Solve w = -0*v - v - 5 for v.
-5
Suppose p = 5*p - 60. Solve g = 4*g - p for g.
5
Suppose 2*t = -4 + 6. Solve -3 - t = b for b.
-4
Suppose -14*n = -15*n. Let a(p) = -2*p - 3. Let c be a(-4). Suppose 0 = c*g - n*g - 5*u - 40, -3*u = g + 4. Solve 7*d + 4 = g*d for d.
-2
Let h = -7 + 13. Solve h = -4*z + 2 for z.
-1
Let x(t) = t**3 - 8*t**2 + t - 6. Let c be x(8). Solve -3*w = -7 - c for w.
3
Suppose 679 = 69*o - 11. Let t be 4/(-10) + (-4)/(-10). Suppose t + 2 = p. Solve 4*w - p*w = -o for w.
-5
Let i(h) = -h - 3. Let t be i(-6). Suppose -2 = t*d - 4*d. Solve -o - 3 = d for o.
-5
Suppose 10 = 2*c + 3*c. Solve c*l + 3 = -3 for l.
-3
Let g(n) = -n**3 - 2*n**2 + 2*n - 1. Suppose -2*h = 3 + 3. Let v be g(h). Solve -8 = -v*s + 4*s for s.
-4
Let z be -2*(-4)/16*10. Let u(r) = r**2 - 5*r + 4. Let m be u(z). Solve -6 = 2*s - m*s for s.
3
Let s(k) be the third derivative of k**6/120 + k**5/10 + 5*k**4/24 + 5*k**3/6 + 5*k**2. Let v be s(-5). Solve 0*f + v = 5*f for f.
1
Let o be 3 - (3 - 2 - -2). Let i = 2 + 2. Solve 4*t - i - 8 = o for t.
3
Let c be 3 + 8/(-2) + 4. Solve c*z = 5*z + 10 for z.
-5
Suppose -2*j = j - 15. Suppose 0 = -j*i - 4*w + 35, 19 = 2*i - 4*i + 5*w. Let s = 9 + -5. Solve h + s = -i*h for h.
-1
Suppose -2*q = -2 - 2. Let f be 3/(-18)*q*-9. Solve -4*r = 1 + f for r.
-1
Suppose -21*h + 24*h = 15. Solve 0 = 2*a - 1 + h for a.
-2
Suppose 169 = -3*r + 478. Suppose -3*x = 2*h + 58, -h - r = 4*h - 3*x. Let d = 39 + h. Solve -3*m - m = d for m.
-4
Let k(d) = -2*d - 11. Let l(j) = -j**3 - 6*j**2 + 9*j + 7. Let t be l(-7). Let w be k(t). Solve -w*h = -7*h for h.
0
Let d = 3 + -2. Suppose -3*f + 5 = -2*f, 3*h = 5*f - 19. Let k = h + 0. Solve 0 = k*p + d + 1 for p.
-1
Let z = 21 + 7. Suppose -2*s + 0*v + 40 = 4*v, -z = -2*s - v. Let r = s + -7. Solve x = r*x - 12 for x.
3
Let k(b) = b + 18. Let w be k(-9). Let z(o) = 4*o**2 + o - 1. Let i be z(1). Suppose i*j - 4 = 3*j. Solve j*g - w = g for g.
3
Let r(m) = m**3 + 7*m**2 + 6*m + 5. Let d be r(-6). Solve 0 = y + 2 - d for y.
3
Suppose 0 = 4*p - 2*l + 7*l + 2, 0 = 4*p + 2*l - 4. Suppose 3*j = -p*j + n + 22, -j - n = -8. Suppose -k = -j*k. Solve -u - 5 = -k*u for u.
-5
Let r = 2 + 3. Let q = 7 - r. Solve q*b - 2 = -0 for b.
1
Suppose 2 = l - 2. Solve h = l*h for h.
0
Let i(g) = -g**3 - 4*g**2 - 2*g + 3. Let d be i(-3). Suppose d = h + 3*h. Solve -3*o + h*o = -15 for o.
5
Suppose 5*z - 16 = 3*i, -2*z + 15 = 5. Let y = 1 - -2. Solve 9 - y = i*s for s.
2
Suppose 24 = y - 5*m, -4*y + 3*m + 48 = -m. Let d = y + -6. Solve -d*l - 1 = 8 for l.
-3
Suppose 3*u = -4 + 1. Let h be -4*u/((-1)/(-1)). Solve 0*w = -h*w for w.
0
Let h(i) = -i**2 - 6*i + 2. Let l be h(-6). Suppose 0 = -4*a + l*a + 20. Let x be (-39)/(-15) + 4/a. Solve 5*b = 7 + x for b.
2
Let w = 36 - 33. Suppose 3*x + 2 = -4. Let v be (-1 - w/(-1)) + x. Solve v = 6*j - j for j.
0
Suppose 0 = -r - r + 8. Let x(i) = i**3 + 7. Let b be x(0). Let m be 159/b + (-6)/(-21). Solve m - 3 = -r*h for h.
-5
Let f(c) = c**3 - 3*c**2 - 5*c + 1. Let h be f(4). Let d be 4 + h/((-6)/(-4)). Solve -d*o = 2*o - 4 for o.
1
Let j be -1 + -1 + (-11)/(-1). Suppose -j - 11 = -5*g. Let l(c) = -c**3 - 4*c**2 - 5*c - 2. Let k be l(-3). Solve -g*m = -0 + k for m.
-1
Suppose -2*n - 2*z = -88, 2*z - 186 = -4*n - 0*z. Suppose -3*x - 2*x - u = -n, -2*x = -4*u - 2. Suppose -x*m = -7*m - 4. Solve b - 7 = -m for b.
5
Let q = 5 - -1. Solve 0 = -0*k - 2*k - q for k.
-3
Let t be (1 - (-3 + 2))*2. Suppose -t = 3*v - 10. Solve 0 = -5*l + v*l for l.
0
Suppose q + 4 = 0, -z + 2*q + 0 = 2. Let w(k) = 15 - 4*k + 5*k + 0. Let j be w(z). Solve o = j*o - 12 for o.
3
Let n(t) be the third derivative of -5*t**4/24 - t**3/3 + 8*t**2. Let j be n(-1). Solve l = j*l for l.
0
Let m(q) = q - 7. Let f be m(6). Let y be (0 + -1 - f)*1. Solve y = -h - 0 - 1 for h.
-1
Let p = 12 - 8. Solve u = p*u for u.
0
Let t = 7 - 4. Solve 0 = c + t*c for c.
0
Let k(z) = -3*z. Let l be k(-1). Solve l*b = b for b.
0
Let x(d) = d**3 - 5*d**2 + 3*d + 6. Let y be x(4). Solve -3*t = y*t for t.
0
Let m(d) = -d**3 + 4*d**2 - 2*d - 1. Let b be m(3). Let k = 8 + -6. Let s be 1/(-2) + k/4. Solve -3*i - b*i = s for i.
0
Let w(g) = -g**3 - 3*g**2 - g + 2. Let q be w(-2). Suppose q = -i - 4*i + 20. Suppose 4*m = m - 15, -5*b + 3*m = -45. Solve -2 - b = -i*z for z.
2
Let q(n) = n**2 - 2*n + 3. Let j be q(3). Let c be j/(4 + -1) + 0. Let y be (c/(-2))/(2/(-4)). Solve 4 = y*h + 14 for h.
-5
Let k be (-4)/8*(3 + -11). Suppose 36 = k*g - 5*p, 2*g + 4*p + 0 + 8 = 0. Solve r + g*r = 10 for r.
2
Let t(u) = -1. Let l(g) = g + 8. Let v(y) = l(y) - 3*t(y). Let p be v(-7). Suppose 0 = -0*o - p*o + 24. Solve 4 + o = 5*j for j.
2
Let s = 105 - 103. Solve 11 = -s*r + 5 for r.
-3
Let g(y) = 5*y - 1. Let s be g(1). Solve -2*k = -s*k - 10 for k.
-5
Let c = 4 + -4. Let d(i) = i. Let f be d(c). Suppose t - 2*t = f. Solve 0 = -t*z + z for z.
0
Let r(a) = 4*a**2 + a. Suppose 5*b - p = -2, -6 = 5*b + p + 2. Let k be r(b). Solve -k*g + g = 0 for g.
0
Suppose -6 = -0*p - 3*p. Solve p*z + 3 = 1 for z.
-1
Let r(w) = w + 0*w + 6 - 2*w. Let k be r(4). Suppose 0*b - 4*i = -k*b - 4, i = -3*b + 8. Solve -3*p = -b*p + 3 for p.
-3
Suppose 17 = 5*b - 4*m - 3, 16 = 4*b + 4*m. Solve -b*g + 9 - 29 = 0 for g.
-5
Suppose -p = 1 - 7. Suppose 0 = 4*n - 3 - 9. Solve -p = n*y - 3 for y.
-1
Let c be (1 + -2 + -1)*-2. Suppose 0 = -z - c*z + 5. Suppose -14 = -5*f + z. Solve -6 = f*t - 0 for t.
-2
Let x be 1/(1 - 2) - -1. Suppose x = -5*o + 2*o. Suppose 3*s - 7 + 1 = 0. Solve o = s*v + v for v.
0
Suppose -3*d + 45 = 4*l, -2*l = 2*d - 13 - 9. Let o(s) = s + 2. Let u be o(0). Solve -l + u = 5*g for g.
-2
Let s(p) = p - 8. Let a be s(10). Solve d - 1 = a*d for d.
-1
Suppose 4*f - 2*f - 292 = 0. Suppose f - 18 = -4*b. Let k = -17 - b. Solve q = -2*q + k for q.
5
Suppose u - 4*u = -4*l - 22, 3*u + l = 17. Suppose 5 = u*s - s. Solve s = -r - 0 for r.
-1
Suppose 0 = -s + 5 - 3. Let r be (-2 - -1) + -12 + 3. Let b be 5/r*(0 + -28). Solve -s = 4*g - b for g.
3
Let h(n) = -n**2 + n. Suppose -5*x = -3 + 8. Let o be h(x). Let z = 4 + o. Solve 2*y - 4 - z = 0 for y.
3
Suppose -3*k - 16 = -o, 5 - 1 = 2*o + k. Suppose 2*q = -l + 14, 3*l + 2*l - o*q = 0. Solve 3*r + l = -11 for r.
-5
Let q(d) = d**3 + 3*d**2 - 2*d. Let i be q(-3). Solve -2*n - i = 2 for n.
-4
Let u(f) = -5*f**3 - f**2 - f - 1. Let t be u(-1). Suppose t*c - 8 + 4 = 0. Suppose j - 2 = -c. Solve j = -3*x - 8 for x.
-3
Suppose 1 - 9 = -4*n. Suppose n*i - 13 = i + 4*l, 3*l = -12. Let c be 10/4 - i/(-6). Solve -6*o - 8 = -c*o for o.
-2
Let g = -164 + 168. Solve -2 - 2 = g*d for d.
-1
Let w be (-17)/3 - (-6)/9. Let a(b) = b**3 + 6*b**2 + 5*b + 2. Let v be a(w). Let m(o) = o**3 - 8*o**2 + 7*o + 10. Let l be m(7). Solve -v*j + l = 3*j for j.
2
Let f be ((-17)/2)/((-1)/2). Suppose 5*u = 2*t - f, -5*t + 6 = -3*u - 27. Solve 0 = -t*b + 2*b for b.
0
Let g = 3 - 3. Suppose 0 = 3*s - g*s + 6. Let b = -1 - s. Solve -k - b = 2 for k.
-3
Let l = -6 - -8. Solve -r + 3 + l = 0 for r.
5
Suppose 1 = 2*r - 9. Let a(i) = -i**3 + 4*i**2 - 4. Let l be a(3). Suppose 3*d - l = -5*s + 15, 2*d = 0. Solve s*f = r*f for f.
0
Let k(a) = a**2 - 5*a + 2. Let j be k(6). Let x(w) = -15*w**2 - w + 8*w**2 + 9*w**2. Let m be x(-1). Solve m*y = y - j for y.
-4
Let s = -22 - -26. Solve 3*r - 7 + s = 0 for r.
1
Suppose -96 = -21*j + 9. Solve 0 = -0*w - j*w + 20 for w.
4
Let t = 100 - 21. Suppose -t = 5*q + 4*r, 2*q - r - 2*r + 50 = 0. Let y = q + 39. Solve a = -3*a - y for a.
-5
Suppose -3*p - 2*p + 3*b + 13 = 0, -5*b = -4*p + 13. Suppose -p*t = 4, -2*k - 5*t - 2 = -0*k. Solve 2*v = k*v + 8 for v.
-4
Suppose 0*b + 4*b + 8 = 2*a, 2*a = 5*b + 10. Solve a = -11*p + 6*p + 15 for p.
3
Suppose 4*d + 4*z = 32, 0*d = 3*d - 4*z - 24. Solve 0 = -13*k + 9*k - d for k.
-2
Let w = 4 - 3. Let q be (0 - 3)*(0 + -1). Solve q = 2*b - w for b.
2
Let h(x) = -x - 1. Let b be h(-3). Solve -5 = b*z + 1 