 = 3*n - s for n.
1
Suppose 3*k = -0 - 3. Let d be 8 + 4 + -3 + k. Solve 2*x + d = -2 for x.
-5
Suppose 5*y = -2*i + 5*i - 6, -5*i - 5*y = -10. Solve -14 = -4*a - i for a.
3
Let f = 14 + -24. Let k = -10 - f. Solve -2*p + k*p = 4 for p.
-2
Suppose -5*m + 4*h = 61, 3*h - 39 = -0*m + 3*m. Let v = -7 - m. Solve 0 = -v*n - 2*n for n.
0
Let j(p) = p**3 - 5*p**2 + 7*p - 9. Let z be j(4). Solve z - 1 = b for b.
2
Suppose -2*j + 5*j - 3*f - 33 = 0, -26 = -2*j - 2*f. Solve 7*l - j = 4*l for l.
4
Let k = 3 + 0. Solve k = 2*o + 9 for o.
-3
Let o(m) = m**2 + 5*m + 4. Let t be o(-4). Suppose -5*c + c + 4 = t, -p + 5*c = 1. Solve 0 = -w + p*w for w.
0
Let c(v) = -v**3 + 3*v**2 + 4*v + 2. Let x be c(4). Let b(p) = 4*p - p**3 - 1 + 3*p**2 + 1 + x. Let k be b(4). Solve k - 7 = -m for m.
5
Let n = 5 + -1. Let a be (-3)/((-26)/(-65) - 53/95). Solve -n*w = -a - 1 for w.
5
Let d be (-1)/(-2)*(-84)/(-7). Solve d = 3*p - 0*p for p.
2
Suppose k - 32 = -5*u + u, -5*u - 4*k = -40. Suppose u = -4*t - 0. Let b be 2 - ((-1)/1 - t). Solve b - 11 = -2*s for s.
5
Suppose -2*l - 7 = -k, -3*l + k - 5 = 5. Let v be (1 - (l - 1)) + -2. Solve -v*y = -y for y.
0
Suppose 0 = -2*b - y + 5, 4*b - 5*y - 3 = -0*y. Suppose x + 3*c = 4, -b*x + 4*x - 44 = 3*c. Solve -5*o - x = -o for o.
-4
Let w be (-1 - (-29)/(-3))*(-6)/4. Solve -c + w = 3*c for c.
4
Let v = 16 + -12. Let x(k) = k - 4. Let a be x(v). Solve a = -2*j - 0*j for j.
0
Suppose -16*l + 56 = -12*l. Solve -2 + l = -3*p for p.
-4
Suppose 3*i - 21 = -4*i. Let o be 4/(-10) + 24/10. Suppose -o*d = i*d. Solve -k + d - 4 = 0 for k.
-4
Let u = 0 + 4. Suppose 5 - 1 = -h - 3*w, u*w + 2 = -3*h. Let b = 3 - 1. Solve -b = -h*i - 4 for i.
-1
Suppose -4*p + 10 = -2*p. Solve 0 = 3*w - 10 - p for w.
5
Let l(m) = m - 4. Let g be l(9). Suppose -h - 2*d + 6 = -7, 2*h = -2*d + 16. Suppose -7 = -h*u + 5. Solve k + g = -u*k for k.
-1
Let y(c) = c**3 + 8*c**2 - 6*c + 31. Let h be y(-9). Solve -2*n + h*n = -6 for n.
-3
Let m(n) = n + 3. Let c be m(-3). Let r(d) = d + 8. Let x be r(c). Let a(t) = -t**2 + 9*t - 3. Let s be a(x). Solve s = v + 1 for v.
4
Suppose 3*a - 10 = m, 3*m - 27 = -5*a + 13. Solve -4 - 1 = a*p for p.
-1
Let i(h) = -h - 6. Let b(k) = -3*k - 17. Let t = 12 - 6. Let u(d) = t*b(d) - 17*i(d). Let z be u(0). Solve z = 3*v + 2 + 1 for v.
-1
Let z be (-3 + 2)/((-1)/17). Suppose 2*p = 5*b + 6*p - z, b - 3*p = -8. Solve 4*u + 5 - b = 0 for u.
-1
Let d be (-9)/(-12) + 26/8. Suppose d*t - 3 = 13. Solve -t*m + 3*m - 3 = 0 for m.
-3
Let o = 0 - -2. Suppose 12 = -4*r - 4*d, -4*r + 2*d = -5*r - 6. Suppose -2*a + 2*v = 0, 0 = a - r*v - 2*v + 1. Solve 0 = -o*f - a + 5 for f.
2
Let k(u) = 2*u**2 - 2*u - 2. Let v be k(4). Let c = -13 + v. Solve -6*y = -3*y - c for y.
3
Let c be (-1)/((-2)/(-8))*-1. Solve 2 + 10 = -c*v for v.
-3
Let l = 12 - 10. Suppose -4*a = -3*d + 12, 0*d = -l*d + 5*a + 1. Let h = 0 - -2. Solve h*z - d = 4*z for z.
-4
Let c(a) = a**3 - 15*a**2 - 17*a + 19. Let o be c(16). Solve o*n - 6 = -3 for n.
1
Suppose -2*p + 2 = -4. Let g be 2/(-6) - p/(-9). Let c(r) = 3*r**2 - 2*r. Let q be c(2). Solve 5*j - 33 + q = g for j.
5
Let d(l) = l + 3. Let k be d(9). Suppose k = 2*f + f. Solve -3 = -5*y + f*y for y.
3
Suppose q - 4 = -q. Suppose 2*i + l - 2*l - q = 0, -4*i = -l - 4. Solve 0 = h - i for h.
1
Let i(q) = 2*q**2 - 5*q + 4. Let v be i(3). Let f = -1 + v. Solve 0*k = 3*k + f for k.
-2
Let k = 0 - 3. Let c(r) = -r - 3. Let b be c(k). Suppose 0 = -b*d + 5*d - 75. Solve 2*a = -a + d for a.
5
Let c(o) = 3*o**2 - 10 + 2 - 3*o**2 + o**2 + 9*o. Let v be c(-10). Let t = 7 - 3. Solve 0*w + t = -v*w for w.
-2
Let c(k) = 5*k + 5. Let w be c(4). Suppose -7*t + 2*t + w = 0. Solve t*g = -8 - 12 for g.
-4
Let a(o) = 2*o**2 - o - 1. Let m be a(2). Suppose 3*h + 2*d - 24 = 0, -26 + 66 = 5*h - m*d. Solve 3*g + h + 1 = 0 for g.
-3
Suppose -4*z = v + 1, v + 4 = -3*v. Solve z = 5*n - 2*n - 15 for n.
5
Let g be 3/2*(-2 + 4). Suppose g*t + 0*t = 165. Suppose -5*n - t = -5*l, 21 = -3*n + 6. Solve -2*j = -l*j for j.
0
Suppose 2*m = 5*l + 5, -3*m - l = 2*m - 53. Solve -m - 10 = -5*d for d.
4
Suppose -4*a + 4 = -h, 5*h = -2*a - 0*a + 24. Solve a*k = -k - 12 for k.
-4
Let b(r) = r**2 - 2*r - 3. Let z be b(-3). Suppose z = 5*q - q. Suppose -q = -2*d + 7. Solve 0*l = d*l + 5 for l.
-1
Let u = -22 - -26. Solve -2*b = -u*b - 4 for b.
-2
Let o(n) = -n**3 - 2*n**2 - n**3 - n**2. Let r be o(-2). Let k(a) = a**2 + 5*a - 3. Let f be k(-6). Solve -r*x + f = -1 for x.
1
Suppose -3*i + 40 = 2*i. Let k be (-4 - 0)*(-14)/i. Suppose 3*h - k = 2. Solve 0*z = h*z - 9 for z.
3
Suppose 2*v - 2 = 0, 5*g - 1 = -v + 5. Solve 0 = -4*n + 17 - g for n.
4
Suppose 0 = 5*b - 3*r - 2*r + 30, 2 = 3*b + 2*r. Let k be 2 + -3 - (5 + b). Let s = 2 - k. Solve 0 = -s*u + u - 15 for u.
-3
Suppose 5*l = 5*u + 50, 0 = -2*l + 2*u - 3*u + 8. Solve b + l = -b for b.
-3
Let v be (-3)/(18/(-4))*6. Suppose 4*s = -4*j + 12 + 4, 2*j + 5*s = 20. Solve j*a + 12 = -v*a for a.
-3
Let z be 2/(-4)*(-9 - -3). Solve 0 = -3*l + 6 + z for l.
3
Let r be 0 + 7 - 2 - -3. Suppose 2*s - r = 2*a, -3*a + 2*a = 3*s - 16. Let n = -5 + 7. Solve -h - s = -n for h.
-3
Let j be 56/6 - (-1)/(-3). Suppose 3*c - v = 2*c, -j = -3*v. Let q = c + 0. Solve 2*k - 3 = q for k.
3
Let h be 1 - (6 + -4) - -4. Solve -h = -2*y - 1 for y.
1
Suppose 9*n = 13*n - 20. Solve -n = 3*o + 7 for o.
-4
Suppose 0 = -f + 2*l + 3, 2*f + 5*l + 18 = 3*l. Let h be (7 + -4)*f/(-3). Solve c - h = -0*c for c.
5
Let w = 55 + -50. Solve -w*t = -3*t for t.
0
Suppose -r = 5*k - 17, -r - 3*k - k = -16. Let p = -6 + r. Solve -5*x - p = -3*x for x.
-3
Suppose -2*n - 4*t = -28, 0 = 5*n - 0*n - 4*t. Solve 0 = h + n - 2 for h.
-2
Suppose -5 = 11*w - 60. Solve 0 = 7*a - w*a - 8 for a.
4
Let t be 0/(6/3 + -1). Solve t = -q + 3 for q.
3
Let d = 14 + -11. Solve d*f + 0*f + 6 = 0 for f.
-2
Let h = -9 - -15. Let g(t) = -t**3 + 6*t**2 + t - 1. Let m be g(h). Solve -m*j = -0*j + 25 for j.
-5
Suppose m = -5*f + 22, 0 = m + f - 7 - 7. Suppose 4*k = -5*u - m, -4*k = -5*u - 0*u - 28. Solve -k*j = j + 12 for j.
-4
Let s = -126 - -130. Solve w = 3*w - s for w.
2
Suppose -4*g + g - 5*o = -82, 124 = 4*g + 3*o. Let u be g/8 - (-5)/(-20). Suppose -5 = -4*a + 11. Solve -a*y + 20 = u for y.
4
Suppose 2*l - 3*l + 3 = 0, 3*b = 3*l + 36. Solve -2*f + b = -7*f for f.
-3
Let c = -8 + 14. Let q = -1 + c. Solve -5*p - q + 25 = 0 for p.
4
Let f(w) be the first derivative of 0*w + 1/4*w**4 + 2 + 5/2*w**2 - 2*w**3. Let a be f(5). Solve a = -5*b + 2 + 23 for b.
5
Let n(f) be the second derivative of f**4/6 - 5*f**3/3 + 3*f**2 - f. Let c be n(6). Suppose 2*a = 5*t - 23, -4*t = -3*a + a - c. Solve 6 = s + a for s.
5
Suppose 5*n - 64 = -3*f + 7*f, -5*n - 48 = 3*f. Let x = 26 + f. Solve -5*h = 35 - x for h.
-5
Suppose -5*q + 81 = -3*k + 33, 3*k - 6 = -q. Let v = q + -7. Suppose -2*x - v*x - 4*p + 8 = 0, 4*x + 3*p - 6 = 0. Solve x = g - 3*g for g.
0
Let b(o) = -3*o. Suppose 4*g - 2*y = -14, -4*g + 9*g + 4*y = 15. Let v be b(g). Let f = v - -3. Solve 0 = -f*h + 3*h for h.
0
Let o(c) = c**2 - 2*c + 3. Let z be o(2). Let g = 9 + -10. Let a = g + 2. Solve -z - a = h for h.
-4
Let s(n) = -5*n - 5. Let t be s(-2). Suppose -z + t = -0*z. Solve 20 = -z*g + g for g.
-5
Let r be 88/72 + (-2 - (-16)/9). Solve 2*x = r + 1 for x.
1
Let q(j) = -j**3 - 15*j**2 - j - 15. Let d be q(-15). Solve d*r = -4*r for r.
0
Let t(q) = -69*q + 3. Let d be t(3). Let z be d/(-20) - 3/15. Solve 3*o + 2*o = z for o.
2
Let c = 7 - 3. Suppose -2*g + c*n = -14, 5*g = -0*g - n + 46. Solve -3*x = -6*x - g for x.
-3
Suppose -3*u = -u - 6. Suppose 5*g - 10*g + 10 = 0. Solve 2*x = u*x - g for x.
2
Suppose -4*i = -7*i. Let v = i + 2. Let c be (4/(-10))/(v/(-20)). Solve 0 = d + c + 1 for d.
-5
Let o(m) = -2*m**2 + 3*m - 1. Let p be (-1)/((-1 - 2)/3). Let z be o(p). Solve -w + 4 = -z for w.
4
Suppose -3*a - 5 = a + 3*x, 0 = -a + 4*x - 6. Let g = a + 7. Solve -19 = g*i + 1 for i.
-4
Let n(o) = -2*o - 2. Let b be n(-3). Let f be (5 - 3) + (1 - -9). Solve b*c + 0*c = f for c.
3
Suppose 15 = -2*v - 5. Let s be (4 + -2)/((-4)/v). Let x be (4 - (-104)/(-28))*14. Solve 3*f + s = -x for f.
-3
Suppose 0 = -l + 5*x - 17, -4*l - 5*x + 5 = -2. Let i = l + -2. Let v be (-16)/(-10)*(-10)/i. Solve 3*q - v*q = 1 for q.
-1
Suppose 29 + 67 = 2*m. Let l be m/27 + 4/18. 