 + 6 for m.
-5
Let j = -81 + 83. Solve j*c - 8 = 0, -5*u + 5*c = -0 - 5 for u.
5
Let x be (4/(-2) - -2)/1. Suppose x = -q - 2*y, -4*q + 4*y + 7 = -5. Suppose 4*p = -5*v + 23, -2*v + 2*p = -2*p + q. Solve c + 1 - v = m, -2*c - 11 = m for m.
-5
Let t be (-3)/1*178/2. Let i be t/(-12) + (-2)/8. Suppose -c - 4*m = -m + 2, 0 = c - 5*m - i. Solve -c*h + 3*h = -3*l - 25, 0 = 4*h - 5*l - 31 for h.
4
Suppose 6 = 3*f - 0*f. Suppose -3*d - 12 = -6*d. Suppose 4*t = -5*w + 16, -w - 14 = -d*t + 2. Solve p + 2*v = 3*p, w = -4*p + f*v for p.
0
Suppose -2*j = -4 - 4. Suppose -16 = -0*t - j*t + 4*y, 0 = 2*y + 6. Solve 0 = 3*s - 2*k + 13, -s + 5*k = -t + 27 for s.
-1
Let b(a) = -a**3 + 2*a**2 + 2*a + 3. Let g be b(3). Solve 0 = -0*h + 3*h - 2*p - 7, g = -4*p - 20 for h.
-1
Suppose 4*a = -27 + 127. Solve -4*d = -p - 25, -a = 2*p - 2*d - d for p.
-5
Let t(m) = 2*m + 1. Let l be (-2 + (-7)/(-3))*3. Let p be t(l). Let j be (-2)/(48/(-22) - -2). Solve 0 = p*x - 2*a - j, 5*x + 4 = -3*a + 35 for x.
5
Let q = -1 + 4. Suppose 2*v = -q*v - 2*a - 8, -4*v - 4*a = 16. Solve i + 2*o + 0 + 3 = v, -5*o = -5 for i.
-5
Let c = 38 - 36. Solve 4*i - 4*g + 12 = 0, 3*i + 2*i = c*g - 12 for i.
-2
Let h(d) = -d + 3. Let v be h(0). Let l be (-6)/(-15) + 2/(-5). Suppose 0 = -s + 4, u + s = 4*u - 71. Solve l = -v*a - 0*a + 5*x - 40, a = 4*x - u for a.
-5
Let g be 2/2 + 2/1. Solve h + 0*h - g = -3*o, 0 = -2*h for o.
1
Let h be (5/(-3))/((-50)/60). Solve 5*p - 3*l - h*l + 5 = 0, l - 9 = -p for p.
4
Let j be 4 + (-2*2 - -2). Let m be (0 + 15)*j/6. Let l = -1 - -1. Solve l = 2*k - 2*h + 6 + 8, 5*h + 15 = -m*k for k.
-5
Suppose -12 - 10 = -2*b. Solve a = -2*d + 7, 5*a - 25 = 6*d - b*d for d.
2
Let o(v) = 6*v - 32. Let i be o(6). Solve q = -3*b + 2, -4*b = -b - i*q - 7 for b.
1
Suppose -3 = -3*h - 4*q, 2*h - 4*q = 6*h - 8. Suppose 5 + 15 = -h*v, 0 = 5*u - 5*v - 35. Solve 2*s = 3*a, 6*a - 3*s + u = 3*a for a.
2
Let s = -12 - -26. Let k be (5/4)/(1/4). Suppose -m - s = -k*x - 2*m, 2*m - 10 = -x. Solve 0*o - x*l + 4 = -o, 5*o - 5*l + 20 = 0 for o.
-4
Let f(h) be the second derivative of h**4/12 + h**3/2 + h**2 + h. Let a be f(4). Solve -o - 2 = 0, -3*o - 2*o = 4*m + a for m.
-5
Let o(l) = l**3 - 20*l**2 + 2*l - 38. Let d be o(20). Let y = 6 + -4. Solve q + y*q + d = -2*x, -6 = -2*q - 5*x for q.
-2
Suppose -21*j + 26*j - 25 = 0. Solve 5*x - 2*k = 4, j*x + 4 = -k - k for x.
0
Let u = -39 + 39. Solve -5*x = 3*p - 2, 5*x + u*x = -p - 6 for p.
4
Let i(w) = -w**2 - 10*w - 16. Let j be i(-7). Solve h - 3 = -z, j*z + 3*h - 9 = -0 for z.
0
Let p = -7 - -11. Suppose -3*s = -10 + 1. Solve -z - 1 = f, -s*f + 3*z + p + 11 = 0 for f.
2
Suppose -2*l = 5*h + 1, -3*l - 6*h = -4*h - 4. Solve 0 = 5*x + v + 8, 5*v + 14 + l = -x for x.
-1
Let n = -7 + 25. Solve g + 22 = 4*u + 3*g, -u - 3*g + n = 0 for u.
3
Let o(s) = s**3 - 2*s**2 - 2*s - 4. Let n be o(4). Solve w = -4*k + 15, 4*w + k + n = 5*k for w.
-1
Let o be 58/319 - (-42)/11. Solve -11 = -b - 2*d, 2*b - 2*d = 2 - o for b.
3
Suppose -7 - 3 = -5*t. Let i = -12 - -23. Let y be ((-3)/9)/((-13)/156). Solve 0 = -g + t*g - 4*o + 13, -y*o + i = g for g.
-1
Suppose -4*w + 35 = -5*i, 5*i + 5 = -2*w - 0*w. Let a be ((-1)/1)/(w/(-10)). Solve -4*d + v + 4*v = -16, -a*d = 4*v + 18 for d.
-1
Let y be (-4)/8 + 18/4. Let z be 3/6 - (-6)/y. Solve 4*k + d = 5 - 15, -4*k = 5*d + z for k.
-3
Let b(a) = a**3 + 5*a**2 - 7*a - 4. Let f be b(-6). Let g be (8/12)/(f/6). Let y be (-218)/(-11) - (-8)/44. Solve -5*w = 3*u - 1 + y, -u = -g*w - 1 for u.
-3
Let k(g) = -g**2 - 4*g - 1. Let i be k(-3). Let z be 4/22 - i/11. Solve -2*c + 5*r - 9 + 39 = 0, z = -3*c - 5*r - 5 for c.
5
Let z = -2 + -12. Let d be (-4)/z + (-52)/(-14). Suppose -5 = -2*n + n. Solve -2*h - 4*c = -n + 33, -d*h - 3*c - 31 = 0 for h.
-4
Suppose 3*h - 2*h = 4. Suppose -x = x - 8. Suppose -3*s + 8 + x = 0. Solve 16 = 4*g - h*w, 0 = -s*g - 4*w + w + 9 for g.
3
Suppose 3*i - 6*i = -d + 7, -2*d - 4*i = -4. Solve 0 = x - 4*r - 6, d*x = 2*x - 3*r + 1 for x.
2
Let v(y) = y - 6. Let u be v(9). Suppose -25 = -4*t + u. Solve -20 = 3*s - 4*z, -t = s - z - 2 for s.
0
Let z(i) = 2*i**2 - i + 1. Let l be z(-2). Let o = -7 + l. Let p be 1*(2 - (o - 3)). Solve 0 = -2*x - 3*m - 15, -x + 5*m = -26 + p for x.
0
Let j = -4 + 4. Let d = 0 - j. Solve 2*t + 3*l - 22 = d, -7*t - l = -2*t - 29 for t.
5
Let h = -47 + 51. Let q = -1 - -1. Solve q = h*z + 3*c + 2*c + 8, 4*z = 5*c + 32 for z.
3
Let m be (3 - 3)*(-2)/(-4). Solve -4*t - i + 3 = -6*i, 5*t + 2*i - 12 = m for t.
2
Suppose 6 = -2*k + 18. Suppose -6*i - 8 = -2*i. Let b = i + 4. Solve 5*u = -b*t + 13, -11 = -3*u - 4*t - k for u.
3
Suppose -8 = 2*d - 6*d. Suppose 4*g = d*g + 8. Solve -3*f + g*i - 11 = -0*i, -i = -2*f - 4 for f.
-1
Let b(k) = k**2 + k. Let r be b(-1). Let s = 6 - r. Solve 4*d + 0*o + 2*o = 0, -5*d - 4*o = s for d.
2
Suppose -4*r + 8 = -12, 4*s = r - 13. Let y(p) = -2*p. Let v be y(s). Suppose -v*h + 48 = -5*x, -x = -4*x. Solve 3*j = -4*a + 13, -2*a + 5*a - h = -3*j for a.
1
Let c(w) = -3*w - 5. Let p be c(-3). Solve -2*s + 0*s - 7 = a, -32 = 4*s - p*a for s.
-5
Suppose -x - 20 = -5*x. Let f = x + 1. Let a = -6 + f. Solve a = -j - r, 2*j - 8 = r - 5*r for j.
-4
Suppose -6*s + 15 = -9. Let d(t) = -t + 1. Let o be d(-5). Suppose o = r - s. Solve 5*w - r = a + w, -4*w = 3*a - 2 for a.
-2
Let i = 5 - 1. Solve a = c - i, -5*c + 4*a - 5 = -24 for c.
3
Suppose -5*k + 104 = -4*p, 0*k + 36 = 2*k + 4*p. Let v be (-6)/(-8) - (-65)/k. Solve x + 0 = 2*j + 2, 3*x + 14 = -v*j for x.
-2
Let k = 14 - 54. Let r be (-2)/((-2)/k*-2). Suppose c - r = 6*c, 0 = -2*m - 2*c. Solve 2*l - m*t = -l - 20, 0 = 3*l - 2*t + 10 for l.
0
Let k be -1 - -1 - (-42)/14. Solve -5*s + 2*s + 2*p = -3, 2 = 2*s + k*p for s.
1
Suppose -3*d = d - 4*b, 0 = 3*b - 9. Suppose -8 = -d*o - 2*x - 0*x, -8 = -o + 2*x. Solve 3*r + 3*j + 3 = 2*j, o*r = 3*j + 9 for r.
0
Let i(m) = -m**2 + 5*m + 6. Let x be i(5). Let t = 2 - -4. Solve -c - 2*k = -x, t*c = 3*c + 5*k - 15 for c.
0
Let g(f) = -f + 0*f**2 - 2 + f**2 + 0*f**2 + 0*f. Let o be g(-2). Solve -o*w + u + 8 = 0, -3*w - 7*u - 17 = -2*u for w.
1
Let m be 3 - (1 - 4/(-2)). Suppose m = -0*q + 3*q. Solve q = -3*p + 5*p - 4*s - 14, 0 = -2*p + 3*s + 9 for p.
-3
Let h be (-6)/((-15)/5 - -1). Suppose 5*l = -3*i + 7, -2*i - 15 = -5*l + 3*i. Solve l*d + 5*k + 3 = -3, 0 = h*d + 2*k - 2 for d.
2
Let v = 9 + -6. Suppose v*c + 164 = 5*c. Suppose -c = -5*y + 8. Solve -5*u = 2*k - y, 14 = 3*u - 2*u + 3*k for u.
2
Suppose 6*n = 3*n. Let b be (-1 - 1 - 0) + n. Let d(x) = 2*x**2 + 2*x. Let r be d(b). Solve h + 3*g = -2, -h + 2 - 4 = -r*g for h.
-2
Let t(c) = c**3 + 2*c**2 - 3*c - 3. Let z be t(-2). Solve 3*p = s, 7*p = -z*s + 2*p for s.
0
Suppose 8 = 8*k - 0. Solve -4 - k = 3*v + i, -11 = v + 5*i for v.
-1
Let i be (-2)/(-13) - (-296)/104. Solve 2*u + 4*s = -2 - 6, -i*s = 4*u + 1 for u.
2
Suppose 0 = 4*n, 0 = 3*x + n - 0 - 9. Let k(m) = m**2 + 8*m + 9. Let g be k(-7). Solve -x*f - 3 = 0, -7*h + g*h = -5*f - 25 for h.
4
Let w(o) = o**2 - o - 4. Let g be w(3). Suppose 0 = g*x + x. Let t be -5*(8/(-10) - x). Solve 0 = 5*b - a - t*a + 5, -5*b = -2*a + 14 for b.
-4
Let m be 0 + 4 + (-1 - 0). Let b be 22 - ((0 - -1) + -4). Suppose -x + 0*v = v + 1, -5*x = -v - b. Solve m*c = 5*c - y + 3, 0 = 2*c - x*y + 18 for c.
1
Let n(k) = 2*k. Let g be n(0). Solve 3*a - 3*i + 15 = g, -5*i + 25 = -5*a - i for a.
-5
Let h be 1*(-4)/(-2) + 0. Suppose -4*n + r = 9 - 45, 4*n - 48 = -h*r. Let f be (-1)/2 + 45/n. Solve -2*y = -f*j + 10, 2*y + 5 = -2*y + 5*j for y.
5
Suppose 21 = -p - 0*o + 5*o, 4*p = 2*o + 6. Suppose -p*c = -0*c. Suppose c = -q - 0*q + 3. Solve m = 3*b - 0*m + 11, -4*b = -q*m + 13 for b.
-4
Let y(z) = -z**3 - 7*z**2 - 7*z - 6. Let p be y(-6). Suppose 0 = 5*a - 23 - 32. Solve -5*f + 2*t - 11 = 0, f = -4*t - p*t + a for f.
-1
Let b = -11 - -14. Solve -b*u + 3*v + 9 = 0, 0 + 30 = 4*u + 5*v for u.
5
Let x(g) = g**3 - 4*g**2 - 4*g - 8. Let j be x(6). Suppose -3*l = 3*f + 6, -f + 6*f = 3*l + 30. Solve -f = -4*b - 19, 5*b = -5*m - j for m.
-4
Let d be 9*4 - 0/(-7). Suppose n = -b + 5 - 4, -4*n - d = -4*b. Solve b*x + 0*y + 5*y + 10 = 0, 0 = -x + 3*y + 6 for x.
0
Let w = -3 - -6. Let z(f) = -2 + 14 - 3*f + 5*f**2 - 4*f**2 + 12*f. Let u be z(-8). Solve -w*o + 5 = a - 3, 10 = 2*o - u*a for o.
3
Let w = 17 - 10. Sup