 Solve -4*m - a = 16 for m.
-5
Let p = -3 + 1. Let k = p + 2. Solve k = m + 2*m for m.
0
Suppose 0 = 4*l + 12, 6*b - 4*l - 168 = 2*b. Suppose 2*t = 3*m, -3*m - 9 = 3*t - b. Solve -3*n = -0 - t for n.
2
Let x(p) = -p - 4. Let i = -3 - 4. Let h be x(i). Solve -h*c + 0*c + 9 = 0 for c.
3
Let l = -78 - -80. Solve 0 = -0*u - l*u for u.
0
Let d(o) = -o + 9. Let l be d(4). Suppose 0 = -l*q - 9 + 109. Solve -2*t - 3*t + q = 0 for t.
4
Let u(a) be the second derivative of -a**3/3 - 5*a**2/2 - 5*a. Let q be u(-4). Solve q*j + 2*j = 0 for j.
0
Let o = -3 - -21. Solve -5*u = o + 7 for u.
-5
Suppose -x - 13 = -3*j, 2 + 5 = 2*j + x. Suppose 0*c = -2*c + j. Solve c*r + 6 - 8 = 0 for r.
1
Let g(k) = -k**2 + k + 4. Let s be g(4). Let j = s - -13. Solve -d - j = -0*d for d.
-5
Suppose 0 = 3*f - 0 + 3. Let r be f/(-2)*(2 + 0). Solve -v - 1 - r = 0 for v.
-2
Let y(i) = 2*i**2 + i. Suppose 5*u + 20 = -5*f, -3*u = 2*u + f. Let n be y(u). Suppose -4*j + 2 = 2*w, -n*j - w + 1 = w. Solve q = -5 + j for q.
-4
Suppose 0 = 4*b - c + 12, b + 6 = -2*c + 3. Let w be (2 - 1 - b)/2. Solve 0 - 4 = w*n for n.
-2
Let g be 2 - (6 + 2)/2. Let j be 4 + -2 + 0/g. Let h = 17 - j. Solve p - h = -4*p for p.
3
Let f(q) = q**3 + 9*q**2 - 12*q - 20. Let n be f(-10). Solve n = 11*v - 16*v - 10 for v.
-2
Let z(v) = -v**2 - 3*v + 4. Let y be z(-4). Suppose y = p - 4*p + 18. Suppose -3*a = -a - p. Solve -2*d = d + a for d.
-1
Let p(u) = -u**2 - u + 2. Let j be p(-2). Suppose j*n - 2*n = -6. Let a(v) = v**3 - 2*v**2 - 3*v + 2. Let c be a(3). Solve c*y = -n*y + 5 for y.
1
Let t(x) = x + 2. Let q be t(0). Solve 0 = q*h + 2*h - 20 for h.
5
Let y be (-34)/(-9) + 12/54. Suppose y*m + 9 = 29. Solve -m*r + 3*r = -10 for r.
5
Suppose -a + 0*a = -1. Let h be 1 - (0 - 2/a). Let t be (-8)/28 + (-60)/(-14). Solve -h - 5 = -t*k for k.
2
Suppose 0 = -3*y - 2*m + 17, -4*y - m = 4*m - 32. Solve 0 = -x + 2 - y for x.
-1
Let z = 0 - 19. Let l = z - -21. Solve l = -m + 1 for m.
-1
Let c = -56 - -56. Solve c*m - 8 = -4*m for m.
2
Suppose 2*h = -2*h. Solve -8*i + 3*i + 5 = h for i.
1
Let m(f) = -5*f**3 + f**2 - f + 2. Let w(o) = -4*o**3 + o**2 - o + 2. Let c(d) = 5*m(d) - 6*w(d). Let z be c(-3). Solve 0 = -5*b - 33 + z for b.
-4
Let m(t) = t**2 + 7*t + 8. Let k be m(-6). Let s be (-8)/(-10)*(-130)/4. Let i be 4/s - (-134)/26. Solve i*j - k = 3*j for j.
1
Let z(x) = -x**3 + 12*x**2 + x - 2. Suppose v - 8 - 4 = 0. Let o be z(v). Let g = o + -6. Solve -s = -2*s - g for s.
-4
Let w(l) = l**2. Let z be w(0). Solve f - 3*f + 4 = z for f.
2
Let m(a) = 28*a**3 + a**2 - 1. Let w be m(1). Suppose -2*k = -4*g + 22 + w, 20 = g + k. Let c = -60 - -60. Solve c = -0*s - 3*s - g for s.
-5
Let u(x) = x**3 + 5*x**2 - 6*x + 2. Suppose 0 = -4*o - 17 - 7. Let i be u(o). Let f be ((-4)/3)/((-8)/6). Solve 0 = -i*r + f + 3 for r.
2
Let z = -5 + 9. Let i be 0 + 1/(1/9). Let v = i + 6. Solve -z*b + v = -5 for b.
5
Let k be -2 + 8 + -2 - 22. Suppose -45 = -z - z + o, -z + 5 = -4*o. Let w = z + k. Solve 0 = 2*m - w*m for m.
0
Let h(n) = -5*n + 7. Let t(a) = 11*a - 15. Let s(d) = 13*h(d) + 6*t(d). Let y be s(3). Solve y*p - 15 = p for p.
5
Let u be (-1)/2 + (-9)/(-2). Suppose u*j - 15 - 21 = 0. Solve -j = 2*n - 1 for n.
-4
Let g be 12/(-10)*70/(-21). Suppose 61 = -g*a + 6*d - d, 4*d - 47 = 3*a. Let r(b) = b**2 + 9*b + 2. Let h be r(a). Solve 0 = -4*n + h*n for n.
0
Let n be ((-9)/6)/(4/(-8)). Let f be ((-1)/(-2))/(1/26). Solve -5*p = n - f for p.
2
Suppose t + 4 = 2*t + 3*s, -4*t + 1 = -3*s. Solve t = -o - 3 for o.
-4
Let g = 1 - -4. Suppose 5*t - 29 + 4 = g*z, 0 = -t - 4*z - 20. Let k = 0 - -3. Solve t*s - s = k for s.
-3
Let i be ((-36)/(-7))/3*14. Suppose 5*p - 2*h - 34 = 4*p, 0 = h + 2. Suppose 5*m = -5 + p. Solve -m*g = -i + 4 for g.
4
Suppose w + 6 = 2. Let l be (-48)/(-30) - w/10. Solve -m - 4 = -l*m for m.
4
Suppose 3*z - 28 = -5*f - 0*z, -4*f - 4*z = -24. Solve 0 + f = -r for r.
-5
Let x = -4 + 6. Suppose -5*q + 15 = -x*y - 4, 5*q - 28 = -y. Suppose 4*s - 2*t = 32, y*s + 5*t + 3 = 27. Solve 0 = 3*u + u - s for u.
2
Let a be 24/(-5) - (-2)/(-10). Let r be (-1 + 1)/(a - -3). Solve r = -3*c - 0*c for c.
0
Let a be 4/(-14) + 32/14. Let s be (-1*3)/((-45)/75). Suppose 0*m - 10 = -s*m. Solve -m*y - a = -y for y.
-2
Suppose 45 = -0*k + 5*k. Let z(q) = -3*q - 9. Let m(a) = 7*a + 18. Let j(w) = -4*m(w) - 9*z(w). Let t be j(k). Solve f - 4 = -t*f for f.
4
Let v(f) = -f**3 - 7*f**2 + 8*f + 3. Let s be v(-8). Let c be s/(3/(-2)) + 7. Solve c = -0*k - k for k.
-5
Let n be (-3)/(95/25 + -4). Let q be n/35 + 11/7. Let k(w) = -w + 4. Let a be k(4). Solve -q*p + p = a for p.
0
Let m = 147 - 89. Let b be m/10 - (-3)/15. Solve 3*k - k + b = 0 for k.
-3
Let s = 120 - 53. Suppose -12 = -5*a - s. Let u be a/(-4) - (-5)/20. Solve -2 = o + u for o.
-5
Let c be 3/(-1)*(-8)/2. Solve -c = 4*i - 7*i for i.
4
Let a = -1 + 4. Let n = 0 - -3. Suppose 0 = n*b - 42 - 6. Solve -a*m = m + b for m.
-4
Let k be (-19)/(-4) + -3*1/4. Let l = -2 - -2. Solve l = -2*q + 14 - k for q.
5
Let l be (12/15)/((-2)/(-10)). Suppose 0 = -4*z - u - l*u + 32, -z - 17 = -5*u. Solve 2*m - z + 1 = 0 for m.
1
Let j = 0 + 3. Let p(s) = -s + s**3 + 1 - 4*s**2 - j*s**2 - 7*s. Let u be p(8). Solve 3 - u = -2*z for z.
-1
Let p be 65/26*8/(-5). Let s = p - -6. Suppose -z = -2 - 6. Solve 2 = -s*j - z for j.
-5
Let z(w) = -w + 9. Let g be z(7). Suppose 4*s - g = -5*l + s, -3*l + 3*s = -6. Solve -j - l = -0*j for j.
-1
Let j(f) = f - 3. Let d be j(3). Suppose d = -2*x - x + 6. Let u be (3 + -2)*(0 - -4). Solve -2*w = -u*w - x for w.
-1
Let x(y) = -y**3 + 6*y**2 + 4*y - 7. Let s be x(6). Suppose -4*a + 1 = c + s, 4*a = -2*c - 16. Let w be (2 - c) + -2 + 1. Solve w + 5 = -3*t for t.
-2
Let v be 0 - (0 - 2)/2. Let f be (-2)/7*(-8 + v). Solve -f*b - 15 = b for b.
-5
Let d be (2/(-1))/((-2)/2). Solve 6 = -d*u - u for u.
-2
Let f(s) = -s**2 - 3*s + 18. Let q be f(-6). Let n(c) = c**2 - 5*c - 1. Suppose 0 = b - 2*b + 6. Let d be n(b). Solve d*y + 6 + 9 = q for y.
-3
Let r be (-2*(-12)/(-16))/((-9)/12). Solve 0 = -r*d + 5*d + 3 for d.
-1
Let q = 3 - 1. Suppose 3*u + q*u = 180. Suppose -2*p + 6*p - u = 0. Solve 5*i - p = -4 for i.
1
Let r = -8 - -12. Solve 0 = -r*h + 2*h - 6 for h.
-3
Suppose -5*z + 12 = 3*p, 3*p - z - 2*z - 12 = 0. Suppose x - 20 = -p*x. Solve 2*r = -2*r + x for r.
1
Let h(k) = k**2 - 6*k + 7. Let w be h(8). Let d = w - 19. Solve -d = 4*p - 3*p for p.
-4
Let n = -3 + 8. Suppose -u + 0*m + 6 = n*m, -5*m - 36 = -u. Solve -5*z + 4 = -u for z.
5
Let g be (-68)/(-12) - (-4)/(-6). Suppose -2*r - 2*b = b - 19, b - g = 0. Suppose s + 1 = r*s. Solve 4*y + s - 5 = 0 for y.
1
Suppose l - 3*l = -2. Let q be 0/5 + l*-2. Let k(g) = -2*g**3 + g**2 + 3*g + 2. Let n be k(q). Solve j - n = -3*j for j.
4
Let i be (0 - -3)/((-9)/(-6)). Suppose i*m + 6 = 3*z - z, 5*m + 42 = -4*z. Let w = m + 7. Solve -2 = y + w for y.
-3
Suppose 4*k = 5*v - 6, 4*v + 4*k - 2 = 10. Let i be (2 - 4)/((-4)/14). Solve -v*z - i = 3 for z.
-5
Suppose 5*s = -3*r + 55, -5*r + 3*s + 87 = -16. Solve 2*k = -3*k + r for k.
4
Suppose -11 = 4*o - 31. Suppose -o*n - 8 = -18. Solve -g - 12 = n*g for g.
-4
Let m be 3/(-3) - -2 - 2. Let b be 5/((-15)/6)*m. Solve 0 = -5*r - b - 3 for r.
-1
Suppose p + 2*p = 15. Suppose 3*b + 4*z - 3 = 0, -z = -p*z - 12. Suppose 3 = 2*h - b. Solve -h*i - 4 = -2*i for i.
-2
Suppose 3 = -s, -d - 5*s = 3 + 7. Let p = d - 3. Solve -10 = 3*m + p for m.
-4
Let w be (-91)/(-117) + (-4)/(-18). Solve 2*o - 9 = -w for o.
4
Let v be 1/(-2) - (-77)/22. Solve -4*f = -f - v for f.
1
Let d = -1 - -4. Suppose d = -i + 2*i. Solve r - 4 = -i*r for r.
1
Let c be (-6)/(2 - -1) + 6. Suppose -4*d + c*j = 8, 3*j - 12 = -4*d + 2*j. Solve -d = -4*n - 6 for n.
-1
Let p = 46 + -26. Suppose -p = j - 2*j. Suppose 0 = 4*m - m - 12. Solve j = s + m*s for s.
4
Let u(b) = -2*b**2 + 8*b. Let o be u(2). Solve -5*q = -q - o for q.
2
Suppose -43*m + 146 = 17. Suppose 0 = 5*l - 2*f + 3*f - 6, 3*f + 2 = -5*l. Suppose 0 = -5*q + l*q. Solve -m*b + q*b = 0 for b.
0
Suppose -76 = -3*l - 4*a, 7*l - 88 = 2*l + 3*a. Solve 5*j + 0 = -l for j.
-4
Let h be (1 - -29)/3 + -4. Solve -t = 2 - h for t.
4
Suppose 10 + 0 = s. Let b = -27 - -57. Solve -b = -5*q - s for q.
4
Let b(v) = 2*v + 8. Let n be b(-6). Let m = 6 + n. Let u be ((-14)/(-4))/((-4)/(-8)). Solve 