 Solve 5*n + b = s*v - 11, 4*n + 28 = -4*v for v.
-3
Let f = 43 + -41. Solve f*l - b + 4 = -5*b, 2*l = -2*b for l.
2
Let f(x) = -5*x**3 + 2*x**2 + 2*x. Let d be f(2). Let g be ((-8)/(-16))/(2/d). Let k = 12 + g. Solve -5*h - 3*y = -0*y - 21, 1 = -3*h + k*y for h.
3
Suppose -5*f + 2*f = -117. Let o = -33 + f. Solve 3*r + 5*h = -9, -o - 6 = 4*r - 4*h for r.
-3
Let h = 11 + -20. Let a be (12/h)/(3/(-9)). Let g(w) = 17*w**3 - 1. Let d be g(1). Solve 5*x - a*b = 2*x + 23, x - d = 3*b for x.
1
Suppose -12*i + 5 = -31. Suppose 0 = 2*s - 1 - 3. Suppose s*a + 5*v - 13 = 0, 0*v + 11 = 3*a - v. Solve 2*f + 11 = a*o + i, 4*f = 5*o - 7 for f.
2
Let f(z) = 2*z**2 + 32*z - 32. Let s be f(-17). Let o = 15 - 10. Solve s*g = 5*w, w - 6*w = -g + o for g.
-5
Suppose 9*x + 1 = 19. Solve b = -x*n - 2*n + 2, -5 = n + 3*b for n.
1
Let t(p) = -p**2 - 29*p + 30. Let v be t(1). Solve v = -o, 10*o = -3*a + 5*o - 12 for a.
-4
Let w = -20 + 22. Suppose -15 = -h - 10. Suppose -2*j = -j - o - 10, -2*o = 2*j. Solve -h*d - 4*b = 40, -j*b + b - 28 = w*d for d.
-4
Suppose -k + 2*g + 0*g = 4, -5*g = 4*k - 36. Let x = k - -8. Let p be (6/(-5))/((-2)/5). Solve -w + x = w - p*f, 10 = -5*f for w.
3
Suppose -8 - 13 = -7*u. Solve -5 = z + 4*c - 20, -3*z + u*c = 0 for z.
3
Let o = 128 + -85. Suppose m = 2*f + 7, -4*f - 4*m - o = 1. Let j be (18/9)/((-4)/f). Solve 3*v = -v - 3*t - 11, 5*v = j*t - 7 for v.
-2
Let t = -858 + 873. Solve p - 3*p + 5*g = t, 2*g = -p - 3 for p.
-5
Let h be (-9306)/(-2397) + (-2)/(-17). Solve s - a - 4*a = -10, -a - 19 = h*s for s.
-5
Let p(f) = 0*f + 26 + 0*f - 16 + f. Let v be p(-7). Solve 0 = q - 4*n - 4, 2*n - v*n - 22 = 5*q for q.
-4
Let r(l) = -2*l**2 + 9*l + 5. Let f be r(7). Let i = f - -57. Let x be 147/51 + (-22)/(-187). Solve -4*p = x*g + i, 2*p + 21 = -3*g - 0 for g.
-5
Suppose 0 = d - 35 + 32. Solve d*i - 3*p = -12, 0*p - p - 6 = 4*i for i.
-2
Suppose b + 79 = 2*y, -y + 35 = -0*y - 5*b. Suppose -y = -6*u + 2*u. Solve -4 = -4*k, -4*t + 5*k = -u - 1 for t.
4
Let p be -7 - 121/(-17) - 198/(-51). Solve -p*c = -3*b - 2*c + 1, 5*b - 2*c = -1 for b.
-1
Suppose -8 = 2*n + 4*y, -y = 4*y + 10. Let j(c) = c + n*c + c**2 + 3*c**2 - 2*c**2. Let g be j(-1). Solve z + 6 = -2*q + g, -3*q - 3*z = 15 for q.
0
Let t be (-16)/24*(-4 - -1). Suppose 2*y - 4 = 0, -5*y + 7 = t*n - 7. Let o be ((-7)/2)/((-6)/12). Solve 0 = -n*s - 5*h + 7 + 2, -5*s + 3*h + o = 0 for s.
2
Let s = 16 + -2. Suppose 3*u - s = 1. Solve 0*j - j - 10 = -5*y, -5*y - 20 = u*j for y.
1
Let z(j) = -7*j - 4. Let a be z(-2). Suppose 0 = -3*v + 2*b - 30, 2*v + 0*v - b = -20. Let l = v + a. Solve -r + t + l*t = -8, -r - 17 = 4*t for r.
3
Let v(d) = -d + 1. Let b be v(2). Let x be (4 + b)*4/3. Solve 0 = -2*k - x*h - 2, -2*k + h - 14 = -h for k.
-5
Suppose -2*a = -6*a + 64. Let i = a + -14. Let f be (-24)/(-20)*15/i. Solve -2*w - 14 = 4*p, -2*w + 4*p + 1 = -f for w.
-1
Let d = 57 - 53. Solve -2*l + 3*a = -7, 2 = -2*a + d for l.
5
Let d(t) = -160 - 2*t - 2*t + 148. Let h be d(-4). Solve -2*s + 14 = 3*c - c, c + 13 = h*s for c.
3
Suppose -182 + 154 = -14*z. Solve -2*j = 5*y - 3*y + 4, y - 1 = z*j for j.
-1
Let u = -21 + 26. Suppose -2*v = 0, -w + 5 = -v + 4. Solve -5*d - w = 6*o - 2*o, 0 = u*o + 2*d + 14 for o.
-4
Let i(n) be the third derivative of n**4/24 + 7*n**3/6 - 6*n**2. Let j be i(2). Solve 0 = 5*p - a - j, -p + 3*a - 1 = -14 for p.
1
Let i be (-4)/(4/(-3))*10/6. Solve -2*n + 3*s = -7*n + 2, 5 = -i*s for n.
1
Let t be (-1*3)/((-7)/21). Suppose 11 + 16 = t*y. Solve 2*m - 22 = 2*h + 3*h, 3*h - y*m = -15 for h.
-4
Let c(x) = -x**3 - 51*x**2 + 5*x + 255. Let n be c(-51). Solve 30 = -3*t + 3*d - n*d, 4*t + 35 = 3*d for t.
-5
Let z = 140 - 114. Solve -2*q + z = -3*g + 5, 5*g + 40 = 5*q for q.
3
Let x be 0 - (-2)/3 - (-90)/27. Suppose 0 = 5*r + i - 130, 2*i = 3*r - 4*r + 17. Let f be (2 - -1)*252/r. Solve -4*c - 13 = 5*a + f, -x*a - 3*c = 32 for a.
-5
Let q be (-160)/30*(-6)/4. Let h be (10 + -5)*q/20. Let n be (1/3)/((-1)/(-6)). Solve 0 = -h*p - 2*a - n, 2*p + a = -0*a - 4 for p.
-3
Let f(x) = x**3 - 5*x**2 + 7*x - 10. Let c be f(4). Solve g + 3*n + 1 = 3, -2*n - 4 = -c*g for g.
2
Let q = 17 - 15. Suppose 0 = z + 3, q*g + 27 = g - 4*z. Let f = -13 - g. Solve -11 = f*y - 1, 0 = 2*b - 3*y - 25 for b.
5
Let s be -2*6/24*0. Solve f - 3*f - b - 9 = s, 0 = 2*f - 2*b + 12 for f.
-5
Let h be (20/8)/(2/4). Suppose -2*f + 6 = 2*v, 8 = -2*v + h*v + 2*f. Solve 4*a + p = -19, -v*p + 8 - 2 = -3*a for a.
-4
Let s = -14 - -9. Let v be 3 - s/((-15)/66). Let t = v + 33. Solve q + 5*k = 2*q - 10, 3*q + k - t = 0 for q.
5
Let m(h) be the second derivative of h**5/20 - h**4/2 + 5*h**3/6 + h**2 + 9*h. Let v be m(5). Solve -5 = 3*t - 2*d, 0*d = v*t - 5*d - 15 for t.
-5
Let k(x) = -9*x + 27. Let h(j) = 5*j - 14. Let v(b) = -11*h(b) - 6*k(b). Let m be v(-10). Solve -3*p - m*c + 4 = 3*c, -3*p + 2 = 4*c for p.
-2
Suppose 2*m = -5 + 3, -3*m = -4*q - 129. Let y = q - -35. Solve l + 2*j + 13 - 4 = 0, -y*l + 14 = -4*j for l.
-1
Let z = 279 - 275. Solve -10 = -z*i + 3*m, 3*i = 6*i - 2*m - 7 for i.
1
Suppose -5*j = 4*j - 288. Let s be ((-32)/(-10))/(j/80). Solve 2*f - s = -5*z + f, 4*z - f = 1 for z.
1
Let o be 3/((-2)/((-152)/(-140)) + 2). Solve 2*k + 3*x = -0*k - 10, -k - o = 5*x for k.
1
Let g = 22 + -20. Solve 9*x - 4*x + 28 = 4*l, 3*x + 8 = -g*l for x.
-4
Suppose -3*k = 5*s - 11, -4 = -2*s - 2*s. Suppose -k*w + 1 = -7. Let u be w/(-10) - (-22)/5. Solve -4*i + 5*q = -35 + 7, u*q = -5*i - 6 for i.
2
Let a(b) = -2*b - 34. Let q be a(-18). Suppose 5*p = q*p + 4*u + 26, -3*p - 2*u = 4. Solve -2 = -p*z + 6, 2*h - 5*z = -10 for h.
5
Let s = -760 + 760. Solve j + 5*h + 25 = s, 4*j + 0*j - 2*h - 10 = 0 for j.
0
Suppose 32 = -50*p + 282. Solve 0 = -3*n + p*a + 3, -4*a + 2*a = 3*n - 3 for n.
1
Let a be (-214)/(-8) - 3/(-12). Let p = a + 9. Let q = -25 + p. Solve 0 = 6*y - 2*y - 3*d - q, -5*y + 13 = -3*d for y.
2
Suppose 0*j = -3*j + 12. Suppose -7*w - 48 = -23*w. Suppose 5*t + 28 = w*x, 4*x + j*t - t - 18 = 0. Solve 2*p + 0*p + h + x = 0, 4*h + 8 = 0 for p.
-2
Let i(n) = -n**2 + 5*n + 10. Let r(x) = 3*x - 13. Let o be r(6). Let v be i(o). Let b be v*(-2)/16*-4. Solve 3 = 4*d - d - b*z, 0 = -3*z - 9 for d.
-4
Let x = 34 + -9. Let u = -181 + 183. Solve 5*v + x = i, -u - 3 = v + 3*i for v.
-5
Suppose 52*f + 120 = 60*f. Solve l - 10 = w, 0*w + f = -2*w + l for w.
-5
Let g = 106 + -108. Let z be -3*2*g*1/4. Solve -4*d - 16 = 4*t, z*d + 22 = -4*t + 6 for t.
-4
Let b(k) = k**2 - 7*k - 8. Let j be b(4). Let h = 27 + j. Let f be h/(-14) - 9/(-2). Solve 0 = -5*w + 3*x + f, -25 + 5 = -5*w - 5*x for w.
2
Suppose -11 = -3*r - 3*b + 4, 5*r - 25 = -b. Solve -r*o + 2*z - 7 = 0, -3*z - 2*z = -4*o + 8 for o.
-3
Let t = 390 - 386. Solve 0 = -4*j - 4*x - t, -5*j + 4*x - 40 + 8 = 0 for j.
-4
Suppose d = 5*d - 12. Let x = d - 0. Solve 3*n = -0*f + f - x, -5*f + 2 = -2*n for f.
0
Let j(g) = g - 15. Let w be j(18). Suppose w*m = 2*r + 100, -2*m - 3*m - 3*r + 135 = 0. Suppose z - m = -5*z. Solve z*f = -n - 28, 0*n - 5 = 4*f - 5*n for f.
-5
Suppose -7*c + 3*c = -5*w + 9, -2*c + 18 = 2*w. Let s be (8 - (2 - -3))*w/3. Solve 0 = -s*o + 3*m + 29, 0*m = -5*m - 15 for o.
4
Let v = 43 - 31. Suppose 0 = 3*h + 10 - 22. Solve 3 = 5*u - 2*x, -3*u = u - h*x - v for u.
-1
Let i = 22 - 9. Suppose p - 6 = -2*j, -i + 5 = 4*p. Suppose -3*k - 16 = -4*o, j*o - k = -6*k + 16. Solve 0 = 2*b + o*u + 16, 0*b + 5*b - 5*u - 20 = 0 for b.
0
Let u = 0 - -2. Let r(b) = 9*b + 53. Let f(q) = -5*q - 26. Let y(w) = 11*f(w) + 6*r(w). Let h be y(20). Solve -3*p + h = -i, -i = 3*p - u - 4 for i.
-3
Let v(q) = -2*q + 26. Let f be v(12). Suppose 0 = -3*n + 7*n - f*r - 20, -n + 2*r = -8. Solve -n*b + 13 = 3*u, 2*u + b - 10 = -u for u.
3
Let f(z) = -5*z**2 - 47*z**3 + 6 + 48*z**3 - 2*z**2. Let d be f(8). Suppose 6*n - d = n. Solve 4*b + 3*a - a = -n, 14 = -5*b + a for b.
-3
Suppose -2*l + 7 + 101 = 0. Suppose -10*o = -4*o - l. Solve 2*z - j = -5, -4*z + j = -0*j + o for z.
-2
Let g(c) = -c - 21. Let u(b) = 11. Let z(k) = 2*g(k) + 5*u(k). Let x be z(5). Solve -2*o + x*v - 3 = 2*o, 0 = -o + 2*v + 3 for o.
-3
Let m be 0 - (-9)/(-54) - 183/(-18). Solve n + 5*x = 10, -m*n + 7*n - 3*x = -18 for n.
5
Let u(o) = o**3 - 36*o**2 - 37*o + 8. Let z be u(37). Solve -3*j = -4*r - z, 5*r - 3*r + 4*j - 18 = 0 for r.
1
S