 2*b = -26. Solve -b = -5*h + 2 for h.
3
Let j = -19 - -11. Let m be j/(-10) - 1/(-5). Solve -1 = 2*d + m for d.
-1
Let w = -6 + 3. Let o = w - -4. Let x be (-9)/3 + (o - -6). Solve 4 - 16 = -x*f for f.
3
Suppose 4 = 2*q - q. Suppose 0 = -3*y - 3*u + 39, -2*u + q = -4*y + 32. Solve 5 = -y*n + 4*n for n.
-1
Let x be 4/(-14) + (-304)/(-133). Solve -x*i - 3 = -i for i.
-3
Let q(k) be the first derivative of -k**2/2 - 2*k - 2. Let x be q(-2). Suppose -4*r = 3*y + 9, 2*y + 6 = -x*r - 2*r. Solve r = -0*s - 5*s + 15 for s.
3
Suppose 15 = 8*x - 1. Solve 6*l = 5*l - x for l.
-2
Let b be 2/8 + 35/20. Suppose 3 = -b*d - 5, d = -5*o - 9. Let f = 1 + o. Solve -3*s - 2 + 17 = f for s.
5
Let o be (-3)/((-60)/25)*(6 + -2). Solve -5*k - 10 - o = 0 for k.
-3
Let a(v) = -v**2 + 8*v - 6. Let s be ((-1)/(-1))/((-3)/(-18)). Let f be a(s). Solve -5*r - 9 = f for r.
-3
Suppose -32 = -3*g - 3*z - 11, 0 = -4*g + 4*z - 12. Solve u + 15 = -g*u for u.
-5
Let v(c) = 7*c - 11. Let y be v(8). Suppose 4*q = 5*l + y, 3*l + 44 = 4*q - l. Solve 3*d - 5*d + q = 0 for d.
5
Let d = 16 - 12. Solve d*m + m - 20 = 0 for m.
4
Let w be 10/(-40) - (-99)/12. Solve 12*y = 14*y + w for y.
-4
Let c = 36 + -21. Suppose 7*y - c = 2*y. Suppose -n + 0*i = i - 9, -5*i = -y*n + 3. Solve 2*z = 4 + n for z.
5
Let m(t) = t**2 - 35*t + 36. Let w be m(34). Solve -w*d + 1 = -7 for d.
4
Suppose 6 = -0*k - k. Let r = k - -10. Solve 16 = -8*q + r*q for q.
-4
Let r = 8 - 5. Suppose 0 = -3*g - 6, -r*y + g = y - 30. Solve -4*l + y = -9 for l.
4
Let l(n) = -n - 1. Let p(v) = -4*v**2 + 4*v + 5. Let b(f) = 6*l(f) + p(f). Let w be b(-1). Let s be (w - 0)/(-3) - -3. Solve -s + 1 = 3*x for x.
-1
Suppose 0 = 5*g - 6*g. Solve -4*q + 3*q + 1 = g for q.
1
Let a(x) = x**2 + x - 4. Let i be a(-3). Suppose -i*n - 18 + 78 = 0. Solve -5*s + n = 5 for s.
5
Suppose -t - 4*t = -3*d - 7, 0 = 5*d - 5. Suppose 12 = t*j - 0*j. Let h = -4 + 6. Solve -2 - j = h*s for s.
-4
Let z = 81 + -75. Solve z*q + 8 = 4*q for q.
-4
Let b(x) = x**2 - 2*x + 3. Let f be b(-4). Solve 0 = 5*c - 7 + f for c.
-4
Let i be -3 - 3/1*-2. Let z = i + -3. Suppose z = 4*x - 4, 3*f - 3*x = f + 1. Solve 1 = f*b + 3 for b.
-1
Let w(g) = -g + 15. Let r be w(11). Suppose -15*m = -11*m - r. Solve -l = -2 + m for l.
1
Let f(o) = -o**2 - 7*o - 2. Let i be f(-7). Let s be 7/2 + (-1)/i. Suppose 2*g + 7 = -3, s*g + 10 = -w. Solve 5*j - w = -0 for j.
2
Let s(b) = b + 7. Let v be s(-6). Let f be 4/(-8)*(v + -1). Solve f = -2*u - 6 for u.
-3
Let k(l) = -l**3 - 4*l**2 - 2*l. Let s(t) = -t**3 - 8*t**2 + 2*t + 12. Let z be s(-8). Let j be k(z). Solve 5*m = m + j for m.
2
Let z = -9 - -3. Let v be (-140)/24 - 3/18. Let i = z - v. Solve -3*u + i = -6 for u.
2
Suppose 5*y = 2*y. Suppose 5*v - 30 = -5*t, y*v = -t + 3*v - 2. Solve 5*j = t*j - 2 for j.
-2
Let i(b) = -8*b**3 - 2*b**2 - 3*b - 1. Let c be i(-1). Solve -c - 7 = 5*s for s.
-3
Let o = -113 - -115. Solve o*g + g - 6 = 0 for g.
2
Suppose 5*s - 3*q - 37 = 0, s - 7 = 3*q + 10. Solve s*g - g = -8 for g.
-2
Let g(q) = 21*q**2 - 1. Let j be g(1). Let v = -11 - -20. Let w = v + -4. Solve -j - 5 = w*y for y.
-5
Let v(u) be the third derivative of 1/60*u**5 - u**2 + 0 + 1/8*u**4 + 0*u + 1/3*u**3. Let z be v(-2). Solve 0 = g - z + 5 for g.
-5
Suppose 3*r + y - 1 = 3*y, 11 = -2*r - y. Let t be -1 + r/(-1) - -2. Suppose 5 = t*i + 1. Solve 13 - i = 3*p for p.
4
Suppose -3*k + 2*y = y - 18, 0 = -5*y. Solve 0 = 2*v + k + 4 for v.
-5
Let r = 1 - -4. Solve -17 = r*o + 8 for o.
-5
Let g(s) = -3*s**3 + s**2 - 1. Let k(b) = b**2 + 3*b - 1. Let h be k(-3). Let f be g(h). Solve -f*z + 6*z = -9 for z.
-3
Let a(p) be the second derivative of -p**5/20 - 2*p**4/3 - 7*p**3/6 + 5*p**2 - 3*p. Let c be a(-7). Solve 5*f = c + 5 for f.
3
Let x = 0 - -3. Let k be ((-3)/(-5))/(x/15). Solve 0 = k*p - 3 + 15 for p.
-4
Let p(d) = d**3 - d**2 - 2. Let i be p(2). Let s be ((-11)/(-3))/(i/6). Suppose 5*m = -3*w + 40 - 1, w + m - s = 0. Solve -w = 2*x + 2*x for x.
-2
Let u(c) = -c**2 + 6*c. Let a be u(6). Suppose a = 3*x - 4*h - 7, -15 = -8*x + 3*x + 5*h. Suppose 0 = m - 21 + x. Solve -m = -4*o - 0*o for o.
4
Suppose -16*c = -13*c. Let m be 9*((-20)/(-15) - 1). Solve c = m*z - 2 + 5 for z.
-1
Let o = -6 - -8. Suppose -4*v + 2*w = -22, -5*v + 2*v + 3*w = -24. Let l = v - o. Solve -l = -3*r + 8 for r.
3
Suppose 3*f - t - 14 = 0, 5*t = -2*f - 3*f + 30. Solve -11 + 1 = f*o for o.
-2
Let p be -3 + (6*4 - 2). Let y = p - 11. Suppose -2*l = 2 - y. Solve -2 = -q + l for q.
5
Suppose -7*r - 10 = -2*r + s, 2*r = 2*s - 16. Let o be ((-2)/2)/(1/r). Solve -o*k = -8*k for k.
0
Let p = -2 - -4. Let u(y) = y**2 + 4*y - 6. Let w be u(-6). Solve -p*i + w = -0*i for i.
3
Let a be 2/12 + 5/(-30). Suppose 4*i + 2 = 6*i. Solve a = -l - i + 4 for l.
3
Let k be ((-8)/(-10))/(12/30). Solve k*n = -3*n for n.
0
Let z(n) be the second derivative of -n**4/12 + 13*n**3/6 - 3*n**2 - 2*n. Let o be z(9). Let k be 18/o + (-6)/10. Solve k = b + b for b.
0
Suppose -6 = -5*r + 3*r. Suppose -2*u = -0*o + 4*o + 14, -r*u - o = -4. Solve u*s = -s for s.
0
Let r be ((-3)/9)/((-4)/48). Suppose k + 2 = -5*l, 8*l + 13 = 3*k + r*l. Solve -k = 2*y - 1 for y.
-1
Let g(r) = -2*r - 2. Let y be g(-1). Solve b + y + 3 = 0 for b.
-3
Suppose 0 - 4 = 2*k. Let v = k + 11. Solve -v*j + 5*j = 8 for j.
-2
Let g(h) be the first derivative of h**3/3 + 3*h**2/2 - h - 1. Let s be g(-3). Let x = 2 - s. Solve 1 = x*u - 11 for u.
4
Suppose 0*u = -2*u - 4. Let r = -2 - u. Solve 2*n = -r*n + 6 for n.
3
Let q be 0*(3/2 - 1). Solve q = -2*c - 3 - 3 for c.
-3
Let j = 2 - 2. Suppose 2*o - 9 = 1. Solve v - o*v + 16 = j for v.
4
Suppose -3*p - p = -412. Suppose 4*i + 3 = p. Solve 3*t + 2*t = i for t.
5
Let c(m) = 2*m**2 + 3*m + 1. Let i be c(-2). Suppose 2*k - 1 = i. Solve 0*l = k*l for l.
0
Suppose 64*b = 63*b + 4. Solve -b = -5*j + 6 for j.
2
Let x be -1*21*1/(-3). Solve x*p - 3*p = -4 for p.
-1
Let m(s) = -11*s - 1. Let u be m(-1). Suppose u*f = 12*f. Solve -4*l + f = 4 for l.
-1
Suppose o = -3*o - 8. Let q(n) = n**2 + n. Let i be q(o). Suppose 5*z - i*z = 27. Solve 4*x = -7 - z for x.
-4
Suppose -2*b = -0*b - 4. Suppose 0 = 3*f - 7*f + 16. Suppose -5*q + 6 + 4 = -2*d, -b*q + f*d = -20. Solve q = a - 0*a for a.
0
Let j be (3/4)/((-2)/8). Let h = j + 2. Let v be -1*(1 - (h + 2)). Solve 0*p + 2*p - 10 = v for p.
5
Let m(o) = o**3 + 3*o**2. Let x be m(-3). Suppose x = p - 2*p - 5. Let d(f) = -f**2 - 6*f. Let i be d(p). Solve i*y = y for y.
0
Let m be -2 - -2 - (-2)/(-1). Let d be 300/9 - m/3. Suppose -3*w + 2 + d = 0. Solve 2*b + 2 - w = 0 for b.
5
Suppose 4*f - 22 - 26 = 0. Suppose -2*o - f = -4*g, -2*g - o + 2 = -0. Let k = 6 + -4. Solve 2*r = g + k for r.
2
Suppose 2*w + 10 = 7*w. Suppose 4*m - 7 = -w*q - 3, 3*q - 15 = 3*m. Solve 0 = q*k - 2*k for k.
0
Let q(f) = 7 + 5*f - 3*f - f + 0. Let d be q(-4). Suppose -d*m + 5*s + 40 = 0, -4*m + 30 = s - 3*s. Solve -5*b - m = 5 for b.
-2
Suppose 4*a - 8*a + 10 = -2*m, 2*a + 5*m - 11 = 0. Solve -a*y = 5 + 10 for y.
-5
Let m(a) = a**3 + 3*a**2 - 1. Let z be m(-2). Let l(u) = -u**3 - 2*u**2 + 2*u - 1. Let b be l(-3). Suppose 4*s + 1 - 5 = 0. Solve -b*p - z = -s for p.
-1
Suppose 10*u = 13*u - 9. Solve -u*s + 20 = s for s.
5
Let d = -19 - -27. Let l = 27 + -21. Let w = d - l. Solve 0 = w*z - 0 + 2 for z.
-1
Suppose -5*c + c = 0. Let n = 2 - 4. Let f = n + 3. Solve s + 0 + f = c for s.
-1
Let p = 14 + -4. Solve -2*g - p = 3*g for g.
-2
Suppose -4*p + 14 = 3*p. Solve t = p*t - 3 for t.
3
Let k = 132 - 114. Solve 5*f = -f + k for f.
3
Suppose t = 4*k + 4, -20 = t + 5*k - k. Let a be (t/(-16))/((-1)/(-4)). Suppose -a*d - 9 = -5*d. Solve 17 = -4*l - d for l.
-5
Let x(y) = 2*y**2 - 3*y + 1. Let h be x(3). Solve -f = -3*f - h for f.
-5
Let y = -2 - -5. Let b = -1 - -2. Let d = y - b. Solve 4*u = d*u for u.
0
Let l = 1 - -4. Suppose -4*d = -b + l*b - 24, d - 2*b - 6 = 0. Solve 4*o - 6 = d for o.
3
Let b(k) = -3*k + 9. Let c be b(6). Let o = 3 - c. Solve 0 = 4*m + o + 8 for m.
-5
Let l = -50 - -56. Solve -l*x = -2*x for x.
0
Let d(y) = y**2 + 3*y - 4. Let p be d(-4). Suppose 3*w + p = 3. Solve 2*h + w = 5 for h.
2
Let y be 16 - -3*6/(-9). Suppose 15 = -5*i - 3*w, -4*i - 5*w - 11 = y. Suppose 3*j = 0, 4*x - 5*j - 16 = -i*j. Solve -x*v + 9 = -v for v.
3
Let h be 1 + (-4)/((-4)/(-2)). Suppose 5*i - 5