
Let q = 5889 - 5849. Solve 5*f = -3*z - 19, -5*f + 4*z + 7 = q for f.
-5
Suppose 25*a - 20*a - 2*q = 4, -2*a = 2*q - 10. Suppose 4*y - 4*s = 8, -a*s = s - 15. Solve -d + y = 3*t, -2*t + 18 = -4*d + 2*d for d.
-5
Suppose 22*i = 18*i + 32. Let p(t) = -t**2 + 6*t + 24. Let w be p(i). Solve -l + 2*c = -7, 2*l + 5*c = w*c + 11 for l.
1
Let j be (-3)/4 + 222/(-24) + 15. Solve -5*n - 3*k = 20 - 1, -4*k + 33 = -j*n for n.
-5
Let g(r) = 12*r**3 - 5*r**2 + 7*r - 2. Let p = 291 + -290. Let o be g(p). Solve 2*f + o = 3*w, -2*w + 14 = -2*f + 2*w for f.
-3
Let b(o) = -2*o + 7. Let a be b(-1). Let z be (2 + 1/(-5))/(a/15). Solve w = 4*r - 2, 5*w = -2*r - z + 15 for r.
1
Suppose 3*d + 14 = 3*h - 4, -h = 3*d + 2. Suppose -p - 3*q = -h*p + 12, -4*p + 2*q = -18. Solve 0 = -5*n - y + 9, p*n + y - 8 = n for n.
1
Let o = -949 + 984. Suppose 29*h + 48 = o*h. Solve -h = l + 2*g, g = 4*l - g - 8 for l.
0
Suppose -74 = -14*o + 136. Suppose -8*c - 7 + o = 0. Solve -p + 2*b = -c + 10, -5*p + 10 = b for p.
1
Suppose -5*x - 228 = -898. Let s = x + -134. Solve -a - 2*p - 2*p - 15 = s, a = p for a.
-3
Let s be 10/25 + 36/10. Let w(z) = -2*z**3 - 134*z**2 + 277*z + 69. Let m be w(-69). Solve 0 = -s*f - m*q + q + 15, -2*f = 5*q - 35 for f.
5
Let n = -2507 + 1735. Let s = n + 782. Solve -4*v + 0*f + 8 = 4*f, -3*v - 5*f = -s for v.
0
Let l(h) = -h**2 + 11*h - 19. Let b be l(9). Let i be 3 + (-5 - b) - -2. Solve t - 4 = 3*j + i, -8 = -2*j - 5*t for j.
-1
Let b be (-744)/(-104) + 2/(-13). Let q be b - (2 - 3 - -4). Suppose 0 = -5*j + 2*l + 8, j + 8*l - 5*l = 5. Solve -8 = f - q*h, -3*f - j*h = -6 + 16 for f.
-4
Let g be 152/(-114)*(-10)/(-8) - 56/(-3). Suppose 4 = 4*a - 2*a. Suppose -a*w + 10 = -0*w. Solve 5*y + x - w*x = -g, 0 = y - 3*x + 10 for y.
-1
Let g(h) = 5*h**2 - 100 - h**3 + 2*h**3 - h + 95. Let k be g(-5). Suppose -121*s + 124*s - 12 = k. Solve s*c = -t + 11, 2*t - 4*c + 13 = -1 for t.
-1
Let j(p) = -p**3 + 9*p**2 + 4*p - 10. Let c be j(7). Suppose 2*a + 0*a - c = 0. Let s = a - 56. Solve 0*q - s*d + 10 = 4*q, 4*q + 2 = 2*d for q.
1
Suppose -2*x = l, -x = 3*l - 0*l. Suppose l*u + 6*u - 12 = 0. Let i(z) = 5*z - 22. Let r be i(9). Solve -5*j - r = m - 2*m, -6 = 3*j + u*m for j.
-4
Let b(p) = -280*p + 3098. Let d be b(11). Solve 5*z - 5*w = -10 + 25, 0 = 4*z + 2*w + d for z.
-2
Suppose 155 = -56*z + 568 + 259. Solve -17*u + 22*u = -2*s + 8, 3*s - z = 2*u for u.
0
Let j be ((-5)/(6 - 5))/((-1)/11). Let l be (320/j - 6) + (-92)/(-22). Solve -2*n - 5*i + 8 = 25, 2*n + 14 = -l*i for n.
-1
Let s be 1/(-1 + 84/87). Let y = s + 27. Let h be (-3)/2*(8/(-12) + y). Solve -28 = 3*x + h*j, 0*x + 16 = -5*x + j for x.
-4
Let p = 4462 + -4429. Solve 0 = -r - 3*u - 13, -36*u - 12 = -p*u for r.
-1
Let b(u) = 2*u - 48. Let z = -230 + 256. Let m be b(z). Let j = 1 - -1. Solve -2*c = 6*x - j*x + 22, -m*x - 5*c - 25 = 0 for x.
-5
Let i = -11073 + 11078. Solve 5*n = -v + 29, -5*v = n - i*n for n.
5
Let v = 14 - 2. Suppose 2*m = 5*t + 47, -2*t + 3*m - 16 = 5*m. Let k = t + v. Solve -4*i + 12 = -0*i, -3*q = k*i for q.
-3
Suppose 4847*z = 4821*z. Solve -5*u - 4*c = -z*c + 10, -3*u - 4 = 2*c for u.
2
Suppose -38*l - 32*l = -85*l. Solve -z + 5*r - 15 = l, 0 = 3*z + r - 3*r + 19 for z.
-5
Let w(o) = 21*o + 571. Let u be w(-27). Solve -6 = f - u*m + 13, -5*f - 5*m + 5 = 0 for f.
-3
Let t = -37144 - -37146. Solve 2*m + 3*i = -t, m + 0 - 4 = i for m.
2
Suppose -49 - 199 = -62*n. Solve -7*t + n*t = 2*c - 4, -3*t - 3*c = -9 for t.
-2
Let a be (-851)/(-92) - 2/(-16)*-2. Suppose -2*c + a*c - 21 = 0. Suppose -2*n = 2*n - c*m - 11, -3*m + 9 = 0. Solve n*f + 2*p = -6, 3*f + 3 = 5*p + 18 for f.
0
Let t be (2/(-3))/((-96)/1008) + -6 + 3. Solve 11 = 3*z + 4*y + y, -2*z - 22 = -t*y for z.
-3
Let k = 2357 - 2348. Solve 4*r = -4*g - k + 25, 0 = 4*g - 5*r - 7 for g.
3
Let k = 11 - 8. Let q be (30/(-20) - 1)*-2. Suppose 5*m + 21 = -r, k + 2 = -5*r - q*m. Solve 2*x + 4 = -2, 0 = 3*i + r*x + 3 for i.
3
Let o = -16865 - -16867. Suppose -m = 4*p - p + 1, p - 5*m - 5 = 0. Solve o*y - 25 = 3*n, p = y - 4*n - 24 - 1 for y.
5
Suppose -2*k - 1043 = -9*h, 38 = 2*k + 28. Solve 3*y = 4*q + 1, -q = 5*y + h - 111 for y.
-1
Let j(m) = 10*m + 2. Let o be (-1 + 1)*2*2/4. Let c be j(o). Solve 25 = -4*q + a, 0 = 4*q + 3*a + c*a - 5 for q.
-5
Let c = 71 + -71. Suppose 4*q + 2*q - 42 = c. Suppose -4*p = 3*i - 71, 0 = -q*i + 2*i + 5*p + 60. Solve 2*g - 1 = -h - g, 3*g = -5*h + i for h.
4
Let r be (-8)/(-26) + (-50688)/(-2574). Solve 5*o = -5*k - 0*k - r, -4*k - 7 = -5*o for k.
-3
Suppose 3*q - 585 = -573. Let l be 5/(1 + q)*1 + 3. Suppose c + 4*c = 25. Solve l*y + 12 = 0, 5*y = c*b + 7 - 2 for b.
-4
Let q = 4 - 1. Suppose 17*l - 15*l = 5*f - 17, -3*l = -5*f + 13. Suppose -q = -l*k + 3*k. Solve k*y = 4*z + 21, -10 = 2*z - 4 for y.
3
Let s(f) = -f**3 - 11*f**2 + 11*f - 7. Suppose 25 = -5*v, 6*y = 4*y - 4*v - 58. Let m = 7 + y. Let x be s(m). Solve g = x*w + 25, -3*g - 17 = 3*w - 2 for w.
-5
Let v(l) = -16*l**3 - 128*l**2 - 6*l - 48. Let u be v(-8). Solve 5*z = 0, u = 8*h - 4*h - 3*z + 12 for h.
-3
Let o(y) = -y**2 - 16*y + 21. Suppose -25 + 8 = f. Let a be o(f). Suppose -12*k + 18 = -3*k. Solve -k*b + 13 = 5*q, 4*q + 11 + 1 = a*b for q.
1
Let o(k) = k**3 - 6*k**2 + 2*k - 6. Let j be o(4). Let n = 210 - 171. Let m = j + n. Solve 3*r = -m, -5*t = 3*r - 5 + 34 for t.
-4
Suppose -22*y + 26 + 84 = 0. Suppose -2*t - 12 = -5*m - 4*t, y*m - 4*t = 6. Solve -8 = -2*j, m*r - 4*j = -3*r + 4 for r.
4
Let b be (-6)/(16/104 + (-55)/104). Suppose -b*r = -23*r + 14. Suppose -r*g = -3*g - 2*d + 14, 0 = -3*d + 6. Solve -3*x = -0*x - y + g, 0 = 2*x + y + 5 for x.
-3
Let t = 335 + -304. Suppose -8*x = -1 - t. Solve 0 = -2*u - 2, -4*u + x = -2*b - 2*u for b.
-3
Suppose -3*q - 5*m = 2*q - 45, 25 = q + 5*m. Suppose -22 = 3*a + q. Let k(h) = 2*h + 20. Let f be k(a). Solve 5 = -f*r - 2*c + 19, r + 1 = 3*c for r.
5
Suppose 3*n + 9 - 5 = -4*b, -2*n = -4*b - 24. Solve n*r - 21 = o, -2*o + 2*r - 1 = 11 for o.
-1
Let q(p) = -2*p**2 - 22*p - 14. Let h be q(-9). Suppose -h = -26*b + 82. Solve 2*w = 5*s + 16, s = -b*w - 1 - 11 for w.
-2
Suppose 4*n - 17 = -3*b, -51*n = 4*b - 55*n - 4. Solve 5*u = 5*h + 2*u + 10, 0 = -b*h - 4*u + 23 for h.
1
Let o(r) = 46 - 647*r - 644*r + 1285*r. Suppose -2*t + 6 = 0, 4*t - 3*t - 21 = -3*h. Let q be o(h). Solve -3*v + q = -5*y - v, 0 = v for y.
-2
Let a = 346 - 308. Let p = -26 + a. Solve x - 1 - 3 = 3*l, -x = 5*l + p for l.
-2
Let d be (-1)/((-105)/4 - -26). Solve -p - 5*h - 13 = -11, -d*p - 4*h = 8 for p.
-2
Let l(n) = -3*n + 2. Let b be l(4). Let x be ((-102)/20*2)/((-2)/b). Let j = -48 - x. Solve 3*z = d - 1, z - 5*z - 3*d = -j for z.
0
Suppose -4*f + 5*n - 7 = -4, 5*f + 3*n = 24. Suppose 0 = -3*z - f*l + 42, 4*z - 4*l = -0*z + 88. Solve -4*i - z = -a, 0 = -7*i + 3*i - 3*a - 26 for i.
-5
Let o = 2323 - 2315. Solve 5*p + 10 = g + 4*g, -o = -g - p for g.
5
Let h be (-1 - (-1)/3)*-3. Suppose 13*i + 4669 = -1779. Let z = i - -501. Solve 0 = h*t - 2*a + 6, -z*t - 3*a + 6 = -a for t.
0
Let i be -50*((-45)/(-6) - 8). Solve -3*m + 2*w + 3*w = i, m + 13 = 4*w for m.
-5
Let l = -326 - -483. Suppose -20*w + 23 = -l. Solve 36 = -4*j + 5*d - 9*d, 4*j - 5*d - w = 0 for j.
-4
Let r(z) = -z**2 + 7*z - 1. Suppose -3*f = -3*u + 43 - 13, -4*u + 5*f = -44. Let h be r(u). Solve 5*o = 5*j + 4*o - 4, -2*j = h*o + 20 for j.
0
Let t = 100 + -100. Suppose t = -37*m + 39*m - 18. Suppose -m*x + 24 = -x. Solve 0 = 5*o + 20, 6*i - x*i - 5*o = 26 for i.
2
Suppose -186*l + 2731 = -803. Solve -1 = n - 4*f, 4*n = 9*n + 4*f - l for n.
3
Let j = -414 + 416. Suppose -2*k = 2*l - 8, 7*k - j = 9*k. Solve -3*v = -l*a + 12, -4*a - 6 + 18 = 0 for v.
1
Suppose 2*v + 6*k = 2*k - 4, 0 = -5*v - k - 1. Let a = v + 12. Suppose -12 = 8*f - a*f. Solve i + 9 = -i - f*z, -3*i + 34 = -5*z for i.
3
Let k(n) = -15*n**3 + 2*n. Let j be k(-2). Suppose 117 + 101 = -2*v - 5*a, -v - j = -a. Let h = 119 + v. Solve -i = 3*b + h, 4*b = -i + 6*i - 13 for b.
-2
Let t = 16 - 10. Suppose t = s + 1. Suppose 0 = -q - 9*n + 41, 156*q - 151*q - 4*n = 9. Solve 3*u - 14 = q*l, -16 = s*l - 2*l + 2*u for l.
-4
Suppose -6575 = 96*s - 7055. Solve 2*u - 4*c + 36 = -2*u, -s*c = 5*u + 5 for u.
-5
Let c(j) = -j**3 + 3*j**2 + 13*j - 21. Let t be c(5). Let a be 0 - 5*t/15. Solve -3*w - a*y = -2, w - 4*y = -6 - 12