Solve -f = -j - b*j - 6, -m*j + 3*f = 23 for j.
-5
Let x(y) = -2*y + 14. Let g be x(6). Solve 0*u - 3*u = -4*s, 5*s + 7 = g*u for s.
-3
Let n be (-1)/(2 + (-45)/20). Solve -n*k - 18 = 2*x, 3*k = x - 1 - 0 for k.
-2
Let a = 26 + -26. Solve 4*s = -i - 18, a = 4*i - 2*i + 3*s + 16 for i.
-2
Suppose 5*i - 4*m = 55, 5*i = -3*m - 17 + 107. Suppose -5*x - 5*s + i = 0, -3*s - 3 = -3*x - 0*x. Solve -4 = 4*h - 0*h, x*h + 12 = 2*f for f.
5
Suppose 0 = 5*y - 2 - 13. Solve 2*n = 2*w + 10, n = 3*w + 12 + y for w.
-5
Let a = 45 + -40. Solve -a*w - 5 = t, -6*t = -t - 3*w + 25 for t.
-5
Suppose -2*n - 4 = d, -4*d = 3*n + 2*n + 4. Solve 36 = -5*k - d*l, 2*k - 3*l + 8 = -3*k for k.
-4
Suppose -3*z + z = -128. Let m = z - 38. Solve 4*o + 2*k = -m, 4*k = -19 + 7 for o.
-5
Let y = 0 - -2. Suppose 6 = -3*l, -4*f - 4*l = -3*f + y. Suppose 0 = 2*d - f*d + 12. Solve -4*m = 20, -2*i - 10 = 3*i + d*m for i.
1
Let q = 3 + 0. Suppose -21 = x + 5*u, -2*x - 2*x - u = -11. Suppose -5*n - x = -19. Solve 1 = -n*j + 2*j + 4*o, q*o - 3 = 0 for j.
3
Suppose -l + k = 2*l - 62, 0 = 5*l + 4*k - 92. Solve 0 = -4*t - l, 2*t = 3*n + 2 + 3 for n.
-5
Let a be (39/(-9) + 1)*(-6)/4. Solve 4*k - k - 15 = -3*f, -k + a = 0 for f.
0
Suppose 3*z + 40 = -8. Suppose 0 = 3*n - 4 - 68. Let x = z + n. Solve 0 = -5*u - 5*j + 30, -u - j - 2*j + x = 0 for u.
5
Let v be (-2)/(-1)*(-3)/(-2). Solve v*m + 4*f = 0, -6*m + 4*f = -m for m.
0
Suppose 5*i + 0*i = 15. Solve -2*s = -i*p - 4, 0*p + p - 2*s = 0 for p.
-2
Suppose 4*h + 5*x = 96 - 10, -2*h = 5*x - 48. Let z = -32 - -26. Let d be ((-2)/(-3))/(z/(-90)). Solve -3*r = 2*n - d, -n = -2*n - 5*r + h for n.
-1
Suppose -y + 13 = -24. Suppose 2*r = -5 + y. Solve -w + r = -5*m, 8*m - 3*m + 36 = -4*w for m.
-4
Suppose -2 - 3 = 2*f + 3*y, -f + 11 = -3*y. Suppose f = -m + 5. Solve -5*k = -m*h + 6, 0 = 3*h + 2*h - 10 for k.
0
Let f(p) = p + 8. Suppose -2*l - 5*t = -3, 4*l + t = 2*t - 27. Let q be f(l). Suppose 8 = -4*j, -5*n + 44 = j - 3*j. Solve b + n = -u, b + q*b = -9 for u.
-5
Let c be (-2)/(2/(-1)*1). Let r(i) = -2*i**2 + i - 6. Let l be r(3). Let b = l + 24. Solve d + 3*f = -0*f + c, 0 = -3*d - b*f + 3 for d.
1
Suppose -4*n + 2*n = 2*r - 6, -3*n = r - 7. Solve -31 = -5*b - 2*j, -2*b - n*j + 21 = b for b.
5
Let u(m) = -m - 11. Let v be u(-14). Solve 3*h - h + v*k - 15 = 0, 0 = -h - 5*k + 25 for h.
0
Let j(h) = h + 3. Let s be j(0). Solve 3 = -z - l - 0, 0 = -s*z + 5*l + 7 for z.
-1
Let y = 36 - 31. Let z = 14 - 10. Solve 18 - 2 = -z*s - m, y*m = -3*s - 29 for s.
-3
Let q = -5 - -12. Solve 2*f + 0*f - 10 = 4*c, -q = -5*f + c for f.
1
Suppose 4*i = -7*h + 3*h + 16, -4 = h - i. Let c = h - -2. Suppose 3*g + 66 = 3*m + m, 26 = 2*m + c*g. Solve 0 = 4*f - 2*j - 12, 3*f + 2*f + 4*j = m for f.
3
Suppose 0 = -4*q + 2*q + 6. Solve -4*u = q*c + 31, -9 - 16 = 5*c for u.
-4
Let n be 18 + 0 + -2 + 0. Suppose -7*o = -3*o - n. Solve -4*f - o*c = -7*f - 35, 0 = f + 5*c - 20 for f.
-5
Let o(d) = -15*d - 101. Let h be o(-7). Solve -a + 4 = -h*i - 0*a, 2*i - 3*a + 12 = 0 for i.
0
Let z be (12/8)/((-2)/(-8)). Suppose 3*h + 0*h - z = 0. Solve 6*x - 3*x = -2*s - 9, -s - 1 = -h*x for x.
-1
Let m be 9 + (2 - 2) + 4. Solve u + 4 + m = -3*n, -14 = n + 2*u for n.
-4
Let g be 6/(-3) + 1*78. Let q = 19 - g. Let u be q/(-6) - 2/4. Solve 5*b - 13 = -3, -2*b + u = 5*y for y.
1
Let b(j) = -3 - 1 - 9*j - j**2 - 3. Let h be b(-8). Solve -2*w - 5*u + h + 1 = 0, w - 5*u + 14 = 0 for w.
-4
Let t be 0 - (6/(-3) - -2). Suppose 2*k - 6*k - c + 19 = t, 3*k + 3*c = 21. Let p = 1 + 1. Solve -2*l = -8, j - p*j + 15 = k*l for j.
-1
Suppose -l - l = 5*j - 20, -5*j = 4*l - 30. Solve 0 = -p + g - 1, 3*g + 2 - 5 = -j*p for p.
0
Let t be (-7)/(-1)*(32/28)/2. Solve -t*s + 22 = -5*a + 1, 0 = -5*s - 4*a - 25 for s.
-1
Let o be 2 - (3/(-3))/1. Suppose -16 + 4 = -o*x. Let u be (x/12)/((-1)/(-30)). Solve -v = -j + 5, 5*v + 3*j - u = 3*v for v.
-1
Let g be (-72)/(-7) - (-2)/(-7). Let t = g + -6. Solve -5*f = 5*n + 21 + 4, -3*n - t*f - 20 = 0 for n.
0
Suppose 3*s - 7 = 8. Let l be 8/(-12) - 8/(-3). Suppose 11 = 3*f + t, 0 = -2*f - 3*t + 7 + 12. Solve -f*o + 2 = 5*h, -l*h - s*o - 12 = -o for h.
2
Let q(k) = -k - 1 - 3 + 0. Let s be q(-6). Solve -1 = c - 4*h + 7, -s*c - 5*h + 10 = 0 for c.
0
Suppose -3*g + 24 = -g - 2*a, -5*a - 53 = -4*g. Solve j - g = -p, -3*j = p - 2*p - 13 for j.
5
Let w = -63 + 93. Solve 2*q - 2*r + 3*r = 1, -w = 5*q - 4*r for q.
-2
Let r be (-39)/(-9) - (-1)/(-3). Suppose -r*s = -o + 153 + 95, 0 = 2*s + o + 124. Let n = s + 107. Solve 6*k = 5*c + k + n, 3*c + 4*k = 1 for c.
-5
Let k be (-40)/12*(-12)/10. Suppose -5*s - u = -20, -4*s + 12 = u - k. Suppose -s = -3*g + 5. Solve -g*l + 15 = 2*d, -d = l - 3 - 3 for l.
3
Let g be -1 + 4/(1 + 3). Solve -3 = h - 4*h - 3*u, g = 4*h - u - 14 for h.
3
Suppose -l = -3*l. Suppose -2*y + y + 3 = l. Suppose 4*f - 8 = y*f. Solve 5*o + 16 = -3*p, 3*p + f = -o - 0*p for o.
-2
Suppose w = 5*w. Let b = 15 - 13. Solve w = -3*u - 3, 21 = -4*s - 3*u + b for s.
-4
Suppose -2 = -2*l, -6*l + 10 = u - l. Suppose u*d + 2 - 12 = 0. Solve 0 = -3*a + f - 0 - 5, -6 = 2*a - d*f for a.
-1
Let r = 18 - 13. Let z be (-25*1/1)/(-1). Suppose -z = -u - 4*u. Solve -r*i - 10 = 0, -3*h - u*i + 11 = -3*i for h.
5
Let h(p) = 24*p**2 - 7*p - 7. Let f be h(-1). Solve -k = 3*m + 14, k + f = 5*k - 4*m for k.
1
Suppose -3 = -3*q + 27. Solve 3*c = 5*n + 14, 3*n + q = 3*c - n for c.
-2
Suppose 0 = 7*p - 19 - 9. Solve -5*k - 10 = 0, -x + p*x + 4 = -5*k for x.
2
Let x = 24 - 16. Solve -l - 4*g + 8 = -0*l, -3*l + 4*g = -x for l.
4
Let s be 2*1 + -19 + -1 + 2. Let t(l) = 2*l**2 + 3*l + 3. Let q be t(-4). Let i = s + q. Solve -2*w - 4*c + 5 - 3 = 0, 3*w - 4*c = -i for w.
-1
Let j = 4 + -4. Suppose 4*t = -5*i + 45, -4*i - 5*t + 27 = -j. Let b = i - 9. Solve -c + 3 = 5*r, -17 = -5*r + b*c - 4 for r.
1
Suppose -4 = 4*u, 4*u - u = -o + 1. Solve -4*s = -p - 13, -o*s + 5*p = -s - 14 for s.
3
Let t be (-279)/(-54) - 1/6. Let a(o) = -o**3 + 6*o**2 - 3*o - 4. Let k be a(t). Solve u - z - 5 = -1, -5*z = 2*u + k for u.
2
Suppose -3*b + 0 = -6. Let v be (-27)/(-6) + 16/(-32). Suppose -2*j - 21 = -2*i + 19, -4*j + 64 = 2*i. Solve 2*z + v*c - 12 = 0, -2*c = -4*z + b*c - i for z.
-2
Let t(j) = j**2 + 2 + 27*j**3 + 3*j**2 - 1 - 3*j**2 - 2*j. Let f be t(1). Solve y - 5*z = -0*y - f, 2*y + 5*z = 21 for y.
-2
Let n be (275/44)/((-2)/8). Let s be 10/n - (-12)/5. Solve 13 = -4*t + s*b + 5, 23 = -5*t - 4*b for t.
-3
Let o = 1 - 1. Let f(l) = -l**3 + l**2 + l - 7. Let a = 18 - 21. Let y be f(a). Solve -5*t + 0*x - 4*x = o, y = -4*t + 2*x for t.
-4
Let b(k) = -k**3 + 10*k**2 + 12*k - 9. Let c be b(11). Suppose 0 = 3*o - z - 18, 5*z - 6 = -3*o + c*z. Solve -n = -o*t + 4, 0 = 3*t + t + n + 4 for t.
0
Let h = 10 + -7. Suppose 0 = 5*u - j + 3*j - 12, -16 = -u + 3*j. Solve 5*o - u*w = -7, -o - h*w - 18 = 3*o for o.
-3
Let h be 1 - (3 + -8 + 3). Solve -h*y - 7 = -l + 9, -3*l - 2*y = 7 for l.
1
Let v(k) = -4 + 2*k**2 - 6*k - 3*k**2 + 0*k. Suppose -5*u - 6 = -3*u. Let y be v(u). Solve -3*j = 4*d - 0*d - 28, y*j = 3*d + 8 for d.
4
Let v = -28 - -32. Solve 3*s - 2*y - 11 = 0, v*s - 2*y - 3*y = 17 for s.
3
Suppose 0*k = 5*k + 45. Let r = -4 - k. Solve 2*n - 6 = 0, -2*n = -r*s - 2 - 9 for s.
-1
Let j(g) = g**3 + 7*g**2 + 7*g. Let s be j(-6). Let t = s - -7. Solve z - k = -t, 5*z - 7 = k - 2*k for z.
1
Let y(u) = -u - 4. Let o(a) = a**2 - 4*a + 1. Let c be o(5). Let l be (-1 + 1 - 1)*c. Let x be y(l). Solve 16 = i - 3*d, i = x*i - 5*d - 26 for i.
1
Let q = -28 + -9. Let p = -68 - q. Let f = p + 61. Solve -5*c + y - 15 = 0, 6*c + f = c + 4*y for c.
-2
Let s = -134 - -137. Solve -3*m = 2*r - 3, -2*m - 17 = -8*r + s*r for m.
-1
Suppose 5*z + 17 = -4*o - 0*o, 0 = 3*z + 15. Let s be o*(-2)/6*3. Let a = s - -12. Solve 4*r = 2*m - m + 15, 2*m = 3*r - a for r.
4
Let c(x) = x**3 + x**2 + 8*x + 2. Let y(w) = -w**2 + w + 1. Let u(q) = -c(q) + 4*y(q). Let f be u(-4). Solve 25 + 4 = -5*g - 4*z, -f = 2*z for g.
-5
Let f(k) = -k**2 + 2*k + 2. Let j be f(4). Let b = j + 8. Solve 2*s - 3*g + 6 = 26, 5*s - b*g - 28 = 0 for s.
4
Let g(l) = 3*l**2 - 8*l + 6. Let s(t) = -7*t**2 + 17*t - 11. Let j(r) = 5*g(r) + 2*s(r). Let o be j(6). Solve 19 = 4*i + q, -3*q - o = i - 7*q for i.
4
Suppose -38*g = -42*g + 12. Suppose 5*u - 70 = -20. Solve 4*z - g*b + 9 = -u, 