+ h*z = -5 for p.
-4
Let h(j) = 6*j - 3. Let n be h(1). Suppose 0 = 2*z - 2*l - 18, -3*z - n*l = z - 8. Solve 2*g = -2*v + 20, 3*g - 3*v + v - z = 0 for g.
5
Let o(p) = p**3 + 6*p**2 - 4*p + 2. Let y be o(-5). Suppose -y*j - 28 = -51*j. Solve 2*r - 3*l = j, -2*l = 3*r + 2*l + 32 for r.
-4
Let h(u) = -2*u**2 - 3*u. Let o = -10 + 7. Let l be h(o). Let a = -7 - l. Solve 5*d = 3*z + 25, 16 + 13 = a*d - 5*z for d.
2
Suppose -5*s + 10*s - 25 = 0, -g + 2*s - 11 = 0. Let w be (3/2 - 2)*14/g. Solve -i + 2*z + 5 = 0, i + 3*z - 11 = w*z for i.
-1
Let u be (-1)/5 + 22/10. Let m = -55 - -33. Let b = m + 25. Solve -b*y = -5*d + 11, -3*d + 5 - u = 0 for y.
-2
Let n(a) = -a**3 + 4*a**2 - 4*a + 3. Let k be n(2). Suppose 12 = -2*z + 2. Let p be (-1)/2*2*z. Solve k*g = -2*r - 5, -r + p*g + 2 = 2*r for r.
-1
Let g be ((-6)/4)/((-18)/180). Suppose 0 = -g*j + 14*j. Suppose 1 = -b, 0*a - 4*a - 2*b + 14 = 0. Solve 5*x = 2*t + 9, j*x - 5*t = -a*x - 3 for x.
3
Let j = 467 + -462. Solve -3*y - 14 = -2*s - j, -2*s + 2*y + 6 = 0 for s.
0
Suppose -5*d - 5*q + 16 + 89 = 0, -57 = -2*d + 3*q. Let a = -20 + d. Let w be (4/2)/(a/10). Solve 0*p + w*x + 23 = -p, -x = 5*p - 5 for p.
2
Let b = -152 + 349. Suppose 0 = w + c - 43, 5*w - b = 2*c - c. Suppose -6*n + n + w = 0. Solve -5*s - 15 = 0, h + 1 - n = s for h.
4
Suppose -15*j + 190 = 25. Let z = j + -11. Solve h - 4 = -2*t, -2*t - 4*h = -z + 8 for t.
4
Suppose 0 = w - 5*o - 94, -340 = -4*w - 0*w + 2*o. Let q = w + -82. Solve q*f - 5 + 17 = 4*k, f + 1 = -3*k for k.
1
Let q = 3 + 7. Let t be -15*(0 + (-4)/20). Suppose s + 4 + 6 = -t*z, z = -2*s. Solve 0 = 5*k - 0*k + 5*l + 25, 3*k = -s*l - q for k.
0
Let y(k) be the second derivative of -k**5/20 - k**4/2 + 5*k**3/6 - 7*k**2/2 + 6*k. Let g be y(-7). Solve -t - 3 = b, -2*t = -2*b + g*b for b.
2
Let v(j) = -5*j + 2. Let x(m) = 4*m - 3. Let z(u) = -3*v(u) - 4*x(u). Let f be z(0). Suppose -4*a + 54 = -2*a. Solve y = c - f*c + 19, 5*c = -3*y + a for y.
4
Let o(n) = -2*n - 6. Let r be o(-4). Let m(g) = g**2 + g - 5. Let k be (32/(-20))/((-8)/20). Let u be m(k). Solve -3 = -3*c - 4*l, c + 4 = r*l + u for c.
5
Suppose 0 = -3*f - 5*f + 56. Solve j + f*p - 8 = 4*p, -5*p = 5*j for j.
-4
Let y be ((-1)/(-1) - -1)*6/4. Suppose 0 = -7*m - y*m + 30. Solve 2*j = -m*o + 10, 5*j - 3*o = 1 + 3 for j.
2
Suppose 0 = -5*x - 4*o + 6, -2*o - 1 = -o. Solve 5*f - 3*p = 6*f + 2, -4*f = x*p + 8 for f.
-2
Let p = -88 + 96. Solve -p*v = -4*v, 20 = -5*h + v for h.
-4
Let n = -19 + 41. Suppose 4*g - 8*g = 2*k - n, g - 8 = -k. Let l be (0 + 1/(-3))*-15. Solve 9 = k*t - 4*w, 72 = l*t + 5*w + 27 for t.
5
Let v(y) be the second derivative of y**4/12 - y**3 + 13*y**2/2 - 34*y. Let c be v(4). Solve 0 = -2*a + a + j - 2, 3*a - c*j = -14 for a.
2
Suppose -42*g = -40*g - 10. Solve -g*b = 4*p + 28 + 7, 3*p = 5*b for b.
-3
Suppose -16*h = -0 - 96. Solve 2*u - 4*v + h = -4, -5*v - 10 = 5*u for u.
-3
Let h be (-5 - (-6 + 3)) + 1. Let f = 8 + h. Suppose -3*u + 11 = -f. Solve 2*z - 5*n = u, z - 6*z + 3*n = 4 for z.
-2
Let h be (-1)/(-2)*-2 + 2. Suppose 0 = 2*b - 3*z - 33 + h, 2*z = -5*b + 99. Let m = b + -13. Solve 15 = -5*k - 3*f, -20 = 2*k - 2*f + m*f for k.
0
Suppose -2*s + 10 = -0*s + 2*q, 4*q - 12 = -2*s. Suppose -s*y - 14 = 3*w - 37, 3*y = -w + 16. Solve -f = -j + 1, -y*j + 1 = -4 for f.
0
Let a(h) = -2*h**3 - 23*h**2 - 11*h + 1. Let o be a(-11). Let v = 18 - o. Solve -5*r = -c - 2*r - v, -5*c = -2*r + 20 for c.
-2
Let o = -19 - -24. Suppose -5*s - i = -8, o*s - 3*i + 4 - 20 = 0. Solve 2*f - s*c = -0*c + 8, 5*c + 12 = -3*f for f.
1
Let p(t) = -4*t**2 - 4*t + 5. Let o be p(4). Let w be 30/o + 34/10. Solve -4*z + 20 = -4*x, -13 = -w*x - 2*z - 2*z for x.
-1
Suppose -20*r + 17*r + 15 = 0. Solve -20 = -5*i + r*w, 0 = 4*i + 3*w + 2 - 18 for i.
4
Suppose 4*m - 3*a - 1 = 0, 2*m + 10 + 2 = 4*a. Suppose 12 = -m*o, 0 = 5*y - o - 24 - 4. Solve -y*n = 4*v - 20, -4*v - 4*n + 21 = 5 for v.
0
Let k = 70 + -68. Suppose -3*w = n - 30, -3*n - w + 78 = k*w. Solve -4*r + 3 = 5*j, 0*j = -3*r + 5*j - n for r.
-3
Suppose -2*i + 5 = a, 3*a + 9 = -6. Solve -2*k + i*f - 9 = 0, 3*k - 26 + 5 = -4*f for k.
3
Let k be (20 - 0)/(28 + -26). Let q = -12 - -32. Solve 3*a - 7*a = -4*t + q, 3*t = 2*a + k for t.
0
Let w = 17 + -14. Suppose 3*c - w = 0, -m + 4*m - 38 = -2*c. Solve 0 = -4*s - 4*a - 4, 0*s - 4*s + 4*a - m = 0 for s.
-2
Suppose -3*o = -0*o. Suppose o = -3*z - 4*m - 1, -m = 3*z + 4*m + 2. Suppose z + 9 = 2*l. Solve 3*x + 35 = -2*x - 5*s, -3*s = -5*x + l for x.
-2
Suppose g = 0, 4*a + 17*g - 16*g = 56. Solve 2*z = k + 8, -5*z + 5*k + 1 + a = 0 for z.
5
Suppose -35 + 17 = -9*k. Solve t - 2*n = 0, -k*n = -t + 3*t - 12 for t.
4
Suppose -18*h + 352 - 100 = 0. Solve 5*t = 4*d - 5, 4*t - 6 = 4*d - h for d.
5
Suppose 6*b = -2*b + 3*b. Let v be (-4)/(-2) - (-3 - -2). Suppose -3*p + 6*l - 3*l + 102 = 0, -p - v*l + 38 = b. Solve p = -2*q + 5*u, -q + 5 = u + u for q.
-5
Let f be 4/(-8)*(-1 - 1). Let b be 24/30*(-20)/(-8). Suppose i = m - 2, -b*i = 2*m + 2*i - 16. Solve -5*k = -r - f, m*r - 4*k - 2 + 6 = 0 for r.
-1
Suppose -3*b - 7 = -4*y, b = -2*y + 12 - 1. Suppose -y*c + 70 = -z - z, z + 53 = 3*c. Solve c = -4*d + d + 3*j, 4*d + 9 = j for d.
-1
Let w be (0 - (-2)/(-3))*45/(-6). Solve 0 = 5*y - w*g + 30, g = -2 + 5 for y.
-3
Suppose 44*a + 40 = 52*a. Solve -b = 2*d + 3*b + 4, a*d = 3*b - 10 for d.
-2
Let v(c) be the first derivative of c**4/4 + 7*c**3/3 - 9*c**2/2 - 8*c + 4. Let l be v(-8). Let u = -1 + 5. Solve -t = 4*a, 0*t - u*t - 2*a + 14 = l for t.
4
Suppose -2*a + 156 - 152 = 0. Solve -4*f + 3*k = -14, -4 + a = 2*f + 3*k for f.
2
Let v = 0 + 0. Solve 3*f + 3 = 4*u - 10, -2*u - 2*f + 10 = v for u.
4
Let m(p) = -p**3 - p**2 + 2*p + 21. Let q be m(-5). Suppose 4*c = q - 47. Let b be (0 - 1)*(-6)/2. Solve -4*v - 4*d - b = 13, -v - 4*d = c for v.
0
Suppose -4*h + 5*h - 3 = 0. Suppose -2*l - 2*q = -26, -2*l - h*q = -5 - 17. Solve b - 27 = 3*b - 5*u, -3*b = 4*u - l for b.
-1
Suppose 3*h - h + 5*b - 49 = 0, 4*h - 4*b - 28 = 0. Solve -h = -4*s + s + 3*r, 0 = -5*r - 25 for s.
-1
Let v(f) = -f**3 - 7*f**2 - 8*f - 13. Let w be v(-6). Let u be 0*((-4)/(-2) + w) - -18. Solve j - 5*j - 9 = -m, 0 = m + 5*j + u for m.
-3
Suppose 0 = -a - 14 + 37. Let b = -18 + a. Solve 2*p - 2*o - 5 = -5*o, -b*p = -2*o - 22 for p.
4
Let c(b) = -2*b + 13. Let r be c(7). Let m = 1 + r. Suppose m = -0*g - g - 5*l - 3, -l - 11 = -5*g. Solve 0 = 4*w + 5*i + 21, 4*i + 2 = -g for w.
-4
Let o = -233 - -233. Solve 3*y = 5*k + 10, 10 = -5*y - 5*k - o for y.
0
Let v(a) = a**3 - 4*a**2 - 10*a + 27. Let c be v(5). Let u = -11 - -15. Suppose g + c = u. Solve -2 = -5*q + 4*x + 7, -g*q = x - 14 for q.
5
Let x be (-3 + (-9)/(-3))/(-1). Let c(p) = -p**3 - p - 4. Let h be c(x). Let t be -3*(1 + 2 + h). Solve -4*w = -t*f + 25, 4*f - 22 = 4*w + 2*f for w.
-4
Suppose 9*v = 8*v + 42. Let f = v - -26. Suppose h + 4*h = 3*k + f, -5*h - k + 64 = 0. Solve -u + h = -2*n, -2*n + 9 = -3*u + 28 for n.
-5
Let c(b) = 5*b - 1. Let u be c(1). Let v be -1 - 27/6*(-12)/18. Suppose v*d + r - 2*r - 12 = 0, -16 = 4*r. Solve d*t = 12, 0*q - 3*q + u*t = 0 for q.
4
Let t(o) be the third derivative of o**4/4 - 16*o**3/3 - 35*o**2. Let p be t(6). Solve p*b + 29 = -5*u, -4*b = 3*u - 2*b + 17 for u.
-5
Let g(n) be the third derivative of n**6/120 - n**5/10 + 5*n**4/24 + 5*n**3/6 - 18*n**2. Let j be g(5). Solve 3*l = -2*k - 16, -3*k = -6*l + l + j for k.
-5
Let r(m) = 5*m + 68. Let h be r(-13). Suppose -2 = -h*a - 2. Solve -2*g + a*g = -5*p - 5, -2*g + 2 = -2*p for p.
-1
Let y = -383 - -395. Solve 3*f - 3*o = y, f - 5*o = 16 - 0 for f.
1
Let a(c) = c**3 + 6*c**2 + 5*c + 4. Let v be a(-5). Let w be 2/2*((-3 - -4) + v). Solve 0 = 2*f - 4*g + 2*g + 2, 4*f - w*g = -8 for f.
3
Let s(y) = y**2 + 10*y + 5. Let a be s(-10). Suppose 0 = 3*p + 6, -a*x + 4 = 2*p + p. Solve -4*z = -x*i - 16, -i = -5*z + 2*i + 19 for z.
5
Let a = -53 - -35. Let n = a - -21. Solve 0 = n*x - 4*u - 13, x + x = -4*u + 2 for x.
3
Let p = -37 - -42. Suppose -4*j + p*s = s, -3*s + 20 = 2*j. Solve j = 4*m - 4, 5*o + 5*m = -15 for o.
-5
Let g = -255 - -259. Solve a + 0*a + 13 = g*j, -3*a = 5*j - 29 for j.
4
Let o be 1479/34 - (-3)/2. Let r be (6/(-10))/(-3) - (-81)/o. Solve -w + 12 = -5*k, -8*k - r = -4*k + 3*w for k.
-2
Suppose 7*p - 6 = 5*p. Suppose -74 = -4*s - 