*m + 23 = 0. Solve t*w = -3*h - 15, 2*h + 5 = -4*w - 5 for h.
-5
Let p(q) = -7*q - 5. Let w be p(-4). Let l = w + -21. Solve -n + 13 = l*g, 1 = -5*n + 16 for g.
5
Let u(j) = j - 1. Let h be u(2). Let z be (-3)/(h + (-1 - -1)). Let x(i) = i + 3. Let r be x(z). Solve 10 = 2*g, -v - g + 2 = -r*g for v.
-3
Suppose -11 - 9 = -5*s. Solve 4*l = -s*a + 4, -3*l - 5*a + 8 - 1 = 0 for l.
-1
Let f(u) be the third derivative of u**6/120 - u**5/60 + 2*u**3/3 + 2*u**2. Let m be f(0). Solve -o = -2*x + 2*o + 11, -4*x + m*o + 12 = 0 for x.
-2
Let j(p) be the third derivative of 0 + 7/24*p**4 + 0*p + p**2 + 1/120*p**6 - 7/60*p**5 - 5/6*p**3. Let q be j(6). Solve n - q = b, -3*b + 0*b = -4*n + 3 for n.
0
Let b = -27 - -34. Solve -2 = 5*z - 4*c, 0 = 5*c - b - 8 for z.
2
Suppose -5*u - 81 = -5*q - 31, -4*q - 5*u = 5. Solve -5*m + 5*r = 45, 0 = -2*m - 0*m + q*r - 33 for m.
-4
Let c be (-185)/(-35) + (-4)/14. Suppose 4*h - 11 = 3*h. Solve 4*t - h = -5*b + 5, c*b = 2*t - 8 for b.
0
Let c = 54 - 50. Solve 5*y = -2*q - 17, -c*q = 2*y - 5 - 1 for y.
-5
Let s be -2 + 0 + -1 - -3. Solve y - 2 = -4*g - s, -2*y = -g - 4 for g.
0
Let g be 3 + 1 + 1 - 1. Let j be (-2)/g - 9/(-2). Solve -2*a - j*m = -5*a - 12, m - 3 = 2*a for a.
0
Suppose -4*d - 3 = -2*u - 1, 7 = u + 4*d. Let p = 5 + -3. Solve -3*a = -u*t + 6, -3*a = 5*t - p*t for t.
1
Let d = 28 - 23. Solve -g = 3*x + d, x + 2*x + 5*g + 25 = 0 for x.
0
Let j = -12 + 15. Solve -j*d + 3*r - 6 = 0, 0*d - 4*d - 20 = 2*r for d.
-4
Let s = 0 + 2. Solve 3*x - 25 = -t - 11, -s*t - 5*x + 25 = 0 for t.
5
Let t(k) = -k**2 + 10*k - 6. Let b be t(7). Let u = b - 13. Solve 5*o = 4*a + 31, -4 = -3*o - o - u*a for o.
3
Suppose 15 - 3 = 2*a. Solve -a = 2*r, 5*b + 17 = b - 3*r for b.
-2
Let r = 8 + -4. Solve 4*z - r*k = -24, 2*z + k = 6*k - 27 for z.
-1
Let y(m) be the second derivative of m**5/20 - 3*m**4/4 + 4*m**3/3 + 3*m**2 + m. Let f be y(8). Solve -5*d = 2*u, 3*u + 9 = 3*d - f*d for d.
2
Let v be (2 - 1)*-4 - -7. Solve -4*u + 23 = 5*q, v*q + q - 14 = -u for u.
2
Suppose -a - 7 = -3*g - 2*a, 0 = -4*g - a + 9. Solve 3*x - 11 = -g*q, 4*q + 5*x - 1 - 16 = 0 for q.
-2
Suppose 3*r - 8 = r + q, 20 = -5*q. Solve 13 = -5*h - r*n, 5*h + 14 = h + 2*n for h.
-3
Let p = -16 - -27. Solve 2*q - 16 = 4*r, 0*r - 3*q - p = r for r.
-5
Let n(a) = -a**2 + a - 3. Let b be n(0). Let k be 2/b + (-22)/(-6). Solve k*t - 23 = -2*y, 3*y + t + 8 = 5*t for y.
4
Let s be 3/(-2*6/8). Let w be ((-6)/5)/(s/(-20)). Let m be 1/3 - 80/w. Solve 4*b - 3*c = m, 2*c = -0*b + 5*b for b.
-2
Let o(h) be the third derivative of -h**5/60 - h**4/3 + 7*h**3/6 + 2*h**2. Let g be o(-10). Let l = -9 - g. Solve -x = a + 6, l*a - 2*a + 6 = 4*x for x.
-1
Let c = -16 - -20. Solve 4*n - 5*f = -5, -c*n - f = f - 2 for n.
0
Let z be 37/7 - 4/14. Let h be 0/((-1 + -15)/4). Solve -2*n - 4*t - 16 = 0, h = 3*n + z*t + 11 + 9 for n.
0
Suppose 4*s + c - 10 = -0*c, -3*s = 4*c - 14. Let i(k) = k - 2. Let p be i(s). Suppose p*u = -5*u. Solve -f = 2*g, -3*f - 4*g + 0*g + 2 = u for f.
2
Let o = 4 + -2. Let y(p) = -p**2 - 9*p + 4. Let k be y(-5). Let i be (k/1)/3 - 3. Solve 0*f - s = o*f + 7, i*s = 15 for f.
-5
Suppose 5*p + 25 = 0, -2*c = 4*p + 8 + 4. Let s be 0 + 0 - (-198)/6. Let b = s + -19. Solve 6 = -2*g + k, k - b = 2*g + c*k for g.
-4
Let g = 17 + -10. Solve 5*t + 3*u = -17 - 1, u = -2*t - g for t.
-3
Let t(g) = -2*g + 0 - 1 + g. Let i be t(6). Let r(h) = h**2 + 8*h + 9. Let b be r(i). Solve -4*d + 2*s + 20 - 6 = 0, d = -s + b for d.
3
Let w(a) = 2*a - 1. Let z be w(3). Suppose -2*k + 3 + 9 = 0. Let g be (k/4 + -1)*8. Solve -2*r + 2 = z*t + 9, r = g*t + 16 for r.
4
Let s = 12 - 10. Suppose -10 = s*c - 4*c. Solve -c*o = i - 19, -i + 2*i + 1 = 0 for o.
4
Let k = 0 + -2. Let n be 5/(15/12) + k. Suppose -5*o = 4*t - n*t, -3*o = 3*t. Solve 5*q = 2*h + 5 - 25, o = -h - 3*q - 1 for h.
5
Suppose -3*x + 6 = 3. Solve -3*a + 3*z + x = -11, -4*a = 4*z - 8 for a.
3
Suppose 2*g - 1 - 3 = 2*k, 0 = -4*g - 20. Let q = k + 10. Solve 0 = 2*u - q*d - 20 - 5, -20 = -u + 3*d for u.
5
Let c be 8/(-6)*3/(-2). Suppose 5*s + 1 = 21. Solve -c*z - 3*z = -s*h - 31, 2*z = -h + 2 for z.
3
Suppose 6 = -4*a - 5*g + 1, -5 = -5*a + 5*g. Suppose -3*t + 2*k - 2 = 4, 0 = 2*t - 2*k + 6. Let p = a + t. Solve -d - 1 = p, 4*m + 4*d + 1 = -3 for m.
0
Suppose 2*u = 5*u. Suppose u = 4*g + 4*h - 12, 0 = 3*g + h - 6*h - 9. Solve 2*y - 15 = 5*t, -9 = -2*y - g*t + 2*t for y.
5
Suppose 12 = 3*n + 3. Suppose -5*v + 18 = -n*v - 2*t, -5*t - 5 = 3*v. Solve 9*f = 4*f - 4*p - 14, -v*f - 13 = 3*p for f.
-2
Let y be (9 - 0) + (-6 - -2). Solve -x + y = -3*l, -2*x = -5*x + 15 for l.
0
Let s(y) = -y - 4 - y + 3*y + 11. Let x be s(-7). Suppose x = m + m - 8. Solve -m*i = 3*l + 19, 4*l - 2*i = -0*i - 18 for l.
-5
Let v = 1 + 1. Solve v*y - 3*q + 2 = -13, 3*q = y + 12 for y.
-3
Let p(q) be the third derivative of 0*q - 4/3*q**3 - q**2 + 0 - 1/12*q**4. Let z be p(-6). Solve -12 = -3*y + 4*c, z*c + 4 = 4*y - 3*y for y.
4
Let o(u) = 2*u**2 - 4. Let y(b) = -3*b**2 + b + 7. Let f(c) = 5*o(c) + 3*y(c). Let t be f(-6). Solve -5*p = 3*s - t, 14 = 5*p + s - 9 for p.
5
Let r = 78 + -51. Solve -5*k + 3*w = w + r, -k - 5*w = 0 for k.
-5
Let j be ((-6)/4)/(3/(-20)). Let k be (j/(-25))/(2/(-10)). Let f(g) = g**3 + g**2 - 2*g + 1. Let n be f(2). Solve 3*u = -3*c - 9, -2*u = -3*c + k*u - n for c.
-3
Let v be 140/18 + 10/45. Let p = v + -2. Solve -3*u - 2*a - 2 + 4 = 0, 5*u + p = -a for u.
-2
Let p be (0/(8/(-4)))/(6/(-6)). Solve -3*s + 3*m = 15, -m = -p*m - 1 for s.
-4
Let g be 1*2 + (8/(-4) - -2). Solve -2*v - 11 = -0*v + 3*t, 0 = g*v - t + 7 for v.
-4
Suppose 0 = -4*t + 5*s - 7, 3*t + 2*s - 8 = 4. Solve -4*l - 8 = 5*w - 31, t*l = 2*w - 2 for l.
2
Suppose -l - 3*l = -8. Solve 3*c - 6 = -j, -1 = 3*c + l*j - 10 for c.
1
Suppose 5*u - 4*x = 12, 4*u - 5*x = -2*x + 10. Solve -6 = 4*k + 4*g + 2, 0 = -k - u*g - 8 for k.
0
Let r = 1 - -1. Suppose -5*s = -3*x + 8, -4*x = -r*s + s - 5. Let t(u) = -2*u - 5. Let i be t(-5). Solve i*h - 3*h = -2*z - 6, x = -3*z + h for z.
-1
Let y(m) be the first derivative of m**2 - 4*m + 6. Let o be y(4). Solve 5*n - i - 2 = -0*i, -o*n - 3*i - 6 = 0 for n.
0
Let k(b) = b. Let l be k(3). Suppose 0 = 2*s + 1 - 5. Solve -5*i = -2*f - s, -3*i - 3 = l*f - 6*i for f.
-1
Suppose 20 = 5*b + 5*v, -18 = -5*b - 2*v - 4. Solve 3*g - 4 = -2*u, -4*g + 5*u - 8 = b for g.
0
Let l(u) = u**3 - 5*u**2 + 3 + 4*u + 2*u - 2*u**3. Let p be l(-6). Solve -y = -p*t - 2, -3*t + 3*y = -0*t + 12 for t.
1
Suppose 4*u + 4 = 0, 5*u + 25 = -4*j - j. Let x = 1 - j. Solve -x*k - 15 = 4*t, -4*k = 2*t + k + 15 for t.
0
Let a = 21 - 19. Solve 7*r - a*r + 20 = d, 2*d + r = 7 for d.
5
Let w(c) = -5*c - 2. Let j be w(-3). Suppose -a + 1 + 17 = 0. Suppose 4*s = s + 9. Solve -4*n - j = -o, -n - s*o + a = o for n.
-2
Let n = 111 + -107. Solve -n*d + b - 2 = 13, 4*b - 24 = 4*d for d.
-3
Let n(c) = -c - 7. Let a be n(-9). Let z be (10 + -12)/(a/(-11)). Solve -2*s - 6 = -4*h, 5*h - 2*s - z = -4 for h.
1
Let z(d) = 10*d**2 + 2*d + 1. Let r be z(-1). Let b(o) be the first derivative of o**2/2 + 7*o - 6. Let j be b(r). Solve -u = k, -2*k + 2*u - j = -0*k for k.
-4
Suppose -4*h + 3*k - 5 = -17, 5*h = 4*k + 15. Solve h*d = 4*f - 0*f, 20 = 5*d for f.
3
Suppose 3*r + 2 = 14. Let z be 3 - ((-18)/(-3) + -3). Solve 9 = 3*k - 3*g, 4 + z = -4*k - r*g for k.
1
Let v(k) = -k**2 + 7*k + 8. Let b be v(7). Let w be (b/(-3))/((-2)/3). Let u = -3 + 7. Solve -u*n = -0*h - h - 19, h + w = n for h.
1
Let z(a) = -a. Let s be z(-4). Solve -n - r - 1 = -s, -3*n = r - 11 for n.
4
Let t(f) = -4*f**3 - 1 - f**3 - f - f**2 + 4*f**3. Let k(w) = 2*w + 4. Let a be k(-3). Let v be t(a). Solve v*y - 5*m = 15, 0*m - 19 = 2*y + 3*m for y.
-2
Suppose 4*v - 95 + 35 = 0. Solve v + 5 = 5*k, 2*c + 4*k - 22 = 0 for c.
3
Suppose 0 = 2*u - 291 - 85. Suppose 0 = -3*w - 2*w - 3*s - u, 3*w - 5*s + 106 = 0. Let j = -22 - w. Solve -3*p = 3*v - j, -4*v - v + 5 = -5*p for p.
2
Suppose 7 = -4*x + 63. Solve -5*a - 5*v + 20 = 0, 2*v - x = -4*a - a for a.
2
Let x be (0 - (2 - 5) - -4) + 2. Solve 0 = -3*c + x, -2*c + 17 = 4*w + 7 for w.
1
Let m be (-12)/30 - (-32)/5. Let c = 1 + 2. Let n be -10*c/(-15)*m. Solve -3*i - 8 = u, -u + 5*i + n = -4*u for u.
1
Let i(r) = -3*r**3 + r. Let y be i(-1). Let k be 3/y*8/3. Suppose -2*z - 42 = -2*b - z, -2*b + k