 Solve m = c*w + 7 for w.
-2
Let d(x) = -x - 4. Let z = 10 - 14. Let p be d(z). Solve 7*g - 2*g - 5 = p for g.
1
Let y(n) = 2*n + 3*n - 2*n**2 - n**2 - 2 + 4*n**2. Let z be y(-6). Solve z*h - h = 12 for h.
4
Suppose 0 = -5*d - c - 0 - 144, -4*d - 120 = -4*c. Let k be (-2)/8 - d/4. Suppose 2*u - 32 + 8 = -2*f, f - 12 = u. Solve -k*z - f = -3*z for z.
-3
Let s = 15 + -7. Let p be 1/(0 - (-2)/4). Suppose 0 = -2*k + p*t + 2, 4*k + t - 5 = 9. Solve k*g = s*g + 15 for g.
-3
Let v be -2*(1/(-2) + -3). Let g(w) = -w + 9. Let j be g(v). Let x be 4/(1 + -1 + j). Solve 0 = i - x*i + 3 for i.
3
Suppose -5*w + 3*w + 20 = 0. Let j be (-7)/(-2) - 2/(-4). Solve 2*x + w = j*x for x.
5
Let i(a) = -a**2 + 8*a - 13. Let c be i(9). Suppose 0 = -5*r + 127 + 33. Let d = c + r. Solve 0 = -0*w - 5*w - d for w.
-2
Suppose 0 = 6*o - 2*o - 4. Let y = o - 1. Let x be 156/48 - 1/4. Solve -t + x*t = y for t.
0
Suppose 5 = -5*y - 2*q, -4*y - 5*q - 1 = -3*y. Suppose 5*w = 5*z, 5*z - 1 = -3*w + 7. Let g be (w - 12)/y + -1. Solve 0 = -s - s - g for s.
-5
Suppose -i - 9 = 5*h, -11 = 3*h - 2*i - 3*i. Let x be (-2 - h) + 2/(-2). Let o be (x/(-1) - 2)*0. Solve o = 3*m - 2*m for m.
0
Let o(z) = z**3 - 12*z**2 + 20*z + 1. Let m be o(10). Solve -1 = v + m for v.
-2
Let r(b) = -b + 11. Suppose 3*p = -4*s + 20, 2*s = -3*p + 7*p + 32. Let l be r(s). Suppose l*z = -x + 7 + 12, 27 = 5*z - 3*x. Solve -z*v = -v + 10 for v.
-2
Let n(k) = k**3 - k**2 - 3*k - 4. Let x be n(3). Let y(i) = i - 4. Let u be y(x). Let a(v) = 6*v - 1. Let l be a(u). Solve l = 5*m - 0*m for m.
1
Suppose 0 = 3*c - 26 - 28. Let w be 531/21 - 2/7. Let j = w - c. Solve j = -f + 3 for f.
-4
Suppose -10 = -8*y + 22. Solve y*p - 16 = -0*p for p.
4
Let n(c) = 2*c**3 + 2*c**2 - 1. Let j be n(1). Suppose 0 = j*h - 4*h. Let b = h - -3. Solve -b*f = f for f.
0
Suppose 0 = -m + 2*f + 5, 30 = 5*m - 0*f - 5*f. Suppose -4*w = -m*w. Let b(p) = -p + 5. Let g be b(w). Solve 3*n = 10 + g for n.
5
Suppose 0 = -4*m + 5*y + 37, 3*m + 3*y - 7 = 14. Solve m*r + 25 = 3*r for r.
-5
Suppose -u = -5*z + 9 + 3, -z - u = 0. Solve 2*n + z = 4*n for n.
1
Let g be 0*(-1 + -1 - -1). Suppose g = -2*s - 11 + 31. Suppose 5*r - 8 = 27. Solve -r*m + s = -2*m for m.
2
Let v be (0 - 1) + 6/2. Let d(g) = v*g - 12*g**2 - 9 + g**3 + g**2 + 5*g**2. Let b be d(6). Solve 0*u = -b*u for u.
0
Suppose -12*v = -3*v. Solve v = -g + 2*g - 1 for g.
1
Let f(y) = -y**2 - 5*y - 5. Let a be f(-4). Let o be ((0 - -3) + -3)/a. Solve -p + o = -5 for p.
5
Let g = -2 + 5. Let h(d) = -g + 3 + d. Let k be h(6). Solve -26 + k = -5*v for v.
4
Let q be (1*-15)/((-9)/6). Let t = 12 - q. Solve -5 = -t*w - 3*w for w.
1
Let o(u) = -4 + 5 + 1 + u**2 - 6*u - 2*u**2. Let b be o(-5). Solve 3*p - b - 2 = 0 for p.
3
Let g(f) = -f**2 - 7*f + 9. Let r(m) = m**2. Let k(p) = g(p) + 2*r(p). Let n be k(6). Solve 0 = -2*j - 1 - n for j.
-2
Suppose -3*h - 2*l + 8 = 0, -3*h + 5*l = 4*l + 4. Suppose -4 = -v - h*v. Solve 8 = -v*m - 4 for m.
-3
Suppose 0 = -3*u - 4*p - 4 + 6, -2*u = -5*p - 32. Let i(h) = -h**2 + 7*h - 1. Let b be i(u). Suppose 4 + b = 3*l. Solve -a + l*a = 6 for a.
3
Let x be 0/(-1 - 0) - 0. Suppose 25 = -x*q + 5*q. Solve 4*w + 4 = q*w for w.
4
Let k(a) = -2*a**2 - 3*a + 13. Let l(c) = -c**2 - c + 7. Let s(o) = -6*k(o) + 11*l(o). Let n be s(-7). Let t be (3*-4)/(-3) + n. Solve -3*b + t = 15 for b.
-4
Suppose -3*y - 21 + 27 = 0. Suppose -y*a + 5 = -3*q, -8*q + a = -4*q. Solve -2*f + f - q = 0 for f.
-1
Let l(w) = 1. Let m(z) = -z + 8. Let y(u) = -6*l(u) + m(u). Let c(p) = p**3 - 11*p**2 + 10*p + 2. Let f be c(10). Let x be y(f). Solve x = -2*b + 2 - 0 for b.
1
Let b be 22/8 + 1/4. Suppose -b*t + 0*t = 0. Solve 0*g - g - 5 = t for g.
-5
Let p = -31 - -43. Suppose 0 = -0*s - 4*s + p. Solve -6 = -s*f + f for f.
3
Let z = 23 - 20. Suppose 0 = -x + z*x. Let l(f) = -f**2 - 3*f + 2. Let c be l(-3). Solve 0 = -c*j - x*j + 10 for j.
5
Suppose 5*n + 0*x - 14 = x, 3*n = 3*x + 6. Solve -n*z - 1 = -4*z for z.
1
Let p = 35 + -25. Suppose -p = -3*c + 2*h, c - 7*h + 2*h - 12 = 0. Solve -15 = f + c*f for f.
-5
Let s = -5 + 2. Let f be (-1)/(s/(-12)*-2). Let i be -2 + 4 + (0 - -2). Solve f*n = i*n - 2 for n.
1
Let c be 6/(-15) + 44/10. Suppose c*y - m = -2*m + 9, -2*m = 6. Solve -y*h = 3 + 12 for h.
-5
Suppose -5*u - 3*p + 4 = 0, 0 = 2*p - 0*p + 4. Solve t + t + u = 0 for t.
-1
Let d = -2 + 5. Let r be (6 - 5)/(2/2). Let z be 1/2*(r - 1). Solve 0 = -z*s + d*s + 9 for s.
-3
Let u(c) = 2*c - 2. Let f be u(6). Suppose 5*k - f = 3*k. Suppose -5*x + 15 = -5*y, -y - k*x + 20 = 5. Solve -5*i + 19 + 1 = y for i.
4
Let d = 10 + -7. Suppose -d = -x - r, 3 = -2*x - 5*r - 0*r. Solve -x*o = -o for o.
0
Let t(f) = 9*f**3 + f + 2. Let b be t(-1). Let j be (6/(-4))/((-2)/(-8)). Let g = j - b. Solve -g*h + 0*h = 0 for h.
0
Let t = 34 + -16. Suppose -3*x + 0*p = -p + t, 2*p + 13 = -x. Let j be x/(-3) + (-2)/(-3). Solve j*h = h for h.
0
Let t = -14 + 16. Solve 0 = n + 4 - t for n.
-2
Suppose 16 = 2*y - 18. Let g = -14 + y. Solve g*n - 8 = n for n.
4
Let a(d) = d**2 - 9*d - 1. Let j be a(10). Solve 5*p + j = 34 for p.
5
Let d be 8/20 + (-186)/(-10). Suppose -4*q - 41 = 3*n, d = -3*n - q - 7. Let p(t) = -t**3 - 6*t**2 + 4*t - 7. Let u be p(n). Solve -u - 1 = -3*c for c.
5
Let m = 41 - 39. Solve m*k + 3 = 11 for k.
4
Let d be (-1)/1 - (0 - 3). Suppose 2*g - s + 3 = d, -2*s = -2*g. Let t(k) = 4*k**2 + k + 1. Let o be t(g). Solve -u + 1 = -o for u.
5
Let r = -17 + 21. Suppose r*k + k - 35 = 0. Solve k*i - 4*i + 15 = 0 for i.
-5
Let n be ((-2)/(-5))/((-7)/(-35)). Let a be (-1)/((-3)/(11 - n)). Solve -2*m + a*m = 5 for m.
5
Let m(l) be the first derivative of -2*l**3/3 + 3*l**2/2 + 4*l - 3. Let g be m(3). Let t = g - -7. Solve 5*u + 9 = t*u for u.
-3
Suppose -t + 4 = -0. Suppose -3*h = p + 3*p + 6, t*p = -2*h - 8. Suppose 5*m - m - 4 = 0. Solve h*k = -3 + m for k.
-1
Let f = 1 + 4. Let u(g) = -g + 7. Let c be u(f). Solve -c*x + 3 = x for x.
1
Suppose 5*s + 37 = -3*k, 23 = -3*k - 4*s + 6*s. Let l = -17 - k. Let u be (-2)/l + 42/24. Solve -u*g + 0*g = -2 for g.
1
Let p(n) = -n**3 - 3*n**2 + 6*n + 10. Let f be p(-4). Solve -8 + 6 = f*t for t.
-1
Let n = -22 - -35. Let y = 0 + 0. Suppose -5*c - 6*r + 20 = -r, y = 4*c + r - 13. Solve n = -5*f + c for f.
-2
Let v be (-2)/(-4) + 9/(-2). Let r be 0 - -1 - (6 + v). Let b(n) = -15*n**3 + n + 1. Let m be b(r). Solve -2*x - 3*x = -m for x.
3
Suppose -2*u - 1 = -9. Suppose 0*m = -u*m. Suppose -5*p + w + 35 + 39 = 0, 5*w = 5. Solve m*r + 3*r - p = 0 for r.
5
Let f(u) be the third derivative of -u**6/120 - u**5/10 - 5*u**4/24 + 5*u**3/6 + u**2. Let w be f(-5). Suppose 31 = w*r + 1. Solve 0 = r*i - 2*i for i.
0
Let w = 37 - 25. Solve -3*n = -6*n - w for n.
-4
Suppose -2*y + 32 = -2*o, 0*o - 2*y = -o - 19. Let u = -1 - o. Solve 0 = m + 3*m + u for m.
-3
Suppose -4*n = -5*d + 3*d + 30, -4*n - 40 = -4*d. Suppose -d*p = -25, 2*q - p - 3*p + 6 = 0. Solve 4*z = -5 - q for z.
-3
Let g(d) = 4*d**2 - 4*d - 5. Let z(f) = -5*f**2 + 3*f + 5. Let q(p) = -6*g(p) - 5*z(p). Let i be q(-9). Solve i*s = 5 + 15 for s.
4
Let r(h) = -h - 5. Let z be r(-7). Suppose 1 + z = g. Solve 5*u - 4 = g*u for u.
2
Let w be (-1 - -1)/(0 - -2). Suppose 4*t + 35 = 5*j - 0*j, 4*j - 22 = 2*t. Suppose -d + 18 = 5*n - 0*n, 0 = j*n + 4*d - 4. Solve w = -f + n*f for f.
0
Let v(z) = -z**3 + z**2. Let y be v(1). Suppose y = 4*h - 74 - 2. Suppose 4*j - 14 = 10. Solve -5*n + j = -h for n.
5
Let j(m) be the third derivative of -m**6/120 + m**5/12 - m**4/6 + 5*m**3/6 + 4*m**2. Let i be j(4). Solve 2 - i = v for v.
-3
Let i = 10 - 8. Solve 0 = i*l - 3 - 1 for l.
2
Suppose 3*z + 15 = 5*n - 2*z, 3*n - 3 = z. Solve t - 4*t + 9 = n for t.
3
Let q be 6/(-21) - (-204)/28. Let z = 7 - q. Solve -c = -z*c + 1 for c.
-1
Suppose -6 = 3*w + 4*f + f, 5*w + 10 = -5*f. Let v(b) = 3*b**2 + b - 2. Let m be v(w). Suppose m*r + 3*i = 3*r - 5, 0 = r - 2*i - 12. Solve 3*l = r*l - 5 for l.
-5
Let u(n) = -n**2 + 25*n. Let s be u(25). Let r = -3 + 8. Suppose -b = -r*b. Solve s*k - k = b for k.
0
Suppose -1 = -s + 3. Suppose -s*w + 31 = 3. Solve -3*x - 1 = -w for x.
2
Let z = -20 + 21. Solve -4 = -m - z for m.
3
Let t = 13 - 0. Suppose -39 = -3*m - 2*m - 4*r, -m - 5*r = 9. Suppose m + 1 = 2*a + k, -4*k = -5*a + 4. Solve -a*d - t = -29 for d.
4
Let j(z) = 2*z. Let k b