.
-2
Let l(m) be the first derivative of m**2 - 4*m - 6. Let b be l(5). Solve 2*x - 2*p = b, 8 = -x - 3*p - 9 for x.
-2
Let s(w) = w**2 + 8*w + 3. Let r be s(-8). Solve 0*k + 5*k = -r*y - 23, -2*k - 2*y - 10 = 0 for k.
-4
Let q be (-5)/(-2 + 0 - -3). Let j = q - -7. Solve 4*i = -5*t - 16, 2*t + 9 = j*i - 1 for t.
-4
Suppose 0 = 5*o + 15, -5*s + 23 = -o. Solve -6 = 3*t - 3*q, 3*t + 2 = -5*q + s for t.
-1
Suppose 2*k - 6 = -3*j + 2, 3*j + 5*k - 11 = 0. Solve 2*d + 8 = -2*q, j*d - 2*q - 3*q - 27 = 0 for d.
1
Let l(r) = r**3 + 3*r**2 - 11*r - 3. Let y be (-20)/6*3/2. Let f be l(y). Let o = 2 - -1. Solve o*h - 5 = -f*v, -2*h = v - 0*h - 4 for v.
-2
Let z = 22 + -26. Let v be (-1)/(-3) + 66/(-9). Let y be 7/v - (z + 0). Solve -3*n = -y*p - n - 8, -4*p = -2*n + 8 for p.
0
Let p(q) = -q - 2. Let t be p(-5). Solve 3*n = -v - 18, t*n = -2*n - 25 for v.
-3
Suppose 0 = -2*o - 2, 0*o = 2*l - o + 11. Let a be (1/(-3))/(l/90). Solve 0 = 3*c + a*q - 35, 18 = c + 3*q + 1 for c.
5
Let v = 3 - 2. Let r = -6 + 9. Suppose 3*b - 17 = -x, -4*b = x + r*x - 36. Solve -k - f + v = 3, 2*f + 8 = -b*k for k.
-2
Suppose -21 + 49 = 7*m. Solve -j - m = r, 4*r - 8 = 2*j + 6 for r.
1
Let y be (-23)/(-6) + (-1)/(-6). Let v be 1/(-4) + 21/y. Solve -30 = 5*n + 5*h, -v*n - 22 = h - 0*h for n.
-4
Let o be (-2 + 3)*-2 - 5/(-1). Solve 3*p - o = 4*w - w, 23 = -p - 5*w for p.
-3
Let m(k) = -k**2 - 4*k - 1. Let o be m(-3). Solve o*l + 2*l + 4 = -2*f, -4*l + 3*f = -6 for l.
0
Let i = 3 + -4. Let a = 23 - i. Solve 0*t - 2*t = 4*n + a, -n + 3 = -4*t for n.
-5
Suppose 3*w + 9 - 9 = 0. Let p(r) = 2*r - 7. Let f be p(5). Solve 3*x + 15 = -i + f*i, 2*x - 5*i + 10 = w for x.
-5
Let v be 4 - -3 - 9/3. Solve -5*t + 5 = -4*c + 30, -v*t + 3*c - 20 = 0 for t.
-5
Let p(g) be the second derivative of -g**4/12 + 7*g**3/6 + 5*g**2/2 + 2*g. Let l be p(7). Suppose 17 = l*d + 2. Solve j + 0*k = -k + 8, -d*j = k - 16 for j.
4
Let m(r) = -r**3 - 3*r**2 - 3*r + 2. Let i(a) = a**2. Let d(q) = 2*i(q) - m(q). Let f = -4 - 0. Let w be d(f). Solve -o = -s + 3 + 3, 0 = 3*s + w*o - 3 for s.
3
Suppose 5*j = 2*j + 4*c, 3*j = 5*c. Solve j = -5*h - 2*w - 33, -h + w - 6 = h for h.
-5
Let b(p) = 5*p**2 + 3*p + 2. Let z be b(5). Suppose 5*o = z + 133. Suppose -2*a = -o + 13. Solve -m = 4*y + a, -y = 2*y + 12 for m.
-5
Let g = 27 + -25. Solve 0 = s - 7 + g, 26 = -2*b + 4*s for b.
-3
Let o be (6/15)/((-2)/(-10)). Suppose -o + 10 = 4*h. Solve -22 = -5*f + 3*c, -f - 5*c - 16 = h for f.
2
Let o = -13 + 13. Suppose -y - 2*z - 8 = 0, -6*y = -4*y + 5*z + 21. Solve y*j - q = o, 0*j = -3*j - q for j.
0
Let b be 5/((-3)/(-7 - -4)). Solve b*w - n = 15, -2*w + 29 = -w + 5*n for w.
4
Let h = -127 - -187. Suppose 5*x - x = 16. Suppose 5*r + 5*z - h = 0, -3*r = 4*z - 34 - x. Solve 0 = -2*c - 2*t, 2*c - 25 = 3*t - r for c.
3
Let v(d) = d**3 + 9*d**2 + 9*d - 3. Let z be v(-8). Let x = z + 7. Let u = -1 - x. Solve -5*c = -u*h - 3*c - 5, h + 2*c = 1 for h.
-1
Let q = 38 - 10. Solve t = 5*t + 4*c - q, -3*c - 9 = -3*t for t.
5
Let t be (-2)/6 + 26/6. Let h(r) = -r**2 + r + 2. Let v be h(0). Let x be (-6)/(-3) - (-1)/(-1). Solve -3*j + 3 = -t*q, q - v*j = -j - x for q.
0
Suppose 4*y = 23 + 33. Solve -2*h + y = -4*a + 3*h, 7 = 3*a + 5*h for a.
-1
Let q be ((-1)/2)/(5/(-60)). Let d be ((-5)/15)/((-1)/q). Let n = d - 0. Solve 4*a = -n*p + 26, a = 2*a + 2*p - 11 for a.
5
Let q be ((-5)/10)/(2/(-20)). Suppose -2*b + 4*w + 21 = 5*w, -q*b - 2*w = -50. Let r = -6 + b. Solve 0 = r*z + 3*c - 16, -3*c - 1 + 7 = 0 for z.
5
Let v(s) = s**3 + 3*s**2 - 6*s - 5. Let a be v(-4). Let y = -136 + 138. Solve -21 = -a*z + 2*x, -4*z + 2*x + 32 = -y*x for z.
5
Let v(c) = -2*c - 10. Let x be v(-7). Solve x*d = 3*y + 8, -y - 2*d - 2*d = 8 for y.
-4
Let o = -4 - -7. Let q(a) = -3*a**3 - 3. Let v be q(-2). Solve -5*s - 5*y = 5, -o*s + v = -5*y - 16 for s.
4
Let f(z) = z**2 + 29*z + 86. Let c be f(-26). Solve 4*p = 5*a - c, -10 = 2*a - 6*a + 5*p for a.
0
Suppose 5*j + 10 = 25. Solve -14 = j*n - 2*z, -4*n - n = -2*z + 18 for n.
-2
Suppose 0 = -5*i + 20 - 0. Solve 2*q - 16 = 2*w, 20 = -i*w + q + 3 for w.
-3
Suppose -3*v = -10 + 1. Suppose 5*b - 2*b - 69 = -v*y, -19 = -b - 3*y. Let d = b - 7. Solve -z + 2 = 4*w - d, 5*w + 2*z - 28 = 0 for w.
4
Let m = -1 + 1. Suppose -4*c + 27 - 2 = 3*p, m = -2*c - p + 11. Let l be (c/(-12))/(2/(-18)). Solve -3*h - 3*u = -3, l = -3*h + 3*u - 0 for h.
0
Suppose -5 = -0*y + y, 0 = 5*g + 5*y + 15. Suppose 2*v - 3*v + 5 = -g*p, 1 = -v - 4*p. Solve -5*j - 19 = -3*l, 23 = -v*j - 3*l - l for j.
-5
Let w = -4 - -4. Let j be -1 + (1 - -4) + 0. Let u be 12/j - (1 + w). Solve -g + h = 0, 2*h = -u*h for g.
0
Let d = -4 - -5. Let b(i) = i**3 - 2*i**2 + 1. Let x be b(d). Solve 2*q - 4 = -0*q, x = 5*n - 5*q - 5 for n.
3
Let q = -106 - -108. Solve 4*n - q*o - 12 = 0, -1 = n - 3*o - 14 for n.
1
Let q = -7 - -9. Suppose 2*s - 5 = 3. Solve -d = -2*b + 1, 0 = -3*d + s*b - q - 5 for d.
-5
Let n = -30 - -36. Solve 3*c + 6 = -g + n*c, -c = -4*g - 2 for g.
0
Let r(q) = -q + 20. Let c be r(16). Suppose -f - f = 0. Solve -c*s - w = f, -s - w + 1 = 4*s for s.
1
Suppose -f = 4*f - 40. Suppose 3*s - 17 = -f. Let w = 33 - 17. Solve 3*m - w = -2*c, -3*m = -2*c + s*c - 14 for m.
4
Let f(i) = -i**3 - i**2 + 2*i. Let m be f(-2). Suppose -j - q + 1 = m, -4*j = -q + 4*q - 5. Solve 3*g - g = 2*r + 4, -j*r - 5*g = -10 for r.
0
Let c(i) = -i + 12. Let o be c(9). Solve -a - 11 = 2*r - 2, -o*r - 9 = 0 for a.
-3
Let v = -73 + 73. Solve -5*w + i = -3*w, -4*w - 3*i - 10 = v for w.
-1
Let o be ((-12)/(-7))/(6/21). Suppose 2*s - o*v + 3*v = -8, 22 = 3*s + 4*v. Solve 0 = -s*g - 3*i - 19, 2*g = 4*g - 4*i - 2 for g.
-5
Suppose -3*o + 31 - 16 = 0. Solve o*i = -4*w + 10 + 18, -i = 2*w - 8 for i.
4
Let y(b) = -b - 8. Let u be y(-11). Solve 3*n + 3*h = 0, -16 = u*n - 7*h + 2*h for n.
-2
Let r(v) = 0 - 2 + 11 - v. Let p be r(6). Solve -5*k + p + 12 = z, 5*z = 5*k + 15 for k.
2
Suppose 0 = 7*h - h. Solve m - 5*p + 7 + 1 = 0, h = -3*m - 2*p + 10 for m.
2
Suppose 60 = 3*m + i, -15 = i + 4*i. Solve u = 2*k + 3 - 2, -2*k = 3*u + m for k.
-3
Suppose 3*f - 40 = -2*y, 3*f - 34 = f - 5*y. Suppose f = 4*u + 4. Solve -u*q - 3*n + 5 = 0, 3*q - 12 = 2*n + 2 for q.
4
Suppose z - 4*q - 11 = 0, -5*q + 6*q = 4*z - 14. Let k be 1 - (0 + -1) - 2. Suppose u - 3*u + 6 = k. Solve -x = -u*f - 5, 4*f = x - z*x for x.
2
Let o be 1*(-2 + 3)*-1. Let n be ((-12)/(-3) + o)*1. Suppose 0 = 2*q + 2 - 18. Solve n*k + q = 5*b, 0 = 3*k - 5*k + 2*b for k.
4
Suppose -5*s - 2 = 5*x - 37, -13 = x - 3*s. Let a(n) = 2*n**2 - 3*n + 2. Let g be a(x). Solve 5*f = f, 0 = -2*y - g*f + 2 for y.
1
Let b(c) = -c**3 - 14*c**2 - 13*c + 4. Let o be b(-13). Solve -2*j - 2*r = o, -2*j + j = -3*r - 10 for j.
1
Let y be -1*(-1 - -1) - 0. Let g = y - -3. Let p be (-2)/g - (-40)/6. Solve 3*x + 2*b - 1 - 3 = 0, 3*b - p = -3*x for x.
0
Suppose -r = -j - 2, -5*r - j + 17 + 11 = 0. Solve h + 1 = r*p, p + 3 = -0*p + h for p.
1
Suppose 0 = f - 5 - 1. Let c(k) = k - 2. Let p be c(4). Suppose 3*n - 5*j + 9 = 0, 5*j - 15 - 2 = -n. Solve p*b - f = 4*q - 2, -b = -n for q.
0
Suppose 0*u - 4*u - 12 = 0. Let l = -1 - u. Suppose 4*s + 0 = -a - l, 5*a + 10 = -2*s. Solve -3*w + 3*n - 4*n = s, 6 = 3*w - n for w.
1
Let l(d) = -d + 9. Let a be l(8). Solve -m + a = 3*h, 2*m = h + h + 10 for m.
4
Let c be (20/(-6) - -3)/((-5)/90). Solve -4*y + 9*y = -k + c, 3*y + 2 = 5*k for y.
1
Let h be 60/14 + 4/(-14). Suppose 30*f - 29*f - 6 = 0. Solve h*j = 4*i, -i + f = 2*j - j for j.
3
Suppose 2*f = 6*f - 12. Suppose 0 = 2*s + s - 12. Solve -4*u + 24 = s*h, -f*u + 2*u + h = -4 for u.
5
Let o be (2 - 2) + 3 + 2. Suppose -11 = -4*b - o*c, -3*b - c = -2*b - 3. Solve j + 5 = -3*d + 15, -3*d + 13 = b*j for j.
1
Let z be (-4 + -5)/(1 + -4). Solve z = 3*t + 5*p - 6, 0 = -4*p for t.
3
Suppose 0 = -2*t + 5*y + 36, -4*t - 3*y + 68 = -4. Suppose -4*j + t = 3*k + 2*k, 5*j = -15. Solve 0 = 2*i, -4*i = 2*v - i + k for v.
-3
Let w(p) = -2 + 0 - p + 0*p. Suppose -2*z + 12 = -v, -2*v - 3*z = -4*v - 21. Let t be w(v). Solve -t*f + 3*k + 5 + 0 = 0, 0 = -k + 5 for f.
5
Suppose 0 = 5*v, -10 = -5*y + v + 3*v. Solve l - 11 = y*i, 4*l - 23 - 6 = 5*i for l.
1
Let a = -7 - -5. Let p be 8/(-4)*25/a. Let z = -18 + 24. Solve -3*t - 7 = -4*y - z*t, 4*y - 3*t = p for y.
4
Let s = 0 + 5. Suppose 4*p - 7 = -s*z 