
Let f = -10632 - -10632. Solve -5*w = 5*s + 30, 2*s + 0*w + w + 10 = f for s.
-4
Let g = -3181 + 3184. Solve 2*k + 0 + 1 = -g*b, -b = -2*k - 5 for b.
1
Let c = -323 - -327. Suppose 0 = -2*t - 4*a - a + 10, -2*t + 46 = -c*a. Solve 21 = 4*x + 4*r - 3, 0 = -5*r + t for x.
3
Suppose -m - 6 = 2*s - 5*s, -s + 2*m + 2 = 0. Suppose -w + 0*p + s*p = -5, 0 = -w - 2*p + 5. Solve l = -h, -3*l + w = 2*l + 4*h for l.
5
Suppose -2*b - 4 = -4*b. Suppose z - 4 = b. Let k be 76/16 + 18/(-24). Solve 0 = -c - k*d - 4, 4*c - z = c - 3*d for c.
4
Suppose 22*c = -6*c + 392. Solve -y = 2*r + 9, 0 = -3*y + 10*r - c*r - 23 for y.
-5
Let t be 8/(-52) + (5 - (-1683)/39). Suppose -38 = 2*o - t. Solve o*i = 3*s + 8 - 31, -5*s - 15 = 5*i for i.
-4
Let l(b) = b**3 + 7*b**2 - 40*b - 95. Let v be l(-10). Solve g - v*y - 2 = 0, -31*y = 2*g - 35*y - 4 for g.
2
Let p be ((-3)/(-4))/((-81)/(-216))*(1 + 0). Solve -3*d - 10 = m, d - 1 = p*m - 2 for m.
-1
Let x(j) = -2*j**2 + 12*j + 2. Let i be x(6). Suppose -5*c + 13 = -i. Solve 0 = -c*g + 3*v + 12, -g - 2*v - 4 = v for g.
2
Let q(p) = p**2 - 15*p + 30. Suppose -2*t + 3*c = -3*t + 28, 2*t = 4*c + 6. Let n be q(t). Solve -3*l + 9 = -6*l, 4*j + n*l = -24 for j.
-3
Let r(o) = 18*o - 86. Let k(y) = y - 15. Let s be k(20). Let t be r(s). Solve -2*q = -3*v - t, 3*v + 20 = 2*q + 8*v for q.
5
Let q = 15336 + -15334. Solve 123*j - 119*j = -4*m - 16, 2*m = q*j - 8 for m.
-4
Let q = -16 - -21. Let k = -5 - -8. Let n(f) = f**2 + 3*f - 14. Let t be n(k). Solve 16 = -q*h - 4*c - 12, 20 = -3*h - t*c for h.
-4
Let s(t) = t**3 - 31*t**2 - 72*t - 10. Let u be s(-2). Solve -6*l + 10 = -l + 2*f, -5 = -u*l - f for l.
0
Let j(m) = m**3 - 8*m**2 - 36*m + 170. Let k be j(10). Solve -y + 6*y = k, -12 = -2*n - 4*y for n.
2
Let w(x) = -17*x + 566. Let a be w(33). Solve -a*f + 31 = -3*o, 5*o = -0*f - 3*f + 5 for o.
-2
Suppose -3*r - 3*j + 18 = 0, -6*r - 5*j + 9 = -8*r. Suppose r*y = -3*c + 15, -y - 3 = 2*y - 3*c. Solve y*v + 0*v = 4*u + 4, 5*u + v = -5 for u.
-1
Let f be ((-14)/6)/((-2)/6). Let u(v) = v**2 - 77*v - 861. Let n be u(-10). Solve y = -y - a - f, -n = 3*y + 2*a for y.
-5
Suppose -5*y = -2*w - 21, -w + 5*y - 29 + 6 = 0. Suppose -w*g - 40 = -7*g. Suppose -a - 3*a + g = 0. Solve q - 5*i = -27, 19 = -a*q + 3*i - 0 for q.
-2
Let x = 1678 - 1676. Solve 4*l - 12 = -x*z - 2, 20 = z + 5*l for z.
-5
Let t be (-22)/(154/(-14)) + (9 - -1). Suppose t*o + 23*o = 175. Solve o*y - r + 0 = -2, 5*y = -2*r + 4 for y.
0
Let h be (7 - (-324)/(-84))/(2/14). Solve 0 = 3*w + h*o - 19*o - 6, w - 8 = o for w.
5
Let r(s) = 2*s + 21. Let m be r(-11). Let d be 10/55*m + 24/11. Suppose -y - 6 = -5, -5*l + 5*y + 25 = 0. Solve -l*u - 24 = d*w + 2*w, -w + 2 = -3*u for w.
-4
Let t = 143 + -133. Solve -2*c = 2*o + 8, 4*c = -0*c - 2*o - t for c.
-1
Suppose 0 = -148*o + 191*o - 860. Solve 5*z - 5*j = o, -3*z - 3*j + 12 = -0*j for z.
4
Suppose 5*p - 20 = 2*j, 15 = 3*j - 0*j. Let a(z) = -25*z + 153. Let i be a(p). Solve -6 = s + 2*l, -i*s + 2 + 15 = -l for s.
4
Let n(f) = 603*f - 5427. Let y be n(9). Solve v - x + 8 = y, 5*x - 16 - 19 = 4*v for v.
-5
Let d = -5157 - -5166. Solve d = 3*x + r, 0*x + 4*x - 2*r - 12 = 0 for x.
3
Suppose -4*t + 1 = -5*t, -2*u = -t - 29. Let o be (-1035)/(-63) - (3 - 36/u). Solve -f + 6 = 2*h, -2*f - 2*f = -o for h.
1
Let a(b) = -2*b**2 - 67*b - 530. Let k be a(-13). Solve 33*o = 29*o - 20, k*o + 7 = -4*j for j.
2
Suppose 0 = -250*l + 170*l + 160. Solve 0 = -l*q + 5*y - 30, 5*q - y + 0*y + 29 = 0 for q.
-5
Suppose -66 = 2*n - 0*l + 2*l, 0 = 2*l - 4. Let u be n/(-20) - (-40)/32. Solve -u*h - 5*k - 25 = 0, -5*h - 8 = 2*k + 2 for h.
0
Let i(o) = 152*o + 613. Let n be i(-4). Let l = -2 + 7. Suppose n*y + 25 = l*k, 3*k - 15 = -y - y. Solve -a + 9 = 5*j - 5*a, k*j - 3 = -2*a for j.
1
Let r = 32 + -18. Solve d = -5, r*y - 27 = 16*y + 5*d for y.
-1
Let t be (1 - 3) + (-1 - -10). Let k = 7 - t. Solve -y - 2*d - 3 = k, 0*y = 3*y - 2*d - 23 for y.
5
Let i be -2 - 1 - (0 + -36). Suppose 0 = 4*k - 2*m - 44, m = 2*k + k - i. Suppose 0 = 12*s + 61*s - 438. Solve -q + s = -2*w, w - 3*q = q + k for w.
-5
Let m(u) = -u**3 + 65*u**2 + 346*u - 18. Let o be m(-5). Solve -f + 7 = g, o*g + 125*f - 2 = 126*f for g.
3
Let o be (11 - 1)*((-38)/(-247) + 18/52). Solve -5*z = -5 - 10, -y - o*z + 21 = 0 for y.
6
Suppose 58*o - 180 = 28*o. Solve o*t = -5*u + t, -4*t + 15 = u for u.
-5
Suppose 5*s + 3 = -5*g - 12, -5*s + g = -3. Suppose -46*x + 57*x - 33 = s. Solve t - 3 = -r, 2*t + x*t = r - 15 for t.
-2
Let u be (-8)/2 - 2/1. Let b be (-1 + -9)*3/u. Suppose -b*x - 13 + 2 = -3*l, -5*l - 4*x + 6 = 0. Solve 5 = n + 4*c, l*n + 3*c = -2*n + 7 for n.
1
Let q = -32 + 39. Let w(u) = -2*u**3 + 20 + 6*u**2 + 5*u - 8*u**3 + 7*u**3 + 2*u**3. Let t be w(q). Solve 5*b = -3*s + t + 19, -4*b + 20 = 0 for s.
0
Suppose 13 = -2*d - 4*k + 35, 5*d + 3*k = 34. Solve -d*h - 9 = 3*l - 3, 5*l = 3*h + 24 for h.
-3
Let r = 25 + -25. Let g be r*5/((-10)/1)*-2. Let v be ((-14)/4)/((-2)/4). Solve -3*h - 5*l - 21 = g, -l = -5*h - 0*l - v for h.
-2
Suppose 5*b = 2*b + 229 - 217. Suppose 0 = n - 5*q - 5, 0 = -5*n - 2*q - q - 3. Solve -b*d = 5*h - n*h, d = -2*h for h.
0
Let p = -1319 + 1321. Let g(b) = -b**2 - 7*b + 8. Let c be g(-8). Suppose -t = -2*t + 1, c = -q + 5*t - 4. Solve 4 = u + p*k, 0*u - 3*k = -2*u + q for u.
2
Let y = 3222 + -3217. Solve 3*s = 4*s + y*h + 4, 0 = 4*s + 5*h + 1 for s.
1
Suppose 0 = n + 3*n - 8. Let g be 14/n + 2*(3 - 4). Solve -v - 3*v - 4 = g*b, 0 = 4*b + 16 for v.
4
Let d = -24345 - -24347. Solve -5*x - 2 = -4*f, x = -4*x - d*f - 14 for x.
-2
Let f be 12/18*((-24)/(-4) - 0). Solve -11*m + 8*m = 4*i - f, -4*i - 2*m + 8 = 0 for i.
4
Suppose 0 = -2*s - 0 + 16. Suppose -12 = 4*a - s*a. Let n be 18/(-2) + (-8300)/(-996) + (-8)/(-3). Solve a*h + v + 15 = 0, -6*v + 10 = -n*h - 4*v for h.
-5
Let j(y) = -26*y**3 - 2*y - 12*y**2 + 51*y**3 + 26 - 24*y**3. Let a be j(12). Solve -a*f + 3*m + 17 = 0, -f - 2*f + 2*m + 13 = 0 for f.
1
Let r(o) = 16*o + 83. Let g be r(-5). Suppose -l - 4*l + 3*k + 12 = 0, 7 = 2*l + k. Solve -n - 19 + g = -3*v, -l*n + 4 = 4*v for v.
4
Let n = -60 - -169. Let k = -107 + n. Solve 0 = -k*v + r - 7, r + r - 11 = 3*v for v.
-3
Let f be ((-2)/4)/(4/(-40)). Let n(x) = -2*x**3 + 218*x**2 + 1630*x + 58. Let o be n(-7). Solve g + o = -3*g, 0 = -5*w - f*g + 5 for w.
5
Let l be 219/(-438)*(-6)/1. Solve -h = l*o - 17, -77*h + 76*h = o - 7 for h.
2
Let v = -4743 - -4747. Solve -2*d - 2*h = -7*h - 2, -v*d - 26 = 5*h for d.
-4
Suppose 70*l + 58*l = 118*l + 20. Solve m = l*w + 5, 2*m + 0 = -2*w - 2 for w.
-2
Let r(p) = -3*p**2 - 41*p + 198. Let d be r(-17). Let t be ((-15)/9)/(1/(-36)). Let k be 4/((-16)/d)*t/(-35). Solve 0*f + k = f - 5*z, 4*z = -4*f for f.
2
Suppose 0*w = -2*w - 122. Let m = 8507 - 8560. Let r = m - w. Solve -r = 5*u - j, 4*j = -u - j + 14 for u.
-1
Suppose -o + 11 = 4*p, 3*o + 2*p = 10 + 3. Suppose 2631 = 1743*m + 583 - 1438. Solve -m*l = -o*l - 5, -2*l = 2*f + 20 for f.
-5
Let r = 5618 + -3252. Suppose 0 = 2360*y - r*y + 42. Solve -5*v = -5*x + 40, y = -x - 0*v - 4*v for x.
5
Let g(x) = x**3 - 226*x**2 + 2770*x - 209. Let z be g(213). Solve 7 = l + z*a, -2*l + 10 = 95*a - 91*a for l.
3
Let b(c) be the second derivative of c**5/20 + 17*c**4/12 + 71*c**3/6 - 3*c**2/2 + 110*c. Let t be b(-9). Solve -i + 12 = -4*w + 2*i, 2*w + 5*i + t = 0 for w.
-3
Suppose 6*i - 83 - 61 = 0. Let s = 85 - i. Suppose 15 = -60*d + s*d. Solve -4*c - z - d = 0, 3*c - 2*z - 15 = 6*c for c.
-3
Let c be (-47)/(-423) - 179/(-9). Suppose 1460*j = 1456*j + c. Solve 3*l - 4*w = -2*w + 15, j*l - 12 = -w for l.
3
Suppose -4*t = t, -15 = -3*a + 4*t. Let m be ((-4)/12)/((-2)/24). Suppose 5*u - 18 = -4*o, m*o = -a*u + o + 16. Solve -r = -2, -5*q + u*q - r = 7 for q.
-3
Let n = 350 + -339. Let d = -46 + 44. Let w be 0*(-1 - d)*1. Solve w = -5*u - 4*a - 21, -2*u + 2*a + n = -5*u for u.
-1
Let y = -123 + 195. Let u(g) = -345*g - 1450. Let h be u(-4). Let j = h + y. Solve j*s + 1 = -4*b - 21, 0 = 3*b + 4*s + 24 for b.
-4
Let z be 10 + -4 + -1 + 0. Let p = -46 + 57. Suppose -p*w + 26 = 4. Solve r = z, -5*r + r = -w*j - 10 for j.
5
Suppose -2*v + 172 = 4*p, 2*p + 109 - 275 = -2*v. Suppose -81*x + v*x = -2. Solve -3*z + 1 + x = -4*r, -r = 2*z - 13 for r.
3
Suppose 1004*o = 1003*o + 4. Solve -2*m = -q - o, -3 = 