*j + 3*b - 2 = 13. Solve -3*p - j = 4 for p.
-2
Let d(p) = -5*p - 25. Let u be d(-6). Suppose -2*v + u*k + 29 = -16, 3*v - 33 = -4*k. Solve 0*w - 5*w = v for w.
-3
Let y(l) = l**2 - 2*l + 1. Let b(o) = -o + 16. Let h be b(15). Let d be y(h). Solve i - 1 + d = 0 for i.
1
Suppose -2*o + 2 = -2*l, o - 3 + 0 = -l. Suppose -b - 2*b = 0. Solve o*n + n = b for n.
0
Suppose -23*p + 35*p + 140 = 26*p. Let t = -1 + 8. Solve 9*z - t*z = -p for z.
-5
Suppose -67*z = -73*z + 24. Solve z*f - 25 = 9*f for f.
-5
Let l = 24 - 17. Suppose 6*n = 3*n - 3*s + 6, -3*n - 2*s + 5 = 0. Suppose 8*x - n - l = 0. Solve 7 = 2*j + x for j.
3
Let a be (6/(-18)*0)/4. Let p be (-40)/(-6) - (-6)/18. Solve a = p*g - 4*g - 6 for g.
2
Let o(x) = -x**2 - 11*x + 106. Let q be o(6). Let z be ((-6)/4)/(6/(-8)). Let a be 6 - 2/(-4)*z. Solve 9 = -a*v + q*v for v.
-3
Let s(i) = -i - 1. Let v = 8 - 10. Let o be s(v). Let c be 0/(-12) - -2*o. Solve -c*q = -0*q + 4 for q.
-2
Suppose 9*a + 45 = 63. Solve a*b - 9*b = 0 for b.
0
Let v be 2 - (-10 - -3 - (5 + -3)). Suppose v*d - 6*d - 5 = -5*b, -b - 7 = 5*d. Solve b*x + 8 = 2 for x.
-2
Let z be (-2)/4 + 6/4. Let w be -2 + 2 + (z - -1). Let b(p) = 2*p**3 + 2*p**2 - p. Let u be b(1). Solve f + w*f = u for f.
1
Suppose 13*z + 23 = 231. Solve 5*k - z = -6 for k.
2
Suppose 138*j = 147*j - 36. Solve -5*x - j = -9*x for x.
1
Let o = -2 - 19. Let p be 6*(o/6)/(-7). Solve 1 + p = 2*i for i.
2
Let n = 83 - 80. Let j be (-3)/(1/((-6)/(-9))). Let f = 4 - j. Solve n*a = f*a + 15 for a.
-5
Let n(c) = 5*c**2 + 7*c + 12. Let x be n(-4). Let k = x + -59. Solve -9 = k*h - 4 for h.
-1
Suppose -2 = 3*c + 4*o, c = -2*c - o + 13. Suppose 2*w - c = 0, 2*d = d + 2*w + 63. Suppose -3*b + 4 = -4*y + d, -4*b + 80 = 3*y. Solve -m = -5*m + y for m.
5
Let f = 15 - 12. Let s = 8 - f. Suppose -8*z + 3*z + 35 = -s*h, -5*z = 3*h + 5. Solve k + 0 + z = 0 for k.
-2
Suppose 2*i + 7 = 1. Let y(a) be the third derivative of a**5/30 + a**4/6 - a**3/6 - 5*a**2. Let b be y(i). Solve 3 - b = p for p.
-2
Let h(y) = y + 15. Let s be h(-7). Let t be (3 - 0)*((-420)/(-18))/10. Solve t*u = s*u + 5 for u.
-5
Suppose -p - p - 3 = x, 5*x = -15. Suppose p - 5 = -o. Solve 0 = o*f + 2 - 7 for f.
1
Let c = 42 + -41. Let l(b) = b**3 + 5*b**2 - 4*b - 5. Let k be l(-5). Let i be ((-3)/7 + 77/(-49))*-2. Solve i*m - k = c for m.
4
Let v(p) = -p**3 + 32*p**2 - 33*p + 72. Let j be v(31). Suppose -3*n = 2*n. Suppose 3*b - 2*b = n. Solve 5*r + b*r = -j for r.
-2
Suppose -x + 23 = 3. Suppose -3*g - x = -29. Solve g*j + 6 = 3 for j.
-1
Suppose 10 = 2*p, -4*g + 4*p - 25 = -5*g. Solve 0 = -g*r + 4 + 6 for r.
2
Let w(z) = -z**3 + 15*z**2 - z + 3. Let i = -11 - -26. Let h be w(i). Let l be (-38)/(-6) - (-16)/h. Solve y = 2*y + l for y.
-5
Suppose 2*o + 36 = 14*o. Suppose 0 = -2*g + 2*l + 42, o*g - 68 = 5*l - 13. Solve g - 5 = 5*n for n.
4
Suppose -h = -2*h. Suppose -2*o = 2*v - 22 - h, -2*v + 23 = o. Solve -2*z - z = -v for z.
4
Let s(p) = -p**2 + 10*p - 14. Let r be s(8). Let b be (-2)/4*-2*r. Suppose -b*d = -0*d - 8. Solve -2*y + d = -y for y.
4
Let s be (0/(-4))/(9 + -8). Solve s = k + 3*k for k.
0
Suppose 16*z - 46 - 34 = 0. Suppose 3*x = x - 12. Let f(l) = -l**3 - 6*l**2 + l + 8. Let w be f(x). Solve z*y + 8 + w = 0 for y.
-2
Let n = 33 - 14. Let s = n + -13. Suppose 0 = w - 2*w + s. Solve q - w*q = -10 for q.
2
Suppose -4*p = 5*u - 7, -p + u - 6*u - 2 = 0. Suppose -15 = -0*n - p*n. Solve -5 = -n*j - 0 for j.
1
Let h(z) = -2*z**3 - 10*z**2 + 3*z - 7. Let x be h(-6). Solve 5*n - x = -72 for n.
-5
Let n(x) = x**2 - 4*x - 3. Let k(q) = 3*q**2 - 9*q - 7. Let v(l) = -2*k(l) + 5*n(l). Let h be v(-1). Solve 4 = -m - h for m.
-4
Suppose 3*k = -5*v + 81, -v + 24 = -3*k + k. Let h = -18 + v. Solve 0 = 4*a - h + 4 for a.
-1
Let i(m) = 6*m + 1. Let l be i(2). Suppose -10*k + l*k + 12 = 0. Let q be k - (-3 - 0 - 3). Solve -2*h - q = -3*h for h.
2
Let d = -14 - -17. Suppose 0 = -d*f + 2*s + 30, 5 = 5*f + 4*s - 67. Solve 3*b + f = 7*b for b.
3
Suppose -16*r + 11*r = -4*g - 35, 36 = r + 5*g. Solve r = -2*j + 13 for j.
1
Let w be (-53)/583*(2 + -2). Let r(g) = -g**3 - g**2 - g - 2. Let v be r(-2). Solve -4*z + 4 + v = w for z.
2
Suppose 12 + 10 = 3*j + 5*f, 4*j - f - 14 = 0. Solve -j*q = -q - 9 for q.
3
Let a(b) = -10 + 4*b - b - 2*b + b**3 - 10*b**2. Let j be a(10). Solve 12 = -j*l + 3*l for l.
4
Let d = -8 + 10. Let i = -7 + 3. Let k(z) = z**2 + 2*z - 8. Let c be k(i). Solve d*m - 8 = -c for m.
4
Suppose -7*j = 5*q - 3*j - 103, -4*j = -2*q + 30. Solve q + 3 = -11*a for a.
-2
Let c = -89 + 95. Suppose -8*l + 10*l - c = 0. Suppose -2*r = -4*m + 40, -m + 4*r + 2 = -1. Solve -2*b - m = -l for b.
-4
Let d be (77/14 - -5)*10. Solve -d = -3*w - 93 for w.
4
Let s(o) = o**2 + 28*o + 31. Let i be s(-27). Solve n = -i - 0 for n.
-4
Let t(f) = -f**2 + 6*f - 5. Let v be t(2). Suppose -2*h - 2*d = -5*h, -5*d = 5*h. Solve h*p = v*p for p.
0
Let f = -16 - -58. Suppose -f = -5*n + 18. Let m be ((-2)/6 + 1)*3. Solve -n = -m*a - a for a.
4
Let k = 311 + -300. Solve -3*f = -k + 26 for f.
-5
Let f(y) = 8*y + 19. Let d be f(-6). Let u be (23 + d)*(1 - (-8)/(-3)). Solve 10*t - u = 5*t for t.
2
Let p be (72/(-54))/((-1)/(-3)). Let n be (6 - 12)*p/6. Solve 0*d - d = n for d.
-4
Suppose 5*m - 33 = -3*i, i + 2*m = 2*i - 22. Solve 10*f + 30 = i*f for f.
5
Suppose -3*u + x + 6 = 0, -14*u = -17*u - x + 12. Let d = -5 - -9. Suppose -2*k = -4*a + 38, -2*a + d*k + 3 = -1. Solve u*p + a = -0 for p.
-4
Suppose 5*n + 2*c - 115 = -4, -4*n + 78 = -2*c. Solve -n = 7*k - 0 for k.
-3
Suppose 7*r = 1 + 13. Suppose 3*z - 3*n = 42, -r*n = z - 2*z + 19. Solve g = 4*g - z for g.
3
Let t = -18 + 42. Suppose -b - 3*y = -17, -3*b + t = -b + 4*y. Solve -3*h + 5*h = -b for h.
-1
Suppose 3*z = 7 + 2. Let j = -13 + z. Let a = j + 15. Solve r - 6*r = a for r.
-1
Let m(o) = -o**3 + 10*o**2 + 4*o + 11. Let g(y) = 2*y**3 - 21*y**2 - 7*y - 22. Let r(i) = -3*g(i) - 7*m(i). Let p be r(8). Let n = p + 7. Solve -n*q = -q for q.
0
Let z(b) be the first derivative of b**2/2 - 5*b + 3. Let v be z(6). Solve 4 = -c - v for c.
-5
Suppose -4*w + 2*q - 27 = -35, 4*w - 20 = 5*q. Solve 5*d - 15 = -w*d for d.
3
Let j(n) = -n**3 - n**2 - 5*n - 12. Let f be j(-2). Solve 0 = 4*s - 3*s + f*s for s.
0
Suppose -3*y + 12 = 0, 0*k - 2*k - 4*y + 26 = 0. Suppose c + k - 8 = 0. Solve -2*j + 5*j + c = 0 for j.
-1
Suppose 11*r - 94 = 38. Let j = -7 - -10. Suppose 3*n - r = -j*n. Solve -n*b + 0 + 8 = 0 for b.
4
Let s be 6/(-21) + (-270)/(-14). Let m = s + -3. Suppose 18 = 5*n - 12. Solve -n*g = -2*g + m for g.
-4
Let j(x) = 3*x - 4. Let k be j(3). Let p(s) = s**3 + 6*s**2 - 6*s + 12. Let h be p(-7). Let l = h - k. Solve -r - 2*r - 12 = l for r.
-4
Suppose 0 = 4*f + 20 + 8. Let r be (5 + f)/(4/(-14)). Solve 0 = -r*y + 2*y for y.
0
Suppose -5*f - 4*s - 16 = 0, -4*f + 0*s - 4*s - 16 = 0. Solve -11*j + 6*j + 20 = f for j.
4
Let f = -712 + 713. Solve -4*n - 15 - f = 0 for n.
-4
Suppose 41*b = 40*b + 5. Suppose -3*f + 5 = -5*s, 0 = -b*s - 2*f - 0*f + 20. Solve i = s*i - 4 for i.
4
Let m be (-216)/(-60) - (-3)/(-5). Solve 3*b = -m*b + 24 for b.
4
Let v(h) = h**3 + 12*h**2 - h + 24. Let r(i) = -i**3 - 11*i**2 - 25. Let b(k) = -4*r(k) - 3*v(k). Let g be b(-8). Solve g*f + 10 = -10 for f.
-5
Let d(v) = -6*v - 15. Let l be d(-4). Suppose -5*q + 2*u = -l, -3*q + 4 = -2*u - 3. Let c(r) = -3*r - 2. Let t be c(-2). Solve f - t = -q for f.
3
Let r = 3 - -4. Suppose 5*a = -x + 10, r*x = 4*x + 3*a + 48. Let z(d) = -d**2 - 4*d - 1. Let c be z(-3). Solve v + c*v = x for v.
5
Let s(j) = -2*j**3 - 11*j**2 + 4*j - 9. Let q be s(-6). Solve -f - q = -1 for f.
-2
Let n be -1 + (-4 - 1 - -8). Let a(v) = -4*v. Let z be a(-4). Suppose 0*d = -n*d + 8, -c - 4*d = -z. Solve 5*o + 14 - 4 = c for o.
-2
Let r(j) = -5 - 7*j + 13 - 4*j + 3*j**2 - 2*j**2. Let n be r(11). Solve -7 - n = -5*i for i.
3
Let q be (-3)/3 - (3 + -6). Let d(r) be the first derivative of r**2/2 + 3*r - 1. Let c be d(4). Solve c*u = q*u for u.
0
Let b = 453 - 447. Solve b - 41 = -7*h for h.
5
Let h = -20 + 27. Suppose -5*n = -5*t + t + 13, 3*n - 2*t + h = 0. Let m = n - -1. Solve -2*s + m - 4 = 0 for s.
-2
Let u(w) = -w - 1. Let o be u(5). Let f be (-10)/o + (-3)/(-9). Let a = -501 + 516. Solve -j - f*j + a = 0 for j.
5
Suppose 0 = -7*d + 4*d + 219. Let o = -61 + d.