 -6*y + y, -h*x - 4*y = 0 for x.
2
Suppose -g + 6*m = 2*m - 166, g = -5*m + 148. Let w be 2/3 + g/6 + -2. Solve -4*s = 5*l - w, 4*l - 32 = -3*s - 13 for l.
1
Suppose -6*k + 30 = -0*k. Suppose 3*c = -12, 0*i = -2*i - k*c - 16. Solve -2 = -s - 6, -5*m + i*s = 7 for m.
-3
Let r(n) = n**2 - 5*n - 61. Let d be r(11). Solve -2*m - 5*q = 16, 2*m = d*q - 2*q + 16 for m.
2
Let w be (-1 + 9/6)*-54. Let g = 32 + w. Let s be 1/4 - (-30)/8. Solve s - 14 = -g*r, -d = 5*r - 14 for d.
4
Suppose -5*j + 10*j - 30 = 0. Suppose -b - b = -j. Solve -4*t - 2*g + g = 5, -5*g - 8 = b*t for t.
-1
Let i be (-2)/(-1)*2/(-6)*-3. Let o(d) = -2*d**3 + d**2 + d. Let p be o(-1). Let y be 4/(4*p/4). Solve 4*w + g = 3*g + i, y*w + 8 = 4*g for w.
2
Suppose -41*t + 64 = 23. Solve -x - 1 = -v, 4*v + 4*x - t = 7*v for v.
5
Let s(x) = -x**2 - 5*x - 2. Suppose 3*f + 3 = -2*d - 2*f, 2*d = -2*f - 6. Let z be s(d). Solve 4*c = -4*j + z*j + 4, -3*c = -5*j + 23 for j.
4
Suppose v - 7 = 9. Solve 2*d = d - 4*q - 18, -2*q - v = -3*d for d.
2
Let d = 173 - 171. Solve d = -0*m + m + 3*h, -m = -3*h + 10 for m.
-4
Let k be (-16)/(160/(-30)) - -1. Solve -2*l - 6 = 2*v - k*l, -9 = -2*v - 3*l for v.
0
Let i be 8/2 - (-12)/(1 + -4). Solve i = 3*x - 4*k + 1, -x - 5*k - 13 = -0 for x.
-3
Let l(k) = 2*k**3 + 4*k**3 - 7*k**3 + k. Let d be l(0). Solve -3*c = o + 4*o - 13, d = c + 3*o - 7 for c.
1
Let k(p) = p**3 - 18*p**2 + 18*p - 15. Let d be k(17). Solve -2*z + d*o - 7 = 3, -3*z - 3*o + 3 = 0 for z.
-2
Suppose 0 = i + 4, -i = 4*v - 6*v + 8. Solve o + v*o + 2*n + 14 = 0, 2*n - 2 = 5*o for o.
-2
Let g = -157 - 52. Let k = 212 + g. Suppose 6*m - 2*m - 16 = 0. Solve r = k*f + 7, -r - 2*r + m*f = -16 for r.
4
Let u = -17 + 15. Let x(s) = -s**3 + 3*s + 2. Let a be x(u). Suppose 5*g - 17 = -2*t + 4*g, a*t = -4*g + 44. Solve 20 = 5*c, -b - 3*c = -t*b - 12 for b.
0
Let p = -13 - -16. Suppose 4*n - 11 = -p. Let u be -1 - -2*19/2. Solve 4*y - n*o = u, 2 = 4*y + 3*o - 1 for y.
3
Let u = 2 - -2. Suppose 13*k - 63 = 6*k. Suppose -k = -5*r - w, -8*r = -u*r + 3*w - 16. Solve -2*d - 14 = 4*b, -6 + r = d for b.
-1
Suppose -5*a + 5 = -5*i - 0*i, 0 = -a - i + 5. Solve 0*l - 2*t + 15 = -a*l, -3*l + 3 = 4*t for l.
-3
Suppose -68 = 5*o - 88. Solve 0 = o*c + 5*i - 5 + 7, -2*i + 6 = 5*c for c.
2
Suppose 0 = -8*z + 53 + 27. Solve l + 4*p - 12 = 0, -z = -2*p - 4 for l.
0
Suppose -2*k = f - 12, -5*f = -8*f + 6. Solve -4*p = -8*t + 4*t - 16, -k*t + 4 = 3*p for p.
3
Suppose 15*a + 2 = -2*x + 10*a, 5*x - 5*a - 30 = 0. Solve -2*p - 2 = 4*w - x, 0 = 2*p + 5*w - 5 for p.
-5
Suppose 5*f + 30 = m, 8*m - 11*m - 10 = 5*f. Solve 3*t = n, -m*t + 20 = -n + 6*n for t.
1
Let p = -1264 + 1268. Solve -p*h = -x - 6, -9*h = -6*h - 6 for x.
2
Let z = 439 + -436. Solve z*l + 3*i = -1 - 5, l - i = -6 for l.
-4
Let f be 192/63 - 10/210. Let h = -4 - -6. Solve -f*v + 12 = 4*q - h*q, 0 = 3*v + 4*q - 12 for v.
4
Let z(l) = l**2 + 3*l + 3. Let d = 7 + -10. Let i be z(d). Suppose -v = i*v. Solve 5*q + v*q - t = 24, -4*q = t - 12 for q.
4
Suppose -2*y - 4 = -i + 4*i, 5*i = y + 15. Let q = i - 0. Suppose 12 = -18*l + 66. Solve 4*v = -d - 1, -q = -l*v - 5 for d.
3
Suppose 11*b - 91 = 74. Solve 0 = 2*q - w - 5, 4*w + b = -q + 4*q for q.
1
Let s be 34/(7/(21/6)). Suppose a - 7 = s. Solve 4*p - 2*p + q = 6, 4*p - a = q for p.
5
Suppose 49 = 4*d - f, 3*d - 5*f - 19 = 5. Suppose d = 6*v - 11. Solve b - 2*q - 12 = -b, -v*b = q - 9 for b.
3
Suppose -x = h - 3*h - 9, -22 = -4*x + h. Solve -2*z - 2*p = 3*z - 16, -10 = x*p for z.
4
Let w be (-2)/(((-4)/1)/88). Let b be (-37)/4 + 11/w. Let c be (7 + b)*1/(-2). Solve t = -c, 3*x - 2*x + 3 = 2*t for x.
-5
Suppose -83*t - 12 = -89*t. Solve 3*n - 4*z = -15 - 3, 4*n + 2*z = -t for n.
-2
Suppose 2*u - 3*y = 7*u - 40, 0 = 5*y. Solve -p - 3*q = -u, 9 = -5*p - 2*q - 3 for p.
-4
Let d(z) = 2*z**2 - 60*z - 42. Let w be d(31). Solve -5*k + 4*k - 5*t - 20 = 0, w = 3*k - 5*t for k.
0
Suppose -9*j + 735 = 26*j. Solve -3*b + 6 = 4*d, -13 = 2*b + 4*d - j for b.
-2
Let z be 1/(-1)*(-104)/8. Suppose -152*n + 153*n = 4. Solve 1 = w - 4*t, -n*t = 4*w - w + z for w.
-3
Suppose 2*k = -31 - 29. Let g be k/(-8) - 3/(-12). Solve 2*r - g*p = -16, -5*p + 21 - 1 = 0 for r.
0
Let q be (-2)/(-7)*34 - 2/(-7). Solve -4*k + q = 2*d, 5*d = -2*k - 9 + 34 for d.
5
Let x(s) = 2*s**2 + s - 4. Let w be x(-2). Suppose 6 - w = 2*c. Solve -3*t + 5*t + 4 = -2*h, -t + 3*h - c = 0 for t.
-2
Let t(i) = i + 1. Let b be t(-2). Let s = -1 - b. Solve -5*z + 3*p + 3 = s, z = 4*p + 3 + 1 for z.
0
Suppose 2*k - 8 = -3*x - x, -4*k = -2*x - 16. Solve -4*c = -16, -3*v + k*c - 24 - 1 = 0 for v.
-3
Let h = 8 + -5. Let w(n) = -7*n - 19 + 11*n - 8*n. Let d be w(-9). Solve -4*l + 16 = 5*m, l - h*m + d = -4*l for l.
-1
Let r be (3/(-6))/((-2)/(-44)). Let w be (-38 - -25)/(-2 - -1). Let q = w + r. Solve 4*x - m - 13 = 0, -x + m + 9 = q for x.
2
Let k be 1/(-1) + 2 - (7 - 9). Suppose k = 4*g - 9. Solve -w + 2 = -g*l, 0 = -0*w - w - 3*l + 2 for w.
2
Let v be 15/10*(-4 + 6). Solve 0 = -v*b - 5*t + 21 + 5, 5*b = 2*t + 2 for b.
2
Suppose -s - 3 + 9 = v, -3*v + 2 = -s. Solve 5*g - 10 + 26 = s*h, 8 = -2*g + 2*h for g.
0
Suppose -5*h + 18 = h. Solve -x = 3*q - 5*x + 35, 30 = -3*q + h*x for q.
-5
Let x(n) = -n**3 - 8*n**2 - 7*n + 6. Let g be x(-7). Let b be (-4 + 5)/(2/g). Solve -b*f + 5*c = 0, 3*c - 8*c = -15 for f.
5
Let b be (-4)/((-12)/33) - 3. Suppose -2*a = j + 1, -5*a + b = j + 21. Solve 2*o - 6 = 2*x, o = 3*x - 0*o + j for x.
-2
Suppose 0 = 596*v - 587*v - 18. Solve 0*s = 5*k + v*s + 16, s + 9 = -3*k for k.
-2
Let n be (-1)/4*(-2 + -2). Let j be n - 20/24 - (-116)/24. Solve -3*s = j*v + 20, s + 4*v + 0*v + 16 = 0 for s.
0
Suppose 0 = 2*i - 4*d + 12, 5*i + 0*d + 4*d = 26. Let v = 41 - 22. Solve -4*l + r - v = -0*r, -i*l = -3*r + 17 for l.
-4
Let q(h) = h**2 - 10*h + 13. Let z be q(9). Suppose -3*j - z*m + 0 + 5 = 0, 0 = 4*m + 4. Solve 0 = d + t - j, 5*d = 4*d + 5*t + 9 for d.
4
Let x(z) = 3*z - 5. Let p be x(10). Suppose p = 22*n - 17*n. Solve -3*l = -3*r - 5*l + 9, n*l + 10 = -r for r.
5
Let m(g) = -g**2 - 10*g + 13. Suppose 4*r + 40 = 2*c, r - 2*r - 15 = 2*c. Let i be m(r). Solve -3*n - 2*n = -4*u + 5, -2*n - i = -2*u for n.
-1
Let m = 667 - 665. Solve 7*w = -3*n + 4*w - 12, 4*n + m*w + 10 = 0 for n.
-1
Let a(k) = 2134*k - 3*k**2 - 1065*k - 4 - k**3 - 1072*k. Suppose -5*w = -1 + 16. Let t be a(w). Solve -t*l - 5*f - 15 = 0, l + 0*l + 12 = -4*f for l.
0
Let j(o) = -o + 4. Let g be j(0). Let i be -3*(0 + g/3). Let t be 2 + i + (-2 - -6). Solve t*l = -7*v + 2*v + 9, 7 = 3*l + v for l.
2
Let v(l) = -l**2 + 44*l - 158. Let g be v(40). Suppose 3*x = -x. Solve 7*n = -4*f + g*n, x = -2*f - 3*n for f.
0
Suppose -n - 15 = -4*a - 0*n, -3*a + 3*n + 9 = 0. Suppose -c - a*g - 4 = 0, g - 2*g - 1 = 4*c. Solve -4*q + 3*f - 19 = c, -q + 4*f = -4*q + 17 for q.
-1
Let p(r) = -2*r**2 + 10*r - 4. Let o be p(4). Solve 8 = 4*w + 2*n, 2*w - o*n - 2 = -18 for w.
0
Let w be 13/26*(2 - 2). Solve 4*i + 12 = w, 0 = 2*y - 2*i - 10 - 6 for y.
5
Suppose 7 = -3*b + 4*p - 4, 3*b = p + 4. Solve 30 = -3*m + 3*w, 0 = -0*m - b*m + 4*w - 35 for m.
-5
Let u = -43 + 98. Let q = 57 - u. Solve 13 = -q*v + 2*z + 3, 3*z = -2*v for v.
-3
Let y(a) = a**2 + 14*a - 10. Let i = -506 - -240. Let f be (-6)/27 - i/(-18). Let l be y(f). Solve w - l = 3*n - 3, 5*w = -3*n - 26 for w.
-4
Let c = -52 + 103. Let n be (-22)/6*c/(-17). Solve n = 3*l - 4*s + 3, 3*s - 3 = 0 for l.
4
Suppose -90 = -7*o + 15. Solve -5*i = o, 0 = j - 0*j - i - 5 for j.
2
Suppose 4*u - 94 = -5*j, 5*j - 4 = 6. Suppose m + 18 = u. Solve m*q + 4*r - 18 = 0, -4 = -5*q + r + r for q.
2
Let m be (-1)/3 + 16/(-24) + 4. Suppose -3*w - 1 = -13. Let d = 3 + -1. Solve 0*g + w*u + 4 = g, 0 = -2*g + m*u - d for g.
-4
Suppose 2*u = -0*u + 12. Suppose u - 1 = h. Let a be h - 3*(-3)/(-9). Solve -n + 0 = x - 8, -3*x + 4*n = a for x.
4
Let t = 1 - -2. Suppose 0 = -12*o + 14*o - 14. Let f(b) = -b + 16. Let a be f(o). Solve -a = 2*n - t*h, 2*h = -3*n + 1 + 5 for n.
0
Let a = 1562 + -1562. Solve 0 = 4*c - a*c + 4*j - 16, -2*j = 4*c - 8 for c.
0
Let y = -527 - -529. Let r(l) = 2*l - 8. Let h be r(6). Suppose -f - 10 = -4*a, h*f = y*a + 2 - 0. Solve 2*v = -a*c - 6, 15 = -5*v + 2*c - 0*c for v.
-3
Let r be 4 + ((-2)/2)/1. Let c(s) = s**2 - 7*s + 16. Let v be c(5). Suppose 9 = r*l - v. 