 -k + 4, -k - p + d = p for k.
4
Let c(x) be the third derivative of -x**4/12 + x**3/6 - 4*x**2. Let b = -6 + 4. Let n be c(b). Solve -3*h + 13 = n*m, -5*m = 4*h + 1 - 10 for m.
5
Let i(y) = y**2 + 7*y + 12. Let f be i(-5). Solve f*g - o + 5 = -4*o, 0 = -g + 3*o - 7 for g.
-4
Let c(k) = k**3 - 5*k**2 + k. Suppose 0 = -2*x - 2 - 0, 0 = 3*w - x - 16. Let d be c(w). Solve 0*m = 2*m - 4*s + 24, 16 = m + d*s for m.
-4
Let u be (7 - (1 + 2))/2. Solve 10 = -u*j, 0*s = -5*s + 2*j - 10 for s.
-4
Let n = 1 + 1. Solve -4*z + 11 = m + 2*m, n*m = z for m.
1
Let a be 1/1*(-1)/(-1). Suppose -2*p + 7 = a. Suppose 0 = -2*j + p*j - 8. Solve -4*k + 16 = 5*o, o = 4*k - 0*o + j for k.
-1
Suppose 3*v - 19 = -2*l, -2*v + 0*v - 5*l + 20 = 0. Solve 0 = -3*s + a + 7 + 10, -2*s + v*a + 20 = 0 for s.
5
Let q = -13 - -18. Let d(h) = -h**3 + 5*h**2 + 3*h - 5. Let u be d(4). Solve 3*o - q*i = -9, -3*o = o + 5*i - u for o.
2
Suppose -12 = -d - 5*o, 2 + 0 = -4*d + 5*o. Solve -3*b - 4 = -3*k - b, k = d*b for k.
2
Let i(y) = -y**3 - 4*y**2 - 3*y + 1. Let j be i(-3). Let a be 1*-4 + j + 22. Solve a + 10 = 3*v + 5*r, -23 = -5*v - 2*r for v.
3
Let p(m) = m**3 + 4*m**2 + 4*m + 1. Let k be p(-2). Solve w = 5*o + 6, -4*w + 8 - k = -3*o for w.
1
Let o(l) = -l**2 - 1. Let j(n) = -3*n**2 + n - 6. Let f(q) = -j(q) + 2*o(q). Let y be f(0). Solve -5*d - 18 = -5*m - 3*d, y*d - 16 = -3*m for m.
4
Let f = 0 - -3. Suppose 0 = 2*c + 3*c - 35. Solve k - 5 = 5*g, -k = f*g + 4 + c for k.
-5
Let u = -4 - -2. Let g be u/8 + (-85)/(-20). Solve 6 = -2*v + 7*v + g*t, 5*v = -3*t + 2 for v.
-2
Let v = 2 + -3. Let a be ((-4)/12)/(v/6). Solve -3*r + a = -d - 6, 16 = -5*d + 3*r for d.
-2
Let v(k) = -k**2 + 7*k. Let o be v(8). Let s = o + 12. Let c be (1/(-4))/(9/(-8) - -1). Solve c*b - d = -3*d, 0 = -2*b + s*d for b.
0
Suppose 0 = -3*n + 51 - 18. Let w = 7 + -13. Let k = w + n. Solve -l + 8 = -p, k*p - 2*p - 2*l + 19 = 0 for p.
-3
Suppose -25 = -0*v + v. Let k = 30 + v. Solve s - f - 4 = 0, k*s + f = -f - 15 for s.
-1
Suppose -j + 2*z = 4, -2*j + 18 = 5*z - 1. Let p = 0 - -2. Let n(d) = d - 1. Let v be n(1). Solve -5*a + 2*f + j = -p*f, a - 4*f - 10 = v for a.
-2
Suppose 0*g + 60 = -5*g - 5*w, -4*g - 44 = 5*w. Let i = g - -33. Solve 2*m - i = 5*u, -m - 2 + 12 = -3*u for m.
1
Suppose 5*u - 37 = 63. Suppose -6*k + u = -2*k. Solve -18 = -l - 3*q, -k*l + 0*l + 5 = -2*q for l.
3
Let r be (20/15)/((-2)/(-3)). Suppose 2*v - 4*v - 2*w = 0, -18 = -4*v + r*w. Solve -3*m = v*l + 21, 0*l - 7 = -3*m + 4*l for m.
-3
Let q be 55/15 - (-2)/(-3). Suppose 3*x + 0*t = -q*t, -4*t = -2*x. Solve 2*h + k + 3*k + 18 = x, 0 = 3*h + 4*k + 19 for h.
-1
Suppose 2*m + 0 - 4 = 0. Suppose m*r - 4*r - 3*p + 19 = 0, -5*p = -5*r - 15. Solve -f = -5*c, 3*c - r*f - 6 = -c for c.
-1
Suppose 0*t - 2*t + 14 = 0. Suppose t*z = 5*z + 2. Solve -3 + z = -w + v, 3*v = -4*w + 1 for w.
1
Let r = 2 + -1. Let j = r + 3. Suppose 7*z = -29*z + 144. Solve -6 - j = z*k - 5*y, -6 = 2*k - 2*y for k.
-5
Let u be 2/(-10) + (-21)/(-5). Suppose -2*j + u + 0 = 0. Solve j*b + 6*d + 6 = 2*d, -2*b = 2*d + 6 for b.
-3
Suppose 6 + 6 = 4*n. Let v(c) = 0*c - c + 0*c. Let s be v(-2). Solve 5*k = n*p, 0*k + k = s*p for p.
0
Let n be ((-2)/(-10))/((-2)/(-30)). Solve 4*v + l - 3*l = 8, -n*v + 1 = l for v.
1
Let i be (2/3)/((-5)/(-75)). Let w be 6/15 + 6/i. Solve -5*q + 5 + w = -3*d, -d + 3 = 0 for q.
3
Suppose 3*h + b = 4*h, 4*b = -3*h + 7. Let n be -10*(h - (-4)/(-2)). Solve -g + 2 = -l + 8, n = 3*g + 4*l for g.
-2
Suppose -5*z + 6 = 4*m, z - 2*z - 2 = 0. Suppose -2*k = -m*k + 8. Solve 2 = f - 4*s, 0*s - k*s - 8 = -4*f for f.
2
Let z be (-4)/(-5) - ((-38)/(-10) + -4). Solve 2*n = -z + 3, -2*w - 3 = -3*n for w.
0
Let i(v) = 2*v + 26. Let c be i(-11). Solve 5*f + 4*k + 1 = 0, -4*k + 7 = f - c*f for f.
-1
Suppose 0 = 4*k - 3*q + 2 - 25, -2*k = -q - 11. Solve -2*y = 2*y - s - k, y + s = 0 for y.
1
Suppose t + 45 = 6*t. Suppose 3*x - 9 - t = 0. Let o be -2 - x/4*-2. Solve -2*a - 4 = -3*g, 2*g + 0 + o = 5*a for a.
1
Let a = -7 - -7. Suppose -2*b = h - a*h - 16, 2*h - 4 = 3*b. Suppose 0 = 2*k - 3*q - 6, -k + h*q - 11 = 3*q. Solve -k = p - 5*z, -z + 5*z - 9 = -p for p.
1
Suppose -r + 0*r = -17. Suppose -8*x - r = -9*x. Solve 0 = j - 4, -3*k + 5*j = x for k.
1
Let t be 182/15 - 6*(-5)/(-225). Solve -3*u + 2*m = -t, -5 = -4*u - 2*m + m for u.
2
Let c(i) = -i**2 - 12*i + 3. Let u be c(-12). Solve 5*s = 2*x + 10 + 11, -4*x - 3 = u*s for s.
3
Let q be (2 + 5/(-2))*0. Suppose q*p + 14 = p + 4*m, -5*p = 5*m - 25. Solve p*s - 4 = -2, 5*s - 30 = -5*b for b.
5
Let b be (1 - -1)/((-4)/(-62)). Suppose -3*t - 4*s - b = -8*t, 0 = 2*t + 4*s - 18. Solve h = -0*q + q + t, q = -5*h + 5 for h.
2
Let l be (-9)/(-3) - 1 - -13. Let r = l - 21. Let g be 40/18 + r/27. Solve -f - 3*f = s + 19, 0 = g*s - 4*f - 22 for s.
1
Let x(g) = -g + 13. Let f be x(8). Suppose 0 = 5*d - 3*c - 16, 2*c = -c - 6. Suppose 3*o = -d*o + 25. Solve -2*u + k + o = 0, -f*k + 9 = u + 1 for u.
3
Suppose 0 = 2*n + 4*d - 12 - 6, 0 = -4*n + d - 9. Suppose 4*a - 6 = -34. Let f = n - a. Solve -4*j = 3*s - 28, -s = j - f*s + 16 for j.
4
Let i be (-3 - -7)*1 - 3. Let f = 11 - i. Solve 2*l - h = f, -l + 3 = -h - 3 for l.
4
Suppose 33 = 3*c + 5*j, 0*c - 2*c - 5*j = -17. Let y be -1 + (c + 2)/3. Suppose -2*z = -y - 1. Solve 3*l + 0*l = z*h, h + 12 = -3*l for l.
-3
Let t(u) = u**2 - u + 4. Let m be t(3). Let l(r) = -r**3 + 11*r**2 - 10*r + 3. Let f be l(m). Solve 5*q = f*v - 4, 8 = -6*v + 2*v for q.
-2
Suppose 0*s + 2*s - 5*d = 87, -2*s = -2*d - 72. Solve 4*i - s = -11, -2*b + 3*i - 17 = 0 for b.
-1
Suppose 3*c = c + 14. Let b(z) = -2 + 4 - 7*z**2 - 24*z**3 + 25*z**3. Let d be b(c). Solve -3*l + y + 17 = -7*l, d*l + 3*y + 11 = 0 for l.
-4
Suppose 7*g - 84 = 3*g. Suppose 2*o = 26 - 0. Solve 4*r - 6*k = -k + o, 2*r + g = -3*k for r.
-3
Let l(x) = 3*x - 9. Let p be l(8). Let v = -12 + p. Solve 3*b - 6 = -v*f, -11 = -3*f + 2*b - 0*b for f.
3
Let k be (-1)/((-9)/12)*-3. Let i = k + 7. Solve 5*r = 4*s + s - 15, 3*r = -i*s + 21 for s.
5
Suppose -k - 1 = -3. Suppose 2*v - c - 11 = -3*v, -5*c = -2*v + 9. Solve -v*d - 21 = -5*p, k*p + 4 = -3*d + 1 for d.
-3
Let g be 2 + (3 - (-2)/(-4)*6). Solve 3*s = 2*y + 6, 3*y + 3*s = -g*y - 15 for y.
-3
Suppose -40*v = -43*v + 69. Solve 8 = 3*i - 7*i + 3*b, -3*i = 2*b + v for i.
-5
Let q(o) = o + 8. Let w be q(-6). Suppose -4*n - c = -2*c - 84, c = 2*n - 44. Solve n = -4*y - 5*j, -w*y + 4*y + 2*j = -8 for y.
0
Let p = 15 + 1. Suppose -3*x + p + 17 = 0. Solve -x = -t - 5*f, 3*f = 6 - 0 for t.
1
Let k = -27 - 53. Let r be ((-180)/k)/(3/32). Solve 4*u = 2*w + 2*w + r, w = 5*u - 10 for w.
-5
Let l(v) = v - 8. Let k = 18 + -7. Let c be l(k). Solve 3 + 13 = -4*i - 3*s, -5*s = c*i + 12 for i.
-4
Let k = -11 + 11. Let j = k + 5. Solve 0 = -4*c + 3*x - 30 + 2, 0 = -j*c - 5*x for c.
-4
Let k be -2 - (-6 + (-2)/(-1)). Solve 0 = -k*r - 5*a - 23, -3*a + 6*a + 14 = -r for r.
1
Let d be (3 - -2)*(-21)/(-35). Solve n = d*t + 4 - 13, 2*t = 8 for n.
3
Suppose 9 + 3 = 6*f. Suppose x = -f, 5*y = 3*x - 4*x + 8. Solve 0*k = m + 2*k + 4, -2*k = 2*m + y for m.
2
Suppose 35 = 3*p - o, 3*p - 24 - 31 = -4*o. Solve 0*n = -y + 2*n - 10, -y - p = -3*n for y.
-4
Suppose 3*v + 3 = 4*o + 7, 2*o - 4*v + 12 = 0. Let y be o/(-8) - (-182)/56. Solve -2*x - 6 = -2*p, -y*p + 0*x = 3*x - 3 for p.
2
Let y = -29 - -45. Solve 4*l = -4*v, 8*v - 4*v - y = 0 for l.
-4
Suppose 0 = -4*r + 7 + 45. Let d = r - 6. Suppose 2*u - 2*q + 69 = d*u, -2*u - q + 27 = 0. Solve -5*t = -u, 5*g + 2 = 6*t - 2*t for g.
2
Let h(i) = i**2 + 2*i - 4. Let o be h(-6). Suppose 2*k - k = o. Suppose 4*z = -z + k. Solve -3 = z*u - 3*v + 11, -4 = 3*u + v for u.
-2
Let a be (0/(1 + -2))/(-2) - -2. Solve 5*i - h + 4 = -18, 5*h - 18 = a*i for i.
-4
Let x(m) = -4 + 5*m**2 + 4 + 3 + 5*m - 4*m**2. Let s be x(-5). Solve 0 = -4*q + 5*v - 14, s*v - 13 = 5*q - v for q.
-1
Let s(z) = -z. Let r(g) = -2*g + 1. Let b(t) = r(t) - s(t). Let l be b(-3). Solve 3*c + 8 + 1 = l*u, 4*c = -12 for u.
0
Suppose -4*d = 16, -5*k - 28 = 5*d + 52. Let j = -12 - k. Solve -4*l - 2*t + j = 12, 4*l - 5*t = -12 for l.
-3
Suppose -4*t - j + 7 = -0*j, 2*t - 4*j = 26. Let x(r) = -r**2 + 4*r - 3. Let h be x(t). Solve 5*f = 4*f - 4*v - 9, h = -5*f + v + 18 for f.
3
Suppose -2*z - 4 = -4*b, 3*b + z - 8 + 0 = 0. Let n be 2 +