4. Let u be a(3). Suppose 3*q + 5 = 3*b + 4*q, b - 2*q - 4 = u. Solve 0 = b*v + 4*n - 5*n, 4*v - 5*n - 12 = 0 for v.
-2
Suppose 7*g - 25 = 2*g. Let a = -2313 + 1638. Let o = 675 + a. Solve -5*r - 15 = 0, -r = -g*h - o*r + 3 for h.
0
Let g be (-1)/(1/4)*(17017/182 - 94). Solve -5*y - 14 = -w - 49, g*y - 5*w = 37 for y.
6
Suppose -135*o - 162*o = -4752. Suppose 0 = 2*y - 6 - 2. Suppose -y*c = -o, 2*k - 12 = -2*k + 2*c. Solve -k*m + 1 = h + 4, -5*h = 3*m + 15 for m.
0
Let l = -9201 + 9205. Solve -4*z - l*g + g = 14, 2*z - 3*g + 16 = 0 for z.
-5
Let m = -7 + 10. Let n(f) = f**2 + 22*f - 52. Let l be n(-24). Let v be 6/l*(7 + -9). Solve -5*d = -v*o - 20, -m = -0*d - 3*d for o.
-5
Suppose 7*i = -3*r + 4*i + 483, -497 = -3*r + 4*i. Let a = -160 + r. Solve -b = -3*n - 9, -a*b = -2*b for n.
-3
Let j = -16716 + 16718. Solve -4*b + 6 = -j*l, l - 12 = 3*l + 2*b for l.
-5
Suppose 0 = -112*j + 276 + 284. Solve -p + j*o - 3*o = 5, -4*o = 3*p - 15 for p.
1
Suppose 42 = -4*a - 82. Let v = a - -28. Let w(c) = 2*c**2 + 5*c + 2. Let x be w(v). Solve 4*y - m + x = 4*m, 2*y - 15 = -m for y.
5
Suppose 166*k + 378 = 208*k. Solve -11*m = -k*m - 2*j - 18, m - 5*j = 25 for m.
5
Let z = 34191 + -34167. Solve 4*k = -4*b - z, -5*b - 152 + 137 = 0 for k.
-3
Let q = -79 + 106. Suppose -107 = -10*x - q. Suppose -h - h = x*h. Solve t + 1 = h, -3*g + 23 = -8*g - 3*t for g.
-4
Suppose 0 = -20*s + 3*s + 68. Suppose -25 = -6*a + a + y, -3*a + s*y = -32. Solve a*d + 8 = 0, 3*d + 21 = -3*n + 6*n for n.
5
Let y = -121 - -145. Suppose -y*i = -173 - 211. Suppose -4*x + 32 = -56. Solve 2*r - 4*c = i, x = -0*r + 5*r - 4*c for r.
2
Let f be -14*(10/(-4))/(-5). Let g be (1/(-5))/(((-70)/f)/(-100)). Solve o = -5*m, g*m + o - 6 = -3 for m.
-1
Suppose -25 = -3*w - 7. Suppose -2*q - 6*f + 5*f = -w, 3*q - 9 = 5*f. Let u(k) = -k**2 - 4*k + 7. Let j be u(-5). Solve -4*l + q*z = j*z - 19, -15 = 5*z for l.
4
Suppose -19*o + 14*o + 3*i + 52 = 0, 50 = 5*o - 5*i. Let t(w) = 10*w - 107. Let d be t(o). Solve 3*g - 9 = -n + 2*n, g - 3*n = d for g.
3
Let h = 2734 - 2733. Solve z + h = 10*v - 9*v, -3*z = -3 for v.
2
Suppose -47*d + 966 = -33*d. Suppose -65 + d = 2*p. Solve 0 = g + v - 6, p*g - 3*v + 1 + 2 = 0 for g.
3
Suppose -5*s + 191 = -2*p - 0*p, -100 = p + 2*s. Let t = p + 100. Solve 4*m + 12 = -0*b + 4*b, b + 12 = -t*m for m.
-5
Suppose -11*w - l - 40 = -8*w, 5*w = -l - 64. Let d be 6 + 104/24 - (-4)/w. Solve 5*f = u - 18, 5*f - 2*u = d - 26 for f.
-4
Let b = -414 - -175. Let t = 239 + b. Solve -2*k = i - t*k + 2, 0 = -k for i.
-2
Suppose -c = -3*q + 1765, 3*q + 1780 = 6*q + 2*c. Suppose 5*b = -0*b - q. Let d = 123 + b. Solve -2*w - 8 = 0, d*j + 3 - 4 = 4*w for j.
-3
Let f(y) = y + 6. Let z be f(-3). Let h = 1218 + -886. Suppose -62 + h = 15*p. Solve -5*k + p = -z*k - 2*n, n = -2*k + 6 for k.
5
Let y(a) = a**2 + 3 + 2 - 7*a + 5 - 2. Suppose 2*p + 1 = 13. Let x be y(p). Solve 0 = 5*w + 25, x*k + 23 = 3*k - 5*w for k.
-2
Let p be 145/(-58)*4*(-6)/15. Solve -2*a = -4*a - u - 9, 0 = 5*a + p*u + 30 for a.
-2
Let u(d) = 41*d**3 - 2*d**2 - 5*d. Let f be u(3). Suppose -12*j + f = -582. Let y = j + -138. Solve -5*o + 25 = 0, -2*p + y*p + 3*o - 13 = 0 for p.
1
Let k(j) = 4*j - 4. Let w be k(1). Let u be w*(4 - 54/12). Solve 5*h - 2*a - 25 = u, -6 - 13 = 2*h + 5*a for h.
3
Let g = 18 + -13. Suppose -8*a + 108 = -35*a. Let z(d) = -d**2 - 35*d - 121. Let t be z(a). Solve -i = 3*o + o + 5, g*i = -t*o + 9 for o.
-2
Let a(m) = m**2 + 2*m + 23. Let q be a(10). Suppose -x - 137 = -q. Solve -5*n - t + 35 = -x*t, 0 = -n + 4*t + 16 for n.
4
Let v be ((-20)/4 - (0 - 5))/(-1). Solve v = -5*n - 4*g + 6, 11*g = -5*n + 8*g + 2 for n.
-2
Suppose 1576 + 2639 = 281*z. Solve z = 3*l + 3, -2*l = 2*y - 18 for y.
5
Suppose -2*y = 6*y - 16. Suppose -s + 26 = r, -y*r - r = s - 82. Suppose 0 = -16*z + 36 + r. Solve 5 = 4*m + 5*o + 1, -z*o = m - 12 for m.
-4
Let v(r) = r**2 + 5. Let m be (-58)/(-116) - ((-19)/(-2) + -1). Let a be v(m). Let l = 71 - a. Solve c - 2*c + 1 = 0, c = l*k - 3 for k.
2
Let s be 1 + -1 + (7 - 3) + 0. Let m = -84 - -87. Suppose m*b - 24 = -o - 7, -4*o = 4*b - 28. Solve q = s, -u + 16 + o = 5*q for u.
-2
Suppose 284 = -8*p + 684. Suppose -j = -4*k - p, 5*k - 95 = -11*j + 7*j. Solve 5*q - 5 = -4*z, q - 5*z = -0*q + j for q.
5
Suppose 0 = -41*l + 59 - 674. Let f be (-4)/(-2*2 - (l + 13)). Solve -3*h = 2*a + 1, 4*a = h - 3*h + f for a.
1
Suppose -5 = -4*c + 7. Let p(a) = -a**2 + 9*a + 19. Let l be p(13). Let k be l*(-5 + 42/9). Solve -5*u + c*w - k = 2*w, -4*w - 4 = -4*u for u.
-3
Suppose -2 = -4*s + y, 2*s = -2*y + 90 - 74. Solve -o - 22 = 5*m, -4*o + 3*o = s for m.
-4
Let p(m) = 198*m + 1. Let b be p(1). Suppose -5*l = 3*o - 182 + 69, 0 = 5*o + 3*l - b. Let j = 41 - o. Solve 5*u - c + 15 = j, -u = -0*c - 3*c - 11 for u.
-4
Let p(s) = -s**3 + 5*s**2 + 18*s + 35. Let n be p(7). Let t be -6 + (-10)/((-70)/n). Solve 5*a + 4*r = 18, 2*a + t*a = -2*r + 14 for a.
2
Let k be ((-19)/(-1) - 21)*(-3 - -2). Solve -1 = -d - 3*h, k*h = 2*d + 90 - 92 for d.
1
Let l be -5 - 4/3*-3. Let x be (-1 - l)*34/(-68). Solve x = -3*o - 5*v - 3, 0 = -2*o - 2*v + 2 for o.
4
Let c be 3 - ((-2)/(-7) - 132/(-28)). Let p be ((-195)/(-117))/(c/(-6)). Solve 3*n + 4 + 30 = -p*v, 5*v + 13 = 4*n for v.
-5
Let h = 21 - 9. Let n be (-4)/2 + -2*(-8 - -4). Suppose 2*j - i = n, j = 7*i - 4*i - 2. Solve -5*a - 2*m + h = 30, -3*m + 19 = -j*a for a.
-4
Let w(k) = -7*k + 160. Let i be w(0). Suppose i*a - 12 = 154*a. Solve 0 = -3*v + a*m + 21, 10 = -v - 2*m - 3*m for v.
5
Let n(z) = z**2 - 41*z + 148. Let b be n(37). Solve 3*j - 5 = -4*u - 21, b = 2*u + 2*j + 10 for u.
-1
Suppose 4*w + 0*u = -2*u, 2*w = 3*u. Suppose 0 = 5*d - 15, -2*d + 22 = f + 3*f. Solve t = 3*y + 5 + 6, -f*t + y = w for t.
-1
Let i = -11087 + 11090. Solve -506*u + 507*u = -i*d - 16, -5*d + 5*u = 0 for d.
-4
Let n be 693/(-63) - (1 - 14). Solve j = -3*b - 1, -2*b = 2*j - 0*j + n for j.
-1
Let u(s) = 11*s + 115. Let v be u(-10). Let y(j) = -j**2 + 6*j - 4. Let n be y(5). Solve -5*z - 2*d = n, -v*z - 4*d = 10 - 3 for z.
1
Suppose 0 = -4*v - 3*x + 143, 3*v - 171 = -2*v + 4*x. Suppose 7*s = v - 14. Solve -20 = -s*z - p, 0 = 5*z + 3*p - 57 + 17 for z.
5
Suppose 3*n + 0*t = 5*t - 25, n - 4*t = -20. Let r = -7 + 13. Suppose -3*l + r = -n*l. Solve p = 2*z - 0 + 4, -5*p + l = -4*z for z.
-3
Suppose -5371*v = -5112*v - 1036. Let m = 1 + 3. Solve 5*a = a + m*n - 16, -3*n = v*a + 16 for a.
-4
Let v = 169 + -166. Solve -2 + 17 = -v*n + 4*u, -n - 3*u = -21 for n.
3
Let r be 102/14 - -1 - 40/140. Let v be 2 + ((-14)/(-21) - r/3). Solve g - 6*g + 7 = -2*p, v = g + 2*p - 11 for g.
3
Let h = -23 - -46. Suppose -20 = d - h. Solve -v - 2 = -3*g - 12, 6 = 3*v + d*g for v.
4
Let f be (-7 + 494/52)/(2/(-4)) + 7. Solve -5 = -f*m - j, 6*m - 7*m + 6 = -3*j for m.
3
Suppose 6*u = 4*u + 10. Solve 0 = u*f + 5*n - 30, -10 = -11*f + 10*f - 2*n for f.
2
Let h(v) = v + 51. Let n be h(-21). Let a be 10/n*48/2. Suppose -3*s - 3*l + 4*l = -14, 5*s - 3*l - 30 = 0. Solve 3*f = k + a, -3*f + s*k + 8 = 2*f for f.
4
Let r be 8/40 - 1/5. Suppose 0 = h + 4 - 13. Suppose -h*t - 2*t = r. Solve 5*n = t, 2 = 2*c - 5*n + 12 for c.
-5
Suppose -2*n + 4*t - 12 = 0, -3*t + 4*t - 4 = 0. Solve -5*l = -h, -6*l + 5*l = n*h for l.
0
Let p(n) = -n**3 - 12*n**2 - 12*n - 9. Let j be p(-11). Solve -2*q + 12 = 4*g, -5*q - 7*g + 15 = -j*g for q.
0
Suppose -3*f + 45 = -0*f + o, 5*f - 2*o - 64 = 0. Let t = -62 + 64. Suppose -f*u + 13*u + t = 0. Solve -4*p + g - 6*g = 20, 5*p - u*g = -25 for p.
-5
Suppose 108*i - 91*i - 272 = 0. Suppose 0 = 12*v - i - 44. Solve 0 = -4*m + p - 12 - 8, 0 = -v*m + 5*p - 25 for m.
-5
Let k = 3 + -2. Let x = -11867 + 11871. Solve 6*s + 10 = 4*s + x*o, -k = s - o for s.
3
Let h(o) = 3*o - 11. Let n be h(-3). Let a = -7 - n. Let u = 17 - a. Solve l = -y + 2, 2*l = y - 0 + u for y.
0
Let u = -488 - -480. Let d be 53/11 - 5*u/220. Solve -5*s = l + 4*l - d, 0 = -4*s + 3*l + 11 for s.
2
Let t(a) = -11*a**2 - 36*a + 8. Let p(x) = -9*x**2 - 33*x + 9. Let w(s) = -6*p(s) + 5*t(s). Let n be w(17). Solve 3*j - c = -n*c - 21, -5*c = 5*j + 40 for j.
-5
Let c(b) = 3*b - 43. Let y be c(16). Suppose 5*h - 3*h = -2*s + 6, y*s - 2*h = 29. Solve -s*a + a - 4*j - 8 = 0, -3*a + 10 = -j for a.
2
Suppose 144*r + 40 = 154*r. Solve 3*o - 9 = -2*c + 