 Solve 0 = v*m + 3*p - p + f, m + 2 = p for m.
-5
Let c = 32 - 15. Suppose c = 4*z - 3. Solve -3*g + b - 21 = -7*g, 0 = 5*g - 3*b - z for g.
4
Let o be 26/8 + 33/44. Solve -o*g + 35 = 3*l, -l - 3*l - g + 25 = 0 for l.
5
Let l(m) = -m + 2. Let j be l(-2). Suppose 4*y - 4 = 0, s - 4*y - 46 = -4*s. Solve k + j*z = -0*k - 19, 0 = 2*k - 4*z - s for k.
-3
Suppose r - 22 = -4*y, 0 = 4*r - 3*y - 2*y + 17. Solve -r*i + 10 = 0, -3*d - 2*d = -5*i + 20 for d.
1
Suppose 3*n = 2*m - 1, -3*m + 15 = 3*n - 9. Suppose s + 3 = 2*s + 5*v, 0 = 2*s + 5*v - 6. Solve -2*j - m + s = -2*z, -z - 4*j = 9 for z.
-1
Let u be 18/4 - 6/12. Suppose -2*z + 16 = -0*l + 3*l, -2*l + 6 = -z. Let b be 11/(-2)*-1*z. Solve k - 4*m + b = -u*k, -3*k - m + 7 = 0 for k.
1
Suppose -4*u - 142 = 2*q, 2*q = q + 5*u - 106. Let t = q - -133. Suppose t = -5*y + 132. Solve 3*j = -4*p + 3, 11 + y = 5*p - 4*j for p.
3
Let n(h) = 2*h**2 + 9*h - 7. Let i be n(-5). Let g be -10*(-1)/(5/(-2)). Let k = i - g. Solve -5*b = a + 3, -2*a - k - 4 = b for b.
0
Suppose 5*h + 2*w - 54 = -16, 0 = -2*h + 2*w + 4. Solve g + 3*g - 12 = -2*z, -2*z = -2*g + h for z.
0
Let s = -54 + 56. Solve -4 = -s*y + 4*y - 2*b, -2*y - 4*b - 4 = 0 for y.
-2
Let m = 3 + 0. Suppose 0 = 4*s - 3*v - 71, -m*s = 2*s - 4*v - 89. Solve -5*o - 3*a + s = -3*o, 5*a - 30 = -5*o for o.
1
Let q(p) be the third derivative of 5*p**4/24 - 2*p**3/3 - 7*p**2. Let s be q(2). Solve 6 = 3*m, -2*a = -s*a - 4*m + 8 for a.
0
Suppose -4*x - d + 5 = -2, -2*x - 4*d = 0. Let s(p) = p**2 - 2*p + 3. Let h be s(x). Suppose -z = -h*z + 4. Solve -4*t + z = -5*c, 0 = -5*t + 17 - 2 for c.
2
Suppose 4*n - 12 = 0, -3*s + 12 = 4*n - 3*n. Solve -4 = -2*z, -13 = -s*v - 3*z + 5 for v.
4
Let q be 3/2*(-8)/4. Let k be -5*q/15*2. Let f be (-3)/(2 + 14/(-4)). Solve -f*w = k*m + 2*w + 4, 0 = 3*w + 9 for m.
4
Let k(i) = i + 11. Let x be k(-9). Let l = x - 2. Solve m = -5*h - 23, h + 3 = -m - l for m.
2
Let m = 2 - 2. Suppose -3*d + 0 + 3 = m, 5*d - 8 = -x. Suppose -f + s + 6 = 2*s, 0 = 2*s - 4. Solve -23 = f*v - x*o, -v - o = -5*o + 22 for v.
-2
Suppose -3*n + 3 + 9 = 3*g, -2*n + 3*g = -8. Solve 0 = s - 4, 0 = -h + n*h + s - 4 for h.
0
Let d(t) = t**2 + 5*t + 2. Let x be d(-4). Let p be (x/(-6))/(2/(-6)). Let s be p/2 + (-11)/(-2). Solve 5 = -s*y - 2*h, -h + 17 = -2*y - 2*y for y.
-3
Suppose -4*w = -5*t + 4, 4*t - w = 3*t. Solve 16 - 6 = -t*d - 2*i, 3*d - 25 = 5*i for d.
0
Suppose 0 = -5*p + 5*y + 45, 4*p = -0*p - 5*y - 9. Solve -3*l + 5*l = 3*k - 7, -4*k + 4*l = -p for k.
5
Let l be (0/(-8))/(-1 + 0). Solve -3*q = -3*s - l*s - 3, 3*q - 9 = s for q.
4
Let m(l) = -4 + l**2 - 3 + 8*l - 12*l. Let p be m(6). Solve 4*f = -p*h + 1, 0*f - f - 5 = 3*h for h.
-3
Suppose 5*h = 45 - 5. Suppose -15 = 5*l - 5*v, 7*v - 4*v = 2*l + 10. Let u be -1 + (h - 2) - l. Solve 5*b - 27 = -a, 0 = u*b - 0*b - 20 for a.
2
Let t be ((-2)/5)/((-9)/45). Suppose -t*x = -3*x. Solve n - 20 = 5*h - n, -5*h - 5*n + 15 = x for h.
-2
Let r(m) = -21*m**3 + 2*m + 1. Let c be r(-1). Let w = -16 + c. Solve 4 = w*t, 2*u - 4*u - 11 = -3*t for u.
-4
Let f(m) = 4*m**2 + 0 + 4 + 3*m + m**3 - 4. Let a be f(-2). Solve 3*l - 1 = -5*v, a*v = -3*l - 3 - 2 for v.
2
Let j be (-2 + 0)*2/4. Let w be (-2 - (j - 1))/(-1). Solve w = -5*q + 4*m, -2*m = -5*q - m for q.
0
Suppose 0*f = -3*z - f + 18, 0 = 5*z - 5*f - 50. Let w = z + -5. Let m = 1 - 1. Solve 5*r - 4*d + 27 = 0, -4*r + w*d + 0*d - 18 = m for r.
-3
Let h = 3 - 1. Solve 3*i = 5*c - 31, -h*i + 5*c - 32 = -3 for i.
-2
Suppose -24 = -m - m + q, 4*m = 3*q + 52. Suppose m = 4*k - 2. Let r = -12 + 17. Solve 2*x = 3*h + r, -2*h - k = h for x.
1
Let b = 27 + -3. Let w be 40/6*b/20. Solve 2*i - 14 = -2*v, 0 = 5*i - 2*v - 13 - w for i.
5
Suppose -3*d + 0 = -15. Solve 2*u = 2*w - 2, w - 4*w + d*u - 3 = 0 for w.
4
Let t(g) = g**3 + 6*g**2 + 6*g - 5. Let i be t(-4). Solve 2*k + 3*f + i = 0, -k = k + 2*f for k.
3
Suppose -297 - 67 = -4*z. Let q = z - 61. Solve -b - 14 = -3*t, -2*t + 5*b + q = -1 for t.
3
Let c be 18/(-12)*(-4)/3. Let q = c + 3. Suppose 0 = -q*d + d + 8. Solve 14 = 2*m - d*o, o + 15 = 5*m - 0 for m.
2
Suppose 2*n + 8 = 2*x, 2*x = 4*n - n + 7. Suppose 0 = -j + x*j - 4. Let l = -5 - -5. Solve 0 = 4*w - 4*b - 4, -3*w + b = -j - l for w.
0
Let p(v) be the second derivative of v**5/20 - 2*v**4/3 + 4*v**3/3 - 5*v**2/2 - 2*v. Let y be p(7). Solve 5*w + 8 = 3*q, -y*w + q - 2 - 2 = 0 for w.
-4
Suppose 0 = 2*o + 3*o - 15. Let a be ((-18)/(-10))/((-9)/(-30)). Suppose 2*r = 5*u - 6, -u - a = -4*u. Solve -b + 9 = -o*y, -2*y + b - 7 = -r for y.
-4
Let o(r) = r - 1. Let g be o(5). Solve -g*d + d - 5 = -4*w, 0 = 2*d - 2*w for d.
5
Let l(y) be the first derivative of -y**2/2 - 3*y - 2. Let d be l(-5). Suppose -30 = -2*u - u. Solve -3*a - 5*t - u = 0, 5*a + t + d*t = 10 for a.
5
Let s(d) = 5*d**2 + 2*d - 3. Let f(o) = 6*o**2 + 3*o - 4. Let p(b) = -4*f(b) + 5*s(b). Let w be p(6). Solve -21 + 9 = 3*z, 3*j + w = -4*z for j.
-3
Suppose -4 = 2*s - 4*y, s - 4 = -3*y - 1. Let l(i) = i + 10. Let w be l(s). Solve -2*j + w = -t + j, -4*t + 24 = 4*j for t.
2
Let q(s) = s**3 + 4*s**2 + 2*s. Let y be q(-3). Suppose t + 17 = 5*z, t = -y*z + 20 + 3. Solve 20 = -5*h, -11 = x + 4*h + t for x.
-3
Let c(j) = 2*j - 2. Let v be c(1). Solve -3*h - q - 10 = 0, v = -h - 4*q + 2 + 2 for h.
-4
Suppose -11*z + 16*z - 15 = 0. Solve 0 = 5*l + y - 8, 2*y = -5*l + 8 + z for l.
1
Suppose -65 = -5*o + 70. Solve -3*m = d + 2*d + o, -2*m = -d + 6 for d.
-4
Suppose -2*h - 2*h + 48 = 0. Suppose 2*b - h = -2*b. Solve 5*q = n - 25, q + n + b = -2 for q.
-5
Let k(b) = -5*b + 1. Let w be k(1). Let c(n) = -n + 1. Let x be c(w). Solve -6 = 2*i - 4*q, -3*q + 5 = 4*i - x for i.
1
Let o be 2/3*3 + 0. Let q(n) = -n + 1. Let g be q(0). Let p be g - -3 - (-4 + 5). Solve -2*b = 3*v - 6, -o*b + p*b = 0 for v.
2
Suppose -u - 2*u = -15. Solve -5*w + 4*t = -40 + u, -4*w + 17 = -t for w.
3
Let j = 12 + -7. Suppose -3*p - 3*q = -12, j*p - 17 = -3*q + 5. Solve 4 - 41 = 5*d + 4*o, -15 = p*o for d.
-5
Let b be 60/3 - (-1 - 1). Suppose 0 = -5*q - 2*c - 6, 5*q - c + 20 = 4*c. Let k be (q - 0)*(-6 - -5). Solve 4*v + k*d - b = 0, -v + 4*d - 26 = -3*v for v.
3
Let k(u) = -3*u + 56. Let l be k(18). Solve 5*x = -3*g - 0*g - 14, 3*g = l*x + 14 for g.
2
Let j(n) = -5*n - 6. Let w be j(-2). Solve 0 = -w*m + 2*d + 10, 2*m + 25 = 6*m - 5*d for m.
0
Let d(o) = o + 12. Let p be d(-10). Let x be (p/(-7))/((-1)/7). Solve f = -x*g + 7, 5*g + 6 = g + 2*f for g.
1
Suppose -5*r = -31 + 11. Let g(q) = -2*q. Let k be g(-1). Let o = r - k. Solve -a = -o*b + 8, 2*b + 8 = -3*a - 0*a for b.
2
Suppose 0 = -5*l - r + 21, -2*l + r = 3*r - 10. Let u be (10 - l)/((-6)/8). Let n be u/28 + 23/7. Solve -2*b - n*o + 7 = 0, 0 = -5*b - o - 2*o + 22 for b.
5
Suppose -i + 4 = 4*c - 5*i, 4*i - 11 = -c. Solve -5*v + d = -0*d - c, 2*v - d = 0 for v.
1
Let q(b) = b**3 - 4*b**2 + 6*b + 1. Let j be q(2). Solve 3*f = -3*k - 6, k + 0*k = j*f - 20 for k.
-5
Let k(g) = -3*g - 29. Let o be k(-10). Solve 2*m - 3*h = -7, 0*h + o = -2*m + h for m.
1
Suppose 2 = 3*k - 7. Solve 2*a + a + k*c = 15, 4*c = -a + 8 for a.
4
Suppose -4*l + 1 = -11. Solve -l*a = 4*n + 15, -5*n = -2*a + 6*a + 20 for a.
-5
Let o(v) = -v**3 - 9*v**2 - 8*v + 2. Let s be o(-8). Solve -3*q + s*t + 12 = 0, -2*t = 4*q - 5*t - 16 for q.
4
Suppose 3*w = -4*j + 8 + 6, -3*j = -4*w - 23. Let s(t) = 3*t + 1. Let l be s(1). Solve h + 3*x = -14, 5*x + 24 - l = -j*h for h.
1
Suppose 0 = v - 4*v - 60. Let u be (-57)/(-4) + 5/v. Let n = -2 + 4. Solve -u - 2 = 4*j - n*g, -5*g = 5*j - 10 for j.
-2
Suppose -g - 2 = 4*u + 3, 0 = 5*u - 4*g - 20. Let q(d) = -d - 24. Let n be q(u). Let o be n/7*84/(-8). Solve 3*l = -15, 4*j - o = 3*l - 9 for j.
3
Let l(v) = v**3 - 2*v**2 + 2. Let r be l(2). Let g be (6*r)/4 + 0. Solve -12 = -0*n + 3*n, -3*f - 15 = g*n for f.
-1
Let l be (0 - -2)/(-1 + 2). Let t be (8/3)/(4/18). Let m = 0 + 3. Solve m*x + x + t = -5*s, -5*s - 16 = l*x for s.
-4
Let l = 36 - 24. Solve -k = 4*k, l = -4*z + 5*k for z.
-3
Suppose u + 7*u = 96. Solve 2*p = -5*h + 4*p + 15, -4*h + u = p for h.
3
Let w be 44/8 - (-2)/(-4). Suppose -w*b + 2*b = 21. Let o = -3 - b. Solve -f + 12 = f - o*p, 3*p = 3*f - 12 for f.
2
Let l(a) = a**2 + 0*a**3 - 5*a**3 + 2*a + 1 - a**3. Let u = -1 - 0. Let x be l(u). Solve 3*i - 3*c = -x, 0*i - 5*i - 10 = 2*c for