4*n - 2*x - 6 for n.
0
Let l(j) = 3*j**2 - 2*j + 1. Let y be l(1). Let s be (-3)/6*((1 - 2) + 1). Solve 0 = -d - 2*m - s*m, 0 = -y*d - m for d.
0
Let p(y) be the first derivative of y**3/3 + y**2/2 + 6*y - 2. Let g = 8 - 8. Let n be p(g). Solve 5 = -x + 3*o, -11 = -2*x - 3*o + n for x.
4
Let v(j) = -j**3 + 2*j**2 + 3*j. Let f be v(3). Suppose -2*q + f*q = 16. Let l = q - -11. Solve 9 = -l*x + h + 2*h, 0 = 4*h for x.
-3
Let p(h) = h - 2. Let y be p(-3). Let q(j) = -2*j + 5. Let w be q(y). Solve 2*t = 0, 3*x + 3*t = t - w for x.
-5
Let t(i) = -5*i - 53. Let h be t(-11). Solve 5*c - h = -4*k - 0*k, -4*c + k + 10 = 0 for c.
2
Let y(u) = -u**3 + 2*u**2 - u + 1. Let x be y(2). Let s be (-1 + x)*(-33)/22. Solve 0 = 3*w + 3*f + 12 + s, f = -2 for w.
-3
Let o(v) = v**2 - v + 3. Let f be o(4). Solve 3*s - f = 0, -3*g - 5*s + 33 = -g for g.
4
Let o be ((-160)/(-120))/(-1 - (-13)/9). Solve 5*m + 14 = -o*z, 3*m + 5*z - 13 = -31 for m.
-1
Let c(q) = -3 - 2*q - 2*q + 4. Let l be c(-6). Solve 3*d = 3*m + 8 + 13, 5*d = l for m.
-2
Suppose -4*r + 12 = -0*r, -2*r + 26 = 5*g. Solve 5*l = g*j + 6, -3*l = -3*j - 2*l + 1 for j.
1
Suppose 5*y - 6 = 2*y. Suppose -4*z = -5*g + 6, 3*z + 2 = 3*g - z. Suppose a = g*a. Solve 4*m + y*h + 22 = 0, -4*m - h + 4*h + 3 = a for m.
-3
Let z be (-4 - -3 - -6)*1. Suppose -51 = p - 4*p. Solve z*q = 4*k, 3*q - p = -5*k + 20 for q.
4
Let r(a) = a - 1. Let d(j) = -2*j - 5. Let g(p) = -d(p) - 3*r(p). Let s be g(4). Solve -l = q + 3, s*q - 6 = 2*l + 3*l for l.
-2
Let j(d) = 2*d - 10. Suppose 0 = 5*z + 5 - 40. Let o be j(z). Solve 2*a - 9 = o*a - k, -3*a - 2*k - 3 = 0 for a.
-3
Suppose -2*v = 4*z - 116, -3*v - 2*v = 4*z - 272. Suppose m - v = -3*m. Solve -3*w = -3*x + 27, -2*x - 2*w + m = -3*w for x.
4
Let o(g) = 2*g + 2. Let n be o(1). Solve -2 = 2*x + n*y, -x + 2*y + y = 11 for x.
-5
Suppose 2 = -3*g + 5. Let o be -9*2/((-6)/g). Solve 2*l + 8 = n, l - o = -0*n - 3*n for l.
-3
Let x = 5 - 11. Let l be (0 - -3)/(x/(-4)). Solve -28 = 4*w - l*c, 5*c - 22 = w + 3 for w.
-5
Let y be (1 + -2)/(5/(-20)). Suppose 0 = -y*v - 0*v. Solve -5*p + 3*x - 7 = 0, -p + 21 = -v*p + 5*x for p.
1
Suppose -v = -3*w - 0*w - 6, -3*v = -w - 10. Solve -5*j = -3*h - 40, 0 = -j - v*h + 2 - 12 for j.
5
Suppose -k - 2*a = -6, 3*a - 49 = -8*k + 4*k. Solve -2*r - r + 4*j + 13 = 0, 4*j + k = 0 for r.
-1
Let c be 0/1 + 6/3. Suppose -5 - 125 = -5*y. Solve 2*v = -4*k + y, 5*k + c*v + 0*v - 30 = 0 for k.
4
Let y(g) = g**3 + 5*g**2 + 4*g - 1. Let d be y(-3). Solve -3*j = 4*l + 10, d*j + 2*l = -0*l + 2 for j.
2
Let a(g) = g**2 - 4*g - 5. Let l(o) = 2*o**2 - 7*o - 9. Let y(f) = -11*a(f) + 6*l(f). Let h be y(-3). Solve -6 = h*s + u, -2*s - 5 = 5*u + 7 for s.
-1
Suppose -78 = -5*f + 42. Solve t - 4*g = -3*t + f, 2*g + 6 = -t for t.
2
Let t(z) = 6*z - 24. Let d be t(5). Solve 0*s + 3*s + d = -3*v, -s = 4*v + 2 for s.
-2
Let z(p) = p + 1. Let q be z(3). Solve 8 = q*h - 4*w, -2*h - h + 14 = w for h.
4
Suppose -16 = -3*k + h, 3*k + k = -4*h. Suppose -x - 8 = -4*m, 5*m - 3*x = -5 + 22. Let s = 2 - m. Solve -4*p = -5*q + 14, 2*q = k*p + 9 - s for p.
-1
Let v(s) = -4*s**3 + s**2 - 1. Let j be v(-1). Suppose -t = -j - 0. Suppose 12 = t*y - 4. Solve 0 = 2*r + 5*c + 6, -c = -3*r - 2*c + y for r.
2
Let t = 57 - 53. Solve 2*j = t*s, -5*s - 3*j + 7*j = 0 for s.
0
Let b = -6 - 7. Let q = 29 + b. Suppose i = 5*i - q. Solve -w = -4*r + 8, i*w + 5*r + 1 = -10 for w.
-4
Let z = 130 + -126. Solve -3*h + z*p = -12, 4*h - 2*p - 15 = 3*p for h.
0
Suppose 6 = -7*p + 9*p. Solve -5*r = -2*r - 5*l + 11, 0 = -3*l + p for r.
-2
Suppose 1 = -5*c - b + 7, 14 = -c - 4*b. Let t = -2 + c. Suppose 5*k - 5*w + 5 = t, -2*k - k - 5*w + 13 = 0. Solve -3*y = -4*p + 5, -4*p - k + 5 = -4*y for p.
2
Let d = 4 + -2. Suppose -p = d*f - 3, 4*f - 3*f = 2*p - 11. Solve -32 = -p*g + 4*w, -3*w + 4 = -3*g + 25 for g.
4
Let w(g) = -2*g**3 - 2*g**2 + 2*g. Let r be w(-2). Let b = 16 - -32. Let s be 12/b + (-38)/(-8). Solve -17 = x + s*k, r*x + 3*k - k - 4 = 0 for x.
3
Suppose -2*l + l - 5*y = 3, 0 = 2*l + 2*y - 2. Suppose 3 = -i, 5*i = l*r + 2*i - 17. Solve -7*f + 2*f + 7 = -3*g, -4*g + r*f - 4 = 0 for g.
1
Suppose -2*n - 3 = 3*t, -2*n + 17 = -0*n - t. Let x(y) = y**2 - 7*y + 8. Let m be x(n). Let v = -1 + m. Solve 5*g + a + 11 = 2*a, -g = -a - v for g.
-3
Let i(y) = -4*y - 1 + 5*y - 2*y. Let z be i(-1). Solve z = 4*v + 3*a - 1, 4*v + a - 5 = 2*a for v.
1
Let d(t) = 4 - t + 5 + 0*t. Suppose -28 = 14*n - 18*n. Let j be d(n). Solve -j = -0*r - 2*r - 2*f, -5*f - 4 = 2*r for r.
3
Suppose 0 = 8*t - 6*t - 10. Solve -v - 27 = 5*u - 4*v, -t*v = -5*u - 35 for u.
-3
Let l(n) = -n**3 + 7*n**2 - 6*n + 2. Let j be l(6). Suppose a = -j*m + 6*m, -3*a = -m. Solve 3*p + g - 12 = 0, 2*p + m*g - 3*g = 8 for p.
4
Let u be (0 - 0/1)*-1. Let d(x) = -3*x + 6. Let w be d(3). Let b(m) = -7*m - 3. Let j be b(w). Solve 4*o - j = 4*h + 2, h = u for o.
5
Let o(k) = k**2 - 3*k - 2. Let g(q) = q**2 - 4*q + 4. Let a be g(4). Let u be o(a). Solve -5*r + 5 = 4*j, -u*j = -j + r for j.
-5
Suppose -51 = -4*a - f - 14, -4*a + 12 = -4*f. Suppose -2*z = -3*z - a. Let c = 0 - z. Solve d = -4*b + 7, 0*d + c = -4*b + 4*d for b.
1
Suppose 0 = 4*r - 7 - 5. Let a be (2 - (4 - 2))/2. Let o(k) = -k**2 + k + 4. Let f be o(a). Solve f*n = -5*s - r, 3*s - s + 15 = 3*n for n.
3
Suppose -m + 4*i + 9 = 0, 2*i = -3*m + 7*i + 20. Solve 0 = k - m*k - 4*a + 4, -5*k - 3*a = 5 for k.
-4
Suppose 80 = -4*c - c. Let r(b) = b**2 - 9*b + 5. Let i be r(8). Let x be -3*(i - c/(-3)). Solve a + 12 = -2*w, -3*a - 1 - x = 4*w for a.
-2
Let q = 44 + -27. Suppose 0 = -3*s + 68 - q. Solve -5*k + 25 = 5*n, n - s = k - 6*k for n.
2
Let j = -3 + 3. Suppose j = 3*x - 5 - 40. Solve -h - 15 + 7 = -2*g, -3*g + x = 0 for h.
2
Let a(s) = s**2 + 5*s + 5. Let f be a(-4). Solve 6*x + 5 = c + 2*x, 2*c = -3*x - f for c.
1
Let p be 1/(1/(-2)*2). Let a(g) = -4*g - 1. Let b be a(p). Let x = 8 - b. Solve -4*f - 23 = -x*w, f - 3*f = 3*w - 5 for w.
3
Suppose 2*m = -4*u - 8, 2*u + u + 11 = m. Suppose -m*g + 16 + 24 = 0. Solve 9 = 4*k + 5*v + g, v - 2 = -5*k for k.
1
Let j be (3/(-6))/(5/(-50)). Let s be j + 3 - 6/3. Solve q - 2*p - 8 = 0, q = -0*q - 5*p - s for q.
4
Let h = -28 + 50. Suppose c + 2 = -t, h = -t - c - 4*c. Let x = 16 + -7. Solve -t*w + 5 = -w + b, -3*w - 2*b = -x for w.
1
Let y be 2/(-4) + (-133)/(-14). Suppose -15 = -2*k + y. Solve 5*v = -j + 17, -4*v + k = -0*v for j.
2
Suppose -s = -0*s - 27. Suppose 3*x - s = -3*d, -4*d = -2*x - x - 36. Suppose -d = -4*c + f - 0, 5 = -5*f. Solve w - 2*i + 3 + c = 0, -5*i + 23 = w for w.
3
Suppose 4*w - 24 + 8 = 0. Let a be (-4)/14 + (-174)/(-21). Solve -w*i - 3*d - 15 = 0, 0 = 3*i - 3*d + a - 2 for i.
-3
Suppose 4*n = c - 6, -c + 0*c + 5*n + 4 = 0. Suppose 5*w - c = 16. Suppose -4*m + w = -m. Solve -3*g + m*i = -i + 18, -4*i = -5*g - 27 for g.
-3
Suppose 0 = -0*j + 3*j - 5*y - 5, y + 1 = -2*j. Solve -4*b + 24 = -7*b - 3*f, b - f = j for b.
-4
Suppose 5*r = 12 + 88. Suppose -9 = -h - t, 6*h + 4 = 2*h + 4*t. Solve 0 = w - 5*v + r, 0 = 2*w - 0*w - v + h for w.
0
Let m be (-4 - (-15)/5)/((-2)/4). Solve 3*a - 6*b + 6 = -3*b, -4*a - 12 = -m*b for a.
-4
Let r(k) be the third derivative of -k**4/12 - 13*k**3/6 + 5*k**2. Let w be r(-8). Solve w*q + 2*d + 2 = 5*q, 3*d = -4*q - 17 for q.
-2
Suppose -4*k + 16 = v, 12*k - 7*k - 33 = 2*v. Solve -2*r - t = 2*r + 14, k*t - 14 = r for r.
-4
Suppose -c - 2*c + 12 = 0. Solve 0 = -c*y - 5*f + 5, 4*y = -f - 6 - 9 for y.
-5
Let v(l) = l + 1. Suppose 5*f - 5*i - 25 = 0, -f = f + 4*i + 14. Let b be (8/(-2))/(f - 3). Let c be v(b). Solve 3*p + 6 = -3*d, -d = -4*p + c*p + 2 for p.
0
Let v(f) = f**3 + 2 - 6*f**2 + 0*f**2 + 0*f**2. Let t be v(6). Suppose 1 = t*o - 5*x, -2*x - x = -o. Solve j + 4*j + 41 = -4*l, 2*l = -o*j - 23 for l.
-4
Suppose -4*w + 152 = 2*m, w + 48 = 2*w + 3*m. Let a be w/21 + 2/7. Let p be 14/6 - a/(-3). Solve 2*s - 2 + 4 = -t, 9 = -3*s - p*t for s.
1
Let y = -71 - -76. Solve 5*r - 15 = f + 4*f, 0 = y*r - f - 11 for r.
2
Let l = -15 - -19. Let c be l*(-3)/(-36)*6. Solve -c*i = 3*v - 0*i + 3, 3*v - 4*i = 15 for v.
1
Let u be (1 - 4) + 9/3. Suppose 5*z = y + 13, 3*z - 17 = -4*y - u*y. Solve -3 = -5*b - 4*v + y, 4*b + 2*v = 10 for b.
5
Let m(w) = -w + 12. Let g be m(10). Suppose -v = -g - 1. Suppose -f + v*f - 10 = 0. Solve -2*