 -x - 4 = -y. Let r be (y - -1) + (-5 - -85). Suppose -3*p = 2*p - r. Solve -6*m + 2*m = p for m.
-4
Let r = -18 - -22. Suppose t = -r*t. Solve w + 3 = -t for w.
-3
Let z = -78 + 83. Solve 2*i = z*i - 12 for i.
4
Let l(i) = -i**3 + 5*i - 1. Let p be l(-3). Solve 5*m + 14 + p = 0 for m.
-5
Let i = -9 - -15. Let w be (-8)/(-5) - i/(-15). Solve -1 = -w*f + 1 for f.
1
Let p be (-156)/(-10) - (-2)/5. Suppose 0*m + p = 4*m. Solve 0 = -r - m + 1 for r.
-3
Let d = 20 - 40. Let k be 1/3 + d/6. Let c(y) = -y**3 - 3*y**2 - y - 3. Let o be c(k). Solve o = -z - 2 for z.
-2
Suppose -3*f = -0*f - 3*m - 15, 17 = 3*f - 4*m. Suppose 5*q = 3*o - 8*o - 15, -o - f = 0. Let w(c) = c**3 + c**2 - c. Let v be w(q). Solve v = -s - 0*s for s.
0
Let d = 36 - 60. Let v = -13 - d. Suppose v = 2*l - 19. Solve 4*w = w + l for w.
5
Let k(t) = -7*t**2 - 9*t - 9. Let b(x) = 4*x**2 + 4*x + 5. Let s(d) = 5*b(d) + 3*k(d). Let a be s(-4). Let p = a - 7. Solve p*o - o - 10 = 0 for o.
5
Suppose 0 = 5*c - c. Suppose c*h = 2*h - 10. Solve s - h + 3 = 0 for s.
2
Let k be 8 - 8 - (-4 + 0) - 4. Let a(t) = 8*t - 1. Let v be a(2). Solve k = 3*u - 0 + v for u.
-5
Suppose -3*r + 3 = 0, 4*x - 2*x + 4*r - 8 = 0. Let q = -4 - -7. Let b = -6 + 11. Solve b - x = q*c for c.
1
Let k = 7 + -7. Suppose -5*t = -k*t. Solve -j = -t*j + 2 for j.
-2
Let t(y) = -y + 9. Let f be t(7). Suppose 0 = 5*x + 3*l - 15, -x - f*x + 3*l + 9 = 0. Solve x + 7 = 5*r for r.
2
Suppose 6*c - 7 = 5*c. Solve 3*i + 16 = c*i for i.
4
Suppose 5*z - 3*u - 17 = 0, -z + 4*u = -6*z + 24. Solve 0*q = z*q - 20 for q.
5
Let k(g) = -5*g**3 - 20*g**2 + 18*g + 11. Let f(l) = -2*l**3 - 10*l**2 + 9*l + 5. Let d(t) = 7*f(t) - 3*k(t). Let a be d(9). Solve -1 + 7 = a*s for s.
3
Let f = -2 - -7. Suppose 3*j + 3*d + 12 = -0, -10 = 3*j + f*d. Let w = -1 - j. Solve o = 3*o + w for o.
-2
Suppose 0 = -i - 4 + 6. Solve -2*j + 0*j = -i for j.
1
Let h be ((-4)/8)/((-2)/4). Solve -5*y = -21 + h for y.
4
Suppose s + 0 = 4. Suppose 5*p - s - 6 = 0. Let d be (-6)/(-2) - (-4)/p. Solve d*f = 2*f for f.
0
Let x = 0 + 14. Let u be (-4)/x + 32/14. Suppose -a - 1 = -4. Solve 0 = -a*n - u*n - 25 for n.
-5
Let f(h) = -h**3 + 3*h**2 - 3*h + 2. Let r be 14/8 + 2/8. Let n be f(r). Let c(u) = u**2 + 4*u + 3. Let i be c(-6). Solve 5*b + n*b + i = 0 for b.
-3
Let q(s) = -s**3 + 2*s**2 + 4*s + 1. Suppose -i + 0*i = -3. Let n be q(i). Solve 4*h - 8 - n = 0 for h.
3
Let j be (-1)/2 + 100/8. Suppose w - j = -w. Let u be (w/(-10))/(2/(-30)). Solve x - 4*x = u for x.
-3
Suppose -18 = 5*m + 27. Let r be (m/(-2))/(6/8). Let l = -4 - -6. Solve 2*u = -l - r for u.
-4
Let o be -3*6*7/(-21). Solve -2 = -4*p - o for p.
-1
Suppose -5*u = -0*z - 2*z + 2, -u + 2*z = 2. Solve -4*r - 4 - 4 = u for r.
-2
Let q = 35 + -34. Solve -s + 4 = -q for s.
5
Let y = -1 - 1. Let o = 3 - -2. Let l = o + y. Solve 0 = -0*i + l*i - 9 for i.
3
Suppose -5*h = -2*u + 36, -3*u + 76 = -0*u - 2*h. Let j = u + -23. Solve 12 = -j*x + x for x.
-3
Let b(x) = -12*x**2 - x. Let a be 1/(0 + 1 + -2). Let i be b(a). Let o be (i + 8)/(1 + -2). Solve -h - 8 = o*h for h.
-2
Suppose 4*p = 6*p - 10. Suppose 0 = -p*b - 0*b + 10. Let w be (b - 3/(-3)) + 0. Solve -8 = -w*n + n for n.
4
Suppose -k - k + 2 = 0. Let z be 2 + 1 - 1/k. Suppose 0 = -5*w + 3*l + 13, -5*w = 4*l + 21 - 62. Solve w*o + z = -18 for o.
-4
Let m = -10 - -13. Let t be 50/6 + m/(-9). Solve 5*h - h = -t for h.
-2
Suppose 11 = 2*l - 5*s, 4*s + 13 = 3*l - 0*l. Let y = 6 + 3. Solve -l*i - y = -6*i for i.
3
Suppose -4*y - 2*a = -24, -2*a = 2*y + 3*a + 4. Solve -3*l = -y*l + 5 for l.
1
Let k(a) = 3*a - 15. Let i be k(6). Solve i*y - 10 = -25 for y.
-5
Let x(y) be the second derivative of -y**3 - y**2 - 3*y. Let w be x(-3). Suppose 0 = -b - 3*b + w. Solve 0 = h + h - b for h.
2
Let w be 0/(-1*(-2 + 3)). Suppose w = 5*t + 2*o - 0*o - 29, -o + 2 = 0. Solve t*g = g for g.
0
Let x(b) = -b**2 - 4*b + 14. Let h be x(-6). Let t be (-1)/2 + (-6)/4. Let y be (t + 5 - 1) + h. Solve 0*d = -2*d + y for d.
2
Let q = -5 - -9. Suppose -2*f + 3 = -4*p + 1, 8 = q*p. Solve -5*z + f + 0 = 0 for z.
1
Let s = 1 + 1. Suppose m = s - 0. Solve 5 + 3 = -m*g for g.
-4
Let f = -29 + 20. Let q = -16 - f. Let m = 1 - q. Solve j = 3*j + m for j.
-4
Suppose -3*v + 2*v = f - 11, 4*f + 2*v = 36. Solve -23 + f = 4*r for r.
-4
Let o = -22 + 15. Let s = o - -9. Solve 0 = 3*v - s*v + 3 for v.
-3
Let t(p) = 5*p**2 + 4*p + 3. Let x(a) = -a**2 - 6*a + 2. Let l be x(-6). Suppose l*b + 7 - 3 = 0. Let r be t(b). Solve -3*i + r = -0 for i.
5
Let z(t) = 2*t**2 + 3*t + 1. Let y be (4/10)/((-7)/35). Let s be z(y). Solve 0 = -s*r + 10 - 1 for r.
3
Let r(s) = s. Let o(d) = 4*d + 5. Let f(q) = -2*o(q) + 6*r(q). Let y be f(-7). Suppose -y*z + 3 = -5. Solve -z*u - 3*u - 5 = 0 for u.
-1
Let s(j) = j**3 + j**2 + 2*j - 2. Let i be s(1). Suppose i*y - 3 = 3. Solve -y*z = z + 4 for z.
-1
Let a = -3 - -6. Suppose -a*r + r + 22 = 0. Solve -5*x = -4 - r for x.
3
Suppose 0 = 4*p + p - 15. Suppose 0 = -p*j + 7 + 5. Suppose -j*u + 4*q = u - 26, 0 = u + q - 7. Solve 2*r = -r - u for r.
-2
Suppose 0 = g + g - 4. Suppose -g*z + 6 = 2. Solve 3*q = -13 - z for q.
-5
Suppose 45 + 7 = 3*u + 4*m, -4*u + 2*m = -106. Let b be 2/8 + 244/(-16). Let j = b + u. Solve -5*n - 1 = j for n.
-2
Let q be -10*((-1)/(-2))/(-1). Let i(r) = r**3 - 6*r**2 + 5*r + 4. Let d be i(q). Solve d = -4*h + 2*h for h.
-2
Let p be 0 + 1 + (-2 - 10). Let v be 5/(-10) - p/2. Solve -3*o = 2*o - v for o.
1
Let d be (14/49)/((-2)/(-14)). Let q be (-8)/(-12)*(d + 1). Let r be -2*2*(-6)/8. Solve -a + r*a + q = 0 for a.
-1
Let u = 8 + -6. Let y be 1 + u + -5 + 6. Let l be 14/y*8/4. Solve -9 = l*m - 4*m for m.
-3
Let j be 3*20/72*6. Solve -j = n - 0*n for n.
-5
Let n(x) = -x**3 + 4*x**2 + 5*x + 5. Let g be n(5). Solve o = g*o + 20 for o.
-5
Let p(n) = -n**2 + 19*n - 16. Let d be p(18). Solve 0 = -d*w + 11 - 1 for w.
5
Let b = -17 + 17. Suppose -s - s = b. Solve 0 = -s*u + 4*u + 4 for u.
-1
Let n(u) = u + 17. Let q be n(-8). Let j(w) = -w**2 + 9*w + 4. Let c be j(q). Suppose -3*v - 2*v + 27 = 2*d, -21 = -c*v - d. Solve v*k + 5 = -20 for k.
-5
Suppose 3*t = -2*t + 10. Suppose -2*c - 3*d = -6 - 0, -t*c + 6 = -d. Let q be c/(-5) + (-6)/(-10). Solve x - 1 = -q*x for x.
1
Let f(p) = p**3 + 2*p**2 - 4*p + 1. Let u be f(-3). Suppose -2*o + 15 = c - 0, 3*o + 5 = u*c. Solve 2*j = j + c for j.
5
Let w = -9 + 13. Solve w*o = -0*o for o.
0
Let a(s) = -3*s - 6. Let k be a(-5). Let c = k - 7. Solve -5 = c*r - 3*r for r.
5
Let n(z) be the first derivative of -4/3*z**3 - 1/2*z**4 - 1 - 3*z + 0*z**2. Let o be n(-3). Solve 0 = b + 2*b + o for b.
-5
Suppose -2*t + 0*t + 10 = 0. Suppose 6 = -t*w + 1. Let a be w/3 + (-28)/(-12). Solve -2 = -a*v + 8 for v.
5
Suppose -p + 0 + 2 = 0. Let z = p + 0. Solve z*d + 3 + 1 = 0 for d.
-2
Let c be -3 + (0 - 8/(-1)). Solve -c = -0*p - p for p.
5
Let m = 21 - 18. Suppose 0 = -m*u + 5*i + 4, 3*u + 2*i - 5 = 2*u. Solve u = -b - 0*b for b.
-3
Let v be (-580)/(-70) - (-4)/(-14). Let m = 12 - v. Solve m*u - 10 - 6 = 0 for u.
4
Suppose 4*n = o + 8, -3*n + n = o - 10. Suppose n*a - 6 = -0*a. Solve -a*b = -b + 4 for b.
-4
Suppose 2*g + 10 = 3*g + 4*d, 0 = -g + 3*d - 4. Solve -3*k - g = -2*k for k.
-2
Let m(k) = k**2 - 2*k - 5. Suppose 3*p + 2*p = -d + 19, 9 = 3*d - p. Let s be m(d). Solve -s*x = -10 + 1 for x.
3
Let m(j) = j**3 + 2*j**2 - 3*j. Let k be m(-3). Solve -15 = -5*s - k*s for s.
3
Suppose 2*u + 4 = u - 2*k, 4*u = 3*k + 17. Solve -6*g = -u*g + 8 for g.
-2
Let c = 68 + -68. Suppose -4*v - 4*n = -9*v + 26, -4*v - 2*n = 0. Solve c = v*g + 1 - 3 for g.
1
Let i be (-6)/18*-1*18. Solve -i + 1 = -5*u for u.
1
Let c(a) be the third derivative of a**5/60 + 3*a**4/8 + 11*a**3/6 - a**2. Let h be c(-8). Solve -o - h*o + 4 = 0 for o.
1
Suppose 0*c + 4*c - 100 = 0. Suppose 2*r + 5*l - 15 - c = 0, -5*r + 123 = l. Suppose 3*t - 9 = -3. Solve -3*z - t*z = -r for z.
5
Suppose 0*q = 3*q - 30. Suppose -7*a + 2*a + q = 0. Let u = -10 - -22. Solve 5*v + u = a*v for v.
-4
Let z be 214/14 - 10/35. Suppose -4*c + c + z = 0. Suppose -c*t = -4*t. Solve t = 4*f + f for f.
0
Let w = -156 - -161. Solve 6 = w*i + i for i.
1
Let p be (4/(-14))/((-1)/7). Suppose -3*i = -0*i. Solve 0 = -a - p - i for a.
-2
Suppose -7 = -5*y - 2. Let g = 2 - 0. Suppose -3*z + 5*v + 14 = g, 5*z = v + 