 = -n*s + 4. Let f be -1 - (-1)/1*2. Solve -5 = s*g + f for g.
-3
Let r(t) = 3*t - 1. Let s be r(1). Solve -s - 2 = 4*x for x.
-1
Suppose -10 = -3*c + 5. Suppose 0 = c*t - t - 8. Suppose -5*a = t*q, -q + 9 = 2*a - 2*q. Solve 0 = -0*o - a*o - 8 for o.
-4
Suppose -4*u = -2*a - 0*u - 14, 0 = -5*u + 15. Let c = a + 4. Solve 7*j = c*j for j.
0
Let w(x) be the first derivative of -x**4/4 + 7*x**3/3 - 3*x**2/2 - 6*x - 3. Let q be w(6). Solve 5*g + q = 2*g for g.
-4
Suppose -19 = -4*w - 7. Let d(t) = t + 9. Suppose -4*o + 1 = -3*c + 2, c = -5. Let x be d(o). Solve x*v = -w + 23 for v.
4
Let n = -5 + 8. Let r = -4 + n. Let u(c) = -5*c + 1. Let l be u(r). Solve 0 = j + 1 - l for j.
5
Let l(z) = -z - 1. Let f be l(-1). Let t(h) = 2*h**3 + 4 - h**3 - 1. Let c be t(f). Solve 0 = -2*r + c + 1 for r.
2
Let i(z) = z + 11. Let b be i(-10). Let s = 5 - b. Solve -2*o + 8 = s for o.
2
Suppose 11*n - 16*n = -170. Let t(k) = k + 1. Let l be t(3). Solve l*z - 14 = -n for z.
-5
Let g be 0 + (-2 - (0 - 8)). Let u = 4 + -5. Let l(w) = 13*w**2 - 1. Let b be l(u). Solve b = g*a - 2*a for a.
3
Let l(s) = s**3 + 23*s**2 + 2*s + 64. Let a be l(-23). Solve 7*k + a = k for k.
-3
Let c(g) = g + 2. Let q be c(0). Let n = q + 8. Solve n = 4*l - 2 for l.
3
Let c(z) = z - 12. Let q(h) = h + 1. Let k be q(5). Let n be c(k). Let v = -6 - n. Solve v - 2 = t for t.
-2
Let s = -6 - -6. Let d(j) = j**3 - j + 3. Let o be d(s). Suppose -o*y - 3 = -4*y. Solve y*b - 6 = -0 for b.
2
Let q be 3/1*2/(-3). Let x be 1 + q/(2/(-1)). Let z = 2 + x. Solve z*y - 3*y = 0 for y.
0
Let d(h) = h**3 + 9*h**2 + 5*h - 21. Let t be d(-8). Solve -3*u = -0*u + t for u.
-1
Let g(b) = 1 + 0*b**2 + b**2 - b - 10*b. Let s be g(11). Let d = -1 - -3. Solve x + s = -d for x.
-3
Suppose 4*w - 2*g = 16 + 74, -5*w - 4*g = -106. Suppose -5*p = -3*p - w. Let t = p + -7. Solve -r - t*r = -10 for r.
2
Let d = 11 - 8. Let o be 14 + 2 + -1 + 0. Let i = o + -5. Solve -4 + i = d*y for y.
2
Suppose 6*y + 2*d = 5*y + 6, -2*y = 3*d - 11. Solve -v + y*v = 0 for v.
0
Suppose -18 - 18 = -3*c. Solve 0 = 4*k - k + c for k.
-4
Suppose x = -6 + 2. Let o = -1 - x. Solve 0 = -o*l - l for l.
0
Let y = 2 - -3. Solve -1 = y*w + 14 for w.
-3
Let w = -12 + 27. Suppose 4*c + 3 = w. Solve -10 = c*h - h for h.
-5
Let u(t) = 2*t + 3. Let h(z) = -2*z - 3. Let n(x) = 6*h(x) + 5*u(x). Let s be n(-4). Solve -3*f = -2*f + s for f.
-5
Let s(z) = z**3 - 5*z**2 - 3. Let d be s(5). Let y be (30/(-12))/(2/(-4)). Let l = d + y. Solve u = 3*u - l for u.
1
Let s(u) be the third derivative of -1/24*u**4 + u**2 + 0 - 1/6*u**3 + 0*u. Let r be s(-3). Solve -r*x = 2*x for x.
0
Let c be 60/(-8)*(0 - 2). Suppose -3*b = 2*b - c. Solve -l = -4*l - b for l.
-1
Let l(z) = -3*z. Let k be l(-1). Suppose 3*u = k + 6. Solve q + u - 1 = 0 for q.
-2
Let p = -5 - -11. Let s be ((-8)/(-6))/(4/p). Solve s*h + 3*h = -10 for h.
-2
Let l(s) = -2*s + 0 - 3 + 1. Let q be l(-3). Suppose 5*i - 26 = q*m, 5*i = -0*i - 5*m - 10. Solve -2*t - i = 4 for t.
-3
Let p(t) = t**2 + 2*t - 4. Let l be p(-4). Suppose -b - l*b = 0. Solve b = 4*r + 1 + 3 for r.
-1
Suppose 3*i = 2 - 17, 0 = a + 2*i + 9. Let q = 0 + 16. Solve -3*j - a = -q for j.
5
Let w(f) = -f**3 + 4*f**2 - 5. Let r be w(3). Let b(x) = 2*x - 7. Let g be b(6). Solve g*q - 6 - r = 0 for q.
2
Let c(s) = -6*s - 10. Let k(g) = 7*g + 11. Let q(z) = -6*c(z) - 5*k(z). Let x be q(0). Solve 10 + 15 = x*p for p.
5
Let w(i) = -i**3 - 6*i**2 - 2*i - 3. Let m be w(-6). Let d be 10 - -2*m/(-6). Suppose 0 = 3*y - 0*y. Solve 5*q + 8 + d = y for q.
-3
Let o(l) be the first derivative of -l**4/4 + 7*l**3/3 + 7*l**2/2 + 11*l - 4. Let w be o(8). Solve -2*g - g = w for g.
-1
Let r = -58 - -68. Solve 2*t = 7*t - r for t.
2
Let l(m) = -7*m - 1 - 1 - 4. Let q be l(-8). Suppose q = 2*o + 3*o. Solve -30 + o = 5*d for d.
-4
Let t = 28 - 20. Solve i - 5*i - t = 0 for i.
-2
Let b(h) = 1. Let n(v) = -v - 9. Let x(r) = 2*b(r) + n(r). Let g be x(-10). Solve 0 - 9 = g*k for k.
-3
Suppose -15 = -3*x, z - x = -0*x - 4. Solve 5*r - 4*r = z for r.
1
Let c(k) be the second derivative of -k**4/12 - k**3/3 + 2*k**2 - 2*k. Let r be c(-3). Solve -3 = -2*w - r for w.
1
Suppose 5*m + 3*a = 0, -m - 3 = -2*a - 16. Solve -2*x - m*x - 10 = 0 for x.
-2
Let o = 36 + -34. Solve 0 = -3*c - o - 4 for c.
-2
Let w = 430 - 430. Let d be 4/10 - (-26)/10. Solve w*v = -d*v for v.
0
Let p(k) = 2*k - 5. Let c be p(4). Solve c - 1 = 2*o for o.
1
Suppose -5*o + p - 4*p = -10, -4*o + 2*p + 8 = 0. Suppose 6*m - 8 = o*m. Let l = 22 - 12. Solve m + l = -4*g for g.
-3
Let w be 2 + -4 + 8 - 0/1. Solve t = -t - w for t.
-3
Let j(o) = -o**2 + 6*o + 9. Let i be j(7). Suppose 6 - 15 = 3*r. Let f be (-8)/(-6) - i/r. Solve 3 - 1 = f*d for d.
1
Let k(b) = -b**3 + 4*b**2 + b. Let s be k(4). Let f = 6 - s. Solve 2*p + f*p = -8 for p.
-2
Let d be (-1 - -1)/((-7)/(-7)). Suppose 2*t + 0*t + 10 = d. Let n = t - -5. Solve n = g - 1 for g.
1
Suppose 2*w - 1 = 2*a - 3, 0 = a + 3*w - 17. Solve -2*b = 3*b - a for b.
1
Suppose -j + 4 = 0, -c - j - 9 = -4*j. Let b be (2/c)/(6/(-36)). Let r = b - -6. Solve 7*a + 25 = r*a for a.
-5
Let r be (-2)/(-2)*(0 + 2). Suppose r*y = y. Suppose y*s + 8 = 2*s. Solve s*o + o = -25 for o.
-5
Let b = -7 + 13. Let g be (48/(-20))/(b/(-40)). Let r be 1*5*g/40. Solve z = -2 - r for z.
-4
Suppose 4 = 5*o - o. Solve q = o + 1 for q.
2
Let q be 161/8 - 9/72. Solve 2*f = -2*f - q for f.
-5
Let x(s) = -s**3 - 5*s**2 + s + 2. Let c be x(-5). Let j = 5 + c. Solve -6*m = -j*m for m.
0
Let d = -25 + 41. Let p = -16 + d. Solve 2*q + 0 + 2 = p for q.
-1
Let u(o) = 4*o**3 + 2*o - 3*o - 3 - 3*o**3 + 3*o**2. Let n be u(-3). Suppose 3*c + n*c = -3*i + 6, 5*c + 2*i = 13. Solve -c*x = 8 + 1 for x.
-3
Let a(l) = l**2 + 7*l + 8. Let u be a(-6). Suppose -u*m = -5*m. Solve m*f - 4*f = 0 for f.
0
Let r = -149 + 149. Solve r*b - 4 = b for b.
-4
Let i(t) = 6*t - 4 + 0*t**2 - 7*t**2 + 0*t**3 + 3*t**2 + t**3. Let v be i(4). Solve 2*d = 6*d + v for d.
-5
Let c be ((-24)/(-3))/(-2) - -7. Solve d + 1 = c for d.
2
Suppose 2*o + 7 = -3. Let v(j) = j**2 + 6*j + 7. Let g be v(o). Solve 4*c - 6 = g for c.
2
Let g = 27 - 8. Suppose 1 = 2*d - g. Suppose d = -3*n + 28. Solve -4*v + n = -7*v for v.
-2
Let m(n) = -n - 6. Let y be m(-6). Suppose 5*j + 75 = -y*j. Let v be 3/(-2)*20/j. Solve 4*b - v - 6 = 0 for b.
2
Suppose 0*c = 2*c. Suppose 8 = -c*w + w. Solve -w = -2*a - 0*a for a.
4
Suppose -2*o = 8*c - 3*c + 20, -3*o + 12 = -3*c. Suppose -m + o*m = -12. Suppose 8*j - 5*j = m. Solve -g - 6 = -j*g for g.
2
Suppose -d - 4 = -p, 4*d = -2*p + d - 7. Solve -k + 2 = -p for k.
3
Suppose 0 = -2*y - 28 - 12. Let u = y - -21. Solve -2*d + 1 = -u for d.
1
Suppose -3*y + 4*k + 72 = 0, -y + k + 24 = 3*k. Solve 2*c - y = -4*c for c.
4
Let n = 25 - 21. Solve 0 = -w - n*w + 20 for w.
4
Let z(q) = -q - 6. Let v be z(-9). Suppose -2*s - h = -2, v*s + 0*h = -5*h - 11. Solve s = p + 4 for p.
-1
Suppose -4*d + 7 = -5. Solve -d*n - 4 = n for n.
-1
Suppose -2*q + 16 = 2*w, w + 6*q - q - 8 = 0. Suppose 0 = 2*g + n + n, 0 = 2*n. Solve 4*y + g*y - w = 0 for y.
2
Suppose -5*r = 4*o - 5 - 2, 0 = -5*r + 5*o + 25. Let w = r + -2. Solve w = -l - 0 for l.
-1
Suppose -2*z + 10 = -p + z, 15 = -5*z. Let j = 25 + p. Solve -3*k + j = -k for k.
3
Suppose 0 = -6*u + 10 + 8. Solve 3 = 3*r - u for r.
2
Suppose -7 = -4*c + 13. Suppose c*g - 2*g = 0. Solve g = -4*p + 3*p for p.
0
Suppose -5*v + 10*v - 180 = 0. Let p be 99/v + 3/(-4). Solve -p - 7 = 3*d for d.
-3
Let s be 5 + 0*(-2)/(-4). Suppose 2*h = s + 3. Solve -6 = -5*d + h for d.
2
Let v = 4 + -2. Suppose 2*u - 3*b - v = 5, -3*u - 2*b + 4 = 0. Solve u*r = 3*r + 3 for r.
-3
Suppose 3*v + 3*v = 3*v. Solve v = -4*m + 19 - 7 for m.
3
Suppose -37 = -5*p - 4*d, -2*p + 35 - 10 = 5*d. Suppose -2*g + p = -5. Solve -7 = g*i + 3 for i.
-2
Suppose 5*g + 2 = -3. Let d be 1/g - (-36)/12. Solve 5 = -d*a + 1 for a.
-2
Suppose -3*l + 28 = -4*g, 4*l - 3*g = -7*g. Suppose -2*o + 6*o - 44 = 0. Solve 3*z = l + o for z.
5
Let d = 7 - 11. Let a be ((-9)/(-6))/((-2)/d). Solve 5 = a*x - 1 for x.
2
Let n = -3 + -2. Let l = n - -5. Solve i + 5 = -l*i for i.
-5
Let z = 152 + -152. Solve z*g = g - 5 for g.
5
Let w = -16 + 20. Solve -w*s + 0*s + 20 = 0 for s.
5
Suppose -f + 25 = 2*f - 5*i, 0 = -i - 5. Suppose -q + 2 = 4. Let k be q/(-6) - (-