Let t = 10 - x. Suppose 0 = 3*f - t*m, 0 = 4*f + 4*m - 0*m - 40. Solve -f*k - h + 20 = 0, k = -3*h + 7*h + 25 for k.
5
Let w(f) = -6*f - 7. Let u be w(-2). Solve -24 = 4*a - 2*j, 0 = -u*a - 5*j + j - 4 for a.
-4
Let s(q) = q**2 - 4*q - 5. Let c be s(4). Let n be c/(-2)*-1*-2. Solve 0 = -3*t + 4*o + 8, -n*t - o - 25 = -0*o for t.
-4
Let f = 41 + -28. Solve -7 = l + 4*p, 2*l - 4*p = 5*l + f for l.
-3
Let k(d) = -3*d**3 + 2*d + 1. Let h be k(-1). Solve 3*w - 5*t = 3, h*w - t = -0*w + 2 for w.
1
Suppose -11*c + 2*c + 117 = 0. Solve 0 = -2*j - 4, 1 - c = 5*g + j for g.
-2
Suppose 0 = -0*v + 6*v - 6. Solve 0 = -5*x - k - 19, -5*x - v + 6 = -5*k for x.
-3
Let g be 1 + ((-6)/9)/(8/(-12)). Solve 6 = -5*r - g*j - 8, 12 = -2*r - 4*j for r.
-2
Let x be (-2)/15*3 + 54/10. Solve b - 10 = -5*w + 2*w, -2*b + 17 = x*w for b.
1
Let n(x) = -x**3 - 2*x**2 - 3*x - 2. Suppose -2*a - 3 = 1. Let t be n(a). Suppose -i + 2 = -0*i. Solve i = -m - k, 4*k = m - t - 19 for m.
3
Let c be 2/6 + (-1)/3. Suppose 0 = -c*z + z. Suppose -2*p + 3*m = 2*p - 15, -5*m - 5 = z. Solve p*q - 1 = -5*h, -5*q + 6*h - 3*h = -13 for q.
2
Suppose 4*t - 2 = 10, 16 = x - 3*t. Suppose -2*r + 7*r = x. Solve 4*n - r*u = 3, 2*n = 4*n + 5*u + 21 for n.
-3
Suppose 0 = -h + n - 13, -n = 3*h + h + 42. Let o = h + 7. Let q = -2 - o. Solve -2*c + 0*c = 5*d + 27, 7 = -q*c - d for c.
-1
Suppose -2*v + 6*v - 24 = -4*t, 15 = 3*t + 2*v. Solve -3*z = 6, 2*c - 4*z = -t*c + 28 for c.
4
Let y be ((-6)/1)/(4/(-2)). Let g = 9 + -4. Suppose z - 1 = 0, -w + y = w - g*z. Solve 2*h + 4*v + 16 = 0, 3*h - 4*v + 0 = -w for h.
-4
Let g(x) = x**3 + 8*x**2 + 2*x - 7. Let j be g(-5). Suppose -2*n + 5*y + j = 0, -2*y + 43 = -3*n + 130. Solve 0 = 4*q + 5*k - 2*k - n, -5*k = 4*q - 35 for q.
5
Suppose -6*x + 11 = -2*x - 5*h, -5*x + 23 = 3*h. Solve 0 = -4*l + 4*w + 4, -x*l - 3*w = -3*l + 11 for l.
-2
Let o = 5 + -3. Solve 0 = d - 2*p - 5, -2*d = -o*p - p - 8 for d.
1
Suppose n + 5*v - 26 = -2*n, 2*n + 5*v - 24 = 0. Let u be (n/6)/((-2)/(-18)). Solve -u*m = 3*y, -3*y = 2*m + 2*y + 15 for m.
5
Let s be 4/(-6) - (-10)/15. Suppose s = y + y - 8. Solve -y*o = -12, -2*o + 6 = -4*z + 3*z for z.
0
Let q = 11 - 7. Solve -t + q*l + 18 = 0, 3*t = -3*l - 2*l - 31 for t.
-2
Let q(z) = z**3 + 5*z**2 - 7*z - 3. Let n be q(-6). Solve 13 = -n*a - 0*x - 4*x, -2*a = 4*x + 10 for a.
-3
Let w be ((-4)/(-15))/(6/9)*10. Solve w*a + 4*d = -0*d + 36, a - 5*d = -15 for a.
5
Let r(n) be the second derivative of -n**4/12 + n**3 - n**2 - n. Let j be r(4). Let h = j - 4. Solve h = 2*b + 2*k - 0*k, 0 = -2*b + 5*k + 16 for b.
3
Let y be -3*((-15)/(-9) - 2). Let f be -1 - y - (-1 + 1). Let q be f/(-6)*6*2. Solve 18 = -2*s - 8*n + 4*n, n + 1 = -q*s for s.
1
Let q(j) = -j + 2. Suppose o + 4*w + 2 = 6*o, -2*o + 10 = 3*w. Let r be q(o). Suppose 10 = -r*g + 2*g. Solve g*m - 3*u + 15 = 0, u = -4*m + 2*u - 5 for m.
0
Suppose q = 6*q - 20. Suppose 3 = 4*z - 17. Suppose -q*a + 3 = -z. Solve 0 = -4*y - i - 2, 0 = y + 7*i - a*i - 9 for y.
-1
Let f(a) = a + 13. Let l be f(-10). Solve 5*u - 5*o - 40 = 0, -11 = 2*u - l*o - 32 for u.
3
Let s = 11 + -9. Suppose -s*k - 5*w - 11 = 0, -4*w - 46 = -5*k + 9. Let b = -3 - -3. Solve 18 = -4*z + z - 3*y, b = -3*z + 2*y + k for z.
-1
Let p be 13/3 - (-8)/12. Suppose 0 = -p*q + 76 - 6. Solve 4*t = -3*y + 4, -5*y - 26 = -5*t + q for t.
4
Let u(t) = -t + 1. Let h(d) = -6*d + 4. Let j(m) = 2*h(m) - 11*u(m). Let l be j(-3). Solve 3*p - 5 = -5*n - 0, l = -p + n - 1 for p.
0
Let r(m) = -m**2 + 4*m. Let i be r(4). Let k = -1 + 2. Let h be (-17)/(-6) + k/6. Solve -5*p + i*q - q = 16, h*p + 6 = 3*q for p.
-3
Let c = -18 + 26. Suppose -6*g + c*g - 24 = 0. Solve -t - 9 = u + 3*u, g = -5*u - t for u.
-3
Suppose -v + 2 = -4. Suppose -4 - v = -5*m. Solve 2*w = q + m*q + 3, 10 = 2*w + 4*q for w.
3
Let c = 12 - 4. Suppose -3*v + 5*v = c. Suppose 2*y = v*y - 4. Solve y*g = -3*s + 22, 3*s - 34 - 3 = -5*g for s.
4
Let f be (-1)/3*-3*1. Let v = f - -1. Solve -r - 5 = v*n, -2*n - 12 = -5*r - 1 for r.
1
Suppose -2*d - 14 = -6*k + k, 0 = 2*d + 3*k - 18. Solve 6 = 4*p + a, 2*p - 15 = -5*a - d for p.
1
Suppose 3*a = -3*g + 33, 3*a + 2*a = 20. Suppose 4*h - g - 9 = 0. Suppose 4*p + 2*f = 0, 0 = 2*p - 7*p + 3*f. Solve i = -3*k - 11, -4*i + p*k - h = 4*k for i.
4
Let r = 6 - 2. Suppose 5*m = r*u + 8, -4*u + 2 = 10. Solve 0*y = 3*y + g + 3, -g = m for y.
-1
Let i be -3 + 21*(-4)/(-12). Solve -2*w - i*p + 11 = w, -4*w + 2*p = 0 for w.
1
Let u(g) = -3*g - 2. Let k be u(-2). Suppose k*l - 6 - 2 = 0. Solve -5*q = s - 10, 0 = l*q - 3*s - 0 - 4 for q.
2
Let x be ((-6)/1)/(-3) - 1. Let k = 0 + x. Let b be (3 + k)*(1 - 0). Solve -16 = -5*l - 3*r, -3*r + 5 = -b*l + 7 for l.
2
Let f(k) = k**3 + 4*k**2 - 3*k + 10. Let p be f(-5). Solve 4*d + 2*z + 18 = p, 25 = -4*z - z for d.
-2
Let x(l) = 2*l - 3. Let g be x(3). Solve -g*b + 5*w - 2 = 0, 3*w - 1 - 2 = 0 for b.
1
Let i(b) = b**2 + 2*b + 7. Suppose -f - 3*f = 24. Let p be i(f). Let w(l) = -l**2 + 4*l + 1. Let n be w(3). Solve -n*k = -5*o - p, 4*k - 10 = -3*o + o for k.
4
Let q = 12 - 5. Solve 0 = -3*x + 4*s + 13, -x - q*s - 2 = -2*s for x.
3
Let t = 51 - 47. Solve -t*w + 2*d - d = -1, -d = 4*w + 1 for w.
0
Suppose 5*j - 5*l - 12 = -l, 2*j = 3*l + 2. Suppose -j*u + 0*u = 0. Suppose u = 3*x - 0*x - 12. Solve -3*t - 16 = h, -2*h - h = -4*t - x for h.
-4
Let m(c) = c**2 + 9*c - 2. Let d be m(-10). Let j = d + -6. Solve -j*z + 8 = -2*a, 4 = 5*a + 3*z + 16 for a.
-3
Let k = -5 + 40. Let n be 2/(-5) + k/25. Solve m - n = -3*h, -2*h = 2*h + 2*m - 4 for h.
-1
Let x(r) = 0 + 4*r**3 - 2*r**3 + 8*r**2 + 3 - r**3. Let o be x(-8). Solve -5*c + 5*s = -10*c + 20, -o*c + 14 = 5*s for c.
3
Let v = 22 - 19. Solve q - p + v = 0, 0 = -q + 2*p - 4*p + 6 for q.
0
Let g be 3 + (3 + -1)/(-2). Suppose -w - 3*t + 13 = 0, 5*w - g*t + 3 = -0. Solve k = 4*m + 5, 4*m + 0 - w = -5*k for m.
-1
Let f(u) = u**3 + u + 4. Let s be f(0). Let t = 1 + -12. Let z = t - -13. Solve 7*l - s*l + 8 = o, -l = -o + z for l.
-3
Let o be -7 - (0 - (-2 + 3)). Let y be o/(-1)*(-2)/(-3). Let g be (6/(-4))/(y/(-8)). Solve -2*q + r = -6*q - 1, -q + 3*r = -g for q.
0
Let i = 63 - 63. Solve i - 8 = 4*q + z, 3*z - 6 = 3*q for q.
-2
Let p be (-1)/4 - (-15)/(-4). Let i(g) = -g + 1. Let u be i(p). Let t be (-3)/1 - 10/(-2). Solve 3*s - u*f - 23 = t*s, -10 = 2*s + 4*f for s.
3
Suppose -30 = 2*p - 7*t + 2*t, 50 = -4*p + 5*t. Let d = p + 12. Solve 3*i + 14 = -g - 0*g, -4*g + d*i = 14 for g.
-5
Let j be (-9)/3 + (-7)/(-1). Suppose 4*p = -2 + 6. Suppose -p + j = g. Solve 4*t + 13 = -5*h, 2*h + t = -g*t - 10 for h.
-1
Suppose -4*n + 2*n + 6 = 0. Let m(s) = s - 6. Let y be m(2). Let o be n/y*(-2 + -2). Solve 0 = -b + 2*b - 4, -4*r = o*b - 16 for r.
1
Suppose -3*u - 39 = -51. Solve 32 = 4*z + 3*t + t, -2*z + 26 = u*t for z.
3
Let p(o) = 2*o - 7. Let c = 9 - 4. Let m be p(c). Solve -2*s - 16 = 2*h + 3*h, -m*s = 5*h + 14 for s.
2
Suppose -3*p + 16 = 2*p + 3*n, -2*n + 19 = 5*p. Solve 2*v = 4*t + 10, -1 = -p*v + 3*t + t for v.
-3
Let r(x) = x**3 - 5*x**2 + 2*x - 6. Let v be r(5). Solve -v*w + 2*w = -5*k, w = -3*k - 11 for w.
-5
Suppose -3*o - 27 = 4*p, -3*o = -p + 13 + 29. Let j = 23 + o. Solve 3*a - 5*i - 26 = -a, -2*a = -i - j for a.
4
Suppose -3*v - 4*b + 18 = -0*b, 4*v + 2*b - 14 = 0. Solve -4*l = -4*w + 28, 0*w + 22 = 4*w - v*l for w.
4
Let t = 6 + 1. Suppose 4*p - 35 = -t. Solve -2*q - 27 = 4*d - p, 0 = 4*q - 3*d + 7 for q.
-4
Let q(x) = x**2 - 14*x + 12. Let w be q(12). Let s be (4/w + -1)*-3. Solve -26 = -5*c - 2*b, s*c - 5*b - 1 = -0*b for c.
4
Let u(h) = h**2 - 3*h - 5. Let d = 31 + -18. Let c = -8 + d. Let b be u(c). Solve 0*j = b*w + j, 5*w - 3*j = -20 for w.
-1
Let x be 35/11 + 4/(-22). Let s be (2 + x)/((-1)/(-4)). Suppose 3*i + 12 = 3*j, -i - 4 - 10 = -3*j. Solve -j*g - 5*f - s = 0, 3*g = 5*f - 7 + 3 for g.
-3
Suppose 4*v + 4 = 2*c, -v + 8 = -3*v + 4*c. Suppose 3*l - 22 = -4*k - 5, -4*l + 10 = -k. Solve 0 = -q - d - 7, v = -6*d + k*d - 8 for q.
-5
Let q be (-19)/3 + (-4)/6. Suppose 0 = 2*d - 8*d - 72. Let c = q - d. Solve 5*v + 34 = -3*i, c*v + 31 = 2*i - 4*i for i.
-3
Let d(b) = 8*b + 6 - 8 - 7*b. Let k be d(4). Solve 5*f - 6 = -2*h, -k = -4*h - 5*f - 0*f for h.
-2
Suppose 2*h = r, -4*r - 5*h = -4*h - 27. Suppose -2*b = 2*y + 2, -4*y + 3*b - 34 = -2. Let x = 10 + y. Solve -x*p + 