+ 11*s for s.
4
Suppose 4*x = 20, 5*l = x - 6*x + 485. Let u = l - 67. Suppose t - 4 = -t. Solve t*v + 3*v = u for v.
5
Let v(x) = -3*x - 4*x - 34 + 15 - 2*x**2 + 14. Let d be v(-4). Let n be 1 - 5 - (d + 5). Solve -s - s = n for s.
0
Let j be ((-3)/1)/(-9) - (-56)/12. Suppose 8*o - j = 59. Solve 4*q - o + 20 = 0 for q.
-3
Let o = 857 + -857. Solve o = 11*c - 47 + 14 for c.
3
Let c(z) = z - 4. Let y be c(6). Suppose 3*i - 51 = -3*u, 0 = -i + y*u - 2 + 4. Solve -i = 4*t - 28 for t.
4
Suppose -h + 5 - 1 = 0. Let l(w) = -9*w - 8. Let x(g) = 5*g + 4. Let q(c) = -2*l(c) - 5*x(c). Let n be q(-2). Solve 9*m - h*m = -n for m.
-2
Let z = -238 - -241. Suppose 4*n - 5*n = 0. Solve n*p = -3*p + z for p.
1
Let w be (0 - 18/(-4))*(-13 - -15). Suppose -5*j - 19 - 16 = 0. Let r be j/(-3) - (-1)/(-3). Solve h = -r*h + w for h.
3
Suppose 5*k - 2*u = 2, u + 17 = 16. Solve 3*g + 0 - 3 = k for g.
1
Let d = -2063 - -2111. Solve 4*i - 40 = -d for i.
-2
Let m be (-2)/(-6)*(-4 + 7). Suppose -q + 5*l + 0*l + 9 = 0, -3*l = 2*q - 5. Solve q = 5*p - m for p.
1
Let y(l) = -l**3 - 7*l**2 - 8*l - 8. Let f be y(-6). Suppose 0*g - 52 = -4*b + 4*g, 5*b - 65 = -f*g. Let w = -48 + 86. Solve b = 5*q + w for q.
-5
Suppose 12*y - 9*y + z = 0, -3*y - 4*z = 0. Solve r = -y*r + 5 for r.
5
Let n(l) = -3*l + 15. Let a be n(5). Let y be 32/(-48) - (a - 20/3). Solve -5 = -q + y*q for q.
-1
Let t be (-70 + 0)/(-14) + -1 + -1. Solve -6 = -6*w + t*w for w.
2
Suppose 3*t - 4*p - 24 = -t, -8 = -4*p. Solve 0 = t*n - 7*n - 3 for n.
3
Let k(r) = -r - 3. Let i(c) = c + 3. Let t(f) = 4*i(f) + 5*k(f). Let d be t(-5). Solve s + 1 = d for s.
1
Let x = -373 - -382. Solve -13*o = -x*o + 8 for o.
-2
Let u(c) be the second derivative of -c**4/12 - c**3 - 2*c**2 - 4*c. Let r be u(-4). Suppose -2*d = 3*z - 25, r*d + 2*z = -2*z + 40. Solve -g + d = -2*g for g.
-5
Let z(o) = 2*o + 78. Let w be z(-39). Solve 0*x + 2*x + 8 = w for x.
-4
Suppose 0 = -3*r + 82 - 28. Suppose m - r = 10. Suppose -4*f - s + m = 0, -4*f - 1 = -4*s - 9. Solve -4*p + f + 6 = 0 for p.
3
Let a(s) = s**2 + 3*s + 7. Let f be a(-2). Solve f = 6*g - 7 for g.
2
Suppose -8 = -r - 3. Let t be (2 - 25/r) + 5. Solve -3*g + t*g = -1 for g.
1
Let y = -7 + 10. Suppose -4*i + y*v = -45, 0*i - 4*i + 70 = 2*v. Suppose 8*h = 3*h + i. Solve h*z = 6*z for z.
0
Let q = 227 - 146. Suppose 0 = q*w - 76*w - 10. Solve -3*n = 14 - w for n.
-4
Let r be 5/10 + 6/4. Suppose 0 = -4*z - 3*a + 32, 4*z + z + r*a - 33 = 0. Solve z*q - 2*q = 3 for q.
1
Suppose 13*o - 242 = 2*o. Solve -o*g + 16 = -6 for g.
1
Let z be 4/(-1) + 352/11. Let r be 2/3*210/z. Solve 0 = k - 0*k - r for k.
5
Suppose 2 = -y - r, y = -4*y + 2*r + 25. Suppose 0 = 5*c + 4*s - 40, 5*c + 5*s - 35 = -0*c. Let v = -12 + c. Solve v = -l - y*l + 12 for l.
3
Let d(x) = -x + 9. Let y = -92 + 97. Let p be d(y). Solve g + 0*g = p for g.
4
Let n(r) = -r**3 - 38*r**2 - 72*r + 24. Let y be n(-36). Solve -12 = -4*b - y for b.
-3
Suppose 0 = t + 5*a - 7 + 18, -4*t - 104 = 5*a. Let c = t - -32. Solve c = -2*w + 3*w for w.
1
Let s be (14/(-6))/((-4)/12). Suppose s*i - 5*i = 8. Suppose 4*z + 25 = 5*u, -2*u = 2*z - 6 - i. Solve 4*r + 3 = u*r for r.
3
Let y = -89 + 107. Let s(o) = o**2 - 12*o + 14. Let r be s(11). Suppose 0*z + r*z = y. Solve -m - m = z for m.
-3
Let p be ((-24)/(-6) - 1)/(4 + -1). Solve -5*g - p + 11 = 0 for g.
2
Suppose 0 = 2*s + 10, 2*p + 0 = -3*s - 3. Suppose p + 6 = 3*q. Suppose 0 = 2*x + q*x. Solve x = -3*y + y + 2 for y.
1
Let m(s) = -25*s + 476. Let i be m(18). Solve 24 = -f + i for f.
2
Suppose x = -2*r - 4 - 37, 4*x = -r - 178. Let d = 46 + x. Solve -5*l = -6*l - d for l.
-1
Let f(z) = -z + 12. Let w be 9/(4 + -4 + 1). Let u be f(w). Let a be 10/(-10)*u*-1. Solve -8*o + a*o = 0 for o.
0
Suppose 4*s + 3*u = 107, -7*s + 4*s + 4*u = -99. Solve s = -9*v + 11 for v.
-2
Suppose 4*n - 4 = 16. Suppose -14 = -3*c + n*z + 8, z = 4*c - 52. Solve -4*i - 2 + c = 0 for i.
3
Let o be 10/((-3)/(45/(-6))). Suppose 5*r - 31 = -5*j + 2*r, o = 5*j + 5*r. Suppose -2*v - 2*w + 2 = 0, 5*w + j = -17. Solve -v = 3*x + 3 for x.
-3
Let s(a) = 0 - 6 - 19*a**3 - 15*a + 10*a**2 + 6*a**3 + 12*a**3. Let u be s(8). Solve 12 = u*m + m for m.
4
Let a(g) = -3*g + 27. Let o(d) = 2*d - 13. Let w(b) = 3*a(b) + 5*o(b). Let r be w(14). Let f be (-8)/(-6)*r/10. Solve f*y + y + 10 = 0 for y.
-2
Suppose 275 = 5*u + 5*v, 0 = -3*u - v + 210 - 47. Suppose 26*n - 20*n = u. Solve 3*i - n = -0*i for i.
3
Suppose -2*k = -2*q + 30, -2*q - 5*k - 63 = -6*q. Let o = 16 - q. Solve 0 = o*s - 12 - 4 for s.
4
Let m(w) = -w + 8. Let k(n) = -2*n - 12. Let p be k(-9). Let o be m(p). Let h = 111 - 109. Solve -h = -l + o for l.
4
Suppose x - 11 = -8. Suppose x*j - 22 = 17. Let c = -13 + j. Solve -k = -c*k for k.
0
Let b(x) be the third derivative of x**4/4 + 65*x**3/6 - x**2. Let f be b(-10). Solve -2*p = -f*p - 9 for p.
-3
Let b(c) = -c**3 + 4*c**2 - 2*c - 3. Let h = -14 - -17. Let m be b(h). Suppose 5*g - 20 = m, -z + 3*z + 4*g = 22. Solve 0 = -5*d + 28 - z for d.
5
Let a be (-2)/(-9) - (-25)/9. Suppose -y - 6*y = 0. Suppose 2*z + 5*v = 10, -2*z + y*v + 10 = a*v. Solve z*k + 2 = -13 for k.
-3
Let j be (2/(-6))/((-145)/870). Solve 36 = -10*a - j*a for a.
-3
Let c be (6/4)/((-10)/(-20)). Suppose -2*l - h = -1, -c*l + 2*l = -h + 1. Suppose 2*m = -p + 9, -4*m + 0*p - p + 13 = l. Solve -j + 9 = m*j for j.
3
Let j = -38 - -40. Suppose 5*n - 3 = -2*r + 22, 2 = -j*n. Solve 4*t = t + r for t.
5
Let u(a) = 2*a**2 - a - 16. Let s be u(-3). Suppose -j - 2 = -n, -j - 9 = -s*n + 5. Solve 3*m - n + 9 = 0 for m.
-2
Let q be 21 - 17 - (-1 + -1). Solve -u + 3*u - q = 0 for u.
3
Suppose 0*l = 2*x - 4*l - 18, -2*x - 9 = 5*l. Solve -3 = -x*z - 0 for z.
1
Suppose -y = y + 12. Let z = y - -9. Suppose 5*f - z*f = 6. Solve -1 - f = 2*m for m.
-2
Let t(w) = -w**3 - 29*w**2 - 57*w - 69. Let f be t(-27). Let m be 3/9 - (-1)/(-3). Solve m = -4*p + f for p.
3
Let n be ((-1)/3)/(3/(-54)). Suppose 0 = 2*h + 2 - n. Solve -6 = 4*b - h for b.
-1
Let m be (96/(-5))/4*-5. Suppose 1 = 5*b - m. Solve b*s + 7 = -3 for s.
-2
Suppose -16 = -2*a + 4*s, 3 = -a + 3*s + 15. Solve 5 = n - a for n.
5
Let w(i) = -i**3 - i**2 + 2*i - 2. Let s be w(1). Let h(f) = f**3 + 3*f**2 + f. Let l be h(s). Suppose -3 = 3*d, -l - 2 = -a - 4*d. Solve -2*v + 4*v = a for v.
4
Suppose -4*j - 3*n = -66, -15 = -4*n - 7. Solve 13 + j = -7*c for c.
-4
Let p = 280 - 275. Solve -p = 2*n + 5 for n.
-5
Suppose -84 = 5*d - 14. Let i(v) = v**3 + 15*v**2 + 12*v + 9. Let z be i(d). Suppose -z = -3*h + o, -2 = -5*h - o + 49. Solve 5*s = 4 + h for s.
3
Let v = -18 + 19. Let l(p) = -2*p + 1. Suppose 0 = -i - 0*i - 2. Let n be l(i). Solve v = -m + n for m.
4
Let x be 4 + 1*0/(-4). Suppose -4*w + 18 = 5*z, 5*w - 2 = x*w. Solve k - z = -k for k.
1
Suppose 0 = -3*i - 4*r - 4 - 4, 0 = i - 2*r + 6. Let l(o) = 0*o + 0*o**2 - 3*o - o**2 + 4. Let v be l(i). Solve v = -0*s + s - 4 for s.
4
Suppose -h + 60 = 2*h. Let s = -20 + h. Suppose -t + 5*t = s. Solve 0 = -t*x + x for x.
0
Let r = -13 - -16. Let s(m) = 2*m**2 + 8*m - 38. Let v be s(-7). Solve v = r*q + 1 for q.
1
Let n = 12 + -11. Let l be 2 + n + -4 - -8. Solve -o + l = 2 for o.
5
Let g be (-2)/((-8)/12) - 2. Suppose a - 1 = g. Suppose -a*h = -3*h + 5. Solve 0 = h*p + 15 for p.
-3
Suppose 3*v + 4 = -l + 2, 4*l - 3*v - 22 = 0. Let f be 2/l*(-2 + (2 - 0)). Solve 0 = -5*t - f*t - 20 for t.
-4
Let s be (36/48)/((-1)/(-4)). Solve -y - s*y = 16 for y.
-4
Let o be (-3)/(-6) + 9/(-2). Let b(q) = q**3 + 3*q**2 - 5*q - 2. Let r be b(o). Solve r + 6 = 4*g for g.
2
Suppose -5*i + o = -48, 4*i - o + 4*o - 27 = 0. Let h be (10/6 + -1)/(3/i). Solve z - 1 = h for z.
3
Let s(x) be the third derivative of x**5/60 + x**4/8 + x**3/2 + x**2. Let g = 18 + -21. Let b be s(g). Solve b = -3*y - 0*y for y.
-1
Let y = -1398 - -1398. Suppose -5*a = -z - 2*z + 45, 2*z - 3*a - 30 = 0. Solve x - 4*x - z = y for x.
-5
Suppose 0 = 3*i + 4*a - 174, a - 39 = -5*i + 234. Solve -51*g + i*g + 6 = 0 for g.
-2
Let a be (1 - 0)/((-15)/(-45)). Suppose -a*h = 3*w - 6*w - 36, 0 = -2*h - 4*w + 30. Solve -3*k - h = -1 for k.
-4
Let l be -3 + (-18)/6 + (1 - -2). Let s be ((-8)/(-28))/(l/(-42)). Solve s = -2*r + r for r.
-4
Let j be -4 + (-3*1 - 84/(-7)). Let l(f) be the first derivative of 5*f**3/3 - f**2/2 + 2*f - 1. Let k be l