- 3*o - 12 - 1, u - o = 7. Let b = a - u. Solve b*h - 5*q + 15 = 0, -4*q = -4*h - 0*h - 12 for h.
0
Let j = 3 + -10. Let p be (-4)/14 + (-44)/j. Suppose p = -3*c + 5*c. Solve 2*y + 5*i - 14 = i, -4*y = c*i - 18 for y.
3
Let n = -2 + 2. Solve -5*d = n, 5*d + 4 - 13 = -3*w for w.
3
Suppose 41*n + 10 = 42*n. Solve 4*c + 4*w - 3*w = 18, -4*c + 3*w + n = 0 for c.
4
Let u = -16 + 26. Solve 3*l - u = -2*m, -5*m + 4*l = -10*m + 25 for m.
5
Suppose 4*r + 2*b + 5 = -3*b, r + 3*b + 10 = 0. Suppose 63 = 2*l + 33. Solve 6 = 2*j - p + 5*p, -4*p - l = -r*j for j.
3
Let x = -2 - -18. Solve -5*l + l = 3*f - x, 4*l - f = 0 for l.
1
Let l = -34 - -21. Let x = l + 31. Solve 4*m + m = o + x, 0 = 4*m + 4*o for m.
3
Suppose -5*w + 4 = -16. Suppose -q + w = q. Solve 3*t + 5*h = 17, -t - q*h = -5*h - 1 for t.
4
Let t be 0/4 + 1 + -3. Let h be 0 - (t - (-1 + 1)). Suppose -16 = -h*q + q. Solve -5*f = -k - 16, 0*f = 3*f + k - q for f.
4
Suppose 4*h = 43 - 7. Solve -2*z - 4*d = z - 13, 5*z + h = d for z.
-1
Let h = 33 - 15. Suppose -4*z - 4*c + 36 = 0, 2*c - 2 = -0*z + 2*z. Solve z*m - 16 = 2*d, m = d + 3*d + h for d.
-4
Let f = 14 - -9. Solve -3*m - 1 = -2*b, -m + 6*m = -2*b - f for b.
-4
Let y = 0 + 3. Suppose -u - 2 = -y. Solve -3*n + 17 = -2*p, -3*p - 11 = u for n.
3
Suppose 0 = 7*g - 8*g - 3. Let x(h) = h**2 + 3*h + 4. Let u be x(g). Solve 0*r + 5 = -r, u*r + 12 = 4*w for w.
-2
Let n = -5 - -5. Solve n = 3*k - 6*f + f - 10, 3*k + 3*f = 18 for k.
5
Let i be 12/(-16) - (-6)/8. Suppose 3*d + 2*z - 4 - 3 = i, 2*d - 4*z = 10. Solve -f - 5*w - 2 = 0, 4*w + 1 = -d for f.
3
Suppose v + 2*v = 0. Let z(l) = l**3 - 9*l**2 + 8*l + 3. Let x be z(8). Solve 5*o + 16 = x*w, v*w + 5*o + 13 = 4*w for w.
-3
Let w = 8 - 4. Let q = 0 - -1. Let t = w + q. Solve 2 = -0*h - 2*h, t*i - 3*h = -7 for i.
-2
Let p = -9 + 18. Let d = 13 - p. Solve -3*h - 2*r = -d, -5*h + 3 = r + 8 for h.
-2
Let k be 2 - 2/((-6)/9). Suppose 14 - 4 = k*w. Solve -w*t - 5*n = -30, -5*t - 2*n + 13 = -5*n for t.
5
Suppose l = f, -8 + 2 = -3*l. Solve 0 = 5*g + 3*o - 12, f*o + 3 = -2*g + 7 for g.
3
Let o(y) = -y**2 + 1. Let w be o(-1). Let q be (0 - (2 + -3)) + -10. Let n be (-1 - -5)*q/(-12). Solve -2*m - a + 12 = n*a, w = -5*m + 5*a for m.
2
Let v(b) = -4*b + 1. Let q be v(8). Let r = 55 + q. Solve 2*z - 3*x = -0*z + 13, 5*x + r = z for z.
-1
Let f = 144 - 140. Solve -4 = -g, 6*g = 4*i + 4*g - f for i.
3
Let l = 10 + -5. Let h be 6/(2 - 7 - -3). Let v = 8 + h. Solve 22 = -4*x - b + 1, v*x + 20 = l*b for x.
-5
Suppose 15*z - 102 = 48. Solve 4*o + 2*w = 3*w + 21, -2*w + z = 5*o for o.
4
Let j = -547 + 375. Let o be (-2)/(j/(-60) + -3). Solve 5*t - o = 5*a, -2*t + 3*a + 0 + 9 = 0 for t.
0
Suppose -2*s = -4, 0 = -3*j - 2*s + 1. Let r be 0/(1 - 1/j). Solve 3*w - 3*i + 12 = r, -4*w - i = -0 - 9 for w.
1
Let k = -24 + 34. Suppose 4*d - 5 = -5*l, 5*d - 2*d + 3*l = 6. Solve -5*a = -w + k, 4*a - d*a + 4 = w for w.
5
Let w(s) = s**2 + 5*s + 4. Let p be w(-3). Suppose -3*t = -t. Let j be (t - 2)/(1 + p). Solve -5*f - b - 20 = 0, -4*f - 2*b = j*b for f.
-5
Suppose -2*m = -3*c + 1, 0*m - 4*m + 28 = 4*c. Let j be 3/2*m/2. Solve y + 4*w + 20 = -y, -j = 3*y - 3*w for y.
-4
Let y be 1 - (-3 - (-2)/(-2)). Let v = y + -3. Solve 3*c + 2 = 2*b + c, 0 = 4*b - v*c + 6 for b.
-4
Let z = 2 + -2. Let b(d) = 2*d**2 - 5*d + 16. Let v(m) = m**2 - 2*m + 8. Let i(g) = 4*b(g) - 7*v(g). Let t be i(5). Solve l + z*x = x - 3, t*x = 0 for l.
-3
Suppose 4*h = 2*o + 6, 2*h - 3 = h + o. Suppose m - 23 + 2 = h. Solve i - 5*d + m = 0, -i + 3*i = 2*d - 2 for i.
4
Let u = 6 + -4. Suppose -45 = -5*w - 3*d - u*d, 0 = 5*w - 4*d. Solve 2 + 4 = 5*h - 3*m, -w*h + 5*m = -10 for h.
0
Let k = 87 + -59. Solve m + 3*v = 10, 0 = 4*m + v + 10 - k for m.
4
Suppose 2*u = l - 3*l + 68, 2*u = -l + 39. Let y(t) = -5 + 2 - 4 - 3 + 8*t. Let n be y(3). Solve -3*j = 4*a + l, 7*j - 4*j + n = -a for a.
-5
Let w = -12 + 12. Solve -29 = 5*m + 4*q, w = -0*q + 5*q + 5 for m.
-5
Suppose -5*i - 2*b + 14 = 0, 0 = 3*i + 5*b - 7 - 9. Suppose -i = -f + 1. Solve 4*h + s + 19 = 4, -4*h = -3*s + f for h.
-3
Suppose -2*s + 3*s - 27 = 0. Suppose -3*a = -3*p + s, 4 - 1 = 2*p + a. Solve -5*i - 4 = -2*c - 1, 0 = 4*i - p*c + 12 for i.
1
Suppose -5*m - 36 + 5 = -3*l, -l = 3*m + 13. Solve -3*w = 3*c - 2*w + 14, 22 = -4*c + l*w for c.
-5
Let o = -1 + 4. Solve 8*w + 2*n = 3*w - 15, -o*n - 14 = -w for w.
-1
Let f(y) = -y**3 + 5*y**2 - 3*y - 3. Let c be f(2). Solve 2*p - x = 2, 0*p = c*p + 5*x + 10 for p.
0
Suppose -3*q = -q - 2*v - 8, 2*v + 16 = 3*q. Suppose 3*o - 41 - 19 = 0. Let u be 316/o + 2/10. Solve -2*x = d - q, -4*d = -d - 2*x + u for d.
-2
Let l be (-1)/(4/(-20) + 0). Solve -2 = -d + 2*h, 3*d + h - l = 2*d for d.
4
Let w = 25 - -12. Suppose -3*f - h = -29, -5*h + w = 3*f - 0*h. Suppose -v - 3*d = f, 5*v + 2*d = 8 - 1. Solve 4*s - v*z = 2 + 5, s - 5*z - 6 = 0 for s.
1
Suppose 0*a = 4*a + 20. Let b = -3 - a. Suppose -2*u = -2*n - 12 - b, 0 = 4*u + 2*n - 28. Solve r = -c - 0*c + 7, -3*c + u = -4*r for c.
5
Let n be 1 + 2/(-1) + 4. Suppose -5*r + 30 = -n*w, 2*w = 4*r - 2*r - 16. Solve -r*b - 5*i - 45 = b, -35 = 2*b + 5*i for b.
-5
Suppose -7 = -2*p + 35. Let f be p/(-6)*8/(-14). Solve -5*m + 1 = -f*j, 3*m + 0*m + 7 = 5*j for j.
2
Let t = -3 - -7. Suppose t = 2*c + 2. Let j be (-2)/(c/(10/(-4))). Solve -2 = 5*v + f - 0, -j*v - 4*f + 7 = 0 for v.
-1
Let m(v) = 2*v**3 - v**2 + v. Suppose 2*x = -1 + 5. Let o be m(x). Suppose 4 = 2*d - o. Solve 0*t = -t - 2*k + d, 0 = k - 3 for t.
3
Suppose -28 = -5*v - 98. Let u = 24 + v. Let b be 12/u*(-10)/(-4). Solve b*p + 34 = -5*t, 5*t + 1 = -2*p + 6*t for p.
-3
Suppose -3 + 13 = 2*c. Solve 4*l = -c*q + 30, 0*l - 15 = -5*q - l for q.
2
Suppose 4*n = -4*z, 4*n - 4*z - 35 = n. Solve 3*s + 5*g + 4 = 0, 0*g - n*g - 7 = 4*s for s.
-3
Let x be 13 - (-3 + 2)*-3. Let w = 11 - x. Solve -z - m + 0 = -3, z + w = m for z.
1
Let x = -4 + 7. Let y(t) = -3 - t**2 + t**3 - 5*t**2 + 4*t - 5. Let h be y(6). Solve -v + 4 = v - 4*n, 5*v + x*n + h = 0 for v.
-2
Let a(o) = 7*o + 24. Let h(d) = -4*d - 12. Suppose 3*n - 4 = 11. Let k(w) = n*h(w) + 3*a(w). Let r be k(-7). Solve 4*f + 2*j = -26, 25 = 2*f - 4*f - r*j for f.
-5
Suppose c + 5 = -3. Let w be c/16*(0 - 14). Solve -r + 6 = 4*q - 4*r, w = -q + 5*r for q.
3
Let a be 6/27*3 + (-20)/(-6). Let n be (-2 - -2)/(4/(-2)). Suppose n*c + 2 = 2*c. Solve 4*j = a*z - 7 - c, -5*j - 4 = -2*z for z.
2
Let q(j) = -7*j - 7. Let n(f) = f. Let c(v) = 2*n(v) + q(v). Let k be c(-3). Solve 4*z - 4*d - k = 0, 5*d = -4*z + 25 - 8 for z.
3
Let t(v) be the first derivative of v**4/4 - 7*v**3/3 + 5*v**2/2 + 8*v + 1. Let n be t(6). Let j be (-24)/10*(-5)/n. Solve j = -2*i - m, i - m - 8 = 5*i for i.
-1
Suppose 14 - 109 = -5*t. Suppose -t = -4*p + 1. Solve -p*v = -4*x + 28, 0*x + 5*x = 5*v + 30 for x.
2
Let t be 3/(-9) - 13/(-3). Solve x - t*x - 5*k = 0, -5*k + 15 = 0 for x.
-5
Let q(f) = f**2 - 2*f. Let o be q(3). Solve -4*y = -w - 3, -4*y - o*w - 3 = -2*w for y.
0
Suppose -k - 4*l + 8 = 3*k, -5*k - 6 = -3*l. Suppose 3*j + j = k. Let z = j + 5. Solve 0 = -z*m + 3*v - 11, -2*m - 2*v = 3*v - 8 for m.
-1
Let p be 2*2*(-1)/(-4). Suppose b + 3*b = l + 1, 1 = 3*b - l. Suppose -3*k = 2*f - 9, -k + 3*f + 0 + 3 = b. Solve 0 = k*h - 2*y + p, 0 = 3*h - 4*y + 5 for h.
1
Let b be ((-6)/(-2))/(10 + -9). Solve b*p = 3*y + 18, 0*y - 5*y = p for p.
5
Let m = -16 + 8. Let u = m - -8. Solve q - 5 = 2*w, -2*q - 5 + 3 = u for w.
-3
Let x be ((8 - 5) + -4)/((-2)/8). Solve -3*o + 0*j = -j - 11, -x*j + 1 = -3*o for o.
5
Suppose 2*x + 11 = s - 2, -2*x = 5*s - 41. Let y be (-24)/s*6/(-4). Solve 0 = y*a + 3*l + 7 + 9, 0 = a + 5*l + 21 for a.
-1
Let l be 9*3/9 + -1. Solve l*b = u - 11, -6*u + 2*u = -12 for b.
-4
Suppose 0 = -5*x - 2*z + 69, x - 2*x - 2*z + 9 = 0. Solve -f = -3*h + x, 2 = 2*h - 5*f - 8 for h.
5
Let k = 4 + -2. Solve 5*z - t = -4*t + 3, -k*z + t + 10 = 0 for z.
3
Suppose -4*q + 3*q - 4*z + 60 = 0, 2*q - 95 = -3*z. Suppose 25 = j + 4*m, 3*m - 21 = -2*j + 4. Solve 9 = -s - h, s + j*h = -3*s - q for s.
-5
Let a = 3 - 5. Let t be (6/4)/((-1)/a). Let v = 18 + -13. Solve 5*n = 3*z - 4, 4*n + 14 = t*n + v*z for n.
1
Let q be 29/58 + 9/2. Solve -2*m + 3*a - 4*a = -2, 11 = q*m + 4*a for m.
-1
Let d(u) = u. Let k be d(10). Suppose -m = -5, -m - k = -5*r - 5. Solve 2*z + 7 = r*n + n