4. Let v = 45 + p. Solve -3*x + u - 18 = v, -3*x + 5*u = x + 35 for x.
-5
Let b = -41 + 48. Let k be (2 + -8 - -1) + (10 - b). Let g be (-3)/((k - -2) + -3 + 2). Solve j + 3 = n + 2*n, j - 9 = -g*n for n.
2
Let v be -3*(2 + 3)*9/(-9). Solve 2*m - v*c - 10 = -12*c, 0 = -5*m - c + 8 for m.
2
Suppose 3*n - 14 + 5 = 0. Let j be (1/(-5))/(4/(-60)). Suppose -j*k = -12 - 3. Solve -5 = p + 3*f, k*p - n*f - 6 = 5 for p.
1
Let p be 7/(-6) + -28 + (-3500)/(-120). Suppose 3*k + 1 = -2*t, -k + 0 = -4*t - 23. Solve 3*m - 4*b = 17, p = k*m + 2*b + 3*b + 28 for m.
-1
Suppose w = -5*v + 11, -2*w + 3*v + 123 = w. Let t be (w/6 + -5)*25. Solve -5*b + 0*b - t = -5*z, 5*z - 2*b - 13 = 0 for z.
1
Let r be 2 - (5 + 0) - (-7 - -2). Solve -r*o - 20 = -5*u, -4*u + 13 = -o - 0*o for o.
-5
Let d(s) = -s**3 - 29*s**2 - 80*s - 2. Let g(n) = -n. Let j(c) = -d(c) + 2*g(c). Let y be j(-26). Solve 0 = -y*k + 2*f + 12, -3*k - f + 3 + 3 = 0 for k.
3
Suppose -4*w - 3*g = -15, -5*w + g + 2*g = 15. Solve -4*m + n - 17 = 0, -m + 3*n + 0 + 4 = w for m.
-5
Suppose -301*w + 293*w = -32. Let b = -116 - -119. Solve -b*g = 0, 2*g - 1 = -w*n + 3 for n.
1
Let r = -10 - 1. Let o be r/(-2) - 2/4. Let p(w) = 8*w**2 + 106*w + 30. Let j be p(-13). Solve 7 = h - 3*s, -o*h + 38 = -j*s + 14 for h.
4
Let c be ((-120)/32)/((-2)/8). Suppose 4*t + c = 5*t. Let n be (84/t - 4)*(-5)/(-2). Solve -5*x - m = -2, x + 0*m + n = 2*m for x.
0
Suppose 122*m = 234 + 864. Solve u + 3 = 0, 3*u = -2*p + 2*u - m for p.
-3
Let x = 34 + -16. Suppose -2*i - 3 = n - 10, -3*n - 3*i = -x. Solve 0 = 3*z - 3*k, 3*z = 7*z + n*k - 27 for z.
3
Let s = 14 + 3. Suppose -s + 42 = 5*i. Let d = 3258 + -3226. Solve -c - 7 = y, -y = -5*c - i*y - d for c.
-4
Let x(g) = 107*g + 754. Let p be x(-7). Solve -36*o + 50 = -41*o + p*z, 0 = -2*o + z - 15 for o.
-5
Let w = 32 + -14. Let d = 474 - 481. Let l = d + w. Solve 2*m - 4*y = -m - 5, -3*m = 4*y - l for m.
1
Let n(p) = -4*p**3 - 355*p**2 - 260*p + 355. Let r be n(-88). Let u(t) = t**2 - 4. Let y be u(3). Solve f = r*f - 3*m - y, -4 = -5*f - m for f.
1
Suppose 5*y - 21 - 34 = 0. Let b = y - 8. Suppose 0*v + 4 = 4*v, -b*s - v = -10. Solve 0 = -0*x - 2*x + t - s, 4 = -4*t for x.
-2
Let h be (-14)/(-70)*(-35)/(-1). Suppose h = -5*s + 32. Suppose -3*p = s*p - 16. Solve c - p = z, -4*c - c + 14 = -z for c.
3
Let w(m) = m**3 + m**2 - 4*m - 1. Let q be w(-2). Let u be 8*((-42)/(-12) - q). Solve 4*t - u*d - 9 = 7, 0 = 5*t + d + 4 for t.
0
Let h be ((-84)/(-5))/((-227)/(-1135)). Solve -3*u + x = 19, 0 = -h*x + 82*x + 14 for u.
-4
Suppose 87*y - 58*y + 12 = 33*y. Solve 3*n + 50 = 44, y*n + 31 = 5*d for d.
5
Suppose 80 = 9*s + 8. Suppose -175 = s*b - 207. Solve -b*u - 5*y + 6 = -7, -4*y = 2*u - 14 for u.
-3
Suppose -455 = -60*q + 25*q. Suppose l + q*l = 154. Solve -o - l = -0*o - 2*h, -o = -4*h + 21 for o.
-1
Suppose -30*u - 30 = -35*u. Let z be 1/(u/18 - (-4)/(-24)). Solve -o = 5*s - 4*s + z, 3*s + 2 = o for s.
-2
Suppose 3 = -3*c, 2*c = -3*a - 256 + 260. Suppose -10 = -3*h + 2. Solve -u + z - 1 = a, h*z = 3*u + 14 for u.
2
Let q = 52 - 23. Suppose q*b - 34*b = -20. Let m(p) = -p + 5. Let g be m(b). Solve 5*u + g - 11 = -5*r, 4*u - 10 = -2*r for r.
-1
Suppose -7 = -14*g + 49. Suppose 3*i + 0*i = 4*w - 123, i = -g*w + 103. Let q be -1 - (-3)/(2 - 1). Solve 0*l - w = l + 5*k, -q*k - 10 = 0 for l.
-2
Let m be 1/(2 - 5/2). Let y = 3 - m. Suppose -140 = -23*z - 94. Solve t + 3 - y = 0, -2*t = z*j for j.
-2
Suppose -10*k + 13*k = 9. Suppose -k*b + 0 + 3 = 0. Solve -3*a + b = -4*h, -h + a + 21 = -4*a for h.
-4
Let q = -1285 - -1287. Suppose c - 12 = -2*c - 3*l, -2*c + 3*l + 8 = 0. Solve 4 = 5*v - 2*y - 0, 0 = -v + q*y - c for v.
2
Let z be ((-20)/16 + 1)*-8. Let g(k) = 5*k**2 + k**3 + k - 13*k**z + 15 + 6*k. Let i be g(7). Solve 19 = -4*q - 1, -4*m + q - i = 0 for m.
-5
Let g be 1/2 - (-5)/(-10). Let o be 5*(g - 6/(-10)). Let t be -1 + (-209)/(-55) + 4/40*2. Solve t*i - h = 12, o*i - 5*h - 13 = -1 for i.
4
Let k(f) = -6*f - 7. Let u be k(-5). Suppose 352*p + 346*p - 693*p - 75 = 0. Solve 5*h - u = -b, 0*b - p = -b - 3*h for b.
3
Let b be 12 + 16/((12/6)/(-1)). Solve x + s + 8 = -2*s, -s - 7 = -b*x for x.
1
Suppose 4*z - 29 = 3*u, 2 = -u - 5. Solve 5*a - 2*h = -4 - 3, 0 = 2*a - h + z for a.
-3
Let z(h) = -18*h - 51. Let m be z(-6). Suppose m*x - 16 = 49*x. Solve -5*j = -x*p + 31, -2*j + 1 + 1 = 4*p for j.
-5
Let m(l) = -l**2 - 6*l + 19. Let s = -174 + 166. Let x be m(s). Solve -5*d = 3*b - 7, x*d = -b - 2*b + 9 for d.
-1
Suppose -21*r + 26 = -37. Solve 2*n + r*t - 16 = -2*n, 2*n - t = -2 for n.
1
Suppose -2 = 2*b, 2*b + 6 = 3*q - 35. Suppose 2 = 14*d - q*d. Suppose 0*f - d*f = -0*f. Solve 3*p - 6*p = f, -u + 4*p = -5 for u.
5
Suppose 3*y = 15 - 0. Let w = 20762 - 20749. Solve 3*d + 0*d + w = -5*m, y*m = 4*d - 41 for m.
-5
Let y be (-5635)/(-980) + (-2)/(-16)*2. Suppose -a + 2*a = -z + 7, z = 4*a - 8. Solve -5*v - 8 = 3*r + 3, -5*r + z*v = y for r.
-2
Suppose 496*m + 1305 = 499*m. Let g = 439 - m. Solve -2*i = g*p + 12, -2 = 2*p - i + 4*i for p.
-4
Suppose -19*i - 5*i = -i. Suppose i = 80*v - 77*v - 9. Solve -4 = -k, v*q + k - 9 - 1 = 0 for q.
2
Let i(k) = -k**3 - 25*k**2 + 27*k + 25. Let j be i(-26). Let x be (48/10)/(j/5). Let v be 2/x*-2 + (-68)/(-24). Solve 0 = -3*f - v*r, -5 + 3 = -f - 2*r for f.
-2
Suppose 16*p = -8*p + 384. Suppose -16 + p = 10*n. Solve -5*y - 4*a - 3 = n, -3*y - 4*a - 1 = -4 for y.
-3
Suppose 1080 = -15*y + 1095. Solve 15 = a + 3*b, -a - 5*b - y = -24 for a.
3
Let x(m) be the first derivative of m**4/4 + m**3 - 3*m**2/2 + 9*m - 899. Let y = 2 - 6. Let k be x(y). Solve -k*g + 10 = -2*w, 6*w + g - 19 = 3*w for w.
5
Let y be 9/(-4)*(0 + 16/(-6)). Suppose 0 = -5*k + 8*k + y. Let p be (1 - k)/(-3) + 4 + 0. Solve p*j + 8 = z, 6 + 2 = 3*z - j for z.
2
Let z = -36 + 58. Let o = -274557 - -274557. Solve -w + 5*m = -5*w + 12, -w + 5*m - z = o for w.
-2
Let q(d) = 6*d**3 - 15*d**2 - 4*d. Let l be (1 - 2/(-4))*2. Let s be q(l). Solve -2*w + 11 = -5*g, g = -4*g - s for w.
-2
Suppose 2*r + 4*d - 32 = 9*d, 0 = -d - 4. Suppose 3*y - 16 = 2*q, -4*y + 5*q = -5*y - 23. Solve -7*k + 3*k = 3*u - r, 0 = y*k - 6 for u.
-2
Suppose 73*p - 68*p = 20. Let h be 16*(30/(-160))/((-1)/p). Solve -3*a - h = d, d = a + 4*d + 4 for a.
-4
Let h = -1583 - -1598. Solve -3*w = 20*n - h*n - 2, -6 = -4*n + 2*w for n.
1
Let n(h) be the first derivative of 4*h**2 - 44*h - 36. Let f be n(6). Solve 0 = v - 0*v - 2*t - 3, 0 = -v + f*t + 7 for v.
-1
Suppose -3*i = -6*i + 15, -4*i + 5 = -n. Solve 0 = -5*o + 5*p - n, o - 4*p + 18 = 3 for o.
1
Let r = -7414 + 7419. Solve r*u - 21 = -2*y - 5, 2*y + 20 = 4*u for y.
-2
Let o = 12 + -6. Let m be (o/(-4))/((-3)/6). Let a = 92 + -90. Solve m*z + 4*s + 7 = -1, -z = a*s + 2 for z.
-4
Let h = 21764 + -21694. Solve -2*u = -q + 1, -5*u - 3*q + 84 = h for u.
1
Suppose 2*h - 3*h - 5*z = -49, z = -2*h + 62. Solve 3*c - 2*c = -5, 4*c + h = 3*r for r.
3
Let c be (-118)/(-1) - ((-6)/(-15))/((-86)/215). Solve -122*y + c*y + n = -10, 0 = -4*y + 5*n + 6 for y.
4
Let m(z) be the second derivative of 5*z**4/12 + 9*z**3/2 - 6*z**2 - z - 17. Let s be m(-6). Solve 7 = 3*l - 4*p, -2*p = 2 + s for l.
-3
Let v(i) = i**2 + 2*i. Let g(z) = 2*z**2 - 3*z. Let o(d) = -g(d) + v(d). Let k be o(5). Solve k = -2*p + 6, 3*h + p = -0*h - 6 for h.
-3
Let m = 2166 + -2143. Solve 5*w - 3*g - m = 0, 1 - 6 = 5*g for w.
4
Let p(m) = -307*m + 6. Let b be p(0). Solve -b = 2*l, z - 43*l + 44*l = -1 for z.
2
Suppose 3*k - 3 = 2*k. Suppose -2*a + 29 = 39. Let g(t) = -3*t**2 - 20*t - 21. Let o be g(a). Solve -k*h = -m - h + 3, -5*m - 41 = o*h for m.
-5
Let l be (-1 - 0)/(18/(-36)). Let x be l + -2 + -4 + 18. Suppose -4 = -6*j + x. Solve -3*u + 6 = t, 0*u - 4*u + 3 = j*t for u.
3
Suppose -2*w = -61 + 51. Suppose 2*u = -3*v + 13, -4*u + 17 = w*v - 8. Solve 5*d = 2*g + 31, -u*d - 13 + 53 = -5*g for g.
-3
Let q = -560 + 585. Suppose 4*n - 5*c = -q, -3*n = n - c + 5. Solve 3*t + 2*t - 4*o = 10, t + 2*o - 2 = n for t.
2
Let t = 22 + 19. Let d = t - 37. Let g(r) = -3*r**2 + 12*r + 2. Let j be g(d). Solve 2*i + 4*l = 20, -l - j - 3 = -2*i for i.
4
Let w(j) = -268*j + 7775. Let h be w(29). Let b be (-34)/6 - 10/(-15). Let r be 8/b*(-10)/4. Solve -2*s = -r*a, -5*s = -3*s + h*a + 14 for s.
-4
Let t be (-40)/140 + (-1180)/(-14). Let o(c) 