-9 for m.
-5
Let w be (-6)/(-3)*(1 - 0). Solve -w = -b - 5 for b.
-3
Suppose -3*b - 4*c = 6 - 18, 4*c + 12 = 3*b. Solve -b*z + z = -3 for z.
1
Suppose -5*j = 3*n - 15, 5*n - j = 19 + 6. Suppose -5*p + 16 = 4*a, -n*p + 17 = 5*a - 2*a. Solve -p = -5*u + 16 for u.
4
Suppose 20 + 1 = 3*z. Let b = z - 5. Solve n - b = -0 for n.
2
Let c be -2 - (-3 - 5 - 1). Suppose -z + 5 = -m, 3*m = 2*z - 1 - c. Solve z = l + 3 for l.
4
Suppose -20 = -5*x + u - 2, 0 = -x - u. Suppose 4*f - 12 = x*f. Solve -z - 3*z + f = 0 for z.
3
Suppose -10 = -4*l + 2*g, 3*g = -3*l + 5*g + 6. Solve f + l*f = 0 for f.
0
Suppose x = -4*x + 55. Let j = -8 + x. Solve j*p - 2 = -14 for p.
-4
Let y(s) = s**2 - 2 - 2*s**2 - s + 7*s**2. Let g be y(2). Solve 6*n - n = g for n.
4
Let g(c) = 2*c**3 - 4*c - 3. Let x be g(-2). Let w be x/(-4) - 6/(-24). Suppose -2*j + 3*a - 6 = -w, 0 = 2*j + 2*a - 12. Solve -3*m + 0 - j = 0 for m.
-1
Let t(c) = 0*c + 0*c - c. Let n be t(4). Let x be n/4*-1*3. Solve 0 = -x*z + z - 6 for z.
-3
Suppose w = -3*u + 58, -3*u - w + 42 = -4*w. Let t = u + -13. Solve 0 = -3*v + t*v + 4 for v.
-2
Suppose -3*i = 2*i - 20, -2*i - 1 = -a. Let z = a + -3. Suppose 5*x = 4*v + 96, -4*x + v = -0*v - 68. Solve 2*n - z*n = -x for n.
4
Let s(x) = 2*x - 28. Let r be s(14). Solve 0 = -r*q - q for q.
0
Let w(h) = h**2 - 5*h + 1. Let c be w(6). Let z = -4 + c. Suppose -z - 5 = -4*x. Solve 7*r = x*r - 20 for r.
-4
Let n(a) = -1 + 0 + a**3 - 5 - 6*a + 3 + 3*a**2. Let p be n(-4). Suppose 0 = -p*o + 4*o + 2. Solve 2*m - o = m for m.
2
Let a(i) = i**3 + 4*i**2 - 5*i + 3. Let y(h) = -h**3 - 4*h**2 + 5*h - 3. Let r(g) = -5*a(g) - 6*y(g). Let n be r(-5). Solve 0 = s - n for s.
3
Let g = 8 + -5. Solve g*j = 5*j for j.
0
Let j = 15 - 8. Let q = j + -5. Solve z = -q*z for z.
0
Let u(l) = -l - 10. Let n(x) = x + 1. Let y(q) = -2*n(q) - u(q). Let s be y(5). Solve 0 = -0*r + s*r for r.
0
Let d = 30 + -8. Solve 4*k + 6 - d = 0 for k.
4
Suppose 2*w - 4 - 6 = 0. Solve 3*c - w = 2*c for c.
5
Let l(v) = -v - 6. Let o be l(-5). Let z be o/(26/(-6) - -4). Solve -z*p - p = -4 for p.
1
Let i be 1/1 + (-2 - -13). Let v be 21/12 + ((-3)/4)/(-3). Solve i = -v*d + 5*d for d.
4
Let g be 112/6 + (-8)/12. Let i = -13 + g. Let a(b) = b**2 - 4*b - 2. Let r be a(i). Solve w + 10 = r*w for w.
5
Let k be (-2 + -4)/(-3 + 0 - -1). Solve -m - k = -1 for m.
-2
Suppose -3*w = -4*w + 7. Let i = 9 - w. Let t be (i/(-3) - 2)*-6. Solve 0*n - t = 4*n for n.
-4
Suppose 2*b = 3*b. Let z = b - 0. Solve i + 2*i + 3 = z for i.
-1
Let w(n) = -n**2 + 10*n + 45. Let y be w(13). Solve 4*a - y = 2*a for a.
3
Suppose -2*u = -4*u. Suppose u*d - 10 = -2*d. Solve 7 = 4*r - d for r.
3
Suppose -4*i - 8 + 24 = 0. Let t = 12 + i. Solve -2*c + 6*c - t = 0 for c.
4
Let j(t) = 3*t. Let l(b) = -35*b. Let r(k) = 25*j(k) + 2*l(k). Let x be r(1). Let u = 4 - 2. Solve -8 = -x*v + u for v.
2
Let t be 5/3*(-6)/(-2). Let c = -3 + t. Suppose 0 = -2*x - 3*o + o - 6, -3*o - 10 = c*x. Solve 2*g - 3 = -x for g.
1
Let y be (-2 + 2)/(7 + -4). Suppose -3*o = -21 + 6. Solve 0 = -y*v + o*v + 5 for v.
-1
Let z(l) = -l**3 + 5*l**2 - 2*l - 6. Let p be z(4). Suppose -5*a + p = -18. Let r be 1/4 - (-22)/8. Solve a*x + r = x for x.
-1
Suppose 14 = 4*d - 14. Let j(l) = l**3 + 6*l**2 + 4. Let w be j(-6). Let i(q) = -q**3 - 3*q**2 - 4*q. Let h be i(-3). Solve h = -d*z + w*z for z.
-4
Let b(p) = -p**2 - 7*p - 7. Let c(o) = o**2 + 8*o + 8. Let z(w) = 4*b(w) + 3*c(w). Let s be z(-3). Let j = 6 + s. Solve j*t + 25 = -0*t for t.
-5
Let g = -1 - -21. Suppose 30 = i + 2*i + 3*p, i = -3*p + g. Suppose -1 = 2*v - 3*v. Solve i*d = -6 + v for d.
-1
Let w be (-36)/(-14) - 99/(-231). Let f(v) = 2*v**2 + 2*v. Let o be f(-2). Let u = o - -11. Solve 2*n + w*n = u for n.
3
Suppose 0 = 2*o - 26 + 6. Solve 3*x - x + o = 0 for x.
-5
Let w(x) be the first derivative of x**6/60 - x**2/2 - 1. Let u(c) be the second derivative of w(c). Let k be u(1). Solve 0 = -k*i - 2*i for i.
0
Suppose 2*c = 3*c - 4*v - 8, -5*v - 10 = 5*c. Solve -2*q - 10 = -c*q for q.
-5
Let y be -3*8/(-12) + 1. Solve -y*j + 15 = 2*j for j.
3
Let m(u) = 2*u - 9. Let s be m(6). Let t = 43 + -25. Let o be t/99 - (-2)/(-11). Solve o = 2*z + s*z + 25 for z.
-5
Suppose -18 = -w + 4*i, -2*w - i = 13 - 4. Let p = w - -3. Solve 0 = -2*k - 1 - p for k.
-1
Let k(b) = -b**3 + 2*b**2. Let a be k(-2). Solve -4*d - 4 - a = 0 for d.
-5
Let i be ((-1)/3)/(2/(-18)). Solve 0*d + 3*d = -i for d.
-1
Let v = 0 + 4. Let p = 0 - -2. Solve v*z - p*z = 2 for z.
1
Let o be (-15 - -1)*(-40)/80. Solve p - 5 + o = 0 for p.
-2
Suppose -5*y = -3*y + 2*l - 10, 0 = y + 4*l - 14. Solve -y = -t - 7 for t.
-5
Let v = 7 - -1. Solve 0 - v = -4*m for m.
2
Suppose -5*s + 28 = l + 3*l, -4*s = -3*l - 10. Let z = 1 + -1. Let a = 15 - 11. Solve z*h = -s*h - a for h.
-1
Let y be 7*1*(-96)/(-56). Let i = y + -9. Suppose i*c - 6 = 6. Solve q = 1 - c for q.
-3
Let y(l) = l**3 + 3*l**2 - 3*l + 4. Let f be y(-4). Suppose 3*c = f, 0 = -3*g - g + 4*c + 20. Suppose -3*x + 1 + g = 0. Solve 0 = -x*i - 2*i - 8 for i.
-2
Suppose 0 = -g + 2*g + 32. Let d be (-5 + -1)*g/24. Solve -d = 4*l - 2*l for l.
-4
Suppose -2*h + 4 = -36. Solve -3*s = 2*s - h for s.
4
Suppose 2*a = -0*a - 4, 3*a = -x + 7. Suppose -4*u - 63 = x. Let v be 2 - 1 - (0 + u). Solve -6*r = -r - v for r.
4
Let h(w) = 13*w + 10. Let s(g) = -9*g - 7. Let y(m) = -5*h(m) - 7*s(m). Let k be y(-2). Solve k*i - 7*i = -4 for i.
1
Suppose 5*n - 3*l - 19 + 4 = 0, 0 = -n + 2*l + 10. Suppose -5*j = -4*i + 5, 0*i + 5*i = -2*j + 31. Solve n = -j*x - 15 for x.
-5
Suppose 1 = 4*h - 3, 2*n - 2*h - 4 = 0. Let c = 7 - 9. Let q(y) = -2*y**3 - 4*y**2 - 4*y - 3. Let r be q(c). Solve 0 = 2*i + n*i - r for i.
1
Let v(f) = -f - 2. Let a be v(3). Let j = -5 - a. Solve j = b + b - 4 for b.
2
Suppose 4*p - 28 = -2*c, 0*p - 15 = -3*p. Solve 0*v - 16 = -c*v for v.
4
Suppose 5*u = 3*p + 10, 7*u - 6 = 4*p + 4*u. Suppose -3*l - 4*q = p, -l - 5*q + q = 0. Solve -o + l = 3 for o.
-3
Let a(y) = 2*y - 2. Let c be a(3). Let h(x) = 2*x - 11. Let f be ((-27)/15)/(1/(-5)). Let k be h(f). Solve 3*n = k*n + c for n.
-1
Suppose 11 = 2*d - 9. Let f be (-1)/(0 - 1)*d. Solve 0 = -2*z - 0 + f for z.
5
Let o(x) = -x**2 + 9*x + 10. Let y be o(10). Suppose y = -s - s. Solve s = -3*k - 15 + 3 for k.
-4
Suppose -5*a + 4*a + 169 = 2*d, -344 = -4*d + 4*a. Suppose 73 = 4*m - 5*w, -3*m + d = 2*m - 5*w. Solve -2*h + m = 2 for h.
5
Let j be 100/(-36) + (-6)/27. Let q = 2 - j. Solve -1 = -q*z + 4 for z.
1
Let u(t) = -t**3 - 2*t**2 + 1. Suppose -5*c + 4*l = -2*c - 13, 2*c - 4*l - 14 = 0. Let m be u(c). Solve m*r = -5*r + 15 for r.
3
Let j(u) = -6*u**3 + u - 1. Let f be j(1). Let g(a) = -a**3 - 9*a**2 + 7. Let y be g(-9). Let s = f + y. Solve -4*c + 3 = -s for c.
1
Suppose 4*v - 18 = v. Let j = 5 - -7. Suppose -o + j = 2*o. Solve -v = -o*l + 7*l for l.
-2
Let f = 12 - 1. Let j = f + -8. Let l = 3 - j. Solve -5*u + 0*u = l for u.
0
Let g(r) be the first derivative of 2*r**3/3 - 4*r**2 - 4*r + 4. Let f be g(6). Solve -w + 6*w = f for w.
4
Suppose -5*i = -5*l - 5, 3*i + 2*l = -0*l - 2. Solve -2*h = -i*h + 4 for h.
-2
Let i(d) = d**3 + 6*d**2 + 6*d + 5. Suppose -2*r = -3*x - 5, 0 = -0*x - x - 4*r - 25. Let g be i(x). Suppose g*f = f. Solve f = 5*w - w + 12 for w.
-3
Let x = 3 + 3. Suppose 6*l = 3*l + x. Suppose -4*g + 2*g - 6 = -l*r, -4*r = -5*g - 14. Solve -2*a + r = 3 for a.
-1
Let k = 4 + -7. Let c(t) = -t**3 - 2*t**2 + 3*t + 2. Let f be c(k). Let n = 0 + 3. Solve -f*s + 5 = -n*s for s.
-5
Suppose 0 = -4*i + 5*c + 11, 0*i + c + 3 = i. Solve 0 = -i*x + 2*x for x.
0
Suppose 4*u - 7*w = -2*w - 5, 0 = -2*u + 2*w. Solve 0 = -2*v + u + 3 for v.
4
Suppose 0 = 2*w - q - 16, -5*w + 8*q - 3*q + 50 = 0. Solve -y - w = -2 for y.
-4
Let o = 14 - 10. Let s be 1/4 - 1/o. Solve s = -3*z - 0*z - 9 for z.
-3
Let x(f) = f**3 - 8*f**2 + 2*f - 8. Let n = 11 + -3. Let b be x(n). Solve -2*z = -6*z + b for z.
2
Suppose -3*a - 24 = -3*s, -2*a + 41 - 1 = 5*s. Let x(y) = -3*y + 5. Let p be x(3). Let g be 0/((6 + p)/(-1)). Solve g = 3*j + 1 + s for j.
-3
Suppose 0 = -o + 4*o. Suppose 3*k - 2*z = -1, -3*k + 6 = 2*z - 1. Let x be (k - 0)/(4/16). Solve -4*q = -x - o for q.
1
Let n(j) = 5*j**3 - 2*j**2 + j. Let s be n(1). Suppose -t = -s*t. Suppose -2 = -3*i + 4*q, -i + t*q = q - 3. Solve i*b = -0 + 2 for b.