se 2*a = -v + 6. Solve -11 + a = -4*n for n.
2
Suppose 9*m - 9 = 6*m. Let f be (1/(-1))/m*-9. Solve -16 = f*o - 4 for o.
-4
Suppose 2*n + 5*w + 126 = 0, 3*n - n + 98 = 2*w. Let z = -37 - n. Let y be (-24)/84 - (-60)/14. Solve 0 = y*s - 4 + z for s.
-3
Let m = 71 + -68. Solve 15 = -m*g - 0*g for g.
-5
Suppose 0*v - v = 5*k + 5, v - 5 = 5*k. Solve -4*q = -v*q for q.
0
Suppose 5*q + 7*l = 2*l + 25, 5*l - 25 = 2*q. Suppose -2*s = -s - 4. Let a(r) = r**2 + r + 1. Let z be a(0). Solve 3*x + s - z = q for x.
-1
Suppose 0*v = a + v - 2, 0 = -4*a + 4*v. Let k be a/((-3)/(-6)) + 6. Solve 4*n + 12 + k = 0 for n.
-5
Let o = -7 - -12. Suppose 2*i = -2, o*i - 3 + 1 = -b. Solve -b = 5*k - 22 for k.
3
Let a(n) = 4. Let u(x) = x - 3. Let c(t) = -5*a(t) - 6*u(t). Let p be c(-2). Solve 3*q + 2*q - p = 0 for q.
2
Let s(d) = -d**2 - 8*d - 8. Let x be s(-8). Let h = 13 + x. Suppose -i - p + 2 = -h, 3*p + 9 = 2*i. Solve 3*m - m + i = 0 for m.
-3
Let x(a) = a**3 - 5*a**2 + 2*a - 3. Let c(f) = -f**2 - 6*f + 5. Let p be c(-6). Let u be x(p). Solve 3*z = u*z + 16 for z.
-4
Suppose -5*c = -7*c. Solve c*d = -d + 2 for d.
2
Suppose 0 = -5*t + 2*d + 35, 5 = -t - 2*d - 0. Suppose -3*c + 8*c + t = 0. Let l(i) = 8*i**2 + i + 1. Let a be l(c). Solve 0*r - a = 2*r for r.
-4
Let p(z) be the second derivative of -z**5/20 - z**4/4 + 5*z**3/6 + 5*z**2/2 - z. Let o be p(-4). Let d(x) = -4*x - 4. Let l be d(-2). Solve o = l*s - 11 for s.
3
Let t(f) be the third derivative of -f**4/24 - 5*f**3/6 - 3*f**2. Let d be t(-7). Solve 6*h + 8 = d*h for h.
-2
Let t(x) = x**2 - 3*x - 2. Let f be t(4). Suppose 2*i + 17 = 5*m, -3*i - 3*m = -6 - 21. Solve 2*g + f = i for g.
1
Let f = -20 + 25. Solve f*i = 5 + 10 for i.
3
Let k(o) = o. Let f be k(8). Let p = -8 + f. Solve a + 3*a - 20 = p for a.
5
Suppose 0*v - 40 = 5*v. Suppose -4*h + 4 = -108. Let c = h + v. Solve -o + c = 3*o for o.
5
Suppose 0*s + 2*g = -3*s + 8, -2*g + 2 = 0. Suppose 5*i - s*i = 0. Suppose -9 = -o - 2*o. Solve i = -5*t - o - 22 for t.
-5
Let l = -3 - 1. Let f = l - -6. Solve f*b + 8 = -2 for b.
-5
Let i = -2 + 5. Suppose i*r - 7*r = 28. Let m = r + 15. Solve 7 = -3*o - m for o.
-5
Suppose 0 = 4*t - t. Suppose 0 = y - 2 - t. Suppose y*w - 4*w + 8 = 0. Solve 0 = -x + w*x for x.
0
Suppose 4*b - 4 = 0, -4 = -2*o + 5*b - 5. Solve -3*c - o = -8 for c.
2
Let k(m) = -m. Let p(c) = -c**2 - 5*c - 3. Let r(u) = 2*k(u) - p(u). Let d be r(-3). Solve -d*j - j = 0 for j.
0
Let y be (1 + (-2 - -3))*-1. Let u(i) = 5*i + 8. Let n(w) = 14*w + 23. Let a(c) = 6*n(c) - 17*u(c). Let l be a(y). Solve 2*h = -2*h + l for h.
1
Suppose 2*q - 2 = 22. Solve 5*j - j - q = 0 for j.
3
Let t(y) = y**2 + 7*y - 8. Let u be t(-8). Suppose 0 = 2*l - v - 10, 0 = -3*l + v + 4 + 10. Solve -n - l*n = u for n.
0
Let n(q) be the third derivative of q**6/120 + q**5/15 - q**4/4 + q**3/6 + 2*q**2. Let k be n(-5). Solve -2 = 4*i + k for i.
-2
Suppose -47 + 15 = -8*b. Solve b*q = 3*q for q.
0
Let h(u) = 3*u**2 - 1. Suppose -z - 4*b = z - 6, b = -5*z + 6. Let g be h(z). Suppose p = -p + 6. Solve p*s + g*s = 25 for s.
5
Let j(q) = -1 - q**2 + q + 7*q - 6. Let s be j(7). Suppose s*t + 3*t - 15 = 0. Solve t*k + 20 = k for k.
-5
Suppose -g + 4*s - 19 = 0, -2*g - 1 + 3 = 2*s. Let x = g + 5. Suppose 4*v = x*v + 24. Solve v = -5*j - 13 for j.
-5
Let v(k) = -k**3 + 7*k**2 - 5*k - 7. Let b be v(6). Let g(z) = 6*z**2 + 2*z + 1. Let r be g(b). Solve -4*x + 3*x - r = 0 for x.
-5
Suppose 3*b - p - 12 = 0, -5*b = -0*p + 2*p - 20. Suppose -5 = b*h - 13. Suppose -2*v - h*j - 4 = 0, -6*v - j + 1 = -4*v. Solve 12 = -0*u - v*u for u.
-4
Let q be -3 + (0 - 1) + 9. Suppose -317 = -q*o - 117. Let s be (16/o)/((-2)/(-20)). Solve -s*c + 9*c = -10 for c.
-2
Let p = -139 + 141. Solve 0 = -t + p + 1 for t.
3
Let j(n) be the first derivative of -n**4/4 + 3*n**3 - 9*n**2/2 + 12*n + 3. Let q be j(8). Solve 3*c - 2*c - q = 0 for c.
4
Suppose 0 = 3*c - 2*c + u - 3, 4*c - 22 = u. Solve -s - c + 0 = 0 for s.
-5
Suppose 3*x = 2*z - 5 + 3, -3*x - 10 = -4*z. Solve o = -x*o + 9 for o.
3
Suppose 59 = -4*k + 2*h - 5*h, -4*h - 18 = k. Let s = 30 + k. Solve l + 3*l = -s for l.
-4
Let d(s) = 2*s**2 + 1. Let z be d(1). Solve 0 = -z*m - 0*m + 12 for m.
4
Let v be (6/(-9))/(1/(-3)). Suppose u + v*i = 7 + 5, -3*i = -12. Let b = 759 - 757. Solve -3*m = -b*m - u for m.
4
Suppose 0 = -5*f + 3*f + 4. Suppose 4*x - 17 = -i + 14, 5 = f*x - 3*i. Let b = 61 - 56. Solve -b*a + 18 = -x for a.
5
Suppose 0 = -v - 3*v. Suppose 0 = -v*w + 4*w - 12. Solve -w*y = -0*y - 12 for y.
4
Suppose 5*h - v - 27 = 8, -4*v - 21 = -3*h. Solve -6 = 4*u - h*u for u.
2
Suppose -6*d = -10*d + 80. Suppose -5*z - 25 = 0, 2*t + 4*z = -3*t - d. Solve 0 = 5*a - t - 15 for a.
3
Suppose 6 = 6*b - 6. Solve -4 = 3*p + b for p.
-2
Let f(l) = -l**2 + 5*l - 3. Let v be f(4). Suppose -3*w - 2*w = -2*m + 26, 0 = -m - 5*w - 17. Solve -v + 4 = -m*r for r.
-1
Let q = 0 + 1. Let t(j) be the second derivative of -j**5/20 + j**4/2 + j**3/6 + 3*j**2/2 + 3*j. Let b be t(6). Solve -2*x - q - b = 0 for x.
-5
Let f = 41 - 21. Suppose f = 4*z + 8. Suppose j = 2*c - 15, -z*j - 18 = 5*c - 50. Solve -c = 5*i - 17 for i.
2
Suppose 0 = -3*x - y - 1, -5*x + 3*y + 3 = -0*x. Solve f + 2*f + 3 = x for f.
-1
Suppose 1 + 1 = 2*j. Suppose 0 = 3*w + j - 7. Solve 6 = w*a - 0*a for a.
3
Let y = 1 - 6. Let q be 38/4 - (-1)/(-2). Let u = q + y. Solve -17 - 3 = u*c for c.
-5
Suppose 12*l - 8*l - 12 = 0. Solve -l*r + 1 + 8 = 0 for r.
3
Let d(f) = f**3 - 4*f**2 + 2*f - 3. Let o be d(4). Let x = -79 - -79. Solve -2*z - 1 - o = x for z.
-3
Suppose 9 = 3*f - 0. Let q(r) = -f + 0*r - 2 + r. Let s be q(5). Solve s*h - 6 = -2*h for h.
3
Let z = -7 + 6. Let b = z + 3. Solve 2*u + b*u = 20 for u.
5
Let k = 16 - 16. Suppose 3*p + w - 25 = -p, k = p - w - 10. Solve 0 = -5*z + 2 - p for z.
-1
Let c(d) = d + 8. Let q(r) = r**3 + 5*r**2 + 6*r + 1. Let p be q(-4). Let i be c(p). Solve -i + 4 = k for k.
3
Suppose 0 = -5*v + 32 + 18. Solve 4*l = -l + v for l.
2
Suppose -2*c + 6 = -8. Suppose 2*w + 6 = 0, 1 = 4*j - 2*w - 1. Let g = 3 - j. Solve -1 - c = g*v for v.
-2
Let y = 26 + -26. Solve y*u - 5*u = -20 for u.
4
Suppose -1 = -o, 2*o = 4*b + 1 + 1. Let p = b - 0. Solve p = 2*l - 0*l for l.
0
Let u = -23 - -39. Solve -k - u = 3*k for k.
-4
Let j be 0/1*(0 - -1). Solve j = -3*d + 13 - 1 for d.
4
Let a = -24 + 26. Suppose -a*s + 0*s = 5*d - 23, 0 = -4*d + 5*s - 8. Let i = -3 - -5. Solve i*r - 3*r = d for r.
-3
Let t(f) = f**3 - 11*f**2 - 13*f + 13. Let l be t(12). Solve 2 = -a - l for a.
-3
Suppose -3*q - 6 = -5*q - 2*i, 12 = 2*q - i. Suppose -2*n + 0 = 4, 0 = 2*t + n. Suppose 0 = -c - t + 5. Solve 1 = q*l - c for l.
1
Let t(i) = i**3 + 4*i**2 + 3. Let b be t(-3). Suppose 2*l - 4*z - 7 = -3*l, 2*l = -3*z + b. Let y be (-1 + 1)/(4 + -3). Solve l*a - 12 = -y*a for a.
4
Let a be (-6)/9 + (-184)/12. Let y be a/(-9) + 2/9. Solve -2*h = y*h - 8 for h.
2
Let d(y) = -7*y + 101. Let c be d(14). Solve 0 = -c*q - 0 + 6 for q.
2
Suppose 4*o = 4*n + 36, 0*n + 4*n + 40 = 5*o. Let w be 114/8 - (-1)/(-4). Solve 2*c - o + w = 0 for c.
-5
Let c(i) = -i**2 - 7*i + 9. Let f be 0/1 - (2 - 0). Let w be (f/(-3))/((-4)/48). Let v be c(w). Solve v = h - 3 for h.
4
Let m = -127 + 130. Solve -m = 4*t + 1 for t.
-1
Suppose -3*v + 2*r + 1 = 0, 4*r - 19 = -v - 0*r. Solve v = c + 2*c for c.
1
Suppose 0*k = -4*k. Suppose -f + 5*n = -4*f + 40, 4*f = 4*n + 64. Suppose 2 + 18 = 5*y. Solve k = s - y*s - f for s.
-5
Suppose 7*d = 9*d. Let k(m) = m**3 + 4*m**2 + m - 4. Let x be k(-2). Let p be 0 - 4*-2*1. Solve x*q = -d*q - p for q.
-4
Let u = -14 + 6. Let i = u - -12. Solve 0 = 2*r - 6*r + i for r.
1
Let m = -1 + 5. Suppose 2 = -5*x + 12. Suppose x*q + 0*q = 0. Solve q = 3*z - m*z for z.
0
Let g be (8/(-2))/(-1*2). Solve -4*r - 2 - g = 0 for r.
-1
Let s = -5 + 5. Suppose -2*b + 4 + s = 0. Suppose 30 = 3*g + 4*f + 6, -b*g + 33 = -3*f. Solve -p = -4*p + g for p.
4
Let y(u) be the second derivative of -1/6*u**3 + 2*u + 1/2*u**2 + 0. Let z be y(-3). Solve -4*b + 0 = -z for b.
1
Let h(z) = 4*z - 27. Let r be h(7). Solve 3 = -f + r for f.
-2
Let h(k) be the third derivative of -k**6/120 + 2*k**5/15 + 5*k**3/6 + 3*k**2. Let d be h(8). Solve -15 + d = -5*z for z.
2
Let k be 1 + -6 + -2 + 5. Let t = 4 - k. Let p = t + -4. Solve -p = -2*r + 4*r for r.
-1
Let