-23, 4*s - h*s + 5 = -k for s.
-4
Let r(h) = -h**3 - 27*h**2 + 160*h + 5. Let w be r(5). Solve 3*p = -2*x - 11, -25 = w*x - p + 6*p for x.
-4
Let g = 31 + -22. Suppose 3*b - b + 3*z = g, -5*b - 15 = -5*z. Solve 5*r + 3*k - 4 = b, -4*r - 3*k - 2 = -7 for r.
-1
Let j(a) = -a**2 + 18*a - 27. Let o be j(16). Solve -3 + 2 = -2*l + m, o*l + m - 6 = 0 for l.
1
Let q be ((-160)/48)/((-1)/(-3)). Let h be 1*(-3 + -2) + 2 - q. Solve 3*s = 3*b - 9, -2 = -4*s - 3*b + h for s.
0
Let n(p) = p**2 + 4*p - 2. Let z be n(-5). Let o(r) = 7*r + 3*r**2 + z - 1 - 4*r**2. Let s be o(7). Solve -h = -s*g + 1, 4*h = 7*h - g - 12 for h.
5
Suppose 17 + 7 = -4*x. Let d be x/(-2)*(-6 - 5). Let z be ((-22)/d)/((-2)/(-6)). Solve z*b - 8 = 2*g, -20 = -0*g + g - 5*b for g.
0
Suppose -90 = -v + 5*b - 21, -v + 49 = -b. Suppose -5*o - 10 + 80 = -5*w, 4*w + v = 3*o. Solve 2*m - o = 3*i, i - 4*m = -0*i - 4 for i.
-4
Let m be (-20)/8*(-18)/15. Let c = -139 + 171. Solve -11 = m*p + 3*d - c, p + 2 = 2*d for p.
4
Suppose -3*f + 0*f + 27 = 0. Let q(k) = k**3 - 5*k**2 + 3*k - 50. Let b be q(6). Solve -s - 3*z - f = b, s - z = 7 for s.
2
Suppose 3*n + 3*h = -2*h + 9, 0 = 3*n + 2*h. Let c(q) = q**3 + q**2 - 3*q - 2. Let w be c(n). Solve u + 4*i = 1, w*i + 4 = 4*u + i for u.
1
Let y be 5*(32/5)/8. Solve 3*v + 0*v = -y*w - 10, -5*v - 10 = 0 for w.
-1
Let j(n) = -15*n + 162. Let s be j(10). Solve -5*q + 3 = 2*y - s, 0 = q + 2*y - 11 for q.
1
Let h = -2 - -14. Let m(c) = 5*c - 31. Let f be m(h). Solve -f = -5*s - t, 0 = 3*s - 5*t + 5 for s.
5
Let r(p) = -4*p**3 - p**2 + 2*p + 1. Let y be r(-1). Solve -4*g = y*n + 3*n + 2, -3*g - 7 = n for g.
-3
Let v(x) = -70*x + 213. Let d be v(3). Solve 6 = -3*l - d*z, -3*l + 4*z - 12 = 8 for l.
-4
Let j(m) = m**3 - 2*m**2 - m + 5. Let z = -64 + 66. Let r be j(z). Solve s = r*a + 16, 5*s - a = -3*a - 5 for s.
1
Let s(i) be the third derivative of -i**4/12 + 7*i**3/6 - 3*i**2. Let j be s(-6). Suppose -4*q + j - 3 = 0. Solve -q*h - 2*z = 9 + 3, z = -4*h - 16 for h.
-5
Suppose -2*s + 46 = -s. Let a = s + -39. Solve z + a = -5*b - 7, 0 = 5*z + b - 2 for z.
1
Let g(h) = h - 5. Suppose 4*c = -3*l + 25, 2*c - 32 = 3*l + 3. Let s be g(c). Suppose 20 = -b + s*b. Solve 3*t - 3*w = -4 - 8, 0 = -t + b*w - 4 for t.
-4
Suppose -2*x = 4*b - 12, -3*b - 11*x + 6*x - 5 = 0. Solve -2*l - f + 1 = -0, 2*l + 5*f - b = 0 for l.
0
Let o = 14 - 8. Suppose 0 = 3*h - o*h - v + 76, -3*h + 73 = -2*v. Let q = -21 + h. Solve q*j = 5*r - 36, j = 3*r - 0*r - 16 for r.
4
Suppose -9*b + 253 = 109. Solve -4*a = 4*m + m - 2, -5*a + 3*m - b = 0 for a.
-2
Let t be ((-3)/(-3))/(3/60*4). Let i be 1 + 1 + 12/(-4) + t. Solve 2*z - 4*c - 20 = 0, -i*c - c = -4*z + 31 for z.
4
Suppose -69 = 10*y - 7*y. Let h = y - -27. Solve 0*i + h = w - i, 4*w - 10 = i for w.
2
Suppose -16 = 43*s - 102. Solve -6 = -5*a - 3*q, 5*a - 27 = s*q - 6 for a.
3
Suppose -6*d + 2*d + 4*q - 8 = 0, -3*d = 3*q - 24. Suppose -6*n = 3*n + 558. Let x = n + 62. Solve -d*y + m - 3 = x, 3 = -0*y + 5*y + m for y.
0
Suppose -1 = -16*h + 63. Solve -a = 2*u, -2*u - 3*u + 3 = h*a for u.
-1
Let l be 2/5 - 221/(-85). Let y be l*((-16)/12 + 2). Let s = 11 - 8. Solve -y*t + 2*i - 7 = -3*i, -2 = -t - s*i for t.
-1
Suppose 12 = 5*k - 3. Suppose k*n = 5*w - 3*w + 7, 2*n = -2*w + 18. Solve -n*l = 3*b + 16, 2*l = 5*l + 5*b for l.
-5
Let h = -5 + 8. Suppose 0 = -h*r + 22 + 20. Solve -3*u + o + r = -o, -2*u = 4*o + 12 for u.
2
Suppose 5*g - 19 = -4*s, -3*s = 3*g + 2*g - 8. Let r(l) = 3*l - 1. Let h be r(1). Solve -h*c = -5*b + 17, b = -4*b - 4*c + s for b.
3
Let m = 2 + 2. Let q be 782/207 - m/(-18). Let j(r) = r**2 + 6*r + 3. Let x be j(-6). Solve k + 10 = -5*u + q*k, 5*u + 10 = -x*k for u.
-2
Let b = -400 - -403. Solve 3*m + 9 = 0, -3 = b*w + 2*m - 4*m for w.
-3
Let q(f) = -f + 10. Suppose 0*v = 5*v - 50. Let y = 20 - v. Let z be q(y). Solve 5*k - 3*n - 34 = z, k = -k + n + 13 for k.
5
Let q(m) = 16*m + 1. Let s be q(4). Let r = s + -62. Solve -2*c = -3*y - 0 + 23, -3*c + r = 3*y for y.
5
Suppose 2*r = 6*r. Suppose k + 2*k = r. Let w be (21/28)/((-14)/8 + 2). Solve 0*u - 5*m = -w*u + 11, -u + 2*m + 5 = k for u.
-3
Let h be -6 + 8 + 1/1. Suppose c = -2*c - 3, -5*b + 2*c - 73 = 0. Let a = 18 + b. Solve -3*s = -3*f - 3, 0*s = h*s + a*f - 9 for s.
2
Suppose 2*z = 5*g + 15, 4 = -4*z - 5*g - 11. Solve 0 = -3*c + 15, z = -l + 3*l - 5*c + 23 for l.
1
Let z be 5/2*((-90)/(-25))/3. Solve -5*l + 10 = 0, l - 4*l = z*f + 6 for f.
-4
Suppose 5*q + 2*b = 11, 3*q - 2*b = -5*b + 12. Solve 35 = -3*p + 5*d, p + q = -d - 0 for p.
-5
Suppose 3*u - n + 2 = 3*n, u - 6 = -2*n. Let d be (-4)/6 - 10/3. Let m(g) = -g**2 - 6*g - 5. Let y be m(d). Solve -u*h + 4 = -4*l, -2 = -3*h + y*l + 1 for h.
0
Let x(q) = 4*q**2 + 20*q - 37. Let b be x(-7). Solve 11 = -n + 2*p + b, -4*n - 4*p = -8 for n.
4
Let v(f) = -9*f**2 + 13*f - 1. Let g be v(1). Solve -5*q + 22 = 3*p, g*q - p - 2 = -0 for q.
2
Let f be (5 + -6)/((-2)/10)*2. Solve 3*a + f = 4*n, -9*n + 4*n = -2*a - 9 for a.
-2
Let j(n) = -n - 8. Let c be j(-25). Solve -5 = k - v, -5*v = -5*k - 8*v - c for k.
-4
Let c be (-121)/(-33) - (-4)/3. Solve -4 = -4*s + 2*h, -5 = -3*s - c*h - 2 for s.
1
Let b be (5 - -1)/2 - (-24)/12. Suppose -4*m = -3*y - 0*y - 35, 35 = 5*m + b*y. Solve 0*i = -i - 4*h - 3, 0 = -4*h - m for i.
5
Let c be (1 - -5)*(-4)/(-6). Suppose 2*i - c*i + 10 = 0. Suppose 5*j = -3*k + 75, -i*j + 4*k + 60 = -j. Solve -6 = -4*d - 2*u, 0 = -2*d - 0*u + 3*u + j for d.
3
Let d(p) = 5*p**2 - 10*p + 16. Let l be d(2). Solve 4*h = -2*v + 18, -4*v + l = h + 2*h for v.
1
Let w(v) = 3*v**2 + 1 + 2*v + 2*v**2 + 1. Let f be w(-1). Solve d = z + 4 - 1, f*z = -2*d - 8 for z.
-2
Suppose a - 4*q - 20 = 0, 5*a + 2*q = 1 + 11. Solve 0*z + 8 = -4*z - a*d, 2*z - 4*d = -22 for z.
-5
Let q(w) = -w**2 - 2*w. Let v be q(3). Let c(y) be the third derivative of -y**4/24 - 11*y**3/6 - y**2. Let l be c(v). Solve -x - 2*d = d - 19, l*d = 5*x for x.
4
Let b be (1 + -5)*-1*(-261)/(-36). Solve -3*o = -3*p + 3, 4*p + 4*o = 7 + b for p.
5
Suppose -4*o - 8 = 3*p - 5*p, 4*p - 16 = -3*o. Solve 4*y - 3*q + 17 = 0, -2*y + p*q - 8 = -2 for y.
-5
Let z be (-4)/(-34) - 3232/(-272). Solve -5*k - 40 = -4*v - 4, 2*v + z = -5*k for v.
4
Let y(u) = -3*u + 0*u**2 + 2*u + 8*u**2 + u**3 - 2*u**2. Let t be y(-6). Suppose 0 = -v - 2*v. Solve -4*m - 16 = -2*c, 4*c = -v*m - 5*m + t for c.
4
Suppose 5*a = 2*a - 189. Let c = a - -70. Solve 3*o = 4*d + 35, -o = -c*d + 4*d - 20 for d.
-5
Let h(g) be the first derivative of -g**3/3 - 3*g**2/2 + 4*g + 7. Let n be h(-3). Suppose n*f - 4 = 0, -3*f + 3 + 2 = r. Solve r*i - p - 1 = -9, p = 0 for i.
-4
Let l be 6/(-9)*-3 - (8 - 8). Solve 4 = 4*r - v - 2, 0 = 2*r - l*v - 6 for r.
1
Let h be (4/(-10))/(3/(-30)). Suppose 6 = h*n - n. Solve 0 = r + j, n*r - 4*j = 4*r for r.
0
Suppose -9*t = -10*t. Let f(y) = y**2 + 19. Let s be f(t). Solve 3*g - 2*m = -0*m - 13, 3*g + s = 5*m for g.
-3
Let k be (-21)/(-15) - 57/(-95). Solve 0 = 3*f - 5*p - 32, 5*f + 6*p - k*p = 4 for f.
4
Suppose -5*b = 44 - 54. Solve -3*d - b*d = -n + 17, -2*d = 6 for n.
2
Let o(r) = r**2 - 2 + 7*r - 4*r**2 + 2*r**2 - 1. Suppose d = -2*y + 13, d - 4 = 4*y - 27. Let i be o(y). Solve 0 = 4*a + i*u, 5*a = 8*u - 3*u for a.
0
Suppose 5*b - 14 = -4. Solve -4*d + 2*h = 8, 4*d + 0*h + h + b = 0 for d.
-1
Let r(x) = 16*x + 21. Let b be r(7). Let d = b + -121. Solve -2*f = -5*f + a + d, 2*a = 2*f - 8 for f.
4
Let m = -34 - -40. Suppose 0 = -m*q + 19 + 11. Solve -p + 4*p + 32 = -q*n, n = 3*p + 8 for p.
-4
Let p(y) = y**3 + 13*y**2 - 15*y - 11. Let x be p(-14). Suppose 9 = x*f - 0. Solve 1 = c - 4*j - f, -c + 2 = -3*j for c.
-4
Suppose 0 = 2*s + 3*a + 2, -s + a - 11 = -4*s. Solve -3*i = -5*m + 28, -3*m - s*i = -2*i - 12 for m.
5
Let b be 33/(-5) + 6/(-15). Let l = -16 - b. Let c be (-3)/(-9)*-3 - l. Solve -2*g - 3*s - 10 = 0, 7*s = 3*s - c for g.
-2
Let z = -64 - -93. Let k = 791 + -787. Solve 6*w = k*y + 3*w - 24, -3*y + 5*w = -z for y.
3
Suppose s - 4*q = -12, -2*q + 6 = -0*s - 2*s. Let j be -3 + s - (-8 + 3). Suppose 0*k + j*k = 10. Solve -2*p = y + 5, 2*p - 4 - 11 = -k*y for p.
-5
Suppose -4*b - w - 1 = -8, 0 = -5*b + 5*w + 40. Suppose -2*v + 1 = 3*c, -b*c + 21 = -2*v - v. Solve -6*m - 18 = -c*m + 3*x, 0 = 4*m + 2*x + 22 for m.
-5
Suppose -3*r + 5*r = 20. Solve a - 5*u + r = 0, -2