4*o - 0*o - 23 for k.
-3
Let f = 4 + -2. Suppose 6 = -f*x, -12 = -n + 6*n + 4*x. Solve n = 2*u + v + 2 - 10, 7 = 5*u - 4*v for u.
3
Let r(p) = -p. Let b be r(-2). Suppose 2*z = b - 6. Let d = 0 - z. Solve -3*t - 9 = -3*c, 2*c - d = -0*c - 2*t for c.
2
Let l = 8 - 5. Suppose -2*v + 23 = l*q, -4*v + v + 7 = -q. Solve p + 18 = -p - v*b, 5*p + 5*b = -25 for p.
-1
Let c = -2 + 2. Suppose 3*r - 6 = -c. Solve 5*v + r*f + 1 = -1, 2*v + 2*f = 4 for v.
-2
Let v be (-6 - -7)/((-2)/(-24)). Solve 8 = -2*q + 4*p, 3*q + v = -p - 2*p for q.
-4
Let b(w) = w**2 - 5*w - 12. Let t be b(7). Solve k = t*k - 5*l + 24, 22 = -3*k + 5*l for k.
1
Let c(n) = 3*n - 27. Let i be c(9). Solve -4*o - k + i = -5, -2 = 2*o + 2*k for o.
2
Let p(u) = -u**3 + 5*u**2 - 7*u + 12. Let a be p(4). Solve -2*h + 2 = 2*l - a*h, -3*l - 17 = -2*h for l.
-3
Suppose m - 4*q + 4 = 0, -3*m - q = m - 18. Suppose 6 = -m*b + 18. Solve -f + 17 = b*s, -5*s - 3*f + 17 = -18 for s.
4
Let m(g) = g - 8. Let f be m(8). Solve -10 = -v - 5, -l + 2*v - 6 = f for l.
4
Let x be (9/(-27))/(2/(-24)). Solve 1 - 3 = -x*f + 2*a, 3*f - 14 = 4*a for f.
-2
Suppose 3 = 4*b - 5. Suppose 4 = -b*i, i - 5 = 4*w - 27. Solve -2*q - 6 = -2*j - 0*q, w*q = 5 for j.
4
Suppose 0 = 2*y - y - 2. Suppose -l + y*l - 2 = 0. Solve -4*h + 12 = 0, l*h - 3*h - 5 = -4*k for k.
2
Let i(c) = -c**2 + 4*c + 4. Let r be i(4). Let a(b) = b**3 - 7*b**2 + 7*b - 6. Let f be a(6). Solve 2*l = 2*p - 0*p, -r*p - l = f for p.
0
Let h be 1*(18 + -2 + 4). Suppose j - 3*j = -h. Suppose 3*f - f - j = 0. Solve v + 2*v - 5 = f*n, 3 = v - n for v.
5
Let r(f) = f**3 + 10*f**2 + 8*f - 7. Let a be r(-9). Let k(u) = u. Let p be k(a). Solve 12 = 3*y - 0*y - p*o, -5*y + 5*o = -20 for y.
4
Let o = -12 + 14. Solve 4*c = -16, 10 = -d - o*c - 1 for d.
-3
Suppose -2*n - 5*q = -26, q - 37 = -5*n + 5. Suppose -3*u + 3*b + 17 = n*b, -2*u = -5*b - 28. Solve x - p - 3 = 0, 0*x - x = 2*p + u for x.
-1
Suppose 2 - 4 = -4*v + 3*z, 2*v - 4*z = -4. Let u = 5 + -5. Suppose u = m - v*m. Solve -5*y + 5*k = m, 3*y - 2*y - 2*k - 1 = 0 for y.
-1
Suppose m = 3*u - 3, 3*m = -m - 2*u + 2. Let g(a) = a + 2. Let s be g(m). Solve 2 = -s*x + k - 5*k, 3*x + k = 7 for x.
3
Let m(c) = c**2 - 17*c + 5. Let n be m(17). Solve -x = n, 8 - 20 = -4*s + 4*x for s.
-2
Let o(p) be the third derivative of -p**5/60 - 5*p**4/24 + 4*p**3/3 - 2*p**2. Let x be o(-6). Let g be (-1)/x*-4*5. Solve -3*h - g = y + 4, -y - 20 = 5*h for y.
-5
Let l be 16/(-24)*(-78)/4. Let q = l + -7. Solve 0 = 3*v - q, 0*t - 5*t = v + 18 for t.
-4
Let l = -7 + 21. Let t = 15 - l. Solve 3*j - 3*x = -4*x - t, 0 = 3*j - 2*x + 16 for j.
-2
Let o(u) = u**2 + 6*u + 3. Let f be o(-6). Let t be 8 - f - (2 + -1). Solve -l - 3*a = -13, 0 = -4*l + 3*a - t*a + 19 for l.
4
Let x be 0/(0/2 + 1). Suppose 4*v + 2*o + 6 = x, 2*v = -0*v + 2*o + 12. Solve r - p + 6 = v, 0 = 5*r + 5*p + 25 for r.
-5
Let s(d) be the first derivative of -d**3/3 + d + 4. Let i be s(0). Solve -5*x - 4 = 4*j, j = -x - 3*x - i for j.
-1
Suppose 48 + 8 = 3*f + 2*r, 0 = 3*f + 5*r - 41. Let u = f + -15. Solve -4*a = -2*d, 8 = 2*a + 2*d - u*d for a.
-1
Let r(p) = -p**2 + 4*p. Let u be r(4). Suppose -o = -u - 3. Let b(l) = -l. Let d be b(-3). Solve d*c - c - 10 = -2*i, o*c + 13 = 4*i for i.
4
Let x(c) = c**2 + 11*c. Let j be x(-11). Solve 0 = 3*d + 2*l + 10, 5*d + j*l + 20 = -5*l for d.
-2
Suppose -3 = -b, 6*b - 17 = -2*t + b. Suppose -x + 0*x = 1. Let z = t - x. Solve 3*v = 4*v - y + 1, -z*y + 2 = v for v.
0
Let w be (-1)/4*0 - -4. Solve -4*f - 6 = h, -f + h = -4*f - w for f.
-2
Let n be (-2)/(0 + 2/(-3)). Solve -n*g = 3, 4*g = 5*t - 2 - 2 for t.
0
Let y = -1 + 3. Suppose -29 = 5*g - y*o, -6*g - o - 13 = -3*g. Let w = 5 - g. Solve 4*t = -4*j + 4, w = j - 5*t + 3*t for j.
4
Suppose 2*q = 3 + 5. Suppose -4*r + 4 = 0, q*h = 3*r + r + 4. Suppose 34 = 4*p - 5*m, -2*m = -h*p - 3*p + 51. Solve 3*j = k + p, 2*k = 4*j - 0*k - 12 for j.
5
Let a = -46 - -50. Solve -4*n - 5 = 3*x, -a*x + 0*x = 2*n + 10 for n.
1
Suppose 3*i = 7 + 2. Solve 4*f - 3*v = 28, 8 = i*f + v - 0*v for f.
4
Let c be 4/16 - 46/(-8). Let t(k) = -k**3 + 7*k**2 - 4*k - 7. Let d be t(c). Let p = -8 + 18. Solve 2*q - 6 = d*a - 0*q, -2*q = 3*a + p for a.
-2
Let l(z) = z**3 - 6*z**2 + 5*z - 4. Let j be l(5). Let y = 9 + j. Solve -4*o - 5*t = 7, 4*t = y*o + 2 + 17 for o.
-3
Let w(x) = x**3 + 5*x**2 + 3. Let r be -10*(1 - 2/4). Let d be w(r). Solve -i - 2*q = 0, -4*i - 2*q - d*q = 6 for i.
-4
Suppose 0 = 5*p + 3*k - 20, 0*k = -3*p - 5*k + 12. Let h be (-6)/4*102/(-9). Solve -p*x - h = 5*a, 11 = -5*x - 4 for a.
-1
Let i(c) = c**3 - 4*c**2 + c - 2. Let v be i(4). Solve 2*l - 6 = o, -v*o = 4*l - 30 + 2 for l.
5
Suppose -4*l - l = -30. Let v be -3 - (-39)/(0 + 3). Let w be (-3)/(-1)*v/l. Solve -2*y + w*d = 0, 0*y + d = -3*y - 17 for y.
-5
Let u = -114 - -119. Solve -4*p + 4 = 4*z, -u*z = 2*p - z + 2 for p.
3
Let g = 8 - 5. Solve 8 = -r - g*r + 4*h, -2 = 2*r - 3*h for r.
-4
Let x(k) = k - 1 - 3 + 3. Let t be x(3). Let b(h) = -h**2 + 6*h + 45. Let i be b(-4). Solve -t*z + 8 = -5*z - i*a, -3*a = 4*z + 7 for z.
-1
Let f = 2 - 23. Let q = f + 29. Solve 4*r = 2*l - q, -16 = -4*l + r - 3*r for l.
4
Let z(p) = -p**2 - 11*p + 11. Let q be z(-15). Suppose -2*d + 5*d = 42. Let w be (-7)/q - (-306)/d. Solve 4*r + 2*h + h = 7, 0 = r - 4*h + w for r.
-2
Let j be (2/(-3))/(14/315*-5). Solve 0 = c - 0*c - 5*v + j, -3*c + 3*v = -3 for c.
2
Let u(t) = t - 7. Let k be u(11). Solve 2*c + 2 = -2*p + k, 5*c - 21 = 3*p for p.
-2
Let x(z) = -z + 4. Let l be x(-6). Suppose -5*n - 24 = -2*s, -s - 1 = 2. Let b = l + n. Solve h = -b*u + 13, 3*h - u + 5 = -2*u for h.
-3
Let u(k) = 2*k + 6. Let z be u(-5). Let v be 4/6*(-54)/z. Suppose 0 = -x - 3*f - 0*f + v, 3*x + f - 35 = 0. Solve 5*g = -l - x - 11, 3*l - g - 11 = 0 for l.
2
Suppose -b - 2 = -1. Let h be b/((4/(-9))/4). Solve 0 = s - 2*z - 10, 2*s + h + 6 = -3*z for s.
0
Let j = -6 - -5. Let v be (2/(-2))/j - -1. Solve 0 = 5*z + 20, 0*h + 3*h + v*z = -14 for h.
-2
Let x be -1*1*(-4 - (1 + -3)). Solve x*b = 4*q - 2, 2*q + q - 4*b + 11 = 0 for q.
3
Let f = 21 + -20. Solve 2*t + 5 + 1 = 0, 0 = -r + 2*t + f for r.
-5
Suppose 4*x - 20 = -x. Let p(o) = o**3 + 3*o**2 - 2. Let n be p(-2). Solve n = y - 0*y, -x*c = 2*y + 16 for c.
-5
Suppose 0 = 5*x - 4*a - 60, -x + 14 = -5*a - 19. Suppose -5*q + g + 14 = -3*g, -2*q + 5*g + 9 = 0. Solve -2 = -r - s, s - x + 2 = -q*r for r.
4
Suppose 5*s - 10 = -3*q - 2*q, 0 = -s - 4*q - 7. Let g(t) = t**3 + 5*t**2 + 2. Let a be g(-5). Solve 0*z = -a*z - 2*x + 6, s*z - 3*x = 23 for z.
4
Let c = -7 + 17. Let u be (-2)/8 + c/8. Suppose 5*v + 2*p = 31, 0 = v - p - u - 1. Solve -g + 11 = 5*f - 3, 5*f - 20 = v*g for f.
3
Suppose -d = -5 + 1. Solve 0 = 3*b - 9, 3 = -d*c + 2*b + 17 for c.
5
Let w = -10 + 4. Let z be (-60)/(-27) + w/27. Let l be (2 + -1)/(5/60). Solve 0 = -2*g - 3*c - 2*c - 15, 2*c + l = -z*g for g.
-5
Let h be -1 - -1 - (-9 - 1). Let r = 228 + -225. Solve 0 = r*j + 2*j - h, -j = 2*l - 6 for l.
2
Let w be ((-18)/(6/(-2)))/(-2). Let p be (3/w)/(2/(-26)). Solve -6 = 2*x + b, -4*x = 5*b + p - 1 for x.
-3
Let n be 4*2/2 - 1. Solve 4*x - 5*f = -4, 3*x - 2*f + 0 + n = 0 for x.
-1
Suppose m - 32 = -2*s, -m = 5*s + 44 - 124. Let h = s + -11. Solve h*x + 10 = v, 0 = -4*x - 3*v + v - 8 for x.
-2
Suppose 0 = 4*r - 29 - 35. Let g(l) be the second derivative of l**3/6 - l**2 - 2*l. Let h be g(7). Solve -4*u + 3*a - r = 0, 8 = -u + h*u + 3*a for u.
-1
Let c(v) = -2*v - 10. Let j be c(-6). Solve 3*x + 29 = j*x + 5*t, 0 = -5*x + 2*t - 30 for x.
-4
Suppose 5*u - 50 = -5*f, 4 = -f + 2*u - 1. Let x = 7 - f. Solve -5*c + 0 = -3*a + 20, -x*c = 3*a + 8 for c.
-4
Let n(g) = g**2 - g + 12. Let r be n(0). Let b be (-3)/r - (-21)/4. Suppose -y + 3*l + 14 = 4*y, 2*y + 3*l - 14 = 0. Solve 0*k + 3*k + y = -s, -b*s = 5*k for s.
2
Let b be (-10)/(-1 - -1 - -1). Let m be ((-10)/(-25))/(2/b). Let u be -2 - (26/m - -1). Solve -p + 7 = -c, 4*p - 5*c - 41 = -u for p.
4
Let v be 62/15 - (-26)/(-195). Solve 0 = -5*l + 2*k - 9, 4*k = 2*l + v + 6 for l.
-1
Let a = 6 + -1. Suppose 10 = a*j, 2*j + 44 = 5*x + 4*j. Solve 0 = -6*q + 2*q + x, 0 = -r - q + 4 for r.
2
Let i = -3 + 5. Suppose -q - 3 = -i*q. Suppose 9 = -5*n + 24. Solve -5*z - 3*c = -n*z + 3, -4*z - q = 3*c for z.
0
Suppose 4*f - 14 = -2. Solve -c = -3*