0*y + 4 for y.
-2
Let q(j) = -j - 5. Let z be q(-6). Suppose 5*s = 4*t - 2, -4*t + 11 = -z. Solve 0 = -4*f + 3*u - 7, f - 3*f - s*u = 0 for f.
-1
Let y be -1 + -2 - (53/(-7) - (-228)/399). Let m = 8 - 3. Let u = 7 - m. Solve -y*s - 4 = -u*b, -b + 2*b = 2 for s.
0
Let y(r) = r - 17. Let o be y(21). Let s be (-3 - (-195)/27) + o/(-18). Solve -3*q + 6 = s*h + 18, -8 = 3*h + 2*q for h.
0
Let x(u) = -2*u**3 + 10*u**2 - 8*u + 83. Let n be x(0). Solve n = 4*v - 4*p + 75, -4*v - 2*p + 20 = 0 for v.
4
Let o(g) = 199*g - 991. Let c be o(5). Solve 3*s + 0*s = c*x - 5, 0 = 5*x - 25 for s.
5
Let l be -3*(-1 + 2/3). Let a(d) = -20*d + 3*d**2 + 5 + 9 - l. Let q be a(6). Solve -3*r - 3*m - m = 23, -4*r + q = -m for r.
-1
Let v(a) = -a**3 - 15*a**2 - 23*a + 59. Let s be v(-13). Solve 25 = 25*j - s*j, -2*n - j = -3 for n.
-1
Let w be (-2)/(-4) + 189/18. Suppose -2*b + 1 + 7 = -2*h, -4*h - w = b. Let r be 14/(-10)*(-1 - 4). Solve -5*s + b + r = 2*x, x - 4*s = -9 for x.
-1
Let w = -378 - -455. Let m be (0 + 4)/(-3 - w/(-21)). Solve -3*d = -f - 7, 2*d - m = 2*f - 4 for f.
2
Let l be 3/(3/6 + -1). Let b be (1*(-212)/(-6))/((-4)/l). Let o = -48 + b. Solve o*j = -3*v + 18, -4*j = -j + 4*v - 13 for j.
3
Let j be (-1 - -5)/(-2) + 17. Let f be 25/15*18/j. Solve -4*g + 2*d - 10 = -8*g, 8 = f*g + 2*d for g.
1
Suppose 3*s = -0*s + p + 9, 0 = 3*s - 3*p - 9. Solve 5*r - s - 17 = 2*g, -3*r - 3*g + 33 = 0 for r.
6
Suppose -3*u + 5*u - 24 = 0. Let r(q) = 3*q**2 + 6*q - 24. Let a be (-1)/2*-16*11/(-22). Let k be r(a). Solve -2*d + k*x = -2*x - u, -3*x - 6 = d for d.
3
Let k(v) = -v**3 - 3*v**2 - 12*v - 14. Let g be k(-4). Solve -3*c + 54*u - g*u + 14 = 0, 4*c - 4*u = 16 for c.
2
Suppose 3*h = -5*p + 51, 0 = -88*h + 87*h + 4*p. Solve 4*m - h*f - 15 = -17*f, -3*f = 3*m - 9 for m.
0
Let p be (-114)/4*(4 + 28/(-6)). Suppose -p*d + 292 = 64. Solve -4*w + w - 3 = 4*c, -w = -3*c - d for c.
-3
Let y(f) = -2*f + 59. Let d be y(0). Let m = -51 + d. Suppose 20*v - 16*v - m = 0. Solve -4*z = -4*p + 32, -4*p + v*z = z - 20 for p.
4
Let w be (-167)/(-13) + 1 + (-96)/(-624). Suppose 0*z + 2*k + w = 4*z, 0 = z + 2*k - 11. Solve 0 = 2*p + l - 1, 2 + z = 5*p + l for p.
2
Let v be (-4 - 0)/4 - 2. Let k be (-1)/(v/(-18)*-3). Suppose 13*j - 30*j = -34. Solve m + 6 = -j*x, -k*m = 2*x - 0 + 6 for x.
-3
Suppose 0*q = -4*q. Suppose q = 11*r - 14*r. Let a be 7*(-66)/(-168) - 5/(-4). Solve 20 = -a*g, -3*j + 0*g + g - 10 = r for j.
-5
Let p = -10869 - -10872. Solve -d + n + 5 = -n, -4*n = p*d + 35 for d.
-5
Let k be 294/14 - (-7)/1. Suppose 3*i - 21 = -5*o, 5*o - k = i + 5. Solve -3*n - 3*w + w = 10, -o = n + 2*w for n.
-2
Let g(h) = 139*h - 1648. Let m be g(12). Solve -4*a + s = -m, -91*a + s + 15 = -88*a for a.
5
Let c(j) = 58*j + 161. Let n be c(-2). Solve 5*d + n = 4*o + 9, -24 = 3*d - 3*o for d.
-4
Suppose -13 = -4*l - 0*c - c, -4*l + 4 = 4*c. Let v be (30/2)/(6/l). Solve 4*i + 15 = i, 3*n = 5*i + v for n.
-5
Let h be (2 - -28)/(-3)*(-60)/25. Suppose -h*g + 338 = 2*g. Solve -3*t - 3 = 3, k - 5*t - g = 0 for k.
3
Suppose 3*u - 2*u - 29 = 0. Let h = 32 - u. Suppose -5*n = -h*m + 12 + 57, -m = -2*n - 23. Solve -2*f - 3*o = -5*f + 21, 0 = -f + 5*o + m for f.
3
Let l(g) = -10*g - 58. Let a be l(-6). Let n = -31 - -63. Let q = -32 + n. Solve q = -3*p + 5*u - 0 - a, -p = -2*u for p.
-4
Let b = -23 + 28. Suppose -6*f + 2 = -b*f. Suppose 2*x - 4*q - 42 = 0, q = 6*q - 10. Solve 0 = 2*o, f*o + x = 5*a + o for a.
5
Let l(f) = -5*f - 162. Let s be l(-30). Let o be s*-8*1/3. Solve 3*z - 13 = -0*j - 5*j, 4*j - o = 3*z for j.
5
Let v(k) = -k**2 + 264*k + 20. Let c be v(0). Solve 0 = 5*d - o - c, d = -2*d + 4*o - 5 for d.
5
Let y be (-63)/(-9) + -3 - 1. Solve 0*r + 5*s - 15 = -r, 4*r - y*s = 14 for r.
5
Let c be 25 + (5/(-10))/((-2)/(-4)). Let j(t) = -t**3 + 23*t**2 + 23*t + 27. Let p be j(c). Solve 2*r + p*a - 4 = 14, 0 = -2*r - 5*a + 26 for r.
3
Let z(p) = p**2 - 3*p - 4. Let y be z(6). Suppose -69 = -9*g - y*g. Solve q = -2*i + 2, -q - 2*q - g = 3*i for q.
-4
Suppose 0 = 2*n - 7*m - 36, 2*m = -2*n + 5*m + 20. Solve 5*s + n*w = -36 - 9, 2*s - 3*w = 5 for s.
-5
Let t(a) = a**3 - 6*a**2 - a + 6. Let p be t(6). Suppose -r - 35 = r + z, p = -3*r - z - 53. Let d = r - -35. Solve 4*s + 2*k = 3*k + 7, 0 = 4*s + k - d for s.
3
Suppose 2*r - 8 = -2*h, 3*h - 2*r = -4 + 16. Let s be 2*721/98 + 4/14. Suppose s*u - 19*u + 16 = -2*v, 0 = -v. Solve -5*q + u*x - 4 = -q, -4*x + h = -5*q for q.
0
Let i = -37 - -39. Let y be i/4*96/24. Suppose 10 = q - y*r, -3*q + 4*r = -6*q - 20. Solve q = 3*b + 4*w - 6 + 19, 0 = -5*b + 4*w - 11 for b.
-3
Let n(b) = -17*b - 1. Let r be n(7). Let d be (-10 - r/6)*4/10. Solve 2 = 2*t + d*j, t = -4*j - 1 - 0 for t.
3
Let u be ((1539/(-6))/9)/(6/(-8)). Suppose -u*o + 421 - 79 = 0. Solve 3*g - 2*b - 31 = -12, -3*g - 3*b + o = 0 for g.
5
Let c = 78 - 73. Suppose -5*o + 20 = c*g, 3*o - 5*g - 4 - 24 = 0. Solve -2*u + 16 = 4*y - o*u, 3*y + 4*u = 5 for y.
3
Let n(r) = -71 + 2*r + 14 + 19 - 4*r. Let g be n(-29). Solve -3*q = -l - l - 9, g = 4*q for l.
3
Let g(b) = b**2 - 13*b + 48. Let m be g(7). Suppose -2*j - u + 12 = 0, 4*u - 28 = -m*j + 3*j. Solve -4*v + 3*s = 2*s - 8, j*s - 1 = 5*v for v.
3
Let w be (3 - 123/39) + (-1107)/(-351). Solve -1 = -w*u - 2*y, u + 2*u - 2*y = 17 for u.
3
Suppose 8*t = -7*t - 4215. Let y = 284 + t. Solve 3*f + 4*h = -2, -4*h = -y*f - 4 - 6 for f.
-2
Suppose 297 - 256 = 5*d + n, -27 = -4*d + 5*n. Solve -3*c + 0*c - 6 = -2*r, -4*r - d = -c for c.
-4
Suppose -14*l - 676 = -746. Solve 4*b - l*k = 40, -21*k = -18*k + 12 for b.
5
Suppose -107*x + 28 = -507. Solve 0 = x*b - s + 23, 5*s - 1 = 3*b + 4 for b.
-5
Let s(l) = -l**2 - 2*l - 1. Let v(a) = 1. Let d(f) = -3*s(f) + v(f). Let q be d(-2). Solve -5*i + 29 = q*j, 0*j + 3*j - 18 = -3*i for j.
1
Let m(b) = b**3 + 2*b**2 + 569. Let s be m(-9). Solve -4*w = -5*y - 8, 66*y - 10 = 70*y - s*w for y.
-4
Let d(b) = 221*b - 655. Let h be d(3). Solve 4*u = 5*k, -h*u + 12*u = -3*k for u.
0
Let w(x) = 3*x - 1. Let z be w(2). Suppose 2*v = 2*a + 16, -v + 5*a = 3*v - 36. Solve z*m - 6 - v = -2*s, -5*s = 5*m - 25 for s.
5
Let w be 2*-2*3/6 + (-16)/(-4). Solve 45*i - 46*i + w*p - 7 = 0, 0 = 3*i + 4*p - 19 for i.
1
Let p(a) = 417*a + 7511. Let v be p(-18). Solve -3*b = -v*r - 32, 2*b - 55 = -5*r - 67 for b.
4
Let p(i) = i**3 - 27*i**2 + 31*i + 480. Let h be p(25). Solve -102*k + 98*k + 20 = 2*j, -h*k + 3*j + 25 = 0 for k.
5
Suppose -64*r + 59*r + 30 = 0. Let b be 3 + (0/(-4))/r. Solve 2*f - b*m - 3 = -2*m, -m = 4*f + 3 for f.
0
Suppose 7*w + 13 = -15. Let x(p) = 4*p + 4. Let a be x(w). Let t be (4 - (-68)/a)/(2/(-6)). Solve -2*o - h = 2*h + 10, -4*o - t*h - 18 = 0 for o.
-2
Suppose 19*h - 20*h + 3 = 0. Suppose -h*o = -14*o - 385. Let l = -30 - o. Solve -n + 12 = 4*j, 6 + 14 = l*j for n.
-4
Suppose 0 = -5*z + j + 82, 0 = -z + 3*j - 6*j + 10. Let w(x) = x - 15. Let b be w(10). Let k be (-2 + b/(-2))*0. Solve 0 = -c - k + 3, -3*c = 5*d + z for d.
-5
Let h be -4 - (1386/(-45))/7 - 18/(-5). Solve -15*g + 16*g - 17 = -h*i, -4*i + 5 = 5*g for i.
5
Suppose 4*s - d = 3*d + 48, 0 = 5*s - 2*d - 51. Suppose s*w = 2*w + 182. Let v = w + -11. Solve 2*c + 2*q + 4 = -2*c, c + v = 3*q for c.
-3
Suppose -9*a + 7 = 52. Let o be 6 + 1 - (8 + 35/a). Solve -14 = 2*n + 2*v, 2*v = -3*n + o*n + 1 for n.
-3
Let i be 1/4 - ((-5610)/24 + -4). Suppose i = -17*n + 19*n. Let t be (-34)/n - 46/(-14). Solve -g - 2*z - 6 = 0, -z = -t*g + 4*z + 26 for g.
2
Suppose -5*i + 86*s - 89*s = -5, 0 = -3*s. Solve 0 = -y - 4*q - 12, -2*q - i = -2*y + 5 for y.
0
Let m = 24 - 23. Suppose m = 3*r - 5. Suppose -r - 4 = -3*z. Solve -4 = 4*g - z*h, 5*g - 2*h + 8 = 2*h for g.
0
Let o be ((-10)/(-6))/((-5)/(-24)). Solve -2 = 2*t - z, 11*t = o*t + 2*z - 5 for t.
1
Let f(p) = -4*p + 16. Let t be f(3). Suppose -q + 19 = t*q + m, -5*m - 17 = -3*q. Solve -q*z = -l - 9, z = -3*z + 4*l for z.
3
Let s = -7557 - -7560. Solve 3*t = -s*c, -t - 24 = 3*t - 2*c for t.
-4
Suppose -204*v = -233*v + 464. Solve 13*r + 4*g = v*r - 11, 4*r + 3*g = -2 for r.
1
Let h be (-7894)/(-22) + 4/22. Let r = 361 - h. Solve t + 2 = -2*z, -r*z + 10 = -0*z + 4*t for z.
-3
Let r be ((-108)/(-18))/(2/71). Let i = r - 208. Solve -2*u + 10 = -i*g, -1 = -5*u + 3*g + 24 for u.
5
Suppose 2*t + 77 = c + 76, -5*c + 11 = -4*t. Solve -c*i + i - 