 p = 232 + -135. Let r = p + -57. Suppose 5*q - r = -5*c, -6*q = -q + c - 24. Solve -k = -5*k - q for k.
-1
Suppose -4*g = -37 - 11. Let t = g + -7. Solve 3*i + t = -2*i for i.
-1
Let j(g) = 4*g**2 - 22*g - 7. Let u be j(6). Suppose -15 = -u*a - 0. Solve 2*l - a*l = -3 for l.
3
Let h(g) be the third derivative of -g**4/24 + 2*g**3 - g**2. Suppose u + 2 + 10 = 2*f, 0 = f + u - 12. Let w be h(f). Solve 8*y = w*y - 8 for y.
-2
Suppose -14 = 2*z + 4*n, 0 = 2*z + 2*n + 3*n + 19. Suppose 15 = 4*p + z. Suppose h + 152 = 20*h. Solve h = -i - p*i for i.
-2
Let q be -2 + (-1 + 17 - 2). Solve -j - 14 = -q for j.
-2
Let s = 21 - 23. Let o be 4*25/s*(-3)/15. Solve 13*u - 8*u = -o for u.
-2
Let k(o) = -o**2 - 16*o + 17. Let d = 63 - 80. Let q be k(d). Solve -5*g + 13 - 28 = q for g.
-3
Let n = -502 - -504. Let c be (0/(3 + -2))/(-1). Solve c*a = -a - n for a.
-2
Let v(h) = -h**2 - 6*h - 4. Suppose -q + 2 = 6. Let y be v(q). Let b = -46 + 49. Solve -b*c - y = 5 for c.
-3
Let g(u) = 2*u**2 - 9*u + 8. Let z be g(4). Solve 0 = z*d + 12 - 20 for d.
2
Let p = 49 - 28. Let x = p - 10. Solve -x - 1 = -4*k for k.
3
Suppose -5*n + 96 + 189 = 0. Let g = 60 - n. Solve g*t + 2 = -10 for t.
-4
Let q(o) = o**3 + 23*o**2 + 21*o - 18. Let r(y) = -y**3 - 6*y**2 - 2*y + 2. Let j be r(-4). Let f be q(j). Solve -f*k + 20 = -0 for k.
5
Suppose 6*a = -11*a. Let w be ((-1 + 1)/2)/2. Solve w*r - r = a for r.
0
Suppose 40*j - 145 = 615. Solve 14*l = -j*l + 10*l for l.
0
Let l(c) = -6*c**2 - 111*c - 36. Let x be l(-18). Solve -x = u - 19 for u.
1
Let x(z) = 83*z**3 - 3*z**2 - 6 + 1 + 5*z - 84*z**3. Let y be x(-5). Solve -5*l + y = -l for l.
5
Let u(t) = 11*t**2 + 7*t - 19. Let i be u(3). Let k = i - 99. Solve k*m + 3 = -3 for m.
-3
Suppose -22*w + 34 = -142. Solve 10*q - 14*q = -w for q.
2
Let a(x) be the first derivative of -3*x**2/2 - 23*x - 23. Let o be a(-9). Solve h - o = -h for h.
2
Suppose -2*v + 2 + 6 = 0. Solve -1 = 5*i + v for i.
-1
Let w(f) be the first derivative of -f**2/2 + 11*f - 8. Let r be w(11). Suppose 5*y + 0*y - 5 = r. Solve -y = -5*s + 9 for s.
2
Let t = -15 + 30. Let x = t - 11. Let s be (8 - 5)/6*0. Solve s*h = x*h - 4 for h.
1
Suppose -18*k + 22*k = 3*l + 49, -67 = -5*k - 2*l. Solve 0 = 2*v - k*v + 44 for v.
4
Suppose -33*d + 54*d = 42. Solve d*r - 5*r - 15 = 0 for r.
-5
Suppose 6 = -3*q, -p + 3*q - 4 = -10. Suppose -2*h + 196 = 172. Let n = 20 - h. Solve 0*f + 2*f - n = p for f.
4
Suppose 8*q = 6*q. Solve q*i - 3*i = 0 for i.
0
Suppose -273*k + 284*k = 220. Solve -k*l + 12*l = -8 for l.
1
Suppose 40*h = 23*h + 221. Solve 5*k = h + 7 for k.
4
Let n be (-70)/(-3) - 2/(-3). Let o(s) = -s**3 - 4*s**2 - s - 1. Let k be o(-4). Suppose -n = -3*x - 6*h + k*h, -h - 8 = -3*x. Solve -i + 1 = -x for i.
5
Suppose m - 97 = -4*o, m = -o - 2*m + 27. Solve 7*f - o = -5*f for f.
2
Let a be -3 - 328/(-8 - 0). Solve -11*z = 6 + a for z.
-4
Let h(m) = 2*m**2 - 2*m - 1. Suppose -17*l = -19*l + 4. Let j be h(l). Suppose 6 = w - 3*b, -2*w - 6 = -j*w - b. Solve -u + w = 4 for u.
2
Let u be 11 + -2*1 + 12/4. Suppose u*n + 20 = 80. Solve 0 = c + n - 4 for c.
-1
Let n = -1 - 1. Let j(q) = q**3 + 2*q**2 - q + 1. Let c be j(n). Suppose -6*w + 15 = -c*w. Solve h - 8 = w*h for h.
-2
Let b be ((-8)/28)/((-2)/42). Solve 2*n = 2 + b for n.
4
Let d = -808 - -810. Solve -26*n = -25*n + d for n.
-2
Suppose -4*q - 10*s + 5*s - 10 = 0, 2*q = -4*s - 8. Solve -25*x + 29*x + 8 = q for x.
-2
Let o = -41 - -44. Suppose 3*v + 4 + 21 = 5*z, 15 = o*z + v. Solve -z*j - 15 = -2*j for j.
-5
Let a(j) be the first derivative of -j**4/4 + 7*j**3/3 - 7*j**2/2 + 8*j - 1. Let d(i) = 5*i + 161. Let g be d(-31). Let f be a(g). Solve -3*z + 10 = f*z for z.
2
Let r = 17 + -24. Let c = r + 11. Solve u = -u + c for u.
2
Let t(f) = 3*f - 4. Let c be t(2). Suppose -4*u + 3*x = -17, -u = 2*u - 4*x - 18. Suppose -4 = -u*r + 2. Solve -v - c*v = r for v.
-1
Let a(c) = 2*c + 27. Let q be a(-18). Let w(p) = -p**3 - 10*p**2 - 9*p + 4. Let k be w(q). Solve -k*t = -9*t for t.
0
Let c be (-10 + (-1 - -9))*-1. Suppose -3*n + 14 = -n. Solve 0 = -c*k + 3 + n for k.
5
Suppose u + 1 - 6 = -2*w, 23 = 4*u + 5*w. Suppose -12 = 3*j - 4*j. Suppose 2*g - 12 = -2*g. Solve -g*f = -u*f + j for f.
3
Suppose -c = -3*s + 10 + 2, -s = -2*c + 1. Solve 0 = -2*o + 5 + c for o.
4
Let g(b) = -2*b + 12. Suppose 0 = -0*n - 4*n + p + 13, 2*p = 2*n - 2. Let k be g(n). Solve 0 = 5*t - k*t + 2 for t.
-2
Let h(u) = 6*u. Let s be h(1). Let n be (-8)/6*s*-1. Suppose 0*y + n = -m + 4*y, -4*m + 23 = -5*y. Solve -5*g + 8 = -m for g.
4
Let r be 2/2 + 4 + -2. Suppose 42*q - 9 = 39*q. Solve -q*k = -3 - r for k.
2
Suppose -k + 16 = 4*f + 6, 4*k = 5*f + 82. Solve k - 20 = o for o.
-2
Let a(w) = -5*w - 1. Let f be a(-1). Suppose 1 = -2*b + 4*s + 7, -4*b + f*s + 12 = 0. Solve -6*q + 6 = -b*q for q.
2
Let j(t) = 2*t - 9. Let s be j(6). Suppose -3*v + 71 - 53 = 0. Solve 3 = -s*o + v*o for o.
1
Suppose 0 = -24*h + 23*h + 52. Let g = h + -46. Solve -2*i = g - 12 for i.
3
Suppose -50*t + 44*t + 6 = 0. Solve -16*q + t = -31 for q.
2
Suppose 141*h - 65 = 128*h. Solve -h*o + 2*o = 2*o for o.
0
Let p = 69 + -49. Suppose q + q + p = 2*l, -3*l + 5*q + 38 = 0. Solve -l*v + 3*v = 0 for v.
0
Let y(v) = -v**2 - 18*v + 32. Let i be y(-19). Suppose 0 = -o + 3*j - 12, -2*o + 5*o = -3*j + 24. Solve -o*n = -i + 4 for n.
3
Suppose -2064 = -885*r + 873*r. Solve 0 = r*p - 181*p + 9 for p.
1
Let m(q) = q + 1. Let o be m(-1). Suppose 2*r - r = o. Suppose 22 = v + 4*x, -5*x = 4*v + 18 - 73. Solve r = -4*l - l + v for l.
2
Let s(z) = -z - 5. Let r be s(-7). Suppose 0 = m - 0*f + 5*f - 21, r*f = -4*m + 12. Solve 7*d + m = 8*d for d.
1
Let v = 8 + -3. Suppose 0 = -5*i + 2*x - x + 21, 25 = v*i - 5*x. Solve -i = 4*s + 4 for s.
-2
Let r be (0/2)/(-5) - -3. Suppose -a - 6 = -r*x - 3*a, 4*x = -4*a + 4. Solve 5*i = x*i + 2 for i.
2
Let i(h) = -h**2 - 7*h - 6. Let r be i(-2). Solve -r*b - 3*b + 7 = 0 for b.
1
Let k = -12 + 17. Let w = 8 - k. Suppose 0 = 5*m - 5*j, -4 = m - w*j - 0*j. Solve -m*b = b for b.
0
Let u be (0/(-9))/(-4 + 5). Let y = 10 - 3. Let d = y + -3. Solve -d*m + u*m + 4 = 0 for m.
1
Let d be ((-8)/(-12))/(2/3). Suppose -b = -3 + d. Solve 0 = -2*k - b*k + 12 for k.
3
Let u(n) = n - 12. Let b be u(22). Solve 7 - b = -3*h for h.
1
Suppose -5*m = -4*j - 1, 3*m - 5*j = -2*m. Suppose 0 = -2*t - q - 4*q + 9, -1 = -2*t + 3*q. Suppose -3 = -t*w + m. Solve -2*b - w + 6 = 0 for b.
2
Suppose -90 = -3*n - 3*n. Let a(w) = -3*w + 48. Let m be a(n). Solve -q = m*q - 8 for q.
2
Let h = -13 + 11. Let d = 31 + -24. Let o be d + h + -2 - 2. Solve 0 = -r - o + 4 for r.
3
Suppose d - 53 + 0 = 0. Suppose 57*a - d*a = 16. Solve a + 0 = -2*t for t.
-2
Let m = 855 - 849. Suppose -2*y + 3 = -7. Solve -y*r = -m*r for r.
0
Suppose -10*q = 10*q - 60. Solve -3*v + q = -9 for v.
4
Let q be (-19)/(-7) - 10/(-35). Suppose 2*i - 10 = -2*g - 2*g, i = 5*g - 30. Let v = -17 + 39. Solve -q - v = -g*j for j.
5
Let d = -199 - -203. Let i be 10/3 - (-2)/3. Suppose 3 = 4*b - 2*j - 1, -5*j + 18 = i*b. Solve -d = -b*g - 6 for g.
-1
Let p(f) = -f**3 - 9*f**2 - 8*f + 2. Let m be p(-8). Suppose 4*i + 2*k = 6, 9 = m*i + k - 6*k. Suppose 0 = -i*r + 8*r - 120. Solve -3*t = t + r for t.
-5
Let b(y) = y**2 + 3*y + 4. Let q be (2/(-3))/((-6)/(-27)). Let n be b(q). Solve -n*f + 18 = 6 for f.
3
Let a be 9/6*14/21. Suppose -v = -0*v - a, -5*m = -2*v - 23. Solve m + 0 = -w for w.
-5
Let q(t) = -t**3 + 7*t**2 + 32*t - 9. Let w be q(10). Solve 8*m - w = 5 for m.
2
Suppose 3*y - 18 = 2*y. Suppose 0 = y*u - 13*u. Suppose -4*i + u*i + 3*b = 0, -i = -4*b. Solve 0 = -2*h - i + 2 for h.
1
Let o = 3 + -3. Let l = 52 + -50. Solve -l*k - 2*k + 20 = o for k.
5
Suppose -27 = a + 2*x - 32, -3*a + 3*x + 6 = 0. Solve -5*t = -7 - a for t.
2
Let i be (2/(-4))/((-7)/42). Suppose 0 = 2*r - r - i. Suppose -2*p = 4*l - 20, l + 3*l = -r*p + 24. Solve -l - 2 = -5*t for t.
1
Suppose 0 = -3*q + 8*q. Solve l - 4*l = q for l.
0
Suppose b + o = 17, -5*b + 4*o + 6 + 34 = 0. Let z = b - 7. Solve -3*r + 2*r + z = 0 for r.
5
Suppose -t + 2*u - 98 = 4*t, 38 = -t + 5*u. Let f be (5 - -1)/(3/10). Let m = t + f. Solve -k + 5 = -m*k for k.
-5
Let p(h) = -h**3 + 2*h**2 + h + 1. Let t be p(2). Let o = 5 - 3. Suppose o*f - t = 3. Solve -f*u = u for u.
0
Let x(l) = -2*l**2 - 17*l - 27