+ 0*c = 5*c + 11, 2*j - 10 = c. Solve t + j*p + 24 = 5*t, 0 = -t - 2*p - 5 for t.
3
Suppose 2*r + 2 = -6. Let b(x) = -x**3 + 3*x**2 + 2*x + 1. Let c be b(3). Let i = r + c. Solve m - 3*f - 11 = 0, 0 = i*m + f - 1 - 2 for m.
2
Let f = 12 - 20. Let h = -6 - f. Let b be ((-1)/(-1))/(h/6). Solve 2 = -q - 0*o + b*o, 5*o = 5*q for q.
1
Suppose -2*c + s + 5 + 5 = 0, -s = 2*c - 6. Solve -8 = c*i, -4*i - 2 = -b + 1 for b.
-5
Let x be 2 - 6 - (-1)/(-1). Let y(k) be the first derivative of -3*k**2/2 + k + 6. Let f be y(x). Solve 5*c + f = -4*g + 3*c, -4*c = 4*g + 12 for g.
-5
Let b be 0/3 - (-14 + -1). Solve 3*v = -2*v - 2*x - b, -3*x = 3*v + 18 for v.
-1
Suppose -c = -3*c + 3*h + 18, 2*c + 5*h = -14. Let r = -3 + c. Let g = -1 + 3. Solve -4*v = g*w - 24 + 8, -2*w - 5*v + 19 = r for w.
2
Let s = -157 - -160. Solve -4*f + 5 = -5*f - 5*r, s*f + 2*r = -15 for f.
-5
Let p(o) = -o**2 + 10*o - 9. Let i be p(9). Suppose i = -10*s + 5*s. Solve -4*r = t + 14, 24 = -5*r + 2*t - s*t for r.
-4
Let l be 0 - 1 - -3 - 2. Let p = l + 0. Suppose p = 3*f - 2*f. Solve -5*d - 10 = -h + 1, -5*h + d - 17 = f for h.
-4
Suppose -d = 2*d + 12. Suppose 0*y + 24 = 3*y. Let o = y + d. Solve 5*c - 2*b - 1 = 0, -c = 2*b - 9 + o for c.
1
Suppose -2 = r - 0*r - 2*x, -5*r + 5 = -5*x. Solve -2*s + 3*y + 6 = 31, -4*y = r*s for s.
-5
Let r be (-3 + 1)*(6 + -5). Suppose 5 + 19 = -4*j. Let a be r/2*(j - 1). Solve 0 = -3*z - 5*p + 31, p = -z - 0*z + a for z.
2
Let b be 1958/165 + (-2)/(-15). Solve 0 = -4*a - b, 5*k + 5*a = -25 + 5 for k.
-1
Let z = -67 - -68. Solve -5*c + 5*x = -40, c + 2 - z = -2*x for c.
5
Let t be 56/14*(-2)/(-2). Solve a = 2*n + 2*a - 11, t*n - a = 7 for n.
3
Let s = 90 + -86. Solve 0 = -s*m - g + 10, 0*m - m = -4*g + 6 for m.
2
Let x(f) = 5*f**2 + f + 1. Let k be x(-1). Let u be -14*(2 + 15/(-6)). Suppose 2*t = t + 3*g - u, 0 = 4*t + g - 11. Solve 2*y = -y + t*v + k, 2 = v for y.
3
Suppose -2*w + 6 + 0 = 3*u, 0 = -2*w. Suppose -28 = -6*g + 2*g. Suppose -4*y - g = 3*r, -y + 2 = u*r - 0*y. Solve 0 = -3*i + 6*l - l + 7, -i + r*l = -1 for i.
4
Suppose 2*i = 5*n + 14, 5*n - 6 = -5*i + 3*n. Solve -t = -4*u + 7, -3*u = -i*t - 4*u + 4 for t.
1
Suppose 5*c - 6 = 14. Let s be (1 - c)*1*-1. Suppose s + 13 = 2*i. Solve -3*k - 6 = 0, 2*k + 2 - i = -2*g for g.
5
Suppose 43*n = 47*n - 20. Let r(c) = c**2 + 4*c + 2. Let x be r(-3). Let q = 1 + x. Solve 5*d - 4*a - 11 = 0, 6*d - n*d + 5*a + 21 = q for d.
-1
Let y(k) = 2*k - 7. Let r be y(5). Solve -2*m = 3*m + r*x + 15, 4*x + 15 = -5*m for m.
-3
Let f(l) = 6*l + 51. Let k be f(-8). Solve k*i - 4*o + 15 + 1 = 0, 0 = o - 4 for i.
0
Let d(g) be the second derivative of g**4/12 + 5*g**3/6 - g**2 + g. Let c be d(-6). Solve 0 = -3*p - f - f - 19, 4*f + 8 = c*p for p.
-3
Let r(y) = 6*y**2 - y - 2. Let w be r(2). Solve 0 = -4*x + w, 4*x = 4*o + 5*x + 3 for o.
-2
Suppose 4*k - 17 + 1 = 0. Solve 5*l - 25 = 2*s, -k*s - 2*l = s - 10 for s.
0
Let u be 2*((-6)/(-4) - 1). Solve 15 = -5*v - 2*p, 0 = v + 3*p - 11 + u for v.
-5
Let a = 0 + -2. Let y be (-22)/a + (-2 - -1). Let n(w) = 3*w**2 - w. Let s be n(-1). Solve 0 = -4*g - 4, s*l + 2*g = 6*l - y for l.
4
Suppose 0 = a + 2*a - 15, 2*b + 3*a - 19 = 0. Suppose -4*m = -5*m + 22. Suppose m = 3*z - 2*y, 4*z + z + 3*y = 5. Solve -10 = -5*q, z*h + b*q + 6 = -6 for h.
-4
Let v be 45/10*4/(-6). Let f be 6/(-4)*8/v. Solve f*k + 9 + 0 = j, -3*k = -5*j + 11 for k.
-2
Suppose -2*j + 0*s - 5*s + 9 = 0, -31 = -4*j + 3*s. Solve y + 8 = 2*g - j*g, 0 = 4*y - 3*g + 9 for y.
-3
Let j = -11 + 11. Suppose j = -h + 3*h - 6. Solve 3*p - 22 = -2*m, 0*p = -4*p - h*m + 31 for p.
4
Let w = -91 - -114. Solve 0 = -4*j - j + 3*f + w, j - 8 = 4*f for j.
4
Suppose 0 = -3*n - n + 12. Suppose 5*x - 2*y - 15 = -0*y, 20 = x + n*y. Suppose 2*b - 2 = b, -3*k + 25 = x*b. Solve k*q = 4*i + 20, -4*q + 10 = -6 for i.
0
Let m(c) = c**2 + 17*c + 17. Let w be m(-17). Solve 4*h + 1 - 5 = 0, 3*o + w = 5*h for o.
-4
Let r(h) = h**3 + 11*h**2 - h - 6. Let f be r(-11). Solve -5*c + f*y = 0, -4*c + y + 8 = -y for c.
4
Suppose 0*k = 3*k. Suppose k = -0*z - 4*z + 12. Solve 2*b - 13 - 6 = z*f, f + 15 = 5*b for b.
2
Suppose 0*d + 87 = 3*d. Suppose -3*f + 12 = -0*f. Suppose f*y + 3*p + 15 = 0, -2*y - 4*p = -6*y + 20. Solve y*w = -5*u + 4*w - d, 3*u + w = -14 for u.
-5
Let f = 0 + 0. Suppose -12 = -f*w - 3*w. Suppose -2 = -w*s + 3*s. Solve -5*b - 3*g = -s*b + 12, 3*b = -4*g - 15 for b.
-1
Let b be ((-32)/20)/((-4)/30). Suppose -4*v + 33 = -5*m, 18 = 5*v - 4*m - b. Solve -5*q - 5 = 4*f - 17, 5*q = v*f - 6 for f.
3
Suppose -4*y + 2*o = -18, -2*y = -y + o. Solve 2*l = -z - 2*z - y, 0 = 4*l - 5*z - 27 for l.
3
Let w(c) = -c**2 - 6*c - 1. Let s be w(-7). Let i = 8 + s. Solve -t + i*t + 21 = -5*z, 16 = t - 4*z for t.
-4
Let o = 4 + -4. Solve 5*m - l + 27 = 0, o*l - l - 8 = 2*m for m.
-5
Let v(w) = 2*w + 13. Let d be v(-4). Solve o - d = -0*o, -4*l + 4*o - 40 = 0 for l.
-5
Let k = 8 + 0. Let v = -5 + k. Suppose 0 = 2*b - 0*b - 20. Solve -b = z + 2*u, -z = -2*u + v*u + 7 for z.
-4
Let n(g) = -6*g**3 - 2*g**2 + 5*g + 6. Let s be n(-1). Solve -j + 7 = 3*d, s*j - 21 = d - 2*d for d.
1
Suppose -v + 6*b = 2*b - 10, -v + b = -1. Let g = 4 + v. Let x = 4 + 0. Solve x*j - 3*t + g = 0, -8 = -4*t - 0 for j.
1
Let y(o) = o**3 + 7*o**2 - 10*o - 8. Let n be y(-8). Solve 0*d + 2 = -2*d, 4*d + n = 4*s for s.
1
Suppose -i = -m - 18, 2*i - 3*i - 3*m - 2 = 0. Solve -3*s - s = -4*n + 28, -i = 3*s + n for s.
-5
Suppose 3*q + 9 = 6*q. Let t be (-51)/2*(-24)/18. Let d = 59 - t. Solve q*j - 5*b + 20 = 0, 5*j + b - 1 = -d for j.
-5
Let i(m) = 5*m - 2. Suppose 0 = -c + 2. Let t be i(c). Solve 0 = -4*k - t*w + 3*w - 16, -4 = k + 2*w for k.
-4
Suppose 0 = -4*g + 12. Suppose g*o + o = 0. Suppose -3*l + 6 + 6 = o. Solve 5*x - 3*x - l = 0, x - 17 = -5*m for m.
3
Let s be (-344)/(-28) + 6/(-21). Solve 9 = q - 3*v + v, 0 = 4*q + 4*v + s for q.
1
Let j(b) = -b**3 + 4*b**2 + 6*b - 1. Let m be j(5). Solve 0 = y + 2*a + 1, y = m*a + 1 + 4 for y.
1
Let z be ((-8)/4)/(4/(-6)). Suppose 2*s = 9 - z. Solve t = -2*o - s + 6, -2*t = -4*o - 14 for o.
-1
Let y(q) = -q**3 - 13*q**2 + 11*q - 37. Let u be y(-14). Solve -3*n = -4*s - 3 - 8, -s - u = 0 for n.
-3
Let d(p) = p - 4. Let y be d(-4). Suppose -10*u = -5*u - 35. Let z be y/28 + 2/u. Solve -4*a = -z*a - 3*x + 1, 2*a = -2*x - 18 for a.
-4
Let h be (-8)/(-24) - (-2)/3. Solve -5*k = -5*b + 15, -3*b + 2*k = k - h for b.
-1
Let i = -6 + -5. Let f = -7 - i. Solve -1 = -f*y + y - 2*w, -2*y = 5*w + 14 for y.
3
Let z(k) = -4*k - 4. Let x be z(-2). Solve -i + 11 - 4 = -5*u, -x*i - 12 = 0 for u.
-2
Let j(c) = -c**2 - 9*c - 10. Let y be j(-7). Suppose 4*n = 4, u + 0*n = y*n + 13. Solve 3*l = t - 11, -5*l = -0*l - t + u for l.
-3
Suppose -2*s + 4 = -0*s. Solve -4*l + 20 = 0, 15 = s*c + 3*l - 10 for c.
5
Let p(a) = a**3 + 6*a**2 + 2. Let z be p(-6). Suppose -2*j + 0 + 20 = 0. Let b be (-4)/j*(-10)/2. Solve -i + 10 = -4*v + b*v, 0 = v + i + z for v.
-4
Let f be 6 + (-1 - (-4)/(-4)). Let o be 1*6*f/8. Solve -4 = 4*d + 2*t, 0*t = -d + o*t + 6 for d.
0
Suppose 5*v + 9 = 4*p, -3*v - 2*p + 3 = -4*v. Let g = 11 + -5. Let f be (-3)/g*8/v. Solve 2*i + 4*z = i - 1, -f*i = -3*z - 15 for i.
3
Suppose -5*r - c - 3*c = -30, 2*c - 12 = -2*r. Solve -2*o + q - r*q + 16 = 0, -4*q = o - 11 for o.
3
Let x be ((-2)/(-7))/((-9)/(-63)). Solve -8 = x*k - 0*k - 4*z, -3 = -z for k.
2
Let f = -8 - -10. Suppose -3 = 5*u + f*q, 3*q + 7 = -5. Solve -2*b + g = -5, 5*b + 3*g - u = 3*b for b.
2
Let s(k) be the second derivative of k**5/20 - k**4/2 - k**3/6 + 4*k**2 + 2*k. Let u be s(6). Solve 2*y + 4*d = 4*y + 16, -2*y - u*d + 8 = 0 for y.
0
Let l(y) be the first derivative of -y**4/4 + 5*y**3/3 - y**2/2 - 4*y - 2. Let u be l(3). Let b = u + -4. Solve 12 = -4*z - 4*k, 3*k + b = -z + k for z.
1
Suppose -2*y = -0 - 2. Let b = 0 - y. Let o = b + 3. Solve 0 = 3*z + 12, 2*z = -2*s - 6 - o for s.
0
Let d = -14 + 9. Let s = -1 + 9. Let v = d + s. Solve -2*j - v*y - 9 = j, 5 = -3*j + y for j.
-2
Suppose 0 = 33*y - 29*y - 56. Solve -4*j + y = -5*l + 3*l, -l - 2 = 3*j for j.
1
Let c = -68 + 72. Solve 5*l = c*k + 37, 0 = 2*l + l + 2*k - 9 for l.
5
Let a = 2 - -1. Let s = -1 - -3. Let o be (-9)/s*6/(-9). Solve 11 = d + 2*c, -o*c + 1 + 2 = -a*d for d.
3
Let t = 1 - 1. Suppose 3*d - 6 + t = 0. Suppose -4*q + 3*