= -4*s + 7, -10 = -k*m + s for m.
3
Let q = 26 - 10. Let v = q + -12. Solve r - 2*r + v*g = -17, r + 5*g + 10 = 0 for r.
5
Suppose w - 16 = -3*w + 2*u, 3*w = u + 13. Solve -5 = 5*y - w*m, -5*y = 3*m + 4 + 1 for y.
-1
Let g be (-10)/(-3)*21/2. Suppose -4*z + g = z. Suppose -53*f + 38*f + 45 = 0. Solve k - 9 - 2 = f*n, 3*k + n + z = 0 for k.
-1
Suppose 0 = 2*c - 2*a - 0*a + 24, -a = 3*c + 24. Let r be c/(-6)*(-1 + 3). Solve -k = r*o - 2*k + 2, k - 2 = -o for o.
0
Let o = -18 - -13. Let i = 6 + o. Suppose -1 = -u + i. Solve u = -2*l + 8, -1 = -2*p - 3*l for p.
-4
Let h(g) = -g**2 + 9*g + 8. Let z be h(9). Solve -5*c = 6*i - 3*i, c - i = z for c.
3
Let i = 61 + -56. Solve 2*o = 4*o - 3*k - 23, -5*o - i*k - 5 = 0 for o.
4
Let s = -15 - -21. Let i be s - 0 - 4/2. Solve 5*j + 21 = -i*f, -21 = -0*j + j + 5*f for j.
-1
Suppose 31 - 19 = 3*a. Solve -4*x - a*p = p - 16, 4*p = 16 for x.
-1
Suppose -4*i = y - 2, -2*y = i - y + 1. Suppose 11*j - 12 = 5*j. Solve 2*w + i = -5*o + 12, -5*w = 4*o - j for o.
3
Let n be ((-4)/(-5))/(4/30). Solve 0 = 2*g + g + n, u + 5*g = -12 for u.
-2
Let d = 9 + -22. Let s be (-2)/d - (-12)/(-78). Let t be (1 + 0)/(1/4). Solve -2*o + s = b - 5, 1 = -o - t*b for o.
3
Let l(q) = -q + 7. Suppose -4*u = -3*u - 7. Let f be l(u). Solve 4*a = 4*x + 16, a - 2*x - 8 = -f*a for a.
0
Let a(v) = 4*v + 2. Let s be a(-2). Let f = s + 14. Solve -5*z + f = -2, 4*z - 28 = 5*c for c.
-4
Let u be (-26)/(((-4)/(-6))/(-1)). Suppose -u = -5*o + p, 2*o - 30 = -3*p + 7*p. Solve -4*l - i = 18 - 5, i = -2*l - o for l.
-3
Let f = -10 + 12. Suppose -2*i = f*a - 12, -4*i = -0*i + 5*a - 26. Solve 0 = 4*m - 0*m - 4*c + i, c = -4*m - 4 for m.
-1
Let m(y) = 7*y**2 + 10*y. Let c(q) = -8*q**2 - 11*q. Let i(z) = 6*c(z) + 7*m(z). Let o be i(-4). Solve -5*b + 10 = -5*j, o*b + 6 = 3*b + 5*j for b.
2
Let v = 3 + -3. Solve v = -3*d - 0*g - 5*g - 22, -3*d + 13 = -2*g for d.
1
Let h = -1 + 1. Solve h*y + 2*l - 1 = -y, -3*y - 3*l = -6 for y.
3
Suppose 2*y + 3 + 7 = 0, 3*y = h - 11. Let q be (-31)/(-3) + (-1)/3. Let b = h + q. Solve -j - t - 6 = -3*t, 3*j + 2*t - b = 0 for j.
0
Let i be 0/(-1)*1/5. Solve 0 = -3*b - 15, i = -0*l - 5*l + 5*b for l.
-5
Let v be ((-3)/(-4))/((-5)/(-60)). Let b(m) = m - 7. Let y be b(v). Let w = y - -3. Solve -2*l + 1 = -w*c, 2*c - 4*l - 13 = 7*c for c.
-1
Suppose z - 2*z - 3*z = 0. Solve 0 = 3*r - 2*v - 1, 3*r - 4*v - 5 = z for r.
-1
Suppose -2*z - 10 = -4*s, -s + 6*s = 4*z + 5. Suppose -4*b = -13 + z. Solve 0 = 3*m - 2*r - 17, 3*m = b*r - r + 16 for m.
5
Let w = 8 - 6. Suppose w*r = 7*r. Solve -4*m + 5*k + 2 = -11, r = -4*m + 4*k + 12 for m.
2
Let c = -9 - -7. Let t be (c - -3 - 1)/(-1). Solve -5*j + y = -t*y - 19, -y = -1 for j.
4
Let j be 12/5 - 4/10. Suppose j = -3*l + 8. Solve -n = l*t - 2 + 6, 0 = 2*t + 3*n + 12 for t.
0
Let s = 4 - 0. Let a(v) = v - 6. Let i be a(5). Let j be 9*(3 + i)/6. Solve -3 = 3*k - j*w + 9, -w - 16 = s*k for k.
-4
Suppose -14 = -5*u + 11. Solve 0 = a - 4*a - 5*h + 23, -u*a + 3*h = 7 for a.
1
Suppose 0 = g - 6*g + 70. Let q be 56/(-16)*(-8)/g. Solve -2*t - 1 = -q*k + 3, 0 = -2*t - 3*k - 19 for t.
-5
Let z(h) = h**3 - 16*h**2 - 18*h + 30. Let v be z(17). Solve p + i = -i + v, -5*i + 20 = 0 for p.
5
Suppose -4*s + 2*i - 2 = 0, 6 = -8*s + 6*s + 2*i. Solve 4*j = -3*h + j + 3, -4*h + s*j - 26 = 0 for h.
-4
Let f = -31 - -33. Let x(v) = -v + 6. Let t be x(4). Solve f*u + t*j = 14, u - 13 = -0*u - 4*j for u.
5
Let o(n) = -n**3 + 27*n**2 - n + 30. Let j be o(27). Solve -4*h = -5*b + 25, -j*h + 19 = 4*b - 6*h for b.
1
Suppose 3*u - 4*q - 13 = 0, u + 2 = -4*q + 1. Let i be (-9)/(-9) - (1 + -2). Let m be 7 + -5 - 0/i. Solve 0 = m*s + 4*f + 2, u*s = -8*f + 4*f - 1 for s.
1
Suppose 4*f = 10*f - 18. Solve -f*m + k - 2 + 7 = 0, 5*k = -3*m + 29 for m.
3
Let o = -3 - -8. Let p(a) = 5*a - 4. Let f = -5 + 9. Let m be p(f). Solve -o*l = 5*j - 24 - m, -4*j + 28 = 3*l for l.
4
Let f(n) = n**2 + 2*n + 2. Let g be f(-3). Suppose 5*h = 4*h + 4. Let l be h/(-6)*(-21)/2. Solve 0 = -2*r - k - 3*k + 10, -3*r + g*k - l = 0 for r.
1
Let v(b) = 2*b**3 + 8*b**2 + 3. Let l(g) = g**3 + g**2 + g + 1. Let w(k) = -3*l(k) + v(k). Let o be w(4). Solve -o*z - 16 = -4*p - 0*z, z = 5*p - 16 for p.
3
Suppose 0 = -0*w - 8*w. Solve -y - 1 = w, -6*g + 26 = -g - y for g.
5
Let o be -6*-1*(-1)/(-2). Solve -4*u = 3*t + 17, 11 = -2*u + o*t - 2*t for u.
-5
Let g be (2 + -2)/(-2 + 1). Suppose g = -0*f - f + 6. Suppose -f*n = -n - 50. Solve i - 2 = -4*v, n = 7*i - 2*i - 3*v for i.
2
Let d be ((-30)/(-35))/(12/56). Solve -3*g + 2 + 13 = -3*z, -d*z + 2*g - 10 = 0 for z.
0
Let x(y) = -y**3 + 4*y**2 - y - 3. Let g be x(2). Solve -4*p = -g*q + q + 6, 5*q - 22 = 3*p for q.
5
Let c = 20 + -25. Let b be 24 + c + 3 + 1. Solve -g + 2*x - b = 4*g, -3*g + 4*x = 11 for g.
-5
Let o be 1/(-5) + 5/25. Suppose -8 = -h - h. Let n(p) = p**2 - 5*p + 4. Let m be n(h). Solve -d + 11 = -4*w - o, m = -4*w - 5*d - 17 for w.
-3
Let f be 24 - (2 - (-2)/2). Suppose -4*i + 31 = -f. Solve 4*n - 2*m = -2 + 8, -i = -5*n - 3*m for n.
2
Let b(g) = g**3 - 13*g**2 - 12*g - 9. Let y be b(14). Solve -3*d - 7 = -r, -3*d - y = 2*r + 3 for r.
-5
Suppose 0 = -2*u + 3*u. Let w(p) = 8*p**2 - p. Let l be w(-1). Solve -o - 4*x + 11 = u, 2*x + x = 5*o - l for o.
3
Let w(v) = 2*v - 18. Let t be w(12). Suppose 3*p = p + t. Solve -3*o + 6 = 3*r, -p*o + 3*r - 15 = -3 for o.
-1
Suppose 0 = z + 4*z + 20. Let c = z + 6. Solve -8*a + 4*a - 2*j = -2, c = -a - 3*j for a.
1
Suppose -4*l + 0*l - 3*y = -147, -3*y = -3. Solve 4*z + l = w - 5*w, -4*z + 3*w = 8 for z.
-5
Let x(f) = -f**3 + 7*f**2 + 2*f - 9. Let k be x(7). Solve d - 4*m = -4*d + 5, -m + k = 0 for d.
5
Let c be 8 + -1 + -2 + 1. Suppose -c*v = -3*v. Solve -3*d + 6*d - 15 = v, -5*z + 2*d - 10 = 0 for z.
0
Let d = -27 + 52. Solve 5*q - 7*y + 2*y = d, -13 = q + 5*y for q.
2
Suppose 3*w + 6 = 15. Suppose 2*u + 35 = -4*a + 93, -4*a - 3*u = -55. Solve w*k + o = a, 0 = -5*k + k - 5*o + 36 for k.
4
Let l be 2*(-3 + 45/6). Let g = l - 4. Solve g*n - 4*z - 22 = 0, 4*n = 2*z + 3 + 11 for n.
2
Suppose 36 = 3*t - t. Solve 4*h = -5*b - 0*b - 28, 2*b + t = -5*h for h.
-2
Let p(s) = s**3 + 3*s**2 - 4*s - 6. Suppose j = 0, d - 2*j = -7*j - 3. Let b be p(d). Solve 2*o - b*o - 2*y + 6 = 0, -21 = -5*o + 2*y for o.
3
Suppose -2*z + 0*z = 2*x - 4, x - 4*z - 7 = 0. Suppose -2*l - 2*c + 15 = -5*c, 3*c = -2*l - x. Solve -l*u = -2*y - 3*y, 4*y + 4*u = 0 for y.
0
Let t(g) = -g - 4. Let r be t(-6). Let d(f) = 5*f. Let i be d(1). Solve -4*w = -i*m, -2*m - r*w = -8 + 26 for m.
-4
Let i be (1 - 0)/((-5)/(-85)). Let h(x) = -2*x**3 + 2*x**2 - 1. Let c be h(-1). Solve -i = -5*q - 4*v, -13 = -c*q - 3*v + 2*v for q.
5
Let f = 91 + -80. Solve -2*i = -b + 3 - f, -5*i + 31 = 3*b for i.
5
Let g = -17 - -31. Solve -5*z = 3*u + g, -5*u - 13 = -2*z - 0*z for z.
-1
Let w be 3 + 6/2*-1. Solve t - 24 = 4*l, w*l = t + 3*l + 11 for t.
4
Let i(j) = -j**2 - 2*j + 3. Let u be i(-3). Suppose u = 4*w - 0 + 8. Let a be (4/w - -2) + 5. Solve -4*x - n - 12 = 0, a*n = x - 3*x - 6 for x.
-3
Let p = -17 + 17. Solve -4*g - 19 = -p*x - 3*x, 0 = 3*x - 5*g - 23 for x.
1
Let t(d) = d**3 + 8*d**2 - 9*d - 4. Let a be t(-9). Let c = 2 - a. Solve -5*i - z = 25, -i + c*i + 4*z = -40 for i.
-4
Let q = -4 + 6. Let d = -8 - -11. Let t = 19 - 15. Solve 0*x + d*v + 20 = -t*x, 3*x = v - q for x.
-2
Let j = -5 + 10. Solve -j*b - 7 = -4*v - 1, -b - 4*v + 18 = 0 for b.
2
Suppose 0*c + 44 = 4*c. Let d = -5 + c. Let n be d/(-15) + (-54)/(-10). Solve -n*r + 3*w + 5 = 0, w + 3*w + 30 = -5*r for r.
-2
Let b(c) = -4*c - 24. Let u be b(-7). Solve 0 = 3*w + 5*r, 2*w - r = -u*r - 1 for w.
-5
Let i(s) = 2*s**3 - 25*s**2 + 9*s + 41. Let h be i(12). Solve 3*l - 3 = 3, -h*l + 20 = 5*k for k.
2
Suppose 60 = 5*z - 4*q - 0*q, -60 = -5*z - 3*q. Suppose -a = -m - 1, -6*a = -2*a - z. Solve -5*y + 2*j = 0, y = -4*y - m*j - 20 for y.
-2
Suppose -3*p = -8*p + 25. Let t(d) = 4*d + 1. Let c be t(2). Solve -c = 2*a - m, 5*a + 2*m + 13 + p = 0 for a.
-4
Let j be ((-6)/1)/(15/(-10)). Suppose 0*w - 8 = -j*w. Solve -5*s + 22 = -k, 0 = -s + k + w + 4 for s.
4
Suppose 0 = 4*b + 5*f - 29, 2*b - 4*f = 1 + 7. Let t(v) = -v**2 + 6*v + 4. Let m be t(b). Solve -12 = 3*s - m*h, -3*s - 3 = -0*h - h for s.
0
Suppose -3*z - 3 = -2*c - c, -4*c + 19 = z. Solve -5*b + 4*k = 37, 