5 = -2*l - 3*m. Let u be (-1)/5*l*10. Solve -6 = y - u for y.
-2
Let c(g) = g**3 - 6*g**2 - 7*g + 3. Let z be c(7). Let t = -9 - -9. Solve t = -o - z*o + 4 for o.
1
Let t be 0*(-3 + (-13)/(-4)). Let k be t/(-2)*(-4 - -3). Let l = 7 - 4. Solve k = l*z + 8 + 7 for z.
-5
Suppose -2*z = 3*z - 5*h - 35, 2*h = -6. Suppose 0 = 3*s - 8 - 7. Let r(m) = m**2 - 4*m - 5. Let b be r(s). Solve c + z*c + 5 = b for c.
-1
Suppose 0 = d + 1 - 3. Let c(p) = p**2 + p. Let j be c(-2). Let x = j + d. Solve 0 = -0*v - x*v - 4 for v.
-1
Suppose -2*c - 8 = -2*s, -2*s + 0*s = 2*c + 4. Solve -t - s = -2 for t.
1
Let r(l) = l**2 + 3*l + 5. Let g be r(-2). Solve 0 = g*k - 2*k - 4 for k.
4
Suppose 0 = 3*h + 4 - 13. Solve h*k - 6 = 5*k for k.
-3
Let f(j) = -j**3 + 4*j**2 - j - 1. Let a be f(3). Solve -a*d - 20 = -0*d for d.
-4
Suppose 4 + 2 = 4*w - 3*c, w + 5 = 4*c. Solve w*d - 2 = 7 for d.
3
Let j(k) = 5*k**2 + 0 - 4*k**2 + 3*k - 1. Let i be j(-4). Suppose 5*c + 9 = 2*o, -5*c + 0 + 5 = 5*o. Solve -l = o*l - i for l.
1
Let v(k) = k**3 - 7*k**2 + 8*k - 9. Let o = -7 - -13. Let b be v(o). Let y = 1 + b. Solve y = 4*f - 0 for f.
1
Let t(f) = -f**2 + 11*f - 17. Let l be t(9). Solve -o = -l - 1 for o.
2
Suppose 5*o = 160 - 120. Solve 2*j + o = -2*j for j.
-2
Let h(r) = r**2 + 4*r. Let b be h(-5). Solve -5*a + b = 30 for a.
-5
Let f(r) = -r**2 - 6*r - 1. Let u be f(-5). Solve u = 3*j + 16 for j.
-4
Let u be 14/(-10)*5/2*-2. Solve u*l = 4*l + 6 for l.
2
Let b be 42/12 - (-2)/(-4). Solve 14 = b*d - 1 for d.
5
Let f(v) = 2*v - 6. Let c be f(4). Suppose 3 = c*w - w. Suppose -5*i - 1 = -11. Solve b = i*b - w for b.
3
Let s(y) = -4*y - 1. Let c be s(-1). Let v be 2/(-4) + (-9)/(-6). Suppose 0 = -a + 1 + v. Solve 4 = -c*k + a*k for k.
-4
Let s(p) = -p**2 + 5*p + 2. Let y be s(4). Let g = -4 + y. Suppose 7*m = g*m + 4*o + 16, 0 = 3*m + 4*o + 16. Solve -f + 4*f = m for f.
0
Let j be ((-10)/(-6) - 2)*-18. Let v(c) = c**3 - 6*c**2 - c + 6. Let z be v(j). Solve z = 2*b + 9 + 1 for b.
-5
Suppose 5*v - 13 - 12 = 0. Let t(o) = o**2 - 3*o + 2. Let i be t(3). Suppose 3*u = i*u. Solve b - v*b = u for b.
0
Let c(i) = i**2 + 4*i - 8. Let a be c(-6). Let g(w) = w - 3. Let k be g(6). Suppose a*r - d + 3*d - 8 = 0, k*r - 2*d = 13. Solve 2*p = r*p - 2 for p.
2
Let n(z) = -z**3 - 4*z**2 + 5*z + 2. Let b be n(-5). Suppose -6*a = -b*a - 16. Solve a*m = 3*m + 3 for m.
3
Let s be -4*(-3)/4 - 0. Solve 2*t + s*t = 10 for t.
2
Suppose 4*z = 8, 3*z - 8 - 2 = -2*q. Solve -2*y = q*y - 20 for y.
5
Suppose 0 = -5*h - 3*g + 32 - 5, h - 11 = -2*g. Let l be -8*((-15)/(-6))/5. Let y(r) = r**3 + 3*r**2 - 4*r. Let a be y(l). Solve q - h = -a for q.
3
Let p be 0/(-1 + 1 + 2). Let v = 3 + p. Solve -v*k - 5 = 1 for k.
-2
Suppose 5*f + y - 14 = 9, 5*y - 11 = f. Let v = -2 - -1. Let h be f + (v - -2) - 1. Solve h = -4*i - 0*i for i.
-1
Let l(z) = -2 + 6*z**2 + 0 + 7*z - 4*z**2 - z**2. Let g be l(-8). Solve 2*b + g = -4 for b.
-5
Let n be (-13)/1 - (-2 + 1). Let g(p) = -p**2 + 4*p + 4. Let l be g(6). Let s = l - n. Solve i - 25 = -s*i for i.
5
Suppose -t - 3*t = 16, 2*g = -4*t - 8. Let l(f) = -f**3 + 5*f**2 - 3*f - 2. Let q be l(g). Solve -2 = q*y - 8 for y.
3
Suppose -23 = -5*w - 3*v + 4*v, -2*w = 5*v - 20. Solve -w*f + 2 = -13 for f.
3
Let c be -2 + -3 + 7 + 1. Solve 0 = -c*h + h + 2 for h.
1
Let z(q) be the first derivative of q**4/4 - 7*q**3/3 - 7*q**2/2 - 3*q + 7. Let l be z(8). Solve 2 = d + l for d.
-3
Suppose -m = -0*m - 5. Suppose -v - 8 = -5*w + 1, 2*v + 18 = -4*w. Let l be (-6)/v + 2/(-3). Solve l*s + 5 = -m*s for s.
-1
Let p = -1 + 2. Let a be p - ((-6)/2 - -4). Solve a = 3*d - d - 2 for d.
1
Let w(d) = -4*d + 10. Let b be w(7). Let j be -5*((-26)/10 + 2). Let p be b/(-12)*(j - 1). Solve -4 = -p*g - 19 for g.
-5
Let o(k) = -k + 16. Let i be o(11). Solve -i*l + 0 = 15 for l.
-3
Let t(g) = -2*g + 31. Let v be t(15). Solve x = -v - 2 for x.
-3
Let v(r) = 2*r - 8. Let i be v(6). Solve -4*o + 0 = -i for o.
1
Let m = -21 - -27. Solve -b = b + m for b.
-3
Suppose 5 = -o + 2*o. Let h(i) = -i + 10. Let d be h(5). Suppose d*k = 30 + 10. Solve 2 = o*p - k for p.
2
Suppose 0 = -0*b + 3*b - 3. Solve -7 = 3*o - b for o.
-2
Suppose 0*h = -h. Let l be 94/6 + 2/(-3). Suppose 3*r - l = 0, -p - 4*p + 4*r - 15 = 0. Solve h = -5*x + 11 - p for x.
2
Let t be (-15)/(-9) + (-2)/3. Suppose 4 = s + t. Solve s = -2*p - 3 for p.
-3
Suppose 0 = -2*j - 0*j. Suppose 3*w - 3*g = 3, -4*w + j*g + 5*g = 0. Solve w*l - l - 20 = 0 for l.
5
Let o be 5/((-3)/(-4 - 11)). Suppose 2*f = -2, o = 2*q + 2*q - 5*f. Solve -q = 3*l - 4*l for l.
5
Suppose 10*w + 12 - 52 = 0. Let q(j) be the first derivative of -j**4/4 + 2*j**3 + j**2/2 - j - 1. Let l be q(6). Solve -s - l = w*s for s.
-1
Let p(z) = z**3 - 9*z**2 + 9*z - 6. Let a be p(8). Solve -a*y = 2*y - 8 for y.
2
Suppose 4*s - 5 + 1 = 0. Solve 0 = -u - s for u.
-1
Suppose 0 = 4*o + i - 50, -5*o - 2*i = -0*o - 64. Let y be ((-39)/o)/(1/(-4)). Suppose -57*z - 20 = -61*z. Solve -7 = z*q + y for q.
-4
Suppose 11 - 2 = 3*x. Let s(m) = -m**3 - 2*m**2 - 2*m - 3. Let h be ((-6)/4)/(6/12). Let l be s(h). Solve -x = 3*k - l for k.
3
Suppose 5*n = -4*v + 63, 4*n = 4*v + 23 + 49. Let l = n + -6. Solve 0*m + l = -3*m for m.
-3
Let m(r) = r**3 + 5*r**2. Let a be m(-5). Let z = a + 5. Solve -w = -z*w - 12 for w.
-3
Let b = 15 - -1. Let g = -8 + b. Solve 5*i - g = 7 for i.
3
Let n = -5 - -4. Let j be n/4*(5 - 9). Let f(k) = k - 4. Let p be f(4). Solve p = -3*r - 4 + j for r.
-1
Let k(t) = 3*t**2 + t + 1. Let o be k(-3). Suppose 0 = 41*d - 35*d - 30. Solve d*r = -0*r + o for r.
5
Suppose 0*d + 24 = -4*d. Let f be 24/9*d/(-8). Solve 2*m + f = -2 for m.
-2
Suppose 3*v + 1 = -2. Let g = 1 - v. Solve g*l = -l - 3 for l.
-1
Suppose 3*a - 5*a = -6. Suppose 3*f - 3*k + 2 = 11, -5*k = 5*f - 15. Solve 0 = -0*w + a*w - f for w.
1
Let x(i) = i**3 + 9*i**2 + i + 9. Let k be x(-9). Suppose -3*g + 13 = 5*j - 9, 2*g - 4*j = k. Solve 3*l - 5 = g*l for l.
-5
Suppose 3*x + 1 = 10. Solve x*u = u + 2 for u.
1
Let n be (-14)/(-4)*(-408)/(-119). Solve 2*p + p = n for p.
4
Let c = 32 - 12. Suppose 0 = 2*a - 6, -t + 5*a = -1 - c. Suppose 5*l - h = 37, 4*l - 2*h + 4 - t = 0. Solve 2*o + 15 = l for o.
-4
Let i = -6 - -10. Let z = 6 - i. Solve -z*l + 8 - 2 = 0 for l.
3
Let q(x) = 5*x - 2. Let t be q(1). Solve -20 = -t*g - 5 for g.
5
Let r(i) = 2*i**2 - 7*i + 7. Let z be r(3). Solve -24 = z*g - 4 for g.
-5
Let g be -6*((-1)/2 - 0). Let p = g + 3. Let k = 5 - 3. Solve p = -k*u + 2 for u.
-2
Let j be (3/(-2))/((-2)/4). Solve 0 = 6*w - j*w - 6 for w.
2
Let v be 5/10 - (-21)/6. Solve 0 = -v*k - 9 - 7 for k.
-4
Suppose -5*w - 13 + 2 = 2*a, -16 = -2*a + 4*w. Solve 4*k - a*k - 8 = 0 for k.
4
Let q(k) = k**2 - 15. Let a be q(0). Let y be (-78)/a - (-2)/(-10). Solve y*o + 14 = 4 for o.
-2
Suppose 3*d - 55 = -5*g, -3*d = -4*g + 52 - 8. Suppose 4*i = -g - 1, 3*w = -4*i. Solve -14 + w = -5*q for q.
2
Let a = -12 + 12. Solve -20 = -a*f - 4*f for f.
5
Suppose -h - 4 = -0*h - b, 4*h = -5*b + 20. Suppose -m = -0*m - 6. Solve -m*q + q - 25 = h for q.
-5
Let r = 53 + -13. Suppose -7*t = -2*t - r. Solve -t = 2*w - 0 for w.
-4
Suppose -a = -4*w - 1, 0*w + 4*a = w + 19. Solve -3*l = -4*l + w for l.
1
Let c(t) = t**3 - 6*t**2 + t - 1. Let u be c(6). Let w = -6 + u. Let q be (2 - w) + 15 + -3. Solve o = -2*o + q for o.
5
Suppose 8 = 8*b - 8. Solve -b*z = 2*z + 4 for z.
-1
Let j(g) = g**2 + 3*g + 2. Let l be j(-3). Let x be (1 - (-1 + 1)) + 8. Let s be 2/(-9) + 56/x. Solve 0 = -2*r - l - s for r.
-4
Let o = 118 + -116. Solve 0*y - 2*y = -o for y.
1
Suppose 2*w = -5*v + 83 + 26, -v + 35 = -4*w. Suppose 0 - 8 = -2*c. Solve c*r + 7 = v for r.
4
Let q = -2 + 4. Solve -3*a + q = -7 for a.
3
Let a = 5 + -3. Let m = 2 + -3. Let c(t) = -4*t**3 - 2*t**2 - 2*t - 1. Let w be c(m). Solve a = -w*n - 4 for n.
-2
Suppose 2*w - 4*f = -162, 0 = -2*w - 0*f + 3*f - 161. Let i be 1/4 - w/4. Solve -3*n + i = n for n.
5
Let c(t) = -2*t - 4. Let j(w) = w**2 + 1. Let b(s) = c(s) + j(s). Let h(k) = -3*k + 7. Let m be h(3). Let a be b(m). Solve 0 = -3*r - 10 - a for r.
-5
Let q(u) = -u**3 - 5*u**2 + 5*u. Let z be q(-6). Let k(a) = a**3 - 5*a**2 - 5*a + 4. Let x be k(z). Let f be 3/(-5) - 39/(-15). Solve 0 - x = -f*w for w.
5
Suppose v + 4*t = -0*v + 10, 3*v - t = 4. Solve 0 = -0*j + v*j for j.
0
Su