6 for d.
4
Let o(j) = -j**3 - 4*j**2 + j + 18. Let c = 133 - 137. Let a be o(c). Solve -d - 5*x = -x - 18, -4*x + a = 3*d for d.
-2
Suppose 2*k + 4*c = 3*k - 18, -10 = 5*k + 5*c. Solve 0 = k*v - 6, -5*g + 2*v = -4*g + 11 for g.
-5
Let m = 2 - 6. Let y be (4 + m - -19)*1. Suppose o - 22 = -4*d - 4*o, -3*d - 5*o = -y. Solve d*i + 10 = -5*p, 5 = -3*p - i - 1 for p.
-2
Let q(y) = -4*y - 4. Let l be q(-11). Solve 3*g + l = 5*n, 4*n + g - 35 = 4*g for n.
5
Suppose 4*t - 81 = 7*t. Let u = -19 - t. Solve 4*x = -u, 5*x + 10 = -z + 6*z for z.
0
Let w be 1 + (4 - 1) - 1. Let d(y) = -3*y - 122. Let p be d(-42). Solve -3*t - p*u = 14, -3*t + w*u - u - 2 = 0 for t.
-2
Let c = 57 - 39. Let p(b) = 21*b. Let m be p(1). Let f = m - c. Solve 0*w = 2*w + f*l - 3, 5*l - 15 = 0 for w.
-3
Let c be (-12)/(-3) + (-24)/(-2). Suppose -20 - 1 = -4*f - o, -c = -4*f + 4*o. Solve l - 12 = -m - 3, 5 = 5*l - f*m for l.
5
Suppose -100*j + 8 = -99*j. Solve -5*y - 5*c + 45 = 0, y + 3*c = j + 11 for y.
4
Suppose 5*t + 167 - 32 = 0. Let i = t + 29. Solve 0 = -3*l + i*w - 6, 2*l + 10 = -3*l - 5*w for l.
-2
Suppose 2*o - 24 = -4*y - 2*o, 5*y - 21 = -2*o. Solve 28 = -4*b - y*v - v, -3*v = -3*b - 9 for b.
-5
Suppose b + 2*b = -2*u + 17, -4*b = -u + 14. Suppose 0*w = -w + u. Suppose 4*a - 3*a = w. Solve 5*g - 3*z + 25 = -0*g, 4*z = -2*g - a for g.
-5
Suppose -5*u + 7*u = -16. Let h be (-5 - (0 - 4))*u/4. Solve 4*j = 20, 3*a - 3*j - 10 = -h*a for a.
5
Let f be (-36)/(-2)*(2 + -1). Let d = -194 - -194. Solve b + 2*n + 3 = 2*b, -2*b - 4*n - f = d for b.
-3
Suppose 0 = 4*b - 8 - 56. Suppose -5*l + 37 = 4*q + 2, -2*q + b = 2*l. Solve 2*m + 22 = q*a, 0 = 4*a + 5*m - 4 - 7 for a.
4
Suppose 14*n + 30 = 19*n. Suppose -5*j + 2*f = -59, -j - 3*f - 56 = -n*j. Solve 0*l - j = -4*k - 3*l, -2*k = 5*l - 3 for k.
4
Let p(o) = -o**3 - 16*o**2 + 5. Let q be p(-16). Solve a - 2*k - 8 = 0, 2*a - 3*a - 13 = q*k for a.
2
Suppose 5*s - 10*s = -5*g + 20, 2*g - 28 = -2*s. Solve 2*n - n - 4*m = -12, -g = -n - 3*m for n.
0
Let o be ((-105)/45)/((-2)/6) - 5. Solve -3*n + 2 = -1, 0 = -o*k - n + 1 for k.
0
Let j(l) be the second derivative of l**4/4 + l**2/2 - 3*l. Let a be j(1). Let i be 6/(-3)*(-6)/a. Solve -5*d - 2*z + 18 = 0, -4*d + 10 = -i*z - 9 for d.
4
Let l(f) = -f**3 - 3*f**2 + 3*f - 5. Let d be l(-5). Suppose -6*w = -w - 15. Solve -5*b - 5*z = d, w*b + z - 2*z = -6 for b.
-3
Suppose -3*b + 15*f - 11*f = -22, 3*b - 3*f = 21. Solve -4*m + 4*n = -6*m + b, n = 1 for m.
1
Let o = 27 + -42. Let s = 22 + o. Solve 3*q - s = -t, 10 = -0*q - 2*q + 3*t for q.
1
Suppose -2*a = 3*a + n - 2, 3*a = n - 2. Suppose 5*o - o = a. Solve o = 2*q + l + 7, -5*q = -2*q + 2*l + 9 for q.
-5
Let a = 6 + -4. Let l = 18 - 15. Let c = -95 + 95. Solve o - 10 = -l*i, -a*i - 2*o + c = -8 for i.
3
Suppose 0 = 4*b - 5*o - 9, 0 = 5*b - 4*o - 0*o. Let l be -21 + b/(-4) - 2. Let x be l/(-6) + (-4)/(-12). Solve 0*d - 3*d - 8 = -g, 3*d = 2*g - x for d.
-4
Let t(p) = -5*p**2 + 6*p - 24. Let y(v) = -4*v**2 + 7*v - 23. Let b(i) = -3*t(i) + 4*y(i). Let z be b(6). Solve -5*q + 0*c + z*c = 8, 25 = -4*q - 3*c for q.
-4
Let n(p) = p**3 + 4*p**2 + 2*p + 5. Let k be n(-4). Let h(d) = d - 3. Let g be h(4). Let i be g - 2 - k - 0. Solve -t = i*z, t - 18 = -t + 5*z for t.
4
Let o(u) = -6*u**3 - 2 - 3*u**2 - 45*u + 89*u - 48*u. Let j be o(-1). Solve j*p = -25, -5*n + p - 8 + 23 = 0 for n.
2
Suppose -2*o = -o - 1. Let x be 8/2*o/1. Solve -x*n = 4*s - 20, -7*s - 4*n = -5*s - 18 for s.
1
Let m = -156 + 158. Let x(v) = -v**3 - 8*v**2 + 8*v - 6. Let g be x(-9). Suppose g + 1 = m*i. Solve i*o = y + 13, -5*y - o + 3 - 13 = 0 for y.
-3
Let g = -96 + 144. Let f = 54 - g. Solve 0 = 5*t + 5*m - 10, 3*m - f = m for t.
-1
Let v be (7/(-2) - -3)*-6. Suppose 12 = 4*g - 4*t, g + 2*t + 3 = -v. Suppose -4*q = -4*q + 5*q. Solve -4*k + 3*j + 13 = q, 1 = j - g for k.
4
Suppose v - 2*h - 3*h - 7 = 0, 4*h + 4 = 0. Solve v*c + 12 = 2*u, -3*c = -5*u - 0*c + 20 for u.
1
Let p(k) be the third derivative of k**4/12 + k**3/2 + 5*k**2. Let m be p(1). Solve -o - m*t + 1 = 0, 7 = 5*t + 2 for o.
-4
Let t = 41 + 3. Let b(m) = -m**3 - m**2 + m + 3. Let a be b(0). Suppose 0 = 5*y + 2*s - 31, a*s + 15 - t = -4*y. Solve 2*f - 8 = n, -3*f + 2*n = -y - 9 for f.
2
Suppose 0 = -v - 5, 0*a + a + 25 = -5*v. Solve -5*z - 5*g = 15, 0 = -a*z - 5*z + 3*g - 7 for z.
-2
Suppose -5*i + 12 = 3*w, -4*i + 48 = -1069*w + 1065*w. Let o = -3 - -4. Let q = o + 2. Solve 2*b = -c + q*c - i, 4 = -2*c for b.
-5
Suppose 3 + 27 = -o. Let g be o/(-45) + 8/6. Solve -2*r + 0 = 4*b - 16, -g*b - 3*r = -16 for b.
2
Let n be 4/(-2) + (31 - 20). Solve 4*v + 5*q = 32, -q - 2 = n*v - 11*v for v.
3
Suppose -p = 5*v, -3*p + 2*v = p - 88. Suppose -88*l + 93*l = p. Solve l*x + 11 + 5 = -4*t, 2*t - 12 = 3*x for x.
-4
Suppose -2*j - 143 = -4*v - j, -j + 190 = 5*v. Suppose 0 = -29*n + v*n - 8. Suppose -4*w - 7 = -23. Solve -3*l - 4*t + n = 12, -w = l + t for l.
-5
Let h be (-36)/24 + (-23)/(-2). Suppose -22 = -5*t + v, -3*v - h = -5*t + 4*t. Solve t*w - 2*i = 18, 3*w + 8 = -4*i + 27 for w.
5
Let r(u) = -4*u - 13. Let m be r(-5). Suppose 0 = -m*y - 31 - 18. Let n = 11 + y. Solve -l = 5*v - 9, 6 = n*l + 4*v + v for l.
-1
Suppose 5*h - 48 = -h. Let y(f) = 2*f**3 - 17*f**2 + 8*f + 5. Let j be y(h). Solve 5*n + 22 = -d, 12 = -j*d + 5*n + 52 for d.
3
Let z(i) be the third derivative of -i**5/60 - i**4/12 + 11*i**3/6 + 3*i**2. Let s be z(0). Solve 3*y = -2*x - 5, x - y - 2*y - s = 0 for x.
2
Suppose 0 = -o + 4*h - 6, -6*h + 2*h + 10 = o. Suppose -o*u - 8*u = 0. Solve 12 = 3*z - 5*q, 3*z + 3*q + 12 = -u*z for z.
-1
Let m(q) = q**2 + 6*q + 1. Let x be m(-6). Suppose 2*d - 9 = x. Suppose -a - 3*a + 4*v = -20, -d*a + 13 = -v. Solve 5*u - 4*u = 0, -5*s = -a*u + 25 for s.
-5
Let r(c) = c**3 + 60*c**2 + 114*c - 111. Let f be r(-58). Solve -5*h - 5*o - 10 = 0, -1 = -f*h + 3*o + 5 for h.
0
Let t be (-2 - 1) + 2 + 15. Suppose -r = -4*d - 3*r + 12, -5*d - 2*r = -t. Suppose 3*p - 18 = d*p. Solve -5*z = 4*i + 13, 5*i - 4 = -4*z - p for z.
-1
Suppose -33*s + 13*s = -320. Solve -4*y + 5*b - 4*b = -s, -5*b = -3*y + 29 for y.
3
Suppose -8*g = 57 - 73. Solve -2*l + g*i = i + 5, 0 = -4*l + 3*i - 5 for l.
-5
Suppose -4*n - 2 = -10. Let m be n + 1 + -2 - 1. Suppose -2*g - 4 + 8 = 0. Solve -5*z = -4*k + 27, 4*z + m*z + 6 = -g*k for k.
3
Let h be 20/((-2)/(-4)*1). Let v = h + -21. Suppose -43*i + 265 + 208 = 0. Solve v = -q + 4*c, -q + 2*q + 2*c = i for q.
1
Let l = 87 + -93. Let u be (-2)/l*3 - (-7 + 3). Solve -31 = 2*c - u*s, -3*s + 6*s = -3*c + 6 for c.
-3
Let j = 8 - 3. Suppose 5*h - j*w = h + 8, 2*w + 8 = 4*h. Let z be 5 - 1*(h - 0). Solve -4*l + z*x = 2 - 21, -x = 5*l for l.
1
Let y be (-27)/(-12) - (-1)/((-12)/3). Let z be y + 1/(3 - (-4 - -6)). Solve -5*s = -2*g - 16 + 1, z*s = -4*g + 35 for s.
5
Let v(r) = -r**3 + 5*r**2 - 2*r - 3. Let b be v(4). Suppose -c + 4*c = -4*l + 17, -29 = -b*l + 4*c. Solve 4*i - l*d = 16, 2*i - 5*d - 9 = 9 for i.
-1
Suppose -3*u = -5*q - 236 + 76, -u = 2*q + 53. Let l = 41 + q. Suppose -5*a + l = -13. Solve 0*c = -4*j - c + 8, a*j + 2*c - 13 = 0 for j.
1
Let a(k) = -4*k + 160. Let c be a(40). Solve i - 4*r + 19 = 0, c = 4*i - r + 6*r - 8 for i.
-3
Suppose 155*l - 151*l = 76. Let q be (0 - -1)*-2 + -8. Let g = q + l. Solve -3*m - g = 3*b, -2*b + 2*m = -b for b.
-2
Suppose -66*p = -10*p - 168. Solve -p*o + 0*o - 3 = -2*k, -5*o - 3*k - 24 = 0 for o.
-3
Suppose 2*d = 10 + 46. Let c(q) be the third derivative of 5*q**4/24 - 19*q**3/6 - 19*q**2. Let u be c(11). Solve 7*m = -4*g + 2*m + u, -2*g = 5*m - d for g.
4
Let c be -1 + ((-4)/10 - 68/(-20)). Let u = 26 + -21. Let p = 4 + -1. Solve -p*b - 7 - c = 3*l, 2*l + u*b + 12 = 0 for l.
-1
Let p be (0 - -1) + (12 - 11) + 1. Let s be 3/p + 6/3. Solve -s*i + 18 = -3*r - 6, 2*i - 3*r = 19 for i.
5
Let p(k) = -2*k**3 + 9*k**2 - 2*k - 4. Let a be p(4). Suppose m + 3 = a*x + 12, -4*m - 3*x = -36. Solve 4*o - 4*g + m*g - 13 = 0, 2 = 3*o - 4*g for o.
2
Let z be (551/(-290) - 3/5)*-2. Solve -4*y = -t - t - 14, z = -t for y.
1
Let v(u) = -u**2 + 10*u + 27. Let l be v(-2). Solve h - 4*z - 5 = -z, -4 = -2*h + l*z for h.
-1
Suppose -9*x + 36 = 9*x. Solve -5*p + x*m - 7 = 0, 4*p + 3*m = 2*m - 3 for p.
-1
Let d be (-3)/2*-2*4. Suppose 148 = -5*x - 3*s, -5*x + 4*s - 112 = -2*x. Let t = -32 - x. Solve 0*k