 = -2*y - 10. Let n(b) = b + 5. Let k(l) = -3*m(l) - 5*n(l). Let c be k(0). Let a = c + -5. Solve t + a = -2 for t.
-2
Let o = 3 + 1. Let s be 56/14 - -1*1. Let f = s - o. Solve 0 = -4*a - f + 9 for a.
2
Let k(l) = l**3 + 3*l**2 + l + 3. Let t = -1 - 2. Let x be k(t). Solve 5*g = -10 - x for g.
-2
Let w(k) = 2*k**2 + 4*k + 3. Let m be w(-2). Solve -4*u + m*u = -3 for u.
3
Suppose 2*b - l = -0*l + 8, 0 = -4*b - 4*l + 4. Solve -6 = b*i - 6*i for i.
2
Suppose -4 = -5*z + 6. Suppose z*b - b = -15. Let i be -5*(-6)/b*-1. Solve -4*r = i + 2 for r.
-1
Let c be 7 + -3 + 5 + 1. Suppose 4*u - 13 = 5*r, -5*u - 3*r - r = -6. Solve u*g = -3*g - c for g.
-2
Let q = 2 - -2. Suppose q = -a + 9. Let m = a + 7. Solve 0*c + 4*c = -m for c.
-3
Let w(k) = -k**3 - 2*k**2 + 5*k. Let s be w(-4). Suppose 29 = -3*y - n, -4*y + 5*n - s = 14. Let m be (y/5)/(6/(-20)). Solve -m = 3*z - 18 for z.
4
Suppose p + p + 4*d = -4, -4*p = -d - 1. Suppose 2*h = 5*j + 3*h + 55, j + 11 = -h. Let b = -10 - j. Solve 4*w - 5 + b = p for w.
1
Let p be 2/6 - 168/(-9). Let g be 2/(-5) + 27/5. Suppose 29 = g*x - 6. Solve p = 4*d + x for d.
3
Let k = 20 + -12. Let y = k - 5. Solve 2*h - y = 3 for h.
3
Let d be (-1 - 0)/(2/(-12)). Suppose v = 2*s - 37, 0 = 3*s + 4*v - 5*v - 57. Solve -r + d*r = s for r.
4
Suppose 4 = 3*j - 5. Suppose j*w - 5*c - 25 = 0, 5*c = -5*w + 3*c + 21. Solve w*z = 3*z for z.
0
Let y = 11 + -9. Let m = 15 - 6. Suppose 4*c = c + m. Solve 1 = -y*t + c for t.
1
Let r = -2 - -1. Let l be r + -1 - (-11 - 3). Suppose l = i + 2*i. Solve -2*t + t = i for t.
-4
Let o be (6/4 + -1)*-18. Let g = o + 17. Suppose -5*h + g = -4*h. Solve 5*t = -h - 7 for t.
-3
Suppose -5*q = -3*q. Suppose -3*r + 73 + 2 = q. Solve -o + 6*o - r = 0 for o.
5
Let g(z) be the second derivative of -z**5/20 + 7*z**4/12 + 3*z**3/2 - 5*z**2/2 + 2*z. Let j be g(8). Suppose j*m - 8*m = -25. Solve -m*u = 8 - 3 for u.
-1
Suppose -4*t - i + 16 = -2*i, 5*t + i - 29 = 0. Solve t*h + 4 = -11 for h.
-3
Let y be -1 + 2 - 1 - 0. Suppose -3*j + 2*p = -10, -5 + 2 = -2*j + 5*p. Solve y*u - 12 = j*u for u.
-3
Suppose 0 = 5*s - 4 - 21. Suppose -2*t + 3*a - 18 = -4*t, s = 3*t - a. Solve -t*u + 2 = -1 for u.
1
Let j be -5 - -10 - 6/2. Solve j*v = v - 5 for v.
-5
Let b(c) = c + 20. Let y be b(-17). Solve 5*n = y*n + 2 for n.
1
Suppose -3*a - 5*z + 21 = 2, 4*a = -z + 14. Suppose 2*q = -2, -4*q + 38 = a*x - 6*q. Solve x - 2 = -2*i for i.
-5
Let g(d) = d**3 - 5*d**2 + 3*d + 1. Let w be g(4). Let v(z) = z**3 + 2*z**2 - 3*z + 3. Let u be v(w). Solve 0 = u*c - 6*c + 9 for c.
3
Suppose 2*b - 6*b + 40 = 0. Suppose -2*a = -2 - 2. Suppose -a*z + 7*z = b. Solve -2*g + 4 = z*g for g.
1
Suppose -22 = -c - 6. Suppose -2*z - 4*h + c = 0, 2*z + 2*h = 10 - 0. Solve -n = z*n + 6 for n.
-2
Let l(m) = m**3 + 3*m**2 - 1. Let h = -8 - -6. Let x be l(h). Solve -2*w = 1 - x for w.
1
Let b(m) be the first derivative of m**4/4 + 4*m**3/3 + 3*m**2/2 + m - 5. Let f be b(-2). Solve -2 = -w + f for w.
5
Let v = 1 + 0. Let h = 5 + v. Solve -h*w = -3*w for w.
0
Let a be (3/(-12))/(6/(-48)). Solve -1 = -a*x + 3*x for x.
-1
Suppose -2*i = -2*c - 2, -3*i - i + 2*c + 12 = 0. Solve 8 = -i*d + 3*d for d.
-4
Suppose 0 = -m - 2*f + 12, -4*m + 3*f = -15 - 11. Solve -6*h + 4*h = -m for h.
4
Suppose 0 = 5*y - t - 28, 5*t + 16 + 19 = 4*y. Solve y*h + 2 = 6*h for h.
2
Suppose 8*p = 11*p - 12. Solve 3*j - p = j for j.
2
Let b be (-41 - -42)/(0 + 2/4). Solve -b + 12 = -5*m for m.
-2
Suppose -3 = -a + 3*o, -o = 4*a - 0*o + 14. Let d be 0 + (-3)/a + 2. Suppose d*m + m - 4 = 0. Solve z = -0*z - m for z.
-1
Let y(i) = -i**2 + 5*i + 8. Let o be y(6). Suppose o*s - 13 = -5*x, 2*s - 5*x - 4 = -x. Solve s = -4*w - 8 for w.
-3
Let k = -3 - 0. Let g = k + 7. Solve w + g*w + 10 = 0 for w.
-2
Suppose -13 = 3*x - 3*j - 34, -4*j - 4 = 2*x. Let z = x + 2. Let s be 6 + -4 - (1 - -1). Solve -z*y + y + 15 = s for y.
3
Suppose k = -0*k + 4. Solve -k*w + 2*w = -4 for w.
2
Let w be (-11)/((-66)/24) - (1 + 0). Suppose -3*h = -6*m + 2*m - 52, 4*h - 86 = -3*m. Solve k + w*k = -h for k.
-5
Let a = 1 - 0. Suppose 0 = -4*q + 3*c + 56, 0*q + 3*q - 3*c - 45 = 0. Solve -q = -4*w + a for w.
3
Let w = -32 + 43. Let p be ((-10)/2 + 2)/(-1). Suppose 2*n = p + w. Solve -2*t + 20 = -n*t for t.
-4
Let u(r) = r**2 + r - 1. Let n be u(-3). Let p(c) = -c + 4. Let j be p(n). Let g be 3/(j + 34/28). Solve -g = 3*d - 5 for d.
-3
Let n be ((-378)/(-39))/2 + (-6)/(-39). Solve 0 = n*g - 0*g for g.
0
Let g = 38 - 23. Let k(j) = 2*j - 19. Let c be k(g). Solve 0 = 5*a - 1 + c for a.
-2
Let u(p) = p**2 - 2*p - 5. Let q be u(4). Solve -3*x + q = -6*x for x.
-1
Let f(k) = k**3 + 8*k**2 - 11*k - 8. Let y be f(-9). Let w be 2/(-10) - (-42)/y. Solve 0*c - w = 2*c for c.
-2
Let k = -12 - -12. Solve k = -5*z + 9 - 4 for z.
1
Let t be (0/1)/(3 + -2). Suppose q + 1 = 11. Let d(w) = w**2 - 10*w + 6. Let c be d(q). Solve t*v - 2*v = c for v.
-3
Suppose -2*p + p = 4*n, -n + 2*p = 0. Suppose n = 3*z - 4*z. Let k(j) = j + 3. Let s be k(z). Solve -s*l = -6*l - 15 for l.
-5
Suppose 0 = u - 92 + 840. Let z = u + 1460. Let s be (-2)/(-9) - z/(-36). Solve y - s = -3*y for y.
5
Suppose -18 - 107 = -5*x. Solve -4*s - s = -x for s.
5
Let h = -15 + 15. Suppose h = 3*v - 0*v. Solve v = -x + 10 - 5 for x.
5
Suppose -3*o + j - 4 = -3*j, -o = 5*j - 5. Let w = 3 - o. Suppose w = 5*a - 7. Solve -5*x - a - 18 = 0 for x.
-4
Let y be 18/(-45) - 12/(-5). Solve -b - y*b = 15 for b.
-5
Let x be (-154)/(-28) - (-1 + 9/6). Solve 0*u + 25 = -x*u for u.
-5
Suppose -3*a - 2*o = -62, 0 = -3*a + o + 22 + 55. Let s be -10*(a/(-15))/1. Solve 0 = 2*z + 2*z - s for z.
4
Let s(n) = -n**3 - 7*n**2 + 10*n - 5. Let i be s(-8). Let v be (-3)/6 + i/(-6). Suppose -11 = -5*q + 4. Solve q*y - v = 2*y for y.
3
Let h be ((-1)/2)/((-1)/8). Let v(d) = -d**3 + 10*d**2. Suppose 0*b + 20 = 2*b. Let k be v(b). Solve k = -0*r - 2*r - h for r.
-2
Suppose 3*s + 3*r = 24, -4*s + 4*r = 6*r - 22. Solve 4 = -s*v - 8 for v.
-4
Let m = 42 + -42. Let s(r) = -r**3 - 2*r**2 + 3. Let f be s(-3). Suppose 4*y = -m + f. Solve -y*q - 6 = -18 for q.
4
Suppose 4*g + 2 = 5*y - 0, 5*y - 16 = -3*g. Suppose -4 = -y*w - 0. Solve w*n - n = 2 for n.
2
Let d = -13 - -17. Suppose 2*v = -d*a - 10, 1 = 4*v - 5*a - 31. Solve -4*w + w = v for w.
-1
Let h(g) = g**3 + 7*g**2 + 0*g - 4*g**2 + g + 11 + 5*g**2. Let d be h(-8). Solve -d = -4*u + 1 for u.
1
Let g(r) = r**3 + 8*r**2 + 3. Let c be g(-8). Suppose 3*y + 12 = -4*p, 2*p - 2 = y + 2. Solve p = h - c for h.
3
Suppose 4*v + 17 - 41 = 0. Solve v*i - 15 = 3*i for i.
5
Let q(i) = -i**2 - 4*i + 3. Let r be q(-4). Suppose -2*c + 0*c = -4. Solve b - r = -c*b for b.
1
Suppose -3*n + 2*n = 0. Solve n*q + 3*q = 6 for q.
2
Suppose -5*v + 41 = 1. Suppose 0*p = -2*p + v. Solve 0 = -0*y - y + p for y.
4
Let i(n) = -9*n + 2*n**2 + 8*n - 4 + 2. Let d be i(2). Let s = -2 + d. Solve 4*o + s = -18 for o.
-5
Let u = 1 + 3. Suppose 2*c = 5 + 1. Suppose d = u*d - c. Solve -14 = -3*q + d for q.
5
Let a(o) = 8 - 3*o**3 - 5 - 4*o**2 + 2*o**3. Let f be a(-4). Suppose h = -f*h + 8. Solve x = -h*x - 3 for x.
-1
Let r(u) be the first derivative of u**3/3 - u**2/2 - 2*u - 2. Let l be r(2). Solve s + l*s = 0 for s.
0
Let m = 18 - 3. Suppose m - 3 = 4*a. Let q be a + 2/(-4 + 2). Solve 0 = -4*u - 14 + q for u.
-3
Let g = 4 + -3. Let x be (-7)/(-1) - (2 + g). Solve 0 = 2*l - 2 - x for l.
3
Let f(z) = -z**3 - 8*z**2 + z + 8. Suppose 4*o = -0*o - 32. Let v be f(o). Solve 4*k + v*k - 8 = 0 for k.
2
Suppose 2*l = 3*l - 1. Suppose 0 = f + l - 2. Solve -2*c - 3 = f for c.
-2
Let v(d) = d**3 + 15*d**2 + 13*d - 7. Let b(a) = -a**3 - 14*a**2 - 12*a + 7. Let x(f) = -5*b(f) - 4*v(f). Let g be x(-9). Solve -7*k + 25 = -g*k for k.
5
Suppose -5*v = 5*j - 10, -4*v = -5*j - 7*v + 14. Suppose 0*g - 3*w - 1 = -j*g, -g = w - 2. Let z = 2 + -1. Solve -z - g = -i for i.
2
Let h = 8 + -14. Let z(b) = b + 8. Let k be z(h). Suppose -3*y = -3*x, -11 - 9 = -k*x - 2*y. Solve -x*q = -q - 16 for q.
4
Let w(k) be the first derivative of k**3/3 - 3*k**2/2 + 3*k - 3. Let d be w(3). Let z be (-6)/(-21) + (-54)/(-7). Solve d*a - 5 = z*a for a.
-1
Let m = 2 + 1. Solve -m*b = -5*b for b.
0
Suppose -5 - 3 = -2*i. Solve 4 = -i*t - 0 for t.
-1
Let i be ((-5)/6)/((-2)/12). Solve i*z - 28 = -8 for z.
4
Let u be (1/(-1) + -1)*-3. Let 