, 5*k - 3*p - v = 0 for k.
5
Let m(a) = -a**2 - 6*a + 6. Let q be m(-6). Let o = q - 3. Solve 0 = -4*k - k + 2*g - 19, o*g = -9 for k.
-5
Suppose 5*b + 1 = q, 0 = 4*q - 4*b - 51 + 127. Let d be ((-2)/4)/(6/q). Solve -k - 7 = -d*h, 0 = -4*k - 4*h - 9 - 7 for k.
-5
Let f(j) = -2*j - 9. Let u be f(-6). Suppose -5 = -4*l + u. Solve -4 = l*v - 3*v + t, 0 = -t - 1 for v.
3
Let j be (5/(-15))/(1/(-6)). Suppose j*h = 5 + 15. Suppose -3*u - 2*r + 29 = h, -u = -5*r + 22. Solve v + 3 - 2 = -t, -5*t = u*v - 5 for v.
-5
Let c = 28 - 18. Let b = c - 4. Let m be 12/54 - 104/(-18). Solve 4*f = 5*g - 8, 0 = -2*g + 3*f - m*f - b for g.
0
Suppose -7*r + 2*r + 30 = 0. Solve -3*t = 12, -4*t - 14 = -o + r for o.
4
Let j(s) = -7 + 0*s**3 + 2*s**2 - 7*s**2 + s**3 + 8*s - 2*s**2. Let b be j(6). Solve 0 = -5*m - 0*a - 5*a, 2*m = b*a - 28 for m.
-4
Let v(l) = l**2 - 12*l - 9. Let o be v(13). Solve j + 2 = -o*a + 14, -3*j + a + 10 = 0 for j.
4
Let m = -74 - -40. Let j be (-2)/8 + m/(-8). Solve 0 = -2*c - 8, p + 8 = -j*p - 2*c for p.
0
Let u = -144 + 147. Solve f + 12 = 3*y, 3*y + 0*f - 6 = u*f for y.
5
Let k(y) = 2*y**2 - y - 3. Let b = -2 - -5. Let i be k(b). Solve 4*v + c - i = 0, -c = -v - 0*c + 8 for v.
4
Let k be (4 - 4)/(-4) - -4. Solve -k*b - t = 9, -4*t + 2 - 22 = 0 for b.
-1
Let t(a) = 6*a + 1. Let r be t(2). Let h = r - 8. Let z(u) = u**2 - 7*u + 7. Let k be z(7). Solve -2*s = -k*s - 2*w, -2*s + h*w = 29 for s.
-2
Suppose -3*z - 7*s = -11*s + 20, 0 = -4*z + 5*s - 25. Solve 4*c + x - 16 = 0, -3*c - 2*x + 0*x + 12 = z for c.
4
Suppose 0*o = -5*o. Suppose -3*y + 3*s + 15 = 0, 5 = -5*y - s - o*s. Solve -2*d + 2*j - 13 = -j, 2*d - j + 11 = y for d.
-5
Let f be ((-18)/8)/((-15)/(-160)*-4). Solve -3*w - 4*x = 3 + 7, -w - 2*x = f for w.
2
Let m(w) be the second derivative of w**4/3 + w**3/3 - w**2 + 2*w. Let f be m(-2). Let d = f + -7. Solve p - 22 = 5*l, -3*p + 3 = -d*l - 15 for p.
2
Let o(n) = -n**2 + 11*n + 16. Let x be o(12). Suppose -26 = -s + x*k, 0 = 5*k - 0*k + 20. Suppose 5*q - 4 = 26. Solve 0 = -2*z - 4*d - q, -4*d - s = 6 for z.
5
Suppose -13 + 13 = 10*f. Solve -h - h - 10 = -2*l, f = -l + 4 for h.
-1
Suppose 0*q - 5*q = -10. Solve 3*l + 0*a - 12 = -3*a, -q*a = 3*l - 8 for l.
0
Let p be 0 + (-2 - -1) + 1. Let i = p - -1. Let z be ((-3)/2)/(2/(-8)). Solve -a - z = 2*v + 1, a + i = 0 for v.
-3
Suppose -q - 1 = -b - 6, 5*q - 3*b = 15. Solve q = 4*o + 3*r - 2, -r + 2 - 12 = -4*o for o.
2
Let t be (-3)/9*0/2. Suppose -v + 3*v - 6 = t. Solve 2*u = 8, z = -2*z - v*u for z.
-4
Let a(m) = m**3 - 17*m**2 - 16*m - 33. Let b be a(18). Solve -3*o = -4*p + b - 16, -4*o - 8 = p for o.
-1
Let t = -6 - -22. Solve 0 = -f - 4*m + t, 0 = f + m + m - 6 for f.
-4
Let c(t) = -t**2 - 6*t - 3. Let s be c(-5). Suppose -31 = 383*p - 384*p. Solve s*j = x + 7, -x + p = x + 5*j for x.
3
Suppose 0 = -2*k - k + 12. Let t = -2 - -3. Let g(h) = 11*h**3 - 2*h + 1. Let u be g(1). Solve s - n - t = 0, k*s - u = n - 3*n for s.
2
Suppose -3*v = -5*j + 34, 2*v + 3*v = -2*j - 5. Solve -2*h + j = -0*k - k, -31 = -4*h - 5*k for h.
4
Let s(v) = v**3 + 8*v**2 - 9*v + 3. Let y be (-119)/13 + (-6)/(-39). Let p be s(y). Solve -2*u - 16 = 3*l, -l - l - 2 = -p*u for u.
-2
Suppose -5*y - 30 = -3*p - 2*p, -y + 12 = 5*p. Let c = -10 + 20. Solve 4*t + 12 = 0, c = -p*w + 4*t + 25 for w.
1
Let p(v) = v + 6. Let l be p(-3). Solve 15 = 2*c - l*g, 0*c = -4*c + 3*g + 15 for c.
0
Suppose -2*v + 19 = 3*p, -5*p + 2 + 3 = -2*v. Solve 5*t = 5*d + 5, v = -2*t + 6*t - 5*d for t.
0
Let b be (3/2)/(1/2). Suppose 2*u + 0*u + b*z - 12 = 0, 5*u - 4*z - 30 = 0. Suppose f = 4*f - u. Solve 5*x = o + 10, -3*o + x + 18 = f*x for o.
5
Suppose 17 = 3*s + 5. Suppose 3*a = -0*a + 6. Solve s*w - 5*q = 8, 5*w - a*q = -6*q + 10 for w.
2
Suppose -9*h = -4*h - 15. Let k(f) = -f**3 + 4*f**2 - 3*f + 2. Let i be k(h). Solve -i*u + 0*t = 3*t - 1, -4*u - 5 = -t for u.
-1
Suppose 5*l = -27 + 127. Suppose 0 = 3*y - l - 10. Solve 3*p - 2*p - 3*d = y, 5*p + 7 = -4*d for p.
1
Let y(p) = p**3 - 4*p**2 + 5*p - 3. Let v be y(3). Suppose -30 = -v*h - 0*h. Solve 2*z = -h, -5*b + z = -2*z for b.
-3
Let n be 921/15 - (-4)/(-10). Let l = -36 + n. Solve 5*z = -2*j + j - 30, -l = 5*j for z.
-5
Suppose -26*v + 1 = -25*v. Solve v = -3*n - 4*m, -2*n - 2*m + 3 = -3*m for n.
1
Let r be 13 + -6 - (5 + -2). Solve -r = -2*m - 3*a, -5*m + 0*m + 4*a = -10 for m.
2
Suppose 6*c = 3*c - 45. Let z = c - -19. Solve v - 4*v - 7 = -a, -8 = z*v - a for v.
-1
Let k(z) be the first derivative of 2 + 1/3*z**3 - 2*z**2 + 0*z. Let c be k(4). Solve 20 = 4*a, -2*a + c*a + 16 = -2*y for y.
-3
Suppose -5*v - 3*w = -13, 3*v - 4*w = 2 - 0. Solve -5*s + 4*y - 17 = -0*y, 4*y - 10 = -v*s for s.
-1
Let w = 6 + -4. Let a(p) = 3*p - 3. Let g be a(4). Solve 2 = -w*n + s, 0 = -2*n - 3*s - 9 - g for n.
-3
Let d(l) = l - 2. Let a be d(4). Let t = 2 - 2. Solve -5*w + a*g - 25 = t, 0*w + g = -2*w - 1 for w.
-3
Let l = -20 + 12. Let d = -1 - l. Solve -2*n = 5*i - d, 0 = 3*n - 9*i + 4*i + 27 for n.
-4
Suppose -r = 3*r - 16. Suppose 4*j - 64 = r*x, 62 = 4*j - 2*x - 10. Suppose 3*v = 2*w - 3*w + j, 5*v = 5*w. Solve 0 + 8 = -s + 4*g, -5*s = w*g - 35 for s.
4
Suppose 0*z - 6 = 3*z, -u - 5*z = 6. Solve 6 = -u*c - 3*f - 17, 5*c + 20 = -2*f for c.
-2
Suppose 39 = k + k - s, 2*s = 2. Solve -2*b - 3*g = -11, 4*b + 0*g + 4*g = k for b.
4
Let z(x) = -x**2 + 10*x - 4. Let n be z(4). Solve 4*b + 17 = 5*m, -4*b - n = -5*m + b for m.
1
Suppose 0 = -4*z - 18 - 2. Let o = -5 - z. Suppose -86 = -5*i + 14. Solve m + 5*u - i = 2*u, o = -m + u for m.
5
Suppose -5*y - 18 = -2*y. Let j(a) = a**2 + 4*a - 7. Let x be j(y). Solve x*q = -2*m + 2 + 3, 0 = -q + 3*m - 16 for q.
-1
Let w(r) = 3*r**2 + 5. Let g be w(3). Solve -5*o = -0*j + 4*j + g, o - 11 = 5*j for o.
-4
Let w(v) = -2*v. Let b be w(-2). Solve 0 = 2*i + 4*s + 4, b*i - 2*s - 3*s - 5 = 0 for i.
0
Suppose -5*c = -24 - 1. Let a = -5 - -13. Suppose -c*l + a = -l. Solve 4*m - 3*x + l*x = -13, 4*x + 24 = -3*m for m.
-4
Let m(c) = c + 10. Let f be (-4)/(-14) - (-306)/(-42). Let z be m(f). Solve 13 = z*x + 2*l, -4*l = 3*x + 7 - 24 for x.
3
Let t(j) = -j - 4. Let m be t(-9). Suppose -3*u + 1 = -m*g, -2*u - 5 = -g - 4*u. Let s(v) = 3*v. Let f be s(g). Solve 1 = f*a - l, 0*a - 14 = 3*a - 4*l for a.
2
Let o = -95 - -99. Solve 0 = 3*r - 5*j + 12, 2*r - 3*j + o*j - 5 = 0 for r.
1
Suppose 2*q + 2*q - 60 = 0. Solve -c = 3*y - q + 34, 3*c + 22 = -2*y for c.
-4
Let q = -11 + 6. Let z(k) be the first derivative of -k**2/2 - 5*k + 1. Let p be z(q). Solve -2*h + 14 = 3*v, p = -2*h + 5*h - 3 for v.
4
Let v(s) = 8*s**3 - 2*s**2 + 1. Let q be v(1). Solve 2*t + 5 = 4*l - q, 4*t = -l + 3 for l.
3
Let z be 26/6 - (-6)/9. Suppose -3*k + 2*l + z = 0, -11 = 4*k + 5*l - 56. Let n = -28 - -52. Solve j = k*a + n, j - 5 + 1 = a for a.
-5
Suppose -4*a = -7*a + 51. Let n = 9 - 6. Let i = n - 0. Solve o - 7 = 3*m, a = -i*m - 2*o - 2*o for m.
-3
Suppose -7*q + 10 = -18. Solve 3*r = 2*t + 8, 4*r + 8 = q*t + 24 for r.
0
Let n(y) = y + 12. Let m(c) = -c**2 - 5*c. Let l be m(-4). Let s be ((-18)/l)/((-5)/(-10)). Let b be n(s). Solve -10 = -5*z + 10, 32 = b*a + 5*z for a.
4
Let l(k) = -9*k**2 + 0 + 7*k**2 + 28*k**2 + 1. Let u be l(-1). Suppose 7 - u = -5*y. Solve y*j - 5*a - 37 = 0, 20 = 5*j - a - 0*a for j.
3
Let z be (-3)/2*(-16)/12. Suppose -2 = w, 0 = -z*l - 4*w + 2*w. Solve -l = -d + 2*x - 0, 3*d - 1 = x for d.
0
Suppose -22 = 2*a - 5*l, 0 = 2*a - a - 2*l + 9. Let w = 24 + a. Solve 2*q + 2*s + 16 = 0, -2*s = q + w - 10 for q.
-3
Let d = -6 - -9. Suppose -3*g - 2 - 13 = 0. Let h(r) = r**2 + 4*r + 1. Let v be h(g). Solve 0 = d*x + v*s - 5*s - 6, -4*x - 4*s + 16 = 0 for x.
1
Suppose 5*q - 25 = -0. Let o(t) = 2*t - 9. Let c be o(6). Suppose 0 = 2*p + c - 13. Solve 5 = p*g, -3*g = q*z - z - 23 for z.
5
Suppose 3*v + 5*w - 19 = -0*v, -v = -2*w + 12. Let z = v - -4. Solve -4*d - 16 = 3*s, -d - z*s = s + 4 for d.
-4
Suppose 6*a - a + 30 = 0. Let l be a/(-4)*(8 + 2). Solve 3*b = -2*o - 0*o + l, 5*b - o - 12 = 0 for b.
3
Let h = 3 - 0. Let n = 7 + h. Let v be 2/(-5) + 194/n. Solve -2*p + 1 = 2*z - 5*p, 5*z - v = 2*p for z.
5
Let g(l) be the first derivative of -l**4/4 + 5*l**3/3 + 3*l**2/2 - 7*l - 3. Let h be g(5). Solve u = 2*q - 8, 4*u = 3*q - 25 + h for q.
3
Suppose -8 = -2*g - 0. Suppose c = -5*d + 10 - 0, 0 