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