 Solve s - a = 1 for s.
5
Suppose -4*p + 34 = -14. Solve -4*f + p = -0*f for f.
3
Suppose -5*b + 5*t - 4 = -24, 4*b = 3*t + 18. Let g = 6 - b. Suppose 2*z + g = 4. Solve -h = -z*h - 4 for h.
-4
Suppose -2*i + 2 + 2 = 0. Solve -i*x = 3 + 1 for x.
-2
Let l = -83 + 88. Solve -9 = l*v - 4 for v.
-1
Let n(q) = q**3 + 8*q**2 + 12*q + 6. Let i be n(-6). Solve -3*g + i = -6*g for g.
-2
Suppose 4*z - 4*o - 24 = -0*o, -z + 2*o + 9 = 0. Suppose -z*j + 3 = n, -3*n + j = -2*j - 21. Solve 0 = 2*m + m - n for m.
2
Let m = -5 + 3. Let r(c) = -6*c**2 + c - 2. Let l be r(m). Let x = l + 43. Solve 3*k - x = -0*k for k.
5
Suppose -3*x + 4*x - 3*n = -2, -5*x - 4*n + 28 = 0. Solve x*c + 4 - 20 = 0 for c.
4
Suppose -4*r + 0 - 16 = m, 2*r = 4*m + 10. Suppose 20 = -5*w + k, 2*k + k = w - 10. Let z = r - w. Solve 0 = z*y - 7*y + 25 for y.
5
Let r(o) = -o**3 + 11*o**2 - 7*o - 3. Let y be r(10). Suppose -3*d - 5 = -4*d, g + 5*d - y = 0. Solve -a = -1 - g for a.
3
Suppose 9*o - 5 = 4*o. Solve -5 = m - o for m.
-4
Let m(n) = 3*n + 3. Let f be m(5). Let h = f - 6. Let k be 4/(-10) + h/5. Solve -k*y - 3 = 3 for y.
-3
Let z(b) = -b**2 - 15*b - 13. Let i(h) = 2*h**2 + 31*h + 25. Let c(q) = -2*i(q) - 5*z(q). Let g be c(-10). Let a = -6 - g. Solve 3*o - 6*o = -a for o.
3
Let t = 0 + 9. Solve -4*z = t - 5 for z.
-1
Suppose 3*s = -2*s + 25. Solve -2*l + s*l = 0 for l.
0
Suppose 4*h + 2 = 2*g + 2*h, 4*g - 3*h = 7. Solve -s - g*s = -20 for s.
4
Suppose -12 = -o - 5*b, -b - 5 - 3 = -5*o. Let h = -2 - o. Let c = h - -4. Solve 2 = -p - c*p for p.
-2
Let w = 8 - 0. Solve 2*x + w = 4*x for x.
4
Suppose 0 = -4*w + 5*w + 2. Let o(h) = -h**2 - 3*h - 2. Let l be o(w). Solve l*a = -2*a for a.
0
Suppose 20 + 50 = 7*k. Solve 2*x + 0*x - k = 0 for x.
5
Let g(i) = i + 5. Suppose 1 = -5*h + 21, h = 5*o + 19. Let p be g(o). Solve 2 = p*n - 6 for n.
4
Let l be (-48)/(-15) - 2/10. Solve -l*w + 2*w + 4 = 0 for w.
4
Suppose -3*x - x = 0. Let c(n) = -n**2 - n. Let j be c(3). Let b be j*-2*3/9. Solve -2*y + b = -x for y.
4
Let b(r) = 2*r. Let a be b(-1). Let w be a/8 + (-2)/(-8). Solve w = -3*f - 2*f for f.
0
Let c = 128 + -128. Solve 2*b = -c*b + 6 for b.
3
Let b(x) be the second derivative of -5*x**3/6 - 3*x**2/2 + 3*x. Let z be b(-2). Let h = 13 - 8. Solve -h*g + 2 - z = 0 for g.
-1
Suppose 2*w - 5 = -u + 6, u = 3*w + 1. Solve -2*l - 10 = -u*l for l.
2
Let d(v) = -v - 2. Let h be d(-5). Suppose 0 = -l + 2*w - 3 - 5, 0 = -5*l + h*w - 19. Let b = l - -12. Solve -2*f + 4*f + b = 0 for f.
-5
Let o(q) = q - 4. Let f be o(7). Suppose f*b - 2 = b. Solve -b = -4*i - 13 for i.
-3
Let v = -1 - -5. Suppose -3*a + 0*a + 21 = 0. Solve v*s - a = 9 for s.
4
Suppose -2*m - 10 = 0, j - 5*m = -2 + 17. Let r = -8 - j. Solve -4*i + r = -6 for i.
2
Let i(x) = x + 8. Let c be i(4). Suppose 4*m = -3*q + 7*q + 32, q = -4*m + c. Suppose 0 = 4*b + 3*p - 2, 3*b - 16 + 4 = 3*p. Solve -b*h + 0 = m for h.
-2
Let w = -72 - -74. Solve -w*y + 5 - 1 = 0 for y.
2
Let a(w) = w**3 - 15*w**2 + 25*w + 28. Let r be a(13). Solve t - r = 6*t for t.
-3
Let i(r) = r - 9. Let a be i(11). Let l(n) = n**2 - 2. Let f(c) = c + 1. Let x(t) = -2*f(t) - l(t). Let j be x(-2). Solve -2*k + j = a for k.
-1
Let a = -8 - -12. Suppose 0 = -3*n + a*g + 14, -4*g + 0*g = 5*n - 2. Solve -n*b = -3 - 7 for b.
5
Let l = 1 + -5. Let h(c) = c**2 + 5*c + 4. Let a be h(l). Solve -3*j + 2*j - 4 = a for j.
-4
Let m = -5 + 5. Suppose -5*w + 9 = -3*b, -w + 2*b + 2*b + 12 = m. Solve -3*x + w = -9 for x.
3
Suppose -2*l - 2*l + 4*w = 8, -2*w + 4 = l. Suppose -3 + l = -y. Solve -3 = y*x - 6 for x.
1
Let l = -4 - -12. Suppose 1 = 3*d - l. Let a(y) = -y**3 + 4*y**2 - y + 1. Let j be a(d). Solve -j*s = -3*s for s.
0
Suppose 6*t + 20 = 4*j + 2*t, 2*j - 4*t = 18. Suppose 11 - j = 2*z. Let x = 14 - 8. Solve -z*s - 1 = -x for s.
1
Let i(s) = s**2 - 3*s - 4. Let a be i(3). Let u be a/(-10) - (-16)/10. Let m(n) = n**3 + 13*n**2 + 24*n + 24. Let h be m(-11). Solve -u = h*t - 0*t for t.
-1
Suppose 9 = 3*s - j + 4*j, 5*j = -15. Solve 4*d - 10 = s for d.
4
Let m be (-1)/(-2) - 4/8. Suppose -3*t + t = m. Suppose -p = 5*q - 19, 0*q + p = -2*q + 7. Solve t = -q*u + 8 for u.
2
Let o be ((-30)/25)/((-8)/20). Solve 4*b = o*b + 5 for b.
5
Let h = 35 - 35. Solve -o + h*o = 0 for o.
0
Suppose 5*x = -3*d + 93, -3*x + d = 4*d - 57. Suppose 0 = 2*q, -3*o + x = -q - 2*q. Suppose 6*f - 5*f + 2 = n, 2*f - o = -3*n. Solve 6 = -4*j + n for j.
-1
Suppose 0 = -6*o + 10*o - 12. Let z(y) = y**2 - 6*y. Let v be z(6). Solve o*p = -v*p for p.
0
Suppose -2*z + 3 = -3*t, -z = 2*z - 3*t - 6. Let x be -1*(1/(-1) + -4). Let i = x - 5. Solve i*w = z*w - 15 for w.
5
Let u = 5 + 0. Suppose -u*c - 25 = -2*i, c - 10 = -2*i + 3*c. Let g = -2 - -2. Solve -d + g*d - 1 = i for d.
-1
Let b(a) = 2*a - 7. Let s be b(5). Suppose -r + 8 = -2*r + 4*p, -12 = -3*p. Suppose r = 5*j - 22. Solve -j*m + s*m + 3 = 0 for m.
1
Let v(s) = s**3 - 2*s**2 - 3*s + 4. Let d be v(3). Let w be d/10 + 110/(-25). Let m be (-2)/w - 11/(-2). Solve -4*h = -m*h for h.
0
Suppose d + 12 = 3*d. Let c = d + -4. Suppose -c = n - 5. Solve -n + 1 = 2*g for g.
-1
Suppose 2*z + 7 + 2 = -y, -2*y = 5*z + 20. Let c(j) = -3*j + 2. Let u be c(z). Solve 0 = -4*w - u + 28 for w.
5
Let y(w) be the third derivative of w**6/120 - w**5/5 + w**4/2 - 4*w**3/3 + 4*w**2. Let v be y(11). Solve -v*g - 5 = 1 for g.
-2
Let t be (-820)/(-45) + (-2)/9. Let b be (-4)/t + (-80)/(-36). Solve b*j + 0*j + 2 = 0 for j.
-1
Suppose 2*t = t + 4. Let m(c) = 2*c**2 - 2*c + 4. Let g(s) = 2*s**2 - 2*s + 5. Let a(k) = -3*g(k) + 4*m(k). Let d be a(t). Solve -7*y = -2*y + d for y.
-5
Let k be 3/(-3)*(-4 + 0). Let u(s) = -7 - 10*s**2 + 4*s + 20 - 5*s + s**3. Let o be u(10). Solve -k = -o*y + 7*y for y.
-1
Suppose 2*q = -3*q - 2*h + 14, 0 = q + 3*h - 8. Let y = -3 + 9. Let p be ((-21)/6)/((-3)/y). Solve -q*n = -p*n - 25 for n.
-5
Suppose 5*b + 0*j - 43 = 4*j, -3*j - 13 = -b. Suppose 5*d - d + 20 = 0. Let m = d + b. Solve -t = t + m for t.
-1
Let j = 4 - -15. Let v = j - 19. Solve z + z - 10 = v for z.
5
Suppose -2*n + 2 = -f, 3*n - f - 6 = 2*f. Let z(c) = -4*c - 3. Let o be z(-2). Suppose d = -4*r + 9 + 6, -o*r = 4*d - 27. Solve 3*h = -n*h + r for h.
1
Let k be (1 - 1) + (0 - -2). Solve -k*r = -7 - 3 for r.
5
Let k be 20*-2*(-3)/6. Suppose 2*x + 3*p = -p + k, 2 = -x + p. Solve -x = -2*w + 2 for w.
2
Let u = 32 - 32. Solve u = -4*s + 5 - 1 for s.
1
Let u be (-1)/(-2)*(1 + -1). Suppose -2*m - g = g - 10, -2*m - 3*g + 15 = u. Solve m = -5*f + f + 4 for f.
1
Let m be (-2)/(-17) + 24/(-204). Solve 4 = -m*p + p for p.
4
Let c(g) = -g**2 - 8*g - 8. Let a be c(-6). Solve -a*f + f = 15 for f.
-5
Let o(f) = f**2 + 3*f - 6. Let q be o(4). Let a be (-540)/(-130) - (-2)/(-13). Suppose -q = 2*g - a*g. Solve -3*c - g = -2 for c.
-3
Suppose -2*d - 16 = 3*c - c, 9 = -3*c. Let q be d/((-15)/9) + 1. Suppose -z - 33 = -5*u + 24, -q*u + 5*z = -54. Solve -u - 4 = -3*x for x.
5
Let w(k) = 0 + 2*k**2 - k**2 + 5*k**2 - 4 + 10*k - k**3. Let g be w(7). Solve 5*j - g = -2 for j.
3
Let i = 3 - 3. Suppose 5*m - 6 = 2*b, 2*m - 4 = b - 2. Let n = i + b. Solve n*d = 6 + 2 for d.
4
Let d(m) = -2*m + 9. Let f be d(7). Let p = f - -8. Let n = -3 + p. Solve 4*w - 4 = -n*w for w.
1
Suppose v = -v. Suppose -y = -4*j + 3*y - 20, -3*j + y - 7 = v. Let q be j*(-6)/9*3. Solve -3 = -q*o + 1 for o.
2
Suppose -27 = -8*p - 3. Solve -p*j = 8 + 7 for j.
-5
Let w = -13 + 13. Suppose -10 = -3*n - 4*r, n = -0*r - r + 4. Suppose n*o = 3*o. Solve o = -w*s - s + 4 for s.
4
Suppose 0 = j - 9 + 7. Solve 3*u + 2 = j*u for u.
-2
Let m = -3 + 9. Let o be (-6 - (-4 - 11))/3. Solve -t + o*t - m = 0 for t.
3
Suppose -4*d = -4 - 0. Solve 4 = -x - d for x.
-5
Suppose -211 + 217 = 3*v. Suppose 2*h - 12 = -2*z, 5*h + 4*z = 8 + 20. Solve 2*k + v = h for k.
1
Let a(r) = -3*r - 8. Let d be a(-4). Let m(f) = 2*f**2 - 4*f + 2. Suppose -4*l + 3*l + 3 = 0. Let p be m(l). Solve h - d = -p for h.
-4
Suppose -x - 5 + 17 = 3*l, 2*x = 2*l + 8. Suppose -4*r - s = -5, -3*r + x = -s - 3. Solve r*o + 3*o + 5 = 0 for o.
-1
Suppose -29 + 9 = -5*i. Suppose 0 = 2*p - i*y + 8, 4 = 5*y - 16. Suppose 0*t - p = -t. Solve t*m = 3*m + 5 for m.
5
Suppose 0 = -2*q + 7*q - 50. Let m be (1 + 0)*(-16)/(-4). Let h = m - 1. Solve -q - 5 = h*z for z.
-5
Let l = 6 + -3. Suppose -3*t + l = -3. Solv