ose -y = -0*y. Let o be -1*(-1 + y) + 2. Suppose 0 = 3*p - 8 + 2. Solve -p*a = -5*a + o for a.
1
Let j be (6 - 1)*(1 + (5 - 1)). Solve -7*w = -12*w - j for w.
-5
Let k(b) be the third derivative of -b**4/8 + b**3/3 + b**2. Let n be k(2). Let c = n - -5. Solve -2*x - 7 = -c for x.
-3
Suppose -2 + 5 = 3*v. Solve -2 = d - v for d.
-1
Suppose x - 3*s + 2 = 0, 0 = -2*x + 3*x - 2*s. Suppose 5*b + x = 49. Solve 3*j - b = 6 for j.
5
Suppose 2*u + u - 21 = 0. Suppose -u*l = -2*l. Solve l*g = 3*g + 15 for g.
-5
Let c be (-7 + 1)/(9/(-12)). Solve 3*j = -c + 20 for j.
4
Let b(s) = -s**2 - 4*s - 2. Let m be b(-4). Let j = m - -4. Solve t + j*t = 9 for t.
3
Suppose 22*q - 19*q - 18 = 0. Solve 0 = h + q - 8 for h.
2
Suppose -5*p - 2*z + 19 = 0, -p - 7 = -7*z + 2*z. Suppose -t + 18 = 2*t. Let h = t - p. Solve r - 4*r = -h for r.
1
Suppose 34 = 25*n - 8*n. Solve -5*b + n + 8 = 0 for b.
2
Suppose 0 = -4*c - 18 + 2. Let z be (-3)/(-12) - c/(-16). Solve j + z*j = -2 for j.
-2
Suppose 5 + 5 = 2*l. Suppose 5*d + 4*m - 45 = -0*m, -27 = -3*d - m. Suppose -3*a = 4*q + 15, 5*q + 3*a + 7 = -8. Solve q = l*k - d + 34 for k.
-5
Suppose -t + 0*t = 3. Let f = t + 4. Let d = 6 - f. Solve 3*g + 20 = d for g.
-5
Let n(d) = -d**3 + 4*d**2 - 2*d - 1. Let u be n(3). Let b = 22 + -18. Suppose k - 6 = 3*t, -k = -u*t - 0 - b. Solve 0 = -k*z - z for z.
0
Suppose -2*y + 7*y = 3*m + 117, -5*y - 3*m = -123. Let x be (y/(-4))/(-2 - 0). Solve 3*f - 3 = x for f.
2
Let g = 6 + -4. Let s(y) = 3*y - 1. Let k be s(g). Suppose r = -3*r + 20. Solve 0 = 2*x + r + k for x.
-5
Let q(x) = 2*x**2 - 2*x - 4. Let j be q(5). Suppose 5*d - 2*d - j = 0. Suppose -d = p - 3*y - 28, -5*p - 2*y - 5 = 0. Solve -5*u + 4 = -p for u.
1
Let a be ((-1)/(-3))/((-3)/(-45)). Suppose -3*d + 9 = 0, -d - 4 = -l - a. Solve -5*s = -l*s for s.
0
Let j = 21 - 6. Solve -2*f = f + j for f.
-5
Let j be (-1)/(-3) - 31/3. Let n(h) = h**3 + 10*h**2 + 4. Let v be n(j). Solve -2*m = -m + v for m.
-4
Let o(i) be the third derivative of -i**4/24 - 5*i**3/6 + i**2. Suppose 23 = -4*c - 9. Let n be o(c). Solve n*h + 9 = -0*h for h.
-3
Let x = -2 - -3. Let t = 8 - -3. Suppose -15 = 5*w, 2*m + 3*w - t = -3*m. Solve -5*b + m = -x for b.
1
Let j = -5 + 7. Let k(l) = -3*l**j - l + 4*l + 4*l**2. Let t be k(-3). Solve -m = -t*m for m.
0
Let s = -6 + 4. Let k be -1 - -3 - (s + 0). Suppose -k*a - 17 = -3*y, 4*y - 2*y - 12 = 3*a. Solve m = y*m for m.
0
Let p = -12 - -14. Suppose -s - p = -4. Solve -8 = -0*y - s*y for y.
4
Let d be (-2)/(-1) + (-16)/(-8). Suppose d*q = 5 + 19. Let m = q - 6. Solve m = 3*a - 2 - 1 for a.
1
Suppose -3*m + 2 = -2*m. Solve -m*u + 4*u = 2 for u.
1
Let n = 21 + -20. Suppose 2*b + 16 - 4 = 5*p, -4*p + 12 = -4*b. Let i be ((0 + n)*0)/b. Solve 0*d - 2*d + 6 = i for d.
3
Suppose -3*i + 0*v - v - 16 = 0, -36 = 4*i + 5*v. Let n = i - -13. Solve n = -2*g - 1 for g.
-5
Suppose 2*t = t - 31. Suppose 8*x + 182 = 4*s + 3*x, -3*x + 166 = 4*s. Let h = t + s. Solve -13 = 5*j + h for j.
-5
Let j be (-4)/5 - 56/(-20). Let i be 0*(-2)/8*j. Solve i = 2*q + 3*q + 25 for q.
-5
Let m(i) = -i + 1. Let b be m(4). Let r be (-4)/6*(-18)/b. Let o = 4 + r. Solve 3*a + o = 3 for a.
1
Let y be (-6 - 1)/(0 + 1). Let w(p) = -p**2 - 8*p - 3. Let i be w(y). Let r be 17 - (-3 + i + 0). Solve -5*c = -c + r for c.
-4
Suppose -2*r = -4*r - 2*s, s + 12 = 5*r. Solve 2*w = r + 6 for w.
4
Let i(k) = -k + 12. Let n be i(6). Let z(j) = -j**3 + 7*j**2 - 5*j - 2. Let x be z(n). Solve 2*v = -x + 2 for v.
-1
Let u be (-9)/6*(1 - 3). Suppose r = u*r. Solve r*o = 3*o for o.
0
Let h(d) = -d + 12. Suppose -y = -5*v - 5*y + 38, 24 = 5*v - 3*y. Let z be h(v). Suppose 0 + 6 = 2*m, 2*m - z = 5*u. Solve -x + 3*x - 6 = u for x.
3
Suppose 0 = -2*c - 0*c. Let y be (-2)/(-8) + 21/12. Suppose y*w + 2*r - 8 = 4*r, 4*r = 0. Solve -w*k - 4 = -c for k.
-1
Let x be (-418)/(-18) + (-2)/9. Suppose 17 = 5*m - x. Suppose 3*l + l - m = 0. Solve -l*p = -p + 2 for p.
-2
Suppose 2 = -5*u + 3*d + 5, -2*u - 3*d - 3 = 0. Suppose -y = 8*i - 4*i, u = -3*i + 2*y. Solve 3*q + 1 - 4 = i for q.
1
Let o be 16/(-6)*6/(-4). Let m be (-1)/4 + (-174)/(-24). Let u = m - o. Solve -5*j - 4 = -u*j for j.
-2
Let a = -111 + 111. Solve a = s + 2 - 1 for s.
-1
Let h(m) = m - 11. Let s be h(11). Suppose -5*q - t + 19 = s, 4*q = -q + 4*t + 24. Solve 0*n + 2*n + q = 0 for n.
-2
Suppose -3*o - 8 = -3*h + 7, -13 = -5*h + 2*o. Suppose -2*w + h = -5. Suppose 2*s = -2*i + 18, 3*i + 2*s + 0 = 23. Solve -i*u + w = -12 for u.
3
Suppose 0 = -7*r + 24 + 11. Suppose -7*b = -2*b - 15. Suppose -3*k = -l + 11 - 1, 15 = b*l - 4*k. Solve -r*j = -l - 9 for j.
2
Let q be (-11)/3 - (-3)/(-9). Let w be (q/(-3))/(28/21). Solve -6 + w = j for j.
-5
Let x be (1/(-3))/(8/120). Let c = -17 + 12. Let j = c - x. Solve j*t + t = 4 for t.
4
Let i(r) = 10*r**2 - 1. Let l be ((-3)/6)/(2/(-4)). Let c be i(l). Suppose 4*g - 11 = c. Solve g = j + 1 for j.
4
Suppose 3*i - 59 + 26 = 0. Let j = 13 - i. Solve 5*h + j = -8 for h.
-2
Let a(d) = -d - 5. Let z be a(-7). Suppose z = 3*w - 1. Let v be 4 + (-2)/2 - -1. Solve v = -q - w for q.
-5
Let q(n) = -5*n**3 + n**2 - 1. Let v be q(-1). Let w = 41 + -39. Solve -w*c + 6 = -v*c for c.
-2
Let m(o) = o**3 + 4*o**2 - 6*o + 6. Let s be m(-5). Let y = 46 + -32. Suppose 4*n = 2*n + 10. Solve -n*b - s - y = 0 for b.
-5
Suppose 0*k + 4*k + 28 = 0. Let q = 3 - k. Suppose 5*r - q = 5*g, 2*g - r = 3 - 2. Solve -2*v - g*v = 0 for v.
0
Let s be (-3)/((-9)/6) - 2. Let y = s - 0. Solve y = 2*n - 2 - 0 for n.
1
Suppose 9*z - 3*z = -2*z. Solve 2*p - 10 = -z*p for p.
5
Let m = 15 + -7. Suppose 2*p - m = 6. Solve -p*t = -2*t for t.
0
Let g be 342/54 - (-2)/(-6). Solve -n - g = -2 for n.
-4
Let c(y) = -y - 5. Let w be c(-5). Suppose 0*b - 10 = -4*b + n, -2*b + 6 = -n. Let f = b + w. Solve 0*l - 4 = -f*l for l.
2
Suppose 2*w = -2*w - 16. Let b be ((-36)/(-16) + -3)*w. Solve b*m + 3 = -0 for m.
-1
Let o be (0 - 1)/(3/(-9)). Let a(r) = r**2 + 10*r + 3. Let k be a(-10). Suppose -2*g + 25 = k*w, o*g - 41 = -g - 3*w. Solve 4*b = -0*b - g for b.
-2
Let n(o) = -o - 5. Let d = 4 + -13. Let m be n(d). Solve 0*t + 8 = -m*t for t.
-2
Suppose -y + 6 = -0*y. Suppose -s - 3 = -y. Solve j - 4 + s = 0 for j.
1
Suppose 5*a - 3*m = -2*m + 140, 0 = -m. Let q = -17 + a. Solve 5*j + 4 = -q for j.
-3
Let a(x) = x**2 - 4*x + 2. Let l be a(4). Let h be (4/8 + l)*2. Solve -h*u + 5 = -0 for u.
1
Let q(b) = -3*b**2 + 1. Let l be q(-1). Let n = l - -6. Solve -4 = -n*j - 0*j for j.
1
Suppose -3*b + 8*b = 0. Let c = 32 - 23. Let o = c + -7. Solve b*j + o = j for j.
2
Let q(r) = 4*r - 3. Suppose -h = h - 4*x - 14, 5*x = 2*h - 16. Let f be q(h). Let o be 1/(-3) + (-2)/(-6). Solve 5*t + f + 11 = o for t.
-4
Let t = 65 + -45. Let n be (496/(-44))/(-4) + 34/187. Solve -2*g = n*g + t for g.
-4
Let c be ((-2)/(-3))/((-28)/(-378)) - 2. Solve -3*j = -c + 4 for j.
1
Let v be (2/(-6))/((-1)/15). Let b = -4 + 5. Suppose -9 = -v*r + b. Solve -r*y - 2*y - 8 = 0 for y.
-2
Suppose 0*k + 3 = k. Let l = 3 - k. Let q = l + 2. Solve -4*a = -q*a for a.
0
Let d(l) = l**3 + 6*l**2 + l + 4. Let f be d(-6). Let u = 9 + f. Suppose -u*a + 20 = -3*a. Solve -z + a = -2*z for z.
-5
Let o be (4/3)/(1/6). Suppose 2 = -b + 4*g, 3*b + 2*g - 26 = b. Solve o*y = 3*y + b for y.
2
Let p(j) = j**2 + j - 3. Let c be p(-3). Suppose -12 = -2*g - 0*g + 4*n, 0 = -3*g + c*n + 9. Solve 2*b + 8 = -g for b.
-4
Let n = -4 - -5. Let p(m) = m + 1. Let d be p(n). Suppose -d*o = -3*o. Solve o = -3*t + 6*t - 15 for t.
5
Suppose 0 = -4*o - f - 14, -o = 4*o + 2*f + 16. Let b = o + 7. Solve 0 = -5*z + b - 28 for z.
-5
Let y(o) be the second derivative of o**4/6 + o**2/2 + 3*o. Let z be y(-1). Suppose -z*v = -5*v - 4*t + 2, 3*t + 4 = 4*v. Solve -v - 1 = -a for a.
2
Suppose -5*s = -3*x - 3, -4*x = -4*s - 5*x - 1. Let u(m) be the second derivative of -m**4/12 - m**3/6 + m**2 - m. Let b be u(s). Solve -b - 6 = 2*y for y.
-4
Let q(x) = x - 5. Let c be q(5). Let w = c + 3. Suppose 22 = w*s + 4. Solve 1 = -5*n + s for n.
1
Suppose 4 = 2*i - 3*y - 11, 5*i - 4*y = 48. Let v be ((-15)/i - 2)*-4. Suppose 3*c - v = 38. Solve c = -3*q + 2 for q.
-5
Let q(y) = -y**2 + 4*y + 1. Let t(l) = 2*l + 1. Let c(i) = -3*q(i) + 7*t(i). Let k be c(-2). Solve 7*g = 4*g - k for g.
-4
Suppose -2*j - 4 + 14 = 0. Solve -j*s = -s for s.
0
Le