 - w. Solve 0 = -b - m + 4 for b.
4
Let x(r) = -r**2 - 6*r. Let v be x(-6). Suppose v*m = -m. Suppose -p + 6*p = m. Solve 2*g + p*g - 4 = 0 for g.
2
Suppose -2*q = 3*q - 25. Solve q*g - 12 = -2 for g.
2
Suppose 4*n + 25 = -n, -4*z + 2*n + 18 = 0. Let l = z - 13. Let x(d) = -d**3 - 11*d**2 + 2. Let q be x(l). Solve t = -q*t - 15 for t.
-5
Suppose 2*d - 5*c + 84 = 0, -5*d - 220 = -4*c - 27. Let r be 4/(-14) + d/(-7). Suppose 4*j = 6*j - 6. Solve -r = -j*t + 1 for t.
2
Let f = -6 - -8. Let r be f/(-1) - (-4)/2. Let s(z) = -z**2 + 6*z - 6. Let l be s(4). Solve r + l = 2*y for y.
1
Suppose 0 = -10*y + 8*y + 50. Let s(o) = o**2 + o + 2. Let r be s(-2). Solve r*u + y = -u for u.
-5
Suppose 4*v + 5*d = 2, v - 2*d = -d + 5. Let r(u) = -u + 1. Suppose 5*i = -3*o - o - 27, 2*o + 18 = -4*i. Let k be r(o). Solve v*c + k = c for c.
-2
Suppose 2*s + 2 = c - 31, -2*s = c - 37. Solve c - 10 = -5*h for h.
-5
Let h(d) = -d**3 + 6*d**2 + 3. Let s be h(6). Suppose 3*w - 30 = -6. Solve -w = s*i - 2 for i.
-2
Let c be -6 + (-4 - -2)*1. Let t = 12 + c. Solve -t*f + f = -12 for f.
4
Let c = 87 + -79. Solve 3*d + 20 = c*d for d.
4
Suppose 0*y + 5*s - 70 = 5*y, -41 = 3*y - 4*s. Let a = 16 + y. Solve -x + 0 = a for x.
-1
Suppose -2*j - 4 = -2*h - 3*j, -8 = -5*h - 2*j. Suppose 0*t - 4*t - 36 = -4*m, t = 3. Suppose 5*l = 5*q - h*l - 10, m = 3*l. Solve 0 = -y + 3*y - q for y.
3
Suppose -m - m - 4 = -y, -4*y = 0. Let d be -8*1/4*m. Solve z = d*z + 15 for z.
-5
Let d = 25 + -10. Let b = d - 12. Solve -b*l = 2*l for l.
0
Let y = 11 - 7. Solve y = -o + 2*o for o.
4
Let w be (1/1)/(-3 - -4). Solve -8 - w = 3*i for i.
-3
Suppose 0*y = 2*u + 4*y + 12, 0 = u + 3*y + 9. Solve u = -2*r + 2 + 4 for r.
3
Suppose -6*w + 4*w = -8. Suppose 3*m - 19 = -w. Suppose -d - 2*c + 6*c = 13, m*d = 2*c + 7. Solve -1 - 2 = d*g for g.
-1
Let x = -71 - -74. Solve -x*g + 10 = -g for g.
5
Let k(s) = -s**2 + 12*s - 23. Let p be k(9). Solve p + 1 = a for a.
5
Let x = -7 + 9. Let n(i) = i**3 - 2*i**2 - i + 2. Let r be n(x). Solve j = -r - 2 for j.
-2
Suppose -4*t - 104 = 5*c, 3*t - 5*c + 40 = -3. Let s = t + 25. Suppose -f + 4 = -3*u - 8, -2*u = 2*f. Solve s*q + f = -5 for q.
-2
Suppose -i + 9 = 3*o, 7*o = 3*o + 5*i + 12. Suppose o*r - 2 = 7. Solve c - r*c - 10 = 0 for c.
-5
Suppose 5*r - 14 = 1. Suppose -20 = -3*l - 5. Suppose l*m + 6 = -4*z - r, 2*z - 5*m - 33 = 0. Solve y = z*y - 15 for y.
5
Suppose -5*f + 16 = -f. Solve q + 1 = -f for q.
-5
Let j(u) = -u**3 + 6*u**2 - 3*u - 2. Let d be 12/30 + 46/10. Let g be j(d). Suppose 4*t + 5*s - 30 = -4, -t + g = 2*s. Solve -t*m - 9 - 7 = 0 for m.
-4
Let i(p) = -p + 8. Let b be i(10). Let r be (-135)/(-10) - (-1)/b. Solve 3*j + 4 - r = 0 for j.
3
Let s be (0 - (-4)/5)*5. Suppose s*v - 1 = 4*y + 35, -2*y - 33 = -5*v. Solve -10 = v*f - 3*f for f.
-5
Let p be 0/(4/6*-3). Suppose p = -5*f - 11 + 36. Suppose f*h = -4*y + 12 - 3, 4*h = 4*y + 36. Solve 4 = h*x - 1 for x.
1
Let q be 3/(-6)*24*-1. Let k be -1*(-3)/(9/q). Let o be -2*(-2)/k*0. Solve o = 5*w - 2*w + 12 for w.
-4
Let t = 6 + -1. Let a be 5/2*(8/5 + 0). Suppose i = -2*x + 6, -a = -x + t*i - 1. Solve 2*n - x = 3 for n.
3
Let c be -1 + -1 + 2 - -2. Suppose c*j = -j + 9. Solve 2 + 13 = -j*v for v.
-5
Suppose -2*y + y = 3. Let p(g) = g**2 + 2*g - 1. Let a be p(y). Solve 2*i + a*i = 16 for i.
4
Let a be ((-36)/21 - -2) + 12/7. Let b be -1 + (-1 + 0)/(-1). Solve a*q + 0 - 6 = b for q.
3
Suppose 4*l = -0*l - 36. Let g be -3*3/l*6. Let p = -3 + g. Solve -2*j + j = -p for j.
3
Suppose 3*j - 7*j = -48. Suppose 4*a + i - 12 = a, 3*a - j = i. Suppose -4*v + 4 = a*t, -2*v = -2*t - 1 + 3. Solve 4*q - q - 12 = v for q.
4
Let v(q) = q + 4. Suppose r = 5*r. Let t be v(r). Suppose 8 = 3*f - t. Solve 0 = -5*x - f + 29 for x.
5
Let h = 75 + -72. Solve h*q - 4 = 7*q for q.
-1
Let a be 9/(-6)*(-30)/9. Suppose 0*h - 2*h = -3*o - 8, -2*o = 4. Solve a*q - 16 = -h for q.
3
Let v = 91 + -88. Solve 0*u - 9 = -v*u for u.
3
Suppose -20 = 9*p - 4*p. Let n(f) = f**3 + 4*f**2. Let u be n(p). Solve 0 = -u*v - v + 2 for v.
2
Let r(i) = i**2 + 10*i - 1. Let f = 16 + -27. Let b be r(f). Solve -6*w = -w - b for w.
2
Let h be 13/52 + (-126)/(-8). Let s = 23 - h. Solve -15 = -2*j - s for j.
4
Let p be ((-28)/(-6) + 2)*3. Let v(s) = s**3 - 8*s**2 + s - 6. Let r be ((-3)/9)/((-2)/48). Let j be v(r). Solve 3*u - p = -j*u for u.
4
Suppose 2*n - 4*t - 2 = -t, t - 2 = 0. Solve 0 = -n*w - 0*w for w.
0
Let k = -38 + 38. Solve -3*q - 2 - 4 = k for q.
-2
Let f = 26 - 22. Let u(l) = -l**3 + 8*l**2 - 7*l + 4. Let v be u(6). Solve -f*x + 14 = v for x.
-5
Let y(j) = j**3 + 7*j**2. Let u = -3 + -4. Let x be y(u). Solve x = -2*o - o - 15 for o.
-5
Let t(f) be the third derivative of -f**6/60 - 2*f**2. Let l be t(-1). Solve 0 = l*h - 5*h - 6 for h.
-2
Let c(x) = x**2 - 14*x + 8. Let v be c(14). Suppose 4 = j + 2. Suppose -j*h + h = 0. Solve h*o + 2*o + v = 0 for o.
-4
Suppose 4 = 4*m - 8. Suppose 4*x + 3*i = 15, -4*x = m*i + i - 12. Suppose 0 = 5*y - 5*f + 15, -x*f + 15 = -y - f. Solve 0*s + s + 1 = y for s.
-1
Let v be (-4)/(-12) + 4/(-3). Let k = v + 3. Suppose 2*s - 2 - k = p, -s + 2 = -2*p. Solve -20 = 6*n - s*n for n.
-5
Suppose -5*n + 2*n = 0. Solve -5*t = -n*t for t.
0
Let b = -3 + 0. Let g be 1 - (b - 0/(-2)). Let w(m) = -m**2 - 8*m - 8. Let a be w(-6). Solve -5*i = -g*i + a for i.
-4
Let v(z) = -z + 4. Let x be v(2). Suppose -4*d - x*a + 8 = 0, 2*a + 20 = 3*d + 7*a. Solve d = 4*c - 0*c for c.
0
Let f(v) = v**3 + 5*v**2 + 2*v - 7. Let j be f(-4). Solve r - 1 = j for r.
2
Let v be 1/(-6) - -5*(-5)/(-6). Solve 2*j - v = 3*j for j.
-4
Suppose 4*z + l = 11, z + 4*l + l - 17 = 0. Suppose 0 = 5*n + p - 27, z*n - 6*n = p - 21. Solve n = -2*w + 16 for w.
5
Let d(j) = -j**2 + 9*j + 4. Let t be d(9). Solve -3*y + t = -8 for y.
4
Let b(o) = -2*o + 5. Let d be b(-5). Let v(m) = -m**2 + 2*m - 1. Let g be v(2). Let a be (-14 - -2)/g + -2. Solve 5*h + d = -a for h.
-5
Suppose 0 = 40*x - 45*x + 25. Solve 4*y = x*y for y.
0
Suppose 15 = -2*k - 1. Let t = 10 + k. Solve -c + 1 = -t for c.
3
Suppose -3*z + 24 = z. Suppose 4*r - 11 - 5 = 0. Solve -u - z = -r*u for u.
2
Suppose 40 = -r + 5*r. Solve -4*w - r = -26 for w.
4
Let a be (6/7)/((-7)/(-49)). Solve 5*x = 14 + a for x.
4
Suppose -4*x - 26 = -v, -v = 5*x + 15 + 13. Let h be x/(-15) - (-23)/5. Solve h*g = -5 - 5 for g.
-2
Suppose -9*f - 4*f = -195. Solve -16 = -f*q + 19*q for q.
-4
Let s = -7 - -10. Suppose c - 4*y = 21, -s*c + 6*c - 18 = 3*y. Solve 0 = k - 0*k + c for k.
-1
Suppose 5 = -h - 2*t - 0, 4*h - 5*t - 19 = 0. Solve b = 2 + h for b.
3
Let m be (-3 + 4)/((-1)/(-5)). Suppose -4*t = -3*j + j - 18, -4*t - j = -21. Solve 0*k = m*k + t for k.
-1
Let j = 3 - 0. Suppose j*n = -a - 8, 4*a - 4*n = n + 36. Suppose 0*i + 2*i = -2*g, a*i = -5*g. Solve 0 = -i*z + z - 2 for z.
2
Let c = 19 - 37. Let x be (-2)/(-9) + 112/c. Let h = -4 - x. Solve -h*m + 5 = -m for m.
5
Let q be 6/((-5)/((-60)/(-9))). Let u(l) = l**2 + 8*l + 3. Let x be u(q). Solve 0 = 2*f - 1 + x for f.
-1
Let v be (-58)/(-6) - 6/9. Suppose -7*r + 3*r + 20 = 0. Solve 0 = r*g + 6 + v for g.
-3
Suppose 5*d = 15, -21 = -13*r + 10*r - 4*d. Solve 2 = r*n - 1 for n.
1
Let m(h) = -h**3 - 4*h**2 - 2*h + 6. Let l be m(-3). Solve 0 = -3*c + l + 3 for c.
2
Let l(k) = -5*k + 5*k**2 + 11 - 4*k**2 - 4*k. Let g be l(8). Suppose 2*h = -2*h + t + 42, 5*h - 54 = 2*t. Solve -h = 2*o + g*o for o.
-2
Let v = -4 - -4. Suppose -2*k - 2*k + 8 = v. Solve 1 = k*y + 3 for y.
-1
Let g be (8/2 - 1)/3. Solve 0 = w + 4 + g for w.
-5
Suppose 0*t - 15 = -3*t - 3*z, 0 = -4*t + 3*z + 20. Suppose 5*b - 2*s = 9 - 33, 0 = -3*b - s - 10. Let o = b - -14. Solve t*k = -0 - o for k.
-2
Let o(w) = w**3 + 12*w**2 - 14*w - 11. Let v be o(-13). Solve -3*x = -5 + v for x.
1
Let d(p) = 8*p**3 - 3*p**2 + 3*p - 2. Let u be d(1). Solve 3 = u*i - 3*i for i.
1
Let o(g) = g**3 + 6*g**2 + 4*g - 2. Let v be o(-5). Let y = 6 - v. Solve y*q - 2 = -5 for q.
-1
Suppose u + 4*v = 20, -5*u + 5*v - 2*v = 15. Suppose u = s - 4*s. Solve s = 2*c - c - 3 for c.
3
Let i be -1*1*(-1 + 1). Suppose i = -0*g - g + 2*c + 6, 2*c = -6. Suppose 0 = -g*k - k. Solve 0 = -k*q - 2*q + 2 for q.
1
Let z(l) = l**2 + l - 4. Let d be z(-4). Suppose d = 4*a - 4. Let h = 10 + -5. Solve h*f + a = 18 for f.
3
Let m(y) = -y**3 - 3*y**2 - 4*y - 7. 