*h - c = -4*k for k.
-2
Let n = -8 + 13. Solve 2*y - 4*f + 3*f = 6, n*f = -4*y + 12 for y.
3
Suppose 6 - 21 = -3*a. Suppose 0 = -3*d - 0*d. Suppose d*y = 2*y. Solve h - a*m = 4*h - 3, y = 5*m for h.
1
Let a(b) = -b**2 - 9*b - 9. Let k be a(-6). Suppose -2*j + 160 = 5*s, -3*s + 5*j = -16 - 111. Let d = s + -21. Solve q + q = -z - k, -d = 3*q + z for q.
-4
Let x be 1 - -1*(-1)/(-1). Let k = 0 + -6. Let y be 13/3 + 2/k. Solve -20 = -0*r + 5*r - 2*z, -x*z = -y*r - 18 for r.
-2
Suppose 5*t - 11 - 9 = 0. Let i = t + 1. Solve 5*k - 16 = 2*c, 18 = i*c + 3*k - k for c.
2
Suppose 5*y - 16 = 2*i, -3*i - 3 - 3 = -3*y. Suppose -16 = -y*q + 2*q. Let h be ((-24)/16)/(1*(-3)/10). Solve 3*d + q = -2*t, -3*t + h*d + 5 = -2 for t.
-1
Let b = 5 + -14. Let a be 28/(-126) + (-47)/b. Solve a*n - 4*t = 4, -14 = -3*n - 3*t + 10 for n.
4
Let w(d) = d**2 - 12*d + 16. Let o be w(11). Solve o*l - i = l - 3, -4*i = -4*l + 12 for l.
-2
Let z(r) = r**3 + 8*r**2 + r + 13. Let g be z(-8). Solve 7*t - u = 3*t, 25 = g*t + 5*u for t.
1
Suppose -2*a + 4*u - 18 = 0, -24 = -4*a - 3*u - u. Let l = -6 - -8. Let i = l + a. Solve r - i*m - 2*m = 10, 0 = m + 2 for r.
0
Suppose -10 = -3*w + 14. Let d = w + -18. Let i be (-25)/d*(0 + 2). Solve i*j = 2*j + 3*v + 9, -v = 5 for j.
-2
Let g(u) = 3*u + 5*u + 2 - u + 0 + u**2. Suppose 31 = -4*y + 3. Let o be g(y). Solve -o*p + 25 = 5*m, 5*m + 2*p - 4*p = 25 for m.
5
Suppose -21 = -n + 4*t, 5*t + 41 = 5*n + t. Suppose 2*v + 0*v = -n*w - 10, 7 = -v - 3*w. Solve f = -k, 4*f + 8 = f - v*k for f.
4
Suppose -4 = -6*b + 20. Solve 4*q + 4 = 5*t - t, 0 = -b*q + 3*t - 8 for q.
-5
Let v = -3 - -6. Let m(q) = -q - 2. Let t be m(-7). Solve -o - t = 3*k, -2*k = -5*k - v*o - 3 for k.
-2
Suppose 0 = -0*x - 3*x - 6. Let i be 1 + -5*x/5. Solve v = 2*p + i, -p + 0*v - v - 9 = 0 for p.
-4
Suppose -5*o + 28 - 8 = 0. Let r be (o + -3)/((-1)/(-3)). Solve 3*l - 14 = -2*l + r*k, -4*l + 2*k = -12 for l.
4
Let t be (-1)/6 - ((-58)/(-12) - 5). Let m(x) = x**2 + 1. Let y be m(-1). Solve -y*z + n = -t*z + 3, n - 4 = 3*z for z.
-1
Let r = -19 + 22. Solve -5 = r*g - 4*g, w + g = 0 for w.
-5
Let l = -67 - -69. Solve -z + 5 = -l*w, 3*z - 6 = -z + w for z.
1
Let o(x) = -2*x - 6. Suppose -16 = 4*g - 0*g. Let p be o(g). Solve 4*r + k + 3 - 28 = 0, 4*r = p*k + 10 for r.
5
Suppose -o = -4*o + 12. Let j = -8 - -11. Let r be (-2 + 2)/(j/(-3)). Solve -5*c + r*c - 2*f = -21, 4*c - 28 = o*f for c.
5
Let l(k) = 0*k**2 + 0*k - 4*k**2 - 4*k + 3*k**2. Let x(v) = -v**2 + 2*v + 1. Let h be x(-1). Let g be l(h). Solve -g*w - a + 11 = 0, -3*a + 5*a = -w + 8 for w.
2
Suppose 1 = -2*w + 5. Let f be (-4 - -2 - -2)/w. Suppose f*b = -b. Solve 5*u - 14 = -b*u - 3*t, -26 = -5*u + 3*t for u.
4
Suppose m - 6*m = 5*i - 5, -i + 3*m = -5. Solve 0 = -z + i*r - 4 + 3, 5*r = -5*z + 25 for z.
3
Let x be (-3)/(-3) + 3 + 1. Let k be x*-6*(-3)/30. Solve -25 = -5*y, -k*w = y + 2*y for w.
-5
Let a(o) = -3*o - 1. Let b be a(1). Let u = b - -4. Solve 2*j - 4*j = -z, u = 5*z - 2*j for z.
0
Suppose -6*u + 6 = -3*u. Let s = 11 + -7. Suppose 0 = s*k - 6*k - 4*h - 2, k - 2*h - 11 = 0. Solve 7*l - 2*l = -3*t + k, 5*l - 5 = u*t for l.
1
Let o be 6/(-10) - (-46)/10. Solve -10 = 2*d - 5*x + o, -4*d - x - 6 = 0 for d.
-2
Let n be 2/(-1) - (-6 - -2). Let c be 1 - n - (-7 + 5). Suppose 3*v + 3*i = 12, -2*v + v - 5*i = 0. Solve -4*u = 4*s, 2*u - c = -4*s + v for u.
-3
Let p(x) = x**3 + 15*x**2 + 16*x + 33. Let m be p(-14). Solve -u + 21 = -2*u + m*f, 2*u = f + 3 for u.
4
Let j(k) = -k**2 - k - 1. Let s be j(-1). Let q = 3 + s. Let c = 11 - 11. Solve q*y - 8 = -c*y - i, 3*i - 3 = y for y.
3
Suppose -5*f + 24 = i, 3*i = 5*f - i - 4. Solve -c = -5, 4*y - f*c + 33 = 9 for y.
-1
Let v = 30 + -26. Solve -3*j - v*z = j - 20, -4*j = -z - 10 for j.
3
Let a be (-2)/5 - 34/(-10). Suppose 5*y - h = a*h - 20, -5*y + 20 = 4*h. Solve 3*c - g + 5 = y, 4*g = 3*c - 2*c - 13 for c.
-3
Suppose -5*w = -4*w - 4. Solve f - 12 = 3*z, -z - f - 4 = w for z.
-5
Let x(p) = -p + 2. Let d be x(-5). Suppose 3*w - 5 - d = 0. Suppose 29 - 9 = 4*q. Solve f = -f - 2*y + 16, -w = -q*f + 4*y for f.
4
Let r = -6 - -8. Suppose -x - r*x = -15. Let h = 23 - 13. Solve 6 = m - 3*b - 1, h = 2*m - x*b for m.
-5
Let y be (-11)/(-5) + (-6)/30. Suppose 2*x + y*x = 4. Solve -2*b + 4*z + 2 = -4*b, 2*b = -5*z - x for b.
-3
Suppose 3*g - 3*t = 21, 0*t - 27 = -5*g + t. Solve 3*u + 8 = y - 2, 2*y - g*u = 16 for y.
-2
Let i = 63 - 63. Solve -n + 3*s = 16, i = -3*n - 2*n - 4*s + 15 for n.
-1
Let m = -73 - -77. Solve m*i = -4*b + 18 - 2, -4 = b - i for b.
0
Suppose -2*j + 7 = -23. Solve -6 = -2*c + z, -3*c - 5 = -z - j for c.
4
Let j = -227 + 355. Suppose -2*t + j = k, -t + 302 = 4*t - 2*k. Let f be t/8 + (-2)/(-8). Solve -4*n + 2*g + 16 = 0, f = n + n + 5*g for n.
4
Let v = 39 - 37. Solve 0*f = 2*w - f + 4, 5*w - v*f = -9 for w.
-1
Let t = -23 + 26. Solve -6*a = -2*a + 2*w + 18, -w - t = 0 for a.
-3
Suppose 10*u - 26*u + 48 = 0. Solve 1 = u*p - 2*z - 0*z, 10 = -5*p + z for p.
-3
Let a(r) be the second derivative of 10*r**3/3 - 3*r**2/2 - 4*r. Let t be a(1). Solve -h - 7 = 3*j - j, 3*j - 5*h = -t for j.
-4
Let s be 2/(-4)*(-1 - 27). Solve -3*y + 3*n = 8*n - 26, 4*n = y + s for y.
2
Suppose 3*r - 35 - 60 = -4*l, -82 = -2*r + 2*l. Solve -5*z + 2*w - 5 = 0, 4*z - 2*w = -7*w - r for z.
-3
Let k(l) = l + 4. Let q be k(8). Let x be -2 + q*(-3)/(-6). Solve 3*t + v = -4*v + x, 0 = v + 1 for t.
3
Let z = 4 - 2. Suppose 0 = k + 4*k + 90. Let o = k + 22. Solve -t - 4*n + 3 - 26 = 0, -26 = z*t + o*n for t.
-3
Let c(a) = 7*a + 7*a - 2 - 5*a. Let z be c(3). Solve 2*h = 3*t + h + 15, 5*t + z = -h for t.
-5
Let x = -6 - -6. Let l(b) = b + 9. Let h be l(x). Solve 0 = -n + r + h - 0, -3*r - 31 = -4*n for n.
4
Let z = 13 + -8. Let y(h) = h**3 + 5*h**2 + 4*h + 5. Let v be y(-4). Let j(u) = -u - 3. Let c be j(-6). Solve 4*k = -c*n + v, 0 = k + k - n + z for k.
-1
Suppose 0 = 2*v - 5*v + 21. Solve -2*z + 5*g - 23 = 0, 1 = -5*z - 4*g - v for z.
-4
Let y be -4*1/2*-8. Solve 2*u = 3*v - 11, 5*u + 4*v - y = 14 for u.
2
Let u = -2 - -3. Let f be (u + -3)*(-4)/2. Suppose -52 = -4*s - f. Solve o - s = -2*o, 0 = 3*d + 5*o - 5 for d.
-5
Suppose 4*q + 6 = 6*q. Let n be (2/q + 0)*-3. Let d be (16/(-12))/(n/18). Solve -3*m - 3*a - 11 = -5*a, -4*m - d = -4*a for m.
-5
Suppose -p - p + 14 = 0. Let j be (-19)/(-7) - (-2)/p. Let u(g) = -2*g - 6. Let x be u(-6). Solve -2*q = -4*y + 10, -j*q - 2*y = -x*y + 11 for q.
-1
Let z = 0 - -2. Solve 4*i + 3 = -5*d, 2*d - 2 - z = i for i.
-2
Let j be (4 - -2) + 2*1. Let s = j + -9. Let v be 0/((-1)/s - 2). Solve v*i - 2*i + 2 = -2*n, 6 = i + 4*n for i.
2
Let c be 2/((-2)/20*-4). Solve 4*v - 12 + 32 = -c*n, n = -2*v - 4 for v.
0
Suppose -m + 5 = 0, -3*j + 44 = j + 4*m. Solve v + 2*k = j, 14 = 3*v + v + 3*k for v.
2
Suppose -s - 16 = -y - 4*y, -s = -y. Suppose 0 = 5*j - 19 + y. Solve 5*t + 11 = -4*r, t + j*t - 20 = 4*r for t.
1
Suppose 4*a + 0*a = 3*t - 53, -83 = -5*t + 4*a. Suppose 5*i - t = 5. Suppose -i*u + 3 = -5. Solve w + 1 - u = z, 0 = 5*z + 5*w - 5 for z.
0
Let q be ((-8)/(-6))/((-3)/(-9)). Solve -g + 10 = 3*g - l, 0 = 3*g + l - q for g.
2
Suppose -16 = 4*z, 3*k + 6 = k - 4*z. Suppose -10 = k*p - 10*p. Solve -2*h - y = 3, -1 = p*y - 3*y for h.
-2
Suppose -4*f + f + 3*h + 30 = 0, 3*h = -f - 2. Suppose f*p - 2*p + 3*y = 0, 2*p - y = 0. Solve 1 = -3*g - 5*x + 14, -4*g + 2*x = p for g.
1
Suppose 4*o - 4 = -8. Let s be ((-1)/((-3)/(-6)))/o. Solve 7*k + 45 = -4*u + s*k, -4*k - 35 = 3*u for u.
-5
Let b(k) = k**2 + k + 1. Let z(a) = -6*a**2 - a - 5. Let c(w) = 5*b(w) + z(w). Let j be c(4). Solve -4*n + 23 = 5*p, -4*p = -3*n - j*n - 6 for n.
2
Let o(k) = 3*k**2 + 5*k + 7. Let f be o(-3). Solve 0 = -4*b + 3*s + f, 3 = 2*b - b + s for b.
4
Let w = -9 - -13. Let y be (-5)/20 + 33/w. Solve -s + 4 = 2*u, u = s + s - y for u.
0
Suppose d + 5*y - 14 = 0, 2*d - y - 6 = -0*y. Let x = -9 + 11. Suppose x*s - 8 = 0, 0*m - 5*m - 4*s = -21. Solve -5*a + 0 = -d*h - m, a = -4*h - 19 for h.
-4
Suppose -2*x - 3*x = -15. Let q = 6 - x. Suppose 0*g = g - 2*m - 8, -2*g - 4*m = 8. Solve 0*o - 3*o = -g*r, 0 = 4*r - q*o for r.
0
Let t(u) = -6*u - 2. Let v be t(-3). Let a(d) = d**3 - 11*d**2 + 18*d + 5. Let k be a(9). Solve 25 = k*o - 5*z, -2*o + 0*z + v = -5*z for o.
3
Let n(r) be the second derivative of -1