, k - 8 = 3*p for k.
-1
Let b = -5 - -9. Let d be 3/1 + 0*3/24. Solve z - k - 3 = b*z, -5*z - 5 = -d*k for z.
-1
Let b(l) = l**3 - 9*l**2 + 9*l - 10. Let x be b(8). Let t be x/(-9) + (-136)/(-36). Solve 2*d = -3*d - t*o + 41, 2*d + o - 14 = 0 for d.
5
Suppose 0 = -2*p - 14 - 0. Let z(x) = x**3 + 7*x**2 + 2. Let q be z(p). Suppose -3*j - 7 + 28 = 0. Solve 5 = -h + 2*k, -q*k - 2*k = -3*h - j for h.
3
Suppose -3*k + 2*k + 13 = 5*z, -3*k + 13 = 2*z. Solve -k*p = j + j, -j = 3*p for p.
0
Let d(p) = 2*p + 3. Let y be d(-3). Let k(a) = -a**3 + 8*a**2 - 3. Let f be k(8). Let g = f - y. Solve 3*z - 3*h + 6*h + 9 = g, -4*z = -2*h for z.
-1
Let s(j) = j**2 - 4*j - 3. Let p(y) = -y**2 - 9*y - 10. Let d be p(-7). Let o be s(d). Let w be (-10)/(0/o - 1). Solve 5*c - w = 10, 0 = 5*q + c - 14 for q.
2
Let m(n) = 10*n + 4. Let d be m(-2). Let h = -10 - d. Solve 2*p - 22 = -2*p - 2*t, 0 = -3*p + 2*t + h for p.
4
Suppose -12 = -4*j - 8*r + 3*r, 4*j - r = 12. Suppose -2*d + 1 = -5. Solve 5*h - 22 = -j*w, w = -d*h - 0*w + 10 for h.
2
Let w = 5 + 3. Let t be 1/((w/(-4))/(-14)). Solve -t = -f + 5*p, -2*p - 5 = -2*f - p for f.
2
Suppose 2*q + 4*f - 28 - 154 = 0, -4*f + 8 = 0. Suppose 25 = 4*n - q. Solve -4*p + 2*r + n = -0*p, 23 = 3*p - 2*r for p.
5
Let q(i) = 2*i**3 - 4*i**2 + 4*i - 3. Let f be q(2). Let n(t) = -3*t**3 - 15*t**3 - t**2 + 2*t**3. Let d be n(-1). Solve 3*l + 5*z = l, -l - d = -f*z for l.
-5
Let q = 3 + -2. Let a(z) be the third derivative of z**5/30 - 2*z**2. Let b be a(q). Solve -5*f + 0*f = -2*u - b, 4*f = 0 for u.
-1
Let a be 2/(-5)*5*-1. Solve -3*m - 4*j - 6 = -0*j, a*j - 6 = 3*m for m.
-2
Let s be ((-6)/(-4))/((-1)/(-4)). Solve t - 3*n - 16 = 0, 4*t + n = s*n + 36 for t.
4
Let o be (-3 - 1) + 12 + -5. Solve 2 = n - o*x + 7, -3*n - 5*x = -13 for n.
1
Let v be 0/(2*(2 - 3)). Solve 4*w = -5*c - 0*c, 4*c - w - 21 = v for c.
4
Suppose 0 = -y + 2*f + 3 + 3, -2*f + 6 = 5*y. Solve 0 = -2*v + 3*i + 1, 5*v + y*i = -7 - 19 for v.
-4
Suppose 2 + 10 = 4*s. Let c(a) = 2*a**2 + 2*a. Let k be c(-2). Solve 4*o = 2*g - 10 - k, -4*o = s*g - 11 for o.
-1
Let p(m) = -m**3 + 7*m**2 + m - 7. Suppose -2 = 2*x - x. Let g be (-7)/x*(-2)/(-1). Let l be p(g). Solve 4*j - 4 = 3*a - 2, 4*a - 2*j + 6 = l for a.
-2
Suppose -v + 6 = 4. Solve -3*u = o + v*o + 9, 4*o + 2*u = -8 for o.
-1
Let k = -105 + 110. Let l(d) = 4*d - 3. Let q be l(2). Let j(p) = 2*p - 12. Let t be j(9). Solve -5*o - k = 5*x, t*x - q*o = x - 25 for x.
-3
Let f be (7 - 9)*(-26)/4. Suppose -5*g + q = f, -2*g - g + q - 9 = 0. Let k be 8/10*(-5)/g. Solve -1 - 6 = 2*r - 3*x, 2*x = -k*r + 18 for r.
4
Let x = -69 + 71. Solve 0*y - j = -x*y - 5, -3*y - 6 = -j for y.
-1
Let d(r) = -r**3 - r**2 + r + 2. Let o be d(0). Solve u - x = 2*x + 10, o*u - x = 10 for u.
4
Suppose 4*i - 20 = 4*z, 5*z = 3*i - 8*i + 25. Solve -t = -0*d - d - 1, z = -2*d + 6 for t.
4
Suppose 0*q - 2*q = -8. Let w be ((-8)/16)/((-1)/18). Let i = w - q. Solve -3*x = -f + 17, -x - i*f + 1 + 4 = 0 for x.
-5
Let c(p) = -6*p - 6. Let f be c(-6). Let s be (2/4)/(2/(-40)). Let d be (12/s)/(3/(-10)). Solve -5*a + 8 = -3*v + f, d*v = -2*a + 12 for v.
4
Let q(l) = -2*l - 2*l + 2*l + 1. Let d = 3 + -5. Let y be q(d). Solve 4*f + 20 = -5*p + 2*f, 0 = -4*p + y*f - 16 for p.
-4
Let h be (-5)/(-20) + (-26)/8 - -5. Solve -h*t + 3*t = -4*v - 16, -16 = 4*t for v.
-3
Let s(n) = -9*n**3 - n. Let j = 0 + 1. Let z be s(j). Let f be (-2)/(-4) - 65/z. Solve -4*l - 3*r = -4*r + 16, -f = 3*l - 2*r for l.
-5
Let i(a) = a**2 + 21*a + 47. Let r be i(-19). Solve -3*z + 4*j = -2*z + r, -5*z + j - 7 = 0 for z.
-1
Let t(c) = c**3 - 6*c**2 - 3*c - 16. Let d be t(7). Solve -w - 5*q = -d, -4*w + 18 = -0*q + 5*q for w.
2
Let t = 4 + -3. Let m be t - ((-2)/2 + 0). Solve -4*s + 13 = -3*f, 0*f + m*f - 14 = -3*s for f.
1
Suppose -a + 0*a + 30 = 0. Let j(s) = -s + 1. Let c(m) = 9*m - 4. Let g(u) = c(u) + 6*j(u). Let f be g(1). Solve -a = -f*w - 5*p - 0, -5*w = -3*p + 2 for w.
2
Let y(v) = v**3 - 2*v**2 - v - 1. Let w be y(3). Suppose w*i + 0 - 15 = 0. Solve i*x - 27 = -3*s, 3*x + 15 = 2*x + 5*s for x.
5
Let g be (-72)/(-20) + (-4)/(-10). Let b be ((-6)/(-8))/(1/g). Solve -2*x - b*v + 6*v = -5, -4*v = 2*x - 12 for x.
4
Suppose 2*r - 5*r + r = 0. Let z(p) = -p**3 - 7*p**2 - 2*p - 10. Let g be z(-7). Suppose 0 = -g*x + 2 + 22. Solve -3*w = 2*c + 7, r = -w + x*w + 2*c + 17 for w.
-5
Let s = -12 + 24. Let d be ((-6)/15)/(-1)*5. Suppose 0 = 3*b - 0 - 3. Solve b = -u + 3*k - d, k = -4*u - s for u.
-3
Let n = -23 + 26. Solve -2 = -3*a + 2*t + n, 20 = 4*t for a.
5
Suppose z - 2 = -4*r + 1, 27 = r - 5*z. Solve 4*a + k + 2*k + 23 = 0, r*a + 11 = -k for a.
-5
Suppose 0 = -4*x + 2*k, -3 = x - 3*k + 7. Solve x*c = -2*l + 8, 4*c - 6 = l - 3*l for c.
-1
Let l = 41 - 35. Solve -5*z - 2*r = -10, 5*r = -31 + l for z.
4
Let z = -5 + 8. Let h be -1 + (z - -7)*1. Suppose 6*j - 2*j = -4*u + 8, -5*j - 4*u = -h. Solve -j = 3*t - 2*f, 5*f = 4*t + t for t.
-1
Let q(g) = 5*g**2 - 3 + 6*g**2 - 3*g**2 + 8*g + g**3 + 12. Let t be q(-7). Let d = -6 + 10. Solve -4*a - 8 = -d*j, 2 = -a + 5*j - t*j for a.
-2
Let u be 16/56 - (-26)/7. Solve u*y = -2*r + 14, r - 4*r - 5*y + 20 = 0 for r.
5
Let k be -3 + (-36)/(-8) - 14/(-4). Let g be 1/(-1 - 6/(-4)). Let w be (-2)/1*4/(-1). Solve 4*y - g*i - 3*i = -4, -w = -k*y + 3*i for y.
4
Suppose -4*n + 38 = -2*c, c - 30 + 1 = -2*n. Let i = 14 - n. Solve -b + i*s + 2*s = 11, b + 7 = 3*s for b.
5
Let n be ((-6)/(-4))/((-45)/(-150)). Solve -n*f - 4*v - 1 = -21, 0 = -2*v for f.
4
Let r(a) = a**3 + 2*a**2 - 4*a - 3. Let z be r(-3). Suppose h - 4 - 1 = z. Let b = -11 + 16. Solve -g = b*q + 9, 3*g - h*g - 2*q - 2 = 0 for g.
1
Suppose -78 = -6*h + 3*h. Let a be 0 - 2/(-1) - -2. Suppose 2*u - 8 + a = 0. Solve -u*l + h = -5*y, 9*y - l + 23 = 4*y for y.
-4
Let g = 17 - 15. Suppose 0*y = -2*y + 10. Suppose y*x - 35 = -0. Solve -19 = 4*j + 2*k - x, 2*j - g = -3*k for j.
-5
Let q = 19 + -4. Suppose 2*i + 3*i = q. Solve 3*x + 3*h - h = -6, -x = -i*h + 13 for x.
-4
Let g be 15 + 2/3*3. Suppose -6*n + 5*n - 42 = -4*s, s + 3*n = g. Solve 0*i + 13 = -3*i - 5*f, 0 = i + 5*f + s for i.
-1
Let b(c) = -2*c + 21. Let k be b(9). Let r be -1 + (-2)/(-2) + 6. Suppose r = k*y - 18. Solve y + 1 = j + v, 2*j + 7 = 3*v for j.
4
Let h = 42 - 24. Let a = 50 + -18. Solve -5*v - 6*q = -2*q + a, -h = 3*v + 2*q for v.
-4
Let k be (-16)/(-64) - (-118)/8. Solve 2*f - k = -3*i, -2*f - i + 0 = -9 for f.
3
Let i(f) = -2*f + 2. Let k be i(-5). Let z be 2 + (-3 - -2) + 1. Suppose 2*h + z*h - k = 0. Solve -d - h*d = 8, d = -3*y + 13 for y.
5
Let z(v) = v**2 + 2. Let m be z(0). Let q be (-1)/(4/12) - (-6)/1. Solve 3 + 15 = -q*x - 4*f, -m*f + 4 = -5*x for x.
-2
Let k be (8/(-14))/(-1*1/7). Solve -i - 20 = 5*h + 4*i, 2*h + k*i + 14 = 0 for h.
-1
Suppose 1 + 3 = -h. Let i be (-27)/(-6)*h/3. Let g = -4 - i. Solve -5*q + 33 = -0*q - g*m, -4*q = 3*m - 8 for q.
5
Let h be 2 + -3 + 7 - 3. Suppose 4*q + 18 = h*i, -q = -3*i - 0*i + 9. Solve -2*j - 2*k = 0, j + i = -0*k - 3*k for j.
1
Let j be (-12)/(-18) - (-52)/(-6). Let p(d) = -2*d - 10. Let n be p(j). Solve 5*k = 4*r - n, -4*r - 3 - 7 = 3*k for k.
-2
Let u = -1 + 5. Let j be (-136)/(-36) + u/18. Suppose 24 + 0 = j*f. Solve 3*k + f = -2*c + c, 2*c - 2*k - 4 = 0 for c.
0
Let p(b) be the first derivative of -b**3/3 - 3*b**2 - 3*b + 9. Let m be p(-5). Solve m*k - 12 = 4*q - 0*k, 0 = 2*k + 4 for q.
-4
Let x be (-19 + -1)*2/(-4). Let o be -1 - x/2 - -3. Let v be 3/(-9)*o*5. Solve -5*t - 3 = -5*w - 8, -w = -v*t + 9 for t.
2
Let g be 9/5 - (-14)/70. Solve 3*j + 12 = 4*q, 0 = g*q - 0*q for j.
-4
Let b be 4 + (-1 - 0)*1. Suppose 4*k = b*h + 33, -13 - 23 = -5*k + 2*h. Solve -1 = 5*f - 5*t - k, 5*t - 3 = -3*f for f.
1
Suppose -2*a + 48 - 6 = 0. Suppose -a - 24 = -3*m - 4*j, 4*j = -4*m + 56. Solve m = -3*h + 2*y, 3*y + 5 = -1 for h.
-5
Suppose -k - 2*k + 14 = -5*q, -4*k - 28 = 5*q. Let o = k - -5. Suppose -2*p + 6 = a - 2, 0 = -o*a - 3*p + 18. Solve 0 = s + l - 5*l + 20, 4 = -5*s - a*l for s.
-4
Let k(o) = -2*o + 1. Let f be k(-1). Suppose -4*y + 44 = 4*l, -51 = -3*l - 2*l - f*y. Solve -s + 6 = 3*n - 0, -5*s = 2*n + l for n.
3
Let u = -11 + 6. Let y be ((-6)/u)/(2/10). Solve -3*v = 3*h + 18, -h - y + 3 = -2*v for h.
-5
Let t be (-2)/12 + (-23)/6. Let h = t - -7. Suppose h*g - 17 = -2. Solve 2*d = 