ve -4*u - 5*s = 9 + 3, -o = 5*s for u.
2
Suppose -6*v = -27 + 15. Let c be (-327)/(-15) - v/(-10). Solve -18 = 5*a - 2*k, c = 4*a - 9*a + 3*k for a.
-2
Suppose 6*w + 9 - 39 = 0. Solve w*l + 16 = z + 39, 4*l = -4*z + 4 for l.
4
Let p(i) = -67*i - 264. Let y be p(-4). Solve -y*x + 20 = 3*z, 2*x - 28 = -z - 20 for z.
4
Let g be (-3)/9 - (-71)/(-3). Let c be (-328)/g + (-2)/(-6). Solve -c = -2*i - q - 7, -5*q = -i - 13 for i.
2
Suppose 25*s = 59 + 91. Solve -2*w - 4*h = 30 - s, 20 = -5*h for w.
-4
Suppose -12*x + 1 = -23. Solve -k + x*k + 4*r = 0, 4*r - 12 = -4*k for k.
4
Suppose -2*j + 8 = 0, 2*p - 2*j + 20 = 3*p. Let k = p - 9. Solve 4*d = k*d, -2*n = -2*d + 2 for n.
-1
Suppose 4*t - 47 = 5*c, 3*c + 5 = -3*t + 20. Let a be -5*(-1)/2 + 3/2. Solve 5*o - 2*o - t = 5*d, 0 = -a*o - 4*d - 32 for o.
-4
Let y(s) = -31. Let z(h) = h - 61. Let m(n) = -5*y(n) + 2*z(n). Let x be m(-12). Solve -3*j = -3*v - x, 6*j + 4*v = 2*j + 4 for j.
2
Let f = 67 - 103. Let z = 45 + f. Solve -6 = -2*k, -3*k = -4*l - 0*k - z for l.
0
Let x be (-1)/2 + (-5)/(-2). Suppose -h = -x*l + 3, -l + 7*h = 2*h - 15. Solve -j + 8*y - 3*y + 24 = 0, 3*y + 12 = l for j.
4
Let t(f) = -2*f**2 + 65*f + 648. Let v be t(-8). Suppose 0*r = -3*u + 3*r + 36, 0 = -u - 4*r - 13. Solve v*h = -y + 4*h - u, 4*h = 12 for y.
5
Let j be (4/(-4))/(1/(-18)). Suppose 4*b - 5*f - 10 = 0, -3*b + j = -b + 4*f. Solve b*q = -4*l + 8, -q = -3*q - l + 5 for q.
4
Suppose 5*t + 5*b = 20, 3*t - t + 3*b = 11. Let q be 6 - (1 + 3 - t). Solve 2*n - 4*d - 4 = 0, -2*n + 5*d + 5 = q*n for n.
0
Let h = 28 + -13. Let k be -5*(-18)/h + -1. Suppose 0*i = -4*i. Solve -j + k*y - 7 = i, 3*y - 21 = -9*j + 4*j for j.
3
Let j(o) = 6*o + 18. Let h be j(-1). Solve -w + 3*d - h = 2*w, -3*d = -3 for w.
-3
Suppose 2*g - 7 = -2*w - g, -4 = w + 4*g. Let u be (-3)/(-9) + w/3. Let d be (0 + 1)*4*2. Solve u*v + 19 = -5*y, -2*v = 3*y - d*y - 4 for v.
-3
Let l(w) = 34*w - 171. Let o be l(6). Solve 2*i - 6*i = 4*r + 12, 5*i - 4*r = -o for i.
-5
Let a(v) = -v**3 + 15*v**2 - 13*v - 7. Suppose 2*h + q + q = 30, -2*h + 26 = -2*q. Let y be a(h). Solve y = 2*l - z + 3, -4*l + 4*z = -8 for l.
2
Suppose -5*k + 3 = 4*r, 5*r + 5*k = -0*k + 5. Let v be (0/(-1))/(r - 4). Let j = 812 + -808. Solve -4*z + 2*q + 14 = v, 0*z + j*z + 5*q - 35 = 0 for z.
5
Let h = -462 - -467. Solve -2*i + 10 = 3*a, -a + h*i = -0*i + 8 for a.
2
Let r be 1/(0 + (33/15 - 2)). Suppose -3*j = 4 - 19. Let m = 18 + -14. Solve m*v + 2*o = 5*o - r, -o + j = 2*v for v.
1
Let k = -206 - -206. Suppose -t = l + 3, 0 = -3*l - 0 - 15. Solve -2*n - 3*o = -t, 2*n - 2*o = 12 - k for n.
4
Suppose 12 = 3*i + 3*j - 0, 2*i + 3*j - 9 = 0. Suppose i*y - 31 = -22. Solve -y*w = -5*k + 7 - 27, -k = -3*w + 16 for k.
-1
Suppose -l + 3*l - 5*d = 8, 2*d - 8 = -2*l. Suppose l*b - 28 = 12. Solve -4*g - 28 = 4*a, -5*g - b = 3*a + 15 for g.
-2
Let t(l) = l**3 + 23*l**2 - 22*l + 50. Let r be t(-24). Solve 0 = 2*i - 2*j - r, i - 2*j + 4 = -6*j for i.
0
Let s be (-2)/(-6) + 10/6. Let c = 24 - -2. Solve -5*j = -f - 15, -2*j - 2*j = s*f - c for j.
4
Let o(b) = b**3 + 5*b**2 + b + 1. Let p be o(-5). Let n(x) = -212*x + 103*x + 107*x - 3. Let k be n(p). Solve -5*h + k = -2*h + 4*i, 0 = -4*h - 2*i for h.
-1
Suppose o - 84 = -4*z, -3*z + 0*o = 4*o - 76. Suppose 67*j - 64*j - 2*n - 4 = 0, -5*n = 5*j - 15. Solve -3*p = 2*w - z, 4*w + 4 = j*p + 3*p for w.
4
Let d(l) = -20*l + 126. Let r be d(6). Solve r*u + 2*c - 7 = u, -c = 4*u - 5 for u.
1
Suppose -5*q = -0*q - 75. Let d be 138/(-15)*q/(-6). Solve -4*f = 5*m - d, 2*f - 3*m = 6*f - 17 for f.
2
Let k be (-6)/(-4) - (-954)/36. Solve -4*a = -4*c + k, 5*a + 22 - 2 = 2*c for c.
5
Let n be (10/(-8))/(3516/(-288) + 12). Solve -25 = 5*h + 5*c, -n = -8*h + 5*h + 4*c for h.
-2
Let a(l) = l**2 - 19*l + 83. Let m be a(6). Solve 0 = -2*j + m*v - 2 + 14, 0 = -5*j + 3*v - 8 for j.
-4
Suppose 8*p - 3*p - 15 = 0. Let l(w) = 2 + 4*w**2 + 10*w + 4*w**2 - 3*w + 3*w**3 - 2*w**p. Let y be l(-7). Solve 5*i + 5 = s, -s - 11 = i + y*i for s.
-5
Let w = -421 - -425. Solve 0 = b - 5*m + 25, w*b - 3*b - 3*m + 17 = 0 for b.
-5
Suppose f - 29 = 5*p, f - 5*p + 16 = 5*f. Let r be (7 - 0) + -5 + 2. Suppose 5*g + u = 1 + 1, r*u = g + 8. Solve 4*m - a - f = g, -4*a - 5 = -3*a for m.
1
Suppose 0 = -5*w + 11 + 9. Let o be (3 - 7/2)*4. Let s(g) = g**2 + g + 2. Let r be s(o). Solve 5*y + 0 = w*l - 28, 4*l = r*y + 24 for l.
2
Let g = -10 - -11. Let c be (-9 - -8)*g*-10. Suppose -4*u + 2*u = 2*q - c, 2*u = 5*q - 11. Solve -5*j = u*y + 2, -j + 2 = -4*j - y for j.
-2
Suppose -4*c - j + 183 = 0, 0 = c + 2*c - j - 132. Let d = -32 + c. Solve 4*a + 3*h + 27 = 0, -a + 2*h + d = -2*a for a.
-3
Suppose 2*g - 5*g = -222. Let t be (-14)/(-91) - g/(-26). Let m(k) = 5*k. Let h be m(4). Solve -5*v + s = -h, -t*v + 0*v = -5*s - 12 for v.
4
Let h(v) = -2*v**2 - 16*v - 9. Let c be h(-7). Suppose -c = 5*r - 15. Solve r*o = -5*q - 6, 2*q - 6 = -2*o + 3*q for o.
2
Let k(m) = m**2 - 5*m. Let a be k(5). Suppose 0 = -a*d + 4*d + 4*c - 4, d - 9 = 3*c. Let b = 5620 + -5618. Solve -4 = -q - 3*r, -b*q + d*r + 5 = 15 for q.
-2
Suppose -2*t + 123 - 81 = 0. Solve 5*r + 5*n - 5 = 0, -t = 2*r - 4*n + 1 for r.
-3
Let j = -7 + 3. Let p be 6/(-3 - 18/j). Suppose -8 = 2*m, 5*m - p = 2*v - 5*v. Solve 0 = 2*n - 3*c - v - 8, 0 = 5*n + 2*c - 21 for n.
5
Let r = 14 - 8. Let b(f) = f - 1. Let w be b(r). Let h = -767 + 772. Solve -5*v = h*u - 15, -4*u + 13 = w*v + 1 for u.
3
Let y(c) = 2*c - 20. Let s be y(15). Let d be 26/s - 8/(-20). Solve d*w + 35 = -5*t, -5*t + w + 5 = 20 for t.
-4
Suppose -5*f + 16 = 2*z, z + 15 = 4*z + 3*f. Let h = z + 11. Solve -c - 13 = -0*w - 4*w, 4*w = 2*c + h for w.
3
Let f(w) = -w**3 + 15*w**2 - 15*w + 16. Let g(a) = -2*a - 34. Let y be g(-24). Let k be f(y). Solve 4*v + 2*z - 1 + 3 = 0, -2*v - k*z = 6 for v.
2
Let s = 5052 + -5047. Let l be -5*-1*(-8)/(-10). Solve l*u - s*b + 20 = 0, -4*u + 3*b - 9 = 11 for u.
-5
Let m(p) = -p**3 - 17*p**2 + 16*p - 23. Let t be m(-18). Suppose 3*c = -t + 19. Solve 1 - 5 = -c*f + 2*b, -5*f = b - 10 for f.
2
Suppose -4*t = -2*f + 4, 4*f + t - 6*t - 5 = 0. Suppose -5*m + 1 + 4 = f. Let y be 1 - (2 - 5)*m. Solve -y*v + 3*v = -4*k + 17, -v - k = -3 for v.
-1
Suppose -2*t = -0*t. Suppose 3*g + 2*g - 10 = t. Solve -c = g*c - 2*l - 4, 3*c - 1 = 5*l for c.
2
Let x(c) = 10*c + 141. Let s be x(-14). Solve 5*l - 20 = -q, q + s = 6 for l.
3
Let v be 986/(-261) + (-4)/18. Let l be 2/(-7) - (v + (-36)/28). Solve -5*f + 3*u = -f - 3, -3*f = 5*u + l for f.
0
Let o be (-20)/135*-3 + (-82)/(-18). Solve 4*n + 23 = o*c - 8, -3*n = 3*c + 3 for n.
-4
Suppose -2*p = -3*c - 9 - 10, -3*c + 4*p - 17 = 0. Let a(r) = r - 2*r + 104 - 107. Let l be a(c). Solve 0*u - 2*u = l*f + 6, 0 = -3*f + 3*u + 9 for f.
0
Let d = 4 - 4. Suppose d = -2*r + r + 4. Suppose 0 = -3*g + g + r. Solve 3*a = -4*j - 24, 0 = 4*j - g*a - 1 + 5 for j.
-3
Let z = -565 + 570. Solve 0 = -z*k - o + 9, -18 = -5*o + 2 for k.
1
Suppose 3*t + 0*t + 6 = 0. Let y be t/(-10) + 2/(-10). Solve -3*x = -4*g + 4, y*x = 3*x + 4*g + 20 for x.
-4
Let d = -479 - -479. Solve 0 = 5*r - 3*s + 19, d = r - 0*s - 4*s - 3 for r.
-5
Let i = 84 + -79. Solve i*r + 4*q + 18 = 0, 0*r = 4*r + q + 10 for r.
-2
Suppose -5*m + 4*j = -73 - 136, -m - 3*j = -57. Let z be m/(-75) + 63/5. Solve 9 = c + 4*y, 2*c - z = 3*c - 3*y for c.
-3
Suppose 0 = 3*u - 3 + 15, 0 = -2*f - 4*u - 24. Let s(y) = -y**2 - 6*y - 3. Let i be s(f). Solve -3*c + 11 = -l, i*c + 4*l - 1 = 2*c for c.
3
Let w = -78 - -89. Solve -3*x + 4*t = 2 + w, -2*t + 17 = -5*x for x.
-3
Let d be 44/12 - 2/(-6). Suppose -d*z + 11 = 3. Suppose -7*v - 145 + 362 = 0. Solve -v = 5*y - 4*k, z = y - k + 9 for y.
-3
Let f(z) = 6*z**2 + z**3 - 80*z + 3*z**2 - 13 + 66*z - 11. Let u be f(-10). Solve 2*w + 5*k = u, 3 = 3*w + 2*k + 1 for w.
-2
Suppose 6*s - 5*s - 6 = 0. Suppose -s*q = -14 + 2. Solve 6*b + q*t = b + 29, -2 = -t for b.
5
Suppose -3*h + 4*v = -145, 0 = -3*h + 6*h + v - 125. Let l = 67 - h. Solve -3*w = r - 3*r + 1, -4*w - l = 3*r for w.
-3
Let z = 1049 - 1027. Solve 5*b - 4*v = -2*v - 11, -4*b - z = 5*v for b.
-3
Let p be (-6)/((-2)/8*(2 - -4)). Solve 5*j - 4 = z, -j + z = -0*j - p for j.
0
Let z(o) = o**2 + o + 2. Let u be z(-2). Let m(h) = 45*h - 45. Let n be m(1). Suppose -u*k + n*k + 8 = 0. Solve k*l = l + t, 3*t = 2*l 