a - 27, 7*d = k*d - 5*a - 20 for d.
-5
Let q = 1215 - 1164. Solve -4*x - k - 4 = 0, -2*x - q*k + 46*k = 20 for x.
0
Let c = 11170 + -11170. Suppose -2*z + 31 = 3*z - q, q = -4*z + 23. Solve c = -2*k + 3*j - 14, -z = k - 3*j + 7 for k.
-1
Let w be 4/6*(8 + 1 + 3). Suppose -q = -5*a - 0*q + 10, 4*a - w = -q. Suppose k - 2 = 2*z, 4*z - z + 9 = 3*k. Solve 13 = 4*u - 4*d + 5, d = a*u - k for u.
2
Let r = 4 + -2. Let t(n) = 0*n - 7*n + 21*n + 133 - 6*n - n**2. Let k be t(16). Solve -4*o = o - r*v + 24, o = -k*v + 6 for o.
-4
Let j(b) = 7*b**2 - 237*b - 239. Let y be j(-1). Solve -3 = -4*s + y, 4*x - 18 = -3*s for x.
3
Let c = 88 - 85. Suppose 5*b - 700 = -z, c*b + z = -0*b + 420. Suppose -2*x = 4*q - 130 + 36, b = 5*q - 5*x. Solve o + 20 = 4*g, -2*o = 5*g + 3*o - q for g.
5
Suppose -k - 43 = -5*l - 2*k, -5*l + 52 = 4*k. Let q = 9 + -4. Solve -q*x + 12 = 3*i, 2*i + 4*x = -0*i + l for i.
4
Let o(g) = -g**2 + 7*g - 3. Let k be o(6). Let c(l) = -3*l**3 + 12*l**2 + 93*l + 26. Let t be c(8). Solve 5*x + 15 = k*h, -t*x + h - 2*h + 5 = 0 for x.
0
Suppose -3*z - 23 = 10*s - 14*s, 5*s = 4*z + 28. Let c be (1*1*4)/1. Let o be (0 + -2)/c*-10. Solve l = z*q - l + 5, -l = o for q.
-5
Let d(p) = -18*p**2 - 16*p**2 + 43*p**2 + 10 - 10*p**2 - 6*p. Let w be d(-7). Solve 0 = -y - w + 1, 0 = -3*l + 4*y + 20 for l.
4
Let b = 14 - 12. Suppose 6*s - b*s - 16 = -2*p, 4*s = p + 16. Solve -2*l + x + 6 = -p*l, 4*l - 12 = -x for l.
3
Suppose 19*a - 139 + 63 = 0. Suppose -2*y + 2*c = -c - 23, 5*c = -2*y - 17. Suppose -2*o + y = 2*o. Solve 0 = a*x - 2*w + w - o, 3*w - 8 = x for x.
1
Suppose -10*a + 2*a + 96 = 0. Suppose 0 = 5*b - 5, 5*b = d + b - a. Suppose -m + d = 7*m. Solve -3*j - 5*s = 17, 2*j + 2*s - s = -m for j.
1
Let u = -1653 - -1656. Solve 65 = -3*j + 2*g + 80, 0 = -u*g for j.
5
Let r be (-145)/58*32/10 + 11. Solve 4*w - 4 = h, r*h + 4*w = -3 + 7 for h.
0
Let t(a) = a**2 - 21*a + 23. Let m be t(20). Let d(u) = 6*u**3 - 6*u**2 + 17*u - 12. Let q be d(1). Solve -q*y + m*h = -20, 3*y - 5*h = -2 + 14 for y.
4
Let m(w) = 3*w**2 - 128*w - 20. Let a be m(43). Solve -4*j = 3*s + 9, -3*j + 9 = 20*s - a*s for s.
-3
Suppose -2*o - 166 = -2*k + 2*o, k + 4*o = 83. Let r = k - 78. Suppose -4*l + 5*b - r = l, -l + 15 = 3*b. Solve 0*c = l*s + 2*c + 4, -5*s = -4*c + 36 for s.
-4
Let n = 1113 - 578. Let x = -530 + n. Solve -3*v - 8 = -0*y + y, -4*y = x*v + 4 for y.
4
Let f = -2544 + 3840. Let c be (f/(-4))/(-2) - 2. Suppose -3*a = 5*a - c. Solve -t + 0*s = -4*s + 4, 5*t + 2*s + a = 0 for t.
-4
Let s = -5839 - -5845. Solve -5*n + s = i, -4*i + 4*n = -0*n for i.
1
Let x(a) = -55*a**2 - 4*a - 4. Let w be x(-1). Let s = w - -66. Suppose s + 24 = 7*u. Solve 0 = -2*t - 4*b + 3 + 1, -2*t = u*b - 5 for t.
0
Let p be -2 + 2 + 25 + -2. Let n be 2/3*(-234)/4. Let x = n - -41. Solve 3*g - 22 = -5*r, 2*r + 3*r - p = -x*g for r.
5
Let j(n) = -n**3 + 30*n**2 - 12*n + 363. Let g be j(30). Solve g*u = 4*u + 3*p - 19, -5*u + 2*p + 10 = 0 for u.
4
Let l be -11*(-3 + 2) - (-34 - -36). Let t be (l - 16)*12/(-28). Solve 0 = t*y + 5*b - 24, 0 = 4*y - 6*b + 2*b for y.
3
Suppose 3*q = -4*l + 4, -4*q - 24 = -8. Solve -3*j + 1 = 4*m, -l*j + 5 = 5*m + 4 for j.
-1
Let k = 8 + -3. Suppose 2*t - 1 = -4*b + 3, 0 = 3*b - 3*t + 6. Suppose 45*c - 47*c + 4*v = -30, -5*c + 21 = -v. Solve 3*q = b, 0 = -c*s - 2*q + 8 - k for s.
1
Suppose 86 = 25*d + 132 - 221. Solve s - 13 = d*i - 2*i, 0 = 4*i + 3*s + 18 for i.
-3
Let i be (-10)/(-4) + (3 - 25/10). Let g be i + 0/(-2) + -22. Let j = g + 26. Solve -n + j = 3*y, -3 = -0*n + n - 2*y for n.
1
Suppose -3*u + 128 - 32 = 0. Suppose -b = y + y + 4, -4*y - u = -2*b. Solve 0*z = -3*z + 15, -b = -2*p - 2*z for p.
-2
Suppose -84*l - 4 = -86*l. Let v(s) = 2*s**2 + 2*s - 2. Let q be v(-2). Solve -3*w - 2 = -4*u - 4, 3*w + l = q*u for w.
-2
Let a be (-10071)/(-36) + 5/4. Let z = -278 + a. Solve -3*k = -z*x + 21, k - x + 4*x - 9 = 0 for k.
-3
Suppose -l - 8 = -q, -3*l - 41 = -4*q - 10. Suppose 0 = -11*w - 404 + 448. Solve 2*r - 4*c = -8, 2*r - w*c - 13 = -q*c for r.
2
Let i = 2137 - 2135. Let c(x) = 2*x**2 - x - 1. Let l be c(2). Solve z + 3 = 3*h, -l*z + 10 + 1 = -i*h for h.
2
Let b = -26 - -74. Let h = -21 - -28. Suppose -h*k + k = -b. Solve 6 = 2*w - 0*w, -k = 4*i - 4*w for i.
1
Let y be (-18)/(-6) + -6 - (-30)/2. Suppose y*m - 12 = 10*m. Suppose -f + m - 2 = 0. Solve -3*s + 4 - 11 = f*g, 5*g = -2*s for s.
-5
Let m(n) = 21*n**2 - n + 1. Let g be m(1). Let p be 343/g*(-18)/(-21). Solve x + p = -3*h, 2*x + 6*h = h - 24 for x.
-2
Let q(x) = -x - 2. Let h be q(-6). Let s = 10 + -6. Let g(n) = -2*n**2 + 8*n + 5. Let l be g(s). Solve -4*v + l = -2*w + 31, h*w = v + 17 for w.
3
Let w = -487 + 433. Let k be (w/(-12) - 5)*0. Solve 2*b = 4*q - 22, -3*b - 3 = -k*b for q.
5
Let i(g) be the third derivative of 11*g**5/60 + g**4/12 + g**3/2 - 2*g**2 + 3*g. Let y be i(-1). Solve 4*d - 2*r + y = 0, 2*d + 6 = 4*r - 0 for d.
-3
Suppose 20*c + 62 - 522 = -72*c. Solve 0 = -5*f + c*l - 18 + 78, 4*l - 15 = -5*f for f.
7
Let t be (-30)/(0 - 12/16). Let c be 57/30 + 4/t. Solve 4*a - 1 = -c*g + 1, 0 = -3*a - 6 for g.
5
Suppose 0*n + 4*n - 5*h - 43 = 0, -5 = -2*n - 3*h. Suppose -4*j - 5*u - 65 = 0, 2*u - n*u = 5. Let f = 20 + j. Solve 2 + 1 = 4*a + f*m, -5*m - 13 = -4*a for a.
2
Let g = -368 - -382. Suppose -28 - g = -7*f. Solve -14 = 4*y - 2*r, 2*r = 3*y + f*r - 17 for y.
-1
Let l be -2 + 1/((-2)/(-8)). Let g be (1 + -1)*(-30)/(-150) - -5. Solve 4*h = -g*v + 36, 0 = -l*v + 3*v - h for v.
4
Let x(y) = -y**3 - 6*y**2 + 6*y - 7. Let c be x(-7). Let w be 15 + 0 + 1 + c. Let b be (4/w*0 - -6) + -1. Solve 4*d - 32 = -5*f, -2*f = 3*d - b*d - 2 for d.
3
Let x = -19311 - -19313. Solve -11 = 5*b - x*n + 18, b + 10 = -n for b.
-7
Let h be (-27)/(-297)*132 + (1 - (1 - 1)). Solve -5*l = 2*m - h + 5, 7 = 3*l - m for l.
2
Let h be (-15)/(-4) + 9/(-12) + 0. Suppose -2*m + 197 = 5*o + 3, o = -h*m + 44. Let v = 45 - o. Solve -1 = -4*a + 3*p, -5*a + 3*a - p - v = 0 for a.
-2
Suppose -377*m = -102*m + 138*m - 50386. Solve f + 8 = -4*h, -m*h = -2*f - 120*h + 4 for f.
0
Suppose -4*h + 32 = 38*a - 34*a, 4*h + 5*a = 32. Solve 3*t - 4*t = -2*y + h, 3*t + 3*y = 12 for t.
0
Let d = -4158 + 4161. Solve 0 = -5*t + 5*h, t + 7 + 3 = d*h for t.
5
Let j = -12085 - -12159. Solve -2*u + 4*p + 12 = 0, 0 = u + 3*p + j - 55 for u.
-4
Let x(o) be the second derivative of 2*o**3/3 + 25*o**2/2 - 6*o + 10. Let f be x(-6). Solve 4*l - 5*p - f = 0, -4*p + 3 = -3*l + 4 for l.
-1
Let w be 4 - 4/(2 + -6). Suppose 4*p = -2*m + 4, 11*p - 7*p = 5*m + 4. Solve -w*z = -3*s, z = -z + s + p for z.
3
Let q(f) = -f**2 - 94*f - 80. Let s be q(-93). Let j(x) = -6*x**2 + 1. Let p be j(-1). Let a = p + 8. Solve -w - 4*u + 19 = a, 0 = 2*w - u + s for w.
-4
Suppose -26*b = -27*b + 2. Let k(q) = 17*q - 7*q + 3*q**b + 4*q**3 - 5*q**3 + 0*q**3. Let o be k(5). Solve 5*s - 3*u - 3 = 0, s + o*s + u = 7 for s.
3
Suppose -15*i - 17711 + 3701 = 0. Let x = 934 + i. Solve 4*g = 3*n - 4, 4*g + 4 = -x*g - n for g.
-1
Suppose 0 = 9*t - 76 + 40. Suppose 4*w + t = 5*w. Solve d - z = -4, -d + 4*z = w*d + 20 for d.
-4
Suppose 0 = 3*w - 3*m, -3*w + 4*w = -4*m + 5. Let q = 75 + w. Let b = 78 - q. Solve b*o = -0*o + 2*j + 4, j + 17 = 4*o for o.
5
Let t be 0/4 + -1 + 6. Let n(b) = -b - 2. Let s be n(0). Let q be (8/t + s)*-5. Solve 3 = -3*p - u, -4*u + 2 = 4*p - q for p.
-2
Let k be (33 - 27)/(4/(-24)*-9). Solve 6*b + 6 = 9*b, -o - k*b = -5 for o.
-3
Let g be (2 + 1)/((-2)/(-6)). Suppose -5*p + 21 = -g. Let l(b) = b**3 - 12*b**2 - 61*b + 267. Let m be l(3). Solve -5*a = -5*z - 10, -m*z = -p + 21 for a.
-3
Let g be (-1)/(-1) + (9 + -9)/(-8). Let x be 84/28 - (g - -1). Solve 2*u + x = -a - 7, -5*a = 5*u + 25 for u.
-3
Let v = -1242 + 1245. Solve 4*l = 2*t - 2, -62*t = -59*t - v*l for t.
-1
Let y = 32482 - 32474. Let g = 7 + -4. Solve -5*c - y*s = -9*s - g, -2*c = -3*s + 4 for c.
1
Suppose 3*o = 15, 2*o = -w + 4*o + 2. Suppose 150 = -14673*d + 14823*d. Solve 4*r + 5*h - d = -0*r, w = -4*h for r.
4
Suppose 5*n = 3*r - 6, -n = -3*r + 4*r - 2. Let x = -315 + 240. Let o = x + 79. Solve -l + o = -a, 4*l + r*a - 5 - 17 = 0 for l.
5
Suppose 0 = 2*i - 3*t - 29, 0 = -20*i + 16*i + t + 23. Solve 5*b - 2*b = -u + 17, -i*u + 5*b = 34 for u.
-1
Suppose -4*m = -3*b + 25, 374*b = 379*b + 5*m + 5. Solve 4*h 