4 for m.
-4
Let b be ((-51)/(-34))/((-2)/8). Let p(x) = -x**3 - 6*x**2 + x + 6. Let c be p(b). Solve -2*n - 4 + c = 0 for n.
-2
Suppose 7*k = -k. Suppose 0 = -p + 16 - 0. Suppose -p = 3*w - 7*w. Solve w*f = -k*f for f.
0
Suppose -5*p + 2 + 13 = -2*k, -9 = -5*k - 3*p. Suppose k = 2*s - 8 + 2. Solve 3 = s*g - 6 for g.
3
Let z = -2 - 0. Let k be 103/7 - z/7. Solve -1 = -4*l + k for l.
4
Let a(h) = -h**2 + 7*h + 5. Suppose 4*y + 5*b = 48, -5*y - 5*b = -0*b - 55. Let z be a(y). Suppose 5 = z*o - 10. Solve 1 + 8 = -o*k for k.
-3
Suppose -3*z + 0*z + 12 = 0. Solve -z*w = w - 20 for w.
4
Let c = -5 - -21. Solve -7*w - c = -3*w for w.
-4
Let w = -3 - -5. Let f(k) = -10*k + 22. Let v(d) = 3*d - 7. Let m(o) = w*f(o) + 7*v(o). Let c be m(8). Solve -2*a = -a + c for a.
-3
Suppose -2*y = 3*y - 60. Let z = 18 - y. Solve -2*m = m - z for m.
2
Suppose -2*x = 2*l + 6, -3*x + 0*l - 13 = 4*l. Solve 0 = 2*u + 11 - x for u.
-5
Let n(p) = 1 + p**2 + 2 + 6*p + 0. Let j be n(-6). Let v = 6 + -4. Solve -4 = j*t + v for t.
-2
Let z be (5 + 1)/1 + -2. Suppose -3*f = 1 - z. Suppose -2*d + 5*d - 15 = 0. Solve f - d = 4*m for m.
-1
Let l = 3 - 1. Suppose -5*f + l*g + 10 = 0, 10 = -2*f - 2*g - 0*g. Solve f = 3*m + 2*m + 20 for m.
-4
Suppose 5*j = -5*o, 3*o + 3*j - 2*j = 6. Let a be -4*2*(-2)/8. Suppose -a*b + 16 = 2*b - 2*v, -4*v - 17 = -o*b. Solve -b*l = l for l.
0
Let r(f) be the second derivative of f**5/20 - 7*f**4/12 + f**3 + f**2 - 2*f. Let c be r(6). Suppose 3*v + 3 = 6*v. Solve 9 = -c*m - v for m.
-5
Suppose 0 = -0*z + 2*z - 2. Solve 0 = 2*u + 1 + z for u.
-1
Suppose -3*n = -3*s - 120, -n + 85 = 2*n + 4*s. Suppose -3*l - 5*z = -0*z - 31, 5*z = -5*l + n. Solve -3*o = -l*o - 5 for o.
5
Suppose 5*p = -2*a + p + 16, 5*a + 5 = 5*p. Solve 3 = -k - a for k.
-5
Let s(u) = u**3 - u**2 - 4*u + 3. Let x be s(2). Let v be (-2 - x)*(-2 + 1). Let k(z) = z**2 - 8*z - 4. Let m be k(9). Solve m = -d + v for d.
-4
Let q = 0 + 0. Let p be 2 - (q - -4) - -2. Suppose k - 12 - 8 = p. Solve 5*z = z - k for z.
-5
Let l = -38 + 38. Solve 4*r - 4 - 12 = l for r.
4
Suppose 5*m + 40 = 9*m. Let n(y) = -y + 10. Let c be n(m). Solve -p + c + 1 = 0 for p.
1
Let i = 7 - 1. Solve 4 = i*n - 4*n for n.
2
Let y(v) = 3*v - 13. Let r be y(6). Suppose g + 57 = r*l - l, -g - 5 = 0. Suppose m - 5*d = 23, 5*m + 5*d = d - 1. Solve 0 = -m*a - l + 1 for a.
-4
Suppose 75 = s + 73. Solve -6 = c + s*c for c.
-2
Let t be 0/(4 + -1) - -3. Solve 6 = -j + t*j for j.
3
Let v = -22 - -28. Solve -v = -4*h + 2 for h.
2
Let c(g) = -g**2 - 3*g - 4. Let v be c(-4). Let p = 8 + v. Solve p*o - o = 0 for o.
0
Let f be (1*-2)/((-4)/16). Suppose -o - o = -f. Solve o*d = 12 - 4 for d.
2
Let v(b) = b**3 + b**2 - 4*b. Let t be v(0). Solve t = -4*c + 2*c - 4 for c.
-2
Let h = 1 - -2. Let r be 3/1 + 0 + h. Solve -d + 1 = r for d.
-5
Suppose 0 = a + 2*a + 6. Let t be (4/(-8))/(a/20). Suppose -b + t*z = 18, z + 0*z = 2*b. Solve b + 1 = -y for y.
-3
Let k(i) = -15*i. Let b be k(-1). Let v be 16/(5 + -1) - 1/(-1). Solve -10 - b = -v*q for q.
5
Let q be 2/(-5) - (-8)/20. Solve a = -q*a for a.
0
Let g = -13 + 22. Suppose g = 4*f - f. Solve -2*i = 9 - f for i.
-3
Let a = -10 + 13. Suppose 2*q = -3*q + 20. Suppose q*b - 7 + 3 = 0. Solve 2*t - b = a*t for t.
-1
Let t be (24/(-16))/(3/(-8)). Solve 0 = 5*d + 1 + t for d.
-1
Suppose -w + 5*p - 1 = 0, 0*w - 4*w = 4*p - 20. Solve 5*i + 1 = -w for i.
-1
Suppose -3*s + 6*s + 2*p = 29, 0 = 2*s + p - 19. Suppose s*z - 8*z = 4. Solve 0 = -z*y + y + 9 for y.
3
Let y be 12/(-64)*4 - 7/(-4). Solve -2*r + r = y for r.
-1
Let o be 1 + 6 + 4/(-4). Suppose -2*s + 1 + 3 = 0. Suppose -s*d + 3 = -5. Solve -10 - o = d*l for l.
-4
Suppose 2*q = -y + 14, -2*y = 2*q - 3*q - 3. Suppose q*i + 3*d = 5*d + 59, 3*d = 3*i - 39. Let a = 10 + -7. Solve i - 2 = a*t for t.
3
Suppose 0 - 2 = -m. Let w(k) = -4*k - 16 + 3*k + 16*k**3 + 16. Let j be w(1). Solve -m*d = -5 + j for d.
-5
Suppose 2*w + 3*n - 13 = 0, -5*w + 15 = -5*n - 5. Solve 2*f + 12 = w*f for f.
4
Suppose -10*m = -9*m. Suppose 14 = 3*h - v, -2*h + 4*v = 5*v - 11. Solve h*w = -m*w for w.
0
Let n = 8 + -16. Suppose 4*j - 39 = -4*q + q, -j = 2*q - 26. Let k = n + q. Solve -4*b - 1 = -k for b.
1
Suppose 0*h + 3*h + 14 = 2*k, k = 5*h + 14. Let s be h/(-3) + (-4)/(-3). Solve 3*j - 10 - s = 0 for j.
4
Let c = 0 - 0. Suppose -w + 13 = -2*j, 5*w - 3*w + 4*j = -6. Let d = -4 + w. Solve -r + 3 - d = c for r.
2
Suppose 4*o + 3 - 26 = -5*q, 3*q + 3*o - 15 = 0. Suppose 0 = 5*p + q - 8. Let f = -5 + 8. Solve -x + f = -p for x.
4
Suppose 0*r - 5 = 5*r. Let v(n) = -n**2 - 2*n - 1. Let j be v(r). Solve -g + 2*g + 2 = j for g.
-2
Let y = 11 - 22. Let c = -8 - y. Solve c*n = -2*n + 10 for n.
2
Let y = 11 + -5. Suppose -2*q = q - y. Solve -q*a = 4 + 2 for a.
-3
Let j(a) = -2*a**2 + 21*a - 8. Let k be j(10). Solve 0 = 2*l - 0*l + k for l.
-1
Let n(c) = -c + 17. Let j be (36/(-21))/(1/(-7)). Let w be n(j). Solve -5 = w*i + 10 for i.
-3
Let k = 2 - 4. Let s(c) = c + 2. Let o be s(k). Suppose 0*q - 5*q = o. Solve q = -0*w + 2*w + 8 for w.
-4
Let i = 6 - 3. Suppose 0 = t - 0*t - i. Let u be 0/(((-18)/(-3))/t). Solve 2*x + 3 + 7 = u for x.
-5
Let q = 58 + -34. Suppose -q = -3*t + t. Solve 0*r - t = 3*r for r.
-4
Suppose 3*r = 6*r. Solve 0 = -r*l + 5*l for l.
0
Suppose i + 3 = 0, j - 7 = -j + i. Let l(x) be the second derivative of x**3/6 + 7*x**2/2 + x. Let a be l(-4). Solve -j*t + 20 = a*t for t.
4
Let p(u) = -u - 8. Let r be p(-8). Solve 2*m + 0 + 4 = r for m.
-2
Suppose -17 = -5*d + 4*g, 0*d - 4*g - 14 = -2*d. Solve -4*w = -15 - d for w.
4
Let i be (-160)/(-25) + (-4)/10. Let q be 0/3 + 1*8. Solve i*d - q = 2*d for d.
2
Let x = -11 + 9. Let l = x - -5. Solve -l*k - 5 = 2*k for k.
-1
Suppose q + 12 = 2*s + 1, 5*s - q = 26. Solve h = -1 + s for h.
4
Let s(o) = -o**2 + 9*o - 3. Let d = 6 - -2. Let p be s(d). Solve 1 = -p*i + 11 for i.
2
Let q(o) = o**3 - 3*o**2 - 11*o + 5. Let k be q(5). Solve -4*y + 2*y = k for y.
0
Suppose -2*d + 4 = -8. Let g(f) = f**2 - 5*f - 6. Let q be g(d). Let i be (4 - (-15)/(-3))*-34. Solve -5*l + 9 - i = q for l.
-5
Let b = 7 - 3. Let l(j) = -j**2 + 5*j + 1. Let s be l(b). Solve -2*n - 3 = -s*n for n.
1
Let q(y) = -y**3 + 8*y**2 + 8*y + 12. Let s be q(9). Let d(f) = 3*f - 12. Let g be d(6). Solve -s*j = 6 + g for j.
-4
Suppose -f = 4*s - 2*f - 3, 0 = 2*f + 6. Solve s = 2*z + 10 - 2 for z.
-4
Suppose 5*o - 3*o = 2*g + 20, 0 = -3*o - g + 30. Let z be (-2)/o + (-162)/(-10). Solve -2*f = -6*f - z for f.
-4
Let n(h) = -1. Let v(u) = u + 7. Let q(g) = n(g) + v(g). Let l be q(-3). Let m be 3/(2*1/8). Solve 0 = -l*i - 0*i - m for i.
-4
Let b = 26 - 22. Solve p = 5*p + b for p.
-1
Let x = 14 - 9. Solve -5*l = 30 - x for l.
-5
Let r(s) = s - 7. Let b be r(7). Solve b = -w - w for w.
0
Suppose -4*y + 0*j = j - 17, -3*j - 5 = -2*y. Suppose 5*n + 376 = y*m, -m + 94 = 4*n - 9*n. Suppose 4*w - m = -22. Solve 0 = -4*b - 2 + w for b.
4
Let w be (0 - (4 - 4))/(-1). Solve w = -o - o for o.
0
Let h be (-12 - -13)*(-4)/(-2). Solve -h*c = c for c.
0
Let d(c) = c**3 - 9*c**2 + 8*c - 1. Let h be d(8). Let k be 0 - (1 + h + 1). Let v(b) = -b**3 - b**2. Let z be v(k). Solve z*a = a for a.
0
Suppose 2*d = d. Let i be -3 - (1 - d - 25). Solve 4*c - 5 = -i for c.
-4
Let y = 14 + -2. Solve -37 = 5*b - y for b.
-5
Let r(t) = -t**3 - 3*t**2 + 4*t + 4. Let i be r(-4). Let j be (6 - i)/(4/66). Suppose 3*z - 17 = -a, -4*a - 2*z = 3*z - j. Solve 0 = -a*h + 2 - 12 for h.
-5
Let n(p) = 11*p**3 - 23*p**2 - 6*p - 2. Let z(a) = -5*a**3 + 11*a**2 + 3*a + 1. Let t(q) = 6*n(q) + 13*z(q). Let h be t(-2). Solve h*f = 4*f for f.
0
Let c(s) = 9 - 3*s - 2*s + 6*s. Let b be c(-8). Solve -b = -0*v - v for v.
1
Let v(l) = -4*l. Let r be v(-1). Let x be (18/r)/(9/12). Suppose 0 = -0*s - 3*s + x, -s - 42 = -4*k. Solve -1 = 3*y + k for y.
-4
Suppose 20 = 4*t - 4*g, g + 2 = -2*t - g. Solve 0 = -z + t for z.
2
Suppose c - 5*q = -0 + 4, c + 2*q - 18 = 0. Let v = -10 + c. Solve 5*u = -v + 9 for u.
1
Let x = 7 + -5. Suppose -2*f - 3*t = 11, -x*f = t + 1 + 4. Let a be (-1 + 4 - f)/2. Solve -y + a = -0 for y.
2
Let j(y) = -y**3 + 5*y**2 - y + 5. Let p be (-51)/(-9) + (-2)/3. Let t be j(p). Suppose t = -3*l + 7 + 11. Solve l*c = c - 25 for c.
-5
Let i be (4/(-5))/(3/(-15)). Let g = 5 - 2. Suppose -g*q = q. Solve i = -q*y 