j be s(f). Solve 2*m + 7 = j for m.
-2
Suppose 2*v = 3*v - 3. Suppose -5*o + 5*f = 80, v*o + 2*f - 6*f = -50. Let n be (-2)/(-7) - 108/o. Solve z - n = -3*z for z.
2
Suppose -5*o = -4*l + 151, -3*l - l + 121 = 5*o. Suppose -x - 70 = -6*x. Solve 4*a = x - l for a.
-5
Let l be (-2)/9 - (-4)/18. Suppose 4*a + l = -u + 5, -3*a - 10 = -2*u. Solve a*i - 3*i + 9 = 0 for i.
3
Suppose 19*o = 11*o. Solve -t + 3 - 4 = o for t.
-1
Suppose 0 = 9*q - 42 - 12. Solve 4*w = w + q for w.
2
Let m = 87 - 81. Solve -2*p + m = -4*p for p.
-3
Let a = 5 + 7. Solve -a = -3*m + 7*m for m.
-3
Let o be 2/14*-1 - 1551/(-77). Solve 0 = -0*m + 4*m + o for m.
-5
Let b be 1/2 - (-2)/4. Let k = b + 4. Solve 0 = -k*u + 21 - 1 for u.
4
Suppose -6 = 2*o + 5*l, -6*o = -4*o + l - 2. Solve -o*w + 3*w = 1 for w.
1
Let m(o) = -o + 23. Let b be m(16). Solve 5*s + 8 = -b for s.
-3
Suppose 0 = 5*g + 4*r - 30, 3*r - 12 = 3. Solve 6*k = g*k + 12 for k.
3
Suppose 3*s - 36 = -4*n - s, -5*s = n - 25. Suppose 5*d = 5*f - 70, f - 5*f - 2*d = -32. Suppose c - n = 0, -3*u + 3 = -c - f. Solve z - u = -z for z.
3
Let j = 3 - 7. Let k be j + 6 + (2 - 0). Solve -2*r - 2 + k = 0 for r.
1
Let r be ((-2)/4*0)/(-3). Suppose 4*o + o = 0. Suppose o = -r*z + 4*z. Solve z = -2*l - l for l.
0
Let p be -2 + (4 - (-2 - -4)). Suppose y + 1 + 2 = 0. Let n = 3 + y. Solve p = -c - 4 - n for c.
-4
Suppose -3*d = -5*d + 16. Let j be d + (2 - 3) - 2. Solve -3*c = -4*c - j for c.
-5
Let a = -14 + 17. Suppose a*u + 6 = 3*m, -3*m - 3*u - 6 = -0. Solve m*y = 3*y + 15 for y.
-5
Let c(z) = -z - 5. Let x be c(-5). Solve x*n = -4*n for n.
0
Suppose l - 2*n = 2, 8*l - 2*n = 4*l + 2. Solve 3*k + l - 3 = 0 for k.
1
Suppose 6 = -5*b + 21. Suppose 5*j - 15 = 0, -2*j + b*j - 3 = x. Solve -1 = -x*p - p for p.
1
Suppose t = 2*t - 4. Let a be 1/2*0/10. Solve 4*u = -a + t for u.
1
Suppose -3*g + 2*g = 4. Let p = g - -7. Solve p = 2*h - 3 for h.
3
Suppose 0 = -2*d - 2*d + 912. Let b be d/(-18) - 2/6. Let i = -8 - b. Solve 0 = -i*w - 1 + 11 for w.
2
Let m be (6/(-1))/(9/(-6)). Suppose -m*h + 55 = h. Let r = -14 - -14. Solve -3*y + 4 + h = r for y.
5
Let s = -12 - -19. Let n be 6/2 - (s + -6). Solve n - 10 = 4*z for z.
-2
Let o(q) be the first derivative of q**3/3 - 5*q**2/2 + 5*q - 1. Let i be o(5). Suppose 3*w - 4 = -0*w - r, 3*r = i*w - 16. Solve w*z = -13 + 5 for z.
-4
Let f be -1 + 1 + -1 + 3. Suppose 0 = f*i - 4*i. Solve j + 3*j + 8 = i for j.
-2
Suppose q + 0*h + 1 = h, 0 = 2*q - 3*h + 3. Suppose q = 5*i + 6 - 31. Suppose -2*g + i*g = 3. Solve o = 4 - g for o.
3
Let t(d) = -d**2 + 10*d - 5. Suppose 0 = -0*k - 5*k - 4*s + 12, 0 = 3*k + 5*s - 2. Let g be t(k). Solve 4*h + 1 + g = 0 for h.
-5
Suppose 5*c = -5*n + 15, -3*n + 5*c - 2*c = -3. Solve 7*z = n*z - 10 for z.
-2
Suppose 0*w = -4*w + 32. Let p be w - (-6)/3 - 2. Suppose p*c - 3*c = 40. Solve c*t = 3*t for t.
0
Let f = -5 + 5. Suppose f = -4*q + q. Solve q*n = -3*n + 12 for n.
4
Suppose 3*z = -3*c + 18, -7*z + 3*z + 22 = 3*c. Solve 3*i = -11 + c for i.
-3
Suppose l = -b - 3, 2*l + b + 20 = 6*b. Let q = l + 7. Solve 2*i = q + 4 for i.
3
Let m(l) = -l - 7. Let z be m(-7). Suppose q + 6 + 0 = z. Let r = q + 16. Solve 0 = -2*c - r for c.
-5
Let v be (15/(-9))/(1/(-3)). Let n = v - 0. Suppose -t + 1 = 3*u, 3*t - 2*t - 2*u - 6 = 0. Solve -t*g - 3 = -n*g for g.
3
Let x(d) = d**2 + 2. Let y be x(0). Let q = 7 + -5. Let b = 7 - q. Solve -y*v - 3 = b for v.
-4
Let s(m) = 13 - 2*m - m**2 - 4*m - 3. Let l be s(-7). Solve -l*f - f + 4 = 0 for f.
1
Suppose 4*o = 6 + 6. Suppose -5*q - j + 13 = 0, 0 = q + 4*q + o*j - 19. Solve q*g - 2 + 0 = 0 for g.
1
Let u be 80/5 + (1 - 0). Suppose -2*a = 5*h - u, 6 = 2*h - 0*a + a. Solve h - 30 = 5*d for d.
-5
Let c(x) = x**2 + 3*x + 2. Let w be c(-7). Let s be w/8 + 1/4. Solve -s = -3*u + 7*u for u.
-1
Let v(i) = i**3 + 5*i**2 - 2*i - 7. Let h be 16/12 - (-2)/3. Suppose -4*j + h*m - 12 = 16, -2*m = 5*j + 17. Let n be v(j). Solve n*x - 16 = -4 for x.
4
Let p = -82 + 86. Solve p*r = -r for r.
0
Let p be (-2)/7 + (-36)/21. Let m = 6 + p. Let n be m/(3*(-1)/(-9)). Solve 0 = -6*x + 2*x + n for x.
3
Suppose -115 = -6*i + i. Let m = 50 - i. Let x = m - 18. Solve 3*y - 3 + x = 0 for y.
-2
Let f(l) be the third derivative of l**5/60 + l**4/24 + l**3/6 - 8*l**2. Let o be f(2). Solve o = -4*p - 5 for p.
-3
Let i be 2/((-3)/((-18)/4)). Suppose 3*v = -3*n + 12, 8*n - 2*v = i*n + 6. Solve -2*c = n*c - 20 for c.
5
Suppose -5*a + 2*j = -24, -2*a - 3*a = 4*j - 42. Solve 2*l - a*l + 20 = 0 for l.
5
Suppose -2*b - 20 = -4*b. Suppose -4*d + b = d. Solve d*p = -2*p for p.
0
Suppose 0 = -10*y + 19 + 1. Solve -y*t + 7*t + 5 = 0 for t.
-1
Suppose -5*g + 4 + 12 = 3*i, -5*i = 3*g - 16. Solve -f + 0 + g = 0 for f.
2
Let t = 15 + -15. Solve 4*v + 12 = -t*v for v.
-3
Let d be 2*(-22)/(-4)*1. Let f = 14 - d. Solve 0 = 3*g - f for g.
1
Suppose 0 = 2*u - 4*u - 12. Let o(i) = i**2 + 7*i + 9. Let m be o(u). Suppose -m*f + 104 = f. Solve -5*k - 1 + f = 0 for k.
5
Let x = -64 - -31. Let q be (-204)/(-33) - (-6)/x. Suppose -q*p = -p. Solve -2 = -p*h + h for h.
-2
Suppose -5*c + 38 = -2. Solve 3*v + v = c for v.
2
Let l(r) = -r + 8. Let a be l(4). Solve 0 = a*x - 2*x - 4 for x.
2
Let n(q) = -q**3 - q**2 + 15. Let m be n(0). Solve -k + m = -6*k for k.
-3
Let j(w) = 3*w. Let v = 23 - 3. Suppose -3*q = 2*q - v. Let b be j(q). Solve 4*y + b = y for y.
-4
Let x(l) = -6*l - 1. Suppose -5*f + 6 = 1. Suppose -f = -5*m - 2*v, 7*v - 2*v = 4*m + 19. Let r be x(m). Solve -r*s - 17 = 8 for s.
-5
Suppose -2*k + 4*g + 38 = -0*k, -5*k + 4*g = -65. Let s be -3*(-1 - (-1)/3). Solve y + s*y - k = 0 for y.
3
Let q(m) = -3*m**3 - 2*m - 1. Let l be q(-1). Suppose 2*b + u = -78, -4*u - 152 = 4*b - 3*u. Let k = 55 + b. Solve -l*c - 2 - k = 0 for c.
-5
Suppose 24 = 4*q - 2*f, 2*q - 3*f - 28 = 2*f. Solve q*l - 18 = 2 for l.
5
Suppose 2*l - 19 = -3*w, -3*l + 2*w + w + 6 = 0. Solve l*b + 4 - 19 = 0 for b.
3
Let v(l) = -l**3 + 5*l**2 + l - 2. Let y be -2 + (-3)/(9/(-60)). Let b = y - 13. Let a be v(b). Solve 7*c = a*c - 16 for c.
-4
Let x = 16 + -13. Let f be ((-48)/(-2))/(-1 + x). Solve 3*r - f = -r for r.
3
Suppose -5*y = x - 3*x - 10, -3*y + 27 = 3*x. Let i = 3 + -3. Suppose -2*r - 3*r = i. Solve 5*d + x + 20 = r for d.
-5
Let l(b) = 3*b - 4. Let x be l(3). Suppose -4 + 4 = -8*u. Solve u = -x*o + 3*o + 8 for o.
4
Suppose z - 4*p = -3*z + 4, -4*z = -2*p - 10. Solve -16 = -z*w - 0 for w.
4
Let m = -6 - -26. Suppose -n = -3*n + m. Suppose -t + 0*t = -n. Solve a = -4*a + t for a.
2
Suppose -m = -4*l + 8, -2*m = 2*l - 7*m - 4. Suppose -4*d = -5*v + 26, 3*v + 2 = l*v - d. Solve 4*r = -v - 6 for r.
-2
Let k(t) = -21*t + 5. Let q be k(0). Solve 4*a + q - 1 = 0 for a.
-1
Let z = 2 + -1. Suppose -4*h + 24 = 4*g, g + 0 - z = 0. Solve h*p - 6 = 2*p for p.
2
Let y = -5 + -2. Let v = -5 - y. Solve -v*u - 3 = u for u.
-1
Let s(d) = d**3 + 10*d**2 - 8*d - 17. Let r(a) = -a**3 - 10*a**2 + 7*a + 16. Let g(v) = 7*r(v) + 6*s(v). Let x be g(-10). Solve x*k = -2*k - 10 for k.
-5
Let g(u) = 2*u**3 + 7*u**2 - 7*u + 15. Let v(o) = -o**3 - 3*o**2 + 3*o - 7. Let h(i) = 3*g(i) + 5*v(i). Let k be h(-7). Solve 2*b + k - 9 = 0 for b.
3
Let s be 5*-1*(-12)/30. Let w be (1 - -2) + -5 + s. Let k be 1/(-4) + 26/8. Solve k*t - 6 = -w*t for t.
2
Suppose 2*j - 5*j = -3. Let x be j + (-1)/(-1) + 2. Solve -x + 5 = -k for k.
-1
Let a = 26 + -11. Solve 0 = n + 2*n + a for n.
-5
Suppose -4*s = -2*s - 4. Solve w = s - 1 for w.
1
Let u be (-36)/(-8) - 1/2. Solve u = -d + 3 for d.
-1
Let q = 5 - -4. Suppose -5*v + q = 5*x - 16, v + 19 = 5*x. Suppose -r - 4*y - 1 + 0 = 0, 5*r = x*y + 19. Solve -4*a + 23 - r = 0 for a.
5
Suppose -5*y + 33 = -4*s, -y - 2*s = -0 - 1. Suppose -y*d + 2*n = -51, 2*n - n = -2*d + 15. Solve z + 2*z = -d for z.
-3
Let r(v) = v**3 - 9*v**2 + 8*v. Let x be r(8). Let o be (2 - x)*3/6. Solve -o = -w - 0 for w.
1
Suppose 0*c + 12 = 3*c. Solve -c*h + h = 6 for h.
-2
Let s(v) = v**2 + 3*v + 4. Suppose -3*u + 0*w = 3*w + 6, 3*u + 4*w = -4. Let o be s(u). Let h(j) = j**2 - 6*j + 2. Let y be h(6). Solve -y*n = 2*n + o for n.
-2
Let r(w) = -w**3 - 20*w**2 - 2*w - 38. Let p be r(-20). Solve 3*g = p*g for g.
0
Let f(s) = -s**3 + s**2 - s - 1. Let n be f(-1). Suppose 8 + n = 5*l. Solve 6*p - 20 = l*p for p.
5
Suppose j + u - 4 = -j, 0 = 2*u + 4. Let 