-l*b = b + y for b.
-4
Let a(v) = -v**3 + 4*v**2 + 4. Let g = -8 + 12. Let w be a(g). Let x = -3 + 7. Solve -x + 20 = -w*o for o.
-4
Let o be ((-2)/(-3))/((-2)/(-3)). Suppose -o + 3 = k. Solve -r = k*r for r.
0
Let h(i) = -i**3 - i**2 - i - 1. Let s(b) = -5*b**3 + b**2 + 3*b. Let d(j) = -4*h(j) + s(j). Let u be d(6). Let w be -1*2*(-15)/u. Solve w*l = 4*l + 4 for l.
-4
Let p = -67 + 82. Solve c = -4*c - p for c.
-3
Let x be (-32)/(-18) - (-24)/108. Solve x*y - 1 = -9 for y.
-4
Let f be (-1)/(-3 + 5/2). Solve 5 - f = -j for j.
-3
Suppose -3*g + 16 = -2*c, -5 + 0 = c. Suppose y + 15 = -g*y. Let p be 2/y - 2/(-5). Solve p*h = -h - 3 for h.
-3
Let t = -33 + 37. Solve -t*h - 6 - 14 = 0 for h.
-5
Let t(y) = -y + 3. Let z be t(3). Suppose 0*f = -f + 2. Suppose 0 = 4*v - 4*r - 28, 18 = f*v + 3*r - 6. Solve z*b = -3*b + v for b.
3
Suppose 5*t = -0*k + 2*k - 108, 0 = 2*k - t - 92. Suppose -4*s = -4 + k. Let o = s - -26. Solve -c - o = -5*c for c.
4
Suppose 0 = -2*l - 3*l + 5. Solve -q + l = 2 for q.
-1
Let w be (-1 - -4 - 2)*3. Solve w*x = x - 8 for x.
-4
Suppose 0*d + d = 5*h + 1, 3 = 3*d. Solve -2*x + 3*x + 4 = h for x.
-4
Let f = 34 - 34. Solve f = -2*n - 8 for n.
-4
Let f = -80 - -92. Solve 2*q - f = -q for q.
4
Suppose -2*w - 5*j = 28, -2*w - 16 - 14 = 4*j. Let c = -33 - w. Let t = -10 - c. Solve m = 2*m + t for m.
-4
Suppose -2*k + o - 2 = 0, 3*o - 1 = k + 6*o. Let r = 1 + k. Suppose 0*p + 3*p = r. Solve p = 3*g - 4 - 2 for g.
2
Let v = -27 - -7. Let t = 23 + v. Solve k - 2*k - t = 0 for k.
-3
Suppose -3*z = -5*z - 5*g + 40, 0 = -z - g + 14. Let v = 3 + 1. Suppose -6 = v*t - 106. Solve -3*j - t + z = 0 for j.
-5
Let j(q) = 6*q - 8. Let r be j(-6). Let g be (-80)/r + (-4)/(-22). Suppose g*i - 5*d = -3*i + 20, -4*d = -i + 10. Solve i*u - 15 = -u for u.
5
Let y = -14 + 18. Solve y - 2 = o for o.
2
Let y be (2 - 4) + 1*17. Suppose 5*l + 5*c + 9 = -1, 0 = c + 3. Solve -4*u = -y - l for u.
4
Let x be (-4)/(-18) - (-350)/126. Suppose 4*d - 1 = x*d. Solve -p + 3 = d for p.
2
Suppose -3*b + 8 = -p, -2*p + 2*b + 3 = -1. Solve p = -5*t - 18 for t.
-5
Let a(m) be the first derivative of -m**4/4 + 8*m**3/3 + 4*m**2 + 13*m + 5. Let v be a(9). Solve v*c = 2*c + 2 for c.
1
Suppose q = -i + 7, -5*q - 3*i = -0*q - 27. Suppose 3*d = -15, 0*v = q*v + 2*d + 7. Solve 0 = -5*h + v - 6 for h.
-1
Let c be -2 - 0/(-3 + 4). Let r be 2/(-4) - 5/c. Solve -r = u + 2 for u.
-4
Suppose -2*q - 10 = 5*g, 3*q = -3*g + 7*g + 8. Suppose b - 6 = 2*z + 6, 3*b - 5*z - 40 = q. Solve -2*i + 7*i = b for i.
4
Let u(h) = -h**3 - h**2 - h - 1. Let i be u(-2). Suppose 0 = w - i. Solve 9 = w*q - 1 for q.
2
Let j(o) = -2*o - 11. Let q be j(-7). Solve -q*p = 2*p for p.
0
Suppose 5*k = -v + 4*v - 40, -45 = -4*v + 5*k. Let w be (-2)/(-7) - 66/(-14). Suppose -w*g - 2 - 1 = z, 4*g - 2*z - 6 = 0. Solve -v*n + 2*n = g for n.
0
Let z be -2 - (2 + -2 - 0). Let v(c) = -c**2 - 5*c + 10. Let t be v(-7). Let g = z - t. Solve -g*o = o + 9 for o.
-3
Suppose 2*t = -3*t. Suppose t = 2*i - i - 10. Let l be (-22)/(-3) + i/15. Solve d = -3*d + l for d.
2
Suppose 96 = -3*t + 5*t. Let g be t/14 + 3/(-7). Solve -g*k - 6 = -3 for k.
-1
Suppose 3*w = t + 7, 3*w - 17 = 6*w + 5*t. Let r be w*(-3)/(3/(-2)). Solve 3*b = b - r for b.
-1
Let r(o) = o - 5. Let y be r(5). Suppose 5*t - 10 + 0 = y. Let q = 49 + -49. Solve t = s - q*s for s.
2
Suppose 4*s - 10 - 30 = -4*y, -18 = -3*s + 3*y. Let t = -6 + s. Let i(j) = -j**2 - 11*j - 17. Let q be i(-7). Solve q = 3*v + t for v.
3
Suppose 4*x = -x + d + 20, 5*x - 20 = 4*d. Solve w + 15 = -x*w for w.
-3
Let b = 11 - 1. Let j(t) = 5*t**3 - 5 - b*t**2 + 4 + 4 - 4*t**3. Let i be j(10). Solve 4*u = 1 + i for u.
1
Suppose -w = 4*k - 4, 5*k + 5*w + 4 = 24. Solve -v + k*v = -1 for v.
1
Let t(x) = x - 3. Let y be t(5). Let c be y*(0 + (-9)/(-6)). Solve -3*v + 0 = c for v.
-1
Let c(k) = k**2 - 17*k + 21. Let q be c(16). Solve 0 = q*s - 0*s + 25 for s.
-5
Let w be (-30)/(-12) + (-1)/(-2). Solve -2 = -p - w for p.
-1
Let s(d) = -d**2 + 4. Let g be s(-2). Solve -5*p + g*p = 15 for p.
-3
Suppose 3*h - 48 = -h. Let t = -8 + h. Solve -7 - 5 = -t*v for v.
3
Let c be ((-8)/12)/(1/(-21)). Suppose -4*p = -c + 2. Solve 5*l = p + 2 for l.
1
Let o(v) = -v**2 - 4*v + 2. Let z be o(-4). Solve u - 2 = z*u for u.
-2
Let i = 33 - 31. Let q(n) = 2*n - 2. Let k be q(2). Suppose -16 = -5*r + 2*h, 3*r - 4 = -2*r - k*h. Solve -r*x - i - 8 = 0 for x.
-5
Let u be 12/(-16)*(-16)/3. Solve 2*g + 0*g - u = 0 for g.
2
Let a(d) = d**2 + d + 1. Let i be a(-2). Suppose -i*x + 1 = -2. Solve 4*h = -x - 3 for h.
-1
Let x = 23 - 11. Solve 0 = 2*g - 6*g - x for g.
-3
Let z be (-30)/9*(-18)/15. Suppose -2 = -4*x + 2*r, -z*r - 2 - 2 = -2*x. Suppose 7*b - 2*b + 4*q - 75 = x, 5*q = b - 15. Solve -6*n + b = -n for n.
3
Suppose -3 - 6 = m. Let k(f) = f + 12. Let x be k(m). Solve 0 = -6*u + x*u for u.
0
Suppose 60 = -3*h + 2*f, 5*f - 12 = -2*h - 33. Let l be (-12)/h - 16/(-3). Let q = -4 + l. Solve q*t = -0*t for t.
0
Let t = -1 + -4. Let g be (-19)/t - 3/(-15). Suppose 2*p + 24 = g*p. Solve 2 = -2*v + p for v.
5
Suppose 2*q - 2 - 2 = -p, 10 = 3*p + 4*q. Suppose -h = 5*u + 2, 2*h + 3*u = 6 - 3. Let m(r) = r + 2. Let z be m(3). Solve h*s - z = -p*s for s.
1
Suppose 3*r = r + 3*m, 3*r + 5*m = 0. Solve -6 = -r*b + 2*b for b.
-3
Suppose -4 = 4*w, -3*w + 8*w = 5*i + 40. Let r = i + 14. Suppose y + 9 = 4*u, -2*y = -r*u - 3*y + 18. Solve -8 = g + u*g for g.
-2
Let m be 4/(-14) + -2*3/(-21). Solve m = -z - 1 - 2 for z.
-3
Let n = 3 + 0. Suppose -n + 1 = -d. Let q = -7 + 12. Solve -q*i = 7 - d for i.
-1
Suppose -2*k = -2*z - 10, -z = 4*z - 2*k + 10. Let b(u) = u**2 - 7*u. Let y be b(7). Let g be z/((-1 - y) + -1). Solve g*w = w for w.
0
Let m be (0 - 3 - -2) + 1. Solve 5*f - 13 - 2 = m for f.
3
Let r = 10 - 4. Let q(a) = -a + 1. Let i be q(r). Let y(h) = h**2 + 4*h - 3. Let w be y(i). Solve -w*u - 10 = 3*u for u.
-2
Let r(o) = o**3 + o**2 + o - 2. Let u be r(0). Let n = 0 - u. Suppose -n*t + 20 = 8. Solve -4*j + 6*j + t = 0 for j.
-3
Let f(g) = -4*g**2 - 5*g - 1. Let i be f(-4). Let m be (-4)/(-18) - (-10)/i. Solve -3*a + 2*a + 3 = m for a.
3
Let r = 10 - 5. Solve r*i - 2 - 23 = 0 for i.
5
Let m(j) be the third derivative of j**5/60 - 3*j**4/8 + j**3/2 + 4*j**2. Let f be m(9). Solve -3*r = 15 - f for r.
-4
Suppose -2*a + n = 5, -a - 10 = -6*a - 2*n. Suppose a = 8*u - 4*u. Solve u*d + 4*d = -4 for d.
-1
Let o(d) = -d**2 + 6*d. Let f(x) = x**2 + 7*x - 3. Let n be -7 + (1 - -1)/(-2). Let k be f(n). Let p be o(k). Solve -6*g - p = -g for g.
-1
Let i = 9 + -9. Solve 20 = 4*d - i*d for d.
5
Let t be 91/13 + (1 - 5). Solve 5 + 4 = t*b for b.
3
Let i(b) = -2*b. Let s be i(-2). Suppose -s*r + 16 = -0*r. Let j be r/18 + (-350)/(-45). Solve u + 3*u + j = 0 for u.
-2
Suppose -5 + 1 = -w. Solve -p - 12 = -w*p for p.
4
Let p be -1 - (2 + 6/(-1)). Let g be ((-2)/p)/(4/30). Let q(m) = -m - 3. Let c be q(g). Solve 2*w - c = 4*w for w.
-1
Let g = -4 + 9. Suppose 0 = i - g*i - y, 4*i = 4*y. Solve 5*m + 0*m - 15 = i for m.
3
Let g be 5 - -1*0/3. Suppose 0 = -z + 3. Suppose z*m - 9 = 6. Solve -25 + g = m*b for b.
-4
Suppose 2 = 4*d + 2*c, -3*d - c + 2 - 1 = 0. Suppose d = p - 6 + 3. Solve p*o - 2 = 4 for o.
2
Let i(h) = h**3 + 5*h**2 - h - 4. Let m be i(-5). Let y be -1 + m/(-2)*-8. Let q be 3/6 + 1/(-2). Solve q*f = -y*f for f.
0
Let p(d) = d**2 - d + 5. Let q be p(0). Suppose 2*h = 4*h. Solve q*i - 36 + 11 = h for i.
5
Suppose -27 + 6 = -3*l. Suppose -2*d - 20 = -l*d. Let b be (1/(-1) + -1)*-1. Solve -2 - d = b*g for g.
-3
Let o be 2 + (-4 - (-2 + -3)). Suppose 4*y = 1 + 15. Solve -o*r - r + y = 0 for r.
1
Let p = 73 + -36. Let u = p - 13. Suppose 4*i = 4*m - 11 - 1, 4*i - u = -5*m. Solve -2 = -m*g + 14 for g.
4
Let l = -4 + 5. Solve -w = -0*w - l for w.
1
Let r = -175 - -180. Let g be (1 + 6/(-4))*-6. Let z = 3 + g. Solve r*w + z + 4 = 0 for w.
-2
Let o = 14 + -14. Solve o = s + 3*s + 4 for s.
-1
Let h = 3 - -24. Suppose -4*t + h = -21. Solve t = -2*f - f for f.
-4
Suppose 4*n - 60 = 8*n. Let s = 17 + n. Solve 0 = -k - s*k for k.
0
Let k be 4/(-10) - (-105)/75. Solve -k - 5 = -3*b for b.
2
Let a be (1 - 1) + 1 + -1. Let h be (-6)/(-4)*16/(-12). Let u = h - -4. Solve -u*x - 4 - 4 = a for x.
-4
Let w = 51 + -48. Solve -4*x - w = -15 for x.
3
Suppose 4*l = -0*l