p + 11 = 0 for d.
2
Suppose 0 = 9*d - 0*d - 63. Suppose -d*v + 94 = -18. Solve 4*x + l + v = 0, -29 = 5*x - 5*l + 16 for x.
-5
Let f(d) be the second derivative of d**4/4 - d**3/6 + d**2 + 10*d. Let p be f(-2). Solve 2*b - p = -2*n - n, -3*b = 5*n - 25 for b.
5
Let b = 7 + -4. Let r be (-5)/(3/(1 - 16)). Suppose -r = -b*q - 2*q. Solve 5*i + 3*v = q, v + 3 = -3*i + 10 for i.
4
Let m = 237 - 236. Solve 3 = 4*u - 3*h, h = 6*u - 2*u - m for u.
0
Let x = -403 - -406. Solve -3*y = -5*y - 5*p + 4, 3*p = -x*y + 6 for y.
2
Let a(j) = -j**2 + 4*j + 11. Let d be a(10). Let n = d + 52. Solve 5*h - 14 - 4 = 4*i, 4*i + n*h + 2 = 0 for i.
-2
Let y(a) be the third derivative of a**4/24 + a**3/6 - 24*a**2. Let t be y(-1). Solve t = 5*z - r + 10, z - 8*r + 2 = -4*r for z.
-2
Let j = 106 + -81. Let l = -37 - -12. Let y = j + l. Solve 5*h - s - 4*s - 30 = y, 20 = -5*s for h.
2
Let d(t) = -3*t - 15. Let r be d(-6). Suppose k - r*k = u - 2, -4*u - 8 = 0. Solve -h = 4*o - 0*h + 18, -29 = 5*o - k*h for o.
-5
Let o be (-20)/15*3/2. Let x(h) = -h**3 - 5*h**2 - 5*h + 2. Let j be x(o). Solve -2*p + f + 5 = j, 0*p - 3*p - 4*f - 9 = 0 for p.
1
Suppose 0 = -9*n + 12*n. Let y = 1 - -4. Suppose o - 8 = -3*o. Solve -2*s + c - o = -1, n = -3*s + y*c + 16 for s.
-3
Suppose 65 = i + 55. Solve 2*z = -4*h + i, -1 = h - z + 1 for h.
1
Let r(n) = -8*n + 469. Let k be r(57). Suppose -v + 11 = 4*d, -3*d = 2*v + 4 - 11. Solve d*y + j + 9 = -2*j, -k = 4*y + 3*j for y.
-4
Suppose -450 = -3*d - 2*d. Suppose 0 = -3*m + m + d. Let u be (-1 + 1 - 1) + 11. Solve -2*v - 6*c + u = -c, -5*v + 5*c - m = 0 for v.
-5
Let m be 64/112 + 24/7. Solve -m*j + 6 - 38 = 4*v, 3*v + 28 = -4*j for j.
-4
Let z be (-5)/(4/(-2 - 2)). Suppose z*y - 20 = 0, -3*y + 6*y - 44 = 2*g. Let v be (g/12)/((-8)/18). Solve 0 = -7*u + 2*u + 4*r + 6, 2*r + 4 = v*u for u.
2
Let z = -9 - -12. Let p be (-12)/(z - 5) - -2. Let b be -7*(p/(-28) + 0). Solve 0 = 6*a - b*a - 16, -5*c + 4*a = 16 for c.
0
Suppose -b + 0*b = 2, 0 = -3*s - b + 43. Let i(n) = n**3 - 14*n**2 - 15*n + 10. Let a be i(s). Solve 5*j + a = -3*g, 5*j + 5*g = 4*j - 24 for j.
1
Suppose -21*y = -8 - 286. Solve -7*g - 20 = -3*g, 3*l - g - y = 0 for l.
3
Let v = -689 - -693. Solve -v*s + 7 = -5*p - 9, 0 = -2*p - 5*s - 13 for p.
-4
Suppose -2*a = -3*m + 2*a + 84, -5*a = 0. Let i = m - 23. Solve 0 - 4 = 3*h + 4*w, 4*h = -5*w - i for h.
0
Suppose -5*j + k = -18, -2*j + 11*k = 14*k + 3. Solve -2*c = -5*i + 5, -8*i + 5 = -3*i - j*c for i.
1
Suppose 4*g + 3*r = -2*r - 32, 4*r = 5*g - 1. Let y be g + -1 + -2 + -9. Let f = 17 + y. Solve 2*c = -f*c + 5*w + 14, 5*w = -3*c - 7 for c.
1
Suppose 6*f - 44 = 5*f. Let k = f + -39. Solve -k*v + 5*y = 10, -2*v = -6*v - 4*y + 16 for v.
1
Suppose r + 1 = -q, 1 = -r + q + 6. Suppose -2*d - 8 = 3*g, 0*d - 3*g - 16 = -r*d. Solve d*k - 2 = -o + 5, -2*k = -2*o - 4 for o.
1
Let w be 15/((-6)/(-2)) + -3. Solve 2*z + 6 = -2*d, -5*z - w*d = -6*d + 24 for z.
-4
Let o = -71 - -77. Suppose 0 = 3*s - 4*s + 2*l + o, 0 = 5*s - l - 3. Solve 4 = -5*j - 3*w, 3*w = -4*j - 2 - s for j.
-2
Suppose 360 = -7*x + 31*x. Solve h - 5*y = 3*h + x, -h = 4*y + 15 for h.
5
Let u = 38 + -35. Suppose -u*t = 2*s - 29, 4*s - 3*t = -0*s + 13. Solve 3*z - 5*z - 5 = -i, -i + 3*z = -s for i.
1
Suppose -c = 3*y + y - 17, -5*c = y + 10. Let p be (c - (-1 - 3)) + -2. Let w = p + 3. Solve -w*u + 0 + 13 = 3*h, -4*h + 2*u + 22 = 0 for h.
5
Suppose -4*c + 3*c + 2 = 0. Suppose -d - 3*y - 22 = -7*y, -y - 2 = 0. Let i = d + 40. Solve 5*p + 24 = 2*t, -p - i = -c*t - t for p.
-4
Let i(g) = -g**2 - 8*g - 9. Let b be i(-5). Suppose -2*h + b*h - 16 = 0. Let c be 1*h*2/1. Solve -t = -5*q + c, -5*t + 25 - 7 = 4*q for q.
2
Suppose -104*m = -87*m - 51. Solve -3*s + 7 = -5*s + m*u, s + u = 4 for s.
1
Let x(w) = 4*w - 53. Let z be x(14). Solve 7*u = 2*u + 5*s, -4*u - z*s = 21 for u.
-3
Let m be 3 + 18 + -3 + -3. Let z be (15 - m) + 0 + 2. Let h be 9/z - (-6)/12. Solve -2*p + 16 = -0*b - 5*b, 0 = -5*p - 5*b + h for p.
3
Let p be -1 - -1 - (-2*66)/4. Let r = 39 - p. Solve -2*y = -5*l + 3*l + 4, -5*y + 3*l = r for y.
0
Suppose 4*m = -5*k + 37, -3*m = k - 6 - 8. Solve k*i + 0*x - 25 = x, 5*i = 2*x + 30 for i.
4
Suppose 21 = 5*r - 2*k + 3*k, 4*k + 16 = 0. Solve 5*l - 22 = -3*d + r*d, 0 = l + 4*d for l.
4
Suppose 163 = 9*u + 136. Solve -2*a = 2*f - 0*f + 2, -6 = u*a for f.
1
Suppose r - 3 + 0 = 0. Let g(a) be the third derivative of -a**4/12 - a**3/3 + 2*a**2. Let h be g(-3). Solve h*w - 17 = q - 0, 2*w = -r*q + 19 for w.
5
Suppose 138 = 10*q + 38. Solve -5*k = o - q + 33, 27 = o - 5*k for o.
2
Let y = 11 + 7. Let i be (-12)/(-9)*y/4. Solve f + 4 = d, d + 2*f + 20 = i*d for d.
4
Let y be 32/6 - ((-48)/(-36) + -1). Solve -5*p = c - 19, -y*p + 4 = -4*c + 5 for p.
3
Let x be -2*(-2)/8 - (-218)/(-4). Let q = -52 - x. Solve -q*r - 3*i - 14 = -r, -2*r - 2*i - 16 = 0 for r.
-5
Let y(r) = 28*r**3 + r**2 + r - 1. Let n be (-9)/(-1) + 1 + -3. Let p = n + -6. Let g be y(p). Solve g = 3*k + 3*q + 5, -4*q + 20 = k for k.
4
Let q(k) = k**2 + 10*k + 3. Let x be q(-11). Suppose -x = -4*d - 2. Suppose r = d + 1. Solve -3*y = -f - 0*f - 17, -r*y = -20 for f.
-2
Let z = -679 + 681. Solve 0*a + 2*a = z*t - 4, -3*a = -t + 12 for a.
-5
Let w = -64 + 85. Suppose 120*u - 118*u - 10 = 0. Solve -3*c + j = -4*c + 1, -c + w = u*j for c.
-4
Let x(t) = 4 + 5*t + 0*t + 17 - 6*t. Let n be (8/1)/(2/4). Let q be x(n). Solve -5*b - 7 = -q*v + 13, 2*b + v = 4 for b.
0
Let u(r) = 2*r - 2*r**2 + 4 - 4 + 4*r + 2. Let w be u(3). Solve -w*y = -4*y - 2*c + 4, -2*y + 2*c = -16 for y.
5
Let p(a) = a**3 - 7*a**2 - 17*a + 2. Let f be p(9). Solve -m + k = -6, 5*m - k = f + 7 for m.
3
Suppose 4*q + 2*x = 20, 5*x = 5*q + 10 - 5. Solve u + q*p - 10 = -4*u, -3*u + 2*p - 13 = 0 for u.
-1
Let d(w) = -2*w + 21. Let n be d(9). Suppose 5*k - 1 = n*t - 2*t, -k = -3. Solve v + 4 = -2*i + i, t = v - 5*i for v.
-1
Suppose 0 = -22*p + 19*p - 9. Let o be 1/((-2)/p)*(-260)/(-39). Solve 0 = -3*a, -4*d + 26 - o = -3*a for d.
4
Let f(q) = -q**2 + 5*q - 2. Let d be f(3). Let a be 4/6 - (-14)/6. Let k = -324 - -333. Solve -4*t + a*l = -k, -3*t + 12 = -t - d*l for t.
0
Let y be 7 + -2 + (-4)/1 + -1. Let o = 1 + 1. Let p be o*2 - 10/5. Solve y*s = p*w - s - 1, 4*s = -w - 4 for w.
0
Let k be ((-2)/2)/(4/(-16)). Suppose 14 - k = 5*j. Let w be (-4 - -6)*3/2. Solve f + 4 = -j*r - w*f, 12 = -4*f for r.
4
Let i = -370 - -372. Solve 4*y - i*w = 3*w + 28, y - 10 = 2*w for y.
2
Let b = -19 + 23. Suppose b*s + 60 + 120 = 0. Let v be s/(-12) + 2/8. Solve -v*z + 20 = 0, -6*z = 5*q - z - 5 for q.
-4
Suppose -10 = j - 3*j. Suppose -3*m - 6 = -j*m. Solve 0*y = -y + m*w - 18, -20 = -4*w for y.
-3
Suppose 43*a - 16 - 27 = 0. Solve 0 = -3*x + s - a - 0, s - 3 = 4*x for x.
-2
Suppose 8*r - 25 = 3*r. Suppose 5*t + 12 + 20 = 4*z, 0 = t + 4. Let i = 7 - z. Solve -2*d + r*d - x = -2, -i*d - 16 = 2*x for d.
-2
Let g(s) = 14*s + 18. Let p be g(-1). Solve p*b = 4*y - 4, 3*y + 6 = y for b.
-4
Suppose 4*v - j - 6 = 2, v = -4*j + 2. Solve 0 = 2*a + 2*l - 18, -v*a - 6*l + 2*l = -26 for a.
5
Let h = 121 - 119. Solve 0*l + 2*l - 14 = -5*m, h = -3*l + 4*m for l.
2
Suppose 5*y + 9 - 49 = 0. Suppose -t = -0*t - 6. Let b = -6 + t. Solve -5*u + 3*i + 10 = b, -15 = 2*u - y*i + 3*i for u.
5
Let m = 135 + -129. Solve -3*g = -m*g + 5*d + 9, g = 2*d + 3 for g.
3
Let k(a) = -3*a - 2. Let v be k(-2). Suppose -4*z = -4, 2*x - 31*z = -26*z - 1. Solve -v*c = -w + 6, -5*c - 7*w = -x*w + 20 for c.
-2
Let l = 45 - 44. Let k = l - -4. Solve 2*b - 7 = 2*a + k, 0 = -4*b + 2*a + 22 for b.
5
Let l = -4 + 19. Suppose -3*f + 4*p = 2*p - 3, -3*f + p = 0. Let d be 3 - ((-2)/(-4 + 2) + f). Solve -3*i - i = -3*k - 19, 3*k = d*i - l for i.
4
Let y(z) = -9*z - 5. Let c be y(-1). Solve -3*r - 1 + c = -o, r = 4*o + 1 for o.
0
Let o(l) = 55*l + 828. Let i be o(-15). Suppose -3 = -3*j + 3. Solve 4*h + 0*b + 12 = -j*b, -9 = i*h - b for h.
-3
Suppose -3*d = 2*x - 18, -d + 2*x = 2*d - 6. Solve 0 = -b + d, -b + 4 = k - 0*b for k.
0
Suppose -4*j = -12 - 4. Suppose 0 = -4*o + 3*m - 9, -2*o + 0*m = -4*m + 12. Solve o = 3*p + 3*n - 3, 3*n + 5 = -3*p + j*p for p.
2
Let k = 117 - 108. Suppose -21 = -16*i + k*i. Solve 0 = -3*l + 6, 2*a + 8*l - 20 = i*l for a.
5
Suppose -4*l + 5 = -15. Suppose 1 = -l*b + 16. Let k(p) = -p**3 + 2. Let j be k(0).