Let d be w(n). Solve -y = -3*y + d for y.
3
Let i be (-2 - -1)/(1/4). Let j(v) = -3*v + 8. Let t be j(i). Solve -5*m = -0*m + t for m.
-4
Let f(r) = -r**2 - 5*r - 3. Let g be f(-3). Suppose -3*i - g = -21. Let z = i + 0. Solve 0*t = 3*t - z for t.
2
Suppose -3*t + 5*o + 3 = -4*t, 3*t - 4*o = -9. Let u(m) = 4*m + 4*m + 1 - m**2 - 4 - 12*m. Let n be u(t). Solve -3*x - 4 + 1 = n for x.
-1
Let w = -13 + 21. Solve 0 = 3*x - 7*x - w for x.
-2
Let x be 150/42 + (-3)/(-7). Solve -18 + 2 = -x*t for t.
4
Let u(k) = 3*k - 1. Let l be u(4). Suppose 0 = 14*b - l*b - 21. Solve b = 2*m - 1 for m.
4
Let u = 7 + -3. Suppose u*z - 9 = 15. Solve 3*w = -z - 6 for w.
-4
Suppose -8*v - 7 = -31. Solve -v + 7 = 4*d for d.
1
Suppose 0 = -m + 7 - 2. Suppose n = -2 + m. Suppose 0 = -2*u + n + 5. Solve -u*v = 2 + 6 for v.
-2
Let v be ((3 - 6) + 4)*0. Suppose 4*k - 9*k + 15 = v. Suppose -5*u = k*s - 25, 4*u + 5*s = 3*s + 18. Solve 3*q + u*q - 25 = 0 for q.
5
Let i be (2/5)/(1/10). Let h be i/6 + 14/6. Solve -h*p = p for p.
0
Suppose 0*h - 9 = -h. Let v = h + -6. Solve -v*m - 3 = -6*m for m.
1
Suppose 0 = -3*q - 7 + 22. Solve 0 = -3*w + 4*w - q for w.
5
Let j(s) = 29*s**2 - 12*s**2 - 13 - s**3 + 3*s - 11*s**2. Let f be j(6). Solve f*i - 8 - 7 = 0 for i.
3
Suppose -2*m + 14 = -5*u, -2*u + 4 = -m - 5*u. Solve -2 = -0*n + m*n for n.
-1
Suppose -5*w = -0 + 20. Let s be (-12)/(-54) + w/18. Solve s = 4*k - 2*k for k.
0
Let h = -23 + 28. Solve 15 = 4*i - h for i.
5
Suppose 0 = -4*y + 3*y + 3. Suppose y*w = 4*m + m - 24, 0 = -4*w - 12. Solve 0 = d - 0 - m for d.
3
Let c(t) = -2*t + 5 - t + 3*t - 6*t - t**2. Let k be c(-6). Solve 0 = -h - k for h.
-5
Let p = 1 - -15. Let z = 18 - p. Solve -5*a + z*a + 9 = 0 for a.
3
Let m(r) = r**2 + 7*r + 10. Let n be m(-6). Solve 0*x - x - n = 0 for x.
-4
Let n = 13 - 21. Let s(l) = -l**2 - 8*l + 3. Let r be s(n). Solve 0 = -r*o + 6*o for o.
0
Let x = 26 + -21. Suppose -x = -w - 2. Solve -w*m + 5 = -1 for m.
2
Let l(g) = -g**2 + 17*g - 16. Let y be l(16). Solve y = -0*x - 2*x for x.
0
Let g = 0 + 1. Let h(n) = 2*n. Let b be h(g). Let w = -3 - -8. Solve -w = 3*z - b*z for z.
-5
Let o be (2 + -3 - -5) + -2. Suppose 3 = o*u - u. Suppose 23 = 3*y - 2*h, 4*y = 5*y + 2*h + u. Solve -y*i + 12 = -2*i for i.
4
Let p(u) = u**2 + 3*u + 3. Let s be p(-3). Suppose 27 + 36 = 9*g. Solve s = 2*f - g for f.
5
Let g(m) = 5*m**2 + 4*m + 7. Let q(h) = 2*h**2 + 2*h + 3. Let z(r) = -3*g(r) + 7*q(r). Let v be z(1). Let w = 9 + -6. Solve -y = w - v for y.
-2
Let u(x) = 3*x - 3. Let j be u(2). Solve -4*c = -23 + j for c.
5
Let j be 4/10 - (-2)/(-5). Suppose 27 + j = 3*v. Suppose 5*m = 2*m + v. Solve -n = m*n + 8 for n.
-2
Let n be (-2)/4*(1 - 1). Solve n*j - 5*j = -10 for j.
2
Suppose -9*x + 12 = -5*x, -4*d - 1 = -3*x. Solve d*w = -1 - 1 for w.
-1
Let w = -7 + 12. Suppose -w*d - 8 = 4*m - 2*m, 5*m = -3*d - 20. Let y = 0 + d. Solve y = -0*z + z for z.
0
Let t(s) = s**3 + s**2 - s. Let o be t(1). Let m be (-2 + 14)/(-2)*(-26)/39. Solve m*u + 21 = o for u.
-5
Let t = -3 - -6. Suppose -5*w + t*w = -14. Solve w*p = 3*p + 4 for p.
1
Let o(a) = -a**2 - 2*a - 1. Let j be o(-1). Solve -3*i + 0*i + 15 = j for i.
5
Suppose 5*c - 20 = 3*f, -4*f + 8 = -c + 3*c. Let g be 40/(-2)*c/(-10). Let p = 5 + -2. Solve j = -p*j - g for j.
-2
Let i be (2 + -3 - 1) + 3. Suppose 4*q - s - 2 = i, 5*q - 2*s = 0. Solve 0*f = q*f + 2 for f.
-1
Suppose -5*l + 3*y = 2*y - 8, -3*l = y - 8. Solve 5*i + 9 = l*i for i.
-3
Suppose -5*x + 1 = d - 7, 4*d = 3*x + 9. Solve 0 = -3*b - x + 13 for b.
4
Let w be 14/70 + 19/5. Solve 0 = w*a - 6 + 2 for a.
1
Suppose -4*o + 2*o + 5*u + 4 = 0, 0 = -3*o - 4*u + 6. Let m(f) = -f - 2. Let p be m(-2). Solve o*a - 7*a + 5 = p for a.
1
Suppose 0 = 2*h + 5*b + 12, -h = -2*h - 5*b - 16. Suppose -i = h*i. Let x be -1 + i/3 - -1. Solve j + x = 1 for j.
1
Suppose -2*i + 23 = -i. Suppose 45 = 4*z - i. Let o be (z - -3) + (-2 - -2). Solve -5*w - o = -w for w.
-5
Let j(m) be the third derivative of m**4/12 - 2*m**3 + m**2. Let x be j(8). Solve -2*s - 10 = -x*s for s.
5
Let q = -13 - -19. Solve 4*u + q = -6 for u.
-3
Let m(s) = -s - 1. Let v be m(-1). Suppose u - 2*u = v. Let q be u + 1 + 5 + -3. Solve q*c + 0*c = -3 for c.
-1
Suppose 0*a - 2*a = 0. Suppose 2*d - 3*t = 3*d + 4, -3*d + 2*t + 21 = a. Solve 4*y = -11 - d for y.
-4
Let m be -1 + 0/1 + 1. Let w = 3 + m. Solve 2 + w = -h for h.
-5
Let a = -51 + 54. Solve 4 - 7 = -a*k for k.
1
Let b = 49 + -29. Solve 8 = -3*o + b for o.
4
Let j(y) be the first derivative of -y**4/4 - 7*y**3/3 - 4*y**2 - 7*y - 3. Let p be j(-6). Let d be (-2)/(-10) - p/25. Solve -3 = -d*v - v for v.
3
Suppose -4*o + 9*o + 40 = 0. Let b be 2/o - 168/(-32). Solve 7 = b*i + 22 for i.
-3
Let o(c) = 2*c**2 - 2*c - 1. Let b be o(-1). Solve 0 = -4*j + b*j + 3 for j.
3
Let s(g) = 5*g + 8. Let t be s(-7). Let i = t - -28. Solve i = 2*n - n for n.
1
Suppose -4*a - 3*h + 24 = -0*h, -a + 2*h = -6. Suppose -2*f + 0*f = d - 8, -3*d = -a. Solve 0 = f*i + 1 + 2 for i.
-1
Let w = 3 + -6. Let j be w/18 + 61/6. Solve -3*t = 2*t + j for t.
-2
Suppose 0*u - 2*u + 10 = 0. Suppose -n + u = 3. Suppose 0 = -3*w + w + 8. Solve -4*z + n*z - w = 0 for z.
-2
Suppose 5*h + 9 = 44. Let p(b) = -b**2 + 8*b - 5. Let w be p(h). Solve -2*g - w + 0 = 0 for g.
-1
Let u(s) = 0*s**2 + s**2 + 3*s + s - 3*s. Let r be u(1). Solve r = -m + 3 for m.
1
Suppose -3*w + i = -13, 3*w - 4*i - 21 = 4. Let n(z) = -z**2 + 5*z + 6. Let j be n(5). Let k = 43 + -31. Solve j*v = w*v - k for v.
-4
Let y(u) = 2*u**2 - 3*u. Let l be y(2). Solve -3*g - 5 = -l for g.
-1
Suppose -63 = -4*c + 5*b, 2*b = -3*c + 3*b + 39. Suppose 2*n = -0*n + c. Solve -2*d = -n*d + 16 for d.
4
Let b = -61 + 73. Solve -4*y + 7*y = b for y.
4
Suppose -9 = -2*z + 31. Let w be 5/z + (-2)/8. Suppose 4*v + 0*v - 2*d - 38 = w, -4*v + 36 = -4*d. Solve -4*b + 9*b = -v for b.
-2
Let d be (7/(7/(-6)))/(-2). Let i be 2/d - (-21)/9. Let s(x) = -x**2 - 5*x. Let a be s(-3). Solve v = i*v + a for v.
-3
Let r(q) = q - 4. Let u be r(4). Solve u = -3*n - 7 + 1 for n.
-2
Let y(r) = r**3 - r**2 + 15. Let c be y(0). Let t = 23 - c. Let x = 2 - 2. Solve k + k - t = x for k.
4
Let v(x) = x**2 + x - 15. Let j be v(-5). Solve -j*n + 7 = -8 for n.
3
Suppose 3*b = v + 5, 5*v - 1 = -4*b + 50. Suppose 4*p + 6 = 2*x, -5*p - 2 - v = -3*x. Solve -x*a = -a + 6 for a.
-3
Suppose 4*m + 9 = 29. Solve 28 - 3 = -m*y for y.
-5
Suppose -5*x + 3*j = -0*j - 28, 4*j = 3*x - 8. Solve 5*m = -x - 2 for m.
-2
Let k(p) = 8*p**2 + 7*p - 1. Let q(s) = -9*s**2 - 8*s + 1. Let r(i) = 6*k(i) + 5*q(i). Let n be r(1). Solve 0 = -4*l + n for l.
1
Let t = 5 - 11. Let w(g) = -g**2 - 7*g - 2. Let z be w(t). Let u be (-50)/(-8) + (-1)/z. Solve 0 = 5*p + 4 + u for p.
-2
Let x(u) = -u - 3. Let d be x(-3). Solve 15 = -3*r - d*r for r.
-5
Suppose 3*u + 0*f - 18 = f, 0 = -2*u + 5*f + 25. Let k(v) = -v + 3. Let n(z) = -z**3 - 7*z**2 - 6*z. Let l be n(-6). Let s be k(l). Solve -u*m + s = -7 for m.
2
Suppose x + 3*d - 13 = 5*d, -5*d + 6 = x. Solve 1 = 2*a + x for a.
-5
Let b = 20 - 3. Suppose 0 = 5*z - 4*z + i - 8, 0 = -4*z - i + b. Solve -15 + z = -4*q for q.
3
Let c = -27 - -30. Solve -y - c = 1 for y.
-4
Let l be (-1 - 2)/((-2)/6). Suppose -10*a = -l*a - 3. Solve -3 = 3*j + a for j.
-2
Suppose -q = -12*q + 33. Solve 2*a - 1 = q for a.
2
Suppose 0 = -4*n + 3*o + 8, -5*n + 4*o + 10 = 2*o. Let f(l) = l + 1. Let a be f(-3). Let i be n*a/(-8)*6. Solve 0 = i*j + 2*j - 5 for j.
1
Let s be (-1*7)/((-2)/10). Suppose 0 = -4*a + s - 3. Let z be 6/9*(a - 2). Solve z = -3*x + 4*x for x.
4
Let s be (32/(-48))/(4/(-6)). Solve -s + 6 = u for u.
5
Let u be (0 - 2)*(-6 + 4). Let v = -20 - -31. Solve -u*r - v = 5 for r.
-4
Suppose 15*k - 16*k + 2 = 0. Let d(i) = i**2 - 9*i - 6. Let f be d(10). Solve -f = -2*b - k for b.
1
Suppose z = 4*x - 3*x - 2, z - 4 = -5*x. Let t be z + 0 - (3 + -12). Solve 0 = -0*j + 4*j - t for j.
2
Suppose -4*q + 1 = -3. Let y be 0/(-2*q/(-2)). Solve -4*c + c = y for c.
0
Suppose 4*z = z - 36. Let f = 21 + z. Suppose 4*g = -5*t - f - 16, g + t + 5 = 0. Solve -5*w - 18 - 7 = g for w.
-5
Let y(o) = 2*o + 48. Let x be y(-22). Solve 8 = -x*f - 8 for f.
-4
Let m = 34 - 34. Solve -l - l = m for l.
0
Let u = 0 - -2. Suppose -u*o + 3*w - 5*w + 14 = 0, -4*w + 13 = -o. Solve -o*b = -b - 4 for b.
2
Suppose 