s - 4 for s.
4
Let m(b) = 1. Let j(v) = -8*v - 8. Let y(q) = -j(q) - 5*m(q). Let p be y(5). Suppose 0 = 5*u - p - 27. Solve 4*a - 6 = u for a.
5
Let y = 26 + -23. Solve 11 + 4 = -y*h for h.
-5
Suppose -8 = -4*j - 0. Let f be (j + 1 - 2)/1. Solve -2*r = 5 - f for r.
-2
Let i = 3 + 3. Solve 3*v + 18 - i = 0 for v.
-4
Let u = -11 + 14. Suppose v + y - 8 = 0, -2*v + 21 = u*y - 0*y. Solve -t + 2*t = -v for t.
-3
Suppose -4*f + 26 = 4*n + 10, 4*f - 10 = -n. Let v be n/3 - 32/(-6). Solve 4*y + v = 14 for y.
2
Let f = -5 + 5. Let x = f - -5. Solve 4*l - 3*l - x = 0 for l.
5
Let k be (3 - 1) + -1 - -3. Suppose -k*p + 4 + 12 = 0. Solve 4*r = p + 8 for r.
3
Let l = -44 - -52. Solve -2*u = -0*u + l for u.
-4
Let n be 6/(-21) + (-16)/(-7). Solve -n = -j - 0 for j.
2
Suppose 0 = 5*y + 3 + 17. Let a be -1*(y - 0) - -7. Solve a = 2*r + 3 for r.
4
Let j(u) = -3*u + 30. Let g be j(9). Suppose -20 = -4*r + 2*f, -r + 5*f - 34 = -5*r. Let k = 6 + r. Solve k = b + g*b for b.
3
Suppose 2*l + 3*l = 0. Let m(k) = -12 - k**2 + 8*k + 7*k + 2 - 2. Let p be m(14). Solve -p*n + 7*n = l for n.
0
Let n(b) = -10*b + 3. Let y(o) = 11*o - 4. Let l(w) = 5*n(w) + 4*y(w). Let p be l(-1). Suppose p*x + 1 - 11 = 0. Solve -x*t + t = 4 for t.
-4
Suppose 0 - 2 = -k. Suppose 0 = 6*c - 3*c + k*j - 6, -5*c + 10 = -3*j. Suppose -2*r + r + 11 = 3*y, 3*r - 5 = 5*y. Solve -c*o + 3 = -r for o.
4
Let w be 387/63 + 2/(-14). Solve -o - 2*o = -w for o.
2
Let m(c) = 3*c + 1. Let n(s) = s. Let g(d) = -m(d) + n(d). Let z be g(-3). Suppose -2*b + 5 = 3*b, 0 = 3*o - 3*b - 6. Solve -12 = -z*j + o for j.
3
Let q(a) = a - 7. Let x be q(6). Let g be (3 + x - 2)/(-2). Solve 4*w + w - 15 = g for w.
3
Let c(y) = -9*y**2 - 27*y + 3. Let q be (1 - (-1 + -2)) + 2. Let o(h) = -5*h**2 - 14*h + 2. Let f(w) = q*c(w) - 11*o(w). Let u be f(9). Solve u = x + 3 for x.
2
Let k = -2 + 0. Let c = -2 - k. Suppose -f + 9 = -c*f. Solve 1 = 5*a - f for a.
2
Let l(g) = 2*g**3 + 6*g**2 + 2*g + 3. Let b be l(-3). Let v = 5 + b. Solve v*j = -0*j - 6 for j.
-3
Let t be -2*(-2 + 4*3). Let c be 156/10 + (-8)/t. Solve -b = 3*b + c for b.
-4
Let t be (18/4)/(-3)*4/(-3). Solve 5*j + 7 = t for j.
-1
Let a = 13 + -10. Suppose -a*t = -4*v + 2*t + 9, 3 = t. Solve -2*z + v = -0*z for z.
3
Suppose -2 = -p + 3. Solve 4*o = 5*o - p for o.
5
Suppose q - 9 = 2*h - 2*q, 13 = h + 2*q. Solve -f - h - 2 = 0 for f.
-5
Suppose 2*y = -3*d + 3*y + 8, 0 = -2*d + 2*y + 4. Let l = 7 + -5. Suppose -5*x + 34 = -2*p - l*p, -2*x - d*p = -9. Solve -14 = 5*w + x for w.
-4
Suppose 44 - 4 = -5*l. Let x(u) = -u**3 - 9*u**2 - 6*u + 4. Let d be x(l). Let g be (-2)/1*30/d. Solve -q = -0*q + g for q.
-5
Suppose 0 = 5*x - 3*b - 65, -2*b + 59 = 5*x + 19. Solve 0 = -4*n - n + x for n.
2
Suppose -4*n + 2 = -2. Suppose 2*i - 7 = -n. Solve 0 = -2*a + 5 + i for a.
4
Let v = -2 - -2. Suppose v = 4*g - 0*g. Suppose -5 = -i - g. Solve l = 2*l + i for l.
-5
Let v = 23 + -14. Let f = 23 + -19. Let d be ((-24)/v)/(f/(-6)). Solve 0*p = -d*p for p.
0
Suppose 0*k = 8*k - 96. Solve -7*l = -3*l - k for l.
3
Suppose 3 - 23 = -2*r. Suppose 4*u - 2*o + 10 = -0*o, 0 = 2*u - 2*o + r. Solve u = -3*m - 0 + 6 for m.
2
Let k = -29 + 29. Solve k*l = -2*l + 8 for l.
4
Let j(f) = -f**3 + 3*f**2 - 2*f + 1. Let d be j(1). Let i be 1/(1/d) + -1. Solve i = -4*n - 23 + 7 for n.
-4
Let j(f) = -f**3 - 8*f**2 + 9*f + 1. Let h be j(-9). Let n be (3*h)/(1 + 0). Suppose n*x = -x. Solve x - 5 = o for o.
-5
Let t(r) = r**2 - 12*r + 12. Let c be t(10). Let u(n) = -2*n - 4. Let y be u(c). Solve 0*f + 3*f = y for f.
4
Suppose 7*v = 5*v. Solve v*j = -3*j - 3 for j.
-1
Suppose 4*i + 7 - 11 = 0. Let k = 12 + -8. Suppose k*c + 0*c = 16. Solve 0 = 5*d - c*d - i for d.
1
Suppose -6*h - 2*a + 20 = -h, 16 = h - 2*a. Solve 1 = c + h for c.
-5
Suppose -5*t = -4*f - 36, 4*f + 1 = -4*t + 37. Let i be (2 + -5)*(-15)/(-9). Let x be 0 + 0 + (i - -28). Solve -x = 3*g - t for g.
-5
Suppose 0 = 8*a - 4*a + 152. Let l = a + 53. Solve 3*i + l = 8*i for i.
3
Suppose 2*d + 6 = -4. Let a be (1 + d/3)*-24. Solve -a = 4*j - 0*j for j.
-4
Let w be 0 - -13 - 4/(-4). Solve -w = -2*j - 4 for j.
5
Suppose -5*g + 0*g = 0. Suppose 3*t + g + 3 = 0. Let s be -2 + 0 - 4/t. Solve s*q + 0*q = 8 for q.
4
Let j(u) = -u**3 + u**2 - u + 5. Let s be j(0). Solve s*b = -12 - 8 for b.
-4
Let f(a) = a - 1. Let q be f(3). Let p be (-1)/((-33)/15 + q). Solve -p*m = 9 - 4 for m.
-1
Let u(y) = y**3 + 9*y**2 + 9*y + 7. Let o be u(-8). Let l be 1 - 0 - (-5 + o). Solve 3 = -2*w - l for w.
-5
Suppose 27*z - 32*z = -20. Solve 2*u = z - 12 for u.
-4
Suppose -5*o + 20 = 0, 3*z = 2*o + o - 9. Solve z = 2*f - 3 for f.
2
Let f(h) = h**2 - 5*h - 3. Let m be f(6). Solve -4 = -m*p + 7*p for p.
-1
Let h(y) be the third derivative of y**5/60 + 7*y**4/24 + y**3/3 + y**2. Let d be h(-7). Solve 0 = u + 7 - d for u.
-5
Let z(s) = -s**3 + 6*s**2 + 2*s - 8. Suppose -6*r = -4*r - 12. Let u be z(r). Solve 2*f - u*f - 6 = 0 for f.
-3
Let y = 11 - 11. Solve 0 = -4*t + 12 - y for t.
3
Suppose 0 = c - 2*w - 8, 5*w - 2 = -27. Let i(t) = -t - 1. Let k(d) = 1. Let o(v) = 2*i(v) + k(v). Let p be o(c). Solve -5*y = -p*y + 6 for y.
-3
Suppose -2*v = 2*d - 18, -3*d + 5*v - 21 = -2*d. Solve 3 = d*c - 17 for c.
5
Suppose 3*w = -2*w. Let p = -8 + 9. Solve w = -a + 3 - p for a.
2
Let j(k) = -k - 4. Let z be j(-4). Solve z = 4*c + c for c.
0
Suppose h = -h + 20. Suppose -l - 4 = -h. Solve -l = j + j for j.
-3
Let b = -10 + 17. Solve -2*h + b*h = -10 for h.
-2
Suppose 0 = -0*j + 5*j. Let p = 21 + -18. Solve 5*b - p*b - 8 = j for b.
4
Let f be (6/(-5))/((-3)/20). Suppose -3*a + 20 = -f*a. Let k be ((-1)/2)/(a/32). Solve 4*l + 0*l = k for l.
1
Let u = -7 + 11. Suppose -8 = -u*q + 12. Solve 7*b - 2*b = q for b.
1
Suppose -2 = -y, 3*k - 4*y = 5*k - 16. Solve 3*i - 2 = k for i.
2
Let o = -35 - -38. Solve -o - 7 = 5*n for n.
-2
Suppose 4*b = 2*g + 6, -b - 4*g - 17 + 5 = 0. Suppose -s - 2 = -b. Let y be (-20)/(-12) - s/6. Solve -v = v + y for v.
-1
Suppose -3*d + 1 = -8. Suppose -4*b - 6*m = -d*m - 52, 4*b - m = 68. Solve -3*i - 4 = -b for i.
4
Suppose 4*c + t + 3*t + 4 = 0, -4*c = -4*t - 36. Solve 3 = c*r - 5 for r.
2
Suppose -9 = -2*h + 1. Solve 27 = -h*x + 7 for x.
-4
Suppose -a = -2*f - 2, 0 = -4*a - 2*f + 19 + 39. Solve -4 - a = -4*m for m.
4
Let j be (-18)/(-99) - (-106)/22. Solve 2 + 3 = -j*o for o.
-1
Let m(y) be the first derivative of 5*y**2/2 - 3*y - 5. Let c be m(2). Solve -2 - c = 3*l for l.
-3
Suppose 8*b - 54 = -2*k + 3*b, -8 = 4*b. Suppose 3*t - 23 = 2*c, 2*c = t + 3*t - k. Let q be (-46)/(-10) + t/(-15). Solve -2*r = -0*r + q for r.
-2
Suppose 0 = -5*n + q + 16 - 2, 2*n = q + 8. Solve -h - n = -3 for h.
1
Let y = -2 + 2. Let d(r) be the second derivative of r**4/12 + r**3/6 + 3*r**2/2 - 10*r. Let s be d(y). Solve 7 - s = -h for h.
-4
Suppose 29 = 5*a - 11. Solve a = 2*d - 0*d for d.
4
Let g(n) be the first derivative of -9*n**4/4 + 2*n**3/3 - n - 3. Let r be g(1). Let c = -5 - r. Solve -j + 4 = c*j for j.
1
Let d(g) = -2*g - 4*g**3 - 1 + 6*g**3 - 4*g**3. Let q be d(-1). Solve 0*w + q*w + 15 = 0 for w.
-5
Let j(h) = h - 7. Let v be j(7). Solve -9 = -3*f - v*f for f.
3
Let a be ((-12)/(-2))/(-3) - -8. Let j be a + 1/(1/(-3)). Solve 6*f = j*f - 6 for f.
-2
Let j = -7 - -9. Solve 2*z + 4 + j = 0 for z.
-3
Suppose -3*h + 0*h + 15 = 0. Solve -h*o + 0 = -10 for o.
2
Let b be ((-1)/(-3))/((-5)/(-15)). Suppose 0 = -v - 2*a + 2, 0*a + a = 4*v + b. Solve 0 = -v*s + 4*s - 20 for s.
5
Suppose 15*g = -11*g. Solve 0*d - 3*d = g for d.
0
Let l(r) = r**3 + 2*r**2 - r - 2. Suppose -u + 1 = -2*u. Let o be l(u). Solve o = 4*z + z + 25 for z.
-5
Let g(r) = -3*r + 47. Let s be g(11). Solve 0 = 4*k - 2 - s for k.
4
Let f = -5 - -8. Suppose 3*o = f + 3. Let k be ((-1)/(-3))/(o/54). Solve k = -2*u - u for u.
-3
Let c = 4 - -1. Suppose -u = -15 - c. Solve 4*v + 0*v = u for v.
5
Suppose -r + 6 = -4. Let g = r - 8. Let s = -8 + 13. Solve g*o = s*o - 9 for o.
3
Suppose 0 = 5*t - 0*t + 4*v - 19, 10 = 5*t - 5*v. Let s be (0/(t/(-3)))/2. Solve s*z - 5*z = 15 for z.
-3
Suppose -4*l - 38 = 3*b - 144, 4*l - 3*b = 94. Let x be 165/l + (-2)/(-5). Let w(q) = -q**3 + 7*q**2 + 2. Let u be w(x). Solve 5 = -u*f - 5 for f.
-5
Let p be (-1 - -6) + -7 + 2. Solve 3*x - 3 - 9 = p for x.
4
Suppose 5*i = -2*w + 12 - 2, 5*w = 3*i - 6. So