5*s - 16 = -8*s, 3*a = -s + 1 for a.
-1
Let b = -202 + 205. Suppose -12 = -b*j - n, 0*n = -n. Solve 0*m = 5*s - j*m + 29, -3*m - 7 = 2*s for s.
-5
Suppose 0 = -16*o + 18 + 14. Suppose -z = 4*n - 18, -o*n - 4 = -z - 10. Solve 25 = -5*l, z*i + 3*l - 2*l + 11 = 0 for i.
-3
Suppose 5*y = -2*i + 4*i + 17, -5*y + 12 = 3*i. Suppose 4*a = -m + 19, 3*m + 11 = 2*a + y*a. Solve b = t + 3*t - 7, m*t = -5*b - 12 for b.
-3
Suppose 20*d = 5*d + 14 + 1. Solve -5*l + 30 = 17*z - 12*z, 0 = l - d for z.
5
Let n be (-6)/(-10) - 22/(-5). Let f = 102 - 102. Suppose n*u + 0*u = f. Solve 2*v = 3*j + 16, -2*v + u*v + 10 = 0 for j.
-2
Let d = 1159 - 739. Let v = d + -415. Solve 8 = k - 5*s, 4*s = v*k - k for k.
-2
Let n(h) = 2*h - 2*h - 3*h**2 - h. Let r be n(0). Solve 5*j - 6 = -l + 8, -5*l + 2*j + 16 = r for l.
4
Let t(b) = -b**2 + 23*b. Let a be t(22). Solve 12 = 4*d, -a = -4*p - 2*d - 0*d for p.
4
Let c = 287 + -283. Let n = 51 - 32. Let b = n + -17. Solve 2 = -i, -c*m - 2 - 6 = b*i for m.
-1
Let o be 22 + (-11)/(176/(-128)). Solve -3*k = -2*s - 4, 2*k + 35*s = o*s + 28 for k.
4
Suppose 2*t + 23 + 13 - 52 = 0. Solve -k + 10*j - 11*j - t = 0, -2*j + 5 = -k for k.
-7
Suppose 7*j + j - 4*j = 0. Suppose -3*s + 3 = -j. Let d be (5/(-15))/(s/(-6)). Solve -5*y = 3*f + 10 + 3, 2*f + 2*y + d = 0 for f.
4
Suppose -84*d + 81*d + n = -57, d = -5*n + 35. Solve m - 18*q + d*q = 3, -4*m = -4*q - 24 for m.
5
Let n = -1845 - -1858. Solve 6*x - 3*x = 6, -n = b - 5*x for b.
-3
Suppose 5*w - 41 = 9. Let g(n) = -326*n**2 - 1633*n - 15. Let o be g(-5). Solve -3*r + 2*f + 0*f + w = o, -3*f = 2*r - 11 for r.
4
Let b be (-16)/12 + (-9867)/(-117). Solve 0 = -h + 1, 5*s + b = -5*h + 68 for s.
-4
Let c(s) = -20*s**2 + 381*s - 7. Let g be c(19). Solve 2*x = -2*q - 2, 3*x + 7 = g*q - 14*q for q.
4
Let i be 18 + (0 + -5 - -3). Suppose 2*g - i = -4*y, 4*g - 12 = -2*y + 2. Let c(r) = 2*r - 2. Let t be c(2). Solve -k = 4*l - 4, 3*k - 14 = -y*l - t for l.
0
Let r(k) = 3*k**2 - 7*k - 3. Let g be r(3). Let f be 1*(-3 + (-6 - -12)). Solve -4*t = -4, 2*t + 10 = g*y + f*t for y.
3
Suppose 4*l - 3*b - 32 = 0, 2*l = -45*b + 48*b + 28. Solve -10 + l = 2*i - 5*x, -4*x + 8 = -2*i for i.
-4
Let b(t) = 71*t - 495. Let k be b(7). Let i = 22 + -12. Suppose -2 + 6 = 2*x + 2*l, -3*x + l + 22 = 0. Solve 4*m - 4 = 2*u + x, k*m - i = 0 for u.
5
Let b be ((2/4)/((22/16)/(-11)))/(-2). Solve -m - 6*f = 8, -b*m + 4*m - 4*f = 16 for m.
4
Suppose 7*q - 1543 = 3413. Let x = 712 - q. Solve -2*l + 12 = -0*p + 2*p, 2*l - 2*p = -x for l.
2
Let v(w) = -w**2 + 6*w + 2. Let s be v(0). Let i be (-10)/(42/(-36) + 1/s). Solve 3*h + 2*h = -f - 25, -i = 4*f + 3*h for f.
0
Let t be 3775/302*8/10. Solve -3*i - 32 = 4*h, 5*h + 4*i = -31 - t for h.
-5
Suppose 4*t - 5*l = -473, -t + 46 - 178 = -4*l. Let c = t - -117. Let v(r) = -2*r + 28. Let j be v(c). Solve 0 = -5*m + 5*d, -5*m + d = 2*d + j for m.
-3
Let o = -5 - -9. Suppose -o*g + 8*g - 4 = -4*t, 0 = -2*g - 6. Let s(j) = -j**3 - 6*j**2 - 8*j + 2. Let f be s(-4). Solve -6 = -t*l - f, -q - l = -1 for q.
0
Suppose -15*f = -13*f + 4. Suppose -3*x = -4*q + 28, 2*q + 0 = -x + 4. Let j be (8/q)/f - -1. Solve 0 = 4*h, j*w = w + 5*h - 5 for w.
5
Let s = 3113 - 3109. Solve -2*h + 4 = -4*r + 6*r, -r = -s*h - 12 for r.
4
Let j(r) = r**3 + 28*r**2 - 2*r - 50. Let t be j(-28). Let h(q) = -15*q + 93. Let n be h(t). Solve 11 = -3*l + 2*p, 0 = -3*l + n*p + 2*p - 5 for l.
-5
Let j(u) = -u**2 + 365*u - 721. Let c be j(2). Solve -m - i = 70 - 69, -c*m - 41 = -4*i for m.
-5
Let j(p) = p**3 + 8*p**2 + 7*p + 9. Let h be j(-7). Let t = -3 + h. Let d = -57778 - -57782. Solve -m = -3*i + 7*i + 6, -d*m - i = -t for m.
2
Suppose 20 = -5*h, -4*h = 47*a - 44*a + 1. Solve k = 5*y + 19, y - 12 = a*y for k.
4
Let h(a) = -2*a + 27. Let q be h(11). Let w be q/(-5)*(-11 + 2)*14. Let p be 2 + 2/(-7) - (-36)/w. Solve -p*z + 4*t = 3*z + 19, -5*t + 5 = 0 for z.
-3
Let i(l) = l + 4. Let j be i(0). Suppose 4*a + j = 0, -h + 27 + 1 = 2*a. Suppose -5*v + h = -15. Solve -y - 2*p - 4 = 0, 2*y + 3*y - p = -v for y.
-2
Let m be (-1)/(-1*(-1)/(-8)). Let q be 1/(m/18*(-7)/(-56)). Suppose -13 = 5*f - q. Solve 5*i - t = 6, 0 = 7*i - 2*i + 4*t - f for i.
1
Suppose 3*m = 10 + 11. Suppose 0 = -15*y + m*y. Solve 5*c + 17 + 5 = -f, 4*c - 3*f + 10 = y for c.
-4
Let y(k) = 3*k**2 - 11*k - 830. Let l be y(-15). Solve v + l = -f, -5 = -f - 103*v + 105*v for f.
-5
Let a = -7777 + 7780. Solve v = 2*h + 3 + 10, a*h = -5*v - 13 for h.
-6
Let p(r) = r**3 + 8*r**2 + 11*r - 17. Let q be p(-5). Solve -15 = -5*j + q*g, -4*j + j - 5*g = 25 for j.
0
Let r = -12 - -12. Suppose -22 = -p - r. Let k = 24 - p. Solve -2*q = 3*q + 5*u, 20 = 2*q - k*u for q.
5
Let v(z) = 60*z**2 + 703*z - 1410. Let b be v(2). Solve n - 241*s + b*s = 0, -s = 2*n + 11 for n.
-5
Let a = 67 + -30. Suppose 0 = -6*u + a - 13. Suppose -2*t - u = -10. Solve 0 = b + 3, -7*b = -t*d - 2*b + 24 for d.
3
Let c(s) = 21*s**3 + 2102*s**2 + 200*s + 4. Let d be c(-100). Solve d*i + o = -10, 5*o = -47*i + 46*i + 7 for i.
-3
Let c = -13757 - -14050. Solve c*o - 289*o = -2*l + 20, -11 = -5*o + l for o.
3
Let n(c) = -57*c - 4811. Let i be n(-85). Solve -2*l + 4*q - 12 = -38, l = 5*q + i for l.
-1
Let s(v) = -74*v - 366. Let q be s(-5). Solve b - w + q = 0, -11*b + 12*b = -5*w + 26 for b.
1
Let v(l) = -3*l**2 - 20*l - 89. Let c be v(-9). Let q = c - -172. Solve 3*p - 4*a = 44 - 15, q = 5*p - a for p.
3
Let q be (87/(-116))/((-27)/72). Solve k - 9*c = -13*c - 18, 24 = -q*k - 5*c for k.
-2
Let m(o) = -2*o**3 - 125*o**2 + 193*o + 69. Let g be m(-64). Solve -2*n - 3*c + 10 = 0, -10*c + 11*c = g*n - 8 for n.
2
Let k(a) = -a**3 - 42*a**2 + 289*a + 87. Let x be k(-48). Suppose -85 = -5*l + 110. Let u = l - x. Solve u = 5*i - 3*j - 30, 3*i - i = -j + 1 for i.
3
Suppose 92*t - 89*t = 0. Suppose 0 = -3*x - 8 - 1, t = d - 4*x - 15. Solve -3*b + 12 = -4*b - d*k, -2*b = -5*k - 31 for b.
3
Let j(s) be the first derivative of -6*s**2 - 19*s + 21 - 1/3*s**3. Let u be j(-9). Solve -2*l + 4 = -3*z, 2*l + 4*z - 6 = u*z for l.
-1
Let k = 1020 - 708. Let t = 315 - k. Solve 4*d - 23 = t*o, 2*o - 1 = 5*d - 28 for d.
5
Suppose -12*p + 13*p - 2 = g, 0 = -3*g - 2*p + 4. Solve g = 3*v + 3*i + 12, 8 = v - 3*v + 2*i for v.
-4
Let j(a) = 7*a + 60. Let g be j(-7). Let b be 1/(3 + (-8)/3). Solve -2*l = 5*w + g, -2*w + 11 = 4*l - b*w for l.
2
Suppose -18*r = f - 22*r - 13, -4*f - r + 18 = 0. Solve -3*s + f*h = -12, 2*h + h = 5*s - 20 for s.
4
Let i be (-88)/(6 + -2 + -5). Let t be (11 - -2) + i/(-11). Solve 3 = h - g - 0*g, 0 = t*h + g - 9 for h.
2
Suppose -4*u - 4*f + 10 = -5*f, 5*u + 4*f = 2. Solve n = 3*o + 3*n + 13, -4 = u*o - n for o.
-3
Suppose -2*h + 2*j - 3*j + 9 = 0, -3*h = -4*j + 14. Let o be 330/114 - (-3)/57*2. Solve -4*t = 5*f - 26, h*f = 5*f + o*t - 18 for f.
2
Let b be ((-6)/(-15))/((-21)/(-1785)). Suppose 0 = -13*y + b*y - 21. Solve -3*s - y = -p - 2*s, s = -p - 3 for p.
-1
Let s = 17 - 24. Let l be (s - -4)/1*2. Let n be (l - 76/(-12))*(0 + 12). Solve 2*v - 2*z + 3 = -3, 5*v + n*z - 3 = 0 for v.
-1
Suppose 2*l = 3*h - 32 - 24, 0 = 4*h + 3*l - 52. Solve j + 3*v - 4 = h, 3*v - 35 = -4*j for j.
5
Let g(k) = -11*k**2 + 18*k - 23. Let a be g(6). Let b = a - -320. Solve 2*l - 25 = -2*l + 5*s, -b = -2*l - s for l.
5
Let r(j) = -j**2 - 15*j - 6. Let b be r(-18). Let h be (-1)/6 - 10/b. Solve h = 4*i - 3*m - 13, -m + 1 = i - 4 for i.
4
Let q be ((16 - 12) + -3)*15. Solve -5*h + 132*b + q = 131*b, 3*b = -2*h + 6 for h.
3
Let y(u) = u. Let l be y(12). Let k be 15/l - (-280)/32. Solve 5*x + 4*p = -k, 4*x + 15 = -x - 5*p for x.
2
Let q = -736 + 740. Let t be 23/46 - ((-2)/q - 2). Solve 0 = -2*k - t*a + 13 - 2, -3*k = 4*a - 15 for k.
1
Let b = -5 + 7. Let s be b + (-2 - -2) + 1 + 0. Solve 2*l + l + 2*k + 1 = 0, s*k - 24 = 4*l for l.
-3
Let d be 0 - -1 - (414/(-966))/(1/7). Solve 3*y + 0*y = p - 16, y + d = -p for p.
1
Let z(i) = i**2 + 18*i + 11. Let u be z(-17). Let w = 12 + u. Let f be (-4)/w - 20/(-12). Solve t + f = -t - k, -4*t + k = 5 for t.
-1
Let c be -6*(-3)/(-18)*-3. Suppose 0 = -c*q - 26*q + 406. Let n(k) = -2*k - 3. Let j be n(-4). Solve -6 = 3*g - 2*o, j*g - 3*o = -q + 4 for g.
-2
Let t be 2*13*3/2. Suppose 2*v - 5*f = -36, -5*f - 72 = -43*v + 47*v. Let u be t/9 - (-6)/v. Solve -5*z - a + 23 = 0, 0*a = z + u*a - 16 f