- m = g. Suppose f = -m*f + 3. Solve -f*j = -2*j for j.
0
Suppose -3*g - 2*g - 55 = 0. Let b = g + 22. Solve -5 = 4*c + b for c.
-4
Suppose -7*i = -6*i - 2. Solve i = -4*y + 6 for y.
1
Let t(v) be the third derivative of v**5/60 - 7*v**4/24 - 7*v**3/6 - 7*v**2. Let s be t(8). Solve -3*b - 16 = -s for b.
-5
Suppose 5 = 5*c + 5*p, 0 = -2*c - p - 1 + 6. Solve 0 = 6*x - c*x - 2 for x.
1
Let o be 0/(8/2 + -3). Let a = 2 + o. Solve -a = -d - d for d.
1
Let c(f) = f - 3. Let w be c(6). Solve -s + 8 = -w*s for s.
-4
Let j be 0*(-4)/10*(-5)/2. Solve j = z - 0*z - 1 for z.
1
Suppose n = 4*n. Suppose 2*i - 1 + 3 = n. Let a be -1 - i/((-3)/(-57)). Solve -a = 5*u + 2 for u.
-4
Let p(n) = -n**3 + 2*n**2 - n + 3. Let s be p(2). Solve 3 = w - s for w.
4
Let a be 70/25 - 1/(-5). Suppose 2*d = -a*d + 80. Solve 0 = -4*z - 0*z - d for z.
-4
Let o = -4 - -7. Suppose -o*p = -5*w + 13, -4*w = -3*p + 2*p - 16. Solve c + p*c + 5 = 0 for c.
-1
Suppose v - 8 = -3*v. Let z = v + 1. Suppose -3*x + i - z*i = -1, -3*x + 4*i + 25 = 0. Solve -x*t = 2*t - 10 for t.
2
Let n(k) = k**3 + 24*k**2 + 22*k - 20. Let s be n(-23). Solve 11 = -s*y - 1 for y.
-4
Suppose -3*h + 3*z = 18, 8*z = -4*h + 3*z - 33. Let p = 11 + h. Solve -2*d - 6 = p for d.
-5
Let u be (-22)/(-3) - (-1)/(-3). Let g = u - 7. Suppose g = 5*v - 0*v. Solve v*f = 2*f - 2 for f.
1
Let h = -18 + 12. Let z be (h - -9) + (-6)/2. Solve z*i = 5*i - 5 for i.
1
Let v(i) = -i**2 - i + 1. Let s be v(0). Let n(z) = -z + 9. Let j be n(6). Let w(b) = -b**2 + 3*b + 2. Let l be w(2). Solve l*a = j*a + s for a.
1
Let h = 48 + -30. Solve h = -5*z - 7 for z.
-5
Let h = 0 - 0. Let y = 7 + -4. Solve -y*m + m = h for m.
0
Let w be ((-6)/(-4) + 1)/((-4)/(-8)). Solve -3*t + 8 = -w*t for t.
-4
Let w(f) = f**3. Let n(u) = -3*u**3 - 4*u + 3. Let l(q) = n(q) + 4*w(q). Let i(p) = -2*p - 4. Let x be i(-3). Let g be l(x). Solve -g*b = -0*b for b.
0
Suppose -27 = -5*x + 118. Solve 4*p + x = 9 for p.
-5
Suppose n - 6 = -2*n. Suppose t + 8 = 5*t. Solve 0 = -0*u - n*u - t for u.
-1
Suppose 5*w + 5*c = 20, -2*c - 42 = -3*w + c. Let b = 4 + -8. Let i = b + 8. Solve -i*j - w = 3 for j.
-3
Let t be (-84)/35*(-15)/6. Solve 0 = -5*u - 9 - t for u.
-3
Let d(m) = -m + 7. Let a be d(3). Let w(n) = n - 4. Let x(b) = b**2 - 4*b + 6. Let o be x(4). Let z be w(o). Solve -z*j = -j + a for j.
-4
Suppose -2*n + o - 2*o = -4, -2*o = -4*n + 24. Suppose n*s = 4*y - y + 9, -2*y - 6 = 4*s. Suppose -4*d - d = s. Solve -a + 1 = -d*a for a.
1
Suppose f - 5 = -3. Suppose 7 = 3*c + 25. Let a = c + 6. Solve f = -a*q - 2*q for q.
-1
Let i be (-4)/8*(6 - 2). Let d be (-7 + 3)/2*i. Solve -4*o = -6*o - d for o.
-2
Let t(v) = v + 3 - v**3 - 4*v**2 - 2 + 6 - v**2. Let l be t(-5). Let q(r) = -r**2 + 5*r - 3. Let p be q(3). Solve -w + l = p for w.
-1
Suppose 0 = -4*x - x + 40. Let t = -23 + x. Let d be 5*(-4)/t*3. Solve n = -n - d for n.
-2
Let w be (-1 - -3)*25/10. Solve 2*s - w*s - 6 = 0 for s.
-2
Suppose 9*u = 5 + 4. Solve -4 + u = -v for v.
3
Suppose 2*h = -2, -3*a - 2*h - 23 = 3*h. Let o = a - -10. Solve l = -o*l + 10 for l.
2
Let i(g) = -g**3 + 8*g**2 + 8*g + 9. Suppose 3*o + 11 = 38. Let x be i(o). Solve 3*r - 2*r + 1 = x for r.
-1
Let s = 1 - -4. Suppose 5 = s*q - 20. Let d be 2 + (-5)/(q/(-4)). Solve -d*j = -j for j.
0
Let u(d) = d**2 + d - 9. Let k be u(3). Solve -1 - 5 = k*a for a.
-2
Let b be -1 + 3 + 2/2. Suppose -5*a - k = -14, -2*a + 3*k = b + 5. Solve -i - a = -1 for i.
-1
Suppose 0 = -3*i - 5*a - 27, 3*i - 3*a + 4 = 1. Let c be 2 + (1 - (-2 - i)). Let x = c - -1. Solve 0 = x*m + 15 - 5 for m.
-5
Let b be 2/5 + 372/20. Solve -1 = -5*f + b for f.
4
Suppose 2*p + 0*p + 21 = f, -p - 5*f + 6 = 0. Let b = p - -12. Solve -2*d + 4 = -b*d for d.
-4
Let t(l) = -l - 19. Let w be t(-15). Let k be (-2)/(-3)*(-1 - w). Solve k*s = -s for s.
0
Let t(f) = -2*f + 1. Let z be t(-1). Suppose -n + z*n = 4. Solve n*c = -c - 15 for c.
-5
Suppose -4*y + 10 = y. Solve -s - 15 = y*s for s.
-5
Suppose 3*h - h + 2*n = -6, -11 = 2*h + 3*n. Solve -4 = -h*l - 0*l for l.
2
Let k be 2/(-2)*(3 + -3). Let b(f) = f**2 - f**3 + 2*f**2 + 19 - 4*f**2. Let z be b(k). Solve z - 7 = 3*m for m.
4
Let t be 84/16 + (-2)/8. Solve t*s = 9 + 1 for s.
2
Let f(h) = -h**3 + 4*h**2. Let o be f(4). Solve 5*q + 0*q - 10 = o for q.
2
Let m(j) be the first derivative of j**4/4 - 2*j**3 + 4*j**2 - 6*j - 3. Let p be m(5). Solve 0 = -4*w + 7 + p for w.
4
Let b(y) = y**3 - 25*y**2 + 24*y. Let v be b(24). Solve v = 3*h - h - 8 for h.
4
Let d = -21 + 45. Suppose c - d = -2*c. Suppose 0*l = l - c. Solve l*q - 3*q = 10 for q.
2
Let t(x) = -x**3 - 6*x**2 - 2*x - 6. Let f be t(-6). Suppose 0*r + 2 = 2*r. Let v be (-6)/(f/(-2 - r)). Solve 3 = -v*c - 6 for c.
-3
Suppose 5*h - j + 8 = -23, 2*h = -3*j - 9. Let y = 7 + h. Let n(x) = 4*x**3 + x**2 + x - 1. Let v be n(y). Solve v*i = 2*i for i.
0
Let h = -22 - -32. Solve 4*x + x - h = 0 for x.
2
Let d = 19 - 1. Let w be d/4 + 9/(-18). Suppose 4*g = -w*k, -4*g - 9 + 36 = -5*k. Solve -z - g = -5 for z.
2
Let b = 32 - 22. Suppose 3*m - 8*m = -75. Suppose -2*y = 3*y + x - 20, 3*x = m. Solve -b = y*g - 1 for g.
-3
Suppose -5*o + 10 = 5*k, 2*o + 2*o - 4*k - 40 = 0. Solve -o*q + 5*q = 0 for q.
0
Suppose 0 = a - 6*a - 30. Let z = -2 - a. Solve z*g = g for g.
0
Let p be (-2)/(-7) - (-328)/28. Suppose -5*j - 18 = p. Let a = 9 + j. Solve -a = -2*v + 3*v for v.
-3
Suppose -4*c + 3*c + 19 = 4*p, -4*c + 8 = -p. Solve 2*x + 4 = c*x for x.
4
Let q = 28 + -22. Solve q*u + 8 = 2*u for u.
-2
Suppose 4*l - 32 = -4*l. Solve -4*b - l = -0*b for b.
-1
Suppose b = -28 + 31. Solve b*a = 4 - 16 for a.
-4
Suppose -w + 6*w = 5*j - 95, j + 11 = -5*w. Suppose -4*s - 4*i = 12, 2*s = 4*s - 2*i - j. Solve h + 0*h = -s for h.
-2
Suppose 4*l + l = -2*p - 8, -9 = -5*p + 2*l. Solve 0 = 2*d - d + p for d.
-1
Let w = -1 - -4. Solve -20 = -w*c - 2*c for c.
4
Let a = -2 - -1. Let h = a - -2. Let v = 1 + h. Solve -3*t + v = -t for t.
1
Let w = -6 - -9. Solve 0*j + 9 = -w*j for j.
-3
Suppose 3*h + 3*h - 48 = 0. Solve 0 = 3*k - 5*k - h for k.
-4
Let n(z) = -z**2 + 8*z - 6. Let j be n(8). Let o = -4 - j. Solve 3*v = v + o for v.
1
Suppose -3*v = -10 - 5. Suppose -3*i = c - 4, -c = 2*c - 4*i - 64. Let f be (c/(-5))/(4/(-10)). Solve k - v*k = -f for k.
2
Let k be 2/(-3 + 13) - 56/(-20). Solve r = -k + 4 for r.
1
Let x be 2/(-4)*-6 + -1. Solve -3 + 5 = -x*d for d.
-1
Let a be (-4)/(-30) - (-84)/45. Solve 2*w - 20 = -a*w for w.
5
Let a be ((-32)/(-12))/((-2)/(-3)). Solve -3*u + 4*u = a for u.
4
Let c(j) = 4*j**3 - j - 8*j**2 + 11 - 4*j**3 + j**3. Let k be c(8). Suppose 0 = l - 4, 0*l = k*u - l - 2. Solve x + u = -2 for x.
-4
Let i(t) = 4*t**3 - 2*t**2 - t - 2. Let p be i(2). Suppose 4*v = 4 + p. Solve v*u = u for u.
0
Suppose 0 = w - 2*m + 3 + 3, 0 = -4*w + 3*m - 4. Solve -5*u - 9 = -w*u for u.
-3
Let x = 2 - -20. Suppose -4*u + 3*l - 4 = 0, -2*l + x = 2*u + 10. Solve 5*z - 3*z = u for z.
1
Let z = 30 - 26. Let g = 8 - 5. Suppose i - h + 1 = g*i, 2*i - 4*h = -4. Solve -z*j + 4 + 8 = i for j.
3
Suppose -9*x = -4*x - 15. Solve -x = -5*b + 2 for b.
1
Suppose 5*g + 106 = 106. Let d = -1 + 3. Solve g*a - a = d for a.
-2
Let l = -7 + 10. Let a be 1*(-1 + l*6). Suppose -5*k = -0*r - 2*r - 17, -3*r - k + a = 0. Solve -r = x + 3*x for x.
-1
Suppose 2*c + 14 - 28 = 0. Solve -20 = -c*x + 2*x for x.
4
Let u = 13 + -8. Solve -u*h + 12 - 2 = 0 for h.
2
Suppose 3*c - 9 - 6 = 0. Suppose 4*l - 5 = -2*j - 3, -12 = 4*j. Solve 0 = -l*y + y - c for y.
-5
Let b be -1 + 4 + 2 + -2. Solve -2*g - 1 = -b for g.
1
Let p(x) = x**2 - 6*x - 6. Let s(t) = -t**3 + 7*t**2 - 6*t + 4. Let a be s(5). Let w = a + -17. Let o be p(w). Solve -o = -z + 1 for z.
2
Suppose 19 = 2*x + 1. Let r be (-36)/8*(-12)/x. Solve s + r = -2*s for s.
-2
Suppose 0 = -i - 3*t + 3 - 0, -2*t + 6 = 2*i. Solve -d = i*d for d.
0
Let d = -8 + 12. Let b(v) = 8*v**3 - 5*v + 9. Let r(m) = -7*m**3 - m**2 + 4*m - 8. Let q(s) = 6*b(s) + 7*r(s). Let f be q(-7). Solve f = d*i - i for i.
4
Let j(r) = 2*r**3 + r**2 - 2*r - 2. Let h be j(-2). Let o be ((-6)/5)/(3/h). Suppose 0 = -3*k - o*u + 12, 0 = 3*k - 4*k + 4*u + 4. Solve -k*s + 13 = -3 for s.
4
Suppose n + 3 = 0, -5*w + 21 = -w + n. Solve 2*d + w = 2 for d.
-2
Suppose -g = -4*g + 324. Let n be 1 + -7 + (-6 - (6 - 13)). Let h be g/15 - (-1)/n. Solve 2