 -2*p - 5 + 11. Let v = 2 + -2. Suppose l = -l - p*g + 8, v = 3*g. Solve 0 = -l*j + 11 + 9 for j.
5
Suppose 1 = -2*p + a, -2 = -a - 1. Solve 2*t - 7*t - 20 = p for t.
-4
Suppose -a = -a - 3*a. Solve 2*h - 5*h - 9 = a for h.
-3
Suppose 5*c - 10 = 3*k + 31, c - k - 7 = 0. Let p(y) = y + 5. Let i be p(-5). Suppose -9 = -3*u, -3 = -v + 4*v - 5*u. Solve -v*a - 2 + c = i for a.
2
Suppose 4 - 13 = -3*n. Let s be -2*n/(18/(-15)). Solve s*o = 9 + 11 for o.
4
Let o = -165 - -168. Let t be 0 + -1 + (-1 - -13). Solve 1 = -o*v - t for v.
-4
Let m = 13 - 8. Solve m*t = 2*t for t.
0
Let c(b) be the second derivative of 3*b**3/2 - 3*b**2/2 - 3*b. Let z be c(2). Solve -4*t - z = t for t.
-3
Let n be (0 - 1)/(-2 - -1). Let f(y) = 6*y + 0*y + 2*y**2 - 3 - y**2. Let u be f(-7). Solve u + n = -i for i.
-5
Suppose 2*w + 11 - 41 = 0. Let k be (0 + 3)*(-160)/w. Let l be 0/1 - k/4. Solve -l*s = -4*s for s.
0
Let i(z) = -z**2 - 3*z + 0*z - 3*z + 2*z. Let k be i(-4). Solve k = 6*v - v for v.
0
Suppose 4 = 2*p + 2*b, 4*p = 4*b - 2*b + 14. Let d be (-10)/(-4) - p/6. Let o be (-2 + 4)*d*1. Solve o*v + 20 = -v for v.
-4
Let a = 21 - 6. Solve -n = -4*n - a for n.
-5
Let a = 12 - 9. Suppose -8*y - 60 = -13*y. Solve -a*s = s - y for s.
3
Let l = 28 - 6. Suppose 2*a = -h - 4 + l, 3*h = -6. Solve -a = -5*i + 5 for i.
3
Suppose -3*f - 4*h + 6 = 0, f - 4*h - 2 = -7*h. Let w be 24/(-18) + f/(-3). Let m be (4/(-8))/(w/80). Solve 3*y + 2*y = m for y.
4
Suppose -4*r - i - 16 = 3*i, i = -5*r - 8. Let m be -1 - 2/(r - 1). Solve m = 5*l - 2*l - 3 for l.
1
Suppose 0 = -4*l - 5 - 15, -k = -3*l - 21. Solve 2*v = -v - k for v.
-2
Let p be (((-3)/4)/(2/16))/(-2). Solve 0*j = p*j for j.
0
Let a = 86 + -75. Solve -2*i + a - 5 = 0 for i.
3
Suppose 11 = 5*w - 14. Let x(h) = -h**2 + 10*h + 6. Let o be x(10). Let k = o - 2. Solve 1 + k = w*j for j.
1
Let m be (-2)/2*0/1. Suppose -6*i - 2*i = 0. Solve -z + i*z + 4 = m for z.
4
Let m(g) = -2 + 5 - g + 1. Let v be m(0). Solve -3 = -q - v for q.
-1
Suppose 0 = -3*q, 4*q = 4*r + 2*q + 4. Let o be 6/(0 + (1 - r)). Solve 0*p = o*p - 6 for p.
2
Let u(l) = l**3 + 4*l**2 + l + 4. Let g be (-2)/(-8) + (-68)/16. Let r be u(g). Solve 2*o - 7*o + 5 = r for o.
1
Let j(o) = 7 + 0*o - 2*o + o. Let b be j(7). Let x be (5 - 5)/(2 - b). Solve 3*y + 0 + 15 = x for y.
-5
Let u = 5 + -4. Let r be 6/2 - u/1. Suppose -3*p + 7 = -r. Solve -p*g - 5 = -8*g for g.
1
Suppose 2 = -2*b + 3*b. Solve 0 = 3*h - b*h for h.
0
Let i(q) = 3 + q - q**3 - 4*q - 4*q**2 - 2. Let h be i(-3). Let g be (4 - 5)/(h/(-3)). Solve -g*y = y for y.
0
Suppose -t = t. Let r be (-4)/(12/(-9) - t). Solve 4*s = r*s - 3 for s.
-3
Suppose -17 - 22 = -3*o. Let x = 15 - o. Solve x*d = -12 + 2 for d.
-5
Suppose 0 = 3*c + 2*c, -5*f + 65 = -4*c. Suppose 0 = -3*b + 8 + 7, -2*b = k - f. Solve k*a + 11 = -4 for a.
-5
Let r be 39/(-2)*8/(-6). Let v = -21 + r. Solve -y = -v*y for y.
0
Let j(y) = 2*y + 3*y**2 + 7*y**3 - 8*y**3 - 3*y + 11 + 5*y**2. Let t be j(8). Suppose -2*p = -0*p - 2. Solve t*l = p - 7 for l.
-2
Let t(i) be the third derivative of i**6/120 - i**5/12 + i**3/6 + 2*i**2. Let u be t(5). Suppose -2*w + 6 + u = -b, 8 = w + b. Solve -6*a + w = -a for a.
1
Let d be (-60)/(-18)*(-24)/(-10). Solve 2*n + 0 - d = 0 for n.
4
Let b(f) be the first derivative of f**3/3 + 2*f**2 - f - 2. Let z(s) = s**3 + 3*s**2 - 2*s + 3. Let j be z(-4). Let h be b(j). Solve 0 = -c + 2*c - h for c.
4
Let s = 16 - 14. Suppose 4*z - s - 6 = 0. Solve z*y + 2*y + 12 = 0 for y.
-3
Let p(d) = -d - 3. Let l be p(-5). Suppose a - u - 7 = 0, l*a - 4*u + 15 = 39. Suppose t + a = k + 2*t, -5*t = 0. Solve k*j - j - 4 = 0 for j.
4
Suppose -4*a + 7 = -3*t, -a - 2*a = -12. Suppose 2*z = t*v + 3*z - 13, -v + z + 11 = 0. Solve -25 = -v*j + j for j.
5
Let f = -9 - -15. Suppose -2 = -5*p - 4*n, 0 = -4*p + n + f + 4. Solve p = -h - 2 for h.
-4
Let k(n) = n**3 + 2*n**2 - 17*n - 10. Let y be k(-5). Solve 4*u + 21 - 9 = y for u.
-3
Suppose 3*m = 5*y - 24, -4*m - 15 = y - 2*y. Suppose -y*c - c + 40 = 0. Solve t = -t - c for t.
-5
Let b = -92 - -92. Solve 2*o - 6 = -b for o.
3
Suppose 6*i + 21 = 4*h + i, 5*h - 2*i - 5 = 0. Let w = -5 - h. Let f = w + 4. Solve 3*c + 3 + 0 = f for c.
-1
Let k be 15/4 + 1/(-16)*-4. Suppose 0 = -3*u + 1 + 5. Solve -u*c + 6 = k for c.
1
Let h be (0 - (0 + 1))*-3. Solve 0 = h*m + 11 + 1 for m.
-4
Suppose -2*r + 7*r - 3*p - 20 = 0, -p = 2*r - 8. Suppose r*v + v = 30. Let a = -671 + 676. Solve -b + a = -v*b for b.
-1
Suppose -2*o + 16 = -s - 0*s, -3*o + 4 = s. Let u = s + 33. Solve t = 6*t + u for t.
-5
Let t = 4 - -1. Solve 0 = -t*x - 4 - 1 for x.
-1
Let h = -22 - -32. Solve -5*k = -h - 5 for k.
3
Let j = 10 - 6. Suppose -3*z + 4*z = -4*u + 35, -z - 25 = -2*u. Suppose 0 = -4*k + 6*k - 4. Solve -j*q - u = -k*q for q.
-5
Suppose 1 + 3 = 4*s + 4*d, 3*s - 11 = d. Suppose 0 = s*i + 2*i - 30. Suppose z + i = 4*z. Solve 2*u = -z*u for u.
0
Let i(l) = 16 - l**2 - 4*l + 3*l - l**3 + 2*l. Let b be i(0). Suppose -5*q - 6 = -b. Solve -2*u - q*u = 16 for u.
-4
Suppose -4*q + 3*c + 7 = -2, c - 1 = 0. Let o = q - 1. Solve -o*d - d = -12 for d.
4
Let h be 1 + -1 + (1 - -9). Let j(n) = 5*n**2 - n. Let l be j(1). Solve -h = l*d - 2 for d.
-2
Let v = 7 + -4. Let p be -5*(-4)/30*v. Solve -o + p*o = 3 for o.
3
Let w(b) = b**3 + 2*b**2 - 3*b - 4. Let l be w(-2). Suppose l*c = 0, 3*c = -3*r - c. Solve 0 = t + 4 - r for t.
-4
Suppose 0 = -5*s - 5*p, -s + 2*p - 5 = -2. Let k be s - 1 - (-2 - 15). Suppose 0*a - 5*a + k = 0. Solve a*y = -2*y for y.
0
Suppose -r = -5*g + 29, 2*r = 2*g - 2*r - 26. Suppose -g*q + 0*q + 5*n + 40 = 0, 3*q + 3*n = 0. Solve 0 + 4 = q*i for i.
1
Suppose 0 = 5*t - 2*z - 553, 5*z = 3*z - 8. Suppose t - 13 = 4*f. Suppose 3 = -r - 3*a - 10, 4*a = 2*r - f. Solve y + 2 = r*y for y.
2
Suppose 5*x = 4*x. Solve 0 = -3*l - x*l for l.
0
Let k = -14 - -9. Let q = k - -10. Solve -j = -q*j for j.
0
Let m(y) = -7*y**3 - y**2. Let p be m(-1). Suppose 0 = -p*t + 3*t. Suppose -5 - 3 = -4*o. Solve -o*k + 4*k + 2 = t for k.
-1
Suppose 0 = -5*m - 3*h - 32 - 15, 3*m = -h - 25. Let g = -7 - m. Solve g = -v - 1 for v.
-1
Let o = -8 + 9. Solve 0 = n + 4 + o for n.
-5
Suppose 3*s = -r - 1, s - 22 - 21 = 3*r. Let n = r - -15. Solve 3*w - 2 = n*w for w.
2
Suppose -4*u = -6*u + 4. Let b = -2 - -2. Solve b*v + 10 = u*v for v.
5
Let l be 0/((-12)/4) - -2. Suppose -2*r + 6 = -0*r. Suppose 0 = -0*k - l*k + 5*n - 11, r*n = -3*k + 15. Solve -8 = -4*p + k*p for p.
4
Let s(h) = h**3 + 5*h**2 - h - 4. Let b be s(-5). Let a(m) = m - 1. Suppose 3*u - 6 = -f, -3*f + 12 = 3*u - 0*f. Let y be a(u). Solve y*g + g - b = 0 for g.
1
Suppose 15 = 6*q - 15. Solve 7*n = q*n - 6 for n.
-3
Suppose 3*s = 5*s + 4*q - 8, 0 = 5*s - q - 42. Solve -2*n - 2 = s for n.
-5
Let n = 4 - 0. Let v = n - 9. Let k = v + 8. Solve 0 - k = -a for a.
3
Let i = 5 - 11. Let z = 18 + i. Solve -3*q + 7*q + z = 0 for q.
-3
Suppose -z = -5*z. Let f(b) = -b**3 - 6*b**2 - b - 1. Let s be f(-6). Suppose s*n - 16 - 24 = 0. Solve 2*r + n = -z for r.
-4
Let o = 7 - 4. Let w be (-129)/(-27) + (-2)/(-9). Let f = -3 + w. Solve l + o = -f*l for l.
-1
Suppose -3*m + 19 = -2*a, 3*m - 3*a = 14 + 10. Solve m*d - 5 = -2*d for d.
1
Let f(s) = s - 6. Let t be f(8). Suppose -9 = -h - t*h. Solve -j - 4 = -h*j for j.
2
Let p(r) = r**3 - 7*r**2 - 16*r - 12. Let g be p(9). Solve -4 = -g*j + 2*j for j.
1
Suppose 0 = -3*c + g + 169, 0*c - 3*c = -5*g - 161. Let m = c - 28. Solve 0 = 4*t - 9 + m for t.
-5
Suppose 15 = -4*q - 2*b + 41, 3*b = 9. Let g(o) = -o**3 + 7*o**2 - 4*o - 8. Let i be g(6). Suppose -q*w = -i*w. Solve w*s - 8 = -2*s for s.
4
Let q(c) = c**2 + 11*c + 14. Let y be q(-10). Suppose -y*j = -2*u - 52, -3*j = -j - 2*u - 24. Let l be 2/(-5) + 64/10. Solve j + l = -4*t for t.
-5
Let p be 6 - (2 - (-1 + -1)). Solve 0*w = -p*w for w.
0
Let d(n) = n**2 - 4*n - 3. Let f be d(5). Solve 5*p = f*p for p.
0
Let g = 6 - 4. Let o = 2 - g. Suppose 0 = 2*n - o*n - 10. Solve -2 = -n*i + 8 for i.
2
Let b = 1 + -1. Let o be (b + 0)/(-5 + 3). Suppose o = 3*n - 15. Solve 0 = 3*i - n*i for i.
0
Let y = 20 - 15. Suppose 3*x = -13 + 37. Solve -l = -y*l - x for l.
-2
Let m(i) = -3*i. Let a be m(-1). Let u be (-3)/(8/((-16)/3)). Solve 0 = u*h - a*h for h.
0
Let c(o) = -o**2 + 11*o - 1. Let z(h) = -h**3 + 6*h**2 + 3*h - 8. Let p be z(6).