for n.
-3
Let u be (-6)/(-9) + 2/(-3). Let i be ((-2)/2)/(1/(-6)). Suppose 0*f = -2*f + i. Solve f*w - w = u for w.
0
Suppose -3*v - 4 = -1. Let m = v + 3. Solve -b = -m*b + 1 for b.
1
Let f(r) = 3*r**3 - r**2 - r. Let g be f(2). Let p be g*((-5)/(-2))/5. Solve 2*n = -n - p for n.
-3
Suppose 0 = -2*q + 5*q - 21. Suppose -17 = -4*c + q. Solve 4 = -2*o - c for o.
-5
Let n(i) = -i**3 - 5*i**2. Suppose 0 = 3*y + 15. Let c be n(y). Suppose 12 = 4*b - c*b. Solve -4*p = -b - 1 for p.
1
Let j be 3*4/(-12)*-8. Solve 2*o = -j - 2 for o.
-5
Suppose 5*t + p = -19 - 8, 2*p = -4. Let g = -5 - t. Let j be 2 - (-4 - (-2 - g)). Solve 9 = j*c - c for c.
3
Let w(q) be the first derivative of q**5/120 + 7*q**4/24 - q**3/3 + 2. Let g(s) be the third derivative of w(s). Let n be g(-4). Solve n = -0*k + 3*k for k.
1
Let h = 10 - 3. Let q = 8 - h. Solve -2*o - 9 + q = 0 for o.
-4
Let a(k) = -k**2 + 3*k + 13. Let d be a(5). Solve -s = -4*s - d for s.
-1
Let y(j) = -2*j**2 - 13*j - 5. Let h(n) = n**2 + 7*n + 2. Let k(r) = -9*h(r) - 4*y(r). Let i be k(-9). Let z be i/16 + 1/(-4). Solve 2*u = -z - 3 for u.
-2
Let r(i) = i**2 - 2. Let p be r(-2). Let f be (-1)/(-3) - p/6. Solve f = -z - z for z.
0
Let d be 35/11 - (-6)/(-33). Solve 0 = -y - 2*y + d for y.
1
Suppose -19 = -4*k - c - 6, k - 3*c + 13 = 0. Solve -4 = k*s - 10 for s.
3
Let s be (-6)/(-4)*24/1. Suppose -s = -2*c - 2*c. Solve -c = v - 4*v for v.
3
Let m be 2/(-6) - (-57)/9. Let z(q) be the second derivative of -q**5/20 - q**4/4 + q**3/3 - 2*q**2 + 2*q. Let u be z(-4). Solve m + 14 = -u*l for l.
-5
Let z = 1 + 0. Let w(l) = -2*l**2 + 12*l + 6. Let u be w(6). Solve -u + z = -o for o.
5
Suppose -19 + 6 = -d. Let x = d - 8. Solve q = x*q for q.
0
Let c be (-1)/(1 - (-9)/(-6)). Suppose f - 22 = -s - 3, c*s - 44 = -4*f. Solve l = -3*l + s for l.
4
Let i(p) be the first derivative of -p**2/2 + 13*p + 6. Let b be i(12). Solve 24 = -5*d - b for d.
-5
Suppose -3*t = -b - t + 10, -40 = -4*b - 3*t. Solve 0 = 4*n + n - b for n.
2
Let y(i) = -i**3 + 7*i**2 - 7*i + 9. Let k be y(6). Let j = k + 0. Solve j*u - 3 - 3 = 0 for u.
2
Let w = -93 - -97. Solve 0 = 2*k - w*k for k.
0
Suppose 6*r - 23 = 2*r - 3*p, 4*r - 5*p + 17 = 0. Solve 4*m - r*m - 8 = 0 for m.
4
Let q = -14 + 14. Solve q = -2*i + 5*i for i.
0
Let b(j) = -3*j - 2. Let z be b(-1). Solve 4*r - 7 - z = 0 for r.
2
Suppose -9*y + 3*y = 0. Solve -w - 1 = -y for w.
-1
Let v(o) = -o**3 - 2*o**2 + 3*o - 5. Let f be v(-4). Let m(c) = c**2 - c. Let n be m(2). Let l(j) = 2*j**2 - 4*j + 3. Let t be l(n). Solve t = -4*y + f for y.
3
Suppose 28 - 8 = 4*m. Solve 0 = m*g + 15 - 40 for g.
5
Let q(j) be the first derivative of 11*j**3/3 - j**2/2 - 1. Let b be q(1). Solve -b + 0 = 2*r for r.
-5
Let i = 5 + -2. Suppose 0 = 3*n - 2*w + 1 + 7, -3*w - 9 = -n. Let s be (n/(-15) - 0)*30. Solve i*b + s = -b for b.
-3
Let u(o) be the first derivative of -o**3/6 - o**2 + 2*o - 3. Let s(b) be the first derivative of u(b). Let f be s(-5). Solve f*z + 3 = -9 for z.
-4
Let o be 4/(-14) + 32/14. Let j be 15/(-25) - 36/(-10). Suppose -5*d = 3*f - 48, -5*d + 44 = f + j*f. Solve 0 = o*c + 2*c - d for c.
3
Let y(z) = 2*z - 60. Let l be y(30). Let x = 5 + -2. Solve n - x = -l for n.
3
Let a(f) = -f**2 - 9*f. Let i be a(-6). Solve 3*h = -i + 3 for h.
-5
Let h be ((-6)/(-4))/((-12)/(-56)). Solve -2*p = -h*p for p.
0
Let l(c) be the first derivative of 2*c**3/3 + 9*c**2/2 + 2*c - 6. Let d be l(-6). Suppose 0 = -0*a + 2*a - 8. Solve -u = a*u + d for u.
-4
Let l(v) = -18*v. Let p be l(1). Let g be 4/p + 112/18. Let s be 4*1/4*2. Solve -2*t - s = -g for t.
2
Let k be (-9)/(-15) - (-16)/(-10). Let t = k + 4. Solve -f - t*f + 4 = 0 for f.
1
Suppose 0 = -o - 15 + 18. Solve -o*n = -6*n - 3 for n.
-1
Suppose l = 2*l. Let j(k) = -k + 6. Let u be j(6). Let c be 0/(-1) + u - -2. Solve -i - c*i = l for i.
0
Let w = -4 + 8. Let k(c) = c**2 - 2*c - 2. Suppose 2*m + 3 = -1. Let b be k(m). Solve -h + b = -w*h for h.
-2
Let s be -2*3/6 - -2. Let h(g) = -g**2 + 5*g - 4. Let b be h(3). Solve j = b + s for j.
3
Let y = 40 + -37. Solve -y*u + 2 = -5*u for u.
-1
Suppose -2 + 7 = 5*q. Let o = 51 - 46. Solve -o*b + q = -4*b for b.
1
Let z be (1/3)/((-2)/(-18)). Solve k = -0*k + z for k.
3
Suppose -2*q - 3*w - 4 = 0, w - 20 = -2*q + 4*w. Suppose 3*l = 4*t - q, 0 = l - 3*l - 4*t + 24. Solve 3*u + l = 1 for u.
-1
Suppose 10 = 3*a - 2*a. Suppose 1 = 4*s + 3*u, -u = -3*s + 4*u + 37. Suppose 2*f + 12 = -4*h, 4*f + 0*f + h = s. Solve -4*g - a = -f*g for g.
-5
Suppose 0 = -5*z + 8 + 17. Solve z*i - 4 = 6 for i.
2
Suppose -3*j + 23 = 8, m + 27 = 3*j. Let z = -8 - m. Solve -z*c + 10 = 2 for c.
2
Let d be (1 + 2)*8/12. Let c = d - 2. Suppose -17 = -o + 4*o + 5*m, 3*o = m + 7. Solve -3*s + o + 2 = c for s.
1
Suppose 0 = -2*w - 2*w + a - 28, 3*a + 36 = -3*w. Let p = -4 - w. Solve -4 + 0 = -p*s for s.
1
Let i = 9 - 15. Let r be 0*(2 + i/4). Let q be (0 + r - -6)/1. Solve -f = f + q for f.
-3
Let v be -1 + (4 - 5) - (-4 + -1). Solve -v*z - 4 = -2*z for z.
-4
Let v(q) be the third derivative of -q**5/60 - q**4/6 + 5*q**3/6 - q**2. Let s be v(-5). Let w(j) = j**2 + 3. Let h be w(s). Solve 2*i = h*i + 2 for i.
-2
Suppose 0 = -2*w + 4*y + 12, -w - w + 10 = -3*y. Solve j + w*j = 3 for j.
1
Let v(m) = -m**3 + 2*m**2 + 5*m - 4. Let w be v(3). Let f = -6 - -12. Solve -f = -4*d + w*d for d.
3
Let a = -8 - -10. Solve 2*i + a = 4 for i.
1
Let p(r) = -r**3 - 9*r**2 - 17*r - 10. Let s be p(-7). Let k = 10 + -5. Solve -k*c = s + 14 for c.
-5
Let l(q) = 20*q - 2. Let m be l(2). Suppose -26 = -3*g + 2*g. Suppose 4*y - g = m. Solve -2*s + y = 2*s for s.
4
Suppose -6*q + q = -10. Solve 0 = -q*b - b + 12 for b.
4
Let u(r) = -r - 4. Let c be u(-8). Suppose c = -4*s, 2 = -2*d + s + 9. Solve 0 = -d*p + 5*p + 8 for p.
-4
Let v = -26 + 27. Solve v = -z - 1 for z.
-2
Suppose -3*v = -5*v + 12. Solve 4*d - d = v for d.
2
Let y = -89 + 221. Suppose 84 = -4*k - y. Let b be k/12*4/(-3). Solve -5*v + b - 1 = 0 for v.
1
Let b(z) = 2*z**2 - 10*z - 7. Let n be b(6). Solve 0 = -3*p + n + 4 for p.
3
Suppose 0 = -4*v + 10 + 22. Solve 2*p = 4*p + v for p.
-4
Suppose 2*t - 25 = -3*t. Suppose 2*g + 5 = -o + 3, t*g + 3*o + 3 = 0. Let z be (-1)/(-3) + g/9. Solve -2*n = -z*n + 10 for n.
-5
Let l = -10 - -10. Solve -3*p + 4 + 11 = l for p.
5
Let i = 62 + -7. Suppose 0 = 2*t + 2*b - 6, -4*t + b - 18 = -i. Solve 2*y + 2 = -t for y.
-5
Suppose v - w - 1 = 2, 5*v + 2*w = 15. Solve 2*j = -v*j for j.
0
Let s(q) = 0*q**2 - 2*q**2 + 3*q**2 - q. Let t be s(4). Solve -4*d + t = -7*d for d.
-4
Let i be 1*24*2/(-4). Let u = i + 6. Let f(g) = g**2 + 4*g - 2. Let t be f(u). Solve a + a = t for a.
5
Let q be 6/(-1 - 5/(-2)). Let c be (2/q)/(1/4). Solve 0 = -c*j + j + 1 for j.
1
Let z = -4 - -8. Let x = z + 1. Solve 3*w = -17 + x for w.
-4
Suppose 3*o + 3 = 21. Let y be o - (-4)/((-6)/(-3)). Solve -3*h - h + y = 0 for h.
2
Let i = 6 - 3. Solve w = -i*w for w.
0
Let c = -11 - -17. Suppose -3*d - 2*f + 83 = -c*f, -2*d - 4*f = -22. Solve 4*p = -1 + d for p.
5
Let p = -4 - -34. Suppose 3*t - p = -0*t - 3*o, 2*t = -o + 25. Solve -2*d + t = d for d.
5
Suppose 30*k - 33*k = 0. Solve k*p = p - 3 for p.
3
Let f(p) = -p**3 - 3*p**2 + 2*p + 2. Let n be f(-6). Let x be (-4)/(-8) + n/4. Suppose 4*t + t = x. Solve t*s + 14 = -11 for s.
-5
Let c(x) = -x**3 - x + 1. Let i(l) = -l**3 - 7*l**2 - 2*l + 10. Let r(b) = -2*c(b) + i(b). Let d be r(7). Let v be (d/10)/(2/5). Solve v*f = f for f.
0
Let z = 5 + -1. Let t = 1 + 9. Let a = t + 0. Solve 3*v + a - z = 0 for v.
-2
Let h(q) = 3*q - 1. Let v(b) = -b. Let i(n) = -2*h(n) - 5*v(n). Let x be i(-7). Let p = -6 + x. Solve k = p*k - 2 for k.
1
Let i be (-2)/4*(3 - 31). Suppose i = 4*f + l, 1 + 6 = 3*f - l. Solve -o - 1 + f = 0 for o.
2
Let s(f) = -f**2 - 7*f - 4. Suppose 3*w = w - 12. Let p be s(w). Solve -p*m = 3*m for m.
0
Let l be -8 - -9 - (-4 + 2). Suppose 5*d + 5 = 45. Solve -l*f = -f - d for f.
4
Suppose g + 5*l = 0, -2*g - 2*l = -3*l - 33. Suppose -6*i + i = -g. Solve -o + i = -2 for o.
5
Let h = -15 - -21. Let b(x) = -3*x + 2. Let s(z) = -z - 1. Let c(i) = -b(i) - 2*s(i). Let l be c(3). Solve h*n + l = 3*n for n.
-5
Let y(l) = 18*l**2. Let h be y(-1). Let t = -16 + h. Solve 0 = t*q - 4*q - 4 for q.
-2
Let k(w) = -w - 3 + 7 + 2. Let x be k(-8). Suppose 4*v - x + 6 