5
Suppose j = -4*d, -j = 2*j + 3*d - 18. Suppose 0 = 2*l - l + 6. Let t be (2 - -2)*(-3)/l. Solve 0 = -2*c - t*c + j for c.
2
Let o = 81 + -78. Solve o*m + m = -8 for m.
-2
Suppose 28 = 2*r - 4*l, -r + 3*l + 31 = 3*r. Suppose 5*w = i - 1, -r*i + 3 = 5*w - i. Solve w*g + 16 = -4*g for g.
-4
Let n = 1 + -5. Let i be ((-88)/(-33))/(n/(-6)). Solve 0 = -g + i*g for g.
0
Suppose -2*b + 2*k + 2 + 2 = 0, -48 = -4*b - 4*k. Let p be (-2 - b/(-3))*-3. Let f be 0/(p + 1 + 1). Solve r - 6 + 2 = f for r.
4
Let t(b) = -7*b - 6. Let o be t(-4). Let i = o + -22. Solve 0 = -i*u + 4*u + 16 for u.
-4
Let h(g) = -g**3 - 8*g**2 + 11*g + 11. Let k be h(-9). Let i = 0 - k. Let n(j) = -j + 7. Let x be n(i). Solve x = -c + 4*c + 9 for c.
-3
Let a(q) = q**2 - 6*q + 12. Let z be a(6). Solve -r + 5*r + z = 0 for r.
-3
Let c = -1 - -3. Suppose 4*p + 3*a = 5, -p - 6 = -5*p - c*a. Solve p*g + 4 = -0 for g.
-2
Suppose 0*f + 7 = f. Suppose -f*h + 12*h = 30. Solve -h*l = -l + 10 for l.
-2
Suppose 12 = 3*r - 9. Let s = -6 - -10. Solve -9 = s*c + r for c.
-4
Let r = 9 + -2. Solve -27 = 4*t - r for t.
-5
Suppose u = y, 3*y = 5*y + 4*u - 24. Let p(f) = f**3 - 4*f**2 + f - 4. Let k be p(y). Suppose k = 2*a - 4*a + 4. Solve -v = v - a for v.
1
Let i(w) = -w - 8. Let u be i(-12). Suppose 3*k = k + 2. Solve -u = q - k for q.
-3
Let u be ((3 + -3)/(-3))/3. Let j = 3 + -1. Solve -j = y - u for y.
-2
Suppose 8*u = 11*u. Solve 4*h + 0*h = u for h.
0
Let a(s) = s + 8. Let n be a(-4). Suppose 6*o - 2*o = 292. Suppose -t - o + 15 = -5*v, -5*v = t - 52. Solve 0 = -5*h + v + n for h.
3
Suppose 3*l + t = 11, -2*l = 2*l + t - 15. Suppose -5*d = 5*u - 0*d - 5, 5*d = -3*u + 1. Suppose 5*h - l = 4*b, u*h - 4*b = 4*h + 4. Solve 16 = 4*j - h*j for j.
4
Let h = 33 + -31. Let u = -4 + 6. Solve u*t - 12 = -h*t for t.
3
Suppose -2*d = -7*d + 30. Suppose s + 34 = 5*g, -3*g + 5*s = 4*s - 22. Suppose g = t + 2. Solve -d = -m + t*m for m.
-2
Let y = -1 - -4. Suppose 106 = x - 3*h, -5*h + 310 = y*x - 10*h. Suppose 0*m + 4*m - x = i, -100 = -4*m - 3*i. Solve -m = -4*u - u for u.
5
Let p = -167 + 170. Solve p = -3*y - 3 for y.
-2
Let q(r) = r**3 + 28. Suppose 0 = -l + 2*l. Let v be q(l). Suppose 4*y - 2*g - v = -12, 2*y = 2*g + 12. Solve 0 = y*k - 0 + 8 for k.
-4
Let o(d) be the second derivative of d**5/60 - d**4/6 - 2*d**3/3 - d**2/2 - d. Let x(i) be the first derivative of o(i). Let c be x(5). Solve 0*h = h + c for h.
-1
Let j(l) = 3*l - 11. Let b be j(5). Solve 0 = b*v - 2*v - 6 for v.
3
Suppose -7*l = 2 - 16. Solve l*m = 3*m + 1 for m.
-1
Let n be (1 + -2)*(0 + -2). Suppose 0 = -2*a + a. Let r be a*-2*3/6. Solve r = -m + 3 + n for m.
5
Let q be (2 - 2)/(4/(-2)). Let x(r) = 8*r - 3*r**2 + q*r**2 + r**3 - 4*r - 2. Let k be x(2). Solve 0 = 3*f + k*f + 20 for f.
-4
Let r(f) be the second derivative of f**4/6 - f**3/6 - f**2/2 + f. Let u be (-1)/((-1)/(-2)) - -1. Let j be r(u). Solve y + j = 3*y for y.
1
Let q be ((-9)/(-27))/(1/(-9)). Let o be 1/(q/(-3)) - -2. Solve 1 = 4*s - o for s.
1
Let w(x) = -x + 12. Let q be w(8). Solve -n + 15 = -q*n for n.
-5
Let d = -4 - -6. Let p(y) = -3*y - 3 - d*y**2 + y**2 + y**3 - 4*y**2 + y**2. Let i be p(5). Solve -3 = 5*u + i for u.
-2
Let k = -19 + 31. Solve 2*u + k = -2*u for u.
-3
Suppose 5*a = -10*a - 27*a. Suppose 3*s = -s + 28. Solve a = -5*w + 3 + s for w.
2
Let s = 0 + -3. Let f be (-10)/(-6) - 1/s. Suppose -2*q + 4*n - 4 = 0, -3*n + f = 2*q - 5*n. Solve 14 + 6 = q*k for k.
5
Let a be 1 - (2 + -4)*2. Solve -n - 3 = -a for n.
2
Let h(j) = j - 1. Let y be h(3). Suppose 2*v - v = y*u, 2*v - u - 6 = 0. Suppose v*t - 32 = p, -5*t + p + 26 = -14. Solve t = 3*n + n for n.
2
Let v be -2 + 3 + 3 - 0. Solve 0*y = y - v for y.
4
Suppose 28 - 8 = c. Solve 6*m = 2*m - c for m.
-5
Suppose -d - 6 = -3*d. Suppose -2*z - 1 + d = 0. Suppose 4*h = -0*c + c - z, 2*h - 2*c + 2 = 0. Solve 2*v + 0*v + 10 = h for v.
-5
Let f be 2 + (2 - (1 + -6)). Solve -4*n + 25 = -f*n for n.
-5
Let a(b) = -b**3 + 10*b**2 - 10*b + 10. Let v be a(9). Solve 3 = -i + v for i.
-2
Suppose -y + 3*d = d, 0 = -y - 5*d + 7. Suppose 2*f - y*v = 4 - 14, 3*v - 15 = 0. Solve f = 2*t - t - 2 for t.
2
Suppose -2*i + 4*a - 15 = -3*i, 2*a - 11 = -i. Let k = -4 + i. Solve 0 = 3*j - k for j.
1
Let l be 8/5*5/2. Solve l*f + 10 = -f for f.
-2
Let q = 9 + 7. Let z be (-2)/(-3) - q/6. Let m be (z/(-3))/(-1)*-12. Solve m*d = 3*d for d.
0
Suppose 5*x - 45 - 34 = 2*m, 0 = x - 2*m - 19. Suppose 0 = -5*v - l + x, 3 - 18 = -5*v - 2*l. Solve -v*k + 0 = -9 for k.
3
Suppose -10 = -3*x + 4*y + 14, 2*x + 2*y - 16 = 0. Suppose q + 39 = 5*p, -p = 4*q + 1 + x. Solve 0 = -3*f + p*f - 20 for f.
5
Let m = 7 + -3. Suppose 2*y + 10 = m*b, 4*y = -0*y - 5*b + 19. Solve 3*r - 5 - y = 0 for r.
2
Let d = 60 + -59. Solve 0*y + y = -d for y.
-1
Suppose -4*l = -z - 1, -4*l = z - 0*l - 7. Let y(v) = -2*v - 8. Let k(c) = -c**2 - 4*c. Let a be k(-5). Let j be y(a). Solve j*r = -z - 5 for r.
-4
Let y = -8 - -12. Suppose y*i = 5*l - 34, 2*l - 70 = -3*l - 5*i. Let u be (l - 1) + (-2 - 0). Solve -5*f - u - 13 = 0 for f.
-4
Let j(d) = 4*d**3 - 2*d**2 + d - 1. Let g be j(2). Let w = g - 22. Solve -v + w*v = -6 for v.
-3
Let p(j) = j**3 + 3*j**2 - 6*j - 6. Let u be p(-4). Suppose -3 = -u*s + 11. Solve -4*q = -s*q + 12 for q.
4
Let k be 7/(-2)*(-6)/7. Solve 0 = -k*n - 18 + 6 for n.
-4
Let a(q) = -q**2 + 32. Let g be a(5). Let h be (-6)/(-21) - 2/7. Solve 5*t - g + 32 = h for t.
-5
Suppose 0 = 2*j - r - 0*r - 54, r = -5*j + 142. Let a be (-8)/j*-2*7. Solve 9*u = a*u for u.
0
Let w(n) = n**2 - 10*n - 24. Let p be w(12). Solve 16 = -p*y - 4*y for y.
-4
Let s(c) = -c + 6. Let a be (4/(-6))/((-4)/24). Let d be s(a). Suppose -h - 17 = -d*h. Solve 5*q = 2 - h for q.
-3
Let u = 0 - -1. Let j(q) be the first derivative of -q**3/3 + q**2/2 + 2. Let i be j(u). Solve -3 = -3*r - i for r.
1
Suppose 5*p - 21 = 2*l - l, 33 = 2*l + 5*p. Solve -l*o = -5*o for o.
0
Let b(r) = -r**3 - 3*r**2 - 3*r + 1. Let y be b(-2). Suppose 0 = l - y - 13. Solve -4*m = -0*m + l for m.
-4
Let t = -30 - -32. Solve -3*q = -1 - t for q.
1
Let y = -43 - -45. Solve 2*v + y*v - 20 = 0 for v.
5
Let a be 1 + -1 + 1 + -5. Let h = a - -4. Solve -t = -h*t for t.
0
Suppose -3*o = -2*o - 4*o. Solve 3*p + 3 - 6 = o for p.
1
Suppose 3*v - 2*v = 5*j - 16, -2 = 2*v. Let n be (2 + -4)/(-2) + j. Suppose 0 = -3*a - 2*y - y + 12, -n*y + 10 = -2*a. Solve a = -o - 2 for o.
-3
Let z = -48 + 48. Solve z = -s - 2*s + 9 for s.
3
Let k = -2 - -7. Let w(x) = -x - 1. Let i(v) = -3*v - 12. Let b(o) = i(o) - 5*w(o). Let p be b(5). Solve k*h = -12 - p for h.
-3
Let b(n) = 3*n**3 + 2*n**2 - 1. Let f be (6/(-9))/(2/(-3)). Suppose 2*c + f = 3. Let g be b(c). Solve 2*r - g = 3*r for r.
-4
Let h be 3 - 4*(-3)/(-4). Solve h = -3*k - 2*k for k.
0
Suppose 7*w - 15 + 8 = 0. Solve 1 = k - w for k.
2
Let j(d) = -d**3 - 8*d**2 - 7*d + 5. Let c be j(-7). Let t be -20*2*(-1)/c. Solve -2*a + 6*a + t = 0 for a.
-2
Let f(h) = 2*h**2 + 1 - h**2 - h + h**2. Let o be f(3). Suppose 3*u + 7 = o. Solve -5*d + u = -2*d for d.
1
Suppose -2*g - g + 5*w = -35, 2*w = 3*g - 23. Suppose -3*v = -4*k - 17, -5*v + 4 = -3*v + k. Solve -v*u = 2*u - g for u.
1
Let m(u) = u. Let a be (2 - 2/1)/(-1). Suppose a*d = -3*d. Let j be m(d). Solve 3*q + 0*q - 12 = j for q.
4
Let l = -23 - -11. Let c = -10 - l. Solve c*g + g + 6 = 0 for g.
-2
Suppose 0 = -5*m + m - 4*k + 20, 2*k = -4*m + 30. Let a(f) = 1 - f**3 - m*f**2 + 2*f**2 + 1 + 9*f. Let u be a(-9). Solve u*v = -v + 6 for v.
2
Suppose 5*j = 51 - 11. Solve -4*f - j = -0 for f.
-2
Suppose -30 = -3*j + 6. Suppose u = 3, -j = 4*k - 2*u - 90. Let q = 46 - k. Solve -c - q = -6*c for c.
5
Suppose l + 17 = 3. Let o be l/(-4) - (-4)/(-8). Solve 0*r - r = -o for r.
3
Let q be 12/(-4) - (6 - 1). Let c = -6 - q. Suppose 3*l = c + 22. Solve -l = -2*m - 2*m for m.
2
Let u = 4 - 0. Solve -2*h - u = -h for h.
-4
Let l = -43 + 45. Solve l*a - 2 - 2 = 0 for a.
2
Let x(i) = 3*i - 12. Let s be x(5). Suppose -6*m + 6 = -s*m. Solve -2*n = m*n for n.
0
Let t = -11 - -12. Solve t = -2*m + 3*m for m.
1
Let g(f) be the third derivative of -f**5/60 - f**4/4 + 3*f**3/2 + f**2. Let a be g(-7). Solve 2*h - 20 = -a*h for h.
5
Let c(p) be the third derivative of p**5/12 - p**3/6 - 4*p**2. Let l(i) = i - 3. Let b be l(4). Let q be c(b). Solve 0 = -q*v