Suppose s + 0*s + 3*c - 7 = 0, -7 = -3*s - 2*c. Let z be s/2*(-1 - -5). Solve -2*u - 3*q + z = 0, 5*q - q = 16 for u.
-5
Suppose -4*z - 2*a = -22, 48*z = 46*z - 2*a + 10. Solve 2*m = 7*m + 3*o - z, m = -o for m.
3
Let t be ((-4)/((-32)/24))/((-6)/136). Let o = t + 62. Let w be 5/30*-16*o. Solve -4*c + w = -4*i, c - 4*i + 9*i = -20 for c.
0
Suppose 3 - 9 = -2*k. Solve -39*t - 7 = -k*u - 34*t, -3*u + t - 1 = 0 for u.
-1
Suppose 3935*f + 30 = -3912*f + 7804*f + 159. Suppose 5*n + 3*k + 5 = 2*k, n - k - 5 = 0. Solve -3*j + 2*x + 15 = n, -3*j + f*x = 2*x - 12 for j.
3
Let i be 11/((-11)/4) + 2*1. Let m be (5 - 10 - -7) + (-1 - i). Solve m*w = 5*t - 6, -5*w + 24 = t + 2*t for t.
3
Let c(g) = 15*g**2 - 2*g + 8. Let m be c(0). Solve 0 = -2*l - o - m, l = -3*o - 32 + 18 for l.
-2
Let a = -4 + 18. Suppose -9 = -2*i + 1. Suppose -5*u = -z + 3*z - 50, i*z + 30 = 3*u. Solve -3*x = -x + 4*k - u, -a = 2*x - 2*k for x.
-3
Let y = 9 + -5. Suppose 8 = 4*k, -5*g - 4*k - 74 + 102 = 0. Suppose -h + 3 = 0, 16 + g = y*q + 4*h. Solve -4*n + 8 - 20 = -q*x, -4*x - 4*n = 0 for x.
2
Let j be (6 - 6 - 2*61) + 1. Let o = j + 133. Let m be (o + -9)*(-2)/(-3). Solve 0 = -a + 5*a + m*p + 14, 0 = -3*a + p - 3 for a.
-2
Let w(q) = -q**3 + 7*q**2 + q - 12. Let o be w(6). Let p be 106/(-4) + 0 - (-15)/o. Let m = -24 - p. Solve -m*s - 5*d = -3*s + 5, -d - 2 = 0 for s.
-5
Suppose 0 = -25*o - 89 - 3561. Let v = 148 + o. Solve 0 = 5*b - b - v*w - 14, 3*b - 2*w - 11 = 0 for b.
3
Let g = -7770 + 7771. Solve 10*m = 13*m - 5*t + g, m = -4*t + 11 for m.
3
Let q be (-6)/2 - (-2 - -3)*-6. Let l be 1/(-2) + (q - 10/(-4)). Let m be l - (-1 - 0)*-2. Solve 0 = -3*n - 4*p + 2, 2*n - m*p = -10 for n.
-2
Let u(h) = h - 6. Let w be (2 - -4 - 9)*3/(-1). Let a be u(w). Suppose 2*t + 10 = 4*c, -4*c - 5*t + 7 = -24. Solve a*q + c = 4*f, 0*q + 4 = q - 4*f for q.
-4
Let c = -477 + 763. Suppose -5*f + 296 = c. Solve -3*h + f*g - 7 = 0, -h - 14 = -5*h - 2*g for h.
1
Suppose 28*l = 31*l - a - 87, 3*a = 0. Let h be (-45)/(-35) + (-4)/14. Suppose u - h = p, p - 3*u = -8*u + l. Solve 0 = q + p*x + 17, q - 6*q = x - 10 for q.
3
Let a(b) = -b**3 - 37*b**2 - 36*b + 52. Let f be a(-36). Suppose -4*l - 4*v = -64, -3*l + f + 0 = 4*v. Solve 4*q - 4*j = -l, -5*q + 3*q - 7 = -j for q.
-4
Let r = -449 - -453. Solve -4*s = 3*b + 4, r*s - b = 6*s for s.
2
Suppose -4*z + h = 1619, 22*z + 4*h = 17*z - 2050. Let p = 424 + z. Solve 4*v + i = -p, -3*v - 10 = -2*v + 3*i for v.
-4
Let f = 0 + -378. Let x = -376 - f. Let d be (-1)/(-2)*1*6. Solve x*l = 8, d*u - 3*l - 4 + 1 = 0 for u.
5
Suppose 4*z + 20 = -0*z. Let l be (15/(-3) + z)*(-4)/(-1). Let d be 24/10 - (l/25 - -2). Solve 3*a - 13 = -d*a + 2*n, 0 = -2*a - 2*n - 6 for a.
1
Let z(x) = 11*x**2 - 202*x + 118. Let a be z(18). Solve -51*r + 40 = 5*q - a*r, -5 = -r for q.
3
Let a(r) be the first derivative of -r**4/4 - 2*r**3/3 + 9*r**2/2 + 7*r + 160. Let o be a(-4). Solve -3*l = -2*w - 4, -5*w + o*l - 1 = -0 for w.
1
Let d(l) = -l**3 + 7*l**2 - 7*l + 6. Let q be d(6). Suppose -6*n + q = -18. Let v(c) = 4*c - 8. Let o be v(n). Solve 0*i = i + 3, 5*f - o*i = 17 for f.
1
Suppose -50 = 6*w - w. Let f be w/(-3) - 3/9. Let g(s) = s**3 + 9*s**2 - 56*s - 50. Let y be g(-13). Solve 0*r = b - r + 5, -f*r = -y*b - 13 for b.
-2
Let p(y) = -y**3 + 3*y**2 + 6*y + 4. Let o be p(0). Suppose o*j + 57 = 69. Solve -2*c + 4 = j*t - 1, t = -2*c + 3 for t.
1
Suppose 2*h = 11 + 45. Let n(d) = d**3 - 15*d**2 - 18*d - 24. Let f be n(16). Let b be ((-24)/h)/(12/f). Solve 16 = -4*i + b*z, i = 2*i + 5*z + 4 for i.
-4
Suppose 0 = -7*y + 13*y - 24. Let b(s) = -2*s + 15. Let l be b(7). Let j be (-1 + 1)*l + 1 + 2. Solve 11 = 5*k + j*d, -y*d = -4*k + 17 + 11 for k.
4
Let y(n) = n**3 - 3*n**2 - 11*n + 19. Let w be y(5). Solve -2*j = -4*j + 5*v - w, 0 = -j - 4*v + 19 for j.
3
Let v(z) = -101*z + 620. Let c be v(6). Solve -3*d - 25 = -5*m - 26, -5*d + c = 4*m for m.
1
Suppose 4*u + 2*l = 34, -96*u = -92*u + l - 27. Solve 4*t - 6*t = u*c + 30, -3*c - 3*t - 27 = 0 for c.
-4
Let n(c) = 2*c - 15. Let m(p) = 0 - 593*p + 5 + 592*p. Let b be m(-5). Let k be n(b). Solve -3*a - 8 = -2*a - 3*w, 0 = -k*a - 2*w - 6 for a.
-2
Let l(u) = u**3 + 3*u**2 + 2*u - 6. Let a be l(-3). Let t be ((-20)/a)/(2/6). Solve -v + 0 + 11 = t*b, 0 = -5*v + 5*b - 5 for v.
1
Suppose 2 = -4*c + 2*l, 13 = 27*c - 32*c + 4*l. Solve 0*b - 5*b = 5*h, -2*h - c*b + 3 = 0 for h.
-3
Let x = -11339 + 11347. Solve l + 2 = -c, -3*l - x*c + 24 = -11*c for l.
3
Suppose 260 = 4*g - 220. Suppose 5*h + g = 10*h. Suppose -6 = -y - 1. Solve y*o = -j + h, 0 = -8*j + 3*j + 20 for o.
4
Let z(x) = -x**2 - 7*x + 2. Let d be z(-7). Let r(n) = 95*n + 572. Let i be r(-6). Let k be -6*(-1 + (-1)/2). Solve -d*l = 3*y - k - 10, i*l - 24 = -4*y for y.
5
Suppose -283 = -2*l + m, 0*m = -5*l - 5*m + 670. Suppose 141*x - 6 = l*x. Solve -2*o = -x*y, 4*y = 2*o - 5*o for o.
0
Suppose -1782*g + 1772*g = 0. Solve -36 = -3*a - 4*c, g*a = -5*a - 4*c + 44 for a.
4
Let q = -7 - -19. Suppose q = 6*t - 3*t. Suppose -t*j + 4 = -3*j. Solve 3*u = m - 1 - 2, j*m - 12 = -5*u for m.
3
Let i = -53 + 107. Suppose 0 = -11*l + 5*l + i. Suppose -l = 3*a - 27. Solve w + 17 = 4*h, a*h - 5*w - 37 = 2*h for h.
3
Let v(t) = t**3 - 12*t**2 + t + 19. Let k be v(12). Let y = -29 + k. Suppose -y*a + 4 = -a. Solve -3*w - 4 = -6*b + a*b, -3*b - 8 = -w for w.
-4
Let j(u) = u + 34. Let c be j(-34). Suppose -s + 31 = 4*a, -2*a + c + 12 = 4*s. Solve 0 = -2*v + 3*i - 2, -5*i = a + 2 for v.
-4
Let g = 5520 - 5502. Solve -2*y - 4 + g = -4*t, t = 5*y - 17 for t.
-2
Let q = 0 + -17. Let v be q/(-3) - (-6)/(-9). Let i(m) = -12419*m + 74524. Let j be i(6). Solve -k + 5 = 0, -v*h - 3*k + 6*k = j for h.
1
Let c(m) = -m**3 + 62*m + 21. Let k be c(8). Solve -5*a - 2*w = -2*a - 1, -4*a = -w - k for a.
1
Suppose 0 = 1315*q - 1361*q + 266 + 194. Solve q = -4*w + 4*u + 6, -4*w = 4*u + 12 for w.
-2
Suppose 410*s - 5568 = 236*s. Solve 5*p + 16 = o, -2*p - s = -o - 25 for o.
1
Let w(a) = 34*a - 197. Let f be w(6). Suppose -502 + 474 = -f*c. Solve -5*m - 5 = -3*n, -c*m - 11 = -4*n + 1 for m.
2
Let a(h) = 16*h**2 - 6*h - 14. Let r be a(-6). Let y = 601 - r. Solve -5*t = -l - 4, -2*t + 5*l + 8 = y*l for t.
0
Suppose 3*g - 69 = -66. Let n be (-6 + 3 - g)*12/(-16). Solve -4*f = 4*c - 3 + 7, 0 = -3*c + n*f + 21 for c.
3
Let n be (4/5)/(7/5 - 1). Let k(a) = 15*a**2 + 9*a**2 - 9*a - 25*a**n - 15. Let r be k(-6). Solve -9 = -t - 4*m - r, -5*t - 6 = 2*m for t.
-2
Let a = -9867 - -9867. Solve -4*i + o + 16 = -i, a = 4*i - 5*o - 36 for i.
4
Suppose -2*f - v + 5*v = 0, 3*f - 2*v = 8. Solve f*l = -5*t - 15, 5*t = 4*l - 17 + 2 for t.
-3
Let f(g) = 106*g + 1910. Let x be f(-18). Solve -3*c = l - 7*c - 6, -x*c = 2*l - 2 for l.
2
Let a be (1764/(-112))/21 + (-6)/(-8). Solve 3*m - 3*i + 24 = a, 2*m - 4*i = -34 + 12 for m.
-5
Let d be (88/11 + 4/(-2))/2. Let g be 3 + 0 + 9 + -3. Solve 0 = -d*h + b - 11 - g, 0 = 4*h + 2*b + 10 for h.
-5
Let c(h) = -5*h + 0*h - 2*h + 1 - h**2 - 5*h. Let b be c(-8). Solve 0 = 2*z + 2*s - 2, 5*z - b = -0*z + 2*s for z.
5
Let c = -1265 - -1269. Solve 4*s = -4*z - 28, 4*s - 9*z + c*z = -10 for s.
-5
Let y be ((-25)/(-5) + -5)/(-3). Solve 4*v - 1 = 3*v, -r - 2*v + 5 = y for r.
3
Let k(d) = -3*d**2 - 70*d + 52. Let q be k(-24). Solve 4*l - 32 = q*s, -4*s - 3*l + 4 = -3*s for s.
-5
Suppose -17*m = -165 - 73. Suppose 6*o = -2*v + 4*o + m, -2*v = o - 10. Solve 4*n - 7*g + 5 = -8*g, -5*n - 19 = -v*g for n.
-2
Suppose -41 = 4*l + 279. Let x = 83 + l. Solve 0 = x*n, -9 = -2*y - 5*n - 3 for y.
3
Let m(u) = -u**2 - 6*u. Let k(d) = 2*d**2 + 6*d - 1. Let j(v) = 4*k(v) + 5*m(v). Let b be j(3). Solve y + 21 = -b*i, -2*y + 33 = -5*i - 0*i for i.
-5
Let h be (-64)/(-80)*5/13*26/4. Solve -h*k - 5*g - 8 = 0, -5*k = -4*k - 3*g + 4 for k.
-4
Suppose -3*c - 316 - 83 = 0. Let x = c + 137. Let t(s) = -3*s - 23. Let g be t(-9). Solve -8 = -g*j + x*y, -3*j + 2*j + 6 = y for j.
4
Let r(d) = -d - 39. Let z be r(-59). Solve -b = -5*b + 4*v - z, 11 = -5*b - 2*v for b.
-3
Suppose 5*z - 2048 = -423. Suppose -9*d = -4*d - z. Let g be 78/d*10/4. Solve -x = k + 4, g*k = -2*x + 6*x - 5 for x.
-1
Let l = -17 - -9. Let z be (l/(-6))/2 - 36/54. Let a = -14 + 14. Solve 5*h = -y - 22, a = 4*h - z*y + y + 18 for h.
-4
Let b = 114 - 115. Let l be ((-5)/25)/b*0. So