for m.
1
Let l be ((-4)/14)/((-2)/14). Let b be (-1315)/(-45) - l/9. Let h = b - 15. Solve -4*z = g - h, 5*g + 4*z - 16 = 2*z for g.
2
Suppose 0*p - 5*p - 15 = 0. Let f = 6 + p. Solve -2*a + a + n + f = 0, -2*n = a + 6 for a.
0
Let w(t) = t**2 + 5*t + 2. Let y = -1 + 1. Suppose 22 = -5*m - g - y*g, 5*m + 37 = 4*g. Let i be w(m). Solve r + 4 = -h, -3*h + 0 = -4*r - i for r.
-2
Suppose 6 = 4*w - 2*w. Let z be (-1)/((w - 2)/(-3)). Solve z*b + 3*o = -18, b - 7*o + 3*o = 14 for b.
-2
Let b = 14 + 1. Let c be (-20)/50 - 51/30*-2. Solve 3*f - c*m = -m - 17, 4*f + 5*m + b = 0 for f.
-5
Let z(l) = 2*l**2 + 2*l - 1. Let d be z(1). Solve -5*j + 14 = -d*b - 3*j, 5*j - 26 = 3*b for b.
-2
Let g(w) = 5*w. Suppose 0*l - l = 0. Let d(i) = -i**3 - i + 3. Let z be d(l). Let x be g(z). Solve 0 = 3*q - 0*r + 3*r + x, 4*r = 3*q + 15 for q.
-5
Let d be -1*3 + 12 + -7. Suppose 4*x = d*x. Solve x = 5*z + 4*w - 3, -8*w + 3*w - 3 = 4*z for z.
3
Suppose 6 - 2 = 2*d. Solve -4 = -4*q - 4*i, 3*q = -d*q - 2*i + 14 for q.
4
Let w be 4/6*12/2. Suppose -2*n + w*d = 2*n - 20, -3*d = -5*n + 21. Solve n*t - 9 = f, -4*t + 6*t = -4*f + 6 for f.
0
Suppose 7 = -5*z + 32. Solve -3*d - 2*m + 16 = 0, z*m - 27 = -2*d + d for d.
2
Suppose z + z = 4. Suppose -y = -p + z*p - 9, -25 = -y - 5*p. Solve -h - 4*v + 2 = -0*h, 0 = -5*h - 5*v - y for h.
-2
Suppose 0 = -m - 0*m + 3. Solve -4*i = -3*b + b - 16, -5*b - 19 = -m*i for i.
3
Suppose -m = -5 + 3. Suppose 5*u - 35 = 4*y, -y - 7 = -4*u - m*y. Suppose 5 = u*j - 4. Solve 0*k - 3*k + 18 = -2*o, 5*o + j*k + 3 = 0 for o.
-3
Suppose 12 = -2*k + 6*k. Let x = k - 3. Let a be (-1)/3 + (-2)/(-6). Solve x = 2*w - 2*p + 20, 5*p - 15 = -2*w - a*p for w.
-5
Let s(x) = x**3 + 4*x**2 + 2*x - 1. Let t be s(-3). Suppose 0 = t*y - 0*y. Solve -3*q = -5*u, y*u + 5*q = u - 22 for u.
-3
Let b = -2 + 4. Let c be 4*(21/(-12) - 0). Let u = 10 + c. Solve -u*m - t + 5*t = -27, b*m - 2*t = 16 for m.
5
Let r = 3 + 2. Let x(o) = o**2 - 3*o + 1. Let q be x(r). Solve -4*p + 17 = -s, 3*p + 5*s - s = -q for p.
3
Suppose -5*n + 18 = n. Solve -l + 4 = n*s + 14, -3*l - s = -10 for l.
5
Let r = 35 + -30. Solve 0*u + 18 = -4*u - 2*q, 0 = u + r*q + 27 for u.
-2
Let f be (-3)/2*30*-1. Let h be (-80)/60*(-30)/8. Suppose 3*n + 26 = d + 59, -h*d = -5*n + f. Solve 3*s + 2*z = 7*z - 11, -4*s - n = -4*z for s.
-2
Let o = -27 + 39. Let b = -7 + o. Solve -y + 0*y = b, y = d - 7 for d.
2
Let k = -18 - -20. Solve 2*w + k*n = -0*w - 16, 5*n + 4 = 4*w for w.
-4
Suppose 9*i - 17 - 10 = 0. Solve -v - i = -5*s, -v - v - s - 6 = 0 for v.
-3
Let r be ((-6)/5)/(4/(-10)). Solve -5*g + v - 10 = 0, -g - r*v + 2 = 4 for g.
-2
Let l = -23 - -43. Solve 5*s + l = s, -4*w - s - 13 = 0 for w.
-2
Let o(s) = -13*s + 14. Let z(h) = -9*h + 9. Let v(a) = -5*o(a) + 7*z(a). Let k be v(6). Solve 3*l + 0*l + k = c, -15 = -3*c for l.
0
Let w = -6 - -9. Let u be 3 + 0 + (-3)/3. Solve 3*y + 4*p = -11, 5 = -4*y - u*p - w for y.
-1
Let u(i) = i**2 - 19*i - 19. Let x be u(20). Solve x = z + 2*r, 0 = -5*z - 5*r + 3*r + 13 for z.
3
Let n be (0 + 0)*3/6. Suppose n*u - 10 = -2*u. Solve u*i - 8 = x + i, 2*i - 2 = x for x.
4
Let f(n) = -n + 11. Let x be f(7). Solve 0 = 5*o - 20, q - 2*o + x = -0*o for q.
4
Suppose 0 = 3*x - 0*x + k - 26, 0 = x - 3*k + 8. Let r(d) = -d**2 + 8*d - 7. Let u be r(x). Solve -4*h = -u*v + v + 21, 0 = 4*v - 5*h for v.
-5
Suppose 0 = 2*f - 8*f. Solve 3*l = -f*l - z - 2, 0 = -3*l + z - 4 for l.
-1
Let i = -210 - -434. Let m be i/(-70)*(-5)/2. Solve m = -4*n + 4*x, -x + 0*x = -3*n for n.
1
Let o be (48/(-5))/((-12)/40). Suppose -4*i = -3*a + 6*a - 9, 0 = 5*a + i - o. Solve z + g - 2 = 0, -5*g + 40 = 2*z - a*z for z.
-3
Suppose 16 = 5*l - a + 3*a, 0 = -4*l + 5*a + 26. Solve -l*o - 8 = 4*v, -3*o = 2 + 10 for v.
2
Suppose 2*u - 2 - 22 = 0. Let x be -8*((-345)/(-12))/(-5). Suppose 0*s - 3*s = 4*q - x, 27 = 2*s - q. Solve 2*p - 6 = 3*f - s, u = -4*p + 4*f for p.
-1
Let u(f) = -f. Let w be u(-3). Suppose d - n + w*n = 1, 2*n + 11 = 3*d. Solve -d*t + a = -a - 15, -15 = -3*t + 4*a for t.
5
Let y = -41 + 45. Solve -u = 4*g + 3, 0 = -3*u - g - 5 - y for u.
-3
Let f = 0 + 3. Suppose -f = -4*o + 5. Suppose 5*i - o*i + 16 = 2*t, 3*t - 5*i = 26. Solve t*l = -5*d - 25, 2*d - 18 = 3*l + 3*d for l.
-5
Suppose -j + 2*v = -1, -9*v - 10 = -14*v. Solve 0 = -5*y - 5*x + 15 - 5, -2*y - 17 = -j*x for y.
-1
Suppose 6 = 3*z - 42. Suppose -4*s - z = -4*m, s = -4*m - 2*s + 2. Solve 4*q - m*u - 26 = 0, u = -u - 10 for q.
4
Suppose 9*b - 4*b + 10 = 0. Let x be (9/b)/((-1)/2). Solve -3*t + 7 = 5*w, 2*w - w - 2*t + x = 0 for w.
-1
Let m = 5 + -8. Let z be (-4)/2 - 6/m. Solve 5*t - 30 + 3 = 3*n, -3*n - 4*t = z for n.
-4
Let x(r) = r**2 - r. Let p be x(2). Suppose 0 = 3*j + p*h - 40, -5*j - 3*h = -8*h - 25. Solve -2*z + j = -5*a + z, 9 = 4*a + z for a.
1
Let m(q) = q**3 + 16*q**2 + 15*q + 10. Let a be m(-15). Solve -5*b = -a, 4*y + y - 4*b = 17 for y.
5
Suppose -t = 4*t - 2*k + 5, 4*k - 5 = 5*t. Let y = 4 + t. Solve 2*x = y*d, 0*d + 2*d + x = 0 for d.
0
Let p(m) = -m**3 - 5*m**2 - 2*m - 1. Let x be p(-5). Let w be (-6)/(-27) - (-43)/x. Solve 0 = -4*o - o - w*v - 5, 5*o = -4*v - 6 for o.
-2
Suppose 1 = 3*m - 2. Let x = m + 4. Let n be 1*(-2 + x - -2). Solve n*o - b = -2*b - 26, 3*o + 5*b = -20 for o.
-5
Let w(s) = s - 5. Let a be w(3). Let q be ((-9)/(-6))/((-1)/a). Solve q*p = -2*h - 1, -h + 3*p + 16 = -p for h.
4
Suppose 3*u + 5 = 4*u. Let b = -4 + u. Let m = b - -3. Solve -5*j + p - 18 = 0, -4*p - m = 4 for j.
-4
Let z = -6 - -9. Suppose -p = -z*v + 11, 2*v - 2*p + 33 = 7*v. Let d be (2/8)/(1/20). Solve 5*u = -v*w + d, 4*w = 3*u - 13 - 18 for w.
-4
Let a(z) = 2*z - 9. Let b be a(6). Suppose -b*u = 2*u - 25. Let f be 2/(-3)*(-34 - -1). Solve -3*i + 3*l = 6, f = 4*i + u*l - 6 for i.
2
Suppose 5*l + 36 = 2*y + 9, 5*l - 3 = -3*y. Let s = -6 + y. Solve s = -2*f + 5*u - 12, 2*f - u = -3*f - 7 for f.
-1
Let x = 17 + -12. Solve 0 = x*v + 4*t - 2 + 8, 0 = 5*v + t + 9 for v.
-2
Let g(n) = -n + 8. Let d(t) = 2*t**2 - t. Let z be d(0). Let y be g(z). Solve y = -a + 3*k, 3*k - k = -4*a - 4 for a.
-2
Let l = 6 - 1. Suppose -30 = -5*n + 3*s, 5*n + l*s + 5 = s. Solve 0 = -r - 3*r + 4*k + 12, -n*r - 3*k + 15 = 0 for r.
4
Let q(y) = y**2 + y. Let k be q(-2). Suppose k*a - 3*a + 1 = 0. Solve 5*f - 5 = 4*d, -2*f - 2*d + a = -f for f.
1
Suppose 5*m + 0*u = 2*u + 14, 2*u = 6. Suppose 0*k - 2*k = -12. Solve 0 = 4*g - 3*r + 8, -k*g + m*g = -r + 2 for g.
1
Let d be (-1 - 1)*(-1 + -1). Solve 3*f = -0*f + 2*a - 3, -d*a = -12 for f.
1
Suppose -h + 8 = h. Suppose h = -f - 2*f - q, -f = -q - 4. Let i(g) = -g - 3. Let n be i(-6). Solve n*j - 2 = -f*c + 2*c, j - 14 = 4*c for c.
-4
Let m(i) = -2*i**3 - 2*i**2 - 2*i. Let g be m(-2). Solve 2*f = -4*b - g, 3*f - 3 = -0*b + b for b.
-3
Suppose -4 = 2*l - 3*l. Suppose 3*w - l*s = -209, 0 = -w + 2*w - 2*s + 73. Let d = -43 - w. Solve y - 2*a = 7 + 1, -2*y = -5*a - d for y.
0
Suppose -3*y = -26 - 13. Let i = 25 - y. Suppose 2*a - i = -a, -8 = -v - 2*a. Solve v = 4*j, -r + 5 = 5*j - 0*j for r.
5
Let v(j) = 2*j**3 + 3*j**2 - j - 2. Let o be v(-2). Let h = 4 + o. Suppose h*l = l - 4. Solve 0*i = 2*i + l*s - 2, 5*i = 3*s - 8 for i.
-1
Let c = -2 - -3. Let h be c/(-5) - 21/(-5). Solve -10 = -2*o, o + o = h*j + 2 for j.
2
Suppose 0*a + 18 = -2*a - 2*c, -20 = 4*c. Let z be 5 - -1 - (-8)/a. Let k(w) = -w + 4. Let q be k(0). Solve -2 = 5*i - r + 2, 0 = z*i - q*r for i.
-1
Suppose 2*j - 39 = -3*p + 5*j, 0 = 5*p + 3*j - 81. Solve 0*d + 2*k = -3*d - 12, 0 = 5*k + p for d.
-2
Suppose -2*i + 4*h + 2 = -0*i, 0 = -i + h + 3. Let a be (i + -1)/(1/4). Let t = 211 - 210. Solve v + 5 - t = 2*g, 0 = -4*g - 4*v - a for g.
0
Let z = 9 + -1. Solve -5 = -5*d - 5*t, -3*d - 4*t + 31 = -z*t for d.
5
Let x(d) = d**2 + 2*d - 2. Let k be x(4). Suppose -4*c + q + k = 3*q, 4*q - 19 = -3*c. Solve -c*n + 0*n + 3 = b, -4*b = -4*n + 12 for b.
-2
Suppose q = 5*t - 11, -t = -0*t - 5*q - 7. Suppose -40 = -6*s + t*s - 4*r, -8 = -2*r. Solve 2*i - s = 4*w, 3*i + 0*i = -2*w - 23 for w.
-4
Let r = -19 + 10. Let f = -7 - r. Solve -y + f*d - 7 = 4, 4*y + 23 = d for y.
-5
Let a be (-1)/(-3) + (-320)/24. Let u = 20 + a. Solve 35 = 5*h + 2*l, -2*l - 5 = 4*h - u*l for h.
5
Let n = -2 + 9. Let h = n + -3. Solve -h*d + j = 2*j - 12, 2*d = 4*j - 12 for d.
2
Suppose s + 4 - 3 