*k + 4 + 0 + k - k**2. Let d be v(6). Let y be (-5 - 0 - -6)/(0 - -1). Solve y = -d*n + 17 for n.
4
Let v(s) = 4*s + 1. Let t be v(4). Suppose f = -4*r + 16, -r + 6*f - f = t. Solve -r*o + 11 = -4 for o.
5
Let l be (-12)/9*63/(-28). Let c(g) = -g**3 + g + 1. Let j be c(0). Suppose 0 = 5*s - s - 8. Solve -j = -l*i + s for i.
1
Let z(c) = 5*c - 1. Let r be z(1). Let j = -12 - -11. Let o be (j - 10/(-8))*28. Solve -r*p - 5 = o for p.
-3
Suppose 75*m = 71*m + 32. Solve -4*o + m*o - 20 = 0 for o.
5
Let n = 15 + -11. Solve -3 = n*z + 1 for z.
-1
Let i be (-20)/(-3)*(-27)/(-12). Solve -4*l + i = l for l.
3
Let l = 1 - -2. Let w = l - -12. Suppose -i - w = -4*i. Solve -17 = i*h - 7 for h.
-2
Let b = -20 + 3. Let t = b + 17. Solve -l = -t*l + 4 for l.
-4
Suppose 0 = -w + 2*w - 3*u + 4, 0 = 2*w - 2*u - 12. Suppose 1 = -2*p + w. Solve p*m = 6*m for m.
0
Let c = 0 + -6. Let l be (-4)/c - (-35)/15. Suppose k - l = 4. Solve -3*w - 5 - k = 0 for w.
-4
Let z(b) = 9*b**3 - 2*b**2 - 2*b. Let q be z(2). Let g be q/14 - 2/7. Suppose g*n - 8 = -0. Solve n*o = 5*o for o.
0
Suppose 4*a = 3*m - 2 - 5, 2*a - 9 = -m. Let z be -3*a/3 + 1. Let j = z - -4. Solve j*p - 12 = 7*p for p.
-3
Let g = 2 - 0. Suppose -g*d = -6*d + 12. Solve -d*s = -s + 10 for s.
-5
Suppose i - 3*i = -8. Suppose -2*a = -r - 17, 6 = 2*a + 4*r + i. Solve -4*s + 1 + a = 0 for s.
2
Let n be ((-2)/(-5))/(5/50). Let y be 3/(-2)*n/(-3). Solve -6 + y = 4*d for d.
-1
Let l(v) = -v. Let g be l(-4). Let t(y) = 4*y**3 - 4*y - 3*y**3 - 2 - 2*y**2 - 3 - 3*y**2. Let i be t(6). Solve d = i - g for d.
3
Let w(j) be the first derivative of -j**6/360 + j**5/24 - j**4/6 + j**3/3 - 2. Let b(v) be the third derivative of w(v). Let r be b(3). Solve r*i = i - 1 for i.
-1
Let i be ((-3)/6)/((-3)/12). Suppose -4*p = -i*p - 30. Suppose 5*k = 2*k - 4*d + 13, 4*d = k - p. Solve -13 = -4*w + k for w.
5
Let s(k) = k**2 + 9*k + 2. Let z be s(-9). Solve -z*n = n - 15 for n.
5
Let o(r) = r**2 + 15*r + 20. Let p be o(-14). Solve -5 + p = q for q.
1
Let t(g) be the second derivative of g**3/6 + g**2/2 - g. Let d be t(2). Solve 4*m - 5*m + d = 0 for m.
3
Let d be (-122)/18 - 2/9. Let a = -5 - d. Solve 7 = -a*q - 1 for q.
-4
Let g(o) be the first derivative of -o**4/4 - 2*o**3 - 4*o**2 - 7*o - 2. Let i be g(-5). Solve 0 - i = -4*f for f.
2
Let z be 25 - 0 - (3 + 0). Suppose 4*o - 8*o + z = 3*q, 2*q - o = 0. Solve 3*i - 3 = q*i for i.
3
Let d be 3/(-1)*8/(-6). Solve r + d = -r for r.
-2
Suppose 58 - 54 = 2*g. Solve -5*r = -g*r for r.
0
Let t(q) = q**3 + 7*q**2 + 6*q + 6. Let u be t(-6). Let v = -6 + 10. Let z = u - v. Solve -m + 4 = -z*m for m.
-4
Suppose -2*c - 2*c - 48 = 0. Let x be ((-4)/8)/(2/c). Suppose 4*u - x*u + 4*w = 6, -2*u = 5*w - 9. Solve u*p - 3 = -p for p.
1
Let c(n) = -n**3 - 8*n**2 + 8*n - 9. Suppose 22 = -2*w + 4. Let d be c(w). Solve 3*r + d*r + 3 = 0 for r.
-1
Suppose 4*d + 56 = 12*d. Solve d*h = 2*h + 25 for h.
5
Let j = 2 - 0. Suppose -2*a - 5*o - 9 = 0, 5*a + 3*o = 6 - 0. Solve -1 - a = -j*v for v.
2
Let l be 8 + -2 - (-2 - -10 - 4). Solve l*v - 4 = 4 for v.
4
Let z(r) = r + 4. Let h be z(-1). Solve -2*s + h = -7 for s.
5
Suppose 4*i - 33 = -5*j, 0*i - 5*i + 5*j - 15 = 0. Solve i = 3*m - 13 for m.
5
Let d(m) = 3*m - 3. Suppose -3*n = 3*x - 12, -x + 0*x + 6 = 2*n. Let w be d(x). Solve w*g = -g - 4 for g.
-1
Let m be (4/(-10))/1 + (-60)/(-25). Solve -m*v = -0*v for v.
0
Suppose 0*f = 4*f. Suppose -4*x = -2*v - 4, -5*v + 5*x + 0 = -5. Suppose 5*g - n + 3 - 1 = f, -8 = -2*g - v*n. Solve 3*i - 2*i - 4 = g for i.
4
Suppose 4*b - 8 = 0, -2*q + 12 = 2*b + 2*b. Suppose 5*w - 21 = r, -4*r + 6 = -4*w + 2*w. Solve 3*d - r = q*d for d.
4
Let c = 4 - 1. Let f(w) = -w**2 + 2*w. Let u be f(2). Solve c*b - 4*b + 2 = u for b.
2
Let c = 2 - 2. Let f be 2*(c + (-10)/(-4)). Solve f*d + 0*d = 10 for d.
2
Let i be 6 + 16/((-8)/2). Solve 2 = -i*y - 2 for y.
-2
Suppose r = -2*s, 5*r - 2*r + 5*s = 0. Let c be 4*(-2)/(-8) - -2. Solve r = -2*z - c*z for z.
0
Let u = 86 - 84. Solve 7 + 3 = -u*l for l.
-5
Let r be (0 + -2 + 6)/1. Suppose 4*c + 6 = 3*w, -r*w = -0*c + c - 8. Solve -w*k = 3*k for k.
0
Suppose -4*d = 5*p - 12, 0*p - 24 = -5*p + 2*d. Let q(s) = -4 - 2*s + 0*s**2 - p*s - s**2. Let v be q(-4). Solve 4*t + v = -4 for t.
-2
Let r = -9 - -11. Solve 7*x - r*x - 10 = 0 for x.
2
Let l(v) = v + 13. Let p be 9*(2/(-2))/1. Let b be l(p). Solve -5*y + b*y = 5 for y.
-5
Let z = 1 - 1. Suppose z = 2*q - 8. Suppose -11 = -5*a - q*w, -w = -5*a - 4*w + 12. Solve a*g + 1 + 2 = 0 for g.
-1
Let a = -6 - -9. Solve 0 = a*l - 4*l - 5 for l.
-5
Suppose c = -0*c + 4. Let x be 6/c - 9/(-6). Suppose 38 = y + x*z + 11, -4*z = -4*y + 28. Solve 4*v + 0*v + y = 0 for v.
-3
Let c = 61 - 61. Solve f + 3 = -c*f for f.
-3
Let k be (-5 + 3 + 1)*-3. Solve -5 = -k*v + 1 for v.
2
Suppose -3*n + 2*n = -2*p + 15, -4*p = 2*n - 10. Solve 4*i - p = -21 for i.
-4
Let c(s) = s**2 + 3. Let d be c(0). Solve d*b + b = 0 for b.
0
Suppose 5*c - 9 = 2*m, -m + 0*c = -5*c + 7. Let o = -3 - -3. Let d = o - m. Solve d*g + 10 - 2 = 0 for g.
-4
Let o(j) = 14*j**3 + j**2 - 1. Let b be o(-1). Let s = -10 - b. Solve k + s + 1 = 0 for k.
-5
Let q(b) = b**2 - 2*b - 7. Let m be q(5). Solve 3*v + m = -1 for v.
-3
Let r(l) = l**2 - 2*l + 1. Let s be r(3). Suppose -30 = v - s*v. Let j = 17 - v. Solve -1 + j = -3*z for z.
-2
Suppose -11*u = -2*u. Solve g + 2*g = u for g.
0
Suppose 0 = -2*m + m - 3. Let d be 1 - (-4 + (-6)/m). Solve -f + 1 = d for f.
-2
Suppose 1 = s, 4*o - s + 4*s = -73. Let v = o - -19. Solve -a + v = -2 for a.
2
Let b = 2 + -26. Let h be (b/(-4))/((-3)/(-4)). Solve -5*x + h = -x for x.
2
Suppose 5*f = 4*s - 10, 4*f = -4*s + 34 - 6. Solve -s = 5*m - 0 for m.
-1
Let z(u) = u - 5. Let o be z(6). Suppose 5*a + 7 = 27, -s - o = -a. Suppose -4*v + 0*v - s*h = -21, 4*v - 5*h + 3 = 0. Solve -k - v = -0*k for k.
-3
Suppose b + 0 = 4. Suppose 3 = 3*t, 2*j - b*t - 8 = -j. Solve -2 = -g - j for g.
-2
Let p = -7 - -13. Solve p*g - 3*g = 12 for g.
4
Let j(n) be the third derivative of n**6/720 + n**5/120 + n**4/24 + n**2. Let w(o) be the second derivative of j(o). Let g be w(1). Solve 3*l - 3 = g*l for l.
3
Suppose 3*k + 2 = 29. Let t be (-3)/4 - k/(-12). Solve -j + 5*j + 16 = t for j.
-4
Let u be -6*2/(-8)*2. Let j = -22 - -46. Let i be 2 - j/(-2 - 1). Solve -i = -u*m + m for m.
5
Let s = -12 + 12. Solve s = -4*w + 3 + 1 for w.
1
Let l = -28 - -30. Solve 3*j = -l*j + 10 for j.
2
Suppose -3*u - 2*l = -3 - 2, 0 = -3*u - 4*l + 1. Let b(w) = -2*w**3 - 3*w**2 + 1. Let x be b(-2). Let r = -3 + x. Solve n - r = u*n for n.
-1
Let q(l) = -l**3 - 9*l**2 - l - 3. Let a be q(-9). Suppose 0 = a*k - 0*k - 6. Solve o + 3 + k = 0 for o.
-4
Suppose 0 = -v - 4*v. Let s(a) = -a**3 - a**2. Let i be s(v). Suppose i*u + 4*u = 12. Solve u*x = -2*x for x.
0
Suppose -3 + 19 = 2*o + p, -4*p = -4*o + 56. Solve o*u - 9*u = -5 for u.
-5
Let h = -18 + 18. Solve h = -0*a - 5*a + 5 for a.
1
Suppose 0 = -3*y + 4*y - 3. Suppose -z = -4*z + 18. Solve -z*h = -y*h for h.
0
Let z be 20 + 8*(-4)/8. Solve 2*o + 6 = z for o.
5
Let p = 2 + 0. Suppose 1 = 5*j + 2*g - 6, 3*j - 4*g = -1. Solve 0 = -p*l - j - 1 for l.
-1
Let o(j) = -j**3 + 4*j**2 + 3*j - 8. Let l be o(4). Solve -4*x + 0*x = l for x.
-1
Let j be -2 + 6 + -3 + 4. Let r(s) = 2*s - 8. Let p be r(7). Suppose p + 19 = j*w. Solve -w*l + 0*l = 0 for l.
0
Suppose 5*j - 107 = -7. Let k(x) = -x**3 + 4*x**2 + 2*x - 5. Let l be k(4). Solve -l*r = 2*r + j for r.
-4
Suppose -28 + 7 = -3*d + 3*y, 2*d + 2*y - 2 = 0. Suppose o = 3*f - 30, f - 4*f + d*o = -39. Solve -2*v + f = 1 for v.
4
Let u(k) = -1. Let i(p) = 2*p - 2. Let o(q) = -i(q) + u(q). Let t be o(-1). Solve -2*m - m = t for m.
-1
Let k = -1 - -3. Suppose 25 = 9*y - 2. Solve y*f - f = k for f.
1
Let d(i) = i - 6. Let f be d(11). Let g = f + -3. Solve 0 = -3*h - g*h - 5 for h.
-1
Suppose 0 = -0*v - 3*v + 45. Suppose 5*c = 4*m - 12, 2*c - 3*m + 9 + 0 = 0. Suppose -3*h + v = c, 2*h + h = -o + 29. Solve -5*x + o = -11 for x.
5
Let y(w) = 4*w - 6. Let a be y(4). Suppose 6*p - 7*p - 4*v + 21 = 0, -21 = -5*p + v. Solve a = -p*c - 0 for c.
-2
Let t(k) = 7*k - 4. Suppose -1 = -3*f - 4*m + 4, 4*f = 5*m + 17. Let s be t(f). Solve 5 - s = -3*n for n.
4
Suppose -3*x + x = 0. Suppose w + w = x. Solve w = 2*k - 4 + 2 for k.
1
Let x be 1*3 