2*l - v, d = -3*d - 5*l + 37. Solve d = 5*r + 2*j, -2 + 13 = -5*r + 4*j for r.
1
Let j = 3 - 7. Let o(z) be the first derivative of -z**2/2 - 2*z + 3. Let c be o(j). Solve -u - c*s = 5, -6*s = 2*u - s + 11 for u.
-3
Let k(l) = l + 17. Let u be k(-8). Suppose 2*q + 0*q + 3 = b, 0 = -2*q + 3*b - 13. Suppose -q = 3*h - 10. Solve 3*s + h*p + 18 = 0, -4*p - 6 - u = s for s.
-3
Let v(r) = -r - 3. Let k(b) = -4*b**2 - b. Let f be k(1). Let s be v(f). Suppose -s*g = g. Solve 2*y - 13 = 5*j + 5*y, -4*j - y - 16 = g for j.
-5
Let v = 25 - 21. Let k be 12/2*(-1)/(-3). Let t = 17 + k. Solve -y = v*h + t, 0*h + 14 = -5*h + 2*y for h.
-4
Suppose -5*s + 5*q + 70 = 0, 2*s - 41 + 15 = q. Suppose 0 = -5*h + 3*l + 15 + 9, 0 = 5*h + l - s. Solve 2*w = -h*j + 2*j + 6, j + 3*w = 11 for j.
-4
Let b be -1 - (-16)/6 - (-46)/(-69). Solve 3*q - b = l, 0*q + 5*l + 5 = -2*q for q.
0
Suppose -3*x = v - 11, 6 + 8 = 4*x + v. Solve -x*l = -0*l - 2*c + 8, -4*l = -c + 9 for l.
-2
Suppose 33 + 51 = 4*a. Solve -5*c - a = q + 3*q, 3*c + 16 = q for q.
1
Let q = -10 - -14. Solve 0 = 5*v + q*o + 22, 5*v + 0*o - 2*o = -4 for v.
-2
Let r(h) = 3*h**2 + 10*h + 5. Let k be r(-5). Let t be (160/(-50))/((-4)/k). Solve 5*l = l - 2*x - 18, 5*l + 3*x = -t for l.
-3
Suppose -5*g - 5 = -5*b, 7 = g + 3*b - 12. Let a be (-2 + 1)/(-1) - -1. Solve -4*i - 24 = a*p - 0*i, 2*p - 8 = g*i for p.
-4
Let w be (5 - 7)*(-39)/6. Solve -w = -4*s - m + 5, -5*s - 5*m + 30 = 0 for s.
4
Suppose -11 - 4 = -3*l. Solve -a + 1 + 2 = k, l*a = -k + 11 for k.
1
Let a be (-1)/(-2 + (-10)/(-6)). Suppose 0 = -5*q + 2*x + 15, 4*q + 3*x - 28 - 7 = 0. Solve -a*o = q*t + 13, -t = -3*t + 3*o - 1 for t.
-2
Suppose 65 = -y + 6*y. Let r = 7 - 5. Solve 0*f - 5 = 2*f + u, -5*f - y = r*u for f.
-3
Suppose -b + 2 = -f - 1, 5*f = 2*b - 6. Let c be ((-4)/(-6) + 0)*3. Suppose 2*p + 3*p = 10. Solve 0 = -4*n + c*o + o - 14, f = -5*n - 4*o - p for n.
-2
Suppose n = -3*b, 3*b + 3*n = n. Solve 2*a - 5*t - 6 = 4, 4*t + 8 = b for a.
0
Let p = 54 + -51. Solve -s - 2*w + 13 = 0, -4*s + p*w = -9 + 1 for s.
5
Let v = 13 + -13. Suppose v = x - 3 - 1. Solve 0 = 4*m + 3*i + 1, x*m + i = 2 - 5 for m.
-1
Suppose 2*z + 4*a - 3 = 35, -5*z + 89 = 4*a. Solve 0 = -3*c + 5*d + z, d - 11 = -3*c - 0*c for c.
4
Suppose -4*q = -0*q + 24. Let g(n) = -n**3 - 3*n**2 + 2*n - 1. Let r be g(-4). Let i = r + q. Solve 4 = -2*y, 0 = f - 3*y - 8 + i for f.
1
Let a(i) = -i**2 - 4*i + 6. Let j be a(-5). Suppose -3*n + j - 10 = 0, -2*z - 4*n = 8. Suppose 2*f = -0*f + 6. Solve l - z*m = 13, 19 = f*l - 4*m - 12 for l.
5
Suppose 5*p = -2*v + 45, 0 = 3*v - 4*v + 3*p - 5. Solve -4*l = 5*b + v, 4*b + 10 = -5*l + 2 for b.
-2
Let y(d) = -2*d**3 + d**2 + 2*d + 1. Let q be y(-1). Solve 0 = 2*f + 5*v - 30, 5*f - q*f = -4*v + 31 for f.
5
Suppose 2*j = -4*n, 2*j + 2*j - 5*n - 26 = 0. Solve -4*s - 3*u = -16, -2*u = j*s + 1 - 17 for s.
4
Let l = -6 + 1. Let h = l + 10. Solve 0 = -i + r - 1 - 1, 14 = -h*i + r for i.
-3
Let p(k) = k**3 + 7*k**2 + 6*k + 2. Let t be p(-6). Suppose -t*z + 0 = -12. Let y be ((-28)/(-21))/(2/z). Solve s - 3 = o, 2*o + 6 = y*s + 4*o for s.
2
Let a = -6 - -9. Let w be 1*3/1 + 1. Suppose -6*d + 4*d - 30 = -4*t, 2*t - w*d = 30. Solve -p = a, -t*v - 3*p + 6*p = -34 for v.
5
Let k be 644/35 - 6/(-10). Solve -v + 3*z + 3 = -8, 4*z = -3*v - k for v.
-1
Suppose 1 = g - d, 4*g + 5*d - 51 + 11 = 0. Solve -1 = 5*l - 2*p, -5*l - 13 = -2*l + g*p for l.
-1
Let c be 2 + -2 + (-6)/3. Let r be 75/18 - c/(-12). Solve u + 10 = -i - r*u, -16 = 4*i - 4*u for i.
-5
Suppose 2*z = 6 - 0. Solve 0 = -v + 2*t - z*t - 9, -35 = 5*v + 3*t for v.
-4
Let g = 72 - 68. Let l = -7 + 10. Solve -3*r - l*j = -2*j - 1, 0 = g*r + 2*j for r.
1
Let k be 6/(-24) - (-5)/20. Solve 2*o + 24 = -5*n, k = -2*o + 2 - 6 for n.
-4
Let x(y) = -y + 1. Let i be x(1). Solve i = -3*w + 2*w + 4, -9 = h - 2*w for h.
-1
Let g = 5 + -2. Let i = -2 + 9. Let p = i + -6. Solve 5*t = g*d + p, t - 2 - 7 = 5*d for t.
-1
Let r(s) = s + 12. Let z be r(-9). Solve 5*t = -h + 12, -h + 1 = -z*t + 5 for t.
2
Suppose -5*l - 3*r - 237 = 0, -4*l = -2*r + 14 + 158. Let m = -26 - l. Let y be 1/((-1)/(-3)) + 2. Solve 3*i = -2*a - m, -2*a + 0*a = -5*i - y for i.
-3
Suppose 3*x - 2 - 16 = 0. Solve 4*t = -2 - x, 2*h = 2*t + 10 for h.
3
Let i(f) = f**2 + 4*f + 5. Let v be i(-3). Solve v*k - 6 = -4*d, 3*k - 3 + 26 = 2*d for k.
-5
Suppose 0 = 4*s + 2*d, 3*d = -3*s - 0*d. Suppose -f - 5*y + 21 = s, f - 4*f + 63 = -2*y. Solve -4*c = 2*h - 5*c + 14, 0 = 5*h + c + f for h.
-5
Let n = 59 - 56. Suppose 0 = -4*i + 2*i + 8. Solve n*k + k - 7 = -v, i*k - 22 = 2*v for k.
3
Let a = 253 + 47. Let w be ((-2)/3)/((-8)/a). Solve i = -5*o + 10 + 20, -4*i + w = o for i.
5
Suppose r - 2 + 10 = p, 0 = 3*p + 5*r. Let i be -1 + (0 + -3)/(-1). Solve 2 - 1 = p*w + i*k, 5*w = -3*k - 1 for w.
1
Let k(s) = s**2 + 10*s + 4. Let c be k(-10). Solve -x = -0*x - m + 4, 3*x + m = -c for x.
-2
Let i(n) = 3*n + 53. Let r be i(-16). Solve -4*g - 4 + 2 = 2*h, -4*h = -r*g - 35 for g.
-3
Let g(d) = 2*d**2 + 2*d - 5*d**2 - 2*d**2 - 5 + d**3. Let r be g(5). Let f = r + -2. Solve 0*i = -3*i - 4*c - 9, 0 = 5*i - f*c + 15 for i.
-3
Let a(i) = i**2 + 7*i - 6. Let d be a(-8). Solve 4*w - 2*z = -22, w + 2*z = d*w + 7 for w.
-5
Let m(w) = -w - 2. Let u be m(6). Let j be 1 - u/(-6)*-3. Suppose -8 = -5*i + 2. Solve -j*c + 2*b + 23 = 0, -i*b = -2*c - 4*b - 2 for c.
3
Let r = 97 - 91. Solve -2*m - 4*c = r, 2*m + 6 = -0*m - c for m.
-3
Suppose 4*b = 2*q + 4, 9 = 5*b - 11. Suppose 0 = q*j - 28 + 4. Solve 1 = o + j*i, i - 3*i + 23 = 5*o for o.
5
Suppose 3*b - b - 4 = 0. Suppose -28 + 1 = -3*y. Let d = y - -4. Solve -j + b + d = -3*l, -3*l - 15 = j for l.
-5
Let l(h) = -h - 9. Let o be l(-12). Solve 0 = t - 3*t + 2*d, -2*t + o*d - 5 = 0 for t.
5
Let u(n) = -2*n - 13. Let a be u(-9). Solve 0 = -4*s - a*m + 13, 3*m + 9 - 2 = 5*s for s.
2
Let s = 12 + -12. Let m = 18 + s. Solve 2*w + 4*p - 16 = 0, -2*w = 3*w - p - m for w.
4
Let u = -2 + 0. Let t(q) = -7*q + 2. Let o be t(u). Solve -r = -5*h - o, -3*h - 2*h - 8 = -3*r for h.
-4
Let n(p) = -3*p + 42. Let k be n(13). Solve -k*a + 0 = 5*r - 2, 5*a + r = -4 for a.
-1
Let t = 5 - 5. Let b = 12 - t. Solve 10 = -5*q - r - b, -5*q - 4*r = 28 for q.
-4
Let y(h) = -h**3 + 2*h. Let d(r) = r**2 - 7*r + 4. Let a be d(6). Let b be y(a). Solve -3*w + 2*v - 7 - b = 0, -5*w = 5*v + 10 for w.
-3
Let x be (-4 - -10)/(1/4). Suppose -k - x = -4*k. Let y = k + -6. Solve 4*l + l = 5*m - 15, -4 = y*l for m.
1
Suppose 0 = -9*b + 6*b. Suppose b = -l - 4*l + 10. Solve -4*r + 21 = s, -1 = -3*s + 3*r + l for s.
5
Let m be (1 - 1 - 0) + 0. Let g(q) = 2*q - 7 + m*q + 2. Let u be g(6). Solve r + 3 = 0, -r + u = -z - z for z.
-5
Let i(n) = 24*n**2 - 1. Let p be i(-1). Solve m = -2 - 3, z - 5*m = p for z.
-2
Let r(c) = 2*c**3 - 22*c**2 - 23*c - 12. Let l be r(12). Solve -3*s = -7*s - 4*f - 4, s - 5*f - 29 = l for s.
4
Let o = -14 - -30. Let l(g) = g - 3. Let w be l(-8). Let u(a) = -a**3 - 11*a**2 - a - 6. Let q be u(w). Solve 5*s - 7 = -3*n + o, 3*n = 2*s - q for n.
1
Suppose -4*k + 15 + 1 = 0. Solve 0 = 4*j - k*v, j + 0*j = -2*v - 3 for j.
-1
Suppose 2*i - 20 = -3*g + i, -5*i = -5*g + 40. Let a = 18 - g. Solve -2*d = 3*f + a, -5*d + 9 + 6 = -f for f.
-5
Suppose 0 = -r + 4 + 1. Suppose -4*s = -7 - r. Let z = 15 + -12. Solve 5*d + 22 = -o, 4 = o + z*o - s*d for o.
-2
Let b(w) = w + 9. Let d be b(-4). Solve 2*h = d*t - 27 - 2, -5*t + 31 = -3*h for h.
-2
Let g(w) = -w**3 + 5. Let s be g(0). Let l be -2 + -3 - (-1 + -2). Let r = l + s. Solve r*c + 5*n + 8 = 0, c - 4*n - 1 - 2 = 0 for c.
-1
Suppose -3*n = 4*o + 6, -2*n - 2*o + 0 = 2. Suppose -5*r + 6 = -n*r. Solve -5*p + 3*x = -7 - 19, -x = p - r for p.
4
Suppose 3*l + 5 = -10. Let q(m) be the third derivative of m**4/24 + 7*m**3/6 - 2*m**2. Let r be q(l). Solve 0 = r*o - o - 4*z - 20, 15 = -3*o - 3*z for o.
0
Let o(v) = v**3 - v**2 + v - 2. Let i be o(2). Solve -5*l - 17 = 5*t + 23, 14 = -i*l + 2*t for l.
-5
Let n be (-445)/(-25) - 20/25. Solve 8*p - 3*p - 4*m = 37, 4*p = -m + n for p.
5
Let c(u) = -u - 6. Let s be -2*1/(-1) + 27. Suppose f = -4, b - 2*f + 7*f = -s. Let q be c(b). Solve 4*p - 12 = 0, -2*p = -4*d + q*d - 11 for d.
-5
Let c(o) = -o + 6. Let w = 9 - 3. Let b be c(w). Let z(t) = t - 2. Let g be z(4). Solve 5*p + g*q + 10 = 0, 