 + 15 = 10*n for n.
-5
Suppose -2 = -2*z + 2. Let h = -45 + 45. Suppose -3*v + 4*r + 16 = h, 2*r + 6 = 5*v - 2. Solve -z*b + 8 = -v*b for b.
4
Let r(c) = c**3 - c**2 + c - 1. Let x(f) = 7*f**3 - 9*f**2 + 8*f - 6. Let h(w) = -6*r(w) + x(w). Let m be h(3). Solve m = -n + 3*n for n.
3
Let y be (132/8 - -3) + (-2)/4. Suppose -2 + y = o. Solve 3 + o = 4*j for j.
5
Let s be (-7)/(-35) - 62/10. Let y(b) = -2*b**2 - 14*b - 8. Let t be y(s). Solve t + 8 = -4*z for z.
-3
Let u be (2/(-5))/(1/(55*-6)). Let q = -120 + u. Solve -2*j - q = -6*j for j.
3
Suppose -i = -2, 3*i = -a - 5 + 18. Let d(r) = r**3 - 8*r**2 + 4*r + 23. Let v be d(a). Solve -v*j = -5*j + 15 for j.
5
Let s be -1 + 15*1/3. Solve -s*j + 15 = -j for j.
5
Let f(c) = c**3 - 9*c**2 + 17*c + 3. Let g be f(9). Let d be (-2)/8 - g/(-48). Solve 2*p = d*p - 5 for p.
5
Let y(v) = -v**2 + 17*v - 30. Let j be y(5). Suppose 3*a = u - 4*u, j = 5*a - 5*u. Solve a*f + 5 = 2*f for f.
-5
Let a(v) = -v**2 - 17*v - 26. Let o be a(-15). Solve -o*z + 3 = -13 for z.
4
Let g(p) = -p + 21. Let a be g(0). Let c(y) = y**3 + 5*y**2 + 3. Let j be c(-5). Solve 0 = -j*u + 9 - a for u.
-4
Let w = 31 - 29. Suppose w*s + 60 = 7*s. Solve s + 8 = 5*y for y.
4
Suppose -s - l = -6, -5*l + 6 = 3*s - 8*l. Solve -s = -p + 1 for p.
5
Let d(j) = 4*j**2 + 2*j - 1. Let h be d(0). Suppose -a - a + 4 = 0. Let i = a - h. Solve -c + 4 = i*c for c.
1
Suppose 0 = -3*g + 4*j + 26, 3*g - 31 = -0*j + 5*j. Suppose -3*c - 2*x = 20, g*c - 5*x - 11 = -37. Let r be 22/6 - c/(-12). Solve o = -r*o + 12 for o.
3
Let p(s) = -s**2 + 3. Let v be p(0). Suppose -v*o + 3*h + 3 = 0, 0 = 3*o - 2*h + h - 7. Suppose -o - 1 = -a. Solve 0 = 3*n - a*n for n.
0
Suppose -16 = -5*a + 9. Let q = 114 + -114. Solve f + a = -q for f.
-5
Suppose -3*z + 19*c + 18 = 24*c, 16 = z + 5*c. Suppose -4*n + v = -4, 4*v + 16 = n + 3*n. Let r be 5 - (n + 1 + 1). Solve -z = r*l + 2 for l.
-1
Let j = 140 - 137. Let g be 8/(-12)*3/(-2). Solve -j*w = 14 + g for w.
-5
Let t be 15 + (1 - 2)*3. Suppose t*h = 16*h - 64. Let u be (-1)/(1 + (-16)/14). Solve -u*i - h = -3*i for i.
-4
Let n be (-6)/(-15) - (-88)/(-20). Let t = n - -12. Suppose 2*d = -2 + 6. Solve d - t = -2*p for p.
3
Let r(m) be the first derivative of 1/2*m**2 - 14*m - 2. Let n be r(14). Solve -2*v - 3*v + 10 = n for v.
2
Let q = 619 + -561. Solve 7*a + 23 = q for a.
5
Let h = 36 - 91. Let d = h + 59. Solve -3*o + 16 = d for o.
4
Suppose -10*o + 12 = -7*o. Let k(s) be the first derivative of s**4/4 - s**3 - 2*s**2 + s - 8. Let y be k(o). Solve -10 = 3*i - y for i.
-3
Let f(k) = k + 1. Let r be f(2). Suppose 0*u + 2*u - 4 = 0, 10 = -r*x + 5*u. Solve x = -4*s + 3 + 5 for s.
2
Let b be (-1)/(-1) - (-1 + -3). Suppose 5*x + 2*r + b = -2, -4*x - 3*r = 0. Let k be x/18*3*0. Solve 9*y - 4*y = k for y.
0
Let t be (19/((-95)/(-5)))/((-2)/(-18)). Solve j = -2*j - t for j.
-3
Let n be 2/(18/6 - 2). Solve 2 = k - n*k for k.
-2
Suppose b + b + 3*u + 5 = 0, 0 = -3*b + u + 20. Solve -5*l - b*l = 30 for l.
-3
Suppose 3*u = -15, 0*u + 6 = 4*n + 2*u. Suppose 6 = -n*t - 3*w, 0 - 6 = -4*t + 3*w. Solve t = -5*i - 17 + 2 for i.
-3
Suppose 21*s + s = 66. Solve 0*p - 3 = -s*p for p.
1
Let s(l) = 13*l + 27. Let i(y) = -6*y - 13. Let j(r) = -9*i(r) - 4*s(r). Let b be j(-3). Solve 5*a - b*a = -6 for a.
-3
Let t = 4 + -1. Let w = 6 + 9. Suppose -3*x = -4*d - x + 10, -4*d + x + w = 0. Solve -2*n + t = d for n.
-1
Let m(f) = 2*f**2 + 35*f + 28. Let u be m(-17). Solve -5*o + 6 = u for o.
-1
Suppose 0 = -5*n + 3*m - 0*m + 18, -3*n = -5*m - 14. Let l be n*(-4)/24*0. Solve o = -l*o for o.
0
Suppose 3*r = -3*r + 180. Suppose 0 = -8*o + 13*o - r. Solve j - o = -j for j.
3
Let w be (-3)/(((-3)/12)/(2/3)). Solve -w*b - 5 = 11 for b.
-2
Suppose 10 = 2*l + 62*f - 58*f, -4*l - 3*f + 20 = 0. Solve l*z + 3 = 28 for z.
5
Let g(r) = 32*r - 59. Let f be g(2). Solve -4 = f*y + 11 for y.
-3
Let d(n) = n**3 - n**2 + 2*n + 3. Suppose -i = 3*i. Let u be d(i). Suppose u*k = -0*k. Solve k = 3*s - 4*s + 5 for s.
5
Suppose 3*r = 7*r - 12. Solve 6*c - 3 = -r for c.
0
Suppose 0*c = -2*c + 4. Let i(j) = -j**3 - 69*j**2 - 198*j + 8. Let d be i(-66). Solve -c*k + 4*k = d for k.
4
Let d(r) be the second derivative of r**4/12 + 5*r**3/3 + 5*r**2 + 2*r. Let l be d(-8). Let u be 2/(-4)*l - 1. Solve -u*w = 3*w for w.
0
Let z = 67 - 32. Suppose 4*u + u - 4*w = z, 5*w = -25. Let l(m) = 2*m - 4. Let o be l(u). Solve 0 = 4*h + 6 - o for h.
-1
Let n(s) be the second derivative of s**3/6 + s**2 - 7*s. Let b = 2 + 1. Let l be n(b). Solve -l = 3*d + 1 for d.
-2
Let u be 6 + 1 + 0 + -1. Let s = 69 + -32. Suppose s = 2*r - 3. Solve -r = -2*o + u*o for o.
-5
Let d(x) = x**2 - 2*x. Let v(f) = -f - 6. Let p be v(-9). Let q be d(p). Solve 0 = -q*z + 5 + 7 for z.
4
Let b(n) = -n**2 - 5*n + 3. Let j be b(-5). Suppose -f + 5 = 3*h, -f = -j*h - 3*f + 1. Let v = -41 - -43. Solve 0 = v*o + h - 7 for o.
2
Let t = 54 + -38. Let h be 168/t*4/6. Let n(l) = l**3 - 6*l**2 - 5*l - 2. Let m be n(h). Solve 3*p - 7*p + m = 0 for p.
3
Let a = -723 + 807. Solve a*w = 73*w for w.
0
Let k = -7 - -10. Suppose -k = -j + 5. Suppose 7*y = -3*x + 3*y - j, 0 = -5*x - 3*y + 5. Solve -18 = x*r + 2 for r.
-5
Let t = 20 - 36. Let y be 4/5 - t/5. Solve -15 = g - y*g for g.
5
Let r = 0 - 0. Let m be (-10)/(-6)*(546/105 + -4). Solve r = -f - m for f.
-2
Let r(p) = -2*p**2 + 4*p - 9. Suppose 3*f + 4*x = f + 22, x = -4*f + 23. Let h be r(f). Let m = h - -39. Solve s + m*s = -4 for s.
-4
Let m be (-9)/(-4)*(-21 + (-71)/(-3)). Solve -11*x + 8*x = -m for x.
2
Suppose -2*t = -3*t. Suppose 0 = 2*q - 10 - t. Suppose 4*r - 2 = 3*u, r = -q*u + 6*r. Solve -b = u*b + 3 for b.
-1
Let g be (8 - 15 - -4)*-1. Solve -8 = 5*m + g*m for m.
-1
Let l(i) = -13*i + 1. Let s = -13 + 10. Let d be l(s). Let z be (-2)/3 + d/6. Solve -2*y + 4 + z = 0 for y.
5
Suppose 3*u = -s + 9, 2*u - 6*s + 3*s = -5. Solve 0 = -z + u*z for z.
0
Let p(y) = y**3 + 15*y**2 + 27*y + 11. Let w be p(-13). Let s be 2/3*(w - (-52)/8). Solve 0*m = -s*m - 15 for m.
-5
Let u(h) = -5*h**2 + 43*h - 24. Let l be u(8). Solve l*o - 5*o = 10 for o.
-2
Suppose -g + 0*q + 3 = 4*q, 0 = -4*g - 5*q + 12. Suppose -d + 14 + 22 = 5*v, g*v - 25 = -4*d. Solve 5 = 2*p + v for p.
-1
Let s be (2/(-4))/((-2)/12). Suppose 0*z - 3*z = 3*o + s, 4*z = -20. Solve 6 = o*f - 2 for f.
2
Let l(c) = 11*c - 31. Let q be l(3). Solve -q*o + 16 - 18 = 0 for o.
-1
Suppose -5*l + 69 = -3*d, -3*l + 4*d + d = -51. Suppose -l = 4*j - 3*k, 5*k - k = 2*j + 16. Let r be 7 - 3 - (j + 2). Solve -w - r*w + 12 = 0 for w.
4
Suppose -5*q = 2*s + 6, 4*s + 10 = -2. Suppose -2*r - 3 + 15 = q. Suppose -r = -2*l + 14. Solve h = 3*h - l for h.
5
Suppose 2*b - 8*b = 4*s - 318, 2*b + 3*s - 111 = 0. Solve 0 = -b*n + 56*n - 15 for n.
3
Let a(b) = -5*b - 10. Let g be a(6). Let m be g/(-16)*(-6)/(-5). Solve 0 = -m*y + 5*y - 4 for y.
2
Let a(y) = 2*y**3 - 17*y**2 + 14*y + 9. Let g be a(8). Let j = g + -54. Solve -2*d + j = -d for d.
3
Suppose 5*k - 6*k - 9 = 0. Let m = 14 + k. Suppose 0 = 4*n + 4*l - 28, -4*n - 19 = m*l - 52. Solve 5*f = n*f - 3 for f.
-1
Let h be (-2)/14 + 14/98. Solve h = -4*i + 5*i + 2 for i.
-2
Suppose -69 = -14*p + 211. Suppose 0 = 5*y - p, -4*v + 2*y - 4 = -0*y. Solve -t - 3 = v for t.
-4
Let b(u) = u**2 - 8*u + 21. Let r be b(8). Suppose -i = -8*i + r. Solve 0 = -i*j + 2*j - 1 for j.
-1
Let o be (72/(-6))/(1*-2). Let u(b) = 6*b - 1. Let l be u(1). Solve o - 16 = -l*c for c.
2
Suppose -f = 4*f - 15. Suppose -6*u - f = -7*u. Solve -u*c - 17 = -2 for c.
-5
Suppose 4*s - 3819 = -3595. Solve -4*b - 40 = -s for b.
4
Let r(s) = s**3 + 49*s**2 - 50*s + 4. Let b be r(-50). Solve -b*p + 60 = 11*p for p.
4
Suppose -2*d + 4*z + 6 = 0, d + 0*z + 3*z = 3. Solve 4 = -d*n + 16 for n.
4
Let u be 146/8 - (-2)/(-8). Suppose -5*k + u = 3. Solve 6 = d + k for d.
3
Let k be (-1)/5 + 56/(-70). Let m be (k - 14)/(-5) - -1. Solve -5*r - m = -9 for r.
1
Let d be 2/3 - 28/(-3). Let p be (-91)/(-35) - (-4)/d. Solve p*t = -3 + 9 for t.
2
Let s be 2/7 + (-38)/(-14). Suppose 27*b - 28*b = -2*d - 12, 2*b = 3*d + 19. Solve s = b*i - 5 for i.
4
Let w(p) = 7*p**2 - 3*p. Let n be w(1). Solve -n*z = -9*z - 20 for z.
-4
Let a = 29 + -16. Solve a = 7*w + 41 for w.
-4
Let b(p) = -p**3 - 4*p**2 + 13. Let q be b(-6). Solve -q*w + 81*w + 20 = 0 for w.
5
Let t(n