-3*v = -3*m - 15, 0 = v + 2*m + z for v.
3
Suppose 0 = 5*i - 0*i. Solve -4*p + a + 6 = -i*a, 3*p + 2*a = -1 for p.
1
Suppose 6*z = 2*z + 12. Let v be (40/12)/2*z. Solve 2*c - 1 = -v*u - 11, 5*c - 2*u = -25 for c.
-5
Let y be -1*(-3)/((-9)/(-15)). Suppose 6*s - 2*s + 20 = 0. Let v = s + y. Solve v = -2*g, f + 0*g + 3*g + 5 = 0 for f.
-5
Let x be ((-30)/25)/((-6)/15). Solve x*n = -0*n - 12, -d + 9 = -3*n for d.
-3
Let t(u) = 8*u**2 - 3*u. Let a be t(2). Let v = 72 - a. Let n = -17 + v. Solve -11 = -3*z + 4*d, 0 = -3*z - 5*d + d - n for z.
-3
Suppose 5*s - 7 = 3. Suppose -w = -s + 1, 14 = r + 2*w. Let i(q) = -q**2 + 8*q - 8. Let p be i(6). Solve p*g - 2*f - 22 = 0, -g + f + r - 4 = 0 for g.
3
Let y = 8 - 14. Let q(j) = -2*j - 8. Let t be q(y). Solve l - 3*g = -9, -t*g + 25 = 3*l - 0*g for l.
3
Suppose 0 = x - 4*m - m - 7, -x + 5 = -3*m. Suppose 19 = 2*s - 5*u, s - x = 6*s + 4*u. Solve 3*n - 3*c - 24 = 0, n - 1 = -2*c - s for n.
5
Let p(j) = -3*j - j**3 + 4*j**2 - 14*j**2 + 1 + 2*j - 6. Let z be p(-10). Solve 4*h - 8 = z*k, 0*h + 2*h + 3*k - 4 = 0 for h.
2
Let p be 0/(-4 - (-5 + 0)). Solve -v - 18 = 4*v + w, p = -5*v + 5*w for v.
-3
Suppose 0 = -4*c + 5 - 13. Let l = c - -4. Solve -3*y = -4*t - 16, -l*y - 3*y - t = 4 for y.
0
Suppose 12 + 8 = 5*p. Suppose -5*s + 134 = 3*o - 6*o, -3*o + 146 = 5*s. Suppose -b + s = 3*b. Solve -r + 9 = 4*l - b, -p*r - 26 = -2*l for l.
5
Let j = -1 - -3. Suppose -5*v + 35 = -w, 4*v - v = -j*w + 8. Solve 0 = -3*z - v, -3*s - z + 13 = -3*z for s.
3
Let u = -5 - -3. Let z = u - -3. Solve 3*r + 11 = -3*p - r, 5*p - 3*r = z for p.
-1
Let f(h) = -h**2 + 10*h - 7. Let s be f(9). Solve 2*k + 2*c + s = 0, -5*k + 13 = -0*c - c for k.
2
Let j = 0 + 2. Let t be 2/(8/138)*j. Suppose 9 = -3*v + t. Solve -4*w - 5*p + 17 = 0, 2*p + 6 = 2*w + v for w.
-2
Suppose -28 + 3 = -5*b + 3*p, -4*p - 20 = 0. Suppose -b*g = -0*g. Suppose 7 = 2*d - 3*y, -y + 0*y = -2*d + 9. Solve g = -2*f - 2*i + 6, d*i = -4 - 1 for f.
4
Suppose 48 = 4*v - 5*v. Let a be (v/(-36))/((-2)/(-6)). Solve 2*l = 3*p - 0*l - 5, -a*p + l + 5 = 0 for p.
1
Suppose -27 + 132 = 5*b. Let c = 4 + 1. Solve -c*p = -2*a + 8 + b, 5*p + 35 = 5*a for a.
2
Let h(p) = -p**3 + 4*p**2 - 4*p + 3. Let g be h(2). Solve -5*r - 4*s - 12 = 0, -2*s - 9 = -g*r + s for r.
0
Let b = 0 - 3. Let t(f) = f + 5. Let i be t(b). Solve 4 = -i*o + 2*w, -3 = 4*w - w for o.
-3
Let x(r) = -r**2 + 10*r - 11. Suppose 5*s = 42 - 2. Let p be x(s). Solve p*h = 2*g + 20 + 13, 0 = -5*g + h - 25 for g.
-4
Let g be ((-36)/63)/(4/(-14)). Solve -g*k + 0 = -4*d + 14, 0 = 5*d - 5*k - 25 for d.
2
Let p(h) = -h - 9. Let m be p(-11). Suppose -6*w = -3*t - 2*w + 3, 3*w = -m*t + 19. Solve -3*o - 4 = 4*z, 5*z + t + 5 = -5*o for z.
2
Suppose 0*w + 4 = 2*w. Suppose 8*p = 3*p - 2*u + 17, -u - 5 = -w*p. Suppose 10 = -5*f, -5*f = p*k - 4*k + 14. Solve -2*j + 2*n - 8 = -j, k*j + 11 = n for j.
-2
Suppose 5*o - 13 - 7 = 0. Let i be o/8*0/(-2). Suppose 4*l - 22 + 6 = i. Solve -l*p - 5*y + 41 = 0, -y = -2*p - 0 + 3 for p.
4
Let u(y) = -y + 2*y - 5*y + 3*y + 8. Let v be u(7). Solve -2*x + v = d - 0*d, -4*x = 0 for d.
1
Suppose -2*x - 12 = -4*f, 15 = 5*f + x - 2*x. Solve -3*p = -f*s - 5*p - 2, -5*s - 3*p = 3 for s.
0
Let x be (2 - -2) + 0 + 0. Let v(j) = -j**3 + 5*j**2 - 3*j - 2. Let o be v(4). Solve -o*l + 18 = -x*n, 0*l - 5*n - 30 = 5*l for l.
-1
Suppose -2*l - 5*i - 4 = 0, -3*l - 2 = 5*i - 6. Solve 0 = -4*v + f + l, v = -0*f + 5*f + 21 for v.
1
Let w be (-2 - -4) + 0 - -12. Let x = w - 3. Solve x = -5*a - 3*d, -2*a + 10 = -5*d + 2 for a.
-1
Let r = 2 - -2. Suppose -v - 3*m + 13 + r = 0, 2*m = -3*v + 23. Solve 3*g - g - v = p, 3*g = p + 5 for g.
0
Suppose l + 3*l - 36 = 0. Suppose -6*k + 3*k + l = 0. Let n be (6/(-4))/((-2)/4). Solve n*p - 5*x = -2*p, -2*p - x = k for p.
-1
Let t(g) = -9*g + 27. Let f be t(3). Solve f = 5*w - 5*a + 17 + 3, -2*a + 3 = -w for w.
-5
Suppose 0 = -u + m + 2, -u + 0 = -4*m + 1. Suppose -u*h + 7 = j - 2, h - 7 = -j. Solve t = -5*a - 15, t + 9 = j*t - 3*a for t.
0
Let x(q) be the third derivative of -q**5/60 - 11*q**4/24 - 13*q**3/6 + 4*q**2. Let f be x(-9). Solve 3*d - 5*b + 17 = 7, -50 = -5*d - f*b for d.
5
Suppose 0 = -3*o - 3 - 0. Let x(h) = 7*h**2 + h. Let d be x(o). Suppose 0 = d*j - 2*j - 20. Solve -3*f = j*n - 25, 0 = -3*f + 5*n - 0*n - 25 for f.
0
Let t be (-2 + 3 + -1)/1. Solve 0 = -2*i - 0*i + 3*a - 4, t = -4*i + 3*a + 4 for i.
4
Let h = -9 - -4. Let o(c) = c**2 + 6*c + 7. Let d be o(h). Suppose 4*x + 30 = d*j, -5*x - 10 = j + 2*j. Solve -39 = -2*l - 4*m - 9, l - 2*m + j = 0 for l.
5
Suppose 3*w = 6*w - 2*q - 6, 0 = w - 5*q - 2. Let f be 14/(-1)*w/(-4). Suppose 25 = 5*n, 2*y + f*n - 31 = 2*n. Solve 0 = -y*p - 3*d, p - 5*d + 7 + 5 = 0 for p.
-2
Let r = 15 + -15. Suppose r = -0*n - 3*n + 9. Solve -2*x + 3*v + 2 = 4*v, 2*x - 6 = -n*v for x.
0
Suppose -g = -3*w - 2, 2*g - 4*w = -w + 4. Solve 0 = 3*p + g*s + 17, -3*s - 2*s + 15 = -4*p for p.
-5
Suppose -3*n = 14 - 89. Suppose 3*t - 5 = n. Suppose -4*r - 5*f - 1 = -t*f, -2*r - 2*f = -22. Solve r*x + 2*u = 2*x - 2, 3 = -3*u for x.
0
Let x(r) be the third derivative of r**5/30 + r**4/2 - 3*r**3/2 + 7*r**2. Let f be x(-7). Let d be 4 + -3 + 2 - -2. Solve 3*k = 0, 2*b + 4*k - d - f = 0 for b.
5
Let x be 0 - 1 - ((-6)/3 + -2). Solve -x - 9 = 3*k, 5*s + k + 24 = 0 for s.
-4
Let z = 103 - 92. Solve 4*s = 2*h + 12, s - 2*h - 2*h + z = 0 for s.
5
Let s be (-2)/(-4)*(-9 - -13). Solve 4*m = -5*b + 28 + 12, s*b - 13 = -m for b.
4
Let w = 142 - 139. Solve 0 = -w*z + 6*z - 4*a, 2*z = 5*a for z.
0
Suppose 0 = -2*u + 4. Suppose -5*y - u*t + 8 = -0*t, 0 = 4*y + 5*t - 20. Solve -5*a + 0*a + 2*m = 12, y = 4*a - 4*m + 12 for a.
-2
Suppose 4 = 24*j - 23*j. Solve -2*d = -j*q - 6*d - 4, -2*d = q for q.
-2
Suppose -20 = -5*c - 15. Solve 3*k = 2*o + 2, -o + 3*k + k - c = 0 for o.
-1
Let r(u) = -u. Let q(a) = 2*a**3 + a**2 + a - 1. Let p be q(1). Suppose -1 = 4*z + p. Let t be r(z). Solve -4*f + 4*l + 16 = 0, -t = -2*f - 3*l - 2*l for f.
3
Suppose -4 = -4*a - i + 5*i, -17 = -3*a - 4*i. Solve -2 = -a*u - 4*h, 2*u + 2*h - 9 = 7*h for u.
2
Suppose 3*s - 4*n = 1, -13 = -4*s + 3*s - 5*n. Let l = 8 + -3. Suppose 4*x - 56 = -4*t, 0 = 4*t - t + 2*x - 38. Solve -4*c - 2 - 12 = l*a, -s*a - 4*c = t for a.
-2
Let w = -38 + 38. Solve w = -4*v + 16, 5 = 3*r - v - 3 for r.
4
Let r(u) = -u. Let f be r(0). Let t(k) = -3*k**3 + 2*k**3 + 2*k**3 + 4 + k**2. Let z be t(f). Solve 5*i = -z*q + 20, -3*i + 2*q = q - 12 for i.
4
Let r be 8 + (-1)/((-2)/(-2)). Let x = r + -3. Solve -h = 4*v - 5*h + x, -3*v - 3*h - 3 = 0 for v.
-1
Suppose 0 = -5*i + 5*m - 5, -4 - 12 = -5*i - 2*m. Solve -o = t + i*o - 1, 0 = -3*t - 4*o - 2 for t.
-2
Let w(b) = -b - 1. Let n be w(-11). Suppose y = 4*y. Let v be n + 1 - y/1. Solve 5*m = -2*z + 20, 0*m + 3*m - v = -z for z.
5
Let j be (6/21)/((-1)/(-14)). Solve 3*i - 4*g + 3 = 0, 5*g + 0 = 4*i + j for i.
-1
Let d = -17 + 21. Solve d*z - o - 6 + 2 = 0, 16 = 2*z + 3*o for z.
2
Let y(u) = u**2 + 3*u - 7. Let v be y(2). Solve v*c - 5*n + 13 = -n, 0 = -4*n + 4 for c.
-3
Suppose -2*z = -z - 14. Suppose 4*j - 2 = 2*j + 2*d, -3*d = 3. Let v = j + 5. Solve -3 = 2*r + v, -2*x + z = -2*r for x.
3
Let b be (-19)/(-3) + (-12)/(-18). Suppose 3*v - b - 5 = 0. Solve -2*h - h = 5*g + 22, h = -v*g - 19 for h.
1
Let m = 52 - 41. Solve -17 = z + 4*z + 4*o, -z = -4*o - m for z.
-1
Suppose 2*c - 18 = -5*j, -3*c - 3*j - j = -34. Let y(r) = 12*r + c*r + r - 7*r. Let g be y(1). Solve 0 = -5*k - g, 3*s = -6*k + k - 23 for s.
-1
Let g = -3 - -5. Suppose -4*c + g*c = 0. Suppose c*l - 15 = -l. Solve 0 = 3*p - s + 3, -3*p = 3*s - 8*s + l for p.
0
Let t be 8/10*(-5)/(-2). Suppose 7*x = t*x. Solve 4*q = v - 11, x*v + q - 6 = 2*v for v.
-5
Let q = 36 - 36. Solve 4*g + 20 = -4*s - 0*s, s + 2*g + 9 = q for s.
-1
Suppose 6 = -2*t - 0*t. Let u = 0 - t. Solve -u*r + 2*l - 2 = 0, l - 2 + 1 = -5*r for r.
0
Let b = 3 + -1. Solve -5*j = 3*q + 11, 0*j - 26 = -b*q + 5*j for q.
3
Let u = -5 - -10. Let y be 2/4 - (-273)/14. Let z be y + (-1)/((-2)/(-4)). Solve m + z = -u*k, 4*k = -m + 6*m + 3 for k.
-3
Let d be -1 - (2/(-6) + 98/(-21)). Solve 5*c + 2*r = c + 26, c - d*r + 7 = 0 for c.
5
Let y(j) = 2*j**2 + 9*j - 20. Let l be y(-7). Solve -4*p + 2*k - 14 = -p, 3*k = 3*p + l for p.
-4
Let s(l) = 9*l - 3. Let r be s(3). Let 