p = -k - 2, 2*p - k - 6 = -m for p.
4
Suppose 0 = -5*t - 7 + 22. Suppose t = 2*y - y. Solve -y*j = 5*h - 15, -4*j + 5*h + 0 = 15 for j.
0
Let v(u) = u + 8. Let d(g) = -g. Let i be d(-2). Let a be (-6)/(-4) + (-15)/i. Let c be v(a). Solve 4*m - c*n + 9 - 3 = 0, m - 5*n + 24 = 0 for m.
1
Suppose -2*l - 72 = -2*s, 6*s - 10 = s. Let v be (-1)/(l/18 - -2). Let n be 6/(-4)*48/v. Solve f - 4*x = n, 5*f = 3*x - 5*x - 26 for f.
-4
Let b(g) be the third derivative of g**5/60 - g**4/24 - 4*g**2. Let y be b(0). Suppose -5*p + y*p + 10 = 0. Solve p*d + 8 = -r, r - 13 = 6*r + d for r.
-2
Let o(l) = -3*l - 1. Let w be o(-2). Let h be 0/(-11) - (-1 - 2). Suppose 33 = h*m + 12. Solve -3*s + w*s + 5*n = 7, -n + m = -s for s.
-4
Suppose 0 = -w + 5*g + 22, -3*w - 2 = w - 2*g. Let s(q) = -q**2 - 4*q + 2. Let j be s(w). Solve -4*t + 7*u - 2*u + 36 = 0, -t + j*u + 24 = 0 for t.
4
Let i be ((-64)/(-10))/(12/30). Solve -n - 4*b - 32 = 4*n, n + i = -4*b for n.
-4
Let t(d) = 2*d**2. Let u(y) = -2*y**3 - 1. Let z be u(-1). Let a be t(z). Suppose -2*c = -c - a. Solve -3*m = -3*j + 2*m + 21, 16 = c*j - 4*m for j.
2
Let b(j) = 7*j**2 - j - 2. Let x be b(2). Let v(q) = q**3 - 5*q**2 - 9*q + 6. Let s be v(6). Let o = 19 + s. Solve -o*g + 4*d + x = -3*g, -4*g = 2*d for g.
2
Let u(m) = 2*m + 13. Suppose 12 = -2*w - 0*w. Let v be u(w). Solve -5*o + 9 = 2*z + v, -5*z = -20 for o.
0
Let u = 80 + -76. Solve f + 3*f + 16 = -u*a, 0 = a + 2*f + 8 for a.
0
Suppose 33*z - 32*z - 14 = 0. Solve -3*o - p = z, -4*p + 7 = 27 for o.
-3
Suppose 4*h - 2*m = 20, 4*h - 4 = h - 4*m. Suppose -u = -h*u + 6. Solve -q = -3*t + 4*q + 7, 0 = -5*t - u*q - 9 for t.
-1
Let f(q) = -q**2 + 5*q + 1. Let p be f(6). Let c(z) = -z**2 - 5*z + 5. Let h be c(p). Solve -4*u + h*m = 22, 5*m = -u + 13 - 6 for u.
-3
Suppose 0 = -3*a - 2*m + 58, 4*a - m = 99 - 40. Suppose -s = 3*s + 32. Let d = a - s. Solve 3*c + 3*r = 6*r - d, -2*c - 3*r + 9 = 0 for c.
-3
Suppose -4*g = -12, -5*g = -7*v + 9*v - 25. Solve v*f - 4*r = -7 + 28, -r = -f + 4 for f.
5
Let a(l) = 2*l**2 + 3*l - 3. Let s be a(2). Suppose 5*q - 5*t = 10, -5*q + 5 = -3*t - s. Solve 0 = 4*c, 0*g - 5*g - 15 = q*c for g.
-3
Suppose -164 = -p - 0*j + j, 3*p + j = 476. Suppose y = -y + p. Suppose 3*h + y = 7*h. Solve -5*m + 4*i + 27 = 0, -5*m + h = -i + 2 for m.
3
Suppose 7 = 4*n - 0*h + 5*h, h = 4*n - 37. Solve 0 = -k + q, 2*k + q = -k - n for k.
-2
Let g = 18 + -16. Solve 5*i - 5*u = 0, -5*u = -g*i - 0*i for i.
0
Suppose -x + 2 = 1. Let i = x - -4. Solve -9 = -i*t + g, g = -2*t - 3*g - 14 for t.
1
Let z = 8 + -7. Let n be (-8)/6*(-6)/z. Solve 4*s = -4*r - n, 5*s + 0*s + 8 = -3*r for s.
-1
Let t = -131 + 166. Solve 5*u - 5 = -2*n, -2*n + t = -6*n + 5*u for n.
-5
Suppose 0 = -4*p + 119 + 85. Suppose -2*m + p = 17. Suppose 0*h - 3*h + 15 = 0. Solve -3*f = h*k - 0*f + m, -3*k = 5*f + 7 for k.
-4
Let w(r) = -4*r**2 + 2 - r**3 + 2 + r + 0*r**2. Let f be w(-4). Suppose -x + 8 = -f*x. Solve 3*z = x*z + 15, 0 = c + 3*z + 10 for c.
-1
Suppose 3*z - 8*z = -2*g + 7, 3*g - 15 = 3*z. Solve 0 = 2*s + g, j + 3*j - 5*s = 35 for j.
5
Let h = 10 + 3. Solve -15 = -2*u - y, -5*y + 12 + h = 0 for u.
5
Suppose 0 = -0*j + 5*j + 2*n - 17, 5*n = 5*j - 10. Suppose -j*y - c + 39 = -5, -y + 18 = 2*c. Solve 3*h + 1 = 2*r + 10, -h = 3*r - y for h.
5
Let i(n) = -3*n - 5. Let y be i(-10). Solve -y = 5*b + a + a, 0 = 5*b + 4*a + 25 for b.
-5
Suppose -5*j = 3*q - 6*q + 27, -4*q + 36 = 4*j. Suppose -4*z - q = -1. Let f = 0 - z. Solve -f*u - 15 = 3*a, a - 2*a = -u for u.
-3
Let u be -1 + 4 + 0 + 1. Suppose 4*y - 5*y + 3*p + u = 0, -2*y - p = -15. Suppose -3*h = -y*h. Solve x = -f - h*x + 10, 0 = -f + 4*x - 15 for f.
5
Suppose -11*i + 15*i = 0. Solve -5*a - 2*h - 13 = i, -2*a - 2*h + 5*h = 9 for a.
-3
Let z be 1/(-3)*(4 - 7). Let v be 16 - (-3)/(3/z). Let l = -12 + v. Solve l*i - 10 = -5*q, 1 = -0*i - 2*i + 3*q for i.
1
Suppose 0 = -5*l + 10. Let q(a) = -2 + 5*a**2 + 0*a**l - a + 3. Let s be q(1). Solve 5*f - 27 = 3*o, 19 = s*f - 0*o - o for f.
3
Suppose 0*p - p = -4. Let n = 0 + 0. Suppose n*x - p = -2*x. Solve 0 = -4*f + 8, -t = -x*f - 0*f - 1 for t.
5
Let f = 18 - 15. Solve 0*z - z = -3*i - 14, -f*z - 3*i = 18 for z.
-1
Let w be 1 - -3 - (-3 + 2). Let t(d) = d**3 - 4*d**2 - 6*d + 7. Let k be t(w). Suppose 4*s = 7*s - 33. Solve r - k*y = 7, -6*y = -5*r - 2*y + s for r.
-1
Let q(y) = -9*y - 4. Let p = 8 - 5. Let m be q(p). Let r be 0 - m - (1 - 1). Solve 0 = -3*d - 15, 3*g - 3*d - r = 2*d for g.
2
Let t(l) = l**2 - 9*l - 7. Let y be t(10). Suppose 6*s - 3*x + 3 = 3*s, -2*x = -y*s + 2. Solve -3*o - 19 = -2*n, -10 = 2*o - s for n.
5
Let t = 25 + -17. Solve 0 = -p + 4*p + 6, -4*h - t = 2*p for h.
-1
Suppose n + 5*g + 17 = g, 0 = 4*n - g - 17. Let h(o) = o**n + 7 + 3 - o + 4 + o**2. Let r be h(0). Solve 0 = -4*i - 3*p - r, -2*i = -0*i + 4*p + 2 for i.
-5
Suppose 4*i = -5*r + 62, 4*r - 33 - 25 = i. Suppose -5*f = -5*g + 5, f - 3*g - 2*g + 21 = 0. Solve -a = 2*y + 3 - r, -2*a + f*y - 18 = 0 for a.
1
Let f(x) be the first derivative of -x**3/3 - 5*x**2/2 + 2*x - 2. Let i be f(-5). Suppose -5*h + 15 = -i*h. Solve h*l = k + 2*k + 24, 2*l = -k + 3 for l.
3
Suppose 10 = 2*t, 5*r - 27 = 2*t + 3. Solve 0 = 5*q + 3*o + 12, 2*q = -q - o - r for q.
-3
Suppose -2*u - 12 = -4*u. Let i(z) = z**2 - z + 2. Let s be i(0). Let d be 2 + 0 - (-2 - -2). Solve d*o + x + 3*x = -u, 0 = s*o - 3*x + 13 for o.
-5
Let h(w) = -w**2 - 6*w + 3. Let a be h(-6). Let b = 8 - 8. Let i be b - (-5)/((-10)/(-6)). Solve a*f - q - 17 = -i, q = 1 for f.
5
Let w = 14 - 12. Let r be -2*(6/w)/(-6). Solve d + r = -3*a, -d - 4*a - 1 = -0 for d.
-1
Suppose -3*l = -0*l. Suppose 0*x + 2*r - 6 = -5*x, 2*x - r + 3 = l. Solve -k + 3 = -3*z, x = 5*z - k - 0 + 3 for z.
0
Suppose -40 = -c - 3*c. Let m = c - 9. Solve 3*t = -3*y + 9, 2*y + 1 + m = 2*t for t.
2
Let g be ((-6)/8)/((-1)/4). Suppose 5*z = -2*z + 14. Suppose -4*b + 36 = -0*b. Solve 3*a = 2*f + z*a - b, 3*f + 2*a = g for f.
3
Suppose -2*i - 5 - 1 = 0, -5*w + 3*i = -34. Suppose 3*g = 2*g. Solve g = -4*r - j - 3, -5*j + w = 5*r - 10 for r.
-2
Suppose c + c = g + 4, 2*g + 3*c = 13. Solve -4*j = -g*w - 4, -4*j + 4 = -0*j for w.
0
Suppose 4*m - 17 = a, -a = a + 2*m - 16. Solve -4*c - a*r = 4, -c + 2 = -3*c + 4*r for c.
-1
Suppose -2*c - 8 = -6*c. Suppose g + c = -l, -l = g - 6*l - 22. Let n be (-3)/9 - (-1)/3. Solve -4*k + 2*k + 3*h - g = n, 5*k - 14 = -2*h for k.
2
Suppose 15 + 2 = z. Let o = 44 - 39. Solve 4*d = -2*i - 2*i - 16, 0 = 4*d + o*i + z for d.
-3
Let k be (9 - 2) + (-15)/5. Solve 2*r + 22 = k*u, -4*r + 4 = 4*u - 0 for u.
4
Suppose 20 = 3*q + 4*b, 4*q + 5*b - 1 = 25. Solve 4*d = 5*g - 16 - 7, 0 = -q*d - 4*g + 4 for d.
-2
Let y be -10*((-124)/10 - -4). Let g be (-2*1)/((-1)/8). Let r be 1/(-4) + y/g. Solve 2*f - 3*n - 30 = -f, -n = 2*f - r for f.
5
Let q(t) = -4*t - 3. Let u be q(-7). Suppose -7*i = -2*i - u. Suppose -2*m - 10 = 0, -4*z + 2*m + 87 = 3*m. Solve i*n - z = -3*l, 3*n - 2*l = n + 6 for n.
4
Let r = 12 + -9. Solve -i + 4*n + 6 = 0, 3*i - r*n + 0*n = 9 for i.
2
Let o = 69 + -66. Let c(i) = i**3 - 3*i**2 - 5*i + 6. Let g be c(4). Solve 6 = o*h + g*u - 4*u, -2*u = 5*h - 10 for h.
2
Let f = 1 - -1. Suppose -z + 6 = f. Suppose j + 0*j + 6 = -3*b, 4*j = -3*b + 3. Solve -o + d - 13 = -z*o, -j*d = -3 for o.
4
Suppose -4*j + 2*j + 2 = 0. Suppose 0 = -0*z + 3*z - 12. Suppose -r + 2*v + 3 - 6 = 0, -4*r - 3 = -5*v. Solve 24 = -z*q + 4*c, -j = 4*q - r*c + 19 for q.
-2
Let x(a) = -a**3 + 9*a**2 + 2*a - 16. Let b be x(9). Solve 0 = -3*p, -3*l + b*p + 15 = p for l.
5
Let u be (-6)/16*2 + 171/36. Solve -2*m = 4*t - 20 + 2, m + u*t - 15 = 0 for m.
3
Let m(n) = -n**2 + 7*n. Let v = 10 + -6. Suppose -3*l + v*h = -6*l + 34, 2*h - 14 = -l. Let g be m(l). Solve g = -f - 2*r, f + 6 - 24 = 4*r for f.
2
Let q be -1 - -19 - 1/((-1)/(-2)). Solve -5*i + 12 = -3*k, i + 2*k + q = -2*k for i.
0
Let g = 11 - 7. Let w(m) = m**2 - 5*m + 6. Let v be w(g). Solve 0 = -v*d + 10, -z = z + d + 1 for z.
-3
Suppose 0 = -5*p + 7 + 13. Suppose -4*r = -3*r - p. Suppose -24 = f - 4*f - 3*c, -8 = -5*f + 3*c. Solve -f = -r*u, 6 = y + 3*u - u for y.
4
Let q(c) be the first derivative of -c**3/3 - 5*c**2/2 - c - 5. Let g be q(-4). Solve 2*p = p + g*x - 17, -x + 29 = -5*p for p.
-5
Suppose -10*s = -7*s - 12. Solve 0*p - a = s*p + 1