+ k*s, -4*s - h = 2*r + x for r.
0
Suppose -9 = -11*p + 8*p. Let x be p + (-4 - -4) - -2. Solve -3*b + 1 = -2*v - 18, 27 = x*b - v for b.
5
Let d(t) be the first derivative of t**2 - 34*t - 20. Let j be d(19). Solve -3*v + 6 = j*h - 7*h, 0 = -4*v + 4 for h.
-1
Let s(f) = 2*f**3 - 11*f**2 - 11*f + 16. Let t be s(6). Let p be 22/77 + (-66)/t. Solve -3*g + p*g = w - 5, 0 = -3*w - 4*g + 5 for w.
3
Let k = -6 - -10. Let t = 35 - 8. Let d = -22 + t. Solve 1 = 5*z + 2*w - 15, -d*w + 7 = -k*z for z.
2
Suppose 2*y - 3 = -13, -3*y - 143 = 4*z. Let h = 48 + z. Suppose 3*w - 5*b + 10 = 0, 5*b - 34 - h = -5*w. Solve 2*a = 2*d - 1 - 5, -w*a = 5*d + 15 for d.
0
Suppose 83*r + 30 - 362 = 0. Solve -4*v = -r*f, 2*f - 2 = -f + 4*v for f.
-2
Let w(o) = 2*o**3 - o**2 + 2*o - 1. Let z be w(1). Let b be (-38)/(-9) - (-18)/(-81). Suppose b*v - 5 = 15. Solve -z*q - 5*j - 4 = -0*q, -v*q + j = -17 for q.
3
Suppose 0 = -3*a - a. Suppose a = -2*y - h + 9, -5*y + 4*h - 1 = 9. Suppose 0 = y*n - 3 - 1. Solve u - n*t = 2*t + 19, 15 = 5*u - 4*t for u.
-1
Suppose 42*b - 36*b - 24 = 0. Solve 3*d - b = 2*f - d, -2*f + 5 = -d for f.
4
Suppose 5*r = 2*m + m - 10, 2*r = 3*m - 13. Solve 8 = -3*c - 5*f - 11, -m*c + 5 = f for c.
2
Suppose -153*l + 2*y = -156*l + 8, 4*l = y + 7. Solve -4*k = -l*d - 10, -d - 2*d - 7 = -4*k for k.
4
Let r(p) be the first derivative of p**3/3 - 3*p**2 - 19*p + 7. Let d be r(9). Solve 0 = -4*h - 8, -3*k + 4*h - 2*h = d for k.
-4
Suppose -2*z + 3*z + 355 = 5*t, -3*t + 201 = -3*z. Let w = t + -34. Suppose w = y + y + 2*x, -2*y + 46 = 4*x. Solve 5*j - y = -2*p, 5*j + 0 - 5 = -4*p for j.
5
Suppose -j = -5*s + 2*s - 12, -5*j - 4*s - 16 = 0. Let b be ((-24)/14)/(6/(-21)). Let c be 30/b - (-1 + 3). Solve 5*l + i - c = l, i + 1 = j for l.
1
Let c(g) = g**2 + 7*g - 5. Let u be c(-8). Let s be u/9*(-2 + 89). Solve -3*a + 1 = 4*l + 9, s = -5*l + a for l.
-5
Let r be 1*27 - (-138)/(-23). Solve -g = -4*f - r, 2*f + 16 = g + 3 for f.
-4
Suppose -p - 8 = -4*i, -5*p - 39 + 59 = 0. Solve 3*f - i = -2*c, 4*c - 12 = 8*c for f.
3
Let g = -32 + 26. Let o be 42/56*(-16)/g. Solve -d - d + 10 = -y, -2 = -3*y - o*d for y.
-2
Let d be (-11 - -10)/((-2)/10). Let x = -4 + 7. Solve x = -3*l, d*l + 4 = 3*r + l for r.
0
Suppose -248 = -2*o + 168. Suppose 4*i - o = -48. Solve 5*m + i = -5*l, -2*m = -3*m + l for m.
-4
Let r be 56/9 - (-2)/(-9). Suppose 0 = t + 29 - 31. Suppose i = -x - 3*x + 13, -2*x - r = -t*i. Solve -3*h - 4 = -n - x, 2*h - 12 = -2*n for h.
1
Let k(l) = l**2 + 10*l + 29. Let x be k(-7). Suppose x = -2*q - 0*q, 0 = 4*p + 3*q + 4. Solve -3*z - m = -3*m - 14, 5*z - p*m - 18 = 0 for z.
2
Let r = -71 + 74. Suppose r*w - 30 = -3*d + w, 5*w = 0. Solve -4*v - d - 6 = -2*t, 0 = -t - 2*v for t.
4
Suppose 9 + 15 = 4*z. Let s = z + 5. Let j = -216 - -219. Solve -x - 5*i - 7 - 22 = 0, j*i = x - s for x.
-4
Suppose 5*i + 60 + 15 = 0. Let s be i*(16/6 - 3). Suppose -3*b = -3*v, v - 10 = -2*v - 2*b. Solve 2*q + 4*u = v, -5*u = 3*q - 2*q + s for q.
5
Let a = -40 + -12. Let n = -46 - a. Suppose g + 4*g = 0. Solve g = 2*x + 4*y - n - 16, 4 = -x + y for x.
1
Let z = 10 + -5. Suppose 4*u + 4*o = 2*o + 14, -5*u + 2*o + 13 = 0. Solve u*g - 14 - 4 = 3*d, z*g = 4*d + 29 for d.
-1
Suppose -3*f - 2*b - 9 = -17, 45 = 5*f - 3*b. Let h(w) = -w**2 - 14*w + 34. Let t be h(-16). Solve -2*y + t*c = 8, -2*y = -3*c + f*c + 8 for y.
-4
Suppose 2*i = -3*m + 31, 0 = -i - 3*m + 3 + 8. Let h = -14 - -4. Let j(s) = s + 12. Let x be j(h). Solve -x*n - 3*v - i = 0, -2 = 4*n + 5*v + 34 for n.
-4
Suppose 10 = 4*n - 3*c, -13*n + 11*n + 2 = -3*c. Suppose -2*p + 33 = -h - n*h, 3*p - 5*h = 37. Solve z = p*x - 15, -x - 1 = -5*z - 0 for x.
4
Let z(q) = -q**3 - 7*q**2 + 18*q + 3. Let y be z(-9). Solve -y = -g - 3*l - 16, -13 = 4*g - l for g.
-4
Let k = 1039 + -1036. Solve -j + k*i + 0*i + 12 = 0, 4*j - 13 = 5*i for j.
-3
Let n be -4 - (-8 + 3*8/12). Solve 2*y - n = -2*w, 3*y = -5*w + w + 5 for w.
2
Let s be 12/21 + 418/77. Suppose s*o = 31 - 19. Solve 3*b - 11 = o*f + 2*f, 2*b = 4*f + 10 for f.
-2
Suppose -2*g + 5 = 4*r - 5, 15 = 3*r. Let u = 2 - g. Suppose -a - 3*v = -u, 4 = -a + 4*v - 3. Solve 4*k + a = -2*x - 11, 3*k + 9 = -x for k.
-3
Let m(n) = n**2 - 11*n + 27. Let q be m(9). Suppose -r + 25 = 4*r. Solve -2*i = 2*z + 14, -3*z = -4*i - q - r for i.
-5
Let s be (12 + -11)/(2/(-8)*-2). Solve -9 = -4*h + u + 10, -s*h + 3*u = -17 for h.
4
Let i be 3*((-2 - -5) + -2). Suppose -9 = 3*f, -2*h - 4*f = i + 3. Suppose -k = 2*w - 2, -2*w + 0 = -h*k - 2. Solve -2*c + w = -x, 0 = -2*c + 2 + 4 for x.
5
Let d be (4/(-5))/(10/(-25)). Suppose u + 2*u - 27 = 0. Let t = -4 + u. Solve -t*x + 4*v = -0 - d, -x - 4*v = 14 for x.
-2
Let n be 10 + (0/(-2) - (11 + -5)). Solve 2*x = h + 4*h + 11, -8 = n*x for h.
-3
Let b(z) be the second derivative of -z**4/6 + 3*z**3 + 2*z**2 + 8*z. Suppose -i = 2*i - 27. Let p be b(i). Solve 2*d + 2*y = p, 0 = -5*d - 4*y - 8 + 21 for d.
5
Let g be -2*(-14)/(168/30). Solve 5*i = -5*s + 17 + 8, i - g*s + 1 = 0 for i.
4
Let l = -832 - -837. Solve -4*g - 3*h = -0*h + 2, 4*h - 18 = l*g for g.
-2
Suppose 0 = -l + 15 - 38. Let f = l - -26. Solve -z - 1 = -f*t - 6*z, 4*t + 4 = -4*z for t.
-3
Let a(j) = 16 + 2*j**3 - 13 + 11*j**2 - 6*j - 3*j + 3*j. Let o be a(-6). Solve -4*r + 6 - 3 = 5*x, -o*x + 4*r = -21 for x.
3
Let d(m) = -m**2 - 9*m + 26. Let c be d(-11). Suppose 4*l - 3*l - c*o = 14, -5*l = -5*o - 25. Solve -6 = l*v + 3*y + 1, y = v - 9 for v.
4
Suppose 0 = 2*m + 3*m - 15. Suppose m*y + 6 = 21. Solve 23 = -5*a - o, 3*a - y*o + 21 = -2*o for a.
-5
Let c = -23 + 143. Let k = c + -117. Solve -6*q = -q + 2*l, 5*q = -k*l + 5 for q.
-2
Let z = 84 - 79. Suppose -t - 1 = z*f - 11, 3*f + 4*t - 6 = 0. Solve 2*g - 2*s - 3*s + 17 = 0, f*g + 4*s - 10 = 0 for g.
-1
Suppose 0 = -h - 2*x + 7 - 3, 5*x = h - 25. Suppose 9*y - h*y = -3. Solve -6 = -y*o + 4*n - 2, -o + n = 0 for o.
-4
Let z be (-6)/(-1)*6*35/252. Solve z*k + 3 + 2 = 0, 2*k = 2*j + 2 for j.
-2
Let m(i) be the second derivative of i**4/12 + 2*i**3/3 - 9*i**2 - 15*i. Let s be m(-7). Solve 3*x - 5*p = -2*p - s, 4*p - 32 = -3*x for x.
4
Let j be (-10)/4 - 2250/(-60) - 0. Solve 3*m + 31 = -c + j, m + 4*c = -17 for m.
3
Suppose -2*c + k = -1, 14 = 4*c + k - 3. Solve -j + 20 = -c*n, -3*j + 1 = 4*n + 6 for n.
-5
Let n(v) = 32*v + 73. Let a be n(-1). Solve -4*i + a = -0*i + 5*q, q - 13 = -2*i for i.
4
Let i be 13/(-2)*(20/(-5) + 2). Suppose i*o - 15*o = -4. Solve 0 = -o*s - 3*j + 25, -5*s + 6 = -j - 14 for s.
5
Let l be (5/3)/((-2)/(-6)). Let b be 3 + -2 + -167 + 2 + -3. Let o = b + 192. Solve o = 5*i - 0*i + 5*a, -l*i + 5*a = -5 for i.
3
Suppose -161*o + 160*o = 6. Let g be -3*10/12*o/3. Solve -i + 4*w = 3*w - 4, i + g*w = -14 for i.
1
Suppose -h + 2*h + 40 = 0. Let s = -34 + 14. Let n = s - h. Solve -2*y - 2*y - 4*z - 20 = 0, 3*z = 4*y + n for y.
-5
Let f(o) = o**2 - 2. Let d = -43 + 31. Let s be 3/9*d/(-2). Let m be f(s). Solve 0 = 2*c + m*a - 10, 4*c - a - 6 - 14 = 0 for c.
5
Suppose 2*f = f + z + 6, -3 = z. Solve 2*u - 5*i = f*u - 3, -3*u - 4*i + 9 = 0 for u.
3
Let g(i) = -i**3 + 6*i**2 + 7*i - 15. Suppose 0 + 6 = -3*f, -5*d = -f - 32. Let j be g(d). Solve 3*w - 9 = -5*h, 12 = -5*h + j for w.
-2
Suppose -8*h + 84 = 68. Solve 0 = -a + h*u - 3, 3*a + u + 9 = 0 for a.
-3
Suppose -3*g - 2*g = 0, 3*g - 15 = -5*m. Solve v + 2*t = m, v + 2*v = 3*t for v.
1
Suppose 24 = -0*x - 2*x - 4*u, -x + 3*u + 13 = 0. Let n = 5 + x. Suppose -4*p - 12 = 4*h, p - 2*h = 18 - 6. Solve -p = k - n, 3*v = -k + 4 for v.
1
Suppose -10*o - 8 = -6*o, 3*o - 8 = -2*y. Solve -6 = 5*p - 3*k, -2*p = 4*k + y + 11 for p.
-3
Let a = 9 - 3. Let f be ((-4)/a*-6)/1. Suppose 2*v + 2 = -0*v, 2*v = 3*p - 86. Solve -3*h + 3*l - 7 = h, -f*h - 4*l = p for h.
-4
Let r = -56 + -57. Let i = r + 113. Solve i = -v + 2*p, -3*v - 2*p = -0*v for v.
0
Suppose -z + 13 = -r - r, 3*z = 3*r + 33. Solve 2*m - 3*m = -5*l - z, 0 = m - 2*l - 6 for m.
4
Suppose -3*z - 4*v + 9 = 0, 0 = -15*z + 13*z - 2*v + 6. Solve n - 4 = -4*a - 8, -n + 10 = -z*a for n.
4
Suppose -78*j + 83*j - 80 = 0. Suppose 0 = -k - w + 3, 2*k + w = -k + 7. Solve 2*m = -2*n - 0*m + 12, -j = k*n - 5*m for n.
2
Let z = -134 - -139. Solve 5*u - z*r = 30, 0*u - 3*u + 5*r = -26 for u.
2
Suppose 8*u - 75 = 3*u + 5*g, -4*u + 74 = 3*g. Let n = u - 15. Solve 17 = 3*i -