
Let w(h) = -h**3 - 8*h**2 + h + 11. Let t be w(-8). Suppose t*n - 167 = -56. Solve -4*r = 5*z + n, z + r = -z - 13 for z.
-5
Suppose 2*a - 60 = -a. Suppose 0 = c + 3*c - a. Suppose 2*t = -t. Solve 5*r - c*y = 20, t*y - 2*y = -2 for r.
5
Let o be 8/36 + 4/(-18). Suppose o*d = d. Solve -2 = 2*i - 5*k + 5, -k + 1 = d for i.
-1
Let c be ((-8)/28)/(2/(-14)). Solve 2*y - 4*t = 18 + 4, -3*t + 1 = c*y for y.
5
Suppose -b + 4 = 0, 0 = m - 5*b - 5 + 22. Suppose -w = -5 + m. Solve -5*t = 3*q - q, 0 = w*t + 3*q for t.
0
Suppose 11 = 5*n - 3*x, -2*n - 3*x = -n - 13. Solve -4*f + n*o - 12 = 0, 2*f - 4*o - 12 = 4*f for f.
-4
Suppose 3*a - 15*a + 24 = 0. Solve -a*t - 2*o + 6 = 0, 0*t - 5*o + 21 = 2*t for t.
-2
Let k be 2*-1*(-6)/4. Let c be (-2)/((-1)/16*2). Let z = c + -10. Solve f + 4*f - k*w = 14, 3*w - z = 0 for f.
4
Let t(u) = -u**3 + 8*u**2 + 2*u - 11. Let j be t(8). Solve -j*x + 3*a + 8 + 2 = 0, -2*a = 5*x + 15 for x.
-1
Let f(p) = -p**2 - 10*p - 4. Let u be f(-9). Let k = -46 + 94. Let d be k/21 + 2/(-7). Solve 2*h = u*h - d*j + 2, -h + 4*j = 14 for h.
2
Let m = 20 + -8. Let d = 218 + -216. Solve 5*j - 2*u - 5 = 3*u, -d*j = 5*u + m for j.
-1
Let b = 0 + 21. Let u be (-2)/7*b/(-3). Suppose -y + 18 = u*y. Solve 4*m + g = y*g - 14, -3*m + 5*g = 13 for m.
-1
Suppose -3*m + 2*m + 3 = 0. Suppose 32 = -m*u + 7*u. Solve f = 2*h - u, -4*f = -0*h - 3*h + 17 for h.
3
Let v(y) = -y**2 - 10*y - 15. Let b be v(-6). Suppose 100 = 5*l + 245. Let t be l/(-9) - 2/b. Solve 2*s + a - 2 = t, -4*a - 45 = -5*s for s.
5
Let v(a) = -a + 17. Let d be v(15). Solve d*l + 5*b = 18, b = -0*l - 3*l + 1 for l.
-1
Suppose -4*q - 5 = -5*g - 0, -4*q = -4*g. Suppose -q*c + 16 - 1 = 0. Solve -1 = -r - 0*r - a, -c*a = r - 5 for r.
-1
Let r(w) = -10*w + 4. Let f be r(-3). Let h = 1 - -2. Suppose 3*a - 5*z - 50 = 0, 5*z - 4*z = h*a - f. Solve 0 = -b + 5, -3*t - 3*b - a = -8*b for t.
5
Let c = 17 - 10. Solve -2*z - 20 + c = -5*q, -3*q + 7 = -z for z.
-4
Let x(z) be the first derivative of -z**2/2 - 1. Let u be x(-6). Suppose -15 = -5*h + 2*h - 3*v, -3*v - u = -4*h. Solve -n + 0*n + m = -3, -m = -h*n + 9 for n.
3
Let k = -56 - -31. Let z = k - -49. Suppose b - z = -0*l - 5*l, 0 = 5*l - b - 16. Solve -30 = l*m - 9*m + 4*g, 5*g = 4*m - 33 for m.
2
Let h be 2*21*5/30. Solve -j + y + 0*y - 2 = 0, -2*j = -3*y + h for j.
1
Let m(r) = -r**3 + 9*r**2 - 9*r + 11. Let t be m(8). Let o be (-4)/18 + 368/36. Solve 5*q - 2 = -t*u + 1, -2*q = 4*u + o for q.
3
Let l be (-5)/(1*2/((-4)/2)). Solve 0 = -f - p, 0 = 5*f - p - l - 19 for f.
4
Suppose 0 = 4*s - 13 - 11. Let r = 3 + 2. Suppose s*k = r*k. Solve -j + 1 = 0, -3*q - 2*q + 2*j + 18 = k for q.
4
Let n(g) = g**3 - g**2 - 2. Let v be n(0). Let m be ((-6)/(-10))/(v/10). Let x = 12 - m. Solve z - 5*h = x, -4*h - 26 = -0*z + 2*z for z.
-5
Let k be ((-54)/45)/((-4)/10). Suppose -4*d + 15 = -9*d, k*b = 5*d + 42. Solve 20 = -5*w + 5*x, -5*x - b = 2*w - 1 for w.
-4
Suppose -7*s = -35 + 14. Solve -3*a + 3*p + 5 = 2*p, -25 = -s*a - 4*p for a.
3
Suppose 0*n = n + 2, 0 = -c + 4*n + 10. Solve 4*g = 3*d - 10, 3*d - c = -2*g + d for g.
-1
Let s = -84 + 85. Solve p - 2 - 1 = -5*x, x + p = -s for x.
1
Let a = -7 + 9. Suppose 0 = -4*r - 3*i + 76, 3*r + a*i - 60 = -i. Let q be r/12 - 2/(-3). Solve q*b - 13 = -2*l + 1, -4*l + 4*b = -12 for l.
5
Let h(l) = l**3 + 6*l**2 + 5*l + 6. Suppose 2 = -2*r - 4. Let o = -8 - r. Let g be h(o). Solve -2*q = -4*j - g, 5*j + 16 = 4*q + 1 for q.
5
Let d(i) = -i**3 + i**2 - 16. Let r be d(0). Let b = 19 + r. Solve 3*p - 4*o + 14 = -0*o, 12 = -3*p + b*o for p.
-2
Let f(y) be the third derivative of y**5/60 - y**4/12 - 4*y**3/3 - 2*y**2. Let q be f(-6). Solve 0 = 2*o - 3*h - 22, -3*o + 5*h + q = o for o.
5
Let l(c) = 3*c - 10. Let h be l(5). Solve -2*g + 0*g = 4*n - 10, -h*n - 2*g + 13 = 0 for n.
3
Let f = 5 - 1. Suppose 1 = -q + f. Suppose 6*w - 10*w = -64. Solve n + 2 = -2*l - q, 5*l = n - w for n.
1
Suppose 23 = 2*w + 5. Solve -g = -2*o - 6*g + w, -2*o = 2*g for o.
-3
Let t = -5 - -7. Let l = 13 + -9. Solve 0 = 5*v - l*r, 5*v = 2*v + 2*r + t for v.
4
Let m(r) = -r**2 + 3*r + 12. Let g be m(5). Solve 11 = 2*l + 5*t, g*l - 3*t = 6*l - 1 for l.
-2
Suppose -2 - 2 = -s. Solve -2*c - s*n + 18 = 0, -4*n + 4 = -5*c + 21 for c.
5
Let k = -1 + 4. Suppose -3*b = 5*c - 14, -c + k*b - 7 = c. Solve 5*x - 4*x - c = 2*s, 2*x = 5*s + 2 for x.
1
Suppose 0 = -2*a - a - 6. Let g be (-13 - -8)/(2/a). Solve -n + 0 = -g*z + 2, -3*z + 8 = -4*n for z.
0
Let o = 30 - 18. Let y(a) = a**3 + 6*a**2 + 3. Let f be y(-6). Suppose -o = -r - f*i - 3, 5*i = 4*r - 2. Solve 0 = 3*w - 12, r*c = 2*c + w - 8 for c.
-4
Suppose 1 + 11 = 2*f. Let p = -2 + f. Suppose 7*m - p*m - 72 = 0. Solve h = -5*a + 22, a - 3*h = -2*a + m for a.
5
Let k(n) = -n**3 + 4*n**2 - 3*n + 1. Let d be k(2). Suppose p - 4*m - 10 = 0, -3*p + 16 = -3*m - 5. Solve -4*y - 2*b = 10, 2*b - 5 = d*y + p*b for y.
-3
Let r(o) = -o + 4. Suppose -3*k + 12 = k. Let d be (16/6)/2*k. Let v be r(d). Solve f = -2*y - 8, v = -5*f + 7*y - 2*y - 10 for f.
-4
Let b be (-24)/(-5) - 8/10. Solve 0*j = -4*l - 2*j - 30, -b*l - 4*j = 40 for l.
-5
Let o = 78 - 54. Let p be (-18)/(-8) - 6/o. Solve d - p*u = 0, -d + u = -2 + 1 for d.
2
Let s(n) = -2*n - 9. Let h be (2/4)/((-2)/28). Let i be s(h). Solve 4*a = i*v + 3, -4*a = -0*v + 2*v + 18 for v.
-3
Suppose -20 = -4*k - 0*k. Solve 5*a + 5 = -k*f, -5 = 4*a - 2*f - 1 for a.
-1
Suppose -4*a = -a - 9. Solve r + 24 = 5*k, -a*r - 28 = -0*r - 4*k for r.
-4
Let a be (-2 - -2)/(-1) + 5. Suppose 21 = a*j - 4, -5*j = 2*y - 29. Solve -y*r + 1 = -l, -5*r + r + 9 = 5*l for l.
1
Let l be (-10)/6*18/(-10). Solve -5*a = 2*g - 2, 5*g + l*a + 2 = 7 for g.
1
Suppose -s = -4, 0 = 5*k - 2*s - 2*s - 4. Solve 2*j - k*a = 7*j - 11, -a = 3*j - 1 for j.
-1
Let w be (-9)/12 - 83/(-4). Solve -w = 5*z, n + 6 = -2*z - 7 for n.
-5
Let g be (-2)/(-8) - (-11)/4. Suppose -g*i + 6*i = 6. Solve 0*x + 3*a - 13 = 2*x, 0 = i*a - 6 for x.
-2
Let t(i) = -4*i + 9. Let o be t(-4). Solve -5*b + 33 = -4*n + 8, -5*b + o = -5*n for n.
0
Suppose -4*v + 13 - 1 = 0. Let b be (-3)/3*0 + 2. Solve v*p - 5*r = 13, b*r = -3 - 1 for p.
1
Let b be (-1)/(-1) + 3*1. Let h = -39 + 22. Let f = h + 17. Solve -b*y + 10 = -5*z, f*y - y = 2*z + 4 for z.
-2
Suppose -5*a + 6 = -19. Solve a = -q, 0 = 2*b - 2*q - 2 for b.
-4
Let c = 23 - 12. Let x be c/1 + (-1 - -1). Solve l - 4*z + 3 = 2, 3*l + 2*z = x for l.
3
Suppose 0 = -5*v + 4 + 16. Solve -3*c - 5*z = -3*z - 1, -2*z = v*c + 2 for c.
-3
Let g be 3 - 0 - (-26 - 7). Solve -4*o + g = -4*k, 2*k = -3*o + 3 - 1 for o.
4
Let m be -1*2*(-27)/(-18). Let z be (2 + -1)*m + 7. Suppose 1 = -o + 19. Solve -z*t = 20, -2*t = y + 3*y + o for y.
-2
Let x(r) = r**2 + 6*r - 3. Let j be x(-7). Solve -3*o - 17 = 5*b, 2*b - 3*b = j*o for b.
-4
Suppose 3*t + 4*b = 26, 5*b + 15 - 40 = 0. Solve -t*y - 3*l = -3 - 2, -3*y = l - 11 for y.
4
Let p = 59 - 54. Solve 2*g + p*w - 3 = 17, -5*g + 5*w + 15 = 0 for g.
5
Suppose -13 = -2*v + g - 0, -5 = -4*v - 5*g. Let f = v + -2. Solve 2*o + 2*y - f*y = 0, 0 = -o - 4*y - 9 for o.
-1
Suppose 0 = q - 0 - 1. Solve 4*c + 2*a - 14 = 0, 2*c - 2*a - 9 - q = 0 for c.
4
Let i be ((-6)/4)/((-2)/12). Let p = i - 4. Solve -p*a = -5*s - 4 - 6, 5*a - 34 = -3*s for s.
3
Suppose -2*r = -3 - 1. Suppose r*z - 66 = -z. Solve 3*x - 4*q - 16 = -x, 5*q + z = 3*x for x.
-1
Suppose s + 30 = 4*s - 3*t, -s + 9 = -2*t. Solve -4*x + x = 4*g - s, -3*g = 5*x for x.
-3
Suppose 0 = -9*n - 7 + 7. Solve n = u + u + 2*m + 4, 16 = -3*u + 2*m for u.
-4
Suppose -v - 2*c - 13 = -2*v, v = -c - 2. Solve 0 = v*y + y + 2*o + 22, 3*o + 21 = -2*y for y.
-3
Suppose 0*p + p - 4 = 0. Solve 5*x + 3*w + 35 = 0, p*w + 9 = -11 for x.
-4
Suppose 0 = q + 6*q. Suppose 0*a - a + 5 = q. Solve -4*l + 2*j + 10 = -8, -20 = -5*l + a*j for l.
5
Let l = -12 + 21. Let d be 10*(l/(-3) - -4). Solve 2*k = -w - d, -6 = -3*w - k + 4*k for w.
-2
Suppose 0*b = -4*b. Solve 0 = 5*o + 10, b*z = 4*z - o - 6 for z.
1
Let h be 4/(-16)*2*0. Let z(q) = -q**2 - 4*q - 1. Let m be z(-3). Solve -2*k + m*c - 6*c - 10 = h, -3*k = -2*c - 1 for k.
-1
Let h = -33 - -36. Solve 5*c + 9 = 2*m, -h*m - 4 = c + 8 for c.
-3
Let v be -2 + (8 - (4 - 1)). Let i be v*-6*(-2)/9. Solve 4*t + 5*b = -5 + 11, -3*t - 4*b = -i for t.
4
Let q(v) be the second derivative of -v**4 + 15/2*