Let v be (t/3)/(m + 2). Solve 0*f = 4*x + 2*f - v, 5*x - 5*f - 10 = 0 for x.
5
Suppose 23 - 3 = 5*m. Suppose -137 = -m*p - 57. Solve z - 4 = 0, 0 = 4*g + 3*z - p for g.
2
Suppose 0 = -g - 4, -l + 3*g + 64 = 0. Suppose 2*x - l = -2*x. Let h = x + 4. Solve -4*o + 17 = 2*p - 9, -4*p = o - h for o.
5
Suppose -2*f = -0*f. Let u(o) be the third derivative of o**5/12 - o**4/24 - o**3/6 - 4*o**2. Let t be u(-1). Solve 0 = t*g + m - 15, -g + f*m = -4*m - 3 for g.
3
Let w = 25 + -21. Suppose 4*h - 100 = w*g - 0*g, 0 = -h - 3*g + 5. Solve -3*r = 4*d + h, r + 4*d = -3*r - 24 for r.
-4
Suppose -2*c - 5*w = c - 2, -3*c - 4*w = -4. Suppose 5*d = -10, 14 = 3*t - t - c*d. Suppose t*v + 3 = 4*v. Solve 4*f + 21 = -u - 0*f, v*f + 22 = -2*u for u.
-5
Suppose -l - 4*g = -7, 0*g = 4*l - g - 11. Solve -l*n = -z - 19, -3*z = -0*n + n + 7 for z.
-4
Suppose 3*b - 3*x = -4*x + 9, 4*x = 5*b + 2. Let y = 4 + 12. Solve -2*w - 3*z = -18, -b*z = 2*z - y for w.
3
Let u be -2*((-3)/2 - 1). Let d be (5/((-10)/8))/(-1). Solve -3*c + 12 = u*y - 0*y, -d*c + 5 = 3*y for y.
3
Let b = -39 + 39. Solve b = 4*h + 2*y - 6*y + 12, 4*h + 3*y = -12 for h.
-3
Let a = 4 - 2. Suppose 0*k = 5*k - 45. Suppose j + k = a*j. Solve 0 = 2*u + d + 3, 7*d - 4*d + j = 0 for u.
0
Let v(n) = n**3 + 2*n**2 - 3*n + 2. Let w be v(-3). Solve -3*t + 2*q + 1 = -4, 3*q = w*t - 5 for t.
1
Let f = -39 + 39. Solve f*v - t = -2*v, -5*t - 10 = 0 for v.
-1
Let u be (-8)/(-6)*3/2. Suppose r = -u*r - 30. Let x be 0 + 0 + r/(-5). Solve 4*f = 16, -b - x*b + 4*f - 10 = 0 for b.
2
Let y(p) = -p**3. Let m be y(2). Suppose 28 - 98 = -5*x. Let n = m + x. Solve -s + r = -n, -2*s + 8 + 1 = -r for s.
3
Let i(k) = -k**2 + 11*k - 4. Let o be i(5). Solve 5*h = f - o, -4*h = f + 31 - 12 for f.
1
Let z(x) = -7*x - 1. Let s(m) = 1 - 3 + 20*m - 2 + 6. Let y(l) = -6*s(l) - 17*z(l). Let h be y(0). Solve -3*a + 6 = 3, 0 = k - h*a + 10 for k.
-5
Let i = 43 - 33. Suppose -y + 8 = y. Suppose -y*p + i = p. Solve -4*r + 3*v = -3*r - 1, 4*r + 24 = -p*v for r.
-5
Let x be 2/7 - (-132)/28. Suppose -t - 4 = -3. Let q = t + x. Solve 6 = -2*n - p, 5*n + 3 = q*n + 4*p for n.
-3
Let j be (-13 - -8)/(0 - 1). Solve -5*v - k = -9, j*v - 3*k = 2*k - 15 for v.
1
Let r = 0 - -3. Suppose -2*h - r*y = y, -8 = 3*h - 2*y. Let i be h*(-2 + 2 - 1). Solve -2*w + 4 = -2*d, -d + 0*d + i = 3*w for d.
-1
Let f(b) = -b**3 - 6*b**2 + 8. Let c be f(-6). Suppose -6*t + 5*t = 0. Solve t = 5*a, 1 + c = 3*k + 4*a for k.
3
Suppose -x + 94 - 4 = 0. Let k be 2/(-5) - x/25. Let f(q) = -q. Let m be f(k). Solve 2*u - v = 3*v - 4, -u + 3*v - m = 0 for u.
2
Suppose 4*d - 28 + 11 = -5*r, -7 = 2*r - 3*d. Let h be (3/6)/(r/10). Let g(c) = c - 15. Let y be g(16). Solve 2*l - h*o = -0*o - y, 3*o - 3 = 0 for l.
2
Suppose 4*s + 1 = -2*w - 1, s + 5 = -2*w. Solve -5*o = 3*q + s, 3*o + 6*q + 5 = 2*q for o.
1
Let l(w) = 2*w - 4. Let s be l(2). Solve -3*r + s*r + 20 = m, -2*r + 30 = 4*m for r.
5
Let r be 3/6*(-2 + 2). Solve 0 = 2*a + q - 3, r = 3*a + 2*q + q + 3 for a.
4
Suppose 5*u + 2*j - 382 = 0, -4*u = -2*u + j - 153. Suppose -u = -4*a - 0. Solve -2*p + a = -3*n, 3*n - 8 = -p - 21 for n.
-5
Suppose -6 = -2*j - 2*r, 4*j + 2*r = -j + 18. Solve 3*g - 35 = j*p, 0 = -5*g - 3*p - p + 5 for g.
5
Let b(y) = 0 + y + 4 - 7 + 0. Let h be b(6). Solve -2*x + o + 3*o = 10, -h*o = -x - 7 for x.
-1
Let r be 3/9 - 6/(-9). Solve r = l - 0, -4*x + 3*l + 9 = 0 for x.
3
Let a(d) = -2*d**3 + d**2 + d + 1. Let q be a(-1). Let h be (-16)/(-12)*(4 + -1). Solve -4 = x - 3*x - h*p, q*p + 23 = 5*x for x.
4
Suppose 0 = 4*x - 14 - 6. Suppose 7*n = 4*n + 6. Let t be 2/4 + (-207)/(-6). Solve 3*a + 3*r - 30 = 0, -x*a + 0*a + t = n*r for a.
5
Suppose -31 + 7 = -4*n. Suppose x + t + 3*t = 16, 8 = -4*x + 2*t. Suppose x = -4*c + n - 2. Solve -l = h + 2 + c, 0 = -4*l + 2*h for l.
-1
Let q = -69 - -74. Solve 5*k = 5*x + q, 3*x + k + k + 23 = 0 for x.
-5
Let l be (-1 - -3)/((-2)/(-3)). Solve -5 = -5*k, -l*k = 2*r - 9 + 2 for r.
2
Suppose 0 = -5*u + 4*i + 26, 3*i = 2*u - 15 - 1. Solve -2*t - 11 = 2*b + 3*t, -u*b + 5*t = -19 for b.
2
Suppose 9 = 3*h, z + h - 6 = -2*h. Let m be 16 + (1 - 1 - z). Solve y + 2 = 3, 4*s + y + m = 0 for s.
-5
Suppose 2*g - l = -3*g + 4, 4*g - l - 4 = 0. Let x(a) = -a**3 + 7*a**2 - 9*a. Let n be x(5). Solve -40 = -5*z - 3*w, g = -n*z + 4*w - 0*w + 5 for z.
5
Let j(s) = s**2 + s - 1. Let q be j(2). Let u be (-4)/3*((-37)/4 + 4). Solve n + 2*z - u = 2, -q*z - 10 = -4*n for n.
5
Suppose 3*q = v - 9, -q + 4 = 4*v + 3*q. Solve -2*b - 6*n = -v*n - 14, -4*b - 2*n = -12 for b.
1
Suppose 4*g = -0*g - 8. Let n be 0 + 3 + (-2)/g. Suppose 4*i - 11 - 13 = 0. Solve -2 = n*t - c, 2*t + 2*c = i*c + 6 for t.
-1
Suppose -4*p + 1 = -7. Suppose 0 = -p*b - 3 + 9. Solve 1 = -2*s + 3*m, 3*s + b*m + 6 = -3 for s.
-2
Let m be 80/12 - 4/(-3). Solve -4 = p + 2*o, 1 = -3*p + m*p + 3*o for p.
2
Let m = 25 - 22. Let g(z) = -8*z**3 + z. Let o be g(-1). Let t(q) = q - 4. Let w be t(o). Solve -w*s = 10 + 2, -29 = m*x + 5*s for x.
-3
Suppose -6*c + 40 = 130. Let b = c + 16. Solve 45 = -5*g - 5*q, -2*g + 5*g - 4*q - b = 0 for g.
-5
Let o be (2 - 4)*1 + 5. Solve -o*v + v = -4*m + 16, -11 = -5*m - 2*v for m.
3
Let d be 3/(-3)*(1 - 1). Let k(y) = -y**2 + 12*y + 1. Let q be k(12). Solve -3*w + 5*n = -9, d*w - n = -2*w - q for w.
-2
Let l(b) = -b - 1. Let g be l(-4). Suppose -w + 11 = g*n, -5*w + 19 = -0*w - 3*n. Suppose w*x - 25 = -10. Solve 3*q + 35 = 5*v + 12, -2*q = x*v - 10 for v.
4
Let o be (-1)/2 - 34/(-4). Suppose 0*q - q = 3*s - 12, -s + 14 = 2*q. Let z = o - q. Solve -2 = -z*g + 3*i, -2*g = 2*i - 3*i + 6 for g.
-5
Let i = -6 + -3. Let y = i + 15. Solve 4*h + 3*g = h - 9, 0 = -2*g - y for h.
0
Let b = -10 + 14. Solve 2*v = v + 3*a - 15, -4*v = -b*a + 20 for v.
0
Let f be (-5 - (2 + -4)) + 3. Solve p - 2*x + 10 = f, x = -3*p - 0*p - 9 for p.
-4
Suppose -5*t = 2*j - 2, -18 = 3*t - 4*t + 4*j. Solve r = t*r - y + 3, 0 = -2*y + 2 for r.
-2
Let y(b) = b**2 + 28*b + 78. Let v be y(-25). Solve -2*d + l + 12 = 0, 0 = -5*d + 2*l - v*l + 16 for d.
4
Let r = 11 + 4. Let m = 0 - 0. Suppose m*n + 5*n = r. Solve 0 = -k - 4*k + n*p - 12, 5*k + 14 = p for k.
-3
Suppose 4 = -4*k - 2*u - u, 0 = 3*k + 5*u + 14. Suppose k*w + 2*w = 44. Let n be (-8)/(1/(3/(-6))). Solve -n*r = o + w, r - 8 = 4*o - r for o.
-3
Let h(q) = 2*q**2 - q - 1. Let w be h(4). Suppose 0 = -5*c + 3 + w. Solve 3*i - 12 = -2*i - 4*a, -4*i - c = -2*a for i.
0
Suppose -5*f - 4*y + 6*y - 10 = 0, 4*f - 4*y = -20. Let m be 8 + f/1 + 2. Solve -1 = -q - h, 0*h + m = -2*q + 4*h for q.
-1
Let x(y) = -y - 2. Let f be 44/(-6) + 7/21. Let c be x(f). Solve 0 = 6*z - 2*z + 16, 0 = -2*n - c*z - 28 for n.
-4
Let s = -6 + 9. Let q be s/6*0/1. Suppose q = -2*c + 3*c. Solve m + 2*l + 7 = c, -m + 6*l = l for m.
-5
Let x(o) be the first derivative of o**2/2 - 7*o - 4. Let u be x(10). Solve 7*s + 4*y = 3*s - 12, 0 = -u*s - 4*y - 9 for s.
-3
Suppose 7 - 23 = -2*s + g, -5*s = -4*g - 34. Solve s = -2*n - 4*i, -9 = 4*i - i for n.
1
Let v = -9 + 14. Let r = 9 - v. Solve -2*w = 5*m - 13 - 3, -r*m - 5*w = -23 for m.
2
Let d be 7 + 4/4 - -2. Solve -15 = -3*x + 3*p, -4*x = -2*x + 4*p - d for x.
5
Let u = -5 - -2. Let f = 5 - u. Solve x - 6*x + 16 = -3*c, c = -x + f for x.
5
Suppose 6*q + 4*q - 20 = 0. Solve -3*f = q*f - 5*a - 20, 2*a + 10 = 4*f for f.
1
Let r = -15 + 18. Suppose -h + 2 - r = -5*n, 5*h = 4*n + 16. Solve 3*s = 2*t + 2*t - 13, -h*s - 17 = -5*t for s.
-3
Let b be 6/(3/(-4)*-2). Suppose 20 = 2*p + 3*p + 4*k, -p + k = -b. Solve 3*g + 3*i - 7 = -2*i, 4*g = p*i - 12 for g.
-1
Let x(l) = -l**3 + 8*l**2 - 6*l + 8. Let g be x(7). Solve v + a + 5 = 0, 2*v + v - a + g = 0 for v.
-5
Let t be 4/6 - 14/(-6). Suppose 4*n - a = -0*a + 21, t*n + 3 = -3*a. Solve 3*r = 3*o - n*o + 12, -2*r = -10 for o.
-3
Let m = 2 + -2. Solve u = 3, m = 4*y - u - u - 10 for y.
4
Let f(m) = -3*m + 1. Let j be f(-1). Solve -5*h - 2*t - 31 = 0, 3*t = j*h + 18 - 7 for h.
-5
Suppose -2*i + 0*g + 28 = 4*g, 3*i - g = 7. Solve -i*u = 4*r + 24, 4*r - u = -2*u - 15 for r.
-3
Let q be (-1 - 2 - -3)/(3 - 5). Solve 4*f + 4*t - 12 = q, -3*f - f - t - 3 = 0 for f.
-2
Let b be 4*2/(12/(-9)). Let m be (3/b - 0)*0. Solve 2*i = 2*a + 8, m*i + 2*a = -3*i + 12 for i.
4
Suppose 0 = 5*x - 4*m - 6, 2*x + 6 = -4*m + 14. Solve -2*f = x*o + 2*o - 20, -5*o - f 