 - 2*l, d = 2*l. Solve -k = -4*c - 5 for c.
-1
Let l be (-1)/(-2*3/30). Suppose -a - 1 = u, 5 = -5*a + 2*a - l*u. Solve a = -2*d - 2*d for d.
0
Let y(o) = -o + 3. Let d be y(-2). Let a be 21/d + (-2)/10. Solve 0 = -a*w + 7*w for w.
0
Suppose -3*b + 30 = -5*p + 12, 12 = -3*b - 5*p. Let i be (4/(5 - 1))/b. Solve -2*n + 7 + i = 0 for n.
4
Let o = -162 + 208. Solve o*c - 43*c = 0 for c.
0
Let o(p) be the third derivative of -p**6/120 + p**5/15 + p**4/4 - p**3/2 + 13*p**2. Let i be o(5). Solve -i*z = -2 - 2 for z.
2
Let x = 61 - 91. Let y = x - -33. Solve -y = 3*m - 4*m for m.
3
Suppose -109 + 333 = 28*f. Solve g - 11 = -f for g.
3
Let y(r) = r**3 + 2*r**2 - 10*r + 7. Let g be y(1). Solve -33*m + 35*m = g for m.
0
Let u(a) = a**2 + 5*a + 10. Let r(k) = k. Let j(y) = 4*r(y) + u(y). Let p be (-1 - 0) + (2 - 9). Let l be j(p). Solve -5*c + l = 12 for c.
-2
Let d(f) = -f**3 + 7*f**2 - 6*f + 12. Let o be d(7). Let a = -17 - o. Let m = -9 + a. Solve -2*n - m = -n for n.
-4
Let m be 1/3*0/2. Suppose m - 5 = -5*i. Solve 3*b = -4 + i for b.
-1
Let x(u) = -u**3 - 14*u**2 - u - 14. Let n be x(-14). Suppose n = -h - h + 10. Solve d = h*d - 4 for d.
1
Suppose -3*z = 4*u - 185 + 1538, 0 = -5*u - 3*z - 1695. Let a be u/(-81) - 2/9. Suppose 0 = -4*l + 4*f + a, 0*l - 2*f - 6 = -3*l. Solve l*d + 15 = -5 for d.
-5
Let b = 27 - 29. Let l be 1*15/((-6)/b). Let a be -1*1*0 - -12. Solve l*u = u + a for u.
3
Let z be -21*1*(-2)/6. Suppose 2*b + 36 = 4*y + z*b, 0 = 2*y + 3*b - 16. Let t be 22/4*(-7 + 36/4). Solve -y - t = 5*k for k.
-5
Let m(c) = -3*c - 4 - 4*c + 2*c**2 + 2 + 6*c. Let o be m(-3). Solve -o = 4*s + 1 for s.
-5
Let a(l) = 4*l - 4. Let v be a(10). Suppose -4*t + 7*t - 3*z = v, t = -2*z. Suppose 0 = 9*d - 3*d. Solve -4*x = -d*x - t for x.
2
Let s(m) be the second derivative of m**4/12 + 8*m**3/3 + 17*m**2/2 - 2*m. Let o be s(-15). Let h be (-6 + 11)/(o - 1). Solve -c = -0*c - h for c.
5
Suppose -142*i + 154*i = 348. Solve i = 2*z + 29 for z.
0
Let a = 251 - 248. Solve -a*h = -0*h + 6 for h.
-2
Suppose -5*a - 175 = -4*g - 2*a, -180 = -4*g + 4*a. Let v = -32 + g. Solve -v = j + j for j.
-4
Let z be ((-6)/(-4))/((-9)/90*-5). Solve -z = -6*a + 9*a for a.
-1
Let c = -5 - -8. Suppose -24*o = -2*o - 52 - 212. Solve o - c = -3*u for u.
-3
Suppose 7*r = 8*r - 6. Let g be (-2 - -3)/(2/r). Solve -g - 5 = -2*p for p.
4
Let n = 20 + -15. Suppose 7 + n = -3*h. Let j be (-1)/(-2) + h/8. Solve j = -3*f - 2 - 1 for f.
-1
Let c = 44 + 33. Let k be (-3)/2 - c/(-14). Solve 0 = 3*g - g - k for g.
2
Let n be (-1)/(-2*((-522)/132 - -4)). Solve 0 = -15*x + n*x + 8 for x.
2
Suppose -66 + 176 = 2*l. Solve -15*f = -5 - l for f.
4
Suppose -2*c - 9 = 3*y, 0 = 3*c + 4*y + 5 + 7. Let g be c + 26/2 + 4. Solve 5*k - 42 = -g for k.
5
Let p(t) = -21*t - 80. Let u be p(-4). Solve u*s - s = 9 for s.
3
Suppose 5*f - 33 = -4*a, -2*a + 2*f + 22 = -8. Suppose 8 + 120 = 32*g. Solve 0 = -b + g*b + a for b.
-4
Suppose -3*b = -2*a + 7, 2*a = -b - b + 2. Let r be (a/4)/(4/56). Suppose 0 = -3*s + 3*i - 3, -3*s + r*i - 11 = 2*i. Solve s*o - 4 = 2 for o.
2
Let l = -74 + 89. Let y = l + -13. Solve 3*n = -y + 8 for n.
2
Let g be 2 + (4 + -4 - 0). Let v be (-3)/1 - -3 - -7. Solve v*f + 25 = g*f for f.
-5
Let g = 498 - 347. Let f = -146 + g. Solve -1 = j - f for j.
4
Suppose -3*d = x, 11*x + 13 = 15*x - d. Suppose 5*n + z = -0*z + 9, 2*n - 7 = 3*z. Solve -n*w - x = w for w.
-1
Suppose -266 = 2*l + 16. Let v = l + 150. Solve -5*n = -v*n + 4 for n.
1
Let l = 927 + -922. Solve n - 6 = -l*n for n.
1
Suppose 4*l = -2*w + 8, 20 = -l - 0*l + 5*w. Solve -6*d + 5*d + 4 = l for d.
4
Let h(q) = 8*q**2 + 2*q + 1. Let y be h(-1). Suppose -y = -d - 3. Suppose -2*a + 4*j - d = 0, 2 - 12 = -2*a - 3*j. Solve -a - 3 = w for w.
-5
Suppose 90*y = 84*y. Solve y = -3*w - 11 + 8 for w.
-1
Let t(o) = o. Let f = -15 + 15. Let w be t(f). Let a be 4 + (4 - w)/4. Solve 4*g - a*g = 5 for g.
-5
Let a(j) = 50*j + 774. Let p be a(-15). Solve 11*i - p = 17*i for i.
-4
Let n = -83 + 91. Suppose -5*m + 22 = -n. Solve 4*h + 6 = -m for h.
-3
Suppose 9 - 11 = -n. Suppose -4 = -3*o + 11. Suppose 5*z - 4*z - 34 = -3*c, -20 = -4*c + o*z. Solve -3*d = n*d + c for d.
-2
Let s = 7 - 3. Let k(o) = -104*o**2 - 1040*o + 7. Let w be k(-10). Solve -s*b = -w + 23 for b.
-4
Let s(u) = -u**3 - 15*u**2 + 16*u + 17. Let c be s(-16). Let v = c + 1. Suppose q + v = 4*q. Solve r = -r - q for r.
-3
Let q(l) = l**2 - 12*l + 25. Let p be q(10). Let w be (-1)/(((-2)/(-24))/(-1)). Suppose w = -2*b - 4*c, 0 = 2*b + 2*b - 5*c - 15. Solve -4*z + p + 15 = b for z.
5
Let f = 1559 - 1558. Solve 8*i - 9*i - f = 0 for i.
-1
Suppose 0 = 5*x - 8 - 12. Suppose 4*u = 16, 38 + 42 = x*m - 3*u. Solve -m = 4*l - 7 for l.
-4
Suppose 0 = 3*q - 8*q. Suppose q = 19*y - 22*y + 3. Solve 4 = -5*r - y for r.
-1
Let i(b) = -b + 5. Let y be i(-3). Let w = 4 - y. Let n(c) = 2*c**2 + 6*c - 3. Let m be n(w). Solve 10 = -m*f - 0 for f.
-2
Suppose -3*d - 2*d - 3*k = -22, -d + 4 = k. Solve -10*j = -d*j + 10 for j.
-2
Suppose -130 = 3*k - 34. Let s be (4 - 35/10)/((-1)/k). Solve 0 = -5*f - s - 4 for f.
-4
Let t be 1/4 + -2 + 15/4. Suppose -k + 27 = 5*g, -t*g + 14 = -0*g + 2*k. Solve g*v = -5 - 10 for v.
-3
Suppose d + 4*p = -p + 112, -103 = -d - 2*p. Solve -6 = d*n - 94*n for n.
-2
Suppose c - 9 = -4*x, 4*x - 3*c - 4 = 1. Let z(g) = -g**3 - 6*g**2 - g - 5. Let i be z(-6). Solve f + i - x = 0 for f.
1
Suppose -32*g + 5*g = -18*g. Solve -18 = -g*x - 6*x for x.
3
Let y be (5*(24/15)/2)/2. Suppose -24 = -5*s - y*z, 5*s - 15 = s - 3*z. Solve 3*v + s = -0 for v.
-2
Let o(n) = -n**3 + n**2 + 2*n - 1. Let r be o(-2). Suppose 11 - 32 = -r*l. Solve l*s + 1 = 2*s for s.
-1
Let v be 0 + -14*10/(-35). Solve -5 = -w - v for w.
1
Suppose -4*k + 4 = -2*v, 2*v - 4 - 10 = -2*k. Let p(t) = 2*t**2 + 1 - 10*t**3 + 9*t**3 - t + 2 + 3*t. Let f be p(k). Solve f = -5*x + x for x.
0
Suppose 19 = 5*f + 9. Solve 12 - f = -5*j for j.
-2
Let i be (-2)/(-7) + (-378)/(-49). Solve 5*r - i = 12 for r.
4
Let m = 316 - 307. Solve -11 = -4*i + m for i.
5
Let z be (-243)/(-18) - 10 - (-1)/(-2). Solve -z*l + 7*l = -12 for l.
-3
Let d(r) = -r**3 - r**2 - r - 1. Let h(m) = -m**3 - 5*m**2 - 1. Let b(i) = 2*d(i) - h(i). Let u be b(3). Let c = u + 12. Solve -c = 4*k + k for k.
-1
Let b be 88/72 + (-6)/27. Let k be b/(((-5)/(-6))/5). Solve -d + 5 = -k*d for d.
-1
Let u be 0 - -1 - 2 - 4. Let i(j) = 3*j + 15. Let v be i(u). Suppose -5*a - 10 = v, -h = 4*h + 2*a + 4. Solve 2*q + 2*q = h for q.
0
Suppose -5*x = -7*x + 4. Suppose z - 3 = j, -3*z = 4*j - x*z - 13. Solve -k + 3*k = j for k.
1
Let f(t) = -t**3 + 16*t**2 - 25*t - 32. Let x be f(14). Solve 0*s = -5*s - x for s.
-2
Suppose 6*f = -89 - 7. Let s = f + 22. Let y be (-1)/(-2)*(3 - -1). Solve y*m = s*m for m.
0
Let s(k) = -k**3 - 5*k**2 + 3*k + 5. Suppose l + 5 = 1. Let f be s(l). Let t = 23 + f. Solve -5 = -t*p + 5*p for p.
-1
Let u(c) = 4*c**2 - 1. Suppose 5*n = -2*n. Let y be (4 + -6)/(-2 - n). Let l be u(y). Solve l*o - 18 = -3 for o.
5
Suppose 2*j = -3*j. Suppose -7*v + v = j. Solve v*m = m + 3 for m.
-3
Suppose 3*b = u - 23, 13 - 1 = -4*b. Let r = u - 7. Solve 4*v - r = 1 for v.
2
Let p = -2637 - -2637. Solve -9*q + 3*q + 6 = p for q.
1
Let u = 18 - 17. Solve -2*q + u = 3 for q.
-1
Suppose 8*z - 10*z + 6 = 0. Let x be 18/8 + z/(-12). Solve 0 = -x*l - 0*l + 2 for l.
1
Suppose -179*v + 177*v = -4. Suppose 4 = -2*n - 3*o - 4, 4*n + 10 = -3*o. Let k be ((-6)/(-10))/(n/(-5)). Solve v = -k*h + h for h.
-1
Let q be 6/(-8)*56/(-6). Solve 5 = -q*r + 19 for r.
2
Let v(a) = -a**3 - 2*a**2 + 7*a. Let h be v(-4). Suppose 0 = h*c - 4. Solve -2*g = -g + c for g.
-1
Let h(m) = m**2 - 11*m - 7. Let s be h(11). Let d = s + 3. Let r = d + 11. Solve -3 - r = -2*w for w.
5
Let i(b) = 6*b + 1. Let q be i(1). Let n(c) = 2*c - 11. Let z be n(q). Solve -z*u + u = 8 for u.
-4
Let g be 2 - ((-132)/5 + (-6)/10). Suppose 4*o + g = 37. Solve -2*c = o*c - 4 for c.
1
Let f = 148 - 129. Solve -4*n + 3 = f for n.
-4
Suppose -4*d = d - 5. Let z(y) = 3*y + 1. Let v be z(d). Suppose -l - s + 14 = 4*l, -4*s = -v*l + 16. Solve 0 = -l*m - 0 + 15 for m.
5
Let o(x) = x + 6. Let b be o(2). Suppose -3*p + b = -19. Solve -2*c + p = c for c.
3
Let d(n) = n**3 - 5*n**2 - 4*n - 7. Let x = -28 + 34. Let b be d(x). Solve 0 = 3*f + 2*f -