 5*w + u for w.
-5
Let v(p) = p**3 + p**2 + 1. Let n(j) = 4*j**3 + 11*j**2 + 8. Let a(m) = n(m) - 5*v(m). Let c be a(6). Solve 4*w = u + 13 - 0, 0 = -c*u + 2*w + 1 for u.
3
Let h(m) = 32*m**2 + 158*m + 16. Let p be h(-5). Let u = 4 - 2. Solve -u*a + 14 = -5*w, -p = 3*w + 2*w + 2*a for w.
-4
Let q = -5 + 15. Suppose 0 = -q*z - 124 + 524. Solve -5*a = 5*o + z + 5, -2*o + 6 = -4*a for o.
-5
Let w = -3 - -5. Let c = 6 - w. Suppose -8 = -6*u + c*u. Solve -3 = -k, -2*a + 4*k = u - 2 for a.
5
Suppose -5*v = q - 10*v - 27, -3*q = 3*v + 9. Solve -2*l - q*g + 5 = 15, -5*l - 16 = 2*g for l.
-2
Let i = -454 + 463. Solve 0 = 2*p + 2*f, 7*p - 2*p + i = 4*f for p.
-1
Suppose 0 = -16*v - 11*v + 81. Solve -7 = 2*f - 3*t, 2*f = -t - v - 0 for f.
-2
Let t be (0 + 3)*(76/(-4) - -20). Solve 0 = -t*b - 5*a + 10, -a + 4*a - 6 = -4*b for b.
0
Suppose 24 = 11*v - 7*v. Let g be 16/v*3/2. Suppose 0 = 5*m + g*i - 12, -4*m + 3*i + 22 = 0. Solve j + 2*c - 6 = c, m*j = -2*c + 16 for j.
2
Let n(a) be the first derivative of a**4/4 - 11*a**3/3 + 13*a**2/2 - 12*a + 3. Let o be n(10). Solve w + 5*x = 9 + o, w - 2*x = -8 for w.
2
Let y be 5 + 2 + -3 - 1. Suppose -y*h = g - 15, 3*g - 3 = -h + 18. Let d be (0 - 3) + (g - -1). Solve -3*t = 3*z, -d*z + 0*t - 2*t = 10 for z.
-5
Suppose j + 4*j - 20 = 0. Let w = 4 - 3. Let y = w + -1. Solve 2*u + 2*u + j*v = 0, y = 2*v - 4 for u.
-2
Let v(p) = 2*p**3 - 54*p**2 + 53*p - 22. Let h be v(26). Solve 2*i - 16 = h*w - 2*i, 0 = -5*i + 20 for w.
0
Suppose 5*t + 34 = -11. Let c = 13 + t. Suppose c*b - 13 = -5. Solve b*a = -f - 10 - 5, -f + 5 = -2*a for a.
-5
Suppose -2*t + n + 12 - 3 = 0, -3*n = -5*t + 25. Let a be (-3 - (-8 - 1))/t. Solve p + y - a = 0, 2*p + p = 5*y - 23 for p.
-1
Let m(r) = r**3 + 12*r**2 - 28*r + 2. Let c be m(-14). Let k be 3/(-5 - 1) - 21/(-2). Solve -k = 5*y + t - c*t, -25 = 5*t for y.
-3
Suppose 0 = 4*b - 16*b. Let y(u) = u**2 - u + 4. Let f be y(b). Solve 2*k - f*c + 18 = 0, 3*k + 3 = 4*c - 14 for k.
1
Suppose 4*k + k + 5 = -5*x, -k + 5 = 4*x. Let d be (x + 7)/((-6)/(-8)). Suppose -10*s = -6*s - d. Solve -5*p = -5*b - 15, -s*b = -0*b + 4*p - 26 for b.
2
Suppose 4*r - 4 - 4 = 0. Suppose 117 = -8*a + 389. Suppose -25 = -39*d + a*d. Solve d*g + 20 = 5*z, 5*z + r*g = 3*z - 12 for z.
-1
Let j be -2 + (32/8 - -1). Solve -j*c + p - 19 = -p, -5*p + 25 = 0 for c.
-3
Suppose 19*r - 14 = 24. Solve 0 = r*h - 3*y + 2, -2*h + 0*y = -2*y + 2 for h.
-1
Let o be 4*(-3 + (-21)/(-6)) - 2. Suppose -3*x + o*y + 2*y = -18, 0 = -5*x - 2*y + 46. Solve 3 = 3*w, x*s - 8 = 3*s - 3*w for s.
1
Let s be (-2)/(-3) + (-905)/(-15). Suppose 5*y + 11 = s. Let b be (16/20)/(1/y). Solve -2 = -2*z + b, -2*z = -2*n - 10 for n.
0
Suppose 5*r - 25 - 30 = 0. Let n be 1*(-4)/(-3) - r/33. Solve 5*d = -4*t - 5 + n, -2*t + 28 = -5*d for t.
4
Let d(j) = -j**3 + j**2 + j + 1. Let l be d(-1). Let c = l + 1. Solve 4*h + z = -12, 0*z - 9 = c*h + 5*z for h.
-3
Suppose 4*x + 20 = 28. Let k = 3 - -4. Solve -4*r = -k + 19, -5*y - x*r = 26 for y.
-4
Let i = 90 - 74. Suppose -35 = -5*j + 2*v - 16, 0 = -2*j - 3*v. Solve d = -5*r - 0*d + i, -3*d = -j for r.
3
Let z = -1143 + 1155. Solve 5*v = 4*p - 23, 0 = -4*p + 2*v + 2 + z for p.
2
Let k = -6 + 11. Let z(i) = -81*i + 245. Let q be z(3). Solve -2*m + 4*m = k*b - 24, 2*b = -q*m + 4 for b.
4
Let f be 72/(-21)*21/(-6). Suppose -4*p - 2*c - 15 + 101 = 0, 5*p - 3*c - 113 = 0. Solve 3*t + y - p = -3*y, -f = -4*t - y for t.
2
Suppose 0 = -0*k - k - b + 15, 4*b = -12. Solve 0*p - 4*p - 5*q = -k, 4*p - 5*q + 2 = 0 for p.
2
Let p be (82/246)/(1/120). Suppose 0*c = -2*c. Suppose g = -c*g + 5. Solve 0 = -g*y + 5*f - p, 7*y - 2*y + 8 = -3*f for y.
-4
Suppose -35*x + 101 = -74. Solve y = x*y + a - 15, 0 = 3*y + 5*a - 24 for y.
3
Let q be (-147)/(-4) - 2/(-8). Suppose 39 + q = 2*s. Suppose 5*i + 9 = 4*m + s, -m - 16 = -3*i. Solve j = -i*w + 25, 0 = 5*w + 2*j - 28 + 3 for w.
5
Suppose 2*l + 2*t - 186 = 0, 4*t - 271 = -3*l + 5*t. Let g = l - 87. Solve 0 = y - 5*y + g*d + 12, -4*y + 19 = 3*d for y.
4
Let c be (-2 + 26/10)*5. Let v be 3/2*(-70)/(-21). Suppose -s = -2*k - 2*k, v*s = -k + 21. Solve 2*m + 13 = -3*n, 0 = 2*m + k - c for n.
-5
Let t(o) = o. Let m be t(3). Suppose 4*a = m*i - 50, -i + 15 = -0*i - a. Suppose g = 2*v - 6, -v = -g - 2*g - 3. Solve 0*k - l = v*k + i, -3*k - 4*l = 13 for k.
-3
Let r be (-288)/(-56)*(-14)/(-3). Let m be (-8)/(-10) + r/(-30). Solve 5*q + 2*g = 29, -q - g + 7 = -m for q.
5
Let h be 414/144 + 3/24. Solve 5*x - x = 2*t + 6, -4*x - h = t for t.
-3
Suppose 46 = 5*a - 0*a + v, 3*a - v - 26 = 0. Let c = a - -9. Solve 3*f + 7*k = 4*k - c, -4*f = -4*k + 16 for f.
-5
Suppose 70 - 65 = y. Solve 5*k + r - 9 = 0, 2*r - y = -4*k - r for k.
2
Let l be ((-15)/(-9) + -2)*-3 - -1. Suppose 0 = -k - l + 3. Solve 3*t + n = -15, 4*n - 3*n = t + k for t.
-4
Let a(r) = -r**3 - 36*r**2 + 37*r + 6. Let c be a(-37). Solve -z = 5*d + 17, -d + c - 13 = 2*z for d.
-3
Let y(w) = -2*w + 2. Suppose -2 = 9*j - 2. Let b be y(j). Solve d - 3 = 3*v + v, v = -b for d.
-5
Let a(v) = -6*v - 54. Let j be a(-9). Solve j = 3*o - 12, -4*n + 2*o = 3*o - 8 for n.
1
Suppose -67*q = 14*q - 162. Solve q*g + 16 = -5*o, -7*o = 2*g - 3*o + 12 for g.
2
Suppose -20*z = -22*z + 4. Suppose 7*g = 2*g + 5. Let v(k) = 6*k - 1. Let h be v(g). Solve -z*l = u - 4, -4*u + 3 = -h*l + 26 for u.
-2
Let u = -6 + 9. Let z(p) = p**3 - 4*p**2 + 3*p + 3. Let n be z(4). Let r be 0 - (-39)/15 - (-6)/n. Solve r*q = 5*i + 8, 2*i - u = -11 for q.
-4
Suppose f + 129 - 134 = 0, 3*f - 20 = -p. Solve -8*i - 18 = -5*i - 3*x, 0 = -p*x + 25 for i.
-1
Let c(x) = 4*x**2 + 19*x - 25. Let w(v) = 9*v**2 + 38*v - 51. Let l(s) = -7*c(s) + 3*w(s). Let y be l(-20). Solve 6 = y*n, 2*n + n = -d + 6 for d.
-3
Suppose 64*r - 6*r - 638 = 0. Solve -5*m - 34 = -3*j, -r = -m + 2*m - 2*j for m.
-5
Suppose 0 = -13*g - 1409 + 356. Let y = g + 85. Solve 0 = -5*o + 2*i + 10, 0 = -y*o + 4*i - 3 - 1 for o.
4
Let n be (-20)/4 - (7 + (-78)/6). Solve 0 = 2*i, 0*i - n = j + 5*i for j.
-1
Suppose v = 2*m - 4, 4*m - v - 33 = -23. Solve -4*j - m*o - 7 = 0, o + 3 = -j - 0*j for j.
2
Let v = 11 + -12. Let y be -3 + 1 - v - -16. Suppose 15 = -5*p, 1 + y = 5*l - 2*p. Solve 5*a - 3*i = 4 - 16, 2*a + 4 = l*i for a.
-3
Let b(v) be the second derivative of v**5/20 - v**4/3 + 5*v**3/6 - 5*v**2 - 22*v. Let t be b(4). Solve -5*y = 5*d + t, -5*d = 4*y - 6*y + 3 for y.
-1
Suppose -y = i + 5, 21 = 5*i - 2*y + 11. Solve -m = -5*m + h, -2*m + 3*h + 10 = i for m.
-1
Suppose 4*w + 18 = 5*w. Suppose -3 = 3*u - w. Solve 5*q - 21 = -4*l + 6*l, -5*q + 15 = -u*l for l.
2
Suppose -i + 167 = 2*c - 51, 2 = -i. Let n = c + -106. Solve -16 = n*f, 6*y - 3*f = 3*y + 6 for y.
-2
Let u(k) = -k**3 + 7*k**2 - 10*k + 1. Let f be u(5). Let j(c) = -c**2 + 3*c + 4. Let z be j(3). Solve -o + z*d = 22, -3*o + d = 12 - f for o.
-2
Suppose 3*w + 5*s + 3 = -w, -w + s + 6 = 0. Suppose m = 3, -5*n + w*n = m - 7. Solve 5*p - 30 = -2*l - 2*l, -n*l - 3*p + 16 = 0 for l.
5
Let i = -2201 - -2204. Solve -5*h + 7*h - i*w = -1, 0 = -3*h + w - 12 for h.
-5
Let q = -46 + 51. Suppose 2*y + 2*f = 3*y - 8, -f + 7 = q*y. Let j(u) = -2*u - 7. Let b be j(-5). Solve 1 = -y*z + b*z - 4*p, -z = -3*p for z.
-3
Suppose 3*s + 3*o = 45, -2*o - 15 = 3*o. Suppose s*n = 26*n - 168. Solve 5*d - 46 = -n, -d = 3*q - 8 for q.
1
Suppose 16*m - 28*m + 336 = 0. Solve -3*t - 6 = -3*y, -m = -0*y - 5*y - 4*t for y.
4
Suppose 0 = 7*s + 2*s - 54. Let l = -14 + 20. Suppose -3*o - s = -l*o. Solve 0 = 2*m + 5*b - 2, 4*b + 2 = o*m - 0 for m.
1
Let h be (1/4)/((-74)/(-888)). Solve -3*a + 6*j - 18 = h*j, a - 2*j + 11 = 0 for a.
-1
Suppose 3*h - 8 = -5, 2 = 2*y - 2*h. Solve 3*i + 13 = z, 0 = -2*i - 2*z - y + 4 for i.
-3
Let f be 14/91 + 4/(-26). Suppose u - 3 + f = 0. Suppose u*q + 5 = 53. Solve 2*x - 5*i = 4*x + q, -5*i = 3*x + 19 for x.
-3
Suppose 3*h - 3440 = -1016. Let k be h/20 - 6/(-10). Solve -n + 1 = 2*j + 15, -5*j - k = 4*n for j.
-5
Let k(p) = p**3 + 8*p**2 - 7*p + 18. Let f be k(-9). Solve -5*o - 2*d + 15 = f, -3 = -2*o + 5*d + 3 for o.
3
Let c(u) = -u - 6. Let r be c(-3). Let l = 8 + r. Let g be -2 + 1/1 + l. Solve q + g*q + 2*d = 14, 4*q + 3*d - 14 = 0 for q.
2
Suppose k + 5*y = 10*y - 18, -k - 4*y = -18. Solve 5*o + 11 = c, 4*o - k*c = o - 1 for o.
-3
Let o(y) be the second derivative of 