13. Solve -4*n - 2 = v for n.
-4
Let j be (-2)/9 - 87/(-27). Suppose 0 = j*y - 55 + 7. Solve -y = -3*r - 4 for r.
4
Suppose 4*t + 5*s = 86, 2*s + 66 = 3*t + 5*s. Let k = -13 + t. Suppose 0 = 4*i + 3*p - 49, -i - p = p - k. Solve -i = 4*j - 5 for j.
-2
Suppose 22 = -5*t - 3. Let n = -10 + 17. Let h = n + t. Solve 2*o - 6 = -h for o.
2
Let s = -23 - -24. Solve 5*t + s = 16 for t.
3
Let s(f) = -f**2 + 4*f - 2. Let b be s(2). Solve -b = 4*t + 2 for t.
-1
Let h(p) = p**3 - 9*p**2 + 6*p + 16. Let m be h(8). Solve m = -v - 1 - 4 for v.
-5
Let x(y) = -7*y**3 + 2*y**2 - 5*y - 16. Let k(v) = -20*v**3 + 7*v**2 - 14*v - 47. Let j(i) = -6*k(i) + 17*x(i). Let r be j(8). Solve s = -r*s + 15 for s.
5
Let i = 65 - 44. Let v = i + -33. Let z = 17 + v. Solve 2 = -z*t - 8 for t.
-2
Suppose 2*f + 9 = -5*g, -2*f + 4 - 10 = 4*g. Let z be -6*((-10)/(-4) - 3). Suppose 4*p + 20 = -0*v + f*v, 0 = z*p + 15. Solve 2*n + 10 + 0 = v for n.
-5
Let a(l) = -1 + 0*l**2 + 8*l**2 + 5*l**3 + l - 4*l**3. Let z be a(-8). Let v = z - -14. Solve -v*c - 2 = -27 for c.
5
Let v(i) = -i**3 + 10*i**2 + 20. Let t be v(10). Solve -u + t = -6*u for u.
-4
Suppose v = 5*c - 0*v - 14, 4*c - 10 = 2*v. Suppose 2*a + 4*s = -c*a + 35, 2*a - 3*s = -9. Solve -2*n - 2 = -a*n for n.
2
Let g be 0*(-3 + 3 + -1). Solve g = -4*d + d for d.
0
Suppose 0 = 4*n + 5*f + 69, 0 = 3*n + 3*f + 39 + 9. Let y = n - -16. Let c = 7 - 5. Solve -c*z = -y + 1 for z.
2
Suppose -2*m = 3*d - 21, -5*m + 6*d - 5 = 2*d. Suppose -3*p + 4*p = 2. Solve m*h = -4 - p for h.
-2
Let o(f) = -f**3 + 16*f**2 + 20*f - 35. Let l be o(17). Solve 2*x + 2*x = -l for x.
-4
Let d = 133 - 129. Solve 0*t = -d*t - 16 for t.
-4
Let r = 95 - 64. Solve -11 + r = -4*n for n.
-5
Let y be 12/12 - -1*2. Let n = 11 - y. Solve n = t + t for t.
4
Let j be -3*1 + (-2 - -3). Let t = j - -4. Let b(u) = 2*u + 1. Let k be b(t). Solve 4 = k*q - 1 for q.
1
Suppose 2*n = -4*s - 6, 6 = 2*s + 8*n - 4*n. Let z = 5 + s. Suppose -5*b = 3*o - 1 + 2, 2*o + 3*b - 1 = 0. Solve -z*l + o = -2 for l.
5
Let w = -30 - -35. Solve 0 = 2*i - w*i for i.
0
Let u be (20/14)/((-3)/(-21)). Let p = u - 9. Solve -p = y + 1 for y.
-2
Let b(h) = h + 3. Let g be b(11). Let n = -10 + g. Suppose -31 = -5*d + 4. Solve 0 = n*y + 5 + d for y.
-3
Suppose -2*f - 60 = 3*f. Let v be (8/(-3))/(4/f). Suppose -3*j + 3 = g - v, -g + 4*j - 10 = 0. Solve 15 = -3*n - g*n for n.
-3
Let r(i) = -2*i + 5*i**2 + i**3 - 4*i**3 - 5 + 2*i**3. Let z be r(4). Solve -6 = -z*c + 9 for c.
5
Let z(k) = -k - 1. Let l be z(-6). Suppose -l*q + 60 = -2*q. Suppose 0 = m + 3*m - q. Solve 0 = m*n - 2*n for n.
0
Let i be (-2 + 1 + 3)*25. Let p = i - 30. Solve c + 3*c = -p for c.
-5
Suppose 3*l = -y + 15, 5*y - 3*l = 3*y - 6. Suppose -s = -4*o - 1, 0 = -3*o + 4*s - 1 - y. Solve -6 + o = 2*x for x.
-3
Let v = 12 - 10. Solve 0 = v*f - 4*f + 6 for f.
3
Suppose -5*g + 13 = 3. Suppose 5*v = c + 2, -3*c - 6 = v - 16. Let o = 5 - 3. Solve -g*s + o = -c*s for s.
-2
Let q(y) = y**3 - 5*y**2 - y + 7. Let m be q(5). Solve -2*n + m + 0 = 0 for n.
1
Let k = -18 + 23. Solve h + k = -0*h for h.
-5
Let i(k) = k**3 + 2*k**2 - 2*k + 4. Let u = 3 - 6. Let h be i(u). Solve h + 5 = 3*n for n.
2
Let x be 3/(-3 - 9/(27/(-12))). Solve 4 = -7*k + x*k for k.
-1
Suppose -4*y = -0*y + 8. Let v be (1 - -5)*y/(-4). Suppose -17 = -v*x + 1. Solve j = 1 - x for j.
-5
Suppose 3*u + n - 8 = 10, 5*n = 5*u - 10. Suppose -g - 12 = -u*g. Suppose 2*s - 7 = -g*z, 2 = z - 0*z + s. Solve z = p - 0 for p.
3
Let m(t) = t**3 - 5*t**2 + 3*t + 5. Let o be m(4). Let h = 2 - -5. Suppose -4*f - 20 = 0, 2*j + 2*f = -j - h. Solve o = n - j for n.
2
Let i(v) = v + 2. Let y be i(1). Solve 5 = -y*z - 4 for z.
-3
Let r(u) = -u**2 + 2. Let c be r(0). Suppose 0 = -c*p - 2*p. Solve 0 = -2*w - p - 4 for w.
-2
Let t = -82 + 87. Solve 0 = -3*f - 20 + t for f.
-5
Suppose 0*r - 4 = -2*r. Let j be (-2)/(0 + r) + 13. Solve 2*s - j = 6*s for s.
-3
Suppose 3 + 2 = 5*c. Solve -c = -t - 5 for t.
-4
Suppose r = 2 + 28. Solve -5*p - r = -5 for p.
-5
Suppose -4*w + 20 + 24 = 4*m, -4 = 4*w. Suppose -6*c + 3*c = -m. Solve -15 = -c*h - h for h.
3
Let n = 4 - -6. Solve 4*u - n = 2*u for u.
5
Let q(z) = 4*z - 16. Let x be q(4). Solve x = -0*g - 3*g for g.
0
Let k be 21*2/(-14)*-2. Solve -9 = -3*z + k for z.
5
Let o be (8/(-6))/((-10)/30). Solve -2 = -3*q + o for q.
2
Suppose n = 5 - 4, 5*n = -x + 11. Solve 4*o + x = 18 for o.
3
Suppose 3*o + 2 = 23. Suppose 2*s - 1 = 11. Suppose u - s = -4*x, 2*x - 3 = -u + 1. Solve o = -3*b - u for b.
-3
Let t = -3 - 32. Let q be (-10)/t - 12/(-7). Solve f + q*f = -3 for f.
-1
Suppose 5*f - 43 = -18. Suppose -f*i + 19 = -j - 4, 10 = 2*i. Solve j = -r + 5 for r.
3
Suppose 0 = -b - 0 + 4. Let z = 4 - b. Solve h - 4 = -z*h for h.
4
Let x be (2 + 1*-6)/(-2). Let q = 1 + x. Suppose -2*i - q*i = -30. Solve 2*o + 4 = i*o for o.
1
Suppose 4*n = -5 + 13. Solve o + n*o = -3 for o.
-1
Let s = 8 - 4. Solve -8 = -b - s for b.
4
Suppose 5*v + 8 = 6*v. Solve 2*g + 0 = v for g.
4
Let x(l) = 5*l**2 + 3*l + 1. Let d be (-3)/(-9)*(-12)/2. Let v be x(d). Solve -2*s - v = 3*s for s.
-3
Let w(z) = -z**2 + 6*z + 2. Let j be w(6). Suppose -j*u = -5*u. Suppose -4*m = -f + 6, f + u*f - 6 = -3*m. Solve -f*i - 15 = -3*i for i.
-5
Let w be (18/(-2))/((-3)/6). Solve -5*p = -7 - w for p.
5
Suppose 0*w + 9 = 3*w. Suppose -w*b + 22 = -4*t - 0*t, 5*b = 3*t + 22. Solve -f + b = f for f.
1
Suppose 6*o - 1 = 17. Solve 0 = 2*d + o*d - 20 for d.
4
Suppose -4*h = 3*i - 20, 0*h - 14 = -4*i + h. Solve i*u = -9 + 1 for u.
-2
Suppose 2*n + 20 = -5*x - 3*n, -2*n - 1 = x. Let p(a) = -3 - 4*a + 4 + 3*a - 4. Let o be p(x). Solve -o = 2*v - 2 for v.
-1
Let y(d) = -d**3 - 11*d**2 - 11*d. Let s be y(-10). Suppose s = 12*a - 7*a. Solve a*t = -0 + 4 for t.
2
Suppose -5*v + 24 = 4*b, -4*v - 2*b + 12 = 3*b. Let k(u) = -u**2 + 5*u. Let f be k(3). Let g = v - f. Solve 2*a = -g*a for a.
0
Suppose 4*u + 2 - 6 = 0. Let l = 11 - u. Solve -3*f = -4 + l for f.
-2
Suppose -3*t + 20 = 2*t. Suppose t*u + 0*u - 12 = 0. Suppose 2*l = -2*m + 10, -m - u = -5. Solve 1 = -o - l for o.
-4
Suppose 1 - 13 = -n. Solve n - 2 = 2*w for w.
5
Suppose 0*f + 3*f = 0. Let o be 2 + (f - 0/(-2)). Suppose 2*n = -3*n. Solve n = 5*x - 7 + o for x.
1
Let v(d) = d**2 - 19*d - 14. Let l be v(20). Solve 0 = -4*p + l + 10 for p.
4
Let d(p) = 3*p + 3*p + 4 - 7*p. Let x be d(5). Let q be -2 + 2 - x - -2. Solve -q = -2*w + w for w.
3
Let g = -1 - -1. Let t be g/(-3*(-2)/6). Solve t*u - 4*u + 20 = 0 for u.
5
Let f(q) = q - 3 + 4*q - 3*q. Let u be f(3). Solve u*c + 2 + 13 = 0 for c.
-5
Let s(q) = q**3 - q**2 + q + 8. Let t be s(0). Suppose 0*u = u - t. Solve -x = -3*x - u for x.
-4
Let j(s) be the first derivative of -s**3/3 + 7*s**2/2 - 6*s + 3. Let r be j(5). Let h be 2/3 - (-12)/9. Solve -h*w + 4 = -r*w for w.
-2
Suppose 3*j + 12 = 7*j. Solve -3*q + 15 = j for q.
4
Let z(n) = n**3 + 6*n**2 + 5*n - 4. Suppose -4*d - 19 = -h - 5, 3*d = -5*h - 22. Let y be z(d). Solve 3*t + y = t for t.
-4
Let j(w) = -7 - 1 + 2*w - 5*w - 6. Let k be j(-6). Solve 5*q = k*q - 2 for q.
-2
Suppose -2*h = -5*h - 6. Let z be (-1 + h + 2)*-4. Solve z*d = -d - 15 for d.
-3
Let w be -8 + 4 - -9*6/9. Solve u = -w - 3 for u.
-5
Let x be ((-2)/3)/((-14)/63). Solve x*v + 15 = -2*v for v.
-3
Let g = 5 + -11. Let h = g - -6. Suppose -2*p + 0*p + 2 = h. Solve -2 - p = -k for k.
3
Suppose -2*z + 3 = -z. Solve x = -1 - z for x.
-4
Let w = 19 - 13. Suppose w = 7*g - 6*g. Solve -l = -g*l - 20 for l.
-4
Let k be (-2)/(-2) - 3 - -4. Let m be (0/(-18))/(-2 - 0). Solve k*a - 4 = -m*a for a.
2
Let q(b) = -b**2 + 8*b + 8. Let l be q(6). Let j = -10 + l. Solve 5*t + 5 + j = 0 for t.
-3
Let l(z) = -z**3 - 3*z**2. Let u be l(-4). Let s = -4 + u. Solve s = 3*g + 3 for g.
3
Suppose 2*j + 25 = 7*j. Suppose -w - 2 = -j. Solve -w*i + 11 - 2 = 0 for i.
3
Suppose 4*w = 48 + 16. Let y be (w/(-6))/((-4)/6). Suppose o - y*p = p + 25, 0 = -o + 2*p + 10. Solve 0 = -h - o*h for h.
0
Let v(p) be the second derivative of -p**3/3 - p**2/2 + 3*p. Let c be v(-2). Solve -a = c*a + 20 for a.
-5
Let z(i) = -i**3 - 32*i**2 - 29*i + 73. Let a be z(-31). Solve -a*m = -9*m + 2 for m.
-1
Let d(n) = -n**2 - 5*n + 6. Let i be d(-6). Suppose 0 = 4*m - 14 + 54. Let z(l) = l**3 + 11*l**2 + 11*l + 13. Let h be z(m). Solve i*j + 3 = h*j for j