for m.
-1
Let q(k) = k**2 - 5*k - 3. Let a be q(6). Solve 0*y + 5*y + 5 = 5*x, -a*x - 9 = 0 for y.
-4
Let j(t) = -t**2 + 5*t + 2. Let r be j(5). Suppose 0 = -r*x - 3*x. Solve x = -4*q - 3*a - 13 + 5, q - a = -2 for q.
-2
Suppose 3*z + 2*t + 1 = 0, -3*z = 2*z - t - 20. Suppose -z*w + 5*w = 0. Solve 0 = 5*g + 4*n + 2, w = 4*g + n - 5*n - 20 for g.
2
Let z = -4 + 7. Let s = 5 - 3. Suppose 0 = 4*w - w, 0 = 2*l - s*w - 10. Solve -2*h - 8 = -0*a + l*a, 0 = h - z*a - 7 for h.
1
Let a be 3 + 0 + (-30)/5. Let l be (-1 - a)*19/(-2). Let z = -11 - l. Solve 5*m = 4*n + z, m + 13 = 5*m - n for m.
4
Suppose 5*y - 8 = -z, -2*y - 6 = -3*z + 1. Suppose 0*j = 3*j + 3*u - z, 0 = -2*j + 5*u + 30. Solve -5*l - 1 + 6 = -j*o, 4 = -4*l + 2*o for l.
-3
Let y(r) = -2*r**2 + 23*r - 6. Let a be y(11). Solve 2 = -a*w - d, 0 = -2*w + 6*w - 4*d - 8 for w.
0
Suppose 19 = k - 5*q, 29 = 5*k - 5*q + 2*q. Solve 0 = 5*n + k*t + 10, 0 = -2*n + t - 4 for n.
-2
Let m be -2 + 39/15 + (-15)/25. Solve m*r + 5*r - z = 0, -5*z = 5*r + 30 for r.
-1
Let a(n) = -n**3 + 2*n**2 + 4*n + 1. Let r be a(3). Suppose -i + u + 9 = 0, 2 + 16 = 2*i + r*u. Solve 0*g + i = -5*g - 2*m, -3*m = -9 for g.
-3
Let k = 10 - 8. Solve 2*v - 3*a + 19 = 0, -2*a + 22 = -v + k*a for v.
-2
Suppose -5*f + 7 - 22 = 0. Let b be f/(-2) + 318/12. Solve 0*l - 2*l - 5*t = b, -4*l + 4*t = 0 for l.
-4
Suppose -2*z + 11 = 5. Solve 4*k - z*s = 10, -2*k - 3*s = -0 + 4 for k.
1
Suppose -2*c + 3*p = -147, 2*p + 287 = 5*c - 75. Let n = -50 + c. Solve 0 = -2*m + 4*g + n, g = 5*m - 2*g - 27 for m.
3
Suppose -2*u + 4 = 2*f, 6*u + 11 = 2*f + u. Let a = -14 - -33. Suppose -3*w = -2*t - t - 15, 4*w = -3*t + 13. Solve -w = f*g - 5*j + 10, -4*j = -5*g - a for g.
-3
Let p(v) = -4*v**3 + 5*v - 3. Let r(i) = -5*i**3 + i**2 + 6*i - 4. Let t(h) = -6*p(h) + 5*r(h). Let j be t(4). Solve -w = 5*a - 20, 1 = -3*w - j for a.
5
Let o be (-36)/(-8) + (-5)/10. Suppose 6 = 2*t - o. Solve 2*b = x, 3*b + t = -x - 5 for x.
-4
Suppose -6*j + 40 = -8. Let a be (-43)/(-3) + (-2)/(-3). Suppose 0 = 3*v - j*v + a. Solve 0*h - 3*u - 9 = v*h, -5*h - 3*u = 5 for h.
2
Let y = -1 + 7. Let z be 99/y - 3/2. Solve -2*p + 0*p - 10 = -3*i, 3*i - z = -3*p for p.
1
Let r(d) = d**3 + 7*d**2 + 3*d - 7. Let b be r(-6). Let y(z) = z**2 - 11*z. Let q be y(b). Solve -m + 2*f = 13, q*m + 4*m = -4*f + 8 for m.
-3
Let o be 6 + (2 - -2)/(-4). Let x be -6*(20/(-8))/o. Solve -h + n - 4 = -2*n, 0 = -n + x for h.
5
Let a(l) = -l - 6. Let y be a(-7). Suppose -n + 1 = -y. Suppose n*p + p - 15 = 0. Solve 5*q + p = 0, -o - q + 0 + 4 = 0 for o.
5
Suppose -31 + 7 = -4*u. Suppose 3*l - 6 - u = 0. Solve 0*f = l*f - 5*z + 37, 0 = -3*f + z - 14 for f.
-3
Suppose 2*u + 5*u - 14 = 0. Solve 0 = -3*l + 4*b - 4, b - u = l - 1 for l.
0
Let z(k) = -k**3 - k**2 - k + 2. Let t be z(0). Solve 0*u - 17 = 5*b + 2*u, -t*b - 6 = u for b.
-5
Let d = 10 - 10. Let p be (5/4)/((-1)/(-4)). Solve -3*a = -3*j - 15, -2*j - 5 - p = d for a.
0
Suppose -10 = -7*d + 5*d. Let v = d - 2. Solve -v*p = 4*q - 3 - 4, -5*q = 2*p - 7 for p.
1
Suppose -2*h + 30 = 4*u, 4*u = -4*h - u + 45. Solve -h*y + 12 = f, 3*y + 5*f + 30 = 8*y for y.
3
Let s(a) = 10*a + 1. Let o be s(1). Let f be (-1 + o)*1/1. Solve -5*r + 23 = d + 3, 3*r + f = -5*d for r.
5
Suppose 0*l = l + 7. Let r(p) = -2*p - 10. Let u be r(l). Suppose -3*y = -0*y - 45. Solve u*s = -s - 3*w + 18, -y = -4*s - 3*w for s.
3
Suppose 2*m - 4*d - 28 = d, 4*m - 5*d - 36 = 0. Solve 5*r - 9 = m*c + 36, -2*c - r - 5 = 0 for c.
-5
Suppose -1 = 4*g - 9. Solve 3*h = 4*n - 7, 2*h = g*n + 3*h + 9 for n.
-2
Let q(a) = a + 3*a**3 - 2 - 2*a**3 + 0*a**2 - a**2. Let u be q(2). Let t = 9 - u. Solve 0 = x + 5*d + 1, -x - 9 = -2*x + t*d for x.
4
Let o be (-6)/(-4)*12/9. Suppose 1 = o*g - 3. Solve -5*c + 10 = -g*f, -3*f + 0 = -3*c - 3 for c.
4
Suppose -9*z + 6 = -7*z. Solve -2*s + 4 = 3*q + 1, 4*s + z*q + 3 = 0 for s.
-3
Let t = -7 - -10. Let s(o) = t - 3 - 5 + 0 - o. Let l be s(-10). Solve 0 = l*r + 4*n + 45, -3*n + 8*n = -5*r - 50 for r.
-5
Suppose 7*h - 5*h - 20 = 0. Solve -26 = -4*f + 3*f - 5*t, 3*t - h = 5*f for f.
1
Suppose 8 = 3*g - g. Suppose 0 = -g*q - 2 + 66. Solve -2*d = h + d - q, 4*d = -h + 21 for h.
1
Let z(j) = -j**3 - 4*j**2 - 3*j + 3. Let y be z(-3). Let b = -33 - -43. Solve -f - b = -3*f, y = 2*a - f for a.
4
Suppose 0*j + 4*i - 4 = -2*j, -5*j + i + 10 = 0. Solve -j*m = 4*g, 5*g = 5*m - m for g.
0
Let u(k) = -4*k + 14. Let b be u(3). Solve 14 + 4 = -q + 5*f, -3*f + 3 = b*q for q.
-3
Let u(v) = -v**3 - 4*v**2 - 2*v - 3. Let d be u(-3). Let t be -2 + (-3 - (d + -3)). Solve -t*l = -5*h - 0*l + 11, -2*h - l + 7 = 0 for h.
3
Let c = 16 - 13. Suppose 10 - 31 = -c*r. Let b be (-24)/(-9) - (-2)/6. Solve 3*d = 2*o + 7, -b*d + r*d - 4*o - 8 = 0 for d.
3
Suppose 3*u - 11 = f, -f + 10 = u + 1. Solve -4*q - u*g = 7, 4*g - 16 = 4*q - 0*g for q.
-3
Suppose -3*c + 2*j = 9, 5*c + 0*j + 11 = 2*j. Let k(y) = 44*y**2 + 1. Let w be k(c). Solve 4*z + 3*p - 10 = -z, 5*z = 4*p + w for z.
5
Let i = 4 - -3. Let p(f) = -f**2 + 7*f + 6. Let w be p(i). Solve -2*n + w = u - 4*n, 4*u + n = -12 for u.
-2
Suppose 0 = -5*k + 25, -x - 1 = k - 2*k. Solve 0*y + x*y + 4*p = -20, 4*y + 2*p + 18 = 0 for y.
-4
Suppose 2*f - 12 = 4*o, 5*f + 0*f + 5*o + 15 = 0. Solve -3*n + 4 = 4*p - f, 4*n = 4*p - 4 for p.
1
Let k be (-3)/(-1 + -5)*10. Let v = -15 + 15. Solve -2*a - 2 = a - k*w, v = -a + w for a.
1
Let y(v) = -3*v - 6. Let z(j) = -7*j - 13. Let c(x) = 10*y(x) - 4*z(x). Let k be c(-6). Solve 0 = k*g + d + 10, -3*g + 4*d - 1 = -3 for g.
-2
Suppose -o - 5*v + 24 = o, 2*o - 3*v = -8. Suppose 0 = 6*r - 24 - 12. Solve -u + 2*w + r = 0, -w + 4*w = 5*u - o for u.
-2
Let i(t) = -4*t + 2. Let o be i(-3). Solve 5*m = -3*l - o, 2*m + 8 = -4*l - 2*m for l.
2
Let i(g) = g**2 + 2*g. Let d be i(0). Solve 0 = -4*m + 3*p + 11, -3*m + d*m + 2*p = -9 for m.
5
Let b be ((-3)/((-3)/4))/(-3)*-3. Solve 0 = -2*z - 3*m + 5, -24 + 10 = b*z - 2*m for z.
-2
Let o be (-10)/(-4) + 13/26. Solve 5*g = o*g + 6, -3*r = 3*g - 15 for r.
2
Suppose -3 = -4*t + 17. Solve -4*a - 3 + 2 = -3*q, -t*a = q - 13 for q.
3
Let f be 4/2 + 0 - 2. Suppose f = 2*m - 2*n, -5*m + 8 = -0*n - n. Solve 0*v = 2*v + c, -m*v + 2*c = 0 for v.
0
Let a = -12 - -15. Solve 4*f - 19 = -a*l, -21 = -f - 4*f - l for f.
4
Suppose 4*f - 12 = f. Suppose 1 = 4*x - 0*r - 5*r, -4*x = r - 19. Let b = 0 - 0. Solve b = 3*q - x*i - f, 4*i = -q + 3*i - 1 for q.
0
Suppose -t + 4*f = -f + 21, 14 = 2*t + 4*f. Let v be (10 - t)*-2 - -1. Let c be 2/7 + (-57)/v. Solve 2*p + 3 + 1 = 0, -s = c*p + 4 for s.
2
Let i = -9 - -10. Let r = 3 - i. Let h be 1 - (-5 - -2) - r. Solve -m + 0*m + 2*f - 6 = 0, 3*m - h*f + 6 = 0 for m.
0
Suppose -4*o + 22 = 11*h - 6*h, 5*h - 25 = -5*o. Solve 6 = -2*f - 2*t, -f + h*t + 1 = -8 for f.
1
Let n = 153 + -149. Solve 0*y = y + l + n, 0 = -5*y + 3*l - 4 for y.
-2
Suppose y = 17 - 13. Solve -2*v = -y*c + 8, 4*v + 5*c = 2*v + 10 for v.
0
Suppose 2*x - 5 = 4*v - 25, -4*v + x = -22. Let d = v - 0. Solve -2*k - 3*c + 19 = 0, 4*c = 4*k + 6 + d for k.
2
Let y be ((-2)/4 - -2)*-4. Suppose 29 = 2*p + 9. Let f = p + y. Solve -o + 4 = 5*j - f*j, 10 = 5*o for j.
2
Let t(u) = u**3 - 17*u**2 + 17*u - 14. Let w be t(16). Solve -5*m = 5*v + 10, 3*m + v = w*v + 10 for m.
2
Let q(n) = -n**3 + 8*n**2 + 9*n - 7. Let f be q(9). Let x be (-2)/6 + f/(-3). Let a be 1 + (-1 - 0) + x. Solve 5*m = 3*b, a*b + 1 = -9 for m.
-3
Suppose -2*l - 5*b + 1 = -3, 0 = 4*l - 3*b + 18. Let x = -1 + -1. Let z be 1 - ((l - x) + 0). Solve -4*o - 2*h - 4 = -z, 5*h + 12 = -3*o for o.
1
Suppose -m - 1 = -2. Let g = 4 - m. Let b = -28 - -30. Solve 2*t = -b*h - t + 3, -4*t + 5 = g*h for h.
3
Suppose -s = -5*q + 8, -3*q + 12 + 2 = 4*s. Solve v - s*h - 5 = 0, 2*v - 3*h = -2 + 12 for v.
5
Let t(a) = a. Let s be t(3). Suppose -2*y + 2 = 3*h - 11, -s*y = -6. Solve h*o + 0*v = -2*v - 12, 5*o + 25 = -5*v for o.
-2
Suppose 4*d = -d. Suppose d = 3*o - 7 + 1. Suppose -j = 3*s + o + 2, -5*j + 31 = -2*s. Solve 6 = j*r - 4*p + 1, 4*p = -4*r + 40 for r.
5
Let v(n) = n**2 + 2*n - 3. Let w be v(-4). Let c = 9 + -4. Solve -4*r = -5*i - 4 - 0, w*r = 5*i + c for r.
1
Let q(u) = -u**2 - 4*u + 6. Let c be q(-6). Let z be c*-4*2/12. Solve -2*s - z*d + 8*d + 2 = 0, 2*s + 4*d = 2 for s.
1
Let k = -40 - -43. Solve 5*z - k*z = x + 7, -x - 1 = z for x