et b be ((-2)/6)/(x/(-48)). Solve 4*n - 6*n = b for n.
-2
Suppose 0 = -0*c + c + 5. Let q = -3 - c. Solve q*m + 5 = m for m.
-5
Suppose 1 = 3*l - 38. Suppose 0 = -4*v + 53 - l. Solve v = 3*o + 1 for o.
3
Let m be (1 + -2)*-2 - -3. Let x = m - 2. Solve x*a + 2*a = 25 for a.
5
Let b = 25 + -20. Suppose -s = -w - 3, -b*s + 2*w + 14 = -s. Solve -h + 1 = -s for h.
5
Let t be (0 - (3 - 2))*-4. Suppose t*z = z + 12. Solve z = 3*n - 2 for n.
2
Let a(l) = 9*l - 5 + 2*l**3 + 2*l**3 + 7*l**2 - 3*l**3. Let u be a(-5). Solve 0*w - 2*w = u for w.
0
Let i = -5 - -9. Let h be 27/(-6)*i/(-6). Solve h*j + 15 = -2*j for j.
-3
Let w be (-39)/(-4) + 2/8. Suppose 0 = 2*n + 2*m - 10, -3*n - 4*m + 5 = -w. Let j be (8/n - 1)*5. Solve -j*z - z = 0 for z.
0
Let j(o) = o**2 + 11*o + 12. Let w be j(-7). Let l = -13 - w. Let s be 2/10 + (-372)/(-15). Solve 2*d + s = -l*d for d.
-5
Let a be ((4 - 2) + 0)*1. Solve -k = a*k - 15 for k.
5
Suppose -5*y + 25 = 0, -3*m = -5*y + y - 22. Let h = m + -14. Solve 2 = -h*k - 2*k for k.
-1
Suppose 2*q - 1 = 3. Solve 2*u = -q*u - 12 for u.
-3
Suppose 4 = -2*l, -17 = -4*i + 3*i - l. Solve -5*b = -4 + i for b.
-3
Suppose -3*m + 30 = 4*i - m, -5*i + 2*m + 24 = 0. Solve i = 4*d + 2 for d.
1
Let d = 55 + -33. Solve 4*s = -2 + d for s.
5
Suppose 4*g = 5*c - 26 + 7, 3*g + 15 = 4*c. Suppose 0 = -8*a + c*a + 55. Suppose -2*h = -a + 3. Solve 2*t - h = t for t.
4
Suppose -3*k - 11 = -j, k = -4*j + 120 - 50. Suppose -14 = -2*m - o, 3*o - 6*o = m - j. Let f(b) = b**3. Let v be f(2). Solve -v + 3 = m*i for i.
-1
Suppose -4*s - 33 = -s. Let c = s + 26. Solve 5*y - c = 5 for y.
4
Let y(k) = 13*k - 1. Let z be y(1). Solve 5*i + z + 3 = 0 for i.
-3
Suppose -3*a + n = -n - 6, -2*a + 2*n = -2. Suppose a*w + 0 = -12. Let f = -1 - w. Solve -i + f - 4 = 0 for i.
-2
Let z = 4 - 6. Let y be z/(-6)*(8 + 1). Let i = 8 + -1. Solve y + i = -5*n for n.
-2
Suppose 0 = -3*s - 2*y - 19, 1 = -2*s + 2*y - y. Let z = 6 + s. Solve 0*f + 6 = -z*f for f.
-2
Let z = -33 + 48. Let v be (4 + 1)/(-1 - -2). Suppose 3*u + 17 = -v*r + 2, 3*u + 15 = -2*r. Solve r = 3*s - z for s.
5
Let s be 3 - (108/(-6))/6. Solve -q - 10 + s = 0 for q.
-4
Let p be 4 + (-4)/8*6. Solve 3*z = 13 - p for z.
4
Suppose 0 = -2*c + 3 + 9. Let h = 16 - c. Let f = h + -3. Solve -3*a = -f*a + 8 for a.
2
Let r = -103 + 105. Solve -y = r*y - 15 for y.
5
Let c be (2/4)/((-1)/(-6)). Solve -c*d = -0*d for d.
0
Let u(w) = w + 10. Let y be u(-10). Solve -4 = -4*x - y for x.
1
Let n = -28 + 28. Solve n = 2*u - 0*u for u.
0
Let y be 18/5 + 4/10. Solve y = -4*m - 0 for m.
-1
Let z be (-2)/(-3) - (-19)/3. Suppose -2*l + l - z = -3*c, 0 = c - 5*l + 21. Let i = -5 - -10. Solve -3*v = -i*v - c for v.
-2
Let i(d) = 2*d**3 - d**3 - d + 4*d**3 + 1. Let n be i(1). Suppose z - 2*l + 7 = -n*l, 19 = 2*z - 5*l. Solve 0 = -0*j + j - z for j.
2
Let b(m) = 4*m. Let k be b(1). Solve k*t - 5 = 3 for t.
2
Suppose 4*t + 0*j - 5*j - 22 = 0, 20 = 4*t - 4*j. Solve 0 = 4*s - t + 7 for s.
-1
Let k(v) = v**3 - v**2 + 2*v - 2. Let w be k(2). Suppose w*u + 70 = u. Let x be -3*(1 - u/(-6)). Solve -x*h + 4 = -12 for h.
4
Let k(q) = -4*q. Let u be (-6 - -4)*(-1)/(-2). Let n be k(u). Suppose 8*d - 36 = n*d. Solve j = 4*j - d for j.
3
Let v be (-6)/(-6) + 1*2. Suppose v*n = n. Solve n*r + 5 = r for r.
5
Let t(p) = p**3 + 3*p**2 + 3*p + 2. Let g be t(-2). Let h(b) = -b + 8. Let d be h(5). Solve d*q - 4*q + 3 = g for q.
3
Suppose 2*g = 5*v + 3, -3*v = -0*g + g - 7. Suppose -2*n = g*b - 14, 4*b - 3*n - 7 = 2. Solve b*h = 6*h for h.
0
Suppose 0 = 3*k + 4*v - 1, -55 = -5*k + 7*v - 3*v. Solve -4*q = -k - 1 for q.
2
Let f = 14 - 12. Suppose 0 = 3*g + 5*r + 4, -f*g + 6 = -2*r - 2. Solve -w - g = 2 for w.
-4
Suppose -11*m + 105 = -60. Solve 3*l + m = -0*l for l.
-5
Let c(f) = -3*f - 1. Suppose -5*y + 3*y = -4*g - 6, -4*g - 1 = 3*y. Let d be c(g). Solve 6*q + 8 = d*q for q.
-2
Suppose -o - o + 4 = 0. Suppose 2*t = 10, 5*k - 4*t = -t + 25. Suppose 3*q + k = 7*q, q = -3*s + 26. Solve -o*z = s - 0 for z.
-4
Let o = 150 + -148. Solve -3 = o*w + 1 for w.
-2
Let r(w) = -w**2 + 7*w - 6*w + 7*w - 1. Let j be r(8). Let p be (-2 - -2)/(j - 1). Solve p = -y - y - 6 for y.
-3
Let d(s) = s**3 - 4*s**2 - 6*s + 5. Let q be d(5). Let v be (-4)/(-1)*(-6)/(-4). Suppose 4*h = -2 + v. Solve r + 0*r - h = q for r.
1
Let d = -31 - -34. Solve k - 1 = -d for k.
-2
Suppose -l - 12 = -4*q, 4*l = -5*q + 8*l + 26. Let i be 1/(-3 - (-7)/q). Solve i = -3*d + 5 for d.
1
Let o be -4 + (0 + 4 - -4). Let x(r) = r**3 - 5*r**2 - 6*r + 8. Let n be x(6). Solve 8*y - o*y = -n for y.
-2
Suppose i - 2*i = 0. Solve p + p = i for p.
0
Let f = 16 - -94. Suppose -4 = 2*o, 0 = -5*l - 0*o + 5*o + f. Suppose 2*q - 2*p = 2*p, 3*q - l = p. Solve -4*d - 8 = -q*d for d.
2
Suppose -2 = 4*l - 6. Solve -4*x = l + 7 for x.
-2
Let v be 20/(-30) + 17/3. Suppose b - v = 1. Solve 2*h - 5*h + b = 0 for h.
2
Suppose 0 = -z - 5*p + 23, -10 = z - 3*z + 2*p. Let m = 9 - z. Suppose 23 = 4*w - 5*v, -4*w - 4*v = -v + m. Solve -w = -n - 3 for n.
-1
Let o(g) = -2*g + 15. Let q be o(7). Solve q = -3*d - 2 for d.
-1
Suppose -3*g + 4*y = g - 8, 3*y = 4*g - 7. Let s be -2 + -6 + 3 + 66. Suppose -5*c = -s + g. Solve -2 + c = -5*f for f.
-2
Suppose 4*p - 2 = -4*u + 6, -3*u + 30 = -5*p. Let f = 74 - u. Let t be f/9 - 4/6. Solve 2*v + 3 = -t for v.
-5
Let v(r) = -r**3 + 5*r**2 + 9*r - 12. Let c be v(6). Solve -3*b - c = -b for b.
-3
Suppose 2 + 3 = 5*a. Suppose v + 4 = -a. Let g(p) = -p - 2. Let w be g(v). Solve 0 = -2*u - 1 + w for u.
1
Suppose -g + 0*g = 0. Let a be 1 + g - (0 - 4). Suppose -a*c + 5 = -4*c. Solve 3*n + c = 2 for n.
-1
Let z be (-2 - -2)/(4/(12/3)). Solve z*o = -2*o + 6 for o.
3
Suppose 5*k - 25 = -5*g, 0*g - 4*g = -2*k - 8. Suppose k*b = 7*b. Suppose -4*l - 20 = -3*x + x, b = x + 2*l + 6. Solve x + 2 = a for a.
4
Let x(i) be the first derivative of -5*i**2/2 - i + 3. Let s be x(-1). Solve 0 = f - 0 - s for f.
4
Let r = 15 - 12. Solve r = m + 6 for m.
-3
Suppose -5*i + 19 = -o + 4*o, 2*o + 14 = 2*i. Solve -i = 2*r - 1 for r.
-2
Suppose 2*t = 2*l - 7*l + 45, t = -2*l + 18. Solve -6 - l = 5*m for m.
-3
Let c = 8 + -6. Let p(u) = -u**3 + 3*u**2 - u + 2. Let d be p(c). Solve -2 = -2*i + d for i.
3
Let c(x) = -5*x**3 - x**2 - 2*x - 1. Let s be c(-1). Solve 0 = -a - s for a.
-5
Let m be 0 + 6/(5 - 3). Suppose -19 = -z - m. Solve -z = 4*s + 4 for s.
-5
Let x(r) = -r**3 - 10*r**2 - 8*r + 8. Let v be x(-9). Let w(m) = m**2 + 2*m + 1. Let q be w(v). Solve q = n + 4 - 3 for n.
-1
Let t = 3 - -2. Suppose 3*y = -t*x + 104 - 25, x - 139 = -5*y. Suppose 4*g - y = -0*g. Solve g - 3 = 2*o for o.
2
Let t = 6 + -6. Let a(c) = -c. Let w be a(-5). Solve w = -5*m - t*m for m.
-1
Suppose -v - 4 = 4*c, -2*v + 5*c + 2 = -4*v. Let h be 3/((-6)/(-2))*v. Let q be 8/2*3/h. Solve i + q = -1 for i.
-4
Suppose 5*t - 29 = -g - 4, 0 = -2*g + 10. Let k(l) = 5 + 0 + 1 + l. Let p be k(-4). Solve 0 = v + t - p for v.
-2
Let h = 6 - -1. Let y(m) = m**3 - 7*m**2 + 5. Let l be y(h). Solve 0 = 2*p - p + l for p.
-5
Let f be 5 + (1 - 0/2). Solve 4*b - 2*b + f = 0 for b.
-3
Suppose 12 = 4*a - 16. Let j(b) = 3 - 8*b + b**2 + 4 + 1. Let v be j(a). Solve -v = -3*g + 8 for g.
3
Let o = -5 - -3. Let p be o - -3 - 3/(-3). Suppose -p*d = d - w - 9, 2*w = -d + 10. Solve 2*g = -0*g - d for g.
-2
Let k(h) = -h**2 + 8*h - 2. Let q = -23 - 5. Let t be (-7)/q + (-27)/(-4). Let g be k(t). Solve 0 = 5*d - g + 25 for d.
-4
Let d be (-3)/(3/4) - -4. Solve 2*s + 3*s = d for s.
0
Suppose 0 = 3*q - q - 32. Solve a + 3*a = q for a.
4
Suppose -7 + 4 = -o. Let q be (2/o)/((-8)/(-60)). Solve -q*y + 4*y - 3 = 0 for y.
-3
Suppose -r + 2*z = -28, r = -4*r - 4*z + 84. Let s be r/4 + 2/(-1). Suppose a = s*a. Solve -b + a + 5 = 0 for b.
5
Let h = -33 - -41. Solve 3*f + 1 + h = 0 for f.
-3
Let j = -15 - -20. Solve 8 = -3*v + j*v for v.
4
Suppose 0 = 3*p + 6 - 15. Suppose 5*x = 3*u - 12, u - 4*x = p*u - 8. Solve -j - j = u for j.
-2
Suppose 7 = -3*s - 20. Let f = 2 - s. Let h = f + -7. Solve 0 = 2*l - h*l for l.
0
Suppose 4*o - 16 = -8. Solve o = c - 3 for c.
5
Suppose 0 = -5*v + 16 + 19. Let m(i) = 2*i - 2. Let l be m(v). Suppose 4*u = u + l. Solve u*z - 16 = 8*z for z.
-4
Let x(j) be the third derivative of -j**4/24 + 2*j**3/3 - 2*j**2. Let t(d) = d**2 - 2*d - 4. Let i be t(4). Let m be 