3*l - 28 + 46 = 0, -n*k = -l + 9 for k.
-3
Let q be 1*(3 - (-3)/(-1)). Let o be (3 + 13 + -2 + 0)/1. Let k(n) = 2*n - 25. Let z be k(o). Solve q = -8*s + z*s - 4*r - 12, 0 = 3*r - 6 for s.
-4
Let b be (-405)/30*(0 + (-12)/(-9)). Let j(s) = -s**3 - 18*s**2 + s + 21. Let t be j(b). Solve -2*q - 29 = 7*r - 2*r, -t*q - 6 = 0 for r.
-5
Let j be 5/(-40) + 2945/8. Suppose j = 8*f + 304. Solve f = 3*s + a + 3, a = -2*s + 4 for s.
1
Let y be (6/(-8))/(6/(-72)). Suppose -c + 15 = y. Let i be 3 + (-2 - 0)/(6/c). Solve -n - i = 3*z + 1, -4*z - 4 = n for n.
4
Let w(s) = s**3 + 7*s**2 + 2*s - 5. Let l be w(-4). Let u = l - 33. Solve -u*k = -7*j + 3*j + 4, -k + 4*j - 6 = 0 for k.
2
Suppose -54 + 2 = -4*q. Suppose -5*r = -4*k + 10, 3*r = 4*r + 2*k - 12. Solve 3*g - 5 - q = r*c, 4*g - 16 = 0 for c.
-3
Let b = 3867 + -3865. Solve 5*l - b*k = -7, -5*l + 4*l + 2*k - 3 = 0 for l.
-1
Suppose -6*n - 436 - 710 = 0. Let j = n - -193. Solve -2*y + j*l + 2*l = 8, -16 = 4*y - 4*l for y.
-4
Let a be 1 - (-4 + -4) - 4. Suppose -a*y + 167 - 607 = 0. Let w = 100 + y. Solve -5*s + w = 5*u - 18, 4*s = 2*u + 12 for u.
2
Let b(q) = q**3 + q**2. Let t be b(0). Suppose 3*j + 8*j - 132 = t. Solve -r + 2*s = -2*s - 3, 4*r = 2*s + j for r.
3
Let w be (-2)/(-12) - (-28)/(-168). Suppose 1 = -b - 2*n + 2, w = 3*b - 5*n - 14. Let h = -3 - -11. Solve h = -3*x - 4*k, 5 = b*k + 20 for x.
4
Let n = 22 + -14. Suppose 4*h - 16 = g + 6, 2*g + 24 = -2*h. Let u be (-44)/g + 11/(-77). Solve u*t + 6 = 4*s - s, -3*t = -4*s + n for s.
2
Let g = -1897 - -1901. Solve -5 = i - 2*t, -t - 20 = 4*i - g*t for i.
-5
Suppose -1080*p + 304 = -1064*p. Solve 3*k = -x - p + 8, -x = -k + 3 for x.
-5
Suppose 978*h + 20 = 973*h. Let p be (-4 - -7) + 1 + 2 + h. Solve p*i + 3 + 1 = 2*b, 0 = -4*b + 3*i + 7 for b.
1
Let z = 682 + -473. Let o be 141/11 + 38/z. Solve 0 = 5*b - y - 2 + 1, 3*b - 4*y + o = 0 for b.
1
Suppose 2*l + 18 = 3*n - 51, 4*l = 5*n - 119. Solve 3*u - 3*z - n = u, 3*u = -5*z for u.
5
Suppose -2*p = -u - 8, p - 5*u = 3*p + 16. Let t be p*2/(-8)*0/47. Solve a + 0*s - 5*s + 8 = t, 2*a = -4*s + 12 for a.
2
Suppose 0 = 52*m + 10186 - 11382. Solve 2*s - m = -5*j, -62*j = -59*j - 4*s + 7 for j.
3
Let r = -3 + 8. Let x be ((-6)/8)/(16/((-7040)/66)). Suppose 2*y = -2*h + y + r, -x*h = 3*y - 11. Solve -3*m + 0*a + 2*a = -h, 2 = 5*m - a for m.
0
Let h be 4/1 - (24 + -489). Let i = h + -458. Solve 4*v - i = -w - 0*w, -5*v = -3*w - 35 for v.
4
Suppose -257*s - 4*s + 1305 = 0. Solve -2*t + 5*t - 5*g + 31 = 0, -s*t = g + 5 for t.
-2
Let z(m) = 2*m**2 - 24*m + 2. Let r be z(13). Suppose 0 = 24*f - r*f + 8. Solve -2*a - f*x - 3*x = -15, -a + 5*x = 0 for a.
5
Suppose -356*j - 4*k = -359*j + 27, -19 = -2*j + 3*k. Solve -y = 5*z - 7, -y - j*z + 5 = -2*z for y.
2
Let d(a) = -a**2 + 60. Suppose 5*l + 5*p - 15 = 0, -3 = -5*p + 12. Let f be d(l). Suppose f = -0*c + 5*c. Solve i = -5*j - 13, 3*i = -4*j - c - 5 for i.
-3
Suppose -2*f = -f + 339 - 357. Solve -r = 3, -3*t - 3*r + r = f for t.
-4
Let n(l) = 137*l + 959. Let g be n(-7). Solve p + f = -2 + 6, g = 3*f + 3 for p.
5
Suppose 0 = -s - 4*z + 25, 0 = 2*s + s - 3*z - 45. Let m(n) = 9*n**2 - 458*n - 47. Let f be m(51). Solve q + f*x + s = 0, 4*q = -0*q - 2*x - 26 for q.
-5
Let q(d) = -d**3 - 8*d**2 - 39*d - 587. Let y be q(-10). Solve -n - 12 + 7 = -y*x, 0 = 3*x - 6 for n.
1
Suppose 0 = 17*j + 5*j - 616. Let v be j/126 + (-25)/(-9). Solve 3*w + 4*l = -3, w - 2*l = 2*w + v for w.
3
Let n(v) = -v**3 + 2*v**2 - 4*v - 3. Let x be n(-1). Solve 1 = -l - x*h, l = 4*h + h + 8 for l.
3
Let i(s) = -s**3 + 28*s + 47. Let d be i(-6). Solve -d*a + 96*a - 5*r + 3 = 0, 5*r = -2*a + 9 for a.
2
Let c be -1*(-3 - -10) - -1. Let s be 13 - 1/(3/c). Solve 0 = -2*u - 2*l, -4*l - s = -2*u - l for u.
3
Let y be (-1)/(-3) - 244/12. Let i = y - -22. Suppose -i*p - 18 = -5*p. Solve -21 = -4*a - 3*z, 3*z = p*a - a - 6 for a.
3
Suppose -53 = -8*i + 203. Suppose -79 = i*c - 239. Solve -3*x = -c*d - 0*x - 7, 2*d + 14 = 4*x for d.
1
Suppose 8 = k + a, 10*k - 14*k + 37 = 5*a. Solve -6*o = -11*o - k*j - 2, -18 = o + 5*j for o.
2
Suppose 199*o + 195 = 212*o. Let j(d) = d**2 - 7*d + 4. Let i be j(6). Let h be (-20)/7*7/i. Solve o = 3*n, -4*m - 3*n + h = -5 for m.
0
Let q be (50/(-20))/((-3)/6). Suppose 0 = 4*j - 2*a - 34, 13*j + 55 = 17*j + q*a. Solve 4*d + 35 = -4*v + 11, 0 = 5*v - 5*d - j for v.
-2
Let w(i) = i - 14. Let m be w(9). Let u be (m + -1)*(-25)/(-10). Let b be (6/u)/((-6)/60). Solve -g - 7 = j - 3, 15 = -5*g - b*j for g.
1
Let j(r) = r**2 + 9*r + 2. Let g be j(-10). Suppose -24 = -3*h - g. Solve 4*s + 20 = -4*m, 2*s - 5 = 3*s - h*m for s.
-5
Let z be -21*25/(-60) + (-4)/(-16). Suppose 7*t - 128 = -z*t. Solve i - t = 5*i, -j - 4*i = 12 for j.
-4
Suppose -2*v = 5*d + 82, 4*v = 5*v - 4*d + 41. Let c = -141 - v. Let l = c - -101. Solve 9 = 2*s + a, -l = 4*s - 2*a - 7 for s.
3
Suppose -11*p - 13*p - 12312 = 0. Let u = p - -516. Solve -2*n = -2, -3*b + n - u - 7 = 0 for b.
-3
Let d be (44/6)/((-12)/(-9) + -1). Suppose -d*o = -18*o - 20. Suppose o*j - 3*v + 5 = 0, -21 = j - 3*v - 8. Solve -2*l = j*z + 2*l - 16, -2*z + l + 6 = 0 for z.
4
Let r = -108 + -126. Let k be 1/2 - r/52. Solve -o + 3 + 5 = -4*v, -4*v + k*o + 8 = 0 for v.
-3
Let c = 30 + -26. Suppose 3*w = -3, -c*q + 19 - 8 = -3*w. Solve 4*t - q*t - 24 = -4*j, -3*t = -4*j + 4 for j.
4
Suppose l - 5 + 1 = -2*y, 4 = 2*y - l. Suppose b = 3*a - 79, -3*b = 4*a - y*b - 103. Let x = 26 - a. Solve 4*o - 12 = -i, -5*o - i - 9 + 25 = x for o.
4
Let f = 4677 + -4673. Solve 4*t = 3*j + t, f*t - 4 = 0 for j.
1
Let p = -730 - -746. Suppose -126 = -5*r - 16*r. Solve -3*u + r*u = 4*g - p, -12 = 3*u for g.
1
Let l be ((-206)/6)/(2/(-6)). Suppose 6*k + l + 161 = 0. Let z = 47 + k. Solve -3*n = 5*i - 7, -3 = n - 4*n - z*i for n.
-1
Let r be 0*(78/(-9) + -31 + 40). Solve 5*m = 5*z + 25, r = -z - 6*m + m + 25 for z.
0
Let n be 29238/363 + (-6)/11. Suppose n = 7*u + 66. Solve -i + 28 = 4*f + 3*i, -u*i + 5 = -f for f.
3
Let m(y) = -2*y**2 + 34*y + 1. Let g be m(20). Let r = -110 - g. Solve -3*j = -2*p + r, -4*p + 3*j + 3 + 12 = 0 for p.
3
Suppose 2*i - 8 + 0 = 0. Let x be (-42)/(-15) - 7/(-35). Let h be ((-8)/(-24))/((x/(-45))/(-1)). Solve i*a + w = 0, -3*a - w - h = w for a.
1
Let f(o) = 3*o**2 - 44*o - 481. Let u be f(22). Solve 4*d + 19 = -4*p + u, 5*p + d + 8 = 0 for p.
-1
Let n(j) = -j**3 + 2*j**2 + j. Let f be n(2). Suppose 4*q = 40, -3*v + q - 243 + 245 = 0. Solve -5*x - 9 - 11 = o, f*x = v*o - 30 for o.
5
Suppose u - 3*m - 95 = 0, -4*u - m + 444 = 3*m. Let x = -103 + u. Let d = -11 + 15. Solve x = 2*r - 0, -d*y + 2 = -r for y.
1
Let f be 46/115 - 393/(-5). Let g = 81 - f. Solve 0 = g*a - 3*a - 3*o - 15, 15 = 3*a - 3*o for a.
0
Let c be 72/(2 + 1) - 171/(-23 + 4). Solve 3*p + c*x = 30*x + 15, -2*p + 10 = 5*x for p.
5
Let d = -16 + 20. Let z = -339 - -344. Solve -10 = -2*l + z*v, 2*l + 15 + 11 = -d*v for l.
-5
Let w(r) = -r**3 - 25*r**2 + 28*r + 56. Let p be w(-26). Suppose -22*k + 295 = -717. Solve -12 = -3*a, 10 = -p*q - 4*a + k for q.
5
Suppose 0 = 7*d - 21. Suppose 14 = -3*b - 2*z, -4*b + d*b + z = 13. Let a be (-51)/68 - (0 + 14/b). Solve -y + 4*k - k = -a, 0 = 4*y + 5*k + 30 for y.
-5
Let d be 0/(-2) - (-5)/((-10)/(-174)). Let s = d - 91. Let q be s/1 + (0 - -11). Solve -o = -4*z + 2*o + q, -2*o + 2 = -z for z.
4
Suppose x + 89*x - 356 = 4. Let o be (-4)/2*-1 + 1. Solve 5*q + 22 = x*d, -6*q = -o*q + 4*d - 6 for q.
-2
Suppose 186 + 328 = 190*k + 134. Let r(f) = -22*f**3 - f**2 - f. Let m be r(-1). Solve k*t - 4*d = m, 0 = d + 2*d + 9 for t.
5
Let y(b) = -b**2 + 88*b - 831. Let p be y(11). Solve -2*k + 10 = -j + p, 4*j - 16 = 0 for k.
-1
Let q = 4781 - 4767. Solve 2 = 2*b, 2*b + 7 = 5*v + q for v.
-1
Let w(s) = s**3 + 11*s**2 + 32*s + 16. Suppose 17*n - 19*n = 12. Let k be w(n). Solve -2*v = -2*b, k*b = v + v for b.
0
Suppose -6*t + 5 + 7 = 0. Suppose -3 = u + 3*n, -t*u - u + 3*n = -3. Solve 0 = x, u = -0*w - w - x - 5 for w.
-5
Let b(j) = -7*j**2 + 66*j - 114. Let n be b(3). Solve 5 = -3*x - 5*z, 17*x + 3*z = n*x - 3 for x.
0
Let j(f) = -f**3 + 11*f**2 + 3*f + 96. Let d be j(12). Let y be -1*(7 + d + 4). Solve 2*h - 3*v = 5, y = -h - v - v for h.
1
Let q(f) = -2*f**2 + 27*f - 16. Let y(j) = -j**2 + j. Let n(x) = q(x) - y(x). Let c be n(23). Let p = c - 50