 = -3*h - 12, 11 = d*h + 2*c - 3 for h.
1
Let z(m) be the second derivative of -m**4/12 + 7*m**3/6 - m**2 - 4*m. Let p be z(6). Solve -3*s + c = -p*c - 16, 4*s + 5*c + 2 = 0 for s.
2
Suppose -19 = -3*u - 7. Solve -3*q + 9 = -g, u*q = g + g + 12 for g.
0
Let s = -105 + 114. Solve 4*k + 3 = 3*v + 11, 0 = -3*v + 3*k - s for v.
-4
Suppose 2*t - 5*q = 27, 11 = t + 5*q - 25. Solve a + 4*a = 4*o + t, -3*a = -15 for o.
1
Let t(x) = x**2 - 16*x - 12. Let n be t(17). Solve 2*z = p, -5*z + p = n*p for z.
0
Let h(k) = k**2 - 10*k + 5. Let r be h(10). Suppose l = 3*l - 10. Suppose b - a - 2 = -0*a, l*a = r. Solve -10 = -5*q, -q = -b*v + v - 6 for v.
-2
Let q(a) = -3*a**3 + 0*a**3 + 3*a - 4*a - 2*a**2. Let u be q(-1). Solve 0 = -4*s - u*l + 10, -3*s - l = -7*s + 13 for s.
3
Let a = -82 - -93. Solve 0*j - 5*j - 33 = -4*c, -2*c - a = 3*j for j.
-5
Let y = 1 + 4. Suppose -y*j + 3 + 17 = 0. Let i be ((-2)/4)/(j/(-32)). Solve g = 4*z + 12, -i*z + 6*z + 2*g = -16 for z.
-4
Suppose 4*b + 5*q - 107 = 0, -4*q + 2 - 6 = 0. Let f be ((-10)/(-3))/(7/42). Suppose a = 4, -4*a + f = -5*s + a. Solve s*y - 20 = 4*w + y, -5*y - b = 2*w for w.
-4
Suppose p - 2 = -0*p. Let a(c) = c**2 + 7*c + 11. Let o be a(-5). Let w = o + p. Solve 3*f - w*u - 2*u + 11 = 0, 5*u = -5*f - 5 for f.
-2
Let q = 11 + 4. Let s be (10/(-3))/((-2)/3). Solve o + 3 = z + 3*o, -5*z + s*o - q = 0 for z.
-1
Let b = -10 + 4. Let t be (3/2)/(b/(-12)). Solve -2*c + 4 = -t*u - 2, c - 3 = 4*u for u.
0
Suppose 2*c = -0 + 14. Solve -4*l - 2*i + c = -i, l - 5*i + 14 = 0 for l.
1
Suppose 21 = 4*c + o + 2, -o + 7 = c. Suppose -2*l = c*w - 18, 0 = 5*w + 2*l - 8 - 14. Solve 4*t - w = 5*x - 2*x, -10 = -3*t + 4*x for t.
-2
Suppose u + 0*r = -5*r, 0 = 2*u + r. Let m = 4 - u. Solve -5*n + 7 = z, -m*n + 3 = -5 for z.
-3
Suppose 0 = i - 1 - 22. Let x = -21 + i. Solve f + f + 3*t - x = 0, 4*f + 3*t = 10 for f.
4
Let r(j) = -j**3 + 2*j**2 - 1. Suppose 0 = -7*c + 5*c + 4. Let n be r(c). Let k be n/2 + (-5)/(-2). Solve -5*l = -10, -2*o + l = k*o + 14 for o.
-3
Let t = -52 + 52. Let m be (-80)/(-6)*(0 + 3). Solve -5 = -2*o - l, t = -3*o + 5*l - 0*l + m for o.
5
Suppose 2 = -2*w - 0. Let v be 2*w + (1 - -6). Let d be 46/10 + 2/v. Solve 0*u + 3*m = 3*u + 15, -d*u = -4*m + 25 for u.
-5
Let i = -7 - -6. Let y be (0 + -1)*i*6. Let f be 17/3 - 1/(-3). Solve -2*p - f = -0*p, -3*p = v + y for v.
3
Let s = 85 - 77. Solve 3 = -d - 4*t + s, -2*t + 3 = d for d.
1
Suppose 9*v - 6*v = 0. Suppose 3*j = -2*j + 15. Solve v = -j*y - 2*g - 1, -2*y + g = -5 + 1 for y.
1
Let y(f) = -f. Let w(j) = -j**2 - 10*j - 3. Let z be w(-10). Let b be y(z). Solve h = -4*a + 5, 0 = -5*a + b + 7 for h.
-3
Let d(r) = -3*r + 6. Let o be d(2). Solve 2*w = -m, o*m - m = -4*w for w.
0
Suppose -g + 5 = f, 3*g = -3*f + g + 14. Solve -f*o + 3*z + 12 = 0, -2*o + 0*o = -4*z - 16 for o.
0
Let m(t) = t + 15. Let u be m(-11). Let d be 166/18 + u/(-18). Solve -d = -l + 3*y, 3*y - 7*y - 16 = 0 for l.
-3
Suppose p = -3*p + 20. Suppose 5*g = -4*a + p*a - 40, -2*a - 3*g + 15 = 0. Solve 2*r + 5*u = 10 + 5, r - 5*u = -a for r.
0
Let k(q) = q**2 - 7*q + 2. Let s be k(7). Solve -x + s*t = 9, 4*x - t + 5*t + 12 = 0 for x.
-5
Let r = -41 - -43. Solve -r*h + 5 = -f, -3*f = 3*h - 0*f + 15 for h.
0
Let z be ((-18)/(-4))/((-21)/28). Let a be (-7)/21 - 20/z. Solve -k - 5 = 2*c - 0*k, a*c = -k - 8 for c.
-3
Let x(p) = 3. Let a(d) = -d + 1. Let r(y) = -2*a(y) + x(y). Let f be r(3). Let m = -5 + f. Solve -u - m*g = 2*u - 14, 0 = -4*u - 3*g + 20 for u.
2
Suppose j = 5*j + 80. Let q be (-208)/j - 4/10. Let w = q - 5. Solve 4*d + 17 = 6*d - w*h, 3*d - 2*h = -2 for d.
-4
Let i(z) = -4*z - 4. Let t be i(-4). Suppose 2*j = 5*j - t. Solve 0 = -4*p - j, -7*p = -5*y - 3*p - 16 for y.
-4
Suppose -9*v + 13*v = 12. Solve 2*z = 2*x + 6, 0 = -2*z + x + v - 2 for z.
-2
Let r = -5 + 10. Let i = 11 - 3. Let l = i - r. Solve -l*f + 8 = -4*t + 39, 4*t = 2*f + 26 for t.
4
Let f(r) = -r**3 - 7*r**2 - 7*r - 3. Let l be f(-6). Solve 4*w = 3*i - l, 5*i - 7 + 2 = 5*w for w.
0
Let s be (3 + 0)*5/3. Suppose -g = -s*g. Solve 4*o = 3*q - 9, 2*q = -o - g*q - 5 for o.
-3
Suppose -4*h - 1 = -9. Let t(k) = -k**3 + 4*k**2 + 5*k + 7. Let a be t(5). Solve 2*y + 2*x + 1 = a, 0 = -h*y + 3*x - 19 for y.
-2
Let i = 7 + -4. Solve -2*o + 15 = i*q, -2*o + q - 5 = -o for o.
0
Suppose l = 4 - 2. Solve -n + 2*x = n - l, -4*x = -2*n + 4 for n.
0
Suppose y + s = 9, y = -2*s + 16 - 3. Let j be ((-4)/(-5))/((-2)/(-25)). Let q(k) = k + 5. Let b be q(-3). Solve 3*v - j = b*m, -3*v - v = -m - y for v.
0
Let f = 6 + -11. Let v be -28 + (-5)/(f/(-2)). Let d be v/(-4)*4/6. Solve -10 = -4*h + 3*s + 22, -d*h - 3*s + 13 = 0 for h.
5
Let z = -2 - -4. Suppose -2*y + 124 = -0*y - 5*n, -n = -5*y + 333. Let k = -47 + y. Solve 0 = 5*h - 8*f + 3*f - k, z*h - 5*f = 17 for h.
1
Suppose 0 = 4*l + 1 - 9, 2*p - 5*l = 0. Solve -5*z = -3*g - 26, -5 = 5*g + p for z.
4
Let n(l) = -3*l**2 + 17*l - 4. Let q be n(5). Solve -5*t - q = -4*x, -6*x + 2 = -3*t - 2*x for t.
-2
Let u(o) = 4*o**2 - 6*o**2 + 3*o**2 - 1. Let t be u(3). Suppose 0 = -4*p - k + 16, -2*k = 4*p - 12 - t. Solve -5*i - 15 = -l + 2, p*l = 6 for i.
-3
Let n(b) = b + 5. Let k be n(0). Suppose 3*c - 2*w = -3*w + 14, 4*w = k*c - 29. Solve y = 2*v - 11, 2*y - 24 = -c*v + y for v.
5
Let u(z) = -z**3 - 9*z**2 - 14*z - 12. Let s be u(-9). Suppose -3*i - 9 + s = 0. Let q = i - 0. Solve 3*h - 5*h - g - 13 = 0, 4*h + 5*g = -q for h.
-5
Suppose -5*x + 19 = 2*o, 3*o - 1 = -x - x. Suppose -j = x*u + 9 + 6, 3 = -u - j. Let p be u/3 - -1*4. Solve 0 = -r, -p = -m + 4*r + 1 for m.
4
Let t = 3 + 0. Let n be t/(-9) + (-2)/(-6). Suppose n*u + u = 0. Solve u = s + 5, -5*o - 4*s - 30 = -s for o.
-3
Let j(u) = u**3 - 6*u**2 + 7*u - 6. Let x be j(4). Let t = x + 13. Solve 5*c - 20 = 5*l + 15, -3*c - t*l = -9 for c.
5
Let q(p) = p - 1. Let y be q(1). Suppose -3*b = -4*s - 3 - 2, 0 = 2*b + 5*s - 11. Solve -3*u - 10 = -b*w + w, y = -3*w - 3*u for w.
2
Suppose 2*i - 5 = -3*s - 3, -5*s = 4*i - 4. Suppose 4*t + p = 55, 7 = -t + 2*p + 23. Suppose t = 3*k - 1. Solve -k*q - f = -3*f - 2, 2*q - 4*f - 4 = s for q.
0
Let i be 4/5 + (-3)/(-15). Let q be i - -1 - (-2 + 3). Solve z + 4*x - q = 0, 2*z - 5*x + 2 = 4 for z.
1
Suppose 7*b = 2*b + 30. Suppose 3*c = -4*k - 13, -2*c + 3 = 3*k + 12. Let t = -1 - k. Solve -r + z = r + 5, t = 3*r - z + b for r.
-1
Let y be -1 + (4/(-14) - (-23)/7). Solve -4*g - 7 = 3*p - y*g, -21 = 5*p + g for p.
-5
Suppose -10*z = 14 - 34. Solve 5*b + 8 = k, -5*b - 12 = z*k + 2 for k.
-2
Let q(r) = r**2 + 2*r - 4. Let m be q(2). Solve m*h = 2*b + 16, 15 = 5*h - 5*b - 0*b for h.
5
Let p = 30 + -29. Solve 0 = -3*m - 5*v - 18, -3*m - v - p = -5*m for m.
-1
Let q(p) = -5*p + 4. Let g be q(-6). Suppose 2*t + 167 = 5*s, -g = -s + 3*t - 2*t. Suppose s = 4*c + 5. Solve 4*h = 12, 2*h - c = 5*l + 19 for l.
-4
Let s be 2/6 + (-32)/(-12). Suppose s*z = 8*z - 20. Solve -3*h = -5*a - 1, z*h - 16 + 3 = -5*a for a.
1
Let g(d) be the third derivative of d**2 + 0*d**5 + 0 + 1/2*d**3 + 1/6*d**4 - 1/120*d**6 + 0*d. Let m be g(-2). Solve -18 = 4*l - 5*q, 6*q - 3*q = -m*l for l.
-2
Let f(l) = l**2 - 1. Let h be f(1). Solve -q - 4*a + 6 = h, -4*q + 12 = -a + 5*a for q.
2
Suppose -5*l - 2*q + 2 = -l, -5*q + 5 = 2*l. Solve -3*p - 4*i + 2 = -6, 2*p + 4*i - 8 = l for p.
0
Let g(j) = j + 2. Let h be g(15). Solve 2*b + 3*w + 16 = 0, 2*w - 5 + h = -2*b for b.
-2
Suppose -5*h + 11 = v, 3 = -5*h + 4*v + 9. Solve 2*m - 4*p = -6, -p - p = 4*m + h for m.
-1
Let u = -11 - -21. Suppose u = n + z, -4*n + 2*z + 22 = 6. Solve -3*w + 40 = -5*x, n*w + 3*x - 5 = 2*w for w.
5
Let i be -4*(-204)/(-16)*3/(-9). Solve 4*s = a - i, -4*s - 13 = a + 2*a for a.
1
Let z(u) = 2*u - 15. Let v be z(10). Let f = 23 - 15. Solve m - i - f = 0, -i - 28 = -v*m + i for m.
4
Suppose 0 = -6*g + 2*g + 24. Let t be g - 9/(-6)*-2. Solve -q + 6 = -2*w, q = -5 + t for w.
-4
Let a(d) = -4*d**2 + 7*d - 3. Let j(q) = 3*q**2 - 13 + 15 - 9*q + 2*q. Let k(g) = -4*a(g) - 5*j(g). Let i be k(-7). Solve l = 1, -3*c + l + i*l = -6 for c.
3
Let b = -20 + 24. Solve w - 4*v = -3 - 10, -2*w = -b*v + 14 for w.
-1
Suppose -4*d + 2*d + 12 = 0. Suppose 2*b + b - 9 = 0. Suppose b*i - 9 = d. Solve -5*w + 17 = g, -3*g - 26 = -g - i*w for g.
-3
Let k be (2/5)/((-2)/(-20)). Let x be k/18 - 34/(-9). Solve u