*d + 20 for d.
-5
Let d(q) = q + 1. Let a be d(5). Suppose -a = -2*s - 2*x, 2*s - 7*s - 2*x = -18. Suppose s*k - 10 - 2 = 0. Solve -3*c - 2*w - k = 0, -c + 2*w + 9 = 2*c for c.
1
Let d = -23 - -30. Let t = -3 + d. Solve 3*i + 8*y = 5*y - 24, -t*i - 11 = -3*y for i.
-5
Let a(s) = s**3 + 8*s**2 - 11*s - 83. Let q be a(-8). Solve o + 12 = -q*j, -j + 2 = -5*o - 6 for j.
-2
Let q(r) = -r**3 + 7*r**2 + 3*r + 54. Let j be q(8). Solve -2*h - j = -5*n, 3*h = -n - 3*n + 25 for h.
3
Let a be 15/6*12/15. Suppose 0 = a*r - 26 + 18. Solve 3*n = -4*b + 8, -r*n + 13 = -2*b - 5 for n.
4
Suppose -2*x - 8 = -18. Suppose -2*m + 2*t = -3*m - 2, 5*t = m - 5. Suppose m*b = -b. Solve 2*p + 4*y + 6 = b, -y = x*p - 0*y - 21 for p.
5
Let t = -4 + 10. Suppose -3*m = -t - 9. Suppose 5*i - 15 = v, 4*v + m*i - 45 = -v. Solve u - 5*g = 2*u + 9, v = -5*g for u.
-4
Let y be (-15 - -15)/(1/1). Suppose -20 = -5*k - y. Solve 0 = -s - 3*z, -k*s - 4*z + 7 = -1 for s.
3
Suppose -2*b + 3*b - 4 = 0. Let h = 7 - b. Suppose 5*w - 17 - h = 0. Solve -2*o = 2*i, w*i = 3*o + o + 16 for i.
2
Suppose 6*w + 14 = 4*l + 4*w, 27 = 3*l + 4*w. Solve 5*z - 3*y + l + 0 = 0, 2*z = -5*y + 29 for z.
2
Let m = -22 + 19. Let k = m - -4. Suppose 0 = t - 1 - k. Solve 8 = o + 2*f, -t*o + 4 = f + 3 for o.
-2
Let s = -273 - -276. Solve 3*j = j + 5*u + 14, s*j + 21 = -3*u for j.
-3
Let c(u) = -u**3 - 10*u**2 + u - 10. Let m be c(-10). Let t = m + 11. Let d = -5 - t. Solve 0*l + 20 = 4*l + d*q, l + 10 = 4*q for l.
2
Suppose -3*q = -3*v + 3, 2*v = q - v - 3. Let k be -2 - (-20 - 0 - q). Let j = 10 - 4. Solve 2*y = g + 5, -2*y + j*g - k = g for y.
5
Let s(v) = -5*v + 8. Let g be s(4). Let y be 2/((g/(-32))/(6/8)). Solve 0*l - 16 = 3*f - 4*l, 24 = -5*f + y*l for f.
-4
Suppose i - 11 = -3*k, 0 = 2*i + 37 - 41. Solve 4*d - 20 = 0, 0 = -w + k*d - 17 + 2 for w.
0
Let z = 14 + -9. Let m = -4259 + 4261. Solve x = c - m - z, 3 = x + c for x.
-2
Let u be -57 + (2/(-4))/(2/4). Let r = -54 - u. Solve r*m = 4*n + 12, 2*m - 13 = m + 3*n for m.
-2
Let v(z) = 2*z**3 + 4*z**2 + 2. Let p be v(-3). Let t = 17 - p. Let y be (-1)/(-3) + t/9. Solve 5*q + 10 = 0, 0 = -4*c + q - 14 - y for c.
-5
Let x = -100 - -130. Let n = 2 + 3. Suppose 20 = 5*f + l, -n*l + l = -2*f + x. Solve 5*b + 0*k = -4*k - 23, -f*b - 5*k - 25 = 0 for b.
-3
Let g = 5 - -3. Let x(o) = o**2 - 7*o + 6. Let k be x(g). Suppose 2*w - k = -0. Solve 7 = 3*f - 4*u, -3*u - w = -2*f + 2*u for f.
1
Let k(b) = -86*b + 11. Let j be k(1). Let y = -68 - j. Solve -5*l - 5*u + y = -8, -4*u + 12 = -l for l.
0
Let g(q) be the first derivative of -q**4/4 - 5*q**3/3 + 3*q - 9. Let p be g(-5). Suppose p*o - 2 - 13 = 0. Solve -4*j - 8 = 0, 11 = -o*l - 4*j - 7 for l.
-2
Let g(c) = 2*c - 4. Let a be g(11). Solve r + 5*o = a, -8 = -2*r - 3*o - 0 for r.
-2
Suppose 3*k - 2*x - 5 = 0, -3*x - x = -3*k - 5. Let v be (25/15)/(1/3). Let u(d) = d + 1. Let q be u(v). Solve 0 = k*g, 3*g = 5*y + q + 4 for y.
-2
Suppose -2*h - 3*f - 4 = 0, 2 = 2*h + 5*f + 14. Suppose 3*c + h = 7*c. Suppose 2 + c = a. Solve -2*k + 6 = 2*o, -3*k = 2*o + a*o - 13 for o.
2
Let f(z) = z**3 + 5*z**2 + 2. Let i = -41 + 25. Let d = 13 + i. Let n be f(d). Solve -4*s + 8 = -5*r, 0 = -2*r - 0*r - 4*s - n for r.
-4
Suppose -2*p = -4*k - 7 + 21, -k = p + 1. Solve -3 = -k*d + 3*i + 9, 4*i = 2*d - 14 for d.
3
Let a = -1998 + 2004. Solve -3*w + a*i - 18 = 9*i, i + 10 = -3*w for w.
-2
Let f be (-3 - (1 + -3)) + (-18)/(-2). Solve 5*y + 10 = 0, u + 5*y - 10 = f*y for u.
4
Let w = -1 - -4. Let c be (4/10)/((-44)/(-550)). Suppose -a - 2 = -c. Solve w*s = 3*m + 24, 0*m + a*s = -3*m for m.
-4
Let d(l) = -l**3 - 3*l**2 + 2*l + 4. Let y be (2 - 1) + -3 + (-2 - 0). Let t be d(y). Solve 4*n - 4 = s - t, -3*n - 6 = -2*s for s.
0
Suppose -7*o = -13*o + 24. Let b(z) = -2*z**2 + 12*z - 11. Let i be b(o). Solve d + f - 3*f = 6, -5*d + i*f + 20 = 0 for d.
2
Suppose -m = 3*s - 1, 4*s - 5*m = -1 + 34. Solve 4*i + 3*f = s*i - 11, 15 = -5*f for i.
-1
Let j be 4 + 2/(-2) + 2. Suppose -5 - 15 = -j*r. Solve 3*v - o = 0, -r*o + 1 = -4*v - 7 for v.
1
Let s = -18 - -7. Let g(w) be the second derivative of -w**4/12 - 13*w**3/6 - 3*w**2/2 - 4*w. Let x be g(s). Solve -5 = 2*j + q, 3*j + x - 4 = q for j.
-4
Suppose 5*k + 35 = 6*k. Suppose -5*t + 12*t = k. Solve 0*c - 4*m = 4*c + 8, -2*c = t*m + 16 for c.
2
Suppose -2*m = -2*c + 8, -2*m + 27 = 5*c - 0*m. Suppose 2*b + 1 = c. Solve b*z + 5*j = -18, 3*z - 3 = -4*j - 16 for z.
1
Let n be (-48)/(-18)*3/1. Suppose -c = -4*v - 2 + 6, -3*c = -2*v - n. Suppose -y = -3*i + 9, -3 = v*i - 3*i + 4*y. Solve -4*q + 13 = i*l, -l + 9 = 2*l for q.
1
Let a = -201 + 203. Solve q - 4*v + 21 = 0, -5*q + 15 = -a*v + 48 for q.
-5
Let s = 8 + 1. Let y be (-70)/(-6) + (-8)/12. Suppose -9 = -y*z + 8*z. Solve -2*i + z*n - 22 = 0, -i = -0*i - n + s for i.
-5
Let x(r) = 2*r - 9 - r + 14. Let y be x(-5). Solve 2 = -3*v + q - 5, y = v - q + 1 for v.
-3
Let p = -35 + 39. Let j(l) = -l - 6. Let y be j(-6). Let x = 249 - 221. Solve 3*v + 12 = -2*r + v, 5*r + p*v + x = y for r.
-4
Let x be (-14)/(-133) + (222/(-19))/(-3). Suppose -s = h - 6 + 3, 3*s + 9 = 3*h. Solve -h*l = -5*l + x, -z + 3*l - 11 = 0 for z.
-5
Let c(i) = -2*i**2 + 50*i + 2. Let w be c(25). Solve -o + 1 = 3*h, -3*o + h + w + 11 = 0 for o.
4
Let v(j) = j + 1. Let f(b) = -3*b - 4. Let h(d) = -3*f(d) - 8*v(d). Let p be h(4). Let m be (-2)/p - (-66)/8. Solve 3*w = 3*r - w - 4, 3*r - 5*w - m = 0 for r.
-4
Suppose 0 = 9*w - 8*w - 5. Solve -5*p - 25 = 4*b, w*p + 3*b - 9 + 34 = 0 for p.
-5
Suppose 12*s = -5*t + 17*s - 20, 2*t + 4*s - 16 = 0. Solve -4*b + 12 = 0, -3*z + 2*b + t*b = 0 for z.
2
Let s be 1*(3 + -3 + 1)*10. Solve 6*j + s = 2*b + 2*j, -9 = -b + 3*j for b.
-3
Let n(o) = o + 7. Let m be n(-4). Solve -m*u - 11 = p, -3*p - 2*u = 2*u + 8 for p.
4
Let m(a) = -a**2 + 22*a - 18. Let x be m(21). Solve -x*k = -0*v + 3*v + 12, -4*v - 6 = -k for v.
-2
Let k(x) = -28*x - 33. Let j be k(-3). Suppose -47*i = -j*i. Solve a - s - 3*s - 8 = i, -3*a + 2*s + 14 = 0 for a.
4
Suppose -57 = -31*d + 67. Solve 4*i + 4*b - b = d, b - 4 = 0 for i.
-2
Let q(g) = -g**3 + 10*g**2 - 3*g + 12. Let m be q(10). Let v = m - -23. Solve -5*j = 3*h - 20, -v*j - 3*h + 15 = -h for j.
1
Suppose -5*i + h = 3*h + 257, -i - 2*h - 45 = 0. Let j(a) = -89*a**3. Let m be j(1). Let t = i - m. Solve -r + 6*r = 5*w, 0 = 4*w + 5*r - t for w.
4
Let l = 62 + 49. Let x = -108 + l. Solve -g - 12 = m + x*m, 2*g - 5*m - 28 = 0 for g.
4
Let n = -352 + 374. Solve 3*h = 3*s + 7*h + 20, n = -3*s - 5*h for s.
-4
Suppose 16 = 14*o - 6*o. Solve o*n + a = -13, n = 5*a + 10 - 0 for n.
-5
Let z be -1 + 12/(-4) + 6. Solve 2*u - 2 = 2, 3*l - z*u + 19 = 0 for l.
-5
Suppose -5*d = 289 - 309. Solve 5*v - 6*x - 16 = -d*x, 0 = 3*v + 5*x + 9 for v.
2
Let c be ((-24)/20)/(2/(-5)). Suppose 0 = 2*l + 2*k - 22, 0 = -3*l + k - 2*k + 31. Let p be (-2)/4 + 35/l. Solve g + 1 = -i, 3*i - p = -c*g + 2*i for g.
2
Suppose -d + 2 + 0 = 0. Suppose 5*a - 3*p - 35 = 0, 4*a = 6*a + 2*p + d. Solve 4*h - a = 0, -1 = -4*u - 2*h - 7 for u.
-2
Let k = 71 + -41. Let t(q) = q**2 + 14*q + 69. Let n be t(-11). Let x = n - k. Solve y = 4*l - 13, -5*l + x = 4*y - 5 for l.
3
Let r = -1990 - -1996. Solve -m = 2*a - 7, m + 14 = 3*a + r*m for a.
3
Let x(t) = 8*t**2 + 2*t + 1. Let s be x(-1). Suppose -4*f = -s - 5. Let o be ((1008/(-60))/(-14))/(3/45). Solve -o = -0*v - 3*v - 3*q, 2*v = -f*q + 15 for v.
3
Let c(m) be the third derivative of 0*m**3 + 0 - 1/12*m**4 + 0*m + 4*m**2. Let x be c(-1). Solve 5*t - 30 = 2*n, -x*t + 13 = -0*t - n for t.
4
Let o = -3 - -2. Let w(v) = -19*v**2 - v - 3. Let h(j) = -1. Let r(b) = 2*h(b) - w(b). Let t be r(o). Solve -4*f - t = -3*u, 4*f - u + 21 = 4 for f.
-4
Let q be 765/(-306)*2/(-1). Solve 5*j - 7*w - 17 = -3*w, -q*j + 2 = w for j.
1
Suppose 17*x + 91 = 30*x. Solve -7*d = -k - 3*d + 14, x = -k - 3*d for k.
2
Suppose -c + 2*c + 4*r = -8, 0 = -4*c - 5*r - 21. Let o = 10 + c. Solve -4 = 4*j, j + o = -u - 0 for u.
-5
Let y(b) = -b**2 + 5*b - 4. Let s be y(6). Let l(v) = -v**2 - 13*v - 26. Let t be l(s). Solve 0 = c - 6*c - t*r + 24, -4*c = 5*r - 21 for c.
4
Suppose 36*f - 5 = 35*f. Solve f*d = -5*p - 5, 2*d + 7 + 15 = 3*p for d.
-5
Let y(w) = 2*w - 3. Let j be y(0). Let t be (j - (-21)/6)*0. Solve -a + 0*b - 2 = 2*b, -4*a + 5*b + 5 = t for a.
0
Let