+ 5*i - k, 3*i = 9 for r.
-5
Let x(b) be the first derivative of 4*b**2 + 2*b - 4. Let y be x(1). Let t = 10 - y. Solve -13 = 2*v - n, 3*n - 4 = -v - t*n for v.
-5
Let y(x) = 4*x - 31. Let q be y(9). Solve -3*a + 13 = o - 0, -3*a - q*o + 5 = 0 for a.
5
Let x be (-2)/8 - 1/(-4). Let c(g) = -g - 18. Let z be c(-28). Suppose 22*d - z*d - 24 = 0. Solve x = -4*p - 2*k, d*k - 16 = -2*k for p.
-2
Let p(k) = -2*k + 13. Let v be p(6). Suppose x = 11 + v. Solve 0 = 4*w - x, 6*g + 12 = 3*g + w for g.
-3
Suppose -7*j - 45 = -199. Solve 0 = -r - 4*r + k + 14, r - 5*k = j for r.
2
Let r = -31 + 141. Let o = r - 104. Solve -o*m + 4*m = -2, 0 = -3*b + 3*m + 3 for b.
2
Let k be (-33)/(-5) + 3/(-5). Let j be ((-2)/4)/(k/(-24)). Suppose -j*m - 1 - 1 = 0, -5*q + 4*m = -124. Solve -2*p = y, -p - q = -3*p + 5*y for p.
2
Let l(h) = 2*h**3 - 2*h**2 + 2*h - 2. Let g be l(2). Let r be 2*(2 - 15/g). Solve -1 = 3*p + p + 5*o, 0 = -3*p - 2*o + r for p.
1
Suppose -b - 8 = -2*g - 6*b, 2*g - 8 = 2*b. Solve 0 = g*u - r + 3, -5*u - 4 = 5*r - 6*r for u.
-1
Let o = 875 - 873. Solve -o*u - p = -10, 4*p = u + 10 - 15 for u.
5
Let z be (-6)/(-6) - (-1 - 1). Suppose 0 = -o + 5 - 1. Solve -f + o*f = -x - 5, -z*x + 6 = 2*f for f.
-3
Let t = -2 - -4. Suppose -5*p + 6 = -p - 2*y, 3*y = -3*p. Let k be p*(3 - 6/(-3)). Solve k*m = -4*u + 2*m - 1, 0 = 3*u + 5*m - t for u.
-1
Let q(h) be the third derivative of h**5/15 - h**3/6 + 20*h**2. Let c be q(1). Let k be ((-3)/2 + 1)*-10. Solve -s + c + 7 = 3*p, 14 = k*p + 3*s for p.
4
Let p be 7/(-126) - 8/(-144). Let r(o) = 7*o**2 - 1. Let f be r(-1). Suppose -2*g + f = -0. Solve -2*c - 6 = p, -5*h + 2*c = g*c + 28 for h.
-5
Let x(b) = -11*b + 104. Let g be x(9). Let k(d) = d**2 + 7*d. Suppose -14 = -v + 3*v. Let q be k(v). Solve g*r - 5 - 15 = q, -5*p - 3*r + 27 = 0 for p.
3
Let q(h) = 24*h + 3 + 25*h - 52*h + 27. Let m be q(9). Solve -g - m*g - 5*l - 41 = 0, 2 = -3*g + 2*l for g.
-4
Suppose 40*a = 14 + 106. Solve 2*j - 5*w = a, 2*j + 0*w + 5 = -3*w for j.
-1
Suppose z - 6*z + 20 = -2*n, 0 = 5*z - n - 15. Suppose 16 = 5*u - 4*d, 2*u + 3*d = -z*u + 19. Suppose -u*p = -15 - 5. Solve -5 - p = 5*f, 3*c = 5*f - 5 for c.
-5
Suppose -q = 2*y - 0 - 3, 2*y + 4*q + 6 = 0. Let m = 32 + -21. Suppose -b + m = -2. Solve -2*t - 4*w = -5*t + b, -w - 7 = y*t for t.
-1
Let v = -1 - -60. Let b = v - 55. Solve 4*g = 4*z - 8, -b*g - 5*z = -z - 8 for g.
0
Suppose 4*z - 2 - 2 = 0. Solve 0*d + 5*d + 2*s + 4 = 0, -4*d + z = 3*s for d.
-2
Suppose 4*z = z - 33. Let w = z - -13. Let l = -9 + 11. Solve -2*u = -n - l, w*n = 4*n for u.
1
Let w = 158 + -107. Let o be (w/(-2))/(18/(-12)). Solve -2*v + v + z = 9, 5*v + 2*z + o = 0 for v.
-5
Suppose 5*d - 16*d = 451. Let x = 45 + d. Solve -2*i = 2*w - 10, 0 = 4*i + 3*w - x*w - 15 for i.
4
Let f(a) = -a**2 - 41*a - 146. Let s be f(-4). Solve -2*z + s = 3*m, -3*m + z = 2*z - 4 for m.
2
Let o be 12 - -2 - (5 - -1). Solve -3*b + z = 9, -b + o = 2*z + 4 for b.
-2
Let w = 21 - 17. Let p be -4*-1*16/w. Suppose 4 = -3*x + p. Solve -x*q = -5*z + 15, 2*z - 31 + 8 = 5*q for z.
-1
Suppose -5*r = -3*g + 9, -2*g - 4*r = 3*g - 15. Let s(t) = -t**2 + 11*t - 5. Let l be s(10). Solve 20 = n + 3*n + j, n - l = -g*j for n.
5
Let t(b) = b**3 - 6*b**2 - 14*b - 1. Let n be t(8). Solve 6*m = 2*i + 3*m - n, 2*i = 2*m + 10 for i.
0
Let b(v) = 4*v + 38. Let j(r) = 17*r + 151. Let x(p) = 9*b(p) - 2*j(p). Let w be x(-19). Solve -5 = i + 5*h, 5*i - w*h - 2*h - 33 = 0 for i.
5
Let z(v) = -v**3 + 5*v**2 + 35*v - 171. Let c be z(6). Solve -2*l - 8 = -3*u, -c*l + 4*u = 13 - 2 for l.
-1
Suppose 0 = 3*j + 6 - 21. Let u = 1 - -1. Suppose c + j*x = 26, -3*c + x + 8 = u*x. Solve c = 4*h - 2*h + 3*i, -2*i - 10 = 4*h for h.
-4
Let a(y) = 2*y**2 - 4*y - 24. Let k be a(6). Solve -4*j + 24 = b - 3*b, 0 = -5*j + b + k for j.
4
Let f(o) = -10*o**3 + 3*o - 4*o + 11*o**3 - 3*o**2 + 3. Let m be 5/(-5)*(0 + -3). Let i be f(m). Solve i = 5*l - 3*w, -l + 5*w = -3*l for l.
0
Let q = 229 + -225. Solve 5*o + 10 = 2*j - 0, q*o = j - 5 for j.
5
Let p = 39 + -38. Let c(j) = 3*j**2 - 2*j + 2. Let s be c(p). Solve 2*k = -0*k, -5*x - s*k = -10 for x.
2
Suppose -5*p - 5 = -5*g, -3*p - 2*p - 3*g + 27 = 0. Suppose o = -4*r + 2*r, -p*o = 3*r - 6. Solve -3*l - 2*l + 3*f = 16, 0 = -4*l - o*f for l.
-2
Let f(h) be the first derivative of h**3/3 - 3*h**2 + 7*h - 1. Let q be f(5). Solve -q*l + 13 = -u, 3*l = 5*l - 8 for u.
-5
Suppose 4*r - l = 104, -4*l = 4*r + 10 - 94. Solve -4 = -f + 1, 5*f = -3*p + r for p.
0
Let o be 0 - (-2)/(-4)*(9 - 9). Suppose -2*v - 3*p + 6*p = 13, o = 3*v + 5*p - 28. Solve -d + 7 + v = w, -20 = -5*d for w.
4
Suppose -5*h = -0*x + x + 21, -3*h = 15. Solve -3*k - 7 = -2*l, 0 = -5*k + 2*k + x*l - 17 for k.
1
Let s(d) = -d**3 + 8*d**2 - 5*d - 11. Let k be s(4). Suppose 48 = 5*r + k. Solve 0 = r*q + 2*q - 3*c - 8, 12 = -q + 4*c for q.
4
Let z(s) = -s**2 - 34*s - 163. Let c be z(-28). Solve c*j = t + 23, -5*j + 12 = 5*t - 23 for j.
5
Let x = -8 - -8. Suppose 0*f + 4*f + 40 = 0. Let k be 0/f*(x + 1). Solve -4*h + r - 2 = 0, 3*h + h - 5*r + 10 = k for h.
0
Let n(u) = -4*u**3 - 1. Let y be n(-1). Let f(d) = d**3 - 3*d + 4. Let b be f(0). Suppose 5*p - 11 = b. Solve 0 = 3*r, y*q + 0*r + r = p for q.
1
Let m = -750 + 770. Solve -4*s + m = 0, y - 20 = 3*y - 4*s for y.
0
Suppose -i - 88 = i. Let m = i - -47. Solve 0*y + 2 = r - 4*y, -m*y = 3 for r.
-2
Suppose -3*y - 9 = -5*d, 2*d = 6*y - 3*y. Let z be (-36)/8*(-2)/d. Solve 2*k - 21 + 7 = 4*u, -3*u - 6 = -z*k for k.
-3
Let c(v) = v**2 + 1. Let i = 16 - 18. Let a be c(i). Solve 0 = -4*f + 4*o, a*f + 2*o + 3 - 24 = 0 for f.
3
Let v be (-1)/(-3) + (-265)/(-159). Solve -a - 11 = -2*q, -5*q - v*a = -2*q + 1 for q.
3
Let w be (-4)/(-12) - 5/(-3). Let a be 0 - (-3 - -5)/w. Let m = -1 - a. Solve 10 = y - 3*b, m*y + 4*b = -4*y - 40 for y.
-5
Let m = 6 + 4. Suppose 4*r = -5*y + m, 4*y + 0*y + r = 19. Solve y*p = 4*i + 2*p + 28, -4*p = i - 3 for i.
-5
Suppose 0 = 12*f - 260 + 200. Solve -3*a = -0*a - f*t + 32, -t - 12 = 4*a for a.
-4
Suppose -4*b + j = 2*j - 14, -5*b + j + 13 = 0. Solve -2*v + b*a = 1, 11 = 3*v - a + 2 for v.
4
Let r(l) = -l**3 + 3*l**2 + 20*l - 48. Let b be r(3). Solve o - 2*y + b = 0, -3*y + 4 = 3*o - 5 for o.
-2
Let h be 42/(-7) + 3 + 5. Solve h*l = -2*v + v + 3, v = 2*l - 9 for l.
3
Let n be -5 - 3*30/(-18). Solve 2*z - 4*u = 0, 5*u = 3*z - n*u for z.
0
Let i be (-106)/(-5)*(-10)/(-4). Suppose 45 - i = -2*u. Solve 2*r + 20 = 3*y, u*r - 4*y = 6*r - 8 for r.
-4
Suppose 35*o - 54 = 32*o. Solve -t - 7 = -4*r - 2*t, 3*r = -5*t + o for r.
1
Let z(g) = 16 - 7*g + 5*g**2 + 0*g - 4*g**2. Let i be z(7). Suppose -3*c + i = c. Solve -r = 4*r + 4*m, c*m = -4*r for r.
0
Let s(g) = -g + 10. Let z be s(6). Suppose -m + 5*x = 6 + 5, -2*m + 4*x = -2. Let n = m + -4. Solve -4*c + n*k - 15 = 0, -5*c - z*k + 3*k = -3 for c.
0
Suppose 2*m + m = 30. Suppose -d + 3*d = m. Solve f + 0 = -d*j - 5, -j = 4*f - 18 for f.
5
Let b = -492 + 497. Solve 4*s = 3*n + 7 - 6, -37 = -b*n - 3*s for n.
5
Let h(t) = 20*t - 218. Let m be h(11). Solve -17 = -b + m*u + 2*u, -4*b - 2*u = -14 for b.
5
Let m be -2 - (-1)/((-1)/(-10)). Let f(h) = h**2 + 6*h - 2. Let v be f(-6). Let l be -4*(v + 3/3). Solve -m = -n + 4*x + 10, -l*n + 3*x = -7 for n.
-2
Let s be (-8)/6*(-4)/(24/45). Solve a = -3*y - s, -a = -5*y - 2 - 4 for a.
-4
Let z be 16/(-2)*(0 + -5)/10. Solve -3*q = -4*a - z, a = 3*a - q + 2 for a.
-1
Suppose -7*d = 6*d + 10*d. Suppose 0*q + q - 3 = 0. Suppose -s = -0*s - 5. Solve t + 9 = -8*r + q*r, d = -s*t + 4*r - 16 for t.
-4
Let g(l) = l**2 + 2*l + 26. Let f be g(0). Suppose -12 = -5*m - 2. Let o = -9 + 14. Solve m*h = 3 + o, 2*i = -5*h + f for i.
3
Let m(a) be the second derivative of 3/2*a**2 + 0 - 1/20*a**5 - 1/6*a**3 + 10*a + 0*a**4. Let h be m(0). Solve -v - 1 + 3 = -h*n, 0 = -v + 4*n + 2 for v.
2
Suppose 4*s = 5*w + 27 + 58, 50 = 4*s + 2*w. Suppose 14 = 5*n + 2*i, -6*n + 2*n - 5*i = -18. Solve 2*h - 14 = 2*c, -n*h - 3*h - 5*c + s = 0 for h.
5
Suppose -20*g + 10*g = -8*g. Solve g = -0*p - 2*p - 2, -3*p - 6 = 3*q for q.
-1
Let h be (0 + -463)/(0 - -1). Let g be (-3)/(-6)*(-1 + h). Let m be g/(-14) - (-66)/154. Solve -q + 10 = 3*r, 3*q - 5*q = 5*r - m for q.
1
Let n be -8 - (8/2 - 15). Solve -9 = -n*d, 3*b - 6*b + 2*d = -9 for b.
5
Suppose 10*u - 13 - 17 = 0.