-2*l + 2*k + 6 = 0. Solve -8*w - 15 = -l*w for w.
-5
Let y(o) = 2*o - 9. Let i be y(6). Let f(c) = 0*c**i - 4 + 2*c + 2 - c**2 + c**3. Let t be f(2). Solve -t = p - 3*p for p.
3
Suppose 3*u - 17 = 19. Suppose -g + 4 + 3 = -3*b, u = 4*g - 4*b. Solve 0 - g = -w for w.
1
Suppose -2*h - 3*h = -2*p - 15, 0 = -4*h - p - 1. Solve m = 2 - h for m.
1
Let u(f) = f**3 + 3*f**2 + f + 7. Let v be u(-3). Solve -3*w - v = -2*w for w.
-4
Let k = 37 - 33. Solve 0*h = -k*h for h.
0
Let o = -6 - -8. Suppose 12 = r + 3*g - g, -o*g = -2. Solve 0*b = -5*b + r for b.
2
Let k(h) = -3*h - 1. Let z be k(-1). Solve -2*a + 3*a = -z for a.
-2
Let y(f) = 3*f**3 - f + 1. Let t be y(1). Let b = t + 2. Solve 0 = -3*m + b*m - 4 for m.
2
Let a(x) = 10*x**3 + 5*x - 5. Let t(n) = 21*n**3 + 11*n - 11. Let v(c) = 13*a(c) - 6*t(c). Let p be 1/(-2) - (-6)/4. Let o be v(p). Solve -2*g + 2 = -o for g.
3
Let u(j) = 38*j - 2. Let g be u(1). Suppose -3*p = t - g, -4*t + 37 = 2*p + t. Suppose 0 = -z - 3*x + 11, 7*z - 21 = 4*z - 3*x. Solve z*l = -1 + p for l.
2
Suppose -9*d + 8*d + 4 = 0. Solve m - 2*m = -d for m.
4
Suppose 5*x - 3*x = 0. Let o be (2 + -2)/(1 - 3). Suppose 4*m + 5 = -z, 5*z - 2*z = -3*m + 3. Solve x*d - z*d - 9 = o for d.
-3
Let z(l) be the second derivative of -2*l + 0 - l**2 + 1/6*l**3. Let v be z(4). Solve -v*o = -o - 2 for o.
2
Let s be 66/(-4 + 7) - -3. Solve -4*c + s = c for c.
5
Suppose 21*l - 40 = 13*l. Solve -l*i + 29 - 4 = 0 for i.
5
Let l = 28 + -22. Solve -l = -4*h + 6 for h.
3
Suppose 0 = 5*k + 8 - 3. Let j be -4*(-1 - 2/(-8)). Let v be (-1)/k*j/1. Solve 2*z + v = 7 for z.
2
Let x be 2/9 - 16/72. Suppose x = -4*k - k. Solve 2*a + k = 2 for a.
1
Suppose a + 6 = 4*a. Suppose -4*m = -4*g - 4, -3*m + a = -4*g + 4. Solve 4 = m*p - 2*p for p.
1
Let a be (4/(-3))/(3/9). Let w be 0 + 2/a*0. Let r = 2 + w. Solve 2 = -r*q - 6 for q.
-4
Let a(h) = -h + 10. Let b be a(-8). Let m = b - 18. Solve -5*u + 20 + 5 = m for u.
5
Let p(y) = -y + 2. Let t be p(-6). Solve 3*d = d + t for d.
4
Suppose 3*c + 3*y = 21, -c + 0*c + 1 = -2*y. Suppose -c*p + x + 6 + 9 = 0, -3*x = p + 13. Solve -r + 2*r + p = 0 for r.
-2
Let l be (-3)/7 - (-66)/7. Solve l = 4*g - 11 for g.
5
Let f be 0/(3*2/(-3)). Let t = 24 - 23. Solve -3*h - t - 11 = f for h.
-4
Let d(x) = -x + 14. Let m be d(11). Suppose 0 = -r - m*r + 8. Solve r*c - 8 + 2 = 0 for c.
3
Let b = -84 - -39. Let c = -30 - b. Suppose z - c = -0*z. Solve 2*s + z = 5*s for s.
5
Let q(r) = r**2 - 1. Suppose -3*p + 0 = -6. Let f be q(p). Solve -f*n = n - 12 for n.
3
Let j = 16 + -12. Solve 0 = l + j + 1 for l.
-5
Suppose -22*x = -34 - 54. Solve -3*g + 4 = -x*g for g.
-4
Suppose -25 = -2*r - 3*o, 3*o - 5*o = -3*r + 18. Let s = 9 - 5. Suppose 4*u + b - 16 = 0, 4*u - 19 = 3*u - s*b. Solve u*t = r*t for t.
0
Let m = 11 - 9. Let x = 4 - m. Solve -x*g = -g - 2 for g.
2
Let p be 82/(-6) + (-2)/(-3). Let g = 17 + p. Solve g*v - 3 - 1 = 0 for v.
1
Let f = 4 + 1. Let a be -2*(3 + -6 + 1). Let c(p) = p**3 - 4*p**2 + 2*p + 4. Let q be c(a). Solve f*v - q = 2*v for v.
4
Let r(o) = -o - 3. Let c be r(-4). Let t be (-10)/(-25)*5*2. Solve 11 + c = -t*u for u.
-3
Suppose 0 = -4*k + 4, -4*m - 2*k = 2*k - 8. Solve 3*x = m + 2 for x.
1
Let u(w) = w - 5. Let s be u(8). Suppose s*q + 24 = 7*q. Solve 0 = -g + q*g - 20 for g.
4
Let g(d) = d**3 + 10*d**2 + 10*d + 9. Let q be g(-9). Suppose -3*m = -q*m + 5*k - 1, 0 = -2*k - 8. Solve -m = -2*b + 1 for b.
4
Suppose -7*y = -4*y. Suppose 5*u - 15 = -y*u. Solve -4 = -u*q + 2 for q.
2
Let q be ((-11)/((-165)/(-10)))/(2/(-6)). Solve q*v + 3 = -v for v.
-1
Suppose 4*w + m - 5 = 0, 2*m - 2 + 0 = -4*w. Let b be 4 - (-2 - -3) - 0. Solve x = b*x + w for x.
-1
Suppose 5 - 12 = -2*u - l, 4*l + 12 = 2*u. Solve -u = -2*k + 4*k for k.
-2
Let i(g) = g**2 - 8*g + 2. Let d be i(8). Suppose 0 = -3*u + j, 2*u + 5 + 3 = -d*j. Let c = u + 4. Solve -2*q = c + 3 for q.
-3
Let d = -187 + 191. Solve d - 16 = 4*a for a.
-3
Suppose 1 = 3*v + 4*b, -3*b + 6*b = 5*v - 21. Solve v*h - 6 = 6*h for h.
-2
Let x be -4*(1 - (-27)/(-12)). Solve -2*k + x*k = 3 for k.
1
Let k = 55 + 25. Suppose k = 13*c - 8*c. Solve 2*u - c = -2*u for u.
4
Let w = -3 + 7. Solve 3 = -w*p - 9 for p.
-3
Suppose -6 = -d - 0. Suppose 0 = -2*v - 4*s + 4, -3*v + s + 2*s = -d. Let y be (-1)/((-26)/(-28) + -1). Solve 3*h - y = -v for h.
4
Let y(h) = h**3 - 3*h**2. Let a be y(3). Suppose 2*f - 5*f = a. Solve 3*o - 2 - 4 = f for o.
2
Let s be -2*1*(0 - 5). Let o be ((-7)/21)/(2/(-12)). Let i be (-1)/o + 65/s. Solve -2*z + i = 2 for z.
2
Let x be (5/(-15))/(-1)*0. Solve x = 2*a - 3*a + 3 for a.
3
Let l(f) = -f**3 + 9*f**2 - 7*f - 8. Let g be l(8). Solve g = 2*b + 2*b + 12 for b.
-3
Let i(v) = v**2 + 16*v + 3. Let b be i(-16). Solve b*g + 10 = g for g.
-5
Let b be 8/(-6) - (-28)/9*3. Solve 3*o + b = -o for o.
-2
Suppose 0 = -2*m + m + 2. Solve -m*p = -7*p + 15 for p.
3
Let p(o) = o + 4. Let x be p(-2). Suppose 5*h - 3*h + x = 0. Let i = h - -1. Solve i*s - 2*s = 0 for s.
0
Let q = 16 - 24. Let a be (2 - -1) + -2 - q. Let n = 12 - 10. Solve -h = n*h + a for h.
-3
Let u(a) = -6*a + 0*a**2 + 1 + 1 - a**2 + 4. Let m be 2/8 - (-25)/(-4). Let y be u(m). Solve 0*n = -3*n + y for n.
2
Let v(l) = l + 2. Let o be v(-2). Let k = 4 - o. Suppose -2*f + 5*r - 6 = -0, -2*f = -4*r + k. Solve -j - j = f for j.
-1
Let y = 32 + -29. Solve y = -2*f - 3 for f.
-3
Let a(c) = 3*c**3 - 3*c**2 + 6. Let w(y) = 8*y**3 - 9*y**2 + 17. Let x(d) = 11*a(d) - 4*w(d). Suppose 0 = 4*u - 7*u - 6. Let z be x(u). Solve 3*j + z = j for j.
-1
Let q be 9/(-3)*20/(-30). Solve 3 + q = f for f.
5
Let x = 6 + -5. Let a(d) = 13*d - 1. Let r be a(x). Solve 0 = p + 2*p + r for p.
-4
Let u = -34 + 65. Suppose 3*h - d + 0*d - 26 = 0, 4*h - u = 5*d. Let v be (-1 + 1)/(1 - 0). Solve v*z = -3*z - h for z.
-3
Suppose -2*w - j = 3*w - 25, w - j + 1 = 0. Solve -10*m = -12*m + w for m.
2
Let j(u) = 4*u - 9. Let g be j(3). Solve -2*s = g*s for s.
0
Let j be -3*8/(-12)*-13. Let z be (4/(-6))/(j/117). Solve z*b = -0*b + 15 for b.
5
Suppose 3*j - 2 = 2*j. Solve x + 5 = j*x for x.
5
Let p(a) = -a**3 + a**2 + a. Let r be p(-2). Let j = r - 3. Solve -3*f = -2 - j for f.
3
Suppose 5*r + 45 = 5*q, q - 3*q + 5*r + 27 = 0. Suppose q*p + 20 = 5*m + 2*p, -4*m = -2*p - 10. Solve -f + m = 3 for f.
-3
Let t(o) = 2*o**2 + 35*o + 23. Let b be t(-17). Solve -b*d = -4*d - 4 for d.
2
Let t = -10 - -6. Let z(g) be the second derivative of g**4/12 + g**3/3 - g. Let l be z(t). Solve 0*c - l = -4*c for c.
2
Let a = 21 + -1. Let b be ((-5)/(-2))/(2/4). Suppose -s = 4*w + 3*s - a, b = 3*w + s. Solve 0 = -3*x - 15 - w for x.
-5
Suppose -2*a = -1 + 1. Solve a*c - 5*c = 20 for c.
-4
Let i be 5*(54/(-30))/(-1). Solve -11*t - i = -8*t for t.
-3
Let c(u) = u**2 + 4*u + 10. Let n be c(-5). Solve -t - n = 2*t for t.
-5
Suppose 0*x - 5*x - 15 = -j, -2*j = -x - 3. Solve j = 6*u - u + 25 for u.
-5
Let m be (-14)/(-49) + (-12)/(-7). Suppose 2*i - 5*i - 1 = -m*f, 23 = -5*f - i. Let k be 1/4 - 7/f. Solve d - k = 2 for d.
4
Let y be 6/(-5)*(-16 + 1). Let b(n) = -n**3 + 6*n**2 - 4*n - 5. Let l be b(5). Let s be l + 6 + (-8)/8. Solve y = s*i + 3 for i.
3
Suppose -2*y + 4*y = 42. Let r be (0 + 1)*(y - 10). Solve 3*i - 2 = -r for i.
-3
Suppose -2*j - 40 = -44. Solve j*r + 1 = -1 for r.
-1
Let r(f) = 7*f**3 + 2*f**2 + 2*f + 1. Let o be r(-1). Let s be (-2)/o + 2/3. Let c be -1*2 + s + 11. Solve -d = d - c for d.
5
Suppose 13*c + 5*c - 90 = 0. Solve t + c = 2 for t.
-3
Let b be ((-40)/(-12))/(6/9). Solve -3*z + 2 = -b*z for z.
-1
Let b(h) = 4*h - 6. Let g be b(6). Solve 4*j + g - 2 = 0 for j.
-4
Let m = -1 + 6. Let y = 3 + m. Solve 5*f = -2 - y for f.
-2
Let f(p) be the second derivative of -p**4/12 + p**2 - 2*p. Let i be f(0). Let t(n) = n**2 + 5*n + 3. Let g be t(-5). Solve 0 = i*v + g*v + 5 for v.
-1
Let k = -142 + 156. Solve 3*n + k = 8 for n.
-2
Suppose -2*t = -0*t + 30. Let p = 8 + t. Let f be p/(-3) + (-12)/(-18). Solve -5 - f = -2*g for g.
4
Let y = -143 - -146. Let a be ((2 - 2)/(-1))/(-2). Solve -5*w + y + 12 = a for w.
3
Suppose 60 = g + 5*i + 21, 0 = 2*i - 10. Let t = g - 11. Solve -t*f + 4*f + 5 = 0 for f.
-5
Let y = 3 + 2. Solve -3*h = 2*h + y for h.
-1
Let w(z) = -3*z**3 - 2*z**2 - z. Let k be w(-1). Solve k*r + 0*r = 0 for r.
0
Let q(s) = s - 3. Let f be 4/4 + -4 - -6. Let h 