 - i = -2*n for n.
3
Suppose -2*d = d + 12. Let q be (d/(-10))/(2/20). Solve -q*x + 15 = -7*x for x.
-5
Let t be -4 + 3 - (1 - 4). Suppose 9 = 5*l + 3*q, t*q = -5 + 1. Let v = l - 2. Solve 3*z - 13 + v = 0 for z.
4
Suppose 0 = 5*h + 20, -4*b = 3*h - 0 + 4. Solve -3*a - b*a = 0 for a.
0
Suppose -17 = 2*u - 0*u + a, u + 3*a + 21 = 0. Let m be u*(0 - (0 - -1)). Solve 0 = -2*i - i - m for i.
-2
Let k be -1 + (1 - -2) - 3. Let q be 1 - (1 + -1 + k). Let g = -6 - -16. Solve g = -0*o + q*o for o.
5
Suppose -4*p - 122 = -22. Let d be (-134)/(-10) - 15/p. Solve -2*s - d = -4 for s.
-5
Suppose -2*k = 3*n + 31, 2*n = -3*k + 5*k - 4. Let y = -2 - n. Solve -y*p + 7 = 2 for p.
1
Let x(y) be the first derivative of y**3/3 - y - 5. Let g be x(-2). Solve g = -2*k + 5 for k.
1
Suppose -5*c = -3*u - 5, 2*c + 5*u = c + 1. Solve -3*d - c = 2 for d.
-1
Suppose 18*s - 176 = -4*s. Solve c = s*c for c.
0
Suppose x - 2*x + 1 = 0. Let d = 144 - 128. Solve x - d = -5*h for h.
3
Let x be ((-3)/4)/((-4)/16). Suppose -x*h - h + 12 = 0. Solve 0 = 3*m + h + 3 for m.
-2
Let d(r) be the second derivative of -r**5/20 + 2*r**4/3 + r**2 + 3*r. Let b be d(8). Solve -b*q = -0*q for q.
0
Suppose -5*m + 0 = -3*w + 30, -3*m - 5*w = -16. Let u be (-8)/m - (-6)/(-9). Let c = -4 - -6. Solve -u*d - c*d - 20 = 0 for d.
-5
Let m = 28 + -23. Let v be 0/(-1)*5/m. Solve v = -3*s + 9 - 0 for s.
3
Let n = 6 - 4. Let u(w) = -w**2 - w**n + w**2 + w + 24. Let y be u(0). Solve 4*j = -y + 4 for j.
-5
Let o(j) = j**2 - 12*j - 25. Let w be o(14). Solve w*l + 2*l = 0 for l.
0
Suppose 5*x + 4*q - 23 + 2 = 0, 2*q + 2 = 0. Solve -x*o - 24 - 1 = 0 for o.
-5
Let l = 4 - 6. Let m = l + 7. Suppose -2*j - j = 3*k - 24, k = -m*j + 20. Solve j*p = 7*p - 20 for p.
5
Suppose 4 = 4*k - 4. Let q be (4/5)/(k/10). Solve q*h - 20 = -h for h.
4
Let m = 1 + 3. Let z be 2/(-8) - 516/(-16). Suppose 2*r - 6*k = -3*k + z, 0 = 4*k. Solve 0 = -m*s + r for s.
4
Let b be 6/18 + (-62)/6. Let k be (-34)/(-10) - b/(-25). Solve -2*s - k = s for s.
-1
Suppose -4*s = -2*q - 3*s, -3*q + 26 = 5*s. Solve q*a = -a + 9 for a.
3
Let t be -3 + (-4 + 3)*-3. Solve -h + t = -3 for h.
3
Let z(q) = -q**2 - 6*q + 7. Let j be z(-7). Solve 0 = 2*h - j*h for h.
0
Suppose 0 = 6*y - 8*y + 8. Suppose -b + 2 = -3*u - y, 2*b - 12 = 5*u. Solve 0 = 3*d - 5*d - b for d.
-3
Suppose -22 - 10 = -16*n. Suppose -5*u + 12 = -u. Solve t - u = -n*t for t.
1
Suppose -t + 23 = 21. Solve t*g = 3*g for g.
0
Suppose -31 = -0*v - v. Suppose 0 = 2*n + i - v, 0*n - 44 = -3*n + i. Solve -n = -b - 2*b for b.
5
Let h(z) = -2*z - 9. Let r be h(-7). Solve -r*s + 4 = -6 for s.
2
Suppose -6*u + 16*u - 30 = 0. Solve 6 = -0*a - u*a for a.
-2
Let i(y) = -y**2 - 8*y - 7. Let a be i(-5). Suppose 0 = -3*k + a*k - 10. Let c(p) = 6*p + 20. Let w be c(-3). Solve -w = -v + k for v.
4
Let i be 19/3 - 6/(-9). Suppose -g - g - 5 = -q, 2*q - g - i = 0. Solve -m + q*m + 2 = 0 for m.
-1
Let l = -5 - -14. Let s be 1 - 2/((-6)/l). Solve -s*w + 2 = 18 for w.
-4
Suppose -9*d + 4*d = -150. Suppose 0 = 3*o - 12, 4*t + t - d = -5*o. Solve 0 = -2*c - 10 + t for c.
-4
Let o be 12/16 - (-1)/4. Suppose d + 1 = -x - 0*d, 0 = -2*d + 8. Let a = o - x. Solve u + u = -a for u.
-3
Suppose 15 = 6*r - 21. Solve r*c - 2*c = 4 for c.
1
Let u = -2 - 15. Let z = 0 - u. Suppose h - 4*c = 4*h - 23, 0 = -3*h - c + z. Solve -3 = -h*t + 17 for t.
4
Let o(s) = -s - 16. Let f be o(-16). Solve f*l + 5*l = -20 for l.
-4
Suppose -2 = -j + 3*c - 5*c, 0 = 2*j - 4*c - 4. Let b be (-7 - -7)/(1 - j). Solve 4 + b = -v for v.
-4
Suppose -3*n - 24 - 4 = -4*g, 0 = 5*n + 5*g. Let i be 7 + 4 + 1 + n. Solve -i + 2 = -2*x for x.
3
Suppose 5*r + 3 = f - 2, 3 = -3*r - 4*f. Let c be (r/(-2))/(6/120). Suppose 17 - 2 = 5*y. Solve q = y*q - c for q.
5
Suppose 5 = v + 2, 4*v - 120 = -3*r. Suppose o - 18 = -2*o. Let g be 1/o - 6/r. Solve 2*y + 0*y - 8 = g for y.
4
Let o = 22 + -10. Let w = 1 + -2. Let d be w/(13/(-4) + 3). Solve d*m = m + o for m.
4
Let o = -24 - -44. Let p(d) = d - 3. Let s be p(5). Suppose a = 5*i - 13 - 4, -1 = -s*a + 3*i. Solve 3*c + o = a*c for c.
4
Let z(a) = -a**2 + 6*a + 4. Let h be z(7). Let y = -1 - h. Suppose -44 = -y*q + 2*d, 0*d = -3*d - 6. Solve 2*r + 3*r = -q for r.
-4
Let w be (4/25*-5)/((-2)/5). Solve c + w - 5 = 0 for c.
3
Let w = 82 - 76. Solve w*d + 5 = d for d.
-1
Let f be (-24)/180 + 152/15. Solve 4*o + o + f = 0 for o.
-2
Let b be -2*((-20)/6 - -3)*3. Suppose -2*m - m = 2*s - 1, 0 = s + 2*m. Suppose -2*x - h = 1, s*x + 4 = -4*h - 12. Solve b*w - 6 = x for w.
4
Let n be (10/15)/(4/54). Solve n = 6*j - 3*j for j.
3
Let m = 29 - 29. Solve -i + 1 + 1 = m for i.
2
Suppose 4*m + 8 - 28 = 0. Solve -1 + 11 = m*l for l.
2
Let r = -5 - -12. Suppose 4*f + r = 3*l - 2, 0 = -5*l + f + 32. Solve 1 - l = 3*s for s.
-2
Let n(q) = q**3 - 6*q**2 + 7*q - 7. Let j(h) = 5*h**2 - 6*h + 6. Let d(m) = 7*j(m) + 6*n(m). Let w be d(1). Solve 3*y = w*y for y.
0
Let h = 8 - 4. Suppose 0 = h*w + 4*p + 8, 5 + 0 = 2*w - p. Solve s - 1 = w for s.
2
Let s = -1 - -26. Suppose -2*z - z = 0. Solve -2*h - 3*h - s = z for h.
-5
Suppose 6*o - 7 - 11 = 0. Solve -o*n + 3 = -4*n for n.
-3
Let z(p) = p**3 - 2*p**2 - p**2 - 2*p**3 + 1. Let v be z(-3). Let l(w) = 7*w**3 - 2*w + 1. Let c be l(v). Solve 0 = 5*i - 4 - c for i.
2
Let r(y) = y**3 + 2*y**2 - 4*y + 5. Let k be r(-4). Let o = -6 - k. Solve o*v - 2*v + 12 = 0 for v.
-4
Let y = 13 + -9. Solve x = 5*x + y for x.
-1
Suppose -g = -5*g + 88. Let r be (-4)/(-8) + 5/2. Suppose -t = 2*s - r - 2, 5*t - 25 = 4*s. Solve t*f + g - 2 = 0 for f.
-4
Suppose -2*n - 7 = -n. Let s = n + 4. Let u be (-8)/s + (-2)/3. Solve 0 = -u*o - 3 - 1 for o.
-2
Let p(f) = f + 9. Let b be p(-11). Let g be 0/(4*b/4). Solve n - 3*n - 10 = g for n.
-5
Let x be (1 - 1)/(-1 + -1). Let z(r) = -r + 2. Let q be z(0). Suppose -q*g + 20 = 2*o, g = 5*g + 2*o - 32. Solve 3*d + x = -g for d.
-2
Let i(m) = -5*m**3 - 7*m**2 + m + 11. Let r(a) = a**3 - 1. Let q(f) = -i(f) - 4*r(f). Suppose 1 - 8 = w. Let d be q(w). Solve 0 = 3*l - d - 6 for l.
2
Let t = 38 - 22. Let i = t - 16. Solve -2*b = -i*b - 10 for b.
5
Suppose 6*p = -10 + 40. Solve 0 - 25 = p*k for k.
-5
Suppose 0 = -5*m + 25, -4*d + 5 = m - 8. Solve -1 + 5 = d*h for h.
2
Let a(j) = j**3 - 3*j**2 - 4*j. Let o be a(4). Suppose o = d + 4*g + 8, 2*d + 3*d = -g + 17. Solve -d*m - 5 = -5*m for m.
5
Suppose 0 = 4*y - 3*v - 16, v - 8 = -v. Let u = y - 5. Solve 4*q - u*q = 10 for q.
5
Let i = 10 + 1. Solve 2*z - i = -1 for z.
5
Let c be 1/(1/(-5))*-1. Suppose c*y = -2*a + 35, 5*y - 8 = a + 12. Suppose 4*f + 5*r - 4*r = -3, 0 = 3*f - r - 3. Solve f = k - y*k - 16 for k.
-4
Suppose -3*s + 0*s = -15. Suppose -2*o + 3*g = -7*o + 125, -s*o - 2*g = -125. Solve 6*l + o = l for l.
-5
Suppose 12 = l + 2*l. Let s(o) = -2*o - 1. Let u be s(-2). Suppose 0 = -w + 4, -u*c = -c - 2*w - 10. Solve -l*x + c = 1 for x.
2
Let t be (-6)/33 + 13/11. Let u(c) = -c**3 + 8*c**2 - 7*c. Let i be u(5). Let k be i/30 - t/3. Solve -k + 5 = s for s.
4
Suppose 0 = -s + 5*h - 20, 7*s - 2*s - 10 = 3*h. Solve s*l - 20 = -0*l for l.
4
Let j(i) = -i - 4. Let c be j(-5). Let w = c + 7. Solve 2*y = 2 + w for y.
5
Suppose 0 = m - n + 2, 3*m - 19 = -n - 5. Suppose -6 = a - m*s - 0, -a + 5*s = 12. Let x(c) = -5*c - 4. Let b be x(-4). Solve a*t = -t + b for t.
4
Let t = 11 + -2. Suppose -3*z + 0 = -t. Suppose -r = -4 + z. Solve -f = 2 + r for f.
-3
Let j(s) = 2*s**2 - s. Let w be j(-1). Solve 0 = -3*p + w - 6 for p.
-1
Let s(l) = l**2 + 10*l - 21. Let q be s(-12). Solve -q*j + 6 = -j for j.
3
Let p be (-12)/(-1) - (-7 + 8). Solve -5*v + p = -9 for v.
4
Let f be (-12)/(-4) + 0 + -1. Let s be 12 - (2 - 2)*1. Solve f*z - s = -z for z.
4
Suppose 0 = 4*o - 31 + 11. Let p = 0 - -23. Solve -8 = -o*x - p for x.
-3
Let a = -18 + 25. Solve 3*l = a*l - 4 for l.
1
Suppose 0 = 7*u - 6*u - 5. Suppose -u*k = -2*k. Solve k = -m - 4*m for m.
0
Let c be (-2)/((12/(-9))/2). Suppose 4*r + 5*f = 32, 9*f - 4*f - 5 = 5*r. Suppose -r*a - a = 0. Solve 0 = c*w + 15 - a for w.
-5
Let a = 11 + -5. Let s be (-9)/(a + -3) + 6. Let x be ((-3)/(-2))/(1/6). Solve 3*c + s = x for c.
2
Let i(h) = -2*h + 31. Let t be i(13). Solve 0 = -4*f + t*f for f.
0
Suppose 5*w = 3 + 22. Let v(j) = j**2 - 4*j - 2. Let c be v(w). Solve -c = -6*s + 3*s for s.
1
Let i be -6*9/6*-1. Solv