 0*n + 5*n - v = 0 for n.
4
Suppose -4*n = -0*n. Suppose 3*g = -3*t + 24, n = 3*g + 2*g - 5*t + 10. Suppose -3*h - 1 = -4*u + 1, -g*u = -3*h. Solve 15 = -o - u*o for o.
-5
Let h(z) be the first derivative of z**3/3 - 9*z**2/2 - 8*z - 7. Let p be h(10). Solve 0 = p*f - 3 + 9 for f.
-3
Suppose k + 21 = -y + 6*k, -5 = -k. Suppose s - 17 = 3*n, -n = y + 1. Let g be 0*(3 + -2)/1. Solve -s*b - b = g for b.
0
Let y(b) = b**3 + b. Let o be y(1). Suppose 0 = -a + o*a - 3. Suppose 0*q - a*q = 0. Solve q*z = 4*z for z.
0
Suppose -19 + 19 = -2*k. Solve k = u - 0*u for u.
0
Let n(r) = -r. Let q(m) = 3*m + 3*m - 4*m + 8 - 5*m. Let o(t) = -2*n(t) + q(t). Let p be o(6). Solve l + p = -1 for l.
-3
Let l = 18 - 13. Suppose l*z = 2*g + 13, g - 14 = -5*z + 2*g. Solve z*a - 3 + 6 = 0 for a.
-1
Suppose v - 2*v + 79 = 4*a, v = -3*a + 59. Suppose -3*u = 2*w - 18, -2*u + a = 2*w + 2. Solve 4*h = -7 - w for h.
-4
Let w(p) = -p**3 + 5*p**2 + 8*p - 5. Let x be w(6). Let v(g) = x*g - 5 - 2*g + 13 - g**2. Let r be v(6). Solve -k - 15 = r*k for k.
-5
Suppose k + 2*k - 21 = 0. Suppose k = 5*n - 13. Solve 3*l - n = 5 for l.
3
Suppose x + 6 = 3. Let t(z) = -z**2 + 2*z - 2. Let i be t(3). Let a be (x + 1)*10/i. Solve 0 = 3*u + a + 2 for u.
-2
Let r(l) be the third derivative of -l**4/12 - 2*l**3/3 + 3*l**2. Let m be r(-5). Solve 2*k + 0 - m = 0 for k.
3
Let y be (-2)/(-5) - (-78)/30. Let d be (2/3)/((-6)/(-45)). Suppose -d*a = 4*v - 12, a + 4*v = -a. Solve y*b + a = -b for b.
-1
Let z be (-22)/(-6) - 2/3. Solve -10 = -z*r + 5 for r.
5
Let z(c) = c - 4. Let a be z(7). Let q(v) = v**3 - 5*v**2 - 7*v + 3. Let s be q(6). Let y be (-2 + 0)*(s - -2). Solve a*b = y*b for b.
0
Suppose -5*u + 6 + 24 = -4*z, 4*u - 24 = -z. Solve -2*a - u = a for a.
-2
Suppose -3*y - 18 = -3*a, -2*a + 3*y = -2*y - 18. Solve -a*o + 2 = -2 for o.
1
Suppose -2*q - 2 + 6 = 0, 0 = 5*n - 5*q - 10. Solve -8 = n*s - 0*s for s.
-2
Let l(u) = -u**2 + 5*u + 1. Let c be l(4). Suppose 63 = 2*b + 5*d, -b + 4*d = 3*b - 56. Suppose 0 = -r - 2 + 6. Solve -c*m + b = r for m.
3
Suppose -f = -2*f + 4. Suppose 0 = -4*q - 0*q + f. Solve 3*a + 7 = q for a.
-2
Suppose f + 4*j + 16 = 0, -4*j = -0*f + 4*f + 28. Let w(s) = s**3 + 3*s**2 - 5*s - 1. Let v be w(f). Solve b = -v*b - 8 for b.
-2
Let s be (25 - 0)/1 + -3. Let a(g) = g**3 - 4*g**2 - 6*g + 2. Let n be a(5). Let d be (s/n)/(4/(-6)). Solve 4 + d = -3*u for u.
-5
Let l(h) = h**3 + 10*h**2 - 2*h - 19. Let j be l(-10). Solve -2*d = j + 7 for d.
-4
Let m(l) = -l**3 + l + 12. Let p be m(0). Let r = p - -3. Let n be 34/5 - (-3)/r. Solve 2 = -3*t - n for t.
-3
Let t be -4*(-1 + 3)/(-4). Solve 0 = t*u - 0*u + 10 for u.
-5
Let f be (4/4)/(-2) + (-30)/(-4). Solve -15 = f*y - 4*y for y.
-5
Let s be (-4)/(-8) - 10/4. Let j be (s + 8/6)*-6. Suppose 2*c = -c - 4*u - 16, -5*u - 20 = -3*c. Solve c = j*x + 9 - 25 for x.
4
Suppose 0*y + 4*y + 5*t + 13 = 0, 5*y - t = 20. Solve l - 10 = y*l for l.
-5
Suppose -6 = -5*c + 4. Suppose 22 = d - 4*b, -4*d + 21 = -c*b + 3. Solve -d*r + 5*r - 9 = 0 for r.
3
Let k(y) = y**3 - 3*y**2 - 2*y - 5. Let c be k(4). Let p(v) = -4 + 0 - c*v - v**2 + 2. Let q be p(-2). Solve -4*i - 2 + 10 = q for i.
2
Suppose -s - 5*s = -96. Solve 5*k + s = 6 for k.
-2
Suppose -2*g + u - 10 = -5*g, -5*u + 14 = -3*g. Let t = 10 + -7. Suppose 0 = -2*q + 5 - 3. Solve -g*k + q = -t for k.
2
Let g(i) = -i**2 - 15*i + 20. Let t be g(-16). Solve t*q = -0*q + 16 for q.
4
Suppose 3*w - 8 - 4 = 0. Suppose 5*p - p - w = 0. Suppose -4*n + 14 = 2. Solve n*s = p - 7 for s.
-2
Suppose -3*i - 3*u = -3, -i = -0*i + 4*u + 14. Suppose -2*b + i = -8. Solve b = 5*c - 13 for c.
4
Let z be (3/(-2))/(12/(-40)). Let j = 5 - z. Solve 2*l = -j*l for l.
0
Let r be ((-4)/2)/2 - -6. Let i(u) = 12*u**2 + 2*u + 2. Let l be i(-1). Suppose l = -z + r*z. Solve -6*s = -z*s for s.
0
Suppose -2*f - 5*k = 21, 2*f - f + 18 = -4*k. Solve f*g - 5*g = 0 for g.
0
Suppose -2*b - 3*d + 17 = 5, 5*b + 20 = 5*d. Solve b = v + 2 - 3 for v.
1
Let i = 54 + -48. Solve -g + i*g = -10 for g.
-2
Let o = -23 - -11. Let c(j) = -j**3 - 12*j**2 - j - 5. Let p be c(o). Solve -3*m = -p*m for m.
0
Let l = 39 - 31. Solve -h - h = l for h.
-4
Let z(b) = -3*b**2 + 1. Let q be z(1). Let k be (0 - q)*4 + 1. Let n(g) = -g + 12. Let t be n(k). Solve s + t*s = 0 for s.
0
Let i = -26 - -26. Solve i = j + 1 - 4 for j.
3
Let h(k) = -k**3 - 19*k**2 + 21*k + 20. Let z be h(-20). Solve z*s - 4 = -s for s.
4
Let q(v) = v**2 - 5*v + 3. Let i be q(-4). Let z = 64 - i. Let b be 0 + ((-3)/(-1) - -1). Solve b*t - z = -t for t.
5
Suppose j = 4*h - 20, 2*j + 15 = 3*h - 3*j. Suppose h*a + 2*y - 42 = 0, y - 7 = -a + 2*y. Suppose 8*v - 15 = 3*v. Solve b - a = v*b for b.
-4
Suppose 2*k = 6 + 6. Suppose -2*x = x - k. Solve -x*t - t = -12 for t.
4
Let u = 2 + 5. Let q = -7 + 14. Let g be (-56)/(-6) + q/(-21). Solve -4*i = -u - g for i.
4
Let g be 6/(-24) - 89/(-4). Solve g = -5*n + 2 for n.
-4
Suppose -2*m + 1 = -3. Solve -2*l + 3*l - m = 0 for l.
2
Let a = -5 + 3. Let l be a/7 - (-195)/21. Solve -4*x + x + l = 0 for x.
3
Suppose -17 = -4*u + 3*u + 4*b, 49 = 5*u - 2*b. Solve u*m = 4*m for m.
0
Suppose -3*p = -7*p - 40. Let i(a) = a + 12. Let y be i(p). Solve -3*f - 20 = y*f for f.
-4
Let z = -11 - -17. Suppose 0 = -9*f + 20 - 2. Solve f*b = z*b - 4 for b.
1
Suppose 15 = 5*q + 3*y, -1 - 31 = -2*q + 4*y. Let k(b) = -b**3 + 6*b**2 + b - 3. Let h be k(q). Suppose 0 = -5*o - 0*o. Solve h = -o*i + 3*i for i.
1
Suppose 4*r - 25 = -5. Solve 0 = 2*c - 7*c + r for c.
1
Let m(j) = -j - 5. Let p(x) = -x - 5. Let w(q) = 4*m(q) - 5*p(q). Let t be w(10). Solve t + 0 = -3*y for y.
-5
Let u be ((-27)/(-3))/1 - 1. Let h = u - 5. Suppose 15 = 4*l + h. Solve 5*v = 2 + l for v.
1
Suppose -5*w - 5*o - 20 = 0, 2*o + 9 = 2*w - 3. Suppose -2*k - 3*k - 19 = -4*z, -5*k - 25 = -5*z. Suppose 0 = -y - w + z. Solve 0 = y*x - 14 - 6 for x.
4
Let q(c) = -3*c + 2*c - 2 + c**2 + 2. Let l be q(0). Solve v + 0*v + 1 = l for v.
-1
Let w(n) = n**3 - 8*n**2 + 6*n + 9. Let f be w(7). Suppose -f*u = 2*u. Solve u*o + 25 = 5*o for o.
5
Suppose -3*s = 15, 5*r - 14 - 16 = s. Suppose r*a - 7 = 13. Solve a*d - 7 = 9 for d.
4
Let p be (-6)/4 + 99/22. Solve 0 = -2*y - p*y - 25 for y.
-5
Let r(a) = a**3 - 6*a**2 + a + 8. Let k be r(7). Suppose 2*d + k = 4*d. Suppose 4*p - p = s + d, -3*s - 51 = -4*p. Solve p = -3*g - 3 for g.
-4
Let o = -43 + 63. Suppose 4*t + 2*l = 8, 3*t = t + 4*l + 24. Solve 0 = t*h + h + o for h.
-4
Let y be (-20)/6 - 14/21. Let x be (0 + -1)*y*1. Suppose 2 + 12 = 2*k + x*s, -s + 8 = 2*k. Solve 20 = -g - k*g for g.
-5
Let g = 184 + -182. Suppose 5*l + 5*b = -10, 0 = -5*l + 3*b - 5*b - 4. Suppose p + 0*p - 3*j - 6 = l, 4*p + 5*j = 41. Solve -m + p = g*m for m.
3
Suppose -x + 5*i = 3*i - 12, 5*i = -25. Suppose -l + 5*c + 6 = 0, -x*c - 5 - 1 = -l. Suppose f - 2 + 0 = -3*k, -f + l = -k. Solve -40 = -f*o - 15 for o.
5
Let q(x) = -32*x + 40. Let z(f) = f - 1. Let n(b) = -q(b) - 40*z(b). Let h be n(-5). Suppose 0 = -3*u - 2*u + h. Solve 3 - u = -5*t for t.
1
Let g be ((-1 - 0)*0)/(-2). Let d = -10 + 14. Suppose -6*o + 11*o = 0. Solve g = d*p - o*p for p.
0
Suppose i - 5 = -4. Solve p = -i - 0 for p.
-1
Let w(x) = x**2 - x - 4. Let s be w(3). Let t(c) = 2*c**2 + 9*c + 1. Let d be t(-6). Let p = 39 - d. Solve -s*n - p = 2*n for n.
-5
Suppose -10 = -5*f - 0. Suppose f - 9 = -n. Solve -4*a = -n*a + 6 for a.
2
Suppose z = 3*d + 16, -4*d + 6*d - 8 = -4*z. Solve -2*l - 2 - z = 0 for l.
-3
Let t(i) = -3*i**2 + i - 2. Let a be t(2). Let g be a/2*(-3)/6. Suppose g*m + m = 0. Solve 9*k - 4*k + 25 = m for k.
-5
Let l be -3 + (-1)/(3/(-18)). Suppose -2*c + 31 = l*r, 5*r - 7*c = -3*c + 37. Let o = 13 - r. Solve -o*g - 2 = 18 for g.
-5
Let g be ((-5)/2 - -2)*-16. Suppose -q + g + 5 = 0. Solve -3 = 5*z - q for z.
2
Let a(v) = -v**3 + 5*v**2 + 9*v - 9. Let n be a(6). Let f(j) = -j**3 + 9*j**2 + 7. Let d be f(n). Solve -d = -4*u + 1 for u.
2
Let k(r) = 4 + 3*r**2 - r**2 - r**2 + 4*r. Let x be k(-3). Solve -3*w + 5 = -x for w.
2
Let t(a) = -14*a**3 - 2*a**2 + 1. Let c be t(-1). Let z = -3 + 4. Let r = z + c. Solve -3*l = r - 5 for l.
-3
Let l = -13 + 9. Let g(f) be the second derivative of f**4/12 + f**3/2 - f. Let o be g(l). Solve 1 = -b - o for b.
-5
Let p be 10*((-6)/15 - 0). Let o = p - -10. Solve d = -2*d + o for 