 Solve x*b - 2 = 5*b + 5*o, -4*o = -b + 2 for b.
2
Let j = 5 + -2. Solve -3 = -5*u - j*r, 4*u + 2*r - r - 8 = 0 for u.
3
Suppose -y - 1 + 16 = 4*i, 0 = 2*y + 4*i - 22. Solve 0*r - 5 = -5*r - 5*q, 0 = 4*r + q - y for r.
2
Let a(w) = -w**3 + 4*w**2 + 2*w + 6. Let j be a(5). Let t = j + 12. Solve -m + t + 1 = 4*r, -3*r - 3*m + 12 = 0 for r.
0
Suppose t - 11 = 15. Solve -4*p = 5*n - 37, t = -0*p + 2*p + 4*n for p.
3
Let t be (60 - (-3)/(-3)) + -2. Suppose 0*q - 31 = -j - q, 3*q = 2*j - t. Let g be (10/(-6) - 0)*-3. Solve 5*y - 6 = -3*d, j = 4*y + y - g*d for y.
3
Suppose -l = -1 - 2. Let p(y) = y**3 - 3*y**2 - 4*y + 5. Let r be p(4). Let v be 3/(-6) + (-30)/(-4). Solve -3 = r*b + 4*x - 9, -x - v = -l*b for b.
2
Let f be (-1)/(-2) - (-36)/8. Solve -11 = o - f*n, 11 = 2*o + 4*n - 9 for o.
4
Suppose -5*m = -4*h + 55, 3*m + 16 = -0*h - h. Let f = -8 + -2. Let s = m - f. Solve s*a - 4*p + 7 = 16, 0 = 2*a - 4*p - 6 for a.
3
Let w = -4 - -9. Solve 0 = -4*f - w*x + x, 2*x = 0 for f.
0
Let b = 2 - 5. Let k be (1 - (-1 + 3))*b. Suppose -p - 2*s = -27, 3*s + 115 = 5*p + 8*s. Solve 2 = 4*x - 3*x - r, p = 2*x + k*r for x.
5
Let i be (91/(-14))/(2/(-4)). Let b be ((-12)/5)/((-12)/90). Solve 5*h + b = -5*a - 7, 3*h = -2*a - i for a.
-2
Let y(g) = -g - g**2 + 4*g - g. Let z be y(2). Suppose 0 = 2*m - 2*r + 2, m - 5 = -z*m - r. Solve 0 = -2*x - 3*b + 11, 14 = x + m*x + 2*b for x.
4
Suppose -3*x + 0 = -18. Solve 20 = 4*r + 4*v, -5*r - x*v + 4*v = -10 for r.
0
Let g(p) = p**3 + p - 1. Let h(l) = -5*l**3 + 5*l**2 - 8*l + 7. Let v(q) = 4*g(q) + h(q). Let y be v(4). Solve 5*x = 2*z - 17, -2*x - y*x + 3*z - 13 = 0 for x.
-5
Suppose -12 = -2*j - 4. Solve -j*p + 20 = -4*s, 0 = -2*p - s - 0*s + 10 for p.
5
Suppose -2*h - 2*d - 52 = 0, 5*h + 4*d + 0*d + 131 = 0. Let a be (h/(-15) + -1)*5. Solve 0*z - 5*z = 25, -2*o = -a*z - 24 for o.
2
Let f be (-1 - -2)/((-2)/(-8)). Solve -f*i = w + 3*w - 16, -4*w = -4 for i.
3
Let z(p) = 2*p**2 + 9*p + 3. Let m be z(-6). Let r = m - 0. Let k be r/6 - (-2)/(-4). Solve 2 = 2*l + 5*g - 1, -4*l = k*g + 1 for l.
-1
Let k(h) be the first derivative of h + 1/2*h**2 + 2 + 1/3*h**3. Let u be k(-2). Solve 12 = u*w, -4*d + 3*d = -3*w + 12 for d.
0
Let s = -1 + 10. Let k be 2*(-3)/(-12)*2. Let f(i) = i**3 - 2*i**2 + i. Let p be f(k). Solve 4*q + 3*y = q + s, -3*q - 4*y + 12 = p for q.
0
Let h = -18 + 32. Solve 5*f + q + 12 = -8, 3*f + q + h = 0 for f.
-3
Suppose 3*m - 4*q = -15 + 5, 5*m = -4*q + 26. Suppose -z - 8 = -2*z. Solve -2*w = -m*j + z + 6, 5*j - 29 = 3*w for j.
4
Let x = -22 - -24. Solve c - 1 + x = 0, c = -4*l - 1 for l.
0
Let s be 1/((-44)/12 + 4). Solve -2*m - 20 = 2*z, -5 = s*m - z - z for m.
-5
Suppose 24*s = 22*s + 10. Let l(b) = -b + 2. Let c be l(-7). Suppose 3*t - 6*t + 5*g - 6 = 0, 0 = -3*g + c. Solve -s*j = 2*n + 6, n + 3 = t*j + 11 for j.
-2
Let x(m) = 3*m + 3. Let o be x(-3). Let c be (-3)/o*-2 + 49. Suppose 5*a - 9*a = -c. Solve -5*u - 13 = 5*p - 3*p, 0 = -4*u - a for p.
1
Suppose 4*t = -5*w + 22, -6*t + 2*t - 4*w + 24 = 0. Let j = t - 5. Suppose -7*q + 3*q + 16 = 0. Solve -q*u + 0*u = -j*f, u + 5*f + 23 = 0 for u.
-3
Let f be (-3)/6*2 - -4. Let k be 9 + 2*f/2. Solve -k = -2*y + 5*i, y = -i + 1 - 9 for y.
-4
Let m(o) = 19*o**3 - o**2 + o - 1. Let u be m(1). Let i = u - 10. Suppose 0 = 2*t + 1 - 11. Solve 2*j + 1 = 3*l + 4, j + t*l = i for j.
3
Let v(u) = u**3 + 1. Let h(r) = -10*r**3 + 2*r**2 + r - 6. Let g(w) = h(w) + 6*v(w). Let l be g(-1). Solve l*d - 2*d = -2*i + 7, 0 = -2*i + 5*d - 1 for i.
2
Let q be (-39)/(-9) + 1/(-3). Suppose 0*r + r - 2 = 0. Suppose 0 = -3*k - 3, -2*l - r*k = 2. Solve 18 = 2*v + 4*o, q*v - 5*o + 11 + 5 = l for v.
1
Let c be 7/(-14) + 26/(-4). Let x = 10 + c. Suppose 5*b + 29 = 2*r + r, -21 = -x*r + 3*b. Solve -2*j = -j + 2*u - 6, -u = 2*j + r for j.
-4
Suppose 5*k + 3*l - 31 = 0, 2*k - 4 = -3*l + 3. Let j(q) = 5*q. Let d be j(1). Let h be (-4)/(-18) - 160/(-9). Solve z - d*w - h = 5*z, 0 = 5*z - w + k for z.
-2
Let w(u) be the third derivative of -u**4/24 - u**3 - 4*u**2. Let j be w(-8). Solve 4*b = -5*i + j*i - 6, 0 = 4*b for i.
-2
Let v = 12 - -1. Suppose 5*s = 13 + 7. Suppose b + v = q + s*q, -b = 3*q - 3. Solve -2*n + 23 = -5*x, -4*n + q*x + 21 = -1 for n.
4
Let i(q) = q**2 - 7*q - 5. Let r be i(8). Let w be -2*(3/r + -2). Solve 6 = -4*b - w*v, -b - v = 4*v + 15 for b.
0
Suppose -x + 1 + 3 = 0. Suppose o - x*o + 72 = 0. Solve q - 6*q - 2*h = o, 2*h = 5*q + 16 for q.
-4
Suppose 5*r - 11 = 4. Suppose -2*n = -5*y + 20, -n + 7 = 2*y - 1. Suppose -y*x - 5*t + 14 = -4*t, 2*x = t + 4. Solve d = f - r + 2, -2 = -x*d - 2*f for d.
0
Let t = -10 - -14. Solve -t*q + 3*p - 4 - 15 = 0, -2*q + 18 = 4*p for q.
-1
Suppose -3*p + 4 = -4*h, 3*p + p - 5*h - 5 = 0. Suppose 2*n = q - 5, 5*n = q - 6*q + 10. Solve j + 3*u + 15 = -q*j, -2*j + u - 5 = p for j.
-3
Let h(q) = q**3 - 13*q**2 - 12*q - 14. Let z be h(14). Solve 4*t - z = -2*y, -y + 10 = 5*t - 0 for t.
1
Suppose 3*f = -0*f + 9. Suppose -7 = 3*h + 4*l, f*l + 3 = -2*h - 3. Solve 0 = -h*g - 3*q, -2*q + 1 = 4*g + q for g.
1
Suppose 0 = -2*b, 8 = 2*p + b - 2. Solve 4*m + 16 = u, p*u - 10 = -2*m - 40 for u.
-4
Let i(c) be the second derivative of -c**4/12 - 5*c**3/6 - c**2/2 + c. Let k be i(-4). Solve 4*t = k*l - 16, 5*l + 0*t + 4*t + 16 = 0 for l.
0
Let r(i) = -i + 11. Let n be 1/(-1)*1*-9. Let d be r(n). Suppose -k = 4*z - 17, -5*z - 19 = 3*k - 49. Solve z*t + 7 = w, t - 3*t - 2 = d*w for w.
1
Let q be (-15*2)/(-3) + 1. Solve 3*h - h = -5*j + q, -2 = 2*j + 4*h for j.
3
Let n = 11 - -2. Solve 4*j = -a, -4*j - j + 2*a - n = 0 for j.
-1
Suppose -5*p + 31 + 9 = 0. Let y = 10 - p. Solve -y*l = 3*v + 7, -v - v = -3*l - 17 for v.
1
Suppose 7*s - 2*s = 90. Let o = 8 + 2. Let q = 16 - o. Solve -4*n = -k - s, 4*n - 16 = q*k - 4*k for k.
2
Let b(h) = h**2 + 2*h - 6. Let g be b(4). Suppose 5*p = g - 3. Let z = p + 2. Solve -19 = 3*t - z*n, -4*t - 3*n = t - 25 for t.
2
Let f be (1/5 - 0) + (-238)/(-85). Solve i + 3*i - 16 = -2*j, f*i = 15 for j.
-2
Suppose -4*h = -2*h. Suppose -3*a = -h*a - 48. Solve -5*u - a = -3*d, -u - 4*d = -9 + 3 for u.
-2
Suppose -2*t + t = -5*o - 13, 0 = 3*t - 3*o - 63. Suppose 0 = -5*m - t - 2. Let v be ((-4)/m)/(8/20). Solve -f = 0, -v*f + 2 = -i + f for i.
-2
Let z = 185 - 179. Solve r - 4 = s, 3*r - 2*r = 2*s + z for r.
2
Let h = 51 - 30. Suppose 2*z = -4 - 2, -3*z - h = -n. Let d be ((-8)/n)/((-2)/39). Solve -3*k + d = y + 3*y, -5*k - 21 = -4*y for k.
-1
Let r be (10/(-1))/(1 - (-3)/(-1)). Solve l - 1 = r*v + 2*l, -2*l = -2*v + 2 for v.
0
Let k(i) = i**2 + 5*i + 4. Let r be k(-3). Suppose 5*x = -4*f - 3, f - 5*x = 2*f + 12. Let u = f - r. Solve -u*w + 7 = -4*o, -2*w = o - 0*w + 5 for o.
-3
Let i = -2 + 2. Suppose -3*u + u + 4*l = i, 2*u = -4*l. Suppose u*k = -k. Solve k*s - s = c - 2, -s - 5*c + 2 = 0 for s.
2
Suppose 9 = -2*g - 3. Let i = g - -14. Solve 0 = -2*o + 2*l - 4 - i, -l = -5 for o.
-1
Let w = 15 + -10. Let h be ((-6)/w)/((-8)/20). Solve 4*f - h*c = 8, -4 = -3*f + 4*c + 9 for f.
-1
Suppose o = -3*n + 7, n = -2*n + 3*o + 15. Solve 4 = g - n*v, -3*g + 1 = -2*v + 3 for g.
-2
Let c = 40 - 36. Solve c*z - 4 - 6 = b, -4*z = -5*b - 2 for b.
2
Let i be (-6)/(-9)*(-33)/(-2). Suppose 4*p + 5*j + 1 = 4, 5*p - i = j. Let q be -1 - 2 - (5 + -8). Solve q = 5*l + 25, 2*s + p*l = -3*s - 20 for s.
-2
Let u be 3/12 + 26/(-8). Let r be 3/u - (-2 + -2). Solve -5*z - 2 = -3*z + 2*a, 0 = -z + r*a + 15 for z.
3
Let s = 1 + 5. Solve 8 = 2*c, -k + s = c - 1 for k.
3
Let y be 122/6 - 4/(-6). Let d(q) = -q**2 - 8*q - 3. Let f be d(-7). Solve r - 10 = 2*n, -f*n + 3*r - y = -n for n.
-3
Let s be (-8)/(-6)*(-3)/(-2). Suppose -a - 3 = -s*a. Let i be 146/10 + 2/5. Solve 0 = -a*h + 3*n + i, h + 2 = 3*n + 11 for h.
3
Let i be (-2)/6 + (-5)/(-15). Let r be (-1 + 2 + i)*5. Solve -m = -h + 3*m - 15, 0 = -r*m + 15 for h.
-3
Let z(g) = -5*g - 8. Let l be z(-2). Solve -7 = p - 5*k, -2*k + 10 = l*p - 6*p for p.
-2
Suppose -10*k = -5*k - 20. Solve 18 = -k*t - 2*p, 0*p + p = -3*t - 13 for t.
-4
Let l = 55 - 51. Solve -g + l*s = 18, 3*g - s + 9 = 5*g for g.
2
Let f be (-36)/(-10) + -3*(-4)/30. Solve 2*r = -5*u - 1, 10 = -f*r - 2*u - 0*u for r.
-3
Let q(v) = v**2 + 12*v - 15. Let h be q(-14). Suppose h*k = 14*k - 4. Solve 0 = 2*d - 2*a, 0 = -3*d + 2*a + k - 2 for d.
2
Suppose -4*