*j + 16, -3*a = -5*j - p for j.
2
Suppose -3*p + 60 = 3*p. Solve -2*o + 20 = -4*d, -4*d = -2*d + 5*o + p for d.
-5
Suppose -21 = -4*n + k, 3*k + k - 11 = -3*n. Solve n*c - 5*w = -w + 40, -6 = -4*c - 2*w for c.
4
Let x = -8 - -7. Let o be (-1)/x*(12 + 0). Suppose -2*z + o = 2*z. Solve -3*i + 16 = d, 2*d + 12 + 1 = z*i for i.
5
Let w(d) = d**2 - 4*d - 8. Let c be w(6). Solve -3*v = v - 4*f - c, 2*f = 0 for v.
1
Let m be ((-5)/(-2))/((-10)/(-8)). Solve 4*p + 5*r = -15, 2*r + 18 = -6*p + m*p for p.
-5
Let z(n) = 2*n. Let i be z(-3). Let w(c) = -c**2 - 7*c - 1. Let r be w(i). Suppose 0 = 5*q - 5 - 15. Solve 2*p + 8 + r = -5*k, q*k = -2*p - 12 for k.
-1
Let i be ((-9)/6)/((-2)/(-36)). Let k = i + 29. Solve -s = -5*m - 3, -k*m - 4*s = 3*m - 12 for m.
0
Suppose -5*z + 8 = -2. Suppose 17 = z*n - 3. Suppose 0 = 4*a + 3*d - 4*d - n, 5*d - 22 = -4*a. Solve -16 = 5*q + 6*f - a*f, 4*q - f + 23 = 0 for q.
-5
Suppose 0 = n + 3*n. Let u be 2/7 - 48/(-28). Suppose 5*f - 5 = -k + u*k, f = 3*k + 1. Solve -3*a - 2*a + 21 = -4*p, n = 4*p - a + f for p.
1
Let f = -17 - -13. Let g = 7 + f. Solve -w + 5*w + 1 = -5*r, 5*w + 2*r - g = 0 for w.
1
Let c(z) = z - 7. Let h be c(9). Solve 0 = -3*i + h*k + 4, -i + 2 = -6*i - k for i.
0
Suppose 0*o = -o + 10. Let w = -6 + o. Solve 5*d = -k + 20, d = 2*d - w*k - 4 for d.
4
Let g = -8 - -17. Solve 3*u = -k + 12, u + 2*k - g = -0*k for u.
3
Let b = -10 - -14. Solve 3*m = b*y + 5*m, 4*y + 3*m + 4 = 0 for y.
2
Let b(c) = c**2 - c + 2. Let o be b(2). Let y be (12/15)/(o/10). Solve 0*t - 2*t + y = 0, -2*x - 5*t = -5 for x.
0
Let j be (-25)/(-8) + 24/(-192). Solve 2 = -s - j*l, s + 0*s + 4*l = -2 for s.
-2
Suppose 0 = -z + 57. Suppose -79 = -5*w - 2*s + s, -3*w - 3*s = -z. Let m be ((-12)/w)/(4/(-10)). Solve 2*o + 2*q - 15 = -3*o, 0 = 4*o + m*q - 12 for o.
3
Suppose -118 = 5*o - 38. Let k = o + 30. Solve t - 5*s = -11, 4*t - s + k = 4*s for t.
-1
Let q be 7/((-7)/3) + 11. Solve -n + 2 = 5*c - 3*c, -q = 4*n for c.
2
Let d(g) = -4*g + 0*g**2 + 1 + g**2 + 1 - 2*g**2. Let l(w) = -w - 1. Let x be l(3). Let f be d(x). Solve 3*n + 2*r - 7 = 0, 0*n - 5 = -f*n - r for n.
3
Suppose 4*g = g + 15. Let c be (-2)/g + 2/5. Suppose -3*l = 2*l - 10. Solve -2*o + 4 = l*o - 4*u, c = -u for o.
1
Suppose 3*k + 7 = -2. Let x be ((-4)/k)/((-1)/3). Let v be (-42)/(-8) + 1/x. Solve 3*c = 5*t - 12, -c = -0*t + v*t - 16 for t.
3
Let l = -1 + 1. Let j be ((-12)/42)/(2/(-14)). Suppose 0*b = j*b - 10. Solve -b*p = -2*v - 29, l = -v + p + 2*p - 17 for v.
-2
Let n(c) = -11*c - 8. Let w be n(-4). Suppose 0 = -4*k + w - 4. Solve 0 = -2*j + 5*t + k, -4*t - 5 = -j - 1 for j.
4
Suppose -5*b - z + 12 = -5, z = 3*b - 15. Solve -j = 5*d - 2*j + 1, b*d + 5*j - 5 = 0 for d.
0
Let h = -9 - -5. Let f be 1 - 4/(h/9). Suppose 2*d - 2 = -4*p, -3*p - 22 = -5*d - 56. Solve -4*g = -x + f, 3*x - 2*g - 4 = -p*g for x.
2
Let i = -5 + 7. Solve -4*g = -5*x - 1, -i*g + 25 = 2*g + 3*x for g.
4
Let z(m) be the third derivative of m**6/120 + m**5/15 - m**3/2 - 2*m**2. Let x be z(-3). Solve -2*f - 3*d + 1 = 2, -4*f + x = -2*d for f.
1
Let c(i) = -i**3 + i**2 + 2*i - 1. Let h be (5 - (1 - 0))/(-2). Let m be c(h). Solve 3*w + w = -3*f, 0 = w - f - m for w.
3
Let i = -6 + 15. Let m = 29 - i. Solve 0 = q - 3*v + 4, -m = 5*q - 0*v + 5*v for q.
-4
Suppose 0*j - 4*a = 2*j, 3*j = -5*a + 1. Solve 0 = -3*k - 3*z + 3, -5*z + j*z + 9 = k for k.
-3
Suppose -3*w = 3*c + 3, 0 = -4*w + 2*c + 20. Let r be -3*(-3)/((-9)/(-2)). Solve -3*k = w*o - 6, -3*o - r*o = 2*k - 7 for o.
1
Let p = 3 - 5. Let r be (p/(-4))/(2/(-8)). Let j be 2 - 3/(3/r). Solve -4*z = 2*m - 14, -j*z + m = 4*m - 19 for z.
1
Let x be 6/(-24) - 1*(-2)/8. Solve 5*h + 3*q + 32 = x, -3*h + 3*q = 5*q + 20 for h.
-4
Suppose 0 = -y - 3 + 13. Let h be 5/(-3) + (-4)/(-6). Let o be h/((-1)/2 + 0). Solve -2*a + 15 = a + 3*p, o*a - y = p for a.
5
Suppose -6*b - 8 = -7*b. Suppose -4*z + b = -2*z. Solve z*f = -3*t + 2*t - 7, -4*f = -4*t + 32 for f.
-3
Let t = -8 - -13. Let u(c) be the third derivative of c**4/24 + 5*c**3/6 - 2*c**2. Let i be u(5). Solve -10 = t*n + y - 4*y, 2*y - i = 4*n for n.
-5
Suppose -7 = x - 4*u, 2*x - 2 = 2*u - 4. Let d = 1 - x. Solve -3*g = -5*p - 22, -p + d*g - 3*g = 8 for p.
-5
Let l(v) = -5*v - 5. Let h be l(-3). Solve -5*r + 5*m + h = -0*m, -4*m + 20 = 3*r for r.
4
Let a(o) = o + 11. Let m be a(-9). Suppose -2*h - 5 = -13. Solve -4*x + 8 = h*z, -3*z + 4*x - 18 = -m*z for z.
-2
Let b(c) be the first derivative of c**3/3 + 11*c**2/2 - 8*c - 1. Let a be b(-12). Let r(x) = 5*x - 3. Let u be r(2). Solve 0 = u*w - 3*w + 2*y, 0 = -a*y for w.
0
Suppose 0 = 4*c - 8*c - 2*g + 22, -3*c = -5*g + 3. Solve 4*x + l = 4*l + 27, c*x - 7 = -l for x.
3
Let r = -17 + 19. Solve 1 = -j, j - 2 = -5*k + r for k.
1
Let m be (1/(-1))/1 - (-8 + -27). Solve 0 = 5*f - o + 8 + 2, -3*f - 5*o = m for f.
-3
Suppose -27 = -3*n + 3*w, 18*w = -4*n + 23*w + 40. Solve -4*q = -n*h + 2 + 6, h - 2*q = -2 for h.
4
Suppose -3 = -q + 3. Let y be (3 - 14/q)*6. Let n(j) = j**3 - 4*j**2 - j + 4. Let p be n(4). Solve p = -5*c - x + 6 + 17, c = -y*x + 16 for c.
4
Let j be -1*((-46)/2 - -1). Let n be 1/3*j*3. Suppose 3*p - 4 = 4*s - n, 3*s - p - 11 = 0. Solve 6*v + 12 = 2*v - 4*c, 0 = 4*v + c + s for v.
0
Let b be -1 - 1 - (-2 - -3). Let f be 3*(0 + (-3)/b). Solve -3*l = -3*z - 15, -2*z + f*z = 4*l - 5 for l.
0
Let c(w) = 2*w + 3. Let r be c(-3). Let u be (-12)/18 + 1/r. Let i be (0*(-1)/3)/u. Solve 0 = 2*h + 2*p + 12, 5*h - p = -18 - i for h.
-4
Let w = -4 + 5. Suppose -w = j - 6. Solve -6 = 3*l - g, -4*g + j = -3*l - 1 for l.
-2
Let n = 3 + -1. Suppose 0 = n*i + 4 - 0. Let u = 9 + i. Solve u*j - 20 = 3*j, -j = l - 5 for l.
0
Let p = 27 + -5. Solve 0*c + p = 2*c - 4*o, 27 = 5*c - 3*o for c.
3
Let g = 2 + -6. Let h be (-1)/(-2) - 14/g. Solve -3*k + 1 = -i + 3, -h*k = -4*i + 16 for i.
5
Let l = -9 + 9. Let a be 1/5 - 72/(-40). Let o be 38/14 + 4/14. Solve c - 7 = -2*w - 3*w, o*w + a*c = l for w.
2
Suppose 0 = -4*d + d + 15. Solve d*b + 2*l - 5 = -l, 3*l - 1 = -4*b for b.
4
Suppose 5*w + 17 = -3*r, 3*w + 2*w + 5*r = -25. Let y(z) = -4*z**3 - z**2 + 1. Let f be y(w). Solve -f = u - 2*d, -5*d + 13 = u - 11 for u.
4
Let r = -34 - -37. Solve 3*p + r*b - b = -10, 2 = -3*p + 2*b for p.
-2
Suppose 3*t = -0*t - j + 17, -5*t = -4*j. Solve t*v + v = -10, -5*p = 5*v + 25 for p.
-3
Suppose -15*o - 24 = -18*o. Solve -2*h + 4 = -4*h + 3*x, -3*x - o = 4*h for h.
-2
Let p be -2*(2 - -11) + 0. Let z = -17 - p. Suppose d - z = -2*d. Solve -4*u = -d*w - 1, u + 2 = 2*w - 4 for u.
4
Let g(l) = -l**3 - 6*l**2 + l + 5. Let a be g(-6). Let i be a*(0 - -1) - -3. Solve i*y + 0 + 2 = 2*u, 21 = 5*u + 3*y for u.
3
Let c(k) = -k**2 - 11*k - 6. Let w be c(-10). Let o be w/(-12) + (-1)/(-3). Solve o = 5*p - i + 3*i - 3, 3*i = 3*p - 6 for p.
1
Suppose 2*m - 6*m + 15 = -3*r, 3*m - 3*r = 12. Solve 3*w + 14 = -5*y, 3*w = m*y - 1 - 5 for y.
-1
Let j(u) = 3*u**3 + 84 - 83 - 2*u + 3*u**2 - 4*u**3. Let t be j(1). Solve d + t = 2*r + 5, 5*d - 20 = 5*r for r.
0
Suppose -56 = 4*a - 68. Solve a*w - 5 - 7 = -r, -w = -2*r + 3 for r.
3
Let h(v) = -v + 6. Let k be h(-8). Suppose z + 0 = k. Let l be (-3)/6 + z/4. Solve s - 4 = -2*n, l*n + 3*s = -2 + 14 for n.
0
Let j(x) = -x - 12. Let b be j(-7). Let z(d) = -d**2 - 5*d + 5. Let m be z(b). Solve -3*g + 3*r + 21 = 0, -4*g - m*r = -2 - 8 for g.
5
Suppose 0 = -10*c + 15*c - 30. Solve g - m = m - c, -5*m = -2*g - 13 for g.
-4
Let n be (1/(-2))/(3/(-96)). Let x be (-1)/(-1 + (0 - -2)). Let h be (x + (-1)/(-1))*1. Solve -48 = -4*f - 4*v - n, h = -f + v - 2 for f.
3
Let x be (1 + -1)*12/(-36). Suppose 0 = 5*k + 5 + 5, 2*i - 3*k - 6 = x. Solve i*p - 3*b = 2*p - 1, 4*p + 6 = 2*b for p.
-1
Let t(y) be the second derivative of y**4/12 - y**3 - 3*y**2/2 + 7*y. Let q be t(7). Solve -1 = 3*l - 10, 4*f + q*l = 12 for f.
0
Suppose -20 = -4*d + 4*q, 4*q = 5*d + 2*q - 28. Let r(u) = -u + 9. Let s be r(d). Solve 0*c = s*c - 3*i + 18, -2*i = 5*c + 2 for c.
-2
Suppose 20 = 3*d + 2*d. Suppose d = 3*u - y - 0, -u + 23 = 4*y. Solve 0 = -4*i - 2*h + 18, u*h + h - 14 = 3*i for i.
2
Let j be 60/(5/(-15)*-6). Solve 3*b = -2*b - 3*h + j, 4*b = 4*h - 8 for b.
3
Let m(h) = h**2 - 11*h - 22. Let f be m(13). Solve 9 = -f*r + 2*t + t, 5*r + 13 = 2*t for r.
-3
Suppose 3*l = 7*l - 12. Solve 31 = -5*p + q + l*