et g = d - 13. Let l be g/8 + (-9)/(-2). Solve -p + 0*p = -l for p.
4
Suppose l = 4*h + 109, h - 5*l - 3 = -54. Let v = h - -38. Solve 4*a = a - v for a.
-4
Let l(f) = f**2 + 2*f - 5. Let t be l(-4). Suppose 3*v - 11 = -2*s, 0*v + 3*v + t*s = 9. Solve -3 - 12 = v*d for d.
-3
Suppose -b = -6*b + 30. Suppose -4*d = -6 - b. Let c be 1/d - 8/24. Solve 2*q + 5 + 1 = c for q.
-3
Let i = 13 - 13. Solve i = 4*c - 0*c + 16 for c.
-4
Suppose -5*g + k = -0*k - 7, 2*g - 5*k + 11 = 0. Suppose 3*z + 9 = m, -22 = -g*m - 0*z + 4*z. Let b = -177 + 187. Solve b = -5*q - m for q.
-5
Let m be 22*(8/(-4))/(-4). Solve -3*i + m - 2 = 0 for i.
3
Let u = 29 - 25. Suppose 3*m = -6 + 18, 0 = -v + 5*m + 18. Suppose 5*s + v = w + 11, s = u*w - 32. Solve 0 = 5*x - w - 8 for x.
3
Let c = 9 + -14. Let v(w) = -3*w + 4. Let m be v(c). Solve 5*g - m = 1 for g.
4
Suppose -3*x - 5*c - 34 = -7*x, 0 = -x + 4*c + 14. Suppose x = 3*w - 4*w. Let g be (-2)/w - 1/3. Solve -n + 3*n - 6 = g for n.
3
Suppose -n - 7*h = -5*h - 3, 0 = 4*n - 5*h - 77. Solve 5*x - n = 2 for x.
3
Let i be (-20)/(-6)*18/(-15). Let m(b) be the first derivative of -b**4/4 - b**3 + 3*b**2/2 - 2*b + 1. Let v be m(i). Solve s + v = 2*s for s.
2
Suppose -63 = -2*t - 5*t. Solve 0 = -t*x + 4*x - 10 for x.
-2
Let k(g) = g**2 - 7*g + 9. Let u be k(6). Solve 0 = w - u + 8 for w.
-5
Let v be (-1*3)/((-1)/2). Suppose -1 = -o - l - v, 5*o - 5*l = 25. Suppose -2*r + 12 - 2 = o. Solve 2*c = c + r for c.
5
Let a be (1 + -1)*5/10. Suppose 0 = m - a*m + 10. Let u = -8 - m. Solve -3*w + 25 = u*w for w.
5
Let x(y) = y**3 + 7*y**2 + y + 10. Let z = -14 + 7. Let q be x(z). Suppose 3*a - 17 = -2*s, -8*s + 5*a + 5 = -q*s. Solve 0*d = s*d - 16 for d.
4
Suppose 24 = 3*l + l. Suppose -h - 5 + 4 = -3*o, 2*h - l = 2*o. Solve 2*i - h*i = -12 for i.
4
Suppose -36 = -q + 4*h, -2*h = 3*q + 3*h - 91. Suppose -z = -0*f - 2*f + 2, 0 = 5*z + f + q. Let a = 6 + z. Solve a*p - 2*p = 8 for p.
-4
Let j = -2 - 6. Let s = j - -24. Solve 0 = 5*u + 9 + s for u.
-5
Let f(g) = -g + 2. Let x be 7*(-3)/9*3. Let k(d) = -d**3 - 6*d**2 + 6*d - 9. Let b be k(x). Let t be f(b). Solve -4 = 2*j + t for j.
-4
Suppose 5*u = -29 + 4. Let a be (-3)/(-1) - (u - -3). Solve -2*b + a = 1 for b.
2
Let l = 5 - 3. Let u be (-2)/(-4) - 3/l. Let b = u - -5. Solve -b*r + 9 = -7*r for r.
-3
Suppose 2*x + 0*x = 6. Solve -3 = -x*z + 3 for z.
2
Suppose 4*m - 11 = 9. Solve m = -5*c - 0 for c.
-1
Let z = -10 + 14. Suppose 4*b = 0, z*w - 2 - 10 = 2*b. Solve -4 - 5 = w*n for n.
-3
Suppose 5*g + 3*w = -w + 985, -5*w = -3*g + 628. Let u = 291 - g. Suppose u = 4*c + 2*t, 5*c - c - 80 = -4*t. Solve 2*m + c = -3*m for m.
-5
Let v(z) = -z**3 - 8*z**2 + 9*z + 3. Let i = 3 - 1. Suppose 36 = -4*g - l, 3*g - 4*l = -25 - i. Let k be v(g). Solve -k*a = 2*a for a.
0
Let s = -11 - -14. Suppose s*y - 9 = -0*y. Solve -y*j - 2*j = 25 for j.
-5
Suppose -3*x - 27 = -0*d + 3*d, x + 18 = 2*d. Let v be x/(-5) - (-4)/(-10). Suppose v*a = -z - z + 14, -z = 4*a - 22. Solve a*m - 1 + 21 = 0 for m.
-4
Let u = -1 + 2. Let j(v) = v**3 - 5*v**2 + 4*v + 5. Let z be j(4). Suppose -l + z = -u. Solve 0 = -2*n - n - l for n.
-2
Let s(v) be the first derivative of -v**3/3 + 3*v**2 + 2*v + 3. Let o be s(6). Suppose -5*l + 15 = o*q - 15, -4*q = -5*l. Solve 0 + 20 = q*f for f.
4
Let f(z) = -z**3 - 5*z**2 - 4*z + 4. Let b be f(-4). Let r = b + -2. Suppose -r*c = -2*s + c + 10, 2*c = -4. Solve -s*x = -7*x for x.
0
Suppose 0 = -5*h - 5*n + 15, -h - n + 9 = -3*h. Let j be 2/h*0/(-6). Solve j*r = r + 1 for r.
-1
Let p(k) be the third derivative of -k**5/60 - k**4/8 + k**3/3 - k**2. Let d be p(-2). Solve j - d*j = -12 for j.
4
Let h be -1 - 11*4/(-4). Solve t = -t + h for t.
5
Let k be (-2)/2 + 4/1. Solve -4*g = -k*g for g.
0
Suppose 2*g = -2*g + 12. Solve -t - g = -5 for t.
2
Suppose 2*a + 2*a = 12. Suppose 2 = 5*g - a. Let h be 10*(g - 1/(-1)). Solve 0*i + h = -5*i for i.
-4
Let y = 10 - 12. Let r be (5/y)/(3/(-6)). Let g be 18/((4/(-3))/(-2)). Solve r*h + g = 2 for h.
-5
Suppose 0 = -3*k + k - 2*k. Solve -q + 0*q + 2 = k for q.
2
Let s(k) = -k**3 + 4*k**2 - 3*k + 1. Let h be s(3). Suppose v = 6 - h. Solve 0 = 3*o + v - 2 for o.
-1
Let u = -40 + 45. Solve u*y + 15 = -0*y for y.
-3
Suppose 12 = -2*y + 2*o, -5*o + 6 = 4*y - 15. Let h be (0 + 1)*(6 + y). Let t(q) = -4*q + 93. Let i be t(22). Solve 0*a - i = h*a for a.
-1
Let g(c) = -c**2 + 5*c + 10. Let a be g(7). Let p = 2 + a. Let n(x) = 2*x**2 + 3*x. Let v be n(p). Solve -v*s - 1 = -9 for s.
4
Suppose 2*p + 1 = 17. Solve 0 = 4*z - 2*z + p for z.
-4
Let m = -20 - -33. Let x = m - 8. Solve 21 = x*k - 4 for k.
5
Suppose -3*v - n - 2*n + 12 = 0, n = 4. Suppose x - 3 + 5 = v. Let h be 84/10 + x/5. Solve -r = r - h for r.
4
Suppose -3*i + 12 = 3. Solve -i + 1 = -y for y.
2
Let a = -144 + 144. Solve a = -2*u + u for u.
0
Let t be (2 + -1)*(-2 - -2). Suppose -4*s + t*s = -8. Solve -d + s = -0 for d.
2
Let l = -28 - -40. Solve -5*s + s = -l for s.
3
Suppose 5*p + 4*u = -8, -5*p + u - 1 = -3. Suppose 4*y - 3*d = 3, p = -y - 0*y + 3*d - 6. Solve y*b + 0*b + 9 = 0 for b.
-3
Let c(q) = 6*q + 4. Suppose 4*y = -2 + 10. Let f be c(y). Solve 0 = 3*h + h + f for h.
-4
Let d = -8 - -10. Suppose 0*v - 14 = -d*v. Solve -3*i = -v*i for i.
0
Suppose -5*a = 2*h - 4, -4*a = -0*a - 5*h - 23. Let n(r) = 0 - 4*r + 2*r**a + r - 3. Let l be n(3). Solve 2*o + 0*o = l for o.
3
Let q(v) = -v**2 - 13*v + 16. Let d be q(-14). Solve 2 = d*a - 0*a for a.
1
Suppose 0 = j - 0 - 4. Suppose 0 = 3*k + 3*b - 12, b - 2*b + 1 = 0. Solve j*q = k*q for q.
0
Let f be 36/9 + 1*-4. Let d be (0 - -1 - 0)*-9. Let j = d - -17. Solve 2*k - j = -f*k for k.
4
Let k be (-3 - -2)*50/(-2). Let t = k - 23. Solve 14 - t = -4*l for l.
-3
Let t(g) = 3*g. Let h(n) = -n. Let u(f) = 12*h(f) + 3*t(f). Let b be u(2). Let k(l) = l**2 + 4*l - 4. Let z be k(b). Solve z = -2*p + 2 for p.
-3
Let a be (-456)/(-9) + 3/9. Suppose -2*j + a = j. Solve 4*y = -3 - j for y.
-5
Let m(v) = -2*v - 24. Let j be m(-18). Suppose -l - 2*f = 6, 0*l - f = l + 1. Solve l = 4*n - j for n.
4
Suppose 3*w = 5*v + 25, 3*w = 5*v - 4*v + 5. Solve c - 2 - 2 = w for c.
4
Let y(h) = -h**3 - h**2. Let f be y(-1). Solve -x + 2*x = f for x.
0
Suppose 0 = 45*i - 43*i. Solve i = -5*y - 29 + 4 for y.
-5
Let i(j) = -6*j + 1. Let a(b) = b. Let w = -5 - -10. Let g(m) = w*a(m) + i(m). Let x be g(-1). Solve r = -x*r + 3 for r.
1
Suppose -7*g + 5*g = a - 5, 0 = -5*g + 3*a - 15. Solve g = -0*s - 5*s for s.
0
Suppose 2*x = -4*c + 42, 0 = -4*c - 3*x - 0*x + 39. Solve -4*k - c = -7*k for k.
4
Suppose 0 = t + t - 6. Let g = 6 + t. Suppose -2*w = w - g. Solve w*v + 7 = -5 for v.
-4
Let j = -30 + 34. Solve 2*c - 4*c + j = 0 for c.
2
Let n be 702/(-30) + (-4)/(-10). Let s = n + 25. Suppose 12 = 4*x - 8. Solve x = s*l - l for l.
5
Suppose 0 = 2*c + 3*g + 5, 5*c - 3*g = 2*g + 25. Solve 0*t + 2*t - c = 0 for t.
1
Let o be 2/(-4)*(-4 + 4). Solve 2*m = 4 - o for m.
2
Let y be ((-42)/28)/(3/(-8)). Suppose 2*z = 6*z - 32. Solve 2*t - z = y*t for t.
-4
Let q = 19 - 19. Solve 0 = -q*l + 3*l for l.
0
Let w(s) be the third derivative of s**5/60 - s**4/24 + 7*s**2. Let x be -1*1/(-1) - 0. Let r be w(x). Solve r = 2*u - 4 + 2 for u.
1
Let u = 1 + 7. Let p be u/12*(1 - -8). Let c = p + -4. Solve c = -0*q - q for q.
-2
Let a = -8 + 6. Let t = 2 + a. Solve -5 = -i - t for i.
5
Let g(j) = j**3 - 7*j**2 + 10*j + 3. Let i be g(5). Solve 8*h + 15 = i*h for h.
-3
Suppose 33 = 4*c - 3*y, 35 - 7 = 3*c + y. Let v be ((-4)/6)/((-2)/c). Solve -v*x = x - 4 for x.
1
Let f be 57/38*8/3. Solve 0 = -0*g - f*g + 12 for g.
3
Let n be 60/(-40) - 2/4*-7. Let p be (2/(-2)*1)/(-1). Solve -n*l + p = -3 for l.
2
Suppose -5*d = -d - 12. Suppose 3*t = 4*t - d. Solve -m = -t*m for m.
0
Suppose 0 = b + 2*b + 2*l + 30, 27 = -2*b + l. Let s be (-183)/b + (-1)/4. Solve -6*a = -a + s for a.
-3
Suppose c - 3 = -0. Solve 0*s + c*s - 12 = 0 for s.
4
Suppose 0 = 8*y - 4*y. Solve 4 = p - y for p.
4
Suppose 2*g - 19 = -15. Solve -v - g = v for v.
-1
Let r = 168 + -163. Solve 3*y = r + 4 for y.
3
Let i(u) = -u**2 - 9*u - 4. Let n be i(-8). Solve 2*v - n + 2 = 0 for v.
1
Let t be (2 + 0)*(-1 - -3). Suppose 3*u + 30 = 8*u. Let i be (-4)/((-1)/(3/u)). Solve -t = -4*j + i*j for j.
2
Let t(x) = -x**2 + 8*x - 7. Let v(d) = -d**3 + 3*d**2 + 5*d + 3. Let n