Solve -z = 2*m + 4 for m.
-4
Let c(n) = -n**2 - 7*n - 5. Let b = 3 - 7. Let f be c(b). Suppose 13 = 4*d - f. Solve -3 = d*o + 2 for o.
-1
Let x be 6/6 - (-3)/3. Let l(m) = m**3 + 7*m**2 + 7*m + 6. Let n be l(-6). Solve -2*j + 3*j - x = n for j.
2
Suppose -21 = 3*p + 24. Let y(c) = c**3 + 15*c**2 + 2. Let l be y(p). Solve 0 = -5*j - l + 12 for j.
2
Let g(f) = f**2 + 7*f + 14. Let p be g(-4). Solve 0 = 3*t - t + p for t.
-1
Let y(u) = u**2 - 2*u - 3. Let k(a) = -a - 2. Let b be k(-6). Let t be y(b). Solve -l + t = -2*l for l.
-5
Suppose 5*f = -0*f + 10. Let d(l) = l**3 + 6*l**2 + 8. Let n be d(-6). Solve 0*m = -f*m + n for m.
4
Let v = 27 - 24. Solve -r = -0 + v for r.
-3
Let s be ((5 - 3) + -1)*4. Let m be (-36)/(-10)*10/s. Solve 5*u - m + 4 = 0 for u.
1
Let d = 15 + -13. Let h = -7 + 19. Solve 0 = d*b + b - h for b.
4
Suppose 3*l = 25 - 7. Let i = 11 - l. Solve 0 = -i*a - 17 + 42 for a.
5
Let y(j) = -j**3 - 3*j**2 - j + 2. Let d be y(-2). Suppose d*x + a + 17 = 4*x, 3*x + 2*a = 10. Solve 3*f = x*f - 2 for f.
2
Suppose -3*f = f. Solve f = u + 2*u + 6 for u.
-2
Let h(i) = -1. Let v(x) = x - 1. Let l(r) = 7*r + 3. Let z(b) = l(b) - 4*v(b). Let f(d) = -6*h(d) - z(d). Let j be f(-2). Solve -2 = j*s + 3 for s.
-1
Let j(i) = i**3 - 7*i**2 - 7*i - 8. Suppose -3*k - 15 = -3*a + 9, 3*a - 4*k = 24. Let t be j(a). Solve -3*s + 3 - 6 = t for s.
-1
Let l be 24/(-10) + 6/15. Let a be ((-84)/18)/(l/3). Let o = a + -1. Solve 3*s - s = -o for s.
-3
Suppose 4*k = -u + 16, -4*k - 3*u = 2*u - 16. Solve 9*h - k*h + 20 = 0 for h.
-4
Let f be (-6)/15 + 15/(-25). Let o(k) = -7*k - 1. Let h be o(f). Solve -4*r = 18 - h for r.
-3
Let a = 4 + -10. Let o be (-14)/a + (-2)/6. Let q be (4 - 4)/(o*-1). Solve q = w - 4*w - 6 for w.
-2
Let v(f) = -3*f. Let p(z) = 0*z - 3*z**2 + 1 + 2*z - 4*z + 0*z**2. Let k be p(1). Let h be v(k). Solve 3*c - h = -c for c.
3
Let h = -3 + 7. Let u(n) = -n**2 + 9*n - 16. Let i be u(7). Let j = i + h. Solve j = 2*s - s for s.
2
Let k be (-14 - -14)*(0 - -1). Solve -2 + k = y for y.
-2
Suppose 2*b = -2*b + 2*q + 30, 0 = 4*b + q - 39. Let u = -8 + b. Solve -r + 0 = u for r.
-1
Let u(j) = -j**3 + 5*j**2 + j + 7. Let m be u(5). Suppose -5*l + 7 - 2 = 0. Let v = 2 + l. Solve -c + m = v*c for c.
3
Let j(o) = -3*o**3 + 7*o**2 + 6*o + 7. Let d(n) = 16*n**3 - 36*n**2 - 30*n - 36. Let k(w) = 2*d(w) + 11*j(w). Let r be k(6). Solve 0 = t - r for t.
5
Let o = 15 + -9. Suppose o*v - 5*v - 10 = 0. Solve -v = -8*k + 3*k for k.
2
Let z = 76 + -48. Suppose -k + 5*b + 18 = 0, -2*b = 5*k - k - z. Let q be (k/3)/((-8)/(-36)). Solve -5*d = -d + q for d.
-3
Let v(f) = 6 + 0*f + 3 + 7*f + f**2 + 1. Let r be v(-7). Suppose -r = 5*m + k - 6*k, 5*m - k = 6. Solve m + 1 = g for g.
3
Let y = -4 + 1. Let r = y - -6. Solve 2 = j - r*j for j.
-1
Let d(u) = -u - 1. Let f be d(-3). Solve -1 - f = -3*a for a.
1
Let n = -76 - -80. Solve 2 = -n*q + 3*q for q.
-2
Let x be (-1)/2 + (-45)/(-6). Let i = 1 + x. Solve -p = 3*p - i for p.
2
Suppose -3*r + 24 = -r. Let f(c) = c + 1. Let n be f(-3). Let v = -2 - n. Solve v*w = -3*w - r for w.
-4
Suppose 3*o - 4 = 11. Solve 0 = -4*d - 21 + o for d.
-4
Let v = 6 + -6. Suppose v = -2*u + 4*b, 4*u - 4*b = -7*b + 33. Let k(j) = 2*j - 9. Let m be k(u). Solve -4 + 1 = -m*p for p.
1
Let h(b) = -5*b**3 - 3*b - 2. Let n be h(-1). Let d = -2 - -2. Suppose v + v - 12 = d. Solve -n = -3*z + v*z for z.
-2
Suppose 2*y - 28 = -0. Let h = -13 + y. Solve 15 = -4*s - h for s.
-4
Suppose 3*n - 15 = 4*n. Let d = n + 9. Let g = 6 + d. Solve g = q + 1 - 2 for q.
1
Let x = 19 + -43. Let i be (-6)/39 + x/13. Let b = 2 + i. Solve b*n = -n for n.
0
Suppose 0 = 4*c + 3*a - 29, -2*c + 33 = 5*a + 8. Let l = 12 - 26. Let h = 30 + l. Solve -c*x - h + 6 = 0 for x.
-2
Suppose -a - 2*a + 9 = -2*r, -a + 2 = -r. Solve 0 = r*l - 3 for l.
1
Let j(a) = -a**2 + 8*a + 9. Let d be j(9). Suppose d*k = 4*k. Solve -2*h + 8 = -k for h.
4
Let q(p) = 3*p - 2. Let r(x) = 3*x**3 - x**2 - x + 1. Let d be r(1). Let j be q(d). Suppose -y = -k + j*y + 40, 0 = 3*k + y - 40. Solve k = -0*z - 3*z for z.
-5
Let h(s) = s**3 + 3*s**2 + s + 3. Suppose -b - 1 + 3 = -2*m, 2*m - 2 = 2*b. Let d be h(m). Solve -2*a + 6 + d = 0 for a.
3
Let y = 35 - 28. Solve -y*b + 4*b = 0 for b.
0
Let i(x) = 2*x**2 + 11*x - 4. Let m be i(-6). Solve -6 - m = -2*n for n.
4
Let z(t) = -2*t + 2. Let j be z(-3). Solve -j = -5*u + 17 for u.
5
Let z(v) = -4*v + 16. Let w be z(4). Solve 0 = 5*j - w*j - 20 for j.
4
Let i be -2*(1 + 6/(-3)). Let r = i + 0. Solve -r*s = -3*s - 4 for s.
-4
Let w be (-1*(-10)/35)/(2/28). Let u(a) = -5 + 7*a - 4*a + 2*a. Let o be u(w). Solve 0*q = -5*q + o for q.
3
Let m = 23 - 20. Solve 0 = -2*w - m*w + 20 for w.
4
Let a(z) = -4*z**3 + 5*z**3 + 2*z + 3*z**2 + 3 + 0. Let f be a(-2). Suppose f*l - 7*l + 12 = 0. Solve -l*w - 1 = 2 for w.
-1
Let z(b) = b**2 + 11*b - 13. Let j be z(-12). Let q be 11/(-22)*(j + -1). Solve -8 = -3*c + q for c.
3
Let p(m) be the second derivative of -m**4/12 - 5*m**3/6 - 3*m**2/2 - 3*m. Let y be p(-3). Suppose 0 = 2*q - y*q + 4. Solve q*v - 3 = 1 for v.
1
Suppose 0 = -4*d - 12, t + d = -2 - 1. Solve r - 5*r = t for r.
0
Let v = 38 - 36. Solve 5*u = -v + 7 for u.
1
Suppose -2 = -i + 4. Suppose -5*p - 23 = -3*g, -g - 100 = -i*g - 4*p. Solve 4*m + 0*m - g = 0 for m.
4
Let b(w) = -3 - 2*w**2 + 3*w - 4*w + 5*w + w**2. Let t be b(3). Suppose -36 = -4*f + 4*d, 0 = 2*f + 3*d - 0*d - 18. Solve -4*y - 1 + f = t for y.
2
Suppose 6*u - 27 = 3*u. Let x(k) = -4*k + 1. Let m be x(-4). Let w = 24 - m. Solve 0 = -4*f + u + w for f.
4
Let a(m) = -m**3 + 2*m**2 + 3*m + 2. Let x be a(3). Suppose p = -x*p + 6. Let v be 6 - (4 + -1 - p). Solve -3 = -v*r + 2 for r.
1
Suppose 6*g + 10 = 5*u + g, 5*u - 4*g = 12. Solve -u*v - 2 = -3*v for v.
-2
Suppose 10 = 3*w + 2*w. Let i be 36/30*(-5)/(-2). Let m = 5 - i. Solve -w*k - 6 = m for k.
-4
Let o(g) = -g**2 + 6*g + 4. Let j be o(6). Let u = -4 + j. Solve 6 = -2*m - u for m.
-3
Suppose 23*r + 62 = 315. Solve 5*v - r = 9 for v.
4
Let s = 12 - 6. Suppose 2*x + 20 = s*x. Suppose -x*c = 10, 0 = p - 4*p + 5*c + 25. Solve -3*r - 7 - p = 0 for r.
-4
Let j(r) = 6*r. Let c be j(1). Let l be (-12)/8 + c/4. Solve l*x - 4 = x for x.
-4
Let t be 2/8 + 35/20. Let w be (-6)/t*-1*5. Solve -5 = 4*p + w for p.
-5
Suppose i = -5*p + 13, -3*p = 2*p - 10. Let c be i + -5 + (-2 - -1). Let m be (1 + c - -5) + 5. Solve 0*y + 2*y = -m for y.
-4
Suppose 2*u - 80 = -12. Suppose u = 5*h + 3*b, -42 = -3*h - h + 5*b. Suppose 0 = -i - 5*p + 24, -5*p = -h - 12. Solve -i = -4*x - 16 for x.
-3
Let d(q) = q**2 - 2*q + 2. Let n = 0 + 2. Let w be d(n). Suppose l = -2*x + 5, 8*l = 3*l + 2*x + 25. Solve w*v - l = 5 for v.
5
Let x be -5*(9/(-15) + 1). Let j be 6/x*-1 - -1. Let i = -3 + j. Solve q + i = 2*q for q.
1
Let j(t) = t + 4. Let x be j(-3). Solve -4*b + x = 13 for b.
-3
Let g = -1 - -2. Let s be (g/(-1))/(5/30). Let d = 8 + s. Solve 0 = d*j + j for j.
0
Let c(f) = -f**2 + 2*f - 16. Let s be c(0). Let d(z) = -z**2 - 16*z + 6. Let l be d(s). Solve 0 = -r - 2*r + l for r.
2
Let s(a) = -a**3 - a**2 + a + 2. Let d be s(0). Let k = -9 + 14. Suppose -k*p = -4*y, 2*y - 5*p + 3*p - 2 = 0. Solve -3 = d*t + y for t.
-4
Suppose o - 2*d - 8 = 0, -3*o + d + 34 + 5 = 0. Let i = 18 - o. Solve t - i*t = 3 for t.
-1
Let b be (4/5)/((-7)/(-35)). Solve b*o + 9 = -7 for o.
-4
Suppose 0 = 2*l + 5*x - 30, 5 = 5*l - x - 4*x. Solve 0 = -2*r + 3*r + l for r.
-5
Let k(v) = v**2 - 7*v. Let u = 13 - 6. Let q be k(u). Solve 0 = -q*m + m for m.
0
Suppose -3*v + 3*r - 3 = 0, -v - 2*r + 14 = -0. Suppose -v*j = -9*j. Solve -4 = -j*l + 4*l for l.
-1
Suppose 10 = l - 2*m + 5*m, 0 = 2*l + m - 15. Let v(w) be the first derivative of 2*w**2 - 4*w + 1. Let y be v(l). Solve y = -5*n + 4 for n.
-4
Suppose 1 = 3*f - 8. Suppose 2*l = -f*l + 20. Solve 0 + l = -4*d for d.
-1
Let n = 6 - 5. Suppose 4*d - a = -3 - n, -2*a = 3*d - 8. Solve d*g = -5*g + 10 for g.
2
Let r(z) = -2*z. Let s be r(-1). Suppose 0*q + 2*q - 4 = 0. Suppose -q*k = -6*k. Solve -c = s - k for c.
-2
Let q(a) = 3*a + 10. Let b be q(-3). Let n be 0/b*(-3)/6. Solve -2*m - 13 + 3 = n for m.
-5
Suppose 4*t + 2 = 3*y, 3*t - 15 = -2*t - 5*y. Solve 3*v + t = -2 for v.
-1
Suppose -5*k = -31 + 6. Solve k = -q + 3 for q.
-2
Let n(b) = b - 6. Let u be n(9). Suppose 0 = w +