-d - 1 for x.
-3
Let x(w) be the first derivative of -2*w**2 + 40*w + 252. Let b be x(9). Solve b*m = 5*j + 2*m + 9, -4*j - 10 = -3*m for j.
-1
Let x(o) = 15*o**2 + 5*o + 5. Let t = 25 - 26. Let z be x(t). Suppose -2*y - 4*v + v + z = 0, 2*v - 6 = 0. Solve -5*p = -y*k + 22, -3*k + 3 = 4*p - 1 for k.
4
Let q(j) = 2*j**3 - 9*j**2 - 73*j - 18. Let m be q(-4). Solve 3*g = -3*t, -9 = -g + m*t - 0 for g.
3
Let y = 7171 - 7161. Solve -5*k + 3*u - 32 = 0, 5*k - u + y = -14 for k.
-4
Suppose -2*j - 142*m = -147*m + 11, 237 = 36*j - 3*m. Solve 3*k + d = -j, -5*k + 2*d = -d + 21 for k.
-3
Suppose -5*c = -4*k - 41, k = -22 + 18. Solve 3*n - y + 5 = 0, y + 0 - c = 4*n for n.
0
Let n be (8/(-5))/((-11)/55). Suppose n*u = 5*u + 45. Let k = -31 - -42. Solve 3*c - 5*z = -z - u, 4*z - k = -c for c.
-1
Let j be (46/5)/(-4*2/(-160)). Suppose 4 = q + j. Let z be 2/9 - (-5)/(q/(-64)). Solve -x - 3 = 3*r - z*x, r - 15 = -5*x for r.
0
Let z(a) = -a - 2. Let p(t) = 2*t - 30. Let b(d) = -4*p(d) - 4*z(d). Let c be b(30). Solve 3*l - 26 = 3*m - c*m, -5*m + 30 = 5*l for l.
2
Let b = 2693 + -2690. Solve 4*p + b*u + 0*u + 22 = 0, -2*p - 2*u = 12 for p.
-4
Suppose 67*m - 16*m = 153. Solve b = 2*w - 8, m*w + 0*w - 12 = 2*b for b.
0
Let b(h) = h + 5. Let f be b(-11). Let t be (-2 - -4)/6 - (-2)/f. Suppose -x + 2*r + 17 = t, 0*r + 25 = 2*x + 5*r. Solve -4*j + 2*y = -0*y - 10, -3*y = x for j.
0
Let q = -4 - -8. Let a = -141036 + 141051. Solve -3*m = -v - 1, v + 5*m = -q*v + a for v.
2
Let w be 0 + (0 - 9 - (-28 - -17)). Let i be 1*-3*8/(-12). Suppose -i*j = -j - 2. Solve j = -w*b - 0*b, -t + 3*b + 6 = 0 for t.
3
Let z be -2 + 0/(-1) + 8. Suppose 19*n + z*n = 0. Solve 0 = -t - p + 7, n = -p + 3*p - 4 for t.
5
Let k(z) = -z - 2. Let i(u) = -7*u + 18. Let y(m) = -2*i(m) + 10*k(m). Let l be y(14). Solve l*x + 5*q + 1 = -x, x + 3*q + 1 = 0 for x.
-1
Let o = 37014 - 37009. Solve -y + o = -3*g, -20*y - 5*g = -21*y + 7 for y.
2
Suppose -5*q - 5*x = -4 + 9, 5*x = -20. Let j be 0 + 3*(q - 1). Solve -3*a = -2*b - 1, b - j*b = 4*a + 14 for b.
-2
Let g be -1*17 + (-21)/(12 + -5). Let a(k) = -k**2 - 21*k - 20. Let y be a(g). Solve -2*o + f = -y - 5, o - 1 = f for o.
4
Let f = 767 - 626. Let a be 3/((-18)/(-22)) + 47/f. Solve 0 = -r - h - 5, -3*r + 1 = -a*r + 3*h for r.
-4
Let m(p) = 231 - 2*p + p**2 - 459 + 230. Let c be m(2). Let j(l) = -l**2 + 6*l - 2. Let x be j(4). Solve x*u - 1 = 4*s + u, -6 = c*u for s.
-4
Let w(k) = k + 4. Let i be (-2)/(-6) - 10/30. Let q be w(i). Let v(z) = z**2 + 3*z + 2. Let f be v(0). Solve 3*m = 2*c - q, 0 = 3*m + f*m + 5*c - 10 for m.
0
Let j be 4/(-1) - (-19 - -10). Solve -28*n + 29*n - 6 = l, 10 = -j*n - 3*l for n.
1
Let z(w) = 0 - 4 - 10 - 3 + w. Let t be z(19). Solve -3*u - t*y - 11 = -2*u, -32 = 4*u + 5*y for u.
-3
Let u(l) = -16*l - 177. Let s be u(-5). Let r be (-9)/(-1) - (-873)/s. Solve 0 = -g - f + 4, r = 3*g - 0*g + f - 10 for g.
3
Suppose 198 = v + 3*h, 0 = -h - 3*h + 32. Solve a = f, -179*a = -3*f - v*a + 10 for f.
-5
Suppose -82*q + 9 = -79*q. Suppose -2*s = -0*c - q*c, -3*s = c. Solve c = -2*v - x - 5 - 1, 3*v + 2 = 2*x for v.
-2
Let t = 33984 + -33979. Solve -3*g - 2 = t*i, -56*g = -53*g + 12 for i.
2
Let t(p) = p**2 + 50*p + 629. Let i be t(-24). Solve -3*r + 1 = i*d - 21, r = 3*d - 16 for d.
5
Suppose -5*x - 8 = 3*j, -2*x + 3 = -1. Let l be 27/(-18)*(1 - -1) - j. Solve -5*t + 30 = 4*f, t - f = -0 - l for t.
2
Let h be (24/(-56))/(1/(-21)). Solve n + 3*m = -1 + h, 2*m + 2 = 3*n for n.
2
Let q(y) = 7*y + 23. Let r be q(-8). Let g = -36 - r. Let c be 28/16 + g/(-12). Solve -3*s + 4*s = -c*v - 3, 3 = s for v.
-3
Suppose -611 = -2*i - y, 3*i - 1247 = -i + 3*y. Let r = i + -306. Solve 2*c - o + 1 = r, -3*c + o = 0 for c.
-1
Let u be ((-432)/(-126))/((-3)/(-14)). Let x = -8 - -12. Solve 4*v - g - 1 = 0, -x*g - g + u = v for v.
1
Suppose 65*k + 3303 = 211*k - 931. Solve -u + g = -4, 3*g + k = 4*u + 16 for u.
1
Suppose 134*m - 127*m - 644 = 0. Let x = 96 - m. Solve -2*l - l + 3*a + 12 = 0, -x*a = 2*l - 14 for l.
5
Let v(s) = -113*s - 2707. Let h be v(-24). Solve -5*t = -25, -15 - h = -3*k - 4*t for k.
0
Suppose 5*x = 4*o - 27, o - 5*x = -4*o + 35. Let i = 13632 + -13629. Solve -t + r = 8, -o*r = i*t - 3*r - 16 for t.
-3
Suppose 2*k - 2 = -4*x, -3*x - 1 = -k - 0. Let u be 14/14 + 1 + -3 + k. Solve r - 5*l + 23 = 8, -3*l + 9 = u for r.
0
Suppose -3*c + 31 = -4*c - 5*j, 2*j = -14. Solve 0 = b - c*l - 6 + 16, 18 = -4*b + 5*l for b.
-2
Let m = 1356 + -1353. Solve -5*l + 4 = 3*c - 9, c = m*l - 5 for c.
1
Let o be (19 - 18)*(0 + 12). Let j(a) = a**3 - 12*a**2 - 2*a + 26. Let n be j(o). Solve 2*b = 5*v + 5*b + n, -3*v + b + 10 = 0 for v.
2
Let r be (-27)/(-15) - (-1)/5. Suppose 0 + r = -2*h, c - 11 = -2*h. Suppose -4*y + c = 1. Solve y*w = x - 3, 2*x + 5 = -2*w + 3 for x.
0
Let z = 2368 - 2364. Solve -z*x - 24 = 4*v - 6*v, x - 8 = -3*v for v.
4
Let q be 8*16/128*((-3 - -2) + 1). Solve -129 = -2*o + t - 118, q = 2*o + 5*t + 7 for o.
4
Let w(q) = -18*q**3 + 19*q**3 + q**2 + 2 + 4*q**2 + 5 - 13*q. Let f be w(-7). Suppose -6*g = -f*g - 30. Solve 3*d = -g*v - 10, -26 = -4*d + 4*v + 14 for d.
5
Suppose 0 = 30*j + 31908 - 32058. Solve 0 = 5*v - 3*l + 27, -j = 5*v - 4*l + 26 for v.
-3
Suppose 23*w = x + 25*w - 7, -x + 5*w = 0. Solve x*t - 45 + 60 = 5*k, -2*k + 2 = -t for k.
-1
Suppose 3*g - 45 = 3*h, 0 = 2*g + 5*h + 13 - 1. Solve -4*t - g = 3*p - 4, 4*p - 25 = t for t.
-5
Let x be (-4)/30 - 33*44/(-90). Suppose -38 = -x*d + 42. Solve 2*u + 1 + 0 = -d*h, -3*u + 5*h - 14 = 0 for u.
-3
Let z(d) = -2*d**2 - 4*d - 2. Let a be z(-4). Let j(y) = 2*y + 6*y + 12*y - 24*y - 16 + 3*y. Let i be j(a). Solve i*t + 13 = -3*t + u, t - 4*u = -14 for t.
-2
Suppose -m - 3*w = 133, -287 = 2*m - 2*w + w. Let v = m - -150. Solve 5*x + 4*q = q + v, 4*x - 4*q = 0 for x.
1
Suppose 40*a - 43*a + 93 = 0. Let j = 34 - a. Solve -j*r + 6 = -2*o, -5*r + 6 + 4 = o for o.
0
Let p = -28 + 33. Suppose p*z = 5, z + 25 = 2*a + 2*z. Suppose 6*o = 12*o - a. Solve o*j + 10 = -3*y, -4*y = -j + 4*j + 15 for y.
0
Let t(h) = -4*h**3 + h**2 + 3*h + 2. Let n be t(-1). Suppose -43 = -m + n*d, -2*m - 2*d + 31 = d. Solve m = -4*l - 5*w, 6 - 2 = 4*l - 4*w for l.
-2
Let u be 3*(7 - 2) + -3. Suppose 4*c + 112 = u*c. Let t be (c/(-6) - -2) + (-98)/(-42). Solve 3*b = 5*z - 2*b - 15, 5*z - t*b = 3 for z.
-1
Let n(f) = -11*f + 17 + 30 + 101*f + 16*f - 10*f**2. Let x be n(11). Suppose -3*w = -7*w + 12. Solve w*r + x*v = -2*v - 14, -2 = -3*r - v for r.
2
Let i(k) = 50*k + 1459. Let c be i(-29). Solve 0 = -5*d - 5*z - 5, -7*z + 16 = 5*d - c*z for d.
2
Suppose 4*b + 20 = 0, -1 = -3*o + 4*b + 34. Suppose -o*d + z = 12 - 57, -10 = 2*z. Solve -7 = 3*g + 2*n, 4*g - 2*g = 5*n + d for g.
-1
Let b = -21455 - -21460. Solve 25 = b*j + l, 5*j + 27*l - 40 = 23*l for j.
4
Let c be (2/5)/((-1)/(-30)). Let l = 263 + -259. Suppose s - 4 = -5*h + 8*h, 3*h + s = l. Solve 4*r = 5*n - 20, -4*n + 3*r + c + 3 = h for n.
0
Suppose -30 = -4*f - 2*h, -10 + 0 = -3*f - 4*h. Suppose 73*k - 264 = -149*k + 156*k. Solve -2*a - k*u = f, u + 4 = -5*a - 3 for a.
-1
Let l(q) = 8*q - 9. Let w be l(3). Suppose 4*v + 0*g = 4*g - 12, -3*g + w = 0. Suppose 0*j - v*j = -8. Solve 2*i - 8 = j*i, f = -i - 6 for f.
-2
Suppose -7*t = -2*p - 6*t + 7, 4*t = -9*p + 23. Solve 6*b = -a + 18, -p*b = -a + 2*b - 15 for a.
0
Let o = 26 + -7. Let x be ((-4)/(-16))/((-70)/(-560)). Solve 0 = 3*w - x*z + 5, 2*z + 1 = -2*w - o for w.
-5
Let h be ((-297)/(-189))/((-1)/(-7)). Suppose -3*v = h*v - 28. Solve 0 = -2*g + x - 6, -2 = -v*x + 3*x for g.
-4
Let c(u) = 60*u - 2508. Let b be c(42). Solve 15 = 9*x - b*x + 3*h, x + h - 1 = 0 for x.
-2
Let u = -10 + 12. Let o(a) = 6*a - 6. Let j be o(u). Let y = -3 + j. Solve -y*h = -4*r - 11, -2*h + 0*h = -10 for r.
1
Suppose -45*r = -2134 + 919. Solve -5*u = -g + 20, 3*g + 0*u = 4*u + r for g.
5
Suppose -v - 4 = 0, -2*v + 71 = 3*m - 89. Suppose -19*u = -m - 1. Solve -2*k - 22 = -4*y, 5*y - 8 - 21 = u*k for k.
-3
Suppose 17*f - 76 = -2*f. Let b be 1/(3*f/84) - 5. Solve v - d + 7 = -0*v, -b*v - 2*d + 6 = 0 for v.
-2
Let i(y) = -y - 5. Let m be i(-7). Let o be (m - 1) + 3*6/(-18). Solve -2*h + o*h + 16 = -4*t, 4*t + 2 = -5*h for t.
-3
Suppose -w = 2*z - 26, -13*w + 8*w + 18 = -4*z. Solve p = 3*d - 6, -w*p = -9*p - d for p.
3
Suppose 4*y - 1626 + 