4*c = 4, -c = -3*y + 1. Solve 4*j = -y*j + 4 for j.
1
Let y(m) = m**3 - m**2 + m. Let u be y(1). Suppose -3*h = -2*h. Solve h = -f - u - 3 for f.
-4
Let n(d) be the second derivative of -d**3/6 + 2*d**2 + 2*d. Let x be n(4). Let f(c) = c**3 - c**2 + 3. Let w be f(x). Solve l = w*l + 4 for l.
-2
Let v(c) = c**3 + 3*c**2 - 5*c + 7. Let p be v(-5). Let u be (4/6)/((-6)/p). Solve u*w = 7*w for w.
0
Let n(g) = 3*g - 12. Let p be n(11). Let v be ((-6)/(-3))/(6/15). Solve 4 = -v*a - p for a.
-5
Suppose -5*i + p = -2, 4*i - 4*p = -0*p + 8. Let w(s) = -s**2 - 7*s - 7. Let r be 2/4 - 11/2. Let q be w(r). Solve i = -q*g - 10 + 1 for g.
-3
Suppose -4*q + 12 = 4*b, 3*q + 0*q = 5*b + 9. Suppose q*z = 7*z - 16. Suppose 4 = z*f + 2*v, -f = 4*v + 2 - 10. Solve -2*x + x = f for x.
0
Let z(q) = q**2 + 7*q. Let c(b) be the second derivative of b**4/12 + b**3 - b. Let k(j) = 6*c(j) - 5*z(j). Let o be k(-2). Solve -x = -o*x + 5 for x.
5
Suppose -2*l + 1 = -3*o, 10 = 3*l - 0*o + 4*o. Suppose -2*b + r = 4*r - 27, 0 = l*r + 2. Suppose -h = 2*h - b. Solve -2*a = -h - 1 for a.
3
Suppose 0 = -5*x + 13*x. Solve j - 1 = -x for j.
1
Suppose -51*y - 28 = -55*y. Solve 0 = -y*l + 5*l for l.
0
Let f = 112 + -110. Solve -f = 2*i - 8 for i.
3
Let f = -9 - -23. Let u be 18/21*(0 + f). Solve -u = 7*p - 3*p for p.
-3
Let w = -6 - -2. Let d be (-2*6/w)/(-1). Let g be (-40)/(-6) + 2/d. Solve -g = 5*h + 14 for h.
-4
Let q(z) = z**2 + 4*z + 1. Let k be q(-5). Let p be 1 + 1 - (-6)/2. Solve -k*j + p = -j for j.
1
Let m = 11 + -22. Let v = -8 - m. Suppose 21 + 0 = v*o. Solve -o = 4*g + 9 for g.
-4
Let c(j) = j + 1. Let i be c(-7). Let t = 8 + i. Solve 3*m = -t - 10 for m.
-4
Let s(c) = c**3 + 3*c**2 + 2*c + 3. Let v be s(-2). Suppose -u + 5*u = 4*d, -2*u - v*d = 0. Solve u = -5*g + 35 - 15 for g.
4
Let u be 28/(-6)*(-9)/6. Let o = u - 4. Solve -3*j = -18 + o for j.
5
Suppose -4*c - 18 = -n, -6*n = -4*n + 3*c + 8. Solve 7 = n*o - 3 for o.
5
Suppose -6*v = -7*v. Solve -4*m - 24 + 4 = v for m.
-5
Let s(r) = -r**3 - 3*r**2 - 2*r - 4. Let y be s(-3). Suppose 2*o = -y*c + 16, 0*o = -5*o - 10. Solve -2*k - c = -4*k for k.
5
Suppose -13 = -4*h + 7. Let b(l) = -5*l - 2. Let f be b(-1). Solve -h*a - f + 8 = 0 for a.
1
Suppose 3*w = -2*l + 9, -w - 4*w = 2*l - 19. Let r(f) = f**3 + 3*f**2 - 2*f - 2. Let v be r(l). Solve -4*h = 8 + v for h.
-3
Let m be 2 - (4 - 3) - 10. Let c be (-6)/m*(2 - -1). Solve -2*s + 20 = c*s for s.
5
Let i(n) be the third derivative of -n**4/24 - n**3/3 + n**2. Let t(z) = 3*z + 1. Let b be t(-2). Let l be i(b). Solve -4*w - 11 = -l for w.
-2
Let a be 320/100 + 4/5. Solve 4 = a*v - 0*v for v.
1
Let k = 5 - -1. Suppose 0 = k*q - 4*q - 6. Suppose q*s = 6*s. Solve x + 4 = -s*x for x.
-4
Suppose 0 = 12*c - 8*c. Let s be 3 + (-2 - -1)*1. Suppose 0 = -5*y + w + 4*w + 40, -5*y + 3*w + 34 = 0. Solve s*d + 3*d + y = c for d.
-1
Let l be (-2)/(-7) - (-390)/(-42). Let g(d) = d**2 + 9*d + 2. Let o be g(l). Solve o*j - 9 = -j for j.
3
Let a be (-1 - -3) + 2 + -1. Let w = a + 2. Solve 2*l = 1 - w for l.
-2
Let x(b) = -b**3 + 5*b**2 - 5*b + 2. Let z be x(3). Suppose z*y + 18 = 4*y - 5*s, -3*y + 18 = -3*s. Solve 2 = -y*i + 4*i for i.
1
Suppose 0 = 4*a + 2*m - m + 15, 3*a = -4*m - 21. Let f be 29/3 + (-1)/a. Solve h + f = -h for h.
-5
Let a = -6 - -3. Let q be (7 + -3)*a/(-1). Solve 0 = -3*p - q for p.
-4
Suppose 33 = 5*j + 28. Solve 0 = 3*n - j + 4 for n.
-1
Suppose -n - g + 15 + 12 = 0, 0 = -g + 2. Solve -4*f - n = f for f.
-5
Let c = -15 + 35. Suppose 3*k - c = -4*j, 3*j + 4*k - 10 = j. Let m be 10/65 + (-462)/(-39). Solve -27 + m = -j*u for u.
3
Let u be (-10)/(-25) + 152/(-5). Let r = -22 - u. Let t(a) = a**3 - 5*a**2 - 5*a - 2. Let k be t(6). Solve r = k*i - 2*i for i.
4
Let u be 29/7 + 4/(-28). Solve -d = u*d + 15 for d.
-3
Let n(r) = r**3 - 2*r**2 + 3*r. Let d be n(2). Solve -2*o + d + 4 = 0 for o.
5
Let r(q) = -q**2 + 3*q + 2. Let o be r(5). Let w = 2 + 4. Let h be (o + 2)*(-4)/w. Solve 5 = u + h*u for u.
1
Let l(v) = 4*v**2 + 2*v - 1. Let b be l(1). Solve j + b = 4 for j.
-1
Let n(a) = a**3 - 6*a**2 + 4*a + 2. Let r be n(5). Let s(j) = 2. Let g(z) = z - 1. Let u(t) = -2*g(t) - 3*s(t). Let i be u(r). Solve -o = i*o - 9 for o.
3
Suppose 4*w + 0*w = 16. Suppose -40 = -c - w*c. Let l be c + (-1 - -1) - 2. Solve 0 = s + 2*s + l for s.
-2
Let o = -9 - -6. Let m be (-1)/2*o*96. Suppose 5*g = 36 + m. Solve -g + 11 = 5*l for l.
-5
Let n = 5 + -5. Suppose n = 2*z - z - 1. Solve -w + 0*w = z for w.
-1
Suppose 3*c + y - 13 = 0, 4*c + y - 19 = -2*y. Solve 2*t - t = c for t.
4
Suppose -13*s = -18*s + 50. Solve -s = -5*o - 5 for o.
1
Suppose -5*l + 22 = 4*i, 5*l - 13 = 6*i - 7*i. Solve 4*r - l*r = -2 for r.
-1
Let o(b) = -4*b - 21. Let m be o(-6). Solve n = -m*n for n.
0
Suppose -4*k = -3*k - 1. Let v = k - -1. Let b(r) = -2*r**2 + 12*r + 1. Let a be b(6). Solve v*s + 7 = -a for s.
-4
Suppose 5*k - 20 = k. Suppose -m - 10 = -2*g, g - 5 = 4*m + 14. Suppose -2 = -k*w + g*w. Solve w + 1 = v for v.
2
Let g = 1 - -1. Suppose 0 = g*z + 3*l - 172, -2*l = -4*z + 128 + 216. Let d be z/18 + (-2)/(-9). Solve -4 - 6 = -d*m for m.
2
Let i be 6/(-21) + 23/7. Let c be i/(5/2 + -1). Suppose 3*l - 7 + 1 = 0. Solve l*q - q = -c for q.
-2
Let d(j) = -j**2 + 6*j + 1. Let g be d(8). Let p = -11 - g. Suppose -4*o + 19 + 7 = 2*z, -z - 15 = -5*o. Solve -p*s - o = -0*s for s.
-1
Suppose 6*y - 13 = 5. Solve y = d + 4 for d.
-1
Suppose -2*b = -u - 12, -b - 4*u = -3*b + 12. Let w(r) = r**2 - 3*r - 2. Let l be w(6). Solve b*a - 2*a + l = 0 for a.
-4
Let g(k) = 1 - k - 3*k**3 + 2*k + 0*k. Let c be g(-1). Suppose 2*s = -c*s + 30. Solve -s*m = -m + 10 for m.
-2
Let z = 5 - 3. Let q(h) = 2*h - 1 - z*h**2 + h**2 - 4*h. Let m be q(-1). Solve m = 4*s + 1 - 17 for s.
4
Suppose f + 0*f = -k + 3, -4*k + 4*f = -36. Solve k*y = 3*y - 9 for y.
-3
Suppose -84 = -0*o - 3*o. Suppose 10 = -3*h - 5*f, 0 = 2*h - 0*h - 2*f + o. Let k = 14 + h. Solve -k*c - c + 10 = 0 for c.
2
Suppose u + 3 = 2*n - n, 0 = -5*u + 5. Solve -3*j + 3 = -n*j for j.
-3
Let x be 4/(-2) - 8/(-4). Suppose x = -3*c - 0*c + 15. Suppose z - 4 = 4*n - 1, -4*n + 15 = c*z. Solve 2*q - z*q - 4 = 0 for q.
-4
Let a(u) = 3*u**3 + u**2 + 2*u + 1. Let p be a(-1). Suppose 0 = -3*m + 3*q - 9, 2*q - 2 = 5*m + 1. Let z be m - p/(-2 + -1). Solve -x + 2 = -z for x.
2
Suppose 5*z + 2 = 3*z. Let c be 2 - (2/z)/2. Suppose -5*w + 26 = -3*l, -c*w + 2 + 18 = -4*l. Solve -w = -v - 1 for v.
3
Let o(w) = w + 7. Let b be o(-10). Let d be 2 - -2*(-2 - b). Suppose -3*a = -5*a + 8. Solve 0 = d*h - 0 + a for h.
-1
Suppose 2*p + 8 = -2*o - 2*o, -5*p = 2*o + 20. Solve 4*b - b - 15 = o for b.
5
Suppose a + 4*a = 0. Suppose a = -q - 0*q + 4. Solve q*m = 5 + 7 for m.
3
Let l = 10 + -10. Suppose r + 0*r - 2 = l. Solve -1 = -r*y + 7 for y.
4
Suppose -4*r + r = 0. Suppose 3*t + 2*v + 3 = r, t - 3*v + 5 = -5*v. Suppose b - t = 2. Solve 6*n + 9 = b*n for n.
-3
Let i be 112/18 + (-2)/9. Suppose 4*h = 5*h + i. Let b = -6 - h. Solve 0 = k + 3 - b for k.
-3
Let f(j) = j**3 - 10*j**2 + 7*j + 13. Let i be f(9). Let b(z) = -z - 3. Let p be b(i). Solve 0 = -p*q + q - 2 for q.
-2
Let m = -138 + 140. Solve -3*s - m = -s for s.
-1
Suppose -1 = -5*m + 4*m + g, -5*m + 11 = g. Let y be (-8)/20 - (-54)/10. Suppose 2*l = l + q + 6, 0 = m*l - y*q. Solve 2*j = -3*j - l for j.
-2
Let t = 67 + -65. Solve -n + 2*n - t = 0 for n.
2
Let g be ((-10)/4)/(2/(-4)). Suppose 3*y - 4*y = -4*d - 31, 0 = 4*y + g*d - 40. Solve -6*a + 3*a + y = 0 for a.
5
Suppose -4*z = 2*z - 36. Solve -z + 3 = -3*d for d.
1
Suppose 2*l + 2*d - 4 = -2, 2*l + 4*d - 4 = 0. Suppose l = -5*m + 24 + 1. Let z = m - 2. Solve -6 = -w + z*w for w.
-3
Let v(y) = y**2 + 4*y - 8. Let o be v(-6). Suppose 5*d = n - 29, 8*n + o*d = 3*n. Suppose -h - n*h = -20. Solve -9 - 3 = h*r for r.
-3
Let v(k) = -k**2 + 2*k + 5. Let j be v(4). Let t = 1 - j. Solve -t*p + 3 = 19 for p.
-4
Suppose 3*z + 7 = 13. Solve z*y - 8 - 2 = 0 for y.
5
Let d = 40 - 27. Suppose 2*n + h - d = 0, h - 3*h = n - 11. Solve -n*o + 20 = -o for o.
5
Let u = 71 - 69. Solve 2*d + u*d - 8 = 0 for d.
2
Let g be (-27)/6 + 2/(-4). Let y = g + 8. Solve -8 = y*o - 2 for o.
-2
Let z be -3*(-5 - -1)*11. Let g be ((-1)/(-2))/(3/z). Solve -5*a + g = 7 for a.
3
Let u be 0 - (2/3)/(2/(-9)). Solve 0 = -2*c - u*c + 5 for c.