2, -4*j - 34 = b. Let c = b - -25. Let z = 27 + c. Solve 2*u + z = -3*u for u.
-2
Let f be -5*(4 + (-69)/15). Suppose 5*o + g - 13 = -0*g, 6 = -f*o + 4*g. Solve 4*b = 14 + o for b.
4
Let j(l) = 10*l - 17. Let w(n) = 7*n - 11. Let m(z) = -5*j(z) + 7*w(z). Let p be m(5). Solve 2*s + p = s for s.
-3
Let v(l) = l**3 - 8*l**2 + 6*l + 10. Let p be v(7). Suppose -2*u + u = -2*s - 16, -2*s = 10. Solve -u - p = 3*g for g.
-3
Let o be (5/2)/(5/10). Let s = 0 + o. Solve -3*t - 4 = -s*t for t.
2
Let g = 3 - -6. Solve -2*m + g = -1 for m.
5
Let y = -11 + 7. Let q be (24/9)/(y/(-30)). Solve 0*s + q = 4*s for s.
5
Let x = 58 + -55. Solve x*o + 9 = -0*o for o.
-3
Suppose 0 = 5*q + 46 - 11. Let h be 12/7 - 2/q. Solve 4 = d + h for d.
2
Suppose o - 10 = -o. Solve 4 = -o*c + 4*c for c.
-4
Suppose -4*m - 3*f = -15, 0 = 4*m - f + 8 - 3. Suppose m*u = 2*u. Solve -5*l = -u*l + 5 for l.
-1
Let x(h) = h + 12. Let z be x(-10). Solve 6 = 4*n + z for n.
1
Let p(o) = -o - 17. Let n be p(-19). Solve 0 = n*d + 2*d for d.
0
Let d = -6 - -10. Suppose 3*y = 3*o - 15, -2*o + 4*y + 1 = -1. Solve p + o = d*p for p.
3
Suppose 4*q = -0*i + i + 2, -2*i - 4 = 2*q. Suppose q*d = -d. Solve d*v - 10 = -5*v for v.
2
Let j = -49 - -56. Let t = 33 + -23. Suppose u - t = -4*u. Solve -u = -3*k + j for k.
3
Let w(l) = l**3 - 3*l**2 - 2*l - 2. Let u be w(4). Suppose -j = -u*j + 50. Solve -t = t - j for t.
5
Suppose -4*j = -2*j - 4, 5*p = 5*j. Suppose p*l - 4 = -0*l. Solve -i = -2*i + l for i.
2
Let i(g) = g**3 - 10*g**2 + 9*g + 8. Let u be i(9). Suppose -2*o = 2*o - u. Suppose -5*f + 3*z - 5 = -f, o*f - 17 = -5*z. Solve 4*t - 5 = -f for t.
1
Let z(u) = u**2 - 2*u + 2. Let j be z(2). Suppose 12 = -3*m, 3*a + m + m = -j. Solve -6 - 4 = a*n for n.
-5
Suppose u = -5*c + 7, c = 3*c - 2. Let m be (0 - 10/4)*2. Let o = -1 - m. Solve o = 2*f - u for f.
3
Let x(o) = o**2 - 7*o - 1. Let y be x(6). Let n = 10 + y. Suppose m + 5 = -4*a, 10*m + 25 = 5*m. Solve a = -2*l + 3*l + n for l.
-3
Let d(x) = -9*x + 66. Let r be d(7). Suppose 0*u - 5*u = 0. Let y be 40*(0 + 2/5). Solve r*k + k - y = u for k.
4
Let b be (10/(-3))/((-2)/3). Solve 14 = -b*h + 4 for h.
-2
Let f(q) = -q - 6. Let m be f(-6). Suppose -h - h = m. Solve h = -x - x for x.
0
Let s = 45 - 33. Solve 2*a + a = s for a.
4
Let n be (8/(-5))/((-192)/30 + 6). Solve -4*r + n + 0 = 0 for r.
1
Let j = -11 - -17. Suppose 2*u - j = -0*u. Solve 0*v = u*v for v.
0
Let t(y) = -y**3 - y**2. Let c be t(0). Let x be (3 + c - 3)*-1. Solve x = -q - 0*q - 1 for q.
-1
Let t = 4 - 1. Suppose -n + 4*u = 2, 30 = 4*n + t*u - 0*u. Let m(r) = -r**2 + 6*r - 6. Let x be m(4). Solve -n = 2*y - x for y.
-2
Let x = -13 + 18. Let g be 3/(-15) - (-36)/x. Let y(z) = -2*z - 2. Let a be y(-6). Solve -2*b + g*b + a = 0 for b.
-2
Suppose -f = -0*f. Let h(n) = n - 5. Let j be h(7). Let x = 6 - j. Solve x*c + f*c = 16 for c.
4
Suppose 2*m + 4*n = n + 5, 5 = -5*n. Solve m*h + 10 = 26 for h.
4
Let m = -6 - -6. Suppose m = 5*d - 0*d. Suppose z - 5 = -d*z. Solve -5 = z*o - 0 for o.
-1
Suppose 3*p + p - 8 = 0. Suppose q - 28 = -5*d, -q - p*d + 23 = 2*d. Solve -2 - 1 = -q*r for r.
1
Suppose -2*x + 2*v - 2 = -3*x, 5 = -5*v. Let a = -4 + x. Suppose a*c + 5*c = 10. Solve -c*u - 3*u = 25 for u.
-5
Suppose -5 = d - 0*d. Let v(k) = k**3 + 4*k**2 - 6*k - 3. Let a be v(d). Solve l + a*l = 12 for l.
4
Let h(u) = 0 - u**2 - 3*u**2 + 1 + 17*u**2. Let j be h(1). Suppose -j = -5*n + 1. Solve -5 = -n*x - 11 for x.
-2
Let c be (-14)/(-4) - 5/10. Suppose 2*m = -c*m. Suppose -f + 0*f = 4*a - 16, a + 2*f = 11. Solve 2*s - 5 - a = m for s.
4
Suppose -6*o = -2*o - 24. Solve -5*u + 19 = -o for u.
5
Let h = -7 + 11. Suppose s = 5*s - 20, -h*w = -s + 5. Solve w = 2*d - 7 + 3 for d.
2
Let i(z) = -z + 6. Let r be i(6). Let p be 0*(1/2 - 1). Suppose -9 = -3*l - 0, 5*d - 5*l - 5 = p. Solve r*g + d*g = 4 for g.
1
Let d(i) = 5*i**2 - i + 4 - 2*i**2 + i**3 - 2*i**2. Let c be d(0). Solve c*o - 16 + 0 = 0 for o.
4
Let a(x) = -x**2 + 1. Let m(f) = f**3 - 2*f**2 - 1. Let g(y) = -a(y) - m(y). Let v be g(3). Solve -5*k - 3 - 12 = v for k.
-3
Let f = -75 + 127. Suppose u + 3*u - f = 0. Solve 2 = -5*i - u for i.
-3
Let i(l) = -l**3 - 8*l**2 + 9*l. Let k be i(-9). Solve -4*d = -k*d + 8 for d.
-2
Let z(y) = y**2 - 5*y - 6. Let c be z(6). Solve 4*i + 1 + 19 = c for i.
-5
Let b(o) = 3*o**2 - o + 2. Let z be b(0). Solve -4*m - z = 10 for m.
-3
Let t = 5 - 0. Suppose -t - 1 = -2*o. Solve -5*y = -o*y + 2 for y.
-1
Let x(c) = c**3 - c**2 - c + 2. Let y be x(-3). Let o = -15 - y. Solve -5*i - 1 = -o for i.
3
Let u(c) be the third derivative of -c**4/24 - c**3/2 + c**2. Let z be u(-3). Solve 0*g + g - 2 = z for g.
2
Let f be (-3)/4 + 14/8. Let l(g) = 5*g**2 - 1. Let j be l(f). Suppose -5*n + 2*m + 52 = 0, -4*m + 64 = j*n - 0*m. Solve n = w - 5*w for w.
-3
Suppose -c - 385 = -5*q - 102, 2*c = -6. Suppose 5*i - q - 4 = 0. Solve -g + i = -5*g for g.
-3
Suppose -2*q - 2*p = -28, q - 16 = -5*p + 10. Solve -5*u = -36 + q for u.
5
Suppose v - 51 = -16*v. Solve v*a + 1 = -5 for a.
-2
Let g(d) be the third derivative of -d**5/60 + d**4/4 - 5*d**3/6 + 4*d**2. Let y be g(5). Solve y*s + 20 = 4*s for s.
5
Let f(g) = -10*g**2 - 2*g. Let v be f(-1). Let n be -12*(v/6)/2. Solve -n = u + 3*u for u.
-2
Suppose -3*i = -4*i. Suppose 5*k - 40 = -0. Solve i = k*f - 4*f - 16 for f.
4
Suppose -5*m = -43 - 7. Let g be (30/25)/(2/m). Solve -g*v = -4*v - 2 for v.
1
Suppose -r - 3*r + 108 = 0. Let l = r - 11. Suppose 0 = -4*g - 5*s + 6, 0 = -2*g + 3*g + 5*s + 6. Solve -8*u - l = -g*u for u.
-4
Suppose -u = d, -5*u + d - 3*d + 9 = 0. Solve -2*q - 4 = -u*q for q.
4
Let t be -1 + -2 + 0 + (-6)/(-1). Solve t*l = l + 2 for l.
1
Suppose -5*h - 3 = j, 1 = j - 4*h - 5. Solve j*m = -m for m.
0
Let n(s) = -s**3 - 4*s**2 - 5*s. Let w be n(-4). Solve w = -0*u - 5*u for u.
-4
Let u be -3*(8/(-12) + 0). Solve -2*t + u = -3*t for t.
-2
Suppose 2*l - t + 15 = 4*t, -4*t + 12 = l. Suppose k - 2*k = l. Solve k = -4*m + 11 + 5 for m.
4
Suppose 5 = -34*z + 39*z. Solve -3*g + z = 7 for g.
-2
Suppose 2*d = -2*d. Suppose d = -2*i - 2*i + 48. Solve 0 = -5*v + v + i for v.
3
Let g be (-8*1 + -3)/(-1). Let r = -7 + g. Solve 0*x + 2*x = -r for x.
-2
Let a(f) = 3*f**2 - 12*f + 8. Let y(r) = r**2 - 4*r + 3. Let h(p) = 3*a(p) - 8*y(p). Let b be h(2). Let i be (-11)/(-3) - b/12. Solve -4*g - i = 8 for g.
-3
Let j = -4 - -8. Suppose 6 + j = 5*r. Suppose -t - t = r*w, -t - 5*w - 12 = 0. Solve -3*d - t = -0*d for d.
-1
Let g be -1*(-2)/(-6)*3. Let y = g - 0. Let s be (1 - (3 + y)) + 1. Solve -4*m - m = s for m.
0
Let n(c) = c**2 + 8*c + 9. Let s be n(-7). Let g = s - -2. Suppose -5 = -g*y + 11. Solve -r - 5 = y*r for r.
-1
Suppose 15 = 3*b - 3*z, -b + 6*z - 2*z = -8. Suppose -b*i + 2*g + 26 = 0, 4*i - 18 = 4*g + 14. Solve 0 = -i*y - 4 - 6 for y.
-2
Suppose y - 11 = -2*j + 2*y, -5*j + 3*y = -29. Solve 0 = j*p + 3 + 1 for p.
-1
Let p = 0 + 4. Solve 14 - 6 = p*g for g.
2
Let y be 3*(8/6)/4. Solve -o = y + 4 for o.
-5
Let d(g) = -g**3 - 6*g**2 + g + 6. Let c be d(-6). Solve c*m = 4*m for m.
0
Let t(c) = 3*c**3 - c**2 + c - 1. Let b be t(1). Suppose -109*a = -114*a + 10. Solve -p = -a*p - b for p.
-2
Suppose 4 = 5*s + 14. Let h be s/4 + (-33)/(-6). Solve -j = -h*j for j.
0
Let o be 1 - (-2 + (-3)/1). Suppose o = 4*a - 10. Let q(j) = 6*j**3 - 2*j**2 + j. Let y be q(1). Solve y = a*g + 25 for g.
-5
Suppose -2*d = -0*d + 5*h - 9, 0 = -3*h + 3. Suppose -4*x = 0, -5*t + t + 20 = -2*x. Solve -t*i + d = -23 for i.
5
Let w = -8 + 8. Suppose w = 2*p - 3*p. Solve s + 3 + p = 0 for s.
-3
Let l be 2948/(-18) + (-6)/27. Let t be l/10 + (-8)/(-20). Let h be (t/10)/(-4)*5. Solve h = -3*o - 4 for o.
-2
Let j = -56 - -56. Suppose 0 = 4*g + g - 15. Suppose -m + 18 = g*i - 5*m, 2*i + 5 = -3*m. Solve j*p = p + i for p.
-2
Let a(i) = 8*i**2 - 2*i - 1. Let s be a(-1). Let r = -6 + s. Let k(t) = t + 1. Let g be k(r). Solve 2*h - g*h + 2 = 0 for h.
1
Let g be -2*(-3)/12*-10. Let x(d) = d**3 + 6*d**2 + d - 5. Let j be x(g). Solve u - j = -2*u for u.
5
Suppose 5*x - 6 = -2*q, -3*q + 5*x + 2 = -7. Let v = q - 1. Solve -4*s = -5*s - v for s.
-2
Let x(v) = 2*v**2 - 15*v + 7. Let u be x(7). Solve 0 = -u*l - 2*l + 10 for l.
5
Let j be (12/5)/(5/25). Solve -4 - j = 4*i for i.
-4
Suppose -4*m - 5*h = m, -4 = -3*m - 2*h. Solve -5*y