p*j - 4*b + 7. Solve j - 6 = -s for s.
3
Let z = 1145 + -1137. Solve -33*s = -35*s + z for s.
4
Let k(c) = c**2 - 8*c + 15. Let h be k(5). Suppose h = 3*z - 6, 2*n + z = 3*z + 2. Solve 5 = n*v + 2*v for v.
1
Suppose -4*m + j = -0*j - 19, m = 4*j - 14. Suppose 3*i - 2*v = 13, m = 8*i - 4*i + 3*v. Solve 2*d = -i*d + 10 for d.
2
Let v be (-2 - 3 - 0) + (6 - -1). Suppose 0*c + 10 = 5*c. Solve -v*g + c = -0*g for g.
1
Let f be (-2)/6*(-2 + -136). Let c = f + -45. Solve -5 = a - c for a.
-4
Let n(y) = -y**3 + 12*y**2 + y + 2. Let b be n(12). Suppose 3*u - b = -4*a, -5*u + 8 = 4*a - 10. Solve a = -0*c - c for c.
-2
Let l(w) = -w**3 - w**2 + w - 9. Let k be (3 + (-4 - -1))/(-2). Let z be l(k). Let g be 147/9 - (-3)/z. Solve 3*n - g = -1 for n.
5
Let g be 1 - (-5)/(-7) - (-1650)/154. Let y = g + -9. Solve -9 - 1 = y*b for b.
-5
Let u be 0/(3/(1 + 2)) - -3. Suppose 0 = -5*c + u + 17. Solve -2*g = -c - 0 for g.
2
Suppose -h + 3 = 0, 18 = n + 2*n + 4*h. Suppose n*w + 17 = w + 5*x, -3*w + 3*x - 3 = 0. Let o be (4 + -4)*3/(-6). Solve -2*a - 5 - w = o for a.
-4
Let p be (150/125)/((-2)/5) + 20. Solve p*x + 80 = x for x.
-5
Let v be 1/2*(1 - 1). Let a = 1 - v. Suppose -48*d + 33*d + 126 = 27*d. Solve -2*c = d + a for c.
-2
Let u = -2 - 12. Let z be 21/6*(-40)/u. Let g(s) = s - 7. Let y be g(z). Solve y*n = n - 2 for n.
-1
Let v(k) = -k**3 - 25*k**2 - 23*k + 28. Let g be v(-24). Solve -9*h = -g*h for h.
0
Let g be -1*((-12)/3 - -1). Let a = 3 - 3. Let r = a + g. Solve -6*k = -r*k for k.
0
Suppose 3*d = -4*q + 2*d + 11, 10 = -q + 4*d. Solve -5*a = q*a - 7 for a.
1
Let d(j) be the second derivative of j**4/12 + j**3/2 + 2*j**2 - 15*j. Let c be d(-3). Solve c = -q - 0 for q.
-4
Let p(q) = -2*q - 17. Let o be p(-12). Solve -14*z + o = -7 for z.
1
Suppose -33 + 39 = -6*g. Let j be (g + 3 + -3)*0. Solve j = o + o for o.
0
Let r(k) be the first derivative of -k**3/3 - k**2/2 + 5*k + 13. Let s be r(0). Solve -s*u - 30 = -10 for u.
-4
Let d(u) = -6*u + 2. Let v be d(-1). Suppose -48 - 12 = -5*s. Solve -4*l + v*l = s for l.
3
Let x(m) = m**3 - 5*m**2 - 9*m - 30. Let g be x(7). Solve -g = 5*y - 0 for y.
-1
Let y be (84/18)/(4/18). Suppose -3*c + 6*c = y. Let s = c - 6. Solve 0 = r - 2*r + s for r.
1
Let v = 121 - 116. Let l = 9 + -5. Solve r - v = -l*r for r.
1
Let j be ((-12)/(-10) - -1) + 1/(-5). Let w(z) = z**2 - 3. Let n be w(3). Suppose -n = -4*k + j. Solve k = -2*l - 0 for l.
-1
Let a(m) = 4*m**3 + m**2 + 2*m - 2. Let s be a(2). Solve -43 + s = -u for u.
5
Suppose -5*m + 30 = 5*d, 16 = -22*m + 18*m + 4*d. Suppose -4*c = 4*x - 5*x + 11, 5*x - 5*c = 85. Solve x = -5*r - m for r.
-4
Let j(a) = a - 2. Let f be j(3). Let m(g) = -g**3 + 2*g**2 - 2*g + 1. Let w be m(f). Solve x + 0*x + 4 = w for x.
-4
Let d be -4*((-15)/6 - -2). Let n be 1/(d*2/4). Suppose 20 = 3*o - n. Solve o = 5*a - 3 for a.
2
Let b(g) = g**2 - 7*g - 8. Let c be b(7). Suppose 5*d - 3*d = -4*t + 14, 2*t = 2*d - 8. Let w = t - c. Solve -4*p = -3 - w for p.
3
Suppose -98*r + 512 = -82*r. Solve r = -0*w + 16*w for w.
2
Let j = 1728 + -1720. Solve -14 - 26 = -j*c for c.
5
Let f(k) = -k**3 + 10*k**2 - k + 15. Let w be f(10). Suppose -x + 2 = 3*r, -r = -w*r + 4*x + 8. Solve -3*n - r - 5 = 0 for n.
-2
Let x = 11 + -7. Let p(l) = -l**3 - 4*l**2 + 5*l + 2. Let j(m) = m - 2. Let h be j(-3). Let k be p(h). Solve -k*a + a = x for a.
-4
Let g(y) = -4 + 1 + 42*y - 43*y. Let i be g(-4). Solve 0 = -2*w - i - 5 for w.
-3
Let d(j) = -j**3 - 4*j**2 - 3*j + 2. Let z = 33 - 35. Let m be d(z). Solve r - 3*r = m for r.
0
Let p(u) = 3*u**2 - 8. Let m be p(2). Solve q + m = 1 for q.
-3
Let o be (-2)/1 - -3 - -2. Suppose m - j = o*j - 19, 5*j - 10 = 0. Let d = 23 + m. Solve -2*q + d = 2*q for q.
3
Let a be ((-130)/15)/((-42)/9) - 2/(-14). Let l be (-9)/(-2) - (-2)/4. Solve -l*w + a*w = 0 for w.
0
Suppose 12*l + 2*c = 8*l + 22, -5*l + 17 = -c. Solve -l*q + 4 = -2*q for q.
2
Let o = 8 + -7. Let a = 14 - 21. Let y be -2 + o*(0 - a). Solve -1 = -y*t + 24 for t.
5
Let z be 6/4 - (-4)/16*-6. Solve b = -3 - z for b.
-3
Suppose -4*b + 17 = -31. Suppose -b = -2*a - 4. Solve -3 - 1 = -a*m for m.
1
Let c = -12 - -24. Suppose -4*t + 63 = u, -3*u = u - c. Suppose -2*f + 6*f - 2*z = 28, -11 = f + 4*z. Solve -f*r - t = -0 for r.
-3
Suppose -r + 8 = -3*q, q = 4*r - 2*q - 32. Solve r = -6*b - 22 for b.
-5
Suppose 12*v - 16 = 176. Solve -v = 18*q - 26*q for q.
2
Let m(r) = -r**3 - 20*r**2 - 23*r - 76. Let t be m(-19). Solve 5*o + 5*o - 10 = t for o.
1
Suppose 6*c = -4*c + 40. Suppose -9 = -c*d + 11. Solve d*z + 0*z - 5 = 0 for z.
1
Let t(n) = n**2 - 13*n - 20. Let u be t(15). Suppose -54*a + 56*a - u = 0. Let b = 0 - -3. Solve -a*i - 8 + b = 0 for i.
-1
Let s(u) = u + 2. Let v(p) = -6*p - 9. Let k(m) = 11*s(m) + 2*v(m). Let l be k(0). Solve l*d - 3 = 5 for d.
2
Let j be (3/(-2))/((-2)/(-28)). Let g = j - -17. Let v be (12/g + -7)/(-2). Solve 0 = -3*h + 4*h - v for h.
5
Suppose 2*i - 669 = -4*u + 5*i, 2*u - 333 = i. Solve -5*g - u = -160 for g.
-1
Let q be (2 - -1)*(-3 - -4). Let b = -3 + q. Solve b*f = -5*f + 25 for f.
5
Let w(b) = b**2 - 6*b + 19. Let c be w(6). Suppose c = 5*g + 4. Solve 4 + 11 = g*q for q.
5
Suppose 2*g = 3*u - 1, -u + 6 = -2*g + 3*u. Suppose 0 = -g*s + 4*s + 9. Solve -s*p + 1 + 2 = 0 for p.
1
Let p be (-6)/24 + 27/(-4). Let w = 10 + p. Solve w - 6 = -y for y.
3
Let h be (4 + -2 - 3) + 19. Suppose -2*r + 10*m - 5*m - h = 0, -4*r - 2*m = 12. Let q = r + 9. Solve q*z - 4 = -14 for z.
-2
Suppose 4*u = -u + 14*u. Suppose -5*k + 5*t = 5, 3*t = k + t + 2. Solve k = -n + 3 - u for n.
3
Let f be 1 - 676/(-78)*(-3)/(-2). Solve f*m - 25 = 19*m for m.
-5
Let x(h) = -h**2 - 9*h + 2. Let v be x(-8). Suppose 2*q - 3 = 17. Suppose -3*g - 4*d + 8 = -4*g, g + 6 = 3*d. Solve 4*b + q + v = g for b.
-5
Suppose -5*r + 8*g - 10*g = -2, -2*r + 3*g + 16 = 0. Solve -1 + 7 = r*q for q.
3
Let x(s) = -7*s - 5. Let r be x(-1). Suppose h = -r*n - 3*n - 2, -h - 2*n + 4 = 0. Solve 3*q = q + h for q.
4
Let u(c) = 13*c - 69. Let a be u(6). Solve a*k = -8*k - 68 for k.
-4
Let c be (-2*15/(-40))/((-2)/(-8)). Solve -c = -2*d + 1 for d.
2
Let b(v) = 5*v + 205. Let i be b(-39). Solve -4 = 6*a - i*a for a.
1
Suppose -4*v = 5*a + 62, -3*v + 2*a = -8*v - 86. Let i = v - -19. Suppose 5*m = 2*u + 10, -6 = -3*m + u - i. Solve m = -4*g + 17 + 3 for g.
5
Suppose -5*n = q + 45, -5 = 3*n - 3*q + 4. Let x = -10 - n. Let t = 7 + x. Solve 3 = -t*m - 22 for m.
-5
Let k(z) = z**3 + 7*z**2 + 6*z + 4. Let b = -13 - -8. Let v be k(b). Let y = v + -21. Solve -y = -w + 1 for w.
4
Let f be (-8)/60 + 912/90. Solve -3*s = 2*s - f for s.
2
Suppose 5*q - 2*a = 6*q + 1, 3*q - 33 = 3*a. Solve -12 + q = 5*g for g.
-1
Let j(n) = n**2 - 7*n + 8. Let a be j(4). Let o be a/(-16) + 30/8. Solve 24 = o*r + 4 for r.
5
Suppose 3*j - 4 = -4*u + 8*u, -2*j + 4*u = 0. Suppose 2*t + j = 4*r, -2*r + 3 = -3*t + r. Suppose t*g + g = 2. Solve -3*p = g*p for p.
0
Let h = -33 - -39. Let q(s) = s**2 + 8*s + 6. Let i be q(-6). Let x be (-6 - i)/(0 + -2). Solve x = -h*n + 2*n + 8 for n.
2
Suppose 0*u = 5*a + u + 1, 1 = -3*a - u. Let f be ((-4)/6)/((-12)/90). Suppose -f*g = 3*y - 51, 0 = -y - 3*g - 2*g + 27. Solve 3*s - y = -a for s.
4
Let o = -1050 + 1062. Solve -4*t - 40 = -o*t for t.
5
Suppose -57 = w + 2*w. Let p be -24 - -21 - ((-30 - 1) + -2). Let x = p + w. Solve x = -5*u - 4 for u.
-3
Suppose 3*o - 29 = 5*c, 0*c - 2*c = 8. Let t = -9 + 14. Suppose t*p - 4 = o*p. Solve -h - p*h = -3 for h.
1
Let b be (14/(-4) + 4)*(2 + -2). Solve 5*j + 9 - 29 = b for j.
4
Let k be (-9)/15 - (49/35 - 2). Solve k = -u + 5 - 4 for u.
1
Let h be -3*(-1)/9*(-42)/7. Let c be -15*h/((-30)/(-25)). Solve -c = -7*b + 2*b for b.
5
Let s(d) = -d**3 + 8*d**2 - 4*d - 5. Suppose -r - 17 = -3*r + 5*x, 4*r - 4*x - 28 = 0. Let c be ((-14)/r)/((-5)/15). Let o be s(c). Solve -5*l + l = o for l.
-4
Let a(c) = c**2 - 11*c + 2. Let s be (-7)/35*0 + -1 + 12. Let r be a(s). Solve x = r*x for x.
0
Suppose -3*o = o - 5*s - 15, -o + 3*s = 5. Solve o*k + 0*k = 10 for k.
1
Let j be 4/20 + (-15)/75. Solve j = -0*m + 3*m - 12 for m.
4
Let p = 164 + -61. Let f = 108 - p. Solve -f*y = -17 - 3 for y.
4
Let c = -799 - -800. Solve -y - 1 = -c for y.
0
Let s(f) = 5*f**3 + 23*f**2 - 10. Let r(d) = d**3 + d**2 - 1. Let p(c) = 6*r(c) - s(c). Let k be p(17). Sol