 Let p be c(l). Solve 2*k = -0*k + p for k.
4
Suppose 0 = 6*y - y + 10, 0 = -2*h + 5*y + 18. Solve h*s - 3*s = -2 for s.
-2
Let z = 19 - 33. Let b = 24 + z. Let g = b + -7. Solve 1 = -g*r - 14 for r.
-5
Let b(x) be the second derivative of -x**5/20 + x**4/2 - x**3/2 - 5*x**2/2 - 7*x. Let t be b(5). Solve -t - 1 = -3*d for d.
2
Suppose j - 4*n + 40 = 5*j, 4*j = -5*n + 45. Suppose 0 = -m - m - j*b + 51, -3*m + 24 = -3*b. Let x be (0/2)/(-4 + 2). Solve 3*r - 1 + m = x for r.
-4
Let i = -3 + 6. Suppose 4*o = -0*f - 4*f + 20, 0 = -5*o - 2*f + 19. Suppose -3*n + 6*n = o. Solve q = n - i for q.
-2
Let l(q) = q**3 + 12*q**2 + 14*q - 1. Let u be l(-10). Let b = -39 + u. Suppose t = -5*w, t - 6*w = -w + b. Solve 2*j + t = -0*j for j.
-5
Let o be (9/6)/(4/8). Solve 0 = -3*f + o - 0 for f.
1
Suppose -2*q = -5*x - 37, -5*q - 3*x = -x - 20. Suppose u - 2*w - 6 = -u, 4*u - 11 = 5*w. Let k be (-1)/(-2)*16/u. Solve k*g + q = 4*g for g.
3
Let v be (-3)/9 - 24/9. Let g be (3 + v)/(1 + 1). Suppose f + m + 4*m - 26 = g, 4 = 2*f - 2*m. Solve 2*u = f*u + 8 for u.
-2
Let j = -5 + 9. Let f be 5 - 0 - (1 + 1). Suppose 15 = f*m - 3. Solve 22 - m = j*z for z.
4
Let j = -61 - -67. Solve v - 3*v - j = 0 for v.
-3
Suppose 0 = 2*f - a - 6, 4*a = 6*a + 4. Let b = 2 - 2. Suppose 3*u - c + 5 = 0, -u + c - 6 + 1 = b. Solve u*d = -2*d + f for d.
1
Suppose -20 = -2*o - 3*o. Solve -o*x - 14 + 2 = 0 for x.
-3
Let s(p) = p**2 + 8*p - 5. Let x be s(-9). Solve 12 = -x*c + c for c.
-4
Suppose -3*r = 3 - 18. Solve -r*c = 12 + 3 for c.
-3
Let z(y) = y - 8. Let l be z(8). Solve l = 2*n + 3 + 1 for n.
-2
Let x be (-1)/(-2)*(8 + -8). Solve x = 2*o + 2*o - 16 for o.
4
Let g(d) = d**2 + 2*d - 4. Suppose 0 = 5*r - 2*w + 26, -1 = 4*r + 5*w - 0. Let i be g(r). Suppose -m = i*m. Solve m*u + 2*u = 6 for u.
3
Suppose 4 + 0 = -4*h. Let r be 1*h*20/(-10). Let j be (2 - 1) + 1 + r. Solve 0 = -d + 3*d - j for d.
2
Let v(k) = -k**2 + k + 6. Let w be v(0). Let s be 10/45 - w/27. Let p = 2 + -1. Solve 0*n + n + p = s for n.
-1
Suppose 7 = y - 0*y - 2*p, 4*y + 4*p = 4. Suppose y*s - 3 + 4 = 2*h, 5*s - 20 = -h. Solve -h*o + 18 - 3 = 0 for o.
3
Let i(g) = -g**2 - 11*g - 6. Let a be i(-10). Solve -5 + 1 = a*f for f.
-1
Suppose -27 = -5*c + 3. Let d(n) = 4*n - 19. Let x be d(c). Solve 3*v + 10 = -x for v.
-5
Let p = 6 - 4. Solve -p*j = -6*j for j.
0
Let i(n) = 4 - 2*n + 1 + 0. Let t be i(7). Let u be (-39)/t + 1/(-3). Solve -12 = -4*q - u for q.
2
Suppose z - 23 = -4*w, 0*w = -5*w - 3*z + 34. Let s = -3 + w. Solve 0*o - s = 2*o for o.
-1
Suppose 0 = 2*h + b - 5 - 0, 12 = 4*h + 4*b. Let v = h - 1. Let y = 1 - v. Solve 2*m = -y - 8 for m.
-4
Let u = 2 - -4. Solve -2*z - 4 = -u*z for z.
1
Let k be 5/((-30)/147)*-2. Let p = -33 + k. Solve 0 = u + 3*u - p for u.
4
Let q be 22/(-4) - (-5)/(-10). Let y = 6 + q. Solve 10 = -y*z - 2*z for z.
-5
Let v(y) = -y**2 + 8*y - 4. Let h be v(5). Let z(j) = j + 1. Let q(c) = 4*c**2. Let b be q(1). Let m be z(b). Solve -m + h = -3*x for x.
-2
Let h be (-28)/(-6)*(4/(-2) + 5). Solve -4*k + 6 = -h for k.
5
Suppose 4*z = 3*z - 5*h + 40, -10 = -2*z + 4*h. Solve -5*t = -2*t + z for t.
-5
Suppose -2*k + 5*k = -3*d + 15, -5*d + 25 = 4*k. Let v = -2 + 4. Solve -v = 2*c - k for c.
-1
Suppose -4*d = -3*d - 2. Solve -d*p = -p for p.
0
Suppose -5*v - 15 = 7*i - 2*i, 0 = -i + 4*v + 12. Let y be 14/3 + (-2)/(-6). Solve -5*m + 5 + y = i for m.
2
Let z = -2 - -3. Let d = 0 - -3. Suppose 2 = k - d. Solve -k = -2*t + z for t.
3
Let n = 5 + -1. Suppose -6*g - 6 = j - n*g, -11 = -4*j - g. Solve 0 = -j*f - 0 - 12 for f.
-3
Let i = 12 - 8. Suppose -i*t = -3*t. Suppose t = -m + 6 + 1. Solve -m = 5*x - 2 for x.
-1
Suppose b + b - 4 = 0. Solve 14 = -4*r + b for r.
-3
Let c be 35/11 - (-4)/(-22). Suppose -4*h = -9*h - 3*y + 76, -4*h + 5*y + 83 = 0. Suppose 4*b - 3 = h. Solve c*o + 17 = b for o.
-4
Let s be ((-34)/(-4))/(2/4). Let n = s + -1. Suppose -3*m + 26 = 2*m - 2*i, 5*i = -m + n. Solve -4*u - 2 = -m for u.
1
Suppose -1 + 7 = 3*d. Suppose 3*x = -d*v + 11, 0 = 3*x - 2*v - 3*v - 4. Solve -x*o + 2 + 1 = 0 for o.
1
Let z(i) = i**2 - 6*i. Let b be z(6). Let c be (b/1)/(0 + 1). Solve c = 3*l - 9 - 6 for l.
5
Let v = 1 - -2. Let d = v + -1. Suppose 3*s + d*s = -5*u + 25, -5*u = 2*s - 13. Solve o - 2 = -s for o.
-2
Suppose 3*j = -3*m + 15, -j + 0 + 13 = 5*m. Solve w - 2*w + m = 0 for w.
2
Suppose 5*w - 15 = -5*g, -5*w + 2*g + 2*g = -24. Solve s - w = -3*s for s.
1
Let o be (2/(-6) + 10/3)/1. Solve o*x - 3 = 3 for x.
2
Let i be ((-9)/(-3))/1 - 3. Suppose 3*c + 3*a - 23 + 2 = i, -55 = -5*c - a. Solve -5*d = -2 + c for d.
-2
Suppose -4*a = -5*q + 11, 1 = -a + 2*q - 4. Suppose 2*n - 8 = 0, 0 = -2*x - 3*n + a + 15. Suppose x*l - 4 = l. Solve -l*t = -25 + 5 for t.
5
Suppose -8 = 2*o - 0*o + 2*b, -4 = b. Suppose -12 = x - 4*h, o = 2*x + h + h - 16. Solve x*f = 3*f - 3 for f.
-3
Suppose -8 = -3*z + 4. Suppose 4*s = j + 11, -4*s + z*j + 9 = j. Solve 0 = -4*g - 1 - s for g.
-1
Let v be 0/1*2/(-12)*2. Solve 5*i + 11 + 9 = v for i.
-4
Suppose 5*t = 2*q + 17, 5*t - 2*q - 21 = -q. Solve 6 = -t*o + 1 for o.
-1
Let k be 1 - 3 - -16 - -1. Let c = 17 - k. Let l = 2 + 2. Solve -c*w = 2 - l for w.
1
Let k(v) = -v**3 + 8*v**2 + 13*v - 11. Let i be k(9). Suppose -7*h + 3*h = p + 1, -3*h = 2*p + 2. Solve -5*t = -h*t + i for t.
-5
Let u(r) be the second derivative of -r**4/12 - 4*r**3/3 - 3*r**2 - 5*r. Let v be u(-7). Solve 17 = 4*t + v for t.
4
Let g = 44 + -40. Solve -p = g*p for p.
0
Suppose -8*h + h + 28 = 0. Suppose -4*o + 2 = g, 13 = o - 5*g + 2. Solve -5*m + h*m - o = 0 for m.
-1
Suppose -3 = -5*l + 17. Suppose -l*f = -r - 9, -3*r - r = 20. Suppose 2*o = 5*o - 15. Solve 19 = -o*s - f for s.
-4
Let q(f) = -2*f**2 - 6*f + 7. Let n be q(-5). Let c = 26 + n. Solve 1 = -4*j + c for j.
3
Suppose 0 = 2*o - 3*o + 3*u, 0 = 5*o - u - 14. Suppose -4*i = -s - 20, -5*i + o*s - 4*s = -16. Solve 6 + 6 = -i*b for b.
-3
Let l(b) = b**3 - b - 6. Suppose 0 = 4*j - 2*j. Let v be l(j). Let z = 6 + v. Solve z*m = m + 4 for m.
-4
Suppose 0 = 4*b - 12 - 4. Suppose -o = -0*o - b. Solve -h - o*h = 5 for h.
-1
Suppose -3*m + 9 = -3*s, -4*m = m + 5*s - 25. Solve -m*g = -g for g.
0
Let m = -27 + 27. Solve m = -2*z - 7 - 1 for z.
-4
Let d(x) = -x**3 - 3*x**2 + 3*x. Let l be d(-4). Suppose g = -3*s + 2*g - l, -4*g - 26 = 2*s. Let t be 0*1/s - -2. Solve m - 3 = t*m for m.
-3
Let r(v) be the third derivative of v**5/60 + v**4/6 - v**3/6 + 5*v**2. Let y be r(-5). Solve -y*j + 0 = 4 for j.
-1
Suppose 3*r - 10 = -2*r. Solve -r = 2*f - 3*f for f.
2
Suppose 0 = -3*g + 31 - 13. Suppose g*i = 2*i + 20. Solve 5*t - 15 = -i for t.
2
Let r = 20 + -14. Let m be (-5)/10 + (-14)/4. Let i be 8/3 + m/r. Solve -i*y + 0*y = 0 for y.
0
Let g(p) = p**2 + 12*p - 10. Let t be g(-13). Solve 4*l + 1 = -t for l.
-1
Suppose 0 = 6*o + 5*o. Solve o = -4*m + 5 + 3 for m.
2
Let d = -16 - -21. Suppose -5*s - 31 = -3*c, -4*s = d*c - 0*s + 10. Solve c = -2*i + 10 for i.
4
Let v be 62/10 - 4/20. Solve -v = 4*k - 18 for k.
3
Suppose -5*i + 5*q + 320 = -0*q, 0 = -i - 5*q + 46. Let d = i - 41. Solve y + 3*y + d = 0 for y.
-5
Let q = -128 - -131. Let o = -2 - -5. Solve 3*j - o = q for j.
2
Suppose 75 = 7*i - 100. Solve 0 = -2*o + 7*o - i for o.
5
Let h be 1*7 + (8 - 11). Solve p = h*p for p.
0
Let q(r) = 6*r**3 + 12*r**2 + 6. Let y(l) = 7*l**3 + 13*l**2 - l + 6. Let p(h) = 6*q(h) - 5*y(h). Let d be p(-5). Solve -4*a - 11 = -d for a.
5
Suppose 4*m - 3 = 17. Suppose 6*a = 4*a + 20. Solve 0 = m*b - 3*b + a for b.
-5
Let c(b) = -4*b - b**2 + 0 - 4*b + 2 + 2*b. Let m be c(-6). Solve -m*w - w - 15 = 0 for w.
-5
Let t(q) = -q**2 - 16*q + 22. Let v be t(-17). Solve 5 = 2*d - v for d.
5
Let p(w) = w**2 - 5*w + 6. Let a be p(4). Solve -g = g + a for g.
-1
Let a be (4 + -1)/1*(-8)/(-6). Solve 0 = a*s + 4 - 12 for s.
2
Suppose 15 = 2*a - 39. Let d be a/12*(-16)/(-3). Let u = -3 - -7. Solve 0*m + u*m = -d for m.
-3
Suppose 2*w - 2*l - 4 = 0, 2*l = -w + 7*l - 6. Solve 0 = -z - w*z + 20 for z.
4
Let z = 4 - 2. Suppose 0 = o - p - 5, 0 = z*o - 7*o + 4*p + 20. Solve o = -f - 0*f + 1 for f.
1
Suppose -7 = 3*i - 2*a - 17, 2*i - 5*a - 14 = 0. Solve -i*l + 4 = -6 for l.
5
Suppose b + 4 = 8. Let o(j) = -j**2 + 4*j. Let v be o(4). Suppose v*r = r. Solve -b*a - 1 - 3 = r for a.
-1
Let h(o) = -o + 5. Let r be h(3)