for m.
1
Suppose 77*f - 6 = 76*f. Let u be 84/35*10/f. Let o = 4 + -1. Solve -15 = -u*y + 3*q, -o*y - 8 - 12 = 4*q for y.
0
Let f = 11 - 7. Suppose -f*u = -u. Suppose u = 3*q + 2*q - 75. Solve -3*l - 15 = -5*t - 0*l, -5*t + q = 5*l for t.
3
Suppose 0 = 6*j - 16 - 8. Solve -3*v = w - 1, 3*w - w + j = -3*v for w.
-5
Let r be (-1 - 2)/(1/((-24)/2)). Suppose -6*c = -0*c - r. Solve -j = 5*u + 12, c*j + 2 = 4*u + j for u.
-2
Let s(b) = -b**3 - 12*b**2 + 13*b + 5. Let w be s(-13). Solve w*t + 2 = 4*p + 22, 2*t - 4*p = 8 for t.
4
Suppose -4*a + 60 = y, 6 = -a + 7*y - 2*y. Let u = a - 12. Solve 0 = 2*n + 3*l + 10, l = -3*n - u*l - 15 for n.
-5
Let p(m) = 4 - 2*m - m**2 - 7*m + 2*m**2. Let t(a) = -11*a - 24. Let x be t(-3). Let q be p(x). Solve 5*g + 0 = -k + 8, -2*k = 4*g - q for g.
2
Let f = -10 - -14. Suppose -7*j + 2*j - 6 = -f*o, 5*o - 5*j - 5 = 0. Let q = 3 - o. Solve 0 = -5*g - 5*w - 10, -4*g + q*w + 15 = -9 for g.
2
Suppose 2 = -7*j + 8*j. Suppose 0*q - j*u = -q, 5*u = -q + 7. Suppose 0*z - q*z = 0. Solve -5*f = d + 2 - 3, -4*f + 5*d + 24 = z for f.
1
Suppose -22*m + 276 = m. Solve -4*k + 5*x + 9 = 29, -3*k = 3*x - m for k.
0
Let g = -193 + 197. Solve -5*l = -g*o - 41, 3*l = 2*l - 3*o - 7 for l.
5
Suppose 0 = 5*n + 4*l - 17, -4*n - l = 4*l - 10. Suppose 135 + 105 = 15*i. Solve -5*d - i = o - 2*o, 40 = -5*o - n*d for o.
-4
Suppose 6 = -22*n + 20*n. Let j be n/(-6) + (-15)/(-10). Solve 0*a - 2 = 2*a - 2*f, 20 = -j*a - 4*f for a.
-4
Suppose -g = h + 1 - 8, h - 7 = 4*g. Suppose 1 = 2*p - h. Solve 4*t + 24 = -p*w, 3*t + 2 = -4 for w.
-4
Let h = 16 + -14. Let p be 0 - (3 + (-22)/h). Let f be (-4)/(-2) + (-7)/((-21)/6). Solve 0*t + 4*t - 5*a = p, 0 = -f*t - a - 16 for t.
-3
Suppose 2*m + 9 = -1. Let h = m + 9. Suppose 0 = x - h*x + 6. Solve 16 = -4*c - 5*s, x*s = 4*s for c.
-4
Let v = -82 + 85. Suppose v*s - 28 = -s. Solve -s = u + 3*i, 3 = 3*u - 5*i - 4 for u.
-1
Let i be 1*-18*3*48/27. Let d = i - -100. Solve y = -2*g + 4*y - 17, 0 = 4*g - d*y + 28 for g.
-4
Suppose -20 = 3*c - 8*c. Suppose 2*b - 4*b = -c. Solve -b*s + 10 = -2*t - t, 2*s = t + 2 for s.
-1
Suppose -g - 3 = -0*g. Let i(s) = 2*s**2 + 5*s + 2. Let d be i(g). Solve 3*x + 15 = 0, -3*j = -7*j - d*x - 13 for j.
3
Let n be (-418)/(-38) + (-10 - 0). Let w(k) be the first derivative of k**2/2 - 2*k - 2. Let f be w(4). Solve i - f = v, i + v - n = 3*i for i.
-3
Let k be (-28)/42 - 15/(-9)*1. Solve 0 = -x - 3*r + 1, -x - r = -0*x - k for x.
1
Suppose 0 = -2*p - 5*c - 36, -57 = 5*p + 5*c + 63. Let m be 174/21 + 8/p. Solve -4*w = 3*t + 2 + m, 3*t - 5*w = -1 for t.
-2
Let b(i) = -i**3 - 6*i**2 + 8*i + 9. Let z be b(-7). Let m be -5*(z - (-69)/(-15)). Suppose -m*q = -12*q. Solve -4*j = -5*v - 9, q = 3*j + v + 16 + 1 for j.
-4
Let o be ((-10)/4)/((-6)/60*5). Suppose o = 3*m + 2*u - 3*u, -5*m + 10 = -2*u. Solve -5*q + m*z - 5*z = 35, q = z + 3 for q.
-2
Suppose 2*p - 44 = -40. Solve -t = -p*k - 6, -2*t - 3*k - 6 = 2*k for t.
2
Suppose 2*c + 6 = 2*l, 5*c + 4*l - 8*l = -12. Solve -4*f = c, 2*s - 7*s + f = -10 for s.
2
Let j = 2 - 0. Let z = 5046 + -5042. Solve z*a = -k - a - 23, 29 = j*k - 5*a for k.
2
Let o(z) = -z**3 + 14*z**2. Let s be o(14). Let g = -19 + 42. Suppose 74 + 16 = 3*u. Solve 5*p - g = -2*n, -5*p + u = -s*n - 5*n for p.
5
Let y(n) = -2*n**2 - 21*n + 68. Let j be y(-13). Solve -2*f + f + 3 = -x, -j*x - 15 = 0 for f.
-2
Suppose 13*o + 36 = 12*o. Let l = -34 - o. Solve 2*a + l*a = 2*w, -4*a - 4*w + 12 = 0 for a.
1
Suppose -5*n + 25 = 3*s - 0*n, 25 = -5*s + 5*n. Suppose -5*k - 10 = 0, 5*o - 4*k - 26 = -6*k. Suppose o*p - p = s. Solve -2*u - 2*u + 4 = -g, p = 3*g for u.
1
Let t be (-305)/(-45) - 5 - 2/(-9). Let l(k) = -k**3 + 5*k**2 + k - 3. Let v be l(5). Let b be v/6*(14 - t). Solve 5*d - 9 = -3*w, 6*w = -b*d + 3*w + 9 for d.
0
Let b(n) = -n**2 + 24*n + 148. Let p be b(29). Solve -5*g + 1 = k, 2*k + 5*g = 5*k - p for k.
1
Suppose 0 = -j - j. Suppose -15*w + 12*w = -75. Suppose 0 = -25*t + 20*t + w. Solve j = t*y + 15, -3*m = -m + 2*y + 10 for m.
-2
Let r = -273 - -275. Solve -z - 5*n - 5 = 0, 0 = r*n + n for z.
-5
Let k(w) = -222*w - 1102. Let f be k(-5). Let l be 65*(2 + 8/(-5)). Suppose -c - 6 = -l. Solve -q + c = 4*p, q - f = p - 2*q for p.
4
Suppose -11*s + 5*w + 63 = -7*s, -s + w = -15. Solve 2*b = 4*b - 4*v - 14, -2*b + s = -3*v for b.
3
Let z be 2/(-3) - (-23)/3. Let l be (-11 - -4) + (-3 - 120/(-10)). Solve -f + z = -p - 2*f, 3*p = l*f - 6 for p.
-4
Let t = 76 - 6. Let y = 91 - t. Let z be (-62)/(-5) - (-2)/(-5). Solve 0 = p + 5*x + z, 5*p - 1 = -5*x - y for p.
-2
Let l(u) = -u**3 - 13*u**2 + 113*u + 11. Let s be l(6). Solve 2*q = -10, 3*q = s*c + 6*q + 20 for c.
-1
Let j = -71 + 75. Solve u = -b - 4*b - 12, 0 = j*b + 8 for u.
-2
Suppose 69 = 5*g - 126. Let v = -22 + g. Let d = 21 - v. Solve -2*k - 19 = -d*o + o, 5*o - 31 = 3*k for k.
-2
Let r(y) = y**3 + 2*y**2 + 2*y + 4. Let s be r(0). Solve 3*u + 3*f = -6, 8 = -u + s*u - 4*f for u.
0
Suppose 2*z + 6 = -4*x, 12 = 2*z + x - 3*x. Solve 2*u + 10 = -3*b, 2*u + u = z*b for u.
-2
Suppose 15 = -2*d - 33*m + 28*m, 0 = 3*d + 4*m + 5. Solve -7 = 4*g + 3*h, d*h - 39 = 5*g - 4 for g.
-4
Let z(v) = -4*v + 2. Let q be z(5). Let d = -11 - q. Let l(y) = y - 3. Let o be l(8). Solve r = 4*j - d, -2*j - j + 11 = o*r for j.
2
Let m(d) = d + 18. Let s be m(2). Suppose -2*f = 6*u - 11*u - s, 2*u = f - 8. Solve 0 = c + 3*b + 4, f = -2*c + 4*b + 15 - 3 for c.
2
Let y(p) = -12*p + 2. Let j(f) = 11*f - 3. Let v(q) = 3*j(q) + 2*y(q). Let s be v(2). Suppose -9*i - 16 = -s*i. Solve 0 = i*b + 6*c - 2*c - 20, -4 = -c for b.
1
Let q(f) = -f**2 + 21*f - 49. Let r be q(20). Let o = 34 + r. Solve -3*a + o*l = 3, a - 4 = 5*a - 4*l for a.
-1
Let a(t) = -t**2 + 3*t + 16. Let i be a(0). Solve 5*x + 0*j + i = 3*j, -4*x - 10 = -j for x.
-2
Let g(i) = 2*i**2 + 4*i - 65. Let w be g(-7). Solve 0 = 5*b - f + 7 + 22, 0 = -b - w*f + 15 for b.
-5
Suppose -3*k = -5 - 10. Suppose a = 2*n - 1, -n - 3 = -k. Let r be -1 - (-36)/(6 - a). Solve 6*z - 3*o - 3 = 2*z, 0 = 2*z + o + r for z.
-3
Suppose -3*o + 9 = -0*o. Suppose 3 = -4*y + 35. Suppose -3*n = -y*n + 60. Solve -p - 15 = -4*p - 3*q, 0 = o*q - n for p.
1
Suppose -16*k = -21*k + 25. Solve 4*i = 5*c + 25, -k*i + 33 - 6 = -2*c for c.
-1
Let h(f) = 3*f - 3 + 3*f - 5*f + 7. Let u be h(-1). Suppose -2*w - u = -4*w + 3*x, 0 = -5*w + 2*x + 35. Solve -5*c - 8 = 2*a + w, 0 = 5*c - 2*a + 13 for c.
-3
Suppose -4*n = -2*a - 12, -5*n + 1 = -14. Let m be (a/2)/((5 + -13)/(-4)). Solve -2*o + 2*c - 2 = 0, -3*o + c + 0*c - 7 = m for o.
-3
Suppose 5*w - 23 = 2. Suppose -6*m = w + 1. Let v be ((m - -2) + -11)/(-2). Solve 3*i + 2*i - 10 = -v*d, 0 = -2*d - 6 for i.
5
Let q = -346 + 356. Solve -q = 2*m - 0, o + 5*m + 28 = 0 for o.
-3
Let d = 404 - 401. Let x be (-2 - 1)/((-6)/4). Suppose 0 = x*y - 5*y + 6. Solve 0*a + 6 = 3*a, -2 = -y*w - d*a for w.
-2
Suppose 0 = g - u, -g - 3*u + 11 = 3. Let k = 30 + -32. Let m(t) = t**3 + 5*t**2 + 2*t - 2. Let v be m(k). Solve -g*j + v = 0, -j + 13 = -2*h + 2*j for h.
-2
Suppose 0 = -3*m - 9 - 0, 5*k - 128 = m. Let c be (-16)/(-12)*(-3)/(-2). Solve 5 = -5*q + v, -c*q = 2*q + 5*v - k for q.
0
Let v = 2215 + -2187. Solve 4*b - v = -2*s + 5*s, -4*b + 4*s = -32 for b.
4
Suppose -116 + 134 = 6*c. Solve 5*a = r + 2, -3*a + 1 = -c*r - 5 for r.
-2
Let r = -84 + 95. Solve -t + 0*t + n = 1, 2*t + n = -r for t.
-4
Let g(p) = -2*p**3 - 4*p**2 - 6*p - 2. Let b be g(-2). Solve 5*q - n = -b, 2*q + n = -0*n + 3 for q.
-1
Let f(s) = -3*s**3 - 4*s**2 - 6*s - 2. Let d be f(-1). Solve d*j + 5*v - 2 = 0, -2*j + 10 = -7*j + 5*v for j.
-1
Let p be ((-18)/(-15))/((-88)/(-220)). Solve -3*q = -4*w + 7, -p = -0*w + w + 4*q for w.
1
Let s = 14 + -9. Let g(b) = b**2 - 2*b - 4. Let y be g(3). Let l = 3 + y. Solve -l*f - 8 = -3*x - x, 5*f = -5*x - s for f.
-2
Let m be (10/8)/((-4)/(-16)). Let k be 19/5 + 1/m. Suppose 3*c + 3*r - 11 = 1, 26 = 3*c - k*r. Solve -1 = -q, 0 = g - 6*g + q - c for g.
-1
Suppose -1402*p + 12 = -1399*p. Solve -5*q - 32 = -10*q + p*f, -3*q + 4*f + 24 = 0 for q.
4
Suppose 3*w - 4 = 2. Suppose 290 = 5*d + 5*l, -l - 2 = -w*l. Let u be 4/7*d/16. Solve 2*y = 0, 3 = -3*s - 0*y - u*y for s.
-1
Let u(f) = -2*f**2 + 45*f - 137. Let x be u(18). Solve 4*j + 6*b = b - 23, 5*b + x = -5*j for j.
-2
Suppose 13 = q + 5*r, 3*r - 13 =