 + 4*c**2 + 3*c - 5. Let h be k(4). Let w(t) = t**2 - 5*t + 2. Let g be w(h). Solve o*m - g = 4*m for m.
-4
Let x = -13 + 16. Solve x*i + 0*i - 3 = 0 for i.
1
Let p be ((-4)/(2 + -3))/2. Let j be p + -2 + 4 + -2. Solve 0 = j*v + 2*v + 8 for v.
-2
Let v = 7 - 4. Suppose -3*z = -g - 0*z + 15, 2*g - 30 = -2*z. Solve -2*y + g = v*y for y.
3
Suppose 0 = -4*m - 4*c + 44, 2*c + 18 = 4*m + 4. Suppose -m = -2*b + 2. Suppose 0 = b*j + 2*t - 4, -2*t - 3 = -7. Solve p - 2 = -j for p.
2
Suppose 7 + 3 = 5*m. Solve -2*i - m - 2 = 0 for i.
-2
Let s = -3 - -5. Suppose 27 = 4*w - 48*r + 45*r, 3*w = 4*r + 15. Solve s*x + w = -x for x.
-3
Suppose 0 = -3*w - 2*c - 2, -3*c = w - 0 + 3. Suppose a + 4*a = 0. Solve w = -a*p - p for p.
0
Let a(z) = z**2 - 3*z - 7. Let h be a(5). Suppose -2*t = -4*m + 16, -4*t = 2*m - h*t - 4. Solve f = m*f - 2 for f.
1
Let r = -11 - -7. Let x be -6*-2*6/(-9). Let y be r/x*(11 + -1). Solve -y*w + 8 = -w for w.
2
Suppose -6*u = 10*u - 32. Solve 0 = 4*l - u*l for l.
0
Let t be 153/45 - (-2)/(-5). Let i = -2 + 2. Solve t*w + i = -6 for w.
-2
Let c be (-7 - -7)/(2/(-2)). Let d = 3 - c. Solve -d - 3 = -2*r for r.
3
Suppose 5*u - 5 = 2*w + 1, -4*w - 12 = -u. Solve 3*v - 12 = -u*v for v.
4
Suppose -5*c = -4*y + 11 + 6, -4*c + 4 = -y. Solve 4 - y = -2*w for w.
2
Let u(f) = -16*f - 2*f**2 - 4 + 2 + 18*f + 3. Let k be u(-1). Let l(o) = -o**2 - 3*o + 2. Let i be l(k). Solve -4 = i*y + 2 for y.
-3
Let k = 4 - 0. Let i be k/(-10) - (-21)/15. Let p(t) = 2*t. Let g be p(i). Solve g = 4*m - 3*m for m.
2
Suppose 2*z - 3 = 9. Suppose z*u - 25 = u. Let g(i) = -i**2 - 4*i + 4. Let n be g(-3). Solve 0 = -4*o - n - u for o.
-3
Suppose 2*w = 3*w + 2. Let l(v) = -v**3 - v**2 + 2*v + 1. Let r be l(w). Solve -p - 3 - r = 0 for p.
-4
Suppose 21 - 5 = 4*d. Suppose -4 = -4*z - o, d*z - 4*o + 8*o = 16. Solve z = -5*x - 5 - 5 for x.
-2
Let r(a) = a**3 + 3*a**2 - 6*a + 20. Let x be r(-5). Solve x = 4*n - 2*n for n.
0
Let i(s) = -s**3 - 4*s**2 - 4*s - 3. Let o be i(-2). Let v = o - -3. Solve -z - z = v for z.
0
Suppose 0 = -w - 12 + 24. Suppose -2*y + 8 = -4*z, 0 = -3*z - 3. Suppose r + y*v = -r - 2, 2*v + 2 = 0. Solve -4*s = -r*s - w for s.
3
Suppose -o - 4 = o + 5*l, -o + 5*l = -13. Solve f - o = 2 for f.
5
Suppose 0 = -r - 5*d, 0 = -4*r - 7*d + 3*d. Solve r = -f + 3*f for f.
0
Let y(m) = -m - 4. Let u be y(-9). Suppose -3*i = -5*i + 16. Let c = i - 4. Solve 3*g + c = -u for g.
-3
Suppose -q = a - 0*a - 4, 4*a = -3*q + 11. Solve -10 = -q*h + 5 for h.
3
Suppose -4*z + 14 = 5*h, 8*z + 3 = 4*h + 3*z. Solve -2*d = h*d for d.
0
Let i(n) = n**2 - 5*n + 5. Let p be i(5). Let d = 16 + -5. Suppose g + d = 29. Solve 43 - g = -p*y for y.
-5
Let r be -1 + (-5)/2*-2. Let c = -4 + 6. Solve c*p = p + r for p.
4
Let c = -2 + 2. Suppose -4*w - 22 = -2*o, 3*o + 3 = 3*w - 6*w. Let p = w + 24. Solve 4*l = -c*l - p for l.
-5
Let u(r) = r - 8. Let g be u(10). Solve -g*m = -5*m + 12 for m.
4
Suppose 0 = 6*w - w - 30. Let t = -2 - -4. Solve -t*h = -w*h - 20 for h.
-5
Suppose z + z + c = 7, 3*z = 5*c + 4. Let k be z/18*4*18. Solve -k = -3*s + 3 for s.
5
Let k be -2*((-7)/2 - 0). Suppose -3*m + 2*l + 15 = -60, -3*l + 25 = m. Suppose -6*i + m = -i. Solve -k*r = -2*r - i for r.
1
Suppose 2*k = 5*g - 12, -4*k + 0*g + 24 = 2*g. Suppose 0 = -k*q + q + 6. Let z = 0 - 0. Solve -q*f + f = z for f.
0
Suppose -5*c + 2*c + 12 = 0. Suppose -5*t - c*v + 70 + 63 = 0, 5*t = -v + 127. Solve -8*f = -3*f - t for f.
5
Let t(o) = o + 2. Let b be t(0). Solve -b*n + 8 = -4*n for n.
-4
Let n(j) be the second derivative of -j**4/12 + 7*j**3/6 + 3*j**2 - 8*j. Let t(h) = -h**2 + 6. Let d be t(0). Let v be n(d). Solve -3*u = u - v for u.
3
Let c(q) be the third derivative of 1/24*q**4 + 0 + 1/30*q**5 + q**2 - 1/3*q**3 + 0*q. Let h be c(-2). Solve h*z = 11 + 1 for z.
3
Suppose -5*k + 14 = 2*v, 2*k = -3*k + v + 23. Let w = -1 - -1. Solve k = -2*z - w for z.
-2
Let s be (1 + -4 - -2) + -10. Let u = 26 + s. Let w = u + -10. Solve -w*b = 15 - 5 for b.
-2
Let j be 0 + 1 - (-1)/1. Suppose -5*r - 2*h - 2 = 0, 0*h = j*r + h + 1. Suppose -4*i = -r*i. Solve 4*d - 4 + i = 0 for d.
1
Suppose 0 = -4*o - 5*x + 3, -4*x + 6*x = -2. Suppose -4*q + c + 6 = -0*c, 6 = o*q + c. Solve 0 = -q*u + 3*u for u.
0
Let t = -15 - -15. Solve t = -6*o + o for o.
0
Let n(m) = m**3 - 3*m**2 - 3*m - 2. Let f be n(3). Let a be (-22)/f + 2/2. Solve j - a*j = 0 for j.
0
Suppose -3*g = -4*g + 2. Suppose 2*i - 3*v = 3*i + 2, -g*v - 4 = 0. Solve 0*t = i*t for t.
0
Let z(v) = -2*v + 4*v - 3 - 3*v. Let p be z(-3). Let o(n) = -n**2 + 3*n. Let i be o(2). Solve p = 5*f - i*f + 12 for f.
-4
Let z(j) = -j**2 - 5*j + 6. Let y be z(-6). Suppose -3*x + 4 = 2*r - 9, y = -2*x + 3*r. Suppose 6 = x*n - 0. Solve n*u + u = -6 for u.
-2
Let s = 12 + -4. Let l be s - 11 - (-7 + -1). Solve 17 - 7 = -l*j for j.
-2
Let c(k) = -3*k - 2. Let l be c(-4). Let b = l - 7. Suppose h = -o + b*h, -3*o = 4*h. Solve -r + 6*r = o for r.
0
Let w = -33 + 36. Solve w*u = 4 + 8 for u.
4
Let h(o) = -5*o - 1. Let w be h(-6). Let j = -21 + w. Solve j = -3*n - 1 for n.
-3
Let j = -3 + 5. Suppose 5*r = 183 + 187. Suppose -r - 10 = -6*a. Solve 4*t - j - a = 0 for t.
4
Suppose -8 = 3*b - 4*b. Suppose -q = -3*q + b. Solve -m + 2*m + q = 0 for m.
-4
Let b = -83 - -92. Solve 5*x = b*x for x.
0
Let n(g) = g**2 - 9*g. Let c be n(9). Suppose 0*j + j - 3 = c. Solve 10 = 8*z - j*z for z.
2
Let g be (8/(-4))/((-3)/18). Solve g = -3*i + 6*i for i.
4
Let l be 1/2 - 2/(-4). Let x be l + 2 - (0 - -1). Solve -x + 4 = -j for j.
-2
Let v = -35 + 49. Suppose 5*i = 2*i + 15. Solve v = -i*t - 1 for t.
-3
Let b = -8 - -12. Suppose 3*a = b*g - 3, 9 = -2*a + 3*a + 2*g. Suppose -2*v + 22 = 5*w, v = a*w - w + 20. Solve 1 - v = -3*m for m.
5
Suppose -7*x = -5*u - 3*x + 9, u + 2*x = 13. Suppose 2*t = -2 - 6. Let s(h) = h**2 + 4*h + 2. Let b be s(t). Solve -v + u - b = 0 for v.
3
Let g(s) = -s**2 - 6*s - 4. Let x be g(-4). Let b = 75 - 67. Solve -i = -x + b for i.
-4
Let r be 2/(-7) - 4/(-14). Let b = 2 + r. Let t be ((-1)/(-2) + -1)*0. Solve -b*s = -t*s + 8 for s.
-4
Let d(c) = -c - 11. Let l be d(-13). Solve -2*g + 0 = -l for g.
1
Let l be (-4)/(-9)*(-18)/(-4). Solve 0 = 3*p + l - 5 for p.
1
Let a(c) = c**3 - 8*c**2 + 10*c - 17. Let u be a(7). Suppose -2 = f - u. Solve f*p - 8 = 6*p for p.
-2
Suppose 0*g - 12 = -4*g. Suppose -2*f + 0*f = -2. Let v = g - f. Solve t + v*t + 3 = 0 for t.
-1
Let f be 9/6 + 3/6. Let d be 1*(f - 0) + -2. Solve 2*u + d*u - 2 = 0 for u.
1
Suppose -4*y + 3*g + 29 = 0, -y - y = -5*g - 11. Suppose -3*b = b - y. Solve -2 = b*m + 8 for m.
-5
Suppose 1 = 2*y - y. Suppose -d + 0*d - y = 0. Let c = d - -3. Solve -f + 0*f = -c for f.
2
Let h(g) = -g**2 - g + 2. Suppose 3*j + 32 = -j + 4*f, 0 = -3*j - 3*f + 6. Let u be (-3 + (-15)/j)*-1. Let t be h(u). Solve q - 3*q + 6 = t for q.
3
Suppose -2*t + 5*t - 30 = 0. Solve 0 = 3*k + 1 - t for k.
3
Suppose -2*x - 7 = -g - x, -19 = -2*g + x. Suppose 18 = 5*r - 2. Suppose 3*i - 8 = -z, -r*i = -5*z - 0*z + 21. Solve 0 = -z*v + 3 + g for v.
3
Let t be 1/(-5) + (-162)/15. Let y = -8 - t. Solve 4*v = 3*v + y for v.
3
Let w = 1 - -11. Let c be (-3)/w - 3/(-12). Solve -g + c + 2 = 0 for g.
2
Let x = -1 + 6. Suppose 0*q + 8 = x*q + f, -10 = 5*f. Suppose -3*n = q*n. Solve n = 3*w + 6 for w.
-2
Let l(u) = u**3 + 1. Suppose -2*j + 1 = -3*b, -j - 4*j - 7 = 2*b. Let s be l(b). Solve 3*n + n - 12 = s for n.
3
Let n = -26 + 22. Let y be (n/(-4))/(1/2). Solve 0 = -3*j - y*j + 20 for j.
4
Let m(i) = -i**2 - 8*i. Let l(k) = k**3 - 10*k**2 + 8*k + 3. Let c be l(9). Let d be m(c). Solve 0*a + 3*a = d for a.
4
Let q = 6 + -3. Let y be (-4)/q*3/(-1). Solve y = -3*w + w for w.
-2
Let p = -8 + 13. Solve -2*w - p - 5 = 0 for w.
-5
Let z = 12 + -3. Let i(y) = y**3 - y + 3. Let f be i(0). Solve 4*s = f + z for s.
3
Let l(n) be the second derivative of -n**5/20 - n**4/2 + 7*n**3/6 - 2*n. Let g be l(-7). Solve 0 = -g*q + q for q.
0
Suppose -l = -3*j + 14, 3*j - 12 - 18 = -3*l. Solve 0 = 2*u - j - 0 for u.
3
Suppose -3*a - 8 = -m, -2*m - 2*a - 2*a = -6. Suppose -3*j = -8*j + m. Solve -j = r - 4 for r.
3
Suppose 4*h = -14 + 2. Let i(k) = -6*k + 3. Let v(p) = -p**2 + 6*p - 4. Let g(a) = h*i(a) - 2*v(a). Let s be g(-5). Solve -3*t + 4 = s for t.
-5
Let h = -2 - -4. Suppose -2 = g - h*g. Let a be (