 0*b - 4*j - t = 0 for b.
1
Let c be 2/(-6) + (-192)/(-36). Let n(a) = 7*a**3. Let h be n(1). Suppose 5*u = 4*i - 0*u - 11, 3*i - h = 5*u. Solve 4*t = -0*t + i, g = -c*t + 2 for g.
-3
Suppose 0 = 5*g + 2*l - 2, 2*l + 27 = -4*g + 29. Suppose -3*c - 2*k + 10 = 0, -5*k + 38 = c + 13. Solve 5*h + g*h + m = -5, 4*m + 20 = c for h.
0
Let j(h) = 35*h - 147. Let u be j(5). Solve 0*k - 5 = -k, -4*d + 4*k - u = 0 for d.
-2
Suppose 5*o = -21*o. Solve 4*n + 5*t + 11 + 12 = 0, 3*n + 2*t + 12 = o for n.
-2
Suppose 671 + 33 = 32*y. Solve 2*k + 3*w = 7*k - y, w = 5*k - 14 for k.
2
Let y be (2*(-3)/6)/(-1). Suppose -4*n = -4*r + 44, -2*n - 5*r + y - 2 = 0. Let w = n - -13. Solve -3*t = w*c - 6*t - 9, 5*t - 7 = c for c.
3
Let v be (-9)/(-18)*2*3. Solve -7 = -v*a + 2*i, 40 = -3*a - 5*i + 12 for a.
-1
Let i(g) = -g**3 - 2*g**2 + 2*g + 1. Let w be i(-2). Let m = 6 + w. Let k = 3157 - 3153. Solve -2*s - 2*f = k, 2*f - 10 = -s - m*f for s.
-5
Let m(x) = -51*x + 59. Let l be m(1). Solve 5*g = -u + 9, u + 4*g + 0 = l for u.
4
Let x = 169 - 167. Solve -2*s - 5*w = x, s + 3*s - w = -4 for s.
-1
Let o = 391 + -388. Solve -4*t - 5*a = o, 3*a + 3 = 6*a for t.
-2
Suppose -d - 7*y = -6*y - 17, -5*y = -5*d + 135. Suppose 0 = -s - 3*s + 20. Solve -5*p + d = -2*u - 2*u, s*u = -2*p - 11 for p.
2
Let w be (-4)/12*1*-6. Suppose -4*v = -4*k - 6 - 2, -4*v - w*k = -14. Suppose -4*z + 5*z = 0. Solve -c - 2*s = -v, -5*s = 4*c - z*s for c.
-5
Let k(g) = -g**2 - 30*g + 264. Let z be k(-37). Solve 2*f = 3*v + 2, 4*f = -5*v + z*f - 8 for v.
-2
Suppose -4*w - 3*w + 70 = 0. Let u = -2 + 1. Let y = u + 1. Solve w = -4*f + 2*p + 2, -p = y for f.
-2
Suppose 418*g - 304 - 2265 = 51*g. Let m be (-2)/(-3) - 12/(-9). Solve f - 5*h = -f + 8, m*h + g = -3*f for f.
-1
Suppose -v = -6*v. Suppose v = -k - k + u + 13, u - 7 = -2*k. Solve -4*x - 4*i = -2*i, 1 = k*x + 2*i for x.
1
Suppose 7*l - 104 + 6 = 0. Let p be (-32)/16 - (l*1)/(-2). Solve 0*q + 16 = n + 4*q, -5*n + 20 = p*q for n.
0
Suppose 188 = 4*t + 48. Suppose t = 5*m - 5*a - 65, -5*m - 2*a = -86. Let c = -16 + m. Solve c*v - 3*f = 1, 2*v - 3*f = f for v.
2
Suppose -2*q - 2*c = -5*c + 2, q = 2*c - 2. Solve 0 = q*g + x + 5, 0*x = -2*x + 2 for g.
-3
Let h = -135 + 96. Let l = -35 - h. Solve -l*b - 5*m = -21, -b + 22 = 2*b + 5*m for b.
-1
Let q = 84 + -65. Suppose r = 2*r - q. Solve 5*b = -3*c, 2*c = 2*b + b + r for c.
5
Suppose -2*x + 4*i = -16, -5*i + i + 8 = 4*x. Suppose -5*d - x*r + 50 = 0, 3*d - r + 35 = 8*d. Solve 3 + 7 = 3*m + l, 0 = 5*m - 4*l + d for m.
2
Let l = 595 - 585. Solve 10*x = 5*x - 2*z - 12, -2*z - l = 4*x for x.
-2
Let p(s) = 3*s**3 + 11*s**2 - 2*s - 4. Let b be p(-3). Solve 5*i = 2*y + 5 + b, i + 2*y = -7 for i.
3
Let i be 0/(-1 - -11) + 5 + 0. Solve 5*w = i*d, 5*w - 4 + 44 = -3*d for w.
-5
Suppose 0 = 10*h - 112 + 82. Solve 17 = h*b - 2*u, -b + u = -3*b + 2 for b.
3
Let x be (-1 - 0)*(0 + -5). Solve -14 = -3*p + y - x*y, 4*p = -4*y + 12 for p.
-2
Let u = -28 - -32. Let o be -7*(u/(-6))/((-3)/(-9)). Solve -5*j = -5*k, 2*j + 7*k - 2*k + o = 0 for j.
-2
Suppose -2*m = -6*m. Suppose 0 = 3*k + 3*w, -5*w - 5 = 3*k - w. Let u = -31 - -33. Solve 4*r - 4 = k*i, m = -4*i + u*i - 2*r - 16 for i.
-4
Suppose -2*g + 146 - 90 = 0. Solve -5*t = 3*y + g, -3*y = -5*t - 31 + 9 for t.
-5
Let x be 2*(0 - (-9 - -7)). Solve v = 5*u + 4, v = -3*u + 4*u + x for u.
0
Let o(t) = 7*t + 19. Let v be o(-2). Solve -5*p + 5*f = 35, 3*f - 19 = v*p + 2*f for p.
-3
Let p be (8 + -4)*(-2)/(-2). Let v be 2 + (-2 - 0) + p. Solve 0*s + 4*s = -v*x + 16, -x + 5 = 2*s for s.
1
Let u(z) = 7*z - 112. Let i be u(16). Solve h + 14 + i = 3*q, 5*h - 5 = 0 for q.
5
Let f(d) = d**3 - 6*d**2 + 20*d - 44. Let u be f(4). Let b = -4 - -8. Let w = b - 1. Solve 5*a + w*g + 2 = 4, u*g - 24 = 4*a for a.
-2
Suppose -i - 20 = -5*i. Suppose -i*u - 1 = -11. Solve -4*r - 2*n = 8, -5*r = 3*n + 14 - u for r.
0
Let o(b) = 6*b + 249. Let v be o(-41). Solve v*z - 2 = -q - 0, q - 2 = -2*z for z.
0
Let f(z) = 3*z**2 - z - 4. Let t(c) = 2*c**2 - 4. Let i(j) = 3*f(j) - 2*t(j). Let s be i(-1). Solve 0 = -4*m + 4*d, 0 = m + d - s*d for m.
0
Let k(o) = -3*o + 19. Let j be k(7). Let b(h) = -4*h - 8. Let m be b(j). Solve m = -3*i + 4*v + v + 11, i = -2*v for i.
2
Suppose -4*c + 50 - 42 = 0. Solve -4*n + 28 = -5*m, -6*m + 4*n = -c*m + 24 for m.
-4
Let y be ((-74)/(-14) - (-4)/(-14))/1. Solve 3*i - 1 + 11 = -y*n, -i - 4*n = 1 for i.
-5
Let c(r) = 3*r + 12. Let u = -27 - -24. Let l be c(u). Suppose 3*t + 19 = g - 0*t, -47 = -5*g + l*t. Solve -5*w - 15 = 5*k, -4*k + 0*k + w = g for k.
-2
Let u(n) = -2*n**2 + 80*n - 65. Let v be u(39). Solve 0*f + 4*g = -4*f + 8, g + v = 2*f for f.
5
Let d be (-23)/(-69) - (-4)/6. Let y = d - -17. Solve 6*r + 3 = 3*r + 4*h, -3*r - h = y for r.
-5
Let r = 6 + -2. Suppose r*w - 3*p - 116 = 0, -5*p + 52 = w - 0*p. Solve 0 = -4*i + 4*y - w, i - y = -6*y + 16 for i.
-4
Let v(s) = 4*s - 26. Let y(m) = 12*m - 77. Let c(t) = -7*v(t) + 2*y(t). Let j be c(7). Solve 3*z + 3*f - 3 = j, z + 4*f = -0 + 4 for z.
0
Suppose 0 = -5*s + 4*j + 20, 4*s + 2*j + 0*j = 16. Solve s*a - 4*i + 16 = 0, 0*i - 5*i - 30 = 5*a for a.
-5
Let o(x) = x**2 + 12*x - 60. Let r be o(-16). Suppose -b = m + 2 - 4, 4*m = 3*b + 22. Solve -w + 4*q - 3 = -r*w, -m*w - 5*q = -4 for w.
1
Suppose 4*r + r = -c + 25, -12 = -4*r. Let q = -184 + 186. Solve -2*b = 4*s - c, -s + 5*b - 1 = q for s.
2
Let o = 844 - 838. Solve 5*q + 19 = -2*h, -q + 3*h - 9 = o*h for q.
-3
Suppose -16 = -4*z - 4*d + 12, 0 = 3*z - 2*d - 6. Let g be (-33)/39 + -1*6/39. Let r = 3 + g. Solve 3*l = 3*p + 17 + 13, -10 = r*l + z*p for l.
5
Suppose 14*v + 7*v - 21 = 0. Suppose v = x + b, x + 6*b - 7*b - 1 = 0. Solve i + x = 4*q, -q + i - 11 = 3*i for q.
-1
Let n(o) = o**2 + 2*o - 3. Let a(h) = -3*h - 10. Let t be a(-4). Let p be n(t). Solve 2*q + f = -10, p*q + f - 2*f + 18 = 0 for q.
-4
Suppose -5*o + 5*g - 3 = 2, 2*o = -6*g + 38. Solve 2*z - 3*h + 22 = o*z, 5*z - 5 = 5*h for z.
5
Suppose 4*r + 2*a + 15 = -3, -5*r = -3*a + 6. Suppose 3*p + 5*y = 1, 5*y - 4 - 15 = 3*p. Let t be -2*p/(-6) - r. Solve -t*b + 0*b = 5*v, 2*v + 6 = -2*b for b.
-5
Let t(j) = j**3 - 4*j**2 + 4*j - 12. Let i be t(4). Solve 0 = -r + 6*r + i*k - 1, 8 = 2*k for r.
-3
Let p be (2 - (-15)/(-20)) + 2/(-8). Let t be 1 - p/(-2 - 2/(-2)). Solve -2*i + 2*j = -8, 13 = -2*i + 5*i - t*j for i.
5
Let j be 1/(-6) - 855/(-270). Solve -12 = -j*t + 5*y, t - 4 = -y - 0 for t.
4
Let t = -1033 + 1038. Solve 4*r - 5*d + 9*d - 16 = 0, t*r + 20 = 5*d for r.
0
Let a(u) = -3*u - 3 + 2 - 3*u**3 - u**3 + 5*u**3 + 2*u**2. Let y be a(-3). Let k be 0 - 3 - (-4 + y). Solve 16 = -k*b + 4*i, -4*b + 2*i = -3*i + 17 for b.
2
Suppose 13*g + 7 = 14*g. Suppose r + c - 4 = 0, g*r - 2*r + 2*c = 20. Solve -k - r = -4*k - o, 0 = -k + 3*o - 2 for k.
1
Let c be ((-4)/(-5))/(10/25). Suppose 0 = 5*u + c*n + 68, 4*u + 0*u - 2*n = -58. Let v be (-22)/(-6) - u/(-21). Solve 5 = -w - v*d, -6*w - 5*d = -2*w - 1 for w.
4
Let v(r) = -r**2 - 15*r - 18. Let l be v(-13). Solve -2*i + 12 = -3*i - 2*h, 3*i - 5*h = l for i.
-4
Let t(v) = 5*v - 22. Let o be t(5). Solve 2*n - 6 = 0, s - o + 18 = 5*n for s.
0
Let h(v) = v**3 - 3*v**2 - 6*v + 7. Let c be h(4). Let s be 46/2*1*c. Let a = 26 + s. Solve -3*m = 3*f, 0 = a*m - m + 4*f for m.
0
Suppose 0 = -j - 66*d + 62*d + 8, -3*j - 2*d = -34. Solve 2*s + 3*k = j, 5 = s + 2*k - 2 for s.
3
Let i be ((-5)/3)/(2/6). Let o(k) = k**2 - 6 + 2*k + 13 - 2*k - k. Let s be o(i). Solve 5*p - 3*f = s, -2*p + 13 = 3*p + 3*f for p.
5
Suppose -3*s = 3*b + 6, 9 = 2*s - 4*s - 3*b. Suppose 0 = -s*z + 6. Suppose 0 = 2*f - 8 + z. Solve 4*q = f*h - 6*h - 17, -5*q - h = 24 for q.
-5
Let b(k) = k**3 + k**2 - 4*k - 3. Let o be b(-1). Suppose 2*s = 7 - o. Solve 5*w = -2*u - s*u - 30, 3*u - 5*w - 14 = 0 for u.
-2
Let n be 6 + (192/(-8))/6. Solve 2*y = -2, 0*g - 2*g + n*y = -4 for g.
1
Let q = 3 - -5. Suppose 1 = 4*n - 2*b - 3, 2*b - q = 0. Solve 2 = 2*v - n*u, v + 1 = 3*u - 1 for v.
4
Suppose -18*n = 4*n - 110. Solve 0 = j + 2*s + 2, -5*j + 0*s = n*s - 5 for j.
4
Suppose 18 = 2*h - 4*t, h = 2*h - t - 4. Let s = h + 7. Let x be 1 - (-1*s + 3). Solve -x*a + 3*a = 2*k + 6, 0 = -5*a + 2*k - 6 for a.
-2
Let n be (-5)/(104/(-16) + 4). Solve 3*z - z = -w, 14 = 3*z - n*w for z.
2
Suppose -4*v + 2*o = -28, 3*v + 3*o - 40 + 1 = 0.