= 0 for m.
2
Let u be 6412/196 + 2 + (-24)/14. Suppose 2*f + 5*z = u, -2 = z - 7. Solve -2*c - 1 = -n, 0 = -3*n + 4*c - 5*c - f for n.
-1
Let h = 11 - 12. Let r be ((3 - 12) + 4)/h. Suppose 2*k + r*c - 4 = 0, k = -2*k + 4*c + 6. Solve 0 = 5*a - 2*v - 15, 4*v + 24 = k*a + 2*a for a.
1
Let o = -657 + 662. Suppose -o*p = 4*s - 6*p - 45, -3*s + 4*p = -50. Solve 2*l - 2*w = -4*w - 4, w = 5*l + s for l.
-2
Suppose -1400*m + l - 896 = -1403*m, -308 = -m + 2*l. Solve -2*q - m + 330 = 4*v, 0 = 5*v + q - 27 for v.
4
Let a(o) = -o**3 - 6*o**2 + 2*o - 10. Let g be a(-7). Let k = -4968 - -4968. Solve s = -5*d - k*s - 20, -5*s = g for d.
-3
Suppose m + 2*b + 910 = 0, -3*b + 7*b - 892 = m. Let q = m - -909. Solve -6*u = -11*u - q*s, -24 = -u + 5*s for u.
4
Let y = 1351 - 1344. Solve 0 = -3*t - 4*c - 5, 6*c = -2*t + y*c + 15 for t.
5
Let f = 2360 + -2356. Solve -f*k + 24 = -4*p, -3*k - 10 = -3*p + 7*p for k.
2
Suppose 4*l - 9 = -p + 2*p, -5*p - 25 = 0. Let u(x) = -45*x + 115. Let v be u(2). Solve -l = 3*r + 14, 5*s + 2*r + v = 0 for s.
-3
Suppose 25*j + 3*h + 21 = 27*j, 4*h + 32 = 4*j. Solve j*l + 8 = -0*l + o, 0 = 2*l - 2*o for l.
-4
Let q(l) = -2*l**3 - 6*l**2 + 12*l + 18. Let b be q(-4). Solve -p + 6 = -b*k, 7*k - 5*p = 5*k - 14 for k.
-2
Let s = -68 - -99. Let q = -63 - -76. Suppose 0 = -2*z + 3*b + q, 2*z + 2*b = -0*z - 2. Solve 0 = -z*j - 5*a + s, 3*a + 8 - 26 = -j for j.
3
Suppose -6*l = -g - l + 99, 0 = -g - 2*l + 71. Suppose -5*m + 94 = g. Solve q + 18 = m*x, -5*q - 5*x + 5 = -5 for q.
-3
Let q(b) = -10 - 2*b - 4*b**2 - 2*b + 3*b**2 + 34. Let v be q(-7). Solve -4*u + v*j - 13 = u, 0 = u + 2*j for u.
-2
Suppose -24*k - 6 = -26*k. Suppose 2*s - 685 + 167 = 4*b, s - 127 = b. Let n = -109 - b. Solve -4*v + n = 3*z, -18 = -z + k*z - 4*v for z.
1
Let i be 4/(-12)*(-7 + 4 + -3). Solve -3*k - i*z = k - 18, -3*z + 21 = 4*k for k.
3
Suppose -2539*f + 2553*f = 112. Solve -5*j - 4*s + 37 = 0, -4*j + 17 = 7*s - f*s for j.
5
Let n be (0 - -1)*(0 - 0). Suppose -26 = -370*q + 365*q - 3*h, -5*h = 5*q - 30. Solve 5*r - q = -0*c - c, n = -2*c - 2*r + 8 for c.
4
Suppose -260*m + 550 + 835 = 17*m. Let k be 0*(21/9 + -2). Solve k = g - 0*g - m*s - 26, -3*s - 17 = -2*g for g.
1
Suppose 2*s - 29 = -4135*t + 4130*t, s - 5*t = -8. Solve 3*k + 4*h = 6*h + s, 5*k = 2*h + 9 for k.
1
Let d be 9/(-6) + (-311)/2. Let x = d - -161. Solve 3*q = -2*b + 8 + x, -5*q + 4 = -2*b for b.
3
Let v = 11 - 10. Let b(z) = 7*z. Let x be b(v). Let q be (-3)/1 + -5 - (4 - (21 + 13)). Solve -4*h + x*h + 3*n - 15 = 0, 4*h - q = -5*n for h.
3
Let c(y) = y**2 - 9*y + 10. Let r be c(4). Let q = r + 20. Suppose -2*t + q*t = 120. Solve -4*u = -u + t, 4*b - 5 = 5*u for b.
-5
Let w = 7325 - 7320. Solve 0 = -w*d - 3*v - 0 + 11, v - 3 = -d for d.
1
Let u be (-22 + -1 + 1)*5/(-2). Let o = u - 37. Suppose 4*a - 4*v - o = -3*v, -3*a = 4*v - 4. Solve 4*c = -2*z - a, -5*z + 6 = 5*c + 1 for c.
-3
Let u(l) = -5*l**2 + 29*l + 148. Let v be u(9). Solve 0 = -24*a + 19*a - 4*c - 1, a + v*c = -13 for a.
3
Let v = -8 + 10. Let p be (0 + 1)/(v/(-48)*-4). Suppose 0 = 3*u - 0 - p. Solve t - 2*t - 4 = u*b, 2*b = 5*t + 8 for t.
-2
Let u be 3 - 8/12*3. Solve 3*o + j - 4 = 0, 2*o - 27*j + 28*j - u = 0 for o.
3
Let a = -6116 - -6119. Solve a*l = 4*o, -2*o - 3*o + 35 = 5*l for o.
3
Suppose -143*x + 861 - 502 = -928. Suppose -h = -0*h - 4. Solve -v = -h, n = v - x + 3 for n.
-2
Let z be (-46)/((-12)/6 + 45/20). Let h = 184 + z. Suppose -9 = 3*r + 5*s, -5*r - 4*s = -3*r + 8. Solve 2*v - r*o = -0*o - 18, -v + 3*o - 17 = h for v.
-5
Let j(x) = -2*x**3 + 133*x**2 + 68*x - 50. Let i be j(67). Solve 4*r + 146 = 3*k + 127, -2*r - i = -3*k for r.
-1
Suppose 258 = 5*l - 3*p + 263, 4*l - p - 3 = 0. Solve -4*s - 12*t + 15*t = 5, 17 = l*s + 5*t for s.
1
Suppose -308 + 28 = 7*q. Let d = q - -40. Suppose 3*v + 3 = d, 5*h - 3*h + 4 = -4*v. Solve -4*f + f + 3 = h, -5*f = -4*j - 13 for j.
-2
Suppose 0*f + 18 = 4*i + 2*f, 2*i + 16 = 4*f. Solve -3*t + 3*d = 2*d + 4, i*d = 5*t + 5 for t.
-3
Let o be 8 - 42/6 - 1/(-1). Suppose 0 = o*r + r, -r = -2*l + 6. Solve 0*z - l*z = -2*p + 14, -12 = 4*z - p for z.
-2
Let r be 1/(-6) - (-194)/12. Suppose -18 = -r*s + 19*s. Let q = -6 - s. Solve z = -0 - 2, q = f + 5*z + 15 for f.
-5
Suppose -3*l + 11*h = 10*h - 92, 3 = 3*h. Suppose -l = -5*z + 9. Solve 0 = -m - 4*y - 6, -z = -8*m + 3*m - y for m.
2
Let h(r) = -r**2 + 3*r + 300. Let g be h(-15). Suppose -g*j + 12 = -78. Solve j*s + 4 = m + 10, -2 = -s - m for s.
2
Let i(a) = -a - 1. Let u be (18/12)/((-3)/8). Let g be i(u). Let z(m) = 10*m + 363. Let x be z(-36). Solve x*c = -q - 1, -12 = 4*q - g*c + 7 for q.
-4
Let m = 8166 - 8164. Solve -19*b + 17*b - 14 = m*a, 10 = -5*a for b.
-5
Let x(k) be the second derivative of k**5/20 + 25*k**4/12 - k**3/6 - 25*k**2/2 + 12*k. Let y be x(-25). Solve y = -3*d - 4*a + 8, 2*d = -0*a + 2*a - 4 for d.
0
Let g be -1*2/24*(87 - 85)*-30. Solve 6*s - 2 = 10*s - g*o, 2*s - 10 = -3*o for s.
2
Let r = -46546 + 46551. Let n = 0 + 0. Solve -2*l = -r*i + 12 + 2, 5*l + i - 19 = n for l.
3
Let w = -2900 - -2903. Solve -12 = -w*z + 3*r, -2*r + 1 = 5*z + 9 for z.
0
Let r be (2/(-4))/(-9 - (-3395)/378). Solve 2*k - r = 5*x, -10 = 3*x + 5*k - 0*k for x.
-5
Let v(p) be the third derivative of p**5/60 + 5*p**4/8 - 58*p**2. Let h be v(-15). Solve h = -m - 0*m - 4*w + 18, 0 = -5*m + w - 15 for m.
-2
Let p(u) = 3*u - 71. Let q be p(25). Let i be (-1*2)/(2/(-5)). Solve -2*n + 8 = g, -q*g - i*n = -n - 20 for g.
2
Suppose 0 = d - 2*a - a - 17, -5*d + 3*a = -25. Suppose x + d = q + 3, -19 = -5*q - x. Solve 2*b + 13 = f + 5, 0 = -q*f - b - 11 for f.
-2
Suppose 0 = -7*y - 83 - 211. Let b = 52 + y. Suppose -5*d + 3 + 7 = 0. Solve -8 = -4*u - d*i, -b = -3*u - 4*i + 1 for u.
1
Let h(v) = -52*v**3 - 2*v**2 - 4*v - 2. Let r be h(-1). Suppose 0*l + r = 3*l + 2*m, -8 = -l - 3*m. Solve -5*i + 2 = 2*d, -4*d - l = -2*i - 0 for d.
-4
Suppose -4*r - 3*j + 63 = -8*j, -3*j = 5*r - 88. Solve -9*t = -5*b - 7*t + 4, b = -5*t + r for b.
2
Suppose 1087*a - 1089*a = -4*u + 2, 0 = -2*u - a - 1. Suppose -4*s - 10 = -9*s. Solve -5*q - 3*v - 20 = s*v, u = 4*v + 4 for q.
-3
Let s be 11/(121/11)*0. Solve 0 = -q - 4*w - s*w, 3*q - 8 = -4*w for q.
4
Let t = -301 - -309. Suppose t*q - 4*x = 9*q - 10, 0 = 3*q - 4*x + 2. Solve 2*i - q*s - 20 = s, -4*i + 12 = s for i.
4
Suppose s - 44*m + 39*m = -32, -28 = -4*m. Solve s*h + w = -h - 9, -5*h - w - 12 = 0 for h.
-3
Let w = 39 - 46. Let j = w + 8. Suppose -5*p - j = -5*x + 2*x, -x = -3*p + 5. Solve 0 = v + 2*c, v - 2*c = -x + 3 for v.
-2
Let f be ((-13)/(-130) - (-60)/25)*(-2 - -4). Solve -4*o + 2*s - 4 = 0, 0*o - s + 5 = -f*o for o.
-1
Suppose 5*r = -4*c + 51, 2*r = -5*c + 10 + 7. Solve 0*k - 5*s = -3*k - 21, -5*s + r = 2*k for k.
-2
Let m(u) = u**3 + 6*u**2 + 5*u + 5. Let r = -64 + 59. Let l be m(r). Suppose l*f = 24 - 4. Solve 12 = 2*d + 5*j, 5*j = -d + f + 7 for d.
1
Suppose -13 = -3*l + 17. Let n be (4/l)/(-4 - (-123)/30). Let j = -4 + n. Solve -u = -2*f + 2, j = -0*u - u for f.
1
Suppose -17*o + 56 + 11 = -1. Solve -10 = 3*v + h - 3, 0 = -3*v + o*h - 17 for v.
-3
Let b(o) = -o**2 + 63*o - 236. Let s be b(4). Solve s = -2*v + i + 3, 14*i - 9 = v + 10*i for v.
3
Let i(o) = -o**3 + 6*o**2 + 4*o - 9. Let q be i(6). Suppose 24 = -186*g + 188*g. Let k = q - g. Solve -j - k*c - 14 = 0, 0 = j - 5*j + 3*c - 11 for j.
-5
Let d = -11955 + 11957. Solve -3*q = -d*v + 23, -43*q - 2*v = -38*q + 17 for q.
-5
Let l(w) = 2*w**2 + 34*w - 43. Let i be (-19)/1*(-2)/(-14)*7. Let p be l(i). Solve 4*j - 5*u - p = 0, -5*j = -3*u + 2*u - 15 for j.
2
Suppose -z - 1 = 0, 4*f - 1721 = f - z. Let w = -572 + f. Solve 0 = -k - 4*y + 13, 5*y = 4*k + w*y + 5 for k.
1
Let g = 242 + -115. Let n be g/(-3) + 2/(-3). Let c = -39 - n. Solve -l - 4*x = -3*l + 12, 10 = 3*l - c*x for l.
-2
Let n(z) be the first derivative of z**3/3 + z**2/2 + 4*z - 17. Let d be 2/((-4)/(-6))*-1. Let q be n(d). Solve 2*c = -4*i + 3*c - 10, 0 = 5*c - q for i.
-2
Let c(t) = -t**2 - 11*t - 20. Let x be c(-8). Suppose -5*d = p + 1, d - 69 = -4*p - 16. Solve -2*l + v = -p, 2*v = -5*l + x + 13 for l.
5
Let v(i) = -3*i**2 - 35*i - 20. Let n = 328 + -339. Let s be v(n). Solve p - 2*y + 11 = y, 5*p - s*y = -29 for p.
-5
Let h = -238 + 352. Let a = -111 + h. Solve a*m = -2*m - 4*k + 9, -3*m + 3*k =