 -4*i = 5*y - 3 + 4. Solve 3*v + 2*v = -5*t - 10, 0 = -y*t + 4*v + 1 for t.
-1
Let o(t) = -t + 7. Let n be o(5). Suppose -2*r - 24 = -n*k, 2*r = -k - 2 - 1. Suppose 13 + k = p. Solve 3*c = 3*x + 15 - 3, -3*c - 5*x = p for c.
0
Suppose 2*q + 3*a - 6 - 9 = 0, 0 = q - 5*a + 25. Suppose 5*b = -q*b + 60. Suppose -3*l + 0*l = -b. Solve 16 = -l*s - 4*v, -3*s - 6 = -3*v - 0 for s.
-3
Suppose -2*h - 52 = -4*v, 3*v = 2*h + 26 + 11. Suppose -v*g - 3 = -16*g. Solve 5*w - 4 = 4*m - 0, 0 = -3*w + g*m for w.
4
Let y = 14 + -11. Solve -y*f = 4*u - 7, -4*u = -f + 4 - 23 for u.
4
Suppose a + 3*a + 5*v = 53, 0 = 5*a + 4*v - 64. Solve 5*b + 2*l = -0*l - 16, 4*b + 2*l = -a for b.
-4
Let v = 156 - 132. Solve 0 = -2*y + 2*h, 3*y + 5*h + v = 2*y for y.
-4
Suppose 5*b - 14 = 1. Solve 4*r + s - 8 = 0, 4 = b*r - 5*s + 21 for r.
1
Suppose -3*h = -9, -2*x - 9 = -3*x - 2*h. Solve 3*c + 5*b - 2*b + x = 0, 0 = -2*c - 4*b - 6 for c.
1
Let h(n) = -2*n + 15. Let v be h(5). Solve -5*k = -4*r + v, -2*k + 5*r + 2 = 4 for k.
-1
Let j(p) = p**3 - 3*p**2 + 5*p - 4. Let t be j(2). Solve 5*y + h + 4*h = 20, 5 = -y + t*h for y.
1
Suppose -2*b + y + 3*y = -8, 2*b = -5*y - 1. Solve -4*s + 20 = 4*i, -10 = b*i - 4*s + 4 for i.
1
Suppose -p - 4*p + 20 = 0. Solve 2*b + 7 = b - 2*z, -24 = -p*b + 5*z for b.
1
Suppose -5*l - 5*u = -35, 4*l = -2*u - 10 + 32. Solve -l*b = 20, 0 = i + 4*i + b - 10 for i.
3
Let y(h) = -h - 15. Let a be y(-19). Solve -v - a*w + 20 = -5*v, 4*v + 4*w = 4 for v.
-2
Let u(c) = -c**2 + 7*c + 12. Let z be u(8). Solve 44 = 4*y + 5*l + 12, -8 = -z*y + l for y.
3
Let s(x) = x**3 - 6*x**2 + 2*x - 10. Let t be s(6). Solve t*o - 4*m - 18 = 0, 4*m = o - m - 24 for o.
-1
Suppose 4*b = 3*b - 3*b. Solve b = c + 3*x, x - 8 = c - 4 for c.
-3
Suppose 2*u - 4*w = 52, -u + 118 = 3*u - w. Solve -20 = -2*l - l - o, 2*l - u = -4*o for l.
5
Suppose 5*h - 6*h = 0. Solve h = -4*y + 5*l + 45, 4*y - 7*l = -3*l + 40 for y.
5
Let l(c) = -3*c - 1. Suppose k + k + 2*t = -6, -k - 3*t - 5 = 0. Let a be l(k). Suppose a*z - z = 20. Solve 3*i - 28 = z*d, -2*d - 3*i + 23 = -6*d for d.
-5
Suppose 0*w - 2*w + 2 = 0. Solve -3*m - 5*a = 5, -3*m - 3*a = 2 + w for m.
0
Let u = -7 + 11. Solve -2 = 2*c - 2*o + 4, u*c + 2*o - 18 = 0 for c.
2
Suppose 3*k + b = 3*b + 20, -3*b = 3*k. Let t be (2/k)/((-2)/(-56)). Solve 5 = -n - 4*n, 0 = 3*a + 2*n + t for a.
-4
Let y be (-8)/(-5)*25/10. Let j be 2/(-4) + (-6)/(-4). Let p = 5 + j. Solve p*i = y*i + f, -2*i + 4 = -3*f for i.
-1
Suppose 4*d - 12 = -w, d - 2 = 5*w + 1. Suppose -3*r - 4*u + 18 = 0, -4*u + 4 = 5*r - 34. Solve -2*h + r = -d*q, -3*h = -q - 3*q - 15 for h.
5
Let t(h) = h**2 + 2*h + 10. Let g be t(0). Solve r + 2*f = 1 + 1, -4*r + f - g = 0 for r.
-2
Let t be (5/(-2))/(3/(-6)*1). Solve t*b = -3*h + 37, 3*h - 8 - 9 = -b for h.
4
Let h be (-1)/2*(2 + -2). Solve -15 = 2*j - h*c + 5*c, -4*c - 15 = j for j.
5
Suppose -g = -3*g. Solve 2*w + g*m = -m - 15, -2*w + m - 5 = 0 for w.
-5
Let k(m) = -m**3 - m**2 + m. Let q be k(0). Let r(n) = -n - 6. Let h be r(-4). Let b be 3 + 1/(-2)*h. Solve -2*w + w = -2*l + 7, q = b*w - 5*l + 19 for w.
-1
Let x = -9 + 15. Solve -4*u + 4*c - 24 = 0, 0*u - 2*u - 4*c = x for u.
-5
Let u = 5 - 5. Solve u*b = -4*b - 12, -2*b = -4*z + 18 for z.
3
Suppose -4*f = -0*v + 2*v + 24, -3*f + 3*v = 18. Let o(a) = -a - 2. Let t be o(0). Let l = t - f. Solve 2*u = -2*n - 16, l*u - 2 = 2*n - 4 for n.
-5
Let r = 5 + -3. Solve -s - 8 + r = -4*m, 8 = 3*s + m for s.
2
Suppose 12 = -p + 2*p - m, -27 = -4*p - 3*m. Let c = -6 + p. Let s = 18 + -15. Solve -15 = 4*k - c*k + 4*h, -5*k + 4*h - s = 0 for k.
-3
Let h(x) = 6*x - 16. Let q be h(3). Solve -2*p = 5*o - 17, -5*p - 17 = -o - q*p for o.
5
Let n = -13 + 15. Suppose m - 4 = 1. Let b be -5*(-3)/(-15)*-3. Solve 0 = -m*z - k + 10, -b*z + 8 = n*k - 5 for z.
1
Let w be (-6)/(-14) - 15/35. Solve -5*n = -w*n + 3*p, -2*p = 0 for n.
0
Let s be 3*(1/3 + 1). Let k(w) = w**2 + w - 4. Let z be k(-3). Solve 0 = z*b - 0*b + 3*u - 4, 0 = 2*b - s*u - 4 for b.
2
Let n = 82 + -82. Solve 2*z + 0*z + 5*x + 19 = 0, n = z + 4*x + 17 for z.
3
Let j be 1*(0 - 0 - 1). Let d = 2 - j. Solve 5*b + 5*r + 16 = d*r, -2*b = r + 6 for b.
-4
Let g = 15 - 15. Suppose t + 4*b - 11 = g, -3*t - 2*b + 3*b + 7 = 0. Solve -t*q + 2*h = -2, 2*h + 12 = 4 for q.
-2
Let w = 15 + -15. Solve -q = 3*q - 3*h + 8, w = 5*h for q.
-2
Suppose 0 = 5*s + 4*f - 10 - 1, 0 = -f - 1. Solve 9 = -s*a - 3*m, 0*m = 4*a - 2*m + 12 for a.
-3
Let k be (-2)/4 + (-6)/(-4). Let w(n) = -n**2 - 6*n + 4. Let i be w(-6). Suppose 2*t - t = i. Solve 0 = v + p - k, -4*p = t*v + p - 1 for v.
4
Let n(a) = -a**2 - 2*a + 7. Let m be n(-3). Solve -5*j = -m*l - 31, 1 = -5*j - l - 3*l for j.
3
Let c be 18 + (1 - (-9)/(-3)). Solve -2*a - 2*o - 28 = 3*a, 3*a + c = -o for a.
-4
Suppose 2*s + 6 = 4*s. Suppose s*m - 2*m = 2. Let o(q) = 2*q + 1. Let f be o(m). Solve -3*i - 15 = -t - f, -5*i + 5*t = 30 for i.
-2
Suppose -2*c - 10 = -7*c. Suppose -2*p + 4 = 2*m, -4*p + 17 = 3*m - c*m. Solve o - 3*o = 2*h - 6, 0 = -p*o - 4*h + 15 for o.
3
Suppose -2*z + 21 = 5*c - 4, 2*c + 5*z = 10. Solve -c*y + 5*f + 6 = -29, -5 = -2*y - f for y.
4
Suppose -k - 3*h - 10 = 0, 2*h + 17 = 3*k - 8. Solve -5*f - 2*i = -i + 7, -k*f + 5*i = 25 for f.
-2
Suppose 3*r = -0*r - 9, -2*r - 13 = -b. Suppose -2*k + 1 = -2*q - b, 2*q + 4 = 0. Solve -k*j - 3*j + 3*w + 5 = 0, -4*j - w - 13 = 0 for j.
-2
Let d be 2 + 1 - (4 + -14). Suppose -17*a = -d*a - 20. Solve 2 = -4*u - 2, -4*u = x + a for x.
-1
Suppose -10 = -4*g + 2. Suppose -g*j + 5 = -7. Solve -10 = -0*r - j*r + f, 0 = -5*f + 10 for r.
3
Let p(v) = v**2 - 8*v - 7. Let y be p(9). Solve 0 = -2*h + 4*i - 8, i + y*i = 3*h + 3 for h.
2
Let t be (4/(-5))/((-1)/5). Suppose -5*l + 46 = -4. Suppose o - l = -t*o. Solve 4*c - k = -16, 4*k - 3 = -o*c - 11 for c.
-4
Let k = -4 + 4. Suppose -4*u + 41 - 1 = k. Let f = 14 - u. Solve 5*g = 4*c - 33, 4*g + 41 = f*c + 13 for g.
-5
Let c = 0 + -10. Let z(u) = u**2 + 11*u + 15. Let r be z(c). Solve -q - 7 = -4*q - v, 0 = -4*q - r*v + 24 for q.
1
Let x = -6 - 13. Let w = x - -24. Solve -6 = 2*k - 2*d, -3*k - 4 - 1 = -w*d for k.
-5
Suppose l - 2*l = -3. Solve x + 4 = 4*g + l*x, -3*g - 7 = -x for g.
-1
Let d(n) = n**3 + 6*n**2 + 3*n - 1. Let b be d(-5). Suppose -b*c = -4*c - 175. Solve 4*t - 40 = 7*v - 3*v, c = -4*v + 3*t for v.
-5
Let s(g) = g**2 - 4*g + 3. Let l be s(5). Let i = -1 + l. Solve 2*h - 2*z + 1 = -i, 2*h = z - 7 for h.
-3
Let x(d) = 5*d**2 + 2 - 12*d - 2*d**2 - d**2. Let c be x(6). Solve -4*b = c*z - 6, -3*z - 2*b - 12 = z for z.
-5
Let a = 9 - 6. Suppose a*x = 6*x. Suppose 4*f - 12 = 4*y, -12 = -4*f - y - 3*y. Solve f*w - 3 = 0, -2*w = 3*n - x*w - 17 for n.
5
Suppose -1 = -5*z + 9. Solve 2*s + a = -1 + 4, -3*s = 2*a - z for s.
4
Let r = -1 + 3. Suppose 0 = -r*c - 3*c + 130. Solve 2*g + 8 = -0, 0 = -5*n - 4*g - c for n.
-2
Let l = 2 + -4. Let f be (-34)/(-4) - l/4. Suppose f = 5*p - 1. Solve -8 = h - 2*d, 0 = -p*h - 3*d - 2*d + 11 for h.
-2
Let f be (-7)/(-2) - (-6)/12. Suppose 3*c + s - 16 = 0, f*c + 5*s - 3*s = 24. Solve 4*d + 0*h = 2*h + 16, -c*h = 2*d + 2 for d.
3
Let z(a) = -5*a**2 + 6*a - 7. Let m(k) = 11*k**2 - 13*k + 15. Let s(w) = 6*m(w) + 13*z(w). Let q be s(-2). Solve 3 = -q*l + n, 2*n = n for l.
-1
Let a = -36 - -40. Solve -20 = a*f - 5*w + w, -3*w + 1 = 4*f for f.
-2
Let a be -3*26/(-6) - 1. Suppose -2*b + 4*b = -a. Let g be b/27 + (-76)/(-18). Solve -2*x + 2*h - 8 = -g*x, 5*h - 20 = -2*x for x.
0
Suppose 2*d - 3*d = -3. Solve 11 = -d*b - 4*l, 3*b = 5*l + 37 - 3 for b.
3
Suppose b - 1 - 2 = 0. Suppose 0 = s + b*o - 7, -1 = -s - 4*o + 2. Solve 4*z = 3*f + s, -z - 7*f + 3*f - 19 = 0 for z.
1
Let k(r) = -5*r**3 - 2*r - 1. Let o be k(-1). Let m(i) = -i**2 + 7*i - 3. Let w be m(o). Solve 2*g + w*v - 16 + 1 = 0, 2*g = -5*v + 25 for g.
0
Suppose 4 = -2*d + 14. Let p be 3 - (-5)/((-20)/12). Solve 2*c = q + 12, p = -c - q + d*q + 20 for c.
4
Suppose 26 = 4*u - 2*a, 0*a - 3 = 3*a. Solve 2*n - 4*w - u = 0, -2*n + 5*w - 1 + 8 = 0 for n.
1
Let l(d) = d**3 + 8*d**2 + 13*d + 6. Let t be l(-6). Solve 4*k - 3 = -5*p + 5, t = -5*k - p + 10 for k.
2
Let c = -13 + 13. Let r(z) = -z**2 + 8*z - 2. Let f be r(7). Suppose -2*u = 5*o - c - 8, -f*o = 0. Solve -27 = u*v - 5*x, 5*x + 0*x = -5*v for v.
-3
Suppose 2 = -0*h + 2*h. Let t be (12/9 - 