 = 51 + -49. Solve s + m*s = -9 for s.
-3
Let k(c) = -4*c**3 - c**2 - 2*c - 2. Let r be k(-1). Solve m - r = 2*m for m.
-3
Suppose 3*o + 0 - 136 = -2*f, 5*f - 124 = -3*o. Solve -o*g = -51*g + 9 for g.
3
Let h(s) = 2*s + 58. Let q be h(-23). Solve 14*p - q*p - 10 = 0 for p.
5
Let g(f) = -2*f**3 + 1 + 3*f**3 + 84*f - 82*f + 7*f**2 + 14. Let o be g(-7). Solve n = 4 - o for n.
3
Suppose -2*v - v = -9, -z + v - 1 = 0. Let a = 1 + z. Suppose -3*d + a + 3 = 0. Solve 0 = -4*x + d + 14 for x.
4
Let w = -11 - -23. Let s = 0 + 8. Suppose s*l = 3*l. Solve l*z = 3*z + w for z.
-4
Let a = 3 + 1. Let q(m) = -6*m**3 - 13*m**2 - 7*m - 5. Let k be q(-2). Solve -j + k*j = a for j.
1
Let t(i) = i - 8. Let r be t(8). Solve -2*y + 8*y + 6 = r for y.
-1
Let d be 49/3 - 1/3. Let o = d - 22. Let i be (o/(-7))/(2/14). Solve -q - i = q for q.
-3
Suppose 16*y - 13*y - 9 = 0. Suppose -2*k = s - y, 3*k - 2*k = 2*s - 21. Solve -r - 2*r - s = 0 for r.
-3
Suppose 0 = d + 75 - 95. Solve 192*y - 197*y + d = 0 for y.
4
Let r be 3 + (-3*(-224)/12 - -3). Solve 67*a - r*a = 25 for a.
5
Let m = 236 + -228. Solve -m*s + 1 - 1 = 0 for s.
0
Let b(l) = -l**3 + 23*l**2 - 21*l - 20. Let t be b(22). Suppose 2*r = -5*o + 2*o + 15, 21 = 2*r + 5*o. Solve 3*u + r = t*u for u.
-3
Suppose -2*g = -22 - 12. Suppose -143 = -2*t - g. Let o be 18/t + (-24)/(-14). Solve -2*l + 2 + o = 0 for l.
2
Suppose 2*p + 0 - 20 = y, -y + p = 17. Let u be 1/2*(y + 0). Let f(v) = -v**2 - 8*v - 7. Let a be f(u). Solve a = -2*m + 11 - 1 for m.
5
Suppose -2*k = n + 3, 3*k + 3*n + 12 = 3. Let g(v) = v**2 + 4*v. Let z be g(-5). Solve k*a = -z*a for a.
0
Suppose 5*n = -362 + 87. Let b be n/(-45)*3 - 6/9. Solve -3*v + 6*v = b for v.
1
Let r(h) = -h**2 - 46*h + 292. Let a be r(-51). Solve -3*u + a = 25 for u.
4
Let p be (-338)/(-91) + 2/7. Suppose p*r + 20 = -5*h, -4*r = 4*h - h + 20. Suppose 0 = 2*b + i + 2, 0 = 5*b - 2*b - 2*i - 4. Solve b = -h*s + 2*s - 10 for s.
5
Let u(o) = o**3 + 7*o**2 - 6*o + 16. Let j be u(-8). Suppose j = 4*v - 8*v + 80. Solve 0*x - v = 5*x for x.
-4
Let i be (-3848)/(-14) + (-4)/(-28). Let j be (2/5)/((-11)/i). Let x be 2/5 + (-36)/j. Solve -x = 5*c + 1 for c.
-1
Let l be 12*((-270)/(-24))/15. Solve l = -6*q - 9 for q.
-3
Suppose -26 - 156 = -7*h. Solve 0 = -h*q + 29*q + 9 for q.
-3
Let d be (-4)/14 - (153/(-21) + -2). Solve 0 = 2*r + 5 - d for r.
2
Suppose 159 = 5*z + 19. Suppose -19 = -w - 2*p, 2*w - 2*p = 71 - 27. Let v = z - w. Solve -2*s - v = -3 for s.
-2
Let o = -23 - -32. Suppose z - o + 0 = 0. Solve -z*r = -5*r + 20 for r.
-5
Let u = 7 + -7. Suppose u = -j + 2 + 4. Let v be 0/(j/(-2))*1. Solve -4*y + 0*y - 4 = v for y.
-1
Let c(n) = 8 + 1 - 1 + 17 - 2*n. Let z be c(10). Solve 0 = g - z*g - 4 for g.
-1
Let f(j) = -4*j - 8. Let y be f(-8). Let c = y - 22. Solve 0 = 7*x - c*x for x.
0
Suppose -r = -2 - 3. Suppose -2*v + 7*v = -p - 40, -2*p - r = -5*v. Let i = 19 + p. Solve 0*t = i*t - 20 for t.
5
Suppose 947 = 10*w + 497. Solve 2*f - 49 = -w for f.
2
Suppose -5*u = 9 + 11. Let x be (((-6)/u)/1)/((-7)/(-14)). Solve -4*o + x = -9 for o.
3
Let f be ((-2)/3)/(2/(-18)). Suppose -2*k = 8 - 24. Solve -f*z - k = -2*z for z.
-2
Let d = 170 - 167. Solve 5 = w + d for w.
2
Let a(g) = -g**3 - 25*g**2 + 28*g + 61. Let q be a(-26). Solve q = 11*k - 2 for k.
1
Let v = -29 - -32. Let l be (-5 + 1 + v)*-29. Solve -9 = -4*y - l for y.
-5
Let n(x) = -x**2 - x + 6. Let d(h) = -h**3 + 11*h**2 + 13*h - 15. Let u be d(12). Let c be n(u). Suppose -l + 33 - 28 = c. Solve 0 = l*k - 2*k - 12 for k.
4
Suppose 0 = 2*u + 6, -u - u + 15 = -3*f. Let g be ((63/(-6))/f)/((-7)/(-28)). Let t(s) = -s**3 - s**2 + 2. Let x be t(-2). Solve x + g = 3*l for l.
4
Let a = 2920 - 2903. Solve -a = -4*g - 9 for g.
2
Let y(z) = 3*z - 1. Let p be y(1). Suppose 0*t + 2*t - 16 = -4*u, 8 = p*u + 4*t. Solve u = s + s for s.
2
Let d(k) be the first derivative of k**3/3 + 2*k**2 - 13*k + 13. Let z be d(-7). Solve -2*l = -0*l + z for l.
-4
Let s be 11 - (4 - (-4 + 4)). Solve -5 = -s*w + 2 for w.
1
Let y = 89 + -85. Suppose -4*b - 18 - 10 = -y*t, -4*t = -5*b - 28. Solve 4*c - 9 = t*c for c.
-3
Suppose -d + 4*u - 12 = 0, -5*d + 3*u - 9 = -4*d. Let j be 21 - ((-9)/3 - d). Let m = j + -21. Solve m*z - 20 = -2*z for z.
4
Let r(k) be the first derivative of k**4/4 + 7*k**3/3 + 2*k**2 + 7. Let w be r(-6). Solve w = -o + 5*o for o.
3
Let j be 0/10*(-1)/(-4). Solve -m - 3 = -j for m.
-3
Suppose 3*a = 2*m - 59, -m - 4*a + 3*a + 27 = 0. Solve -5*u - m = -12*u for u.
4
Let o be 3/((-26)/(-4) + -5). Solve 6*g = o + 4 for g.
1
Let a(k) = -13*k + 158. Let o be a(12). Solve -6*m + o + 10 = 0 for m.
2
Let b(w) = 16*w - 988. Let u be b(62). Solve 20*o - 22*o + u = 0 for o.
2
Let u = -182 + 186. Solve u*p - 2 = -10 for p.
-2
Suppose -5 = 6*y - 23. Solve m = 4*m + y for m.
-1
Let x = 594 + -573. Solve 7*q - 56 + x = 0 for q.
5
Suppose -174 = 6*i + 114. Let d be 24/i - (0 - 22/4). Solve 0 = -d*v + 13 + 7 for v.
4
Let t be (-7 + 5)/(1/1 - 0). Let l = 13 - t. Solve -l + 5 = -2*m for m.
5
Let j(h) = -h + 31. Let d be j(0). Suppose -4*y + q + 68 = 52, -3*q = 4*y - 32. Let o(t) = 11*t**2 + t + 1. Let k be o(-1). Solve y*w = -d + k for w.
-4
Suppose 5*o + 2*a = 26, 2*o - 2*a = a - 1. Suppose 0 = -9*d + o*d. Solve 2*b + 2*b + 20 = d for b.
-5
Let o be (-40)/(-18) - 20/90. Suppose 3*z - 35 = -o*z. Solve -2*t = -3 + z for t.
-2
Let d be (7 - 117)*8/10. Let v be d/10 + (-2)/10. Let o be (-13)/(-8) - v/24. Solve 0 = -y - o + 1 for y.
-1
Suppose 925*z - 126 = 916*z. Solve -3*t + 0*t + z*t = 0 for t.
0
Let d be (-20)/270 + (-1300)/(-54). Solve d = -12*q - 36 for q.
-5
Let a be 4 - (-1)/(1/6 + 0). Let j = 22 - 21. Solve -a + j = 3*x for x.
-3
Let p = 11 + -4. Suppose -3*l - 82 = -5*a, -2*a = 3*l - p - 9. Let k = -12 + a. Solve k*d + 0*d + 10 = 0 for d.
-5
Suppose -23 + 400 = 13*f. Suppose j + 5*m - f = 0, -6 + 16 = 2*m. Solve -8 = -0*b - j*b for b.
2
Let k = 24 - 20. Suppose -4*s + 12 = -k*o, -5*o + s + 0 = -5. Solve 0 = w + o - 1 for w.
-1
Let h(u) = -u**3 + 4*u**2 - 22*u + 67. Let t be h(3). Solve -t*j - 25 = -5*j for j.
-5
Let o(k) = 4 - 15*k + 6*k**2 + 5*k + 4*k. Let j be o(2). Solve 5*u + 1 = j for u.
3
Let c(u) = -146*u - 871. Let g be c(-6). Solve -g*w = -7*w for w.
0
Let b = -32 - 2. Let m = b - -38. Solve m*z - 16 = 8*z for z.
-4
Let s(m) = -m**3 - 10*m**2 - 7*m - 2. Let l be s(-4). Let n be 4/7*l/(-20). Solve 0 = -5*t + n*t - 15 for t.
-5
Let p(z) = z + 10. Let l be p(4). Suppose -d + l = 6*d. Solve -2 = -r + d*r for r.
-2
Suppose 0*x + 20 = 4*x. Suppose -2*j + 0*j = -x*i - 4, -3*j = -3*i - 6. Suppose -3*y + j*u + 4 = 0, -4*y = 5*u + 8 + 2. Solve y = 4*n - 0*n - 20 for n.
5
Let j be (3/(-6))/(-3 + 68/24). Suppose -2*w = -3*r - 0*r + j, -5*w + 3*r = -6. Solve w*k + 5 + 4 = 0 for k.
-3
Suppose -9*z + 177 = 132. Solve -8*i - z*i + 52 = 0 for i.
4
Let z(f) = -f + 14. Let u be z(7). Let c(p) = -p**2 + 9*p - 14. Let h be c(u). Solve h = -3*o + 10 - 1 for o.
3
Let y be 6 + (48/6)/(-4). Solve -4*m + y = -6*m for m.
-2
Let k = 16148 - 16141. Suppose 4*o = -5*z + 27, 8 = o + 2*z + 2. Solve 0 = o*h - k*h for h.
0
Let p = 73 + -76. Let t(r) = -r**3 + 4*r**2 - 3. Let z be t(3). Let g be (0 - 10)*p/z. Solve -i = -2*i - g for i.
-5
Let d(l) be the first derivative of -l**6/360 - l**5/120 - l**3/3 - 5. Let a(z) be the third derivative of d(z). Let u be a(0). Solve 3*n = -u*n for n.
0
Suppose 964 - 919 = 5*b. Solve 6*c - 6 = b*c for c.
-2
Let l be ((-5)/((-105)/78) + -5)*-7. Solve -l*x - 3 = -6*x for x.
-1
Let d be 20/9 + (-4)/18. Let o(x) = x**3 - 5*x**2 - 7*x + 6. Let h be o(6). Let f be h*d/4*1. Solve -4*v + f*v = 0 for v.
0
Suppose 3*o + 0*o - m - 36 = 0, 0 = 3*m - 9. Let a = -7 + o. Solve 4*k - 2 + a = 0 for k.
-1
Suppose -14*q + 12 = -10*q. Let r be 30/4*6/9. Suppose r*t - 32 = -7. Solve t*m - q = -23 for m.
-4
Suppose 4*a + 36 = t - 0*t, 5*t = 4*a + 52. Let w be a/28 - 5/(105/(-6)). Solve w*j = -2*j for j.
0
Let d be (-49)/21 - 3/((-9)/(-2)). Suppose 0 = j + 1 - 7. Let o = d + j. Solve 0 = -o*z + 7*z for z.
0
Let d be (12/(-6))/(4*(-8)/64). Solve -65 = -d*j - 81 for j.
-4
Let x be (-4*35/(-28))/(3/9). Solve 0 = 65*g - 68*g - x for g.
-5
Let g(s) = 2*s - 10. Let x be g(6). Suppose x*z = -2*b + 10, -2*b - 2*z + 3*z + 4 = 0. Solve 12 = -b*p - 3 for p.
-5
Let z = 35 - 33. Let h