4. Solve 4*f + 7*s = 6*s + k, -f + s - 1 = 0 for f.
0
Suppose 2*j + 2 = -5*k, -2*k + 2*j = 7 - 9. Solve -3*d + 5 = -k*d + y, -3*d = 4*y - 11 for d.
1
Let o be (-2497)/(-44) + (-70)/(-56). Solve 5*u - 2 = -o*h + 54*h, 5*h + 2 = -4*u for h.
-2
Let s be ((-9)/(-105)*14)/((-3)/(-10)). Solve -4 = 2*m, -s*m + 0*m = k + 8 for k.
0
Let j be ((-3)/(-2) - 171/38) + 3. Suppose 2*v = -3*y - j*v + 8, 5 = 2*y + v. Solve -4 = y*a + 3*w - 2, 0 = 5*a + 2*w - 17 for a.
5
Suppose -15 = u + 5*o, 4*o = u + 7*o + 5. Suppose -u*w = -8*w. Suppose 9 = -3*s + 24. Solve -5*x = z + 14, 2*z = -w*x + s*x + 2 for z.
-4
Let g(y) = 3*y**2 - 191*y + 99. Let a be g(56). Let p = a + 1194. Let z be (-1)/(-5) - (-48)/10. Solve p*q - 2*m - 28 = 0, 0*m + z*m = -5*q for q.
4
Let p be ((97 - 91) + 1*7)*1. Solve 0 = -5*h - 2*s + 18, 4*s - p = 3*h - 3 for h.
2
Suppose -t = -5*k + 46, -k - 1 = -3*t + 1. Suppose 2*c - 10 = 0, 2*c - 101 = 11*a - k*a. Let z = 93 + a. Solve 4*p - 3*j - 25 = 0, -z*p + 35 = 3*p - 5*j for p.
4
Suppose -4*z - 9 = -17. Suppose -8 = -4*w + 4*r, -4*w + w - z*r = 14. Let l(m) = m**2. Let q be l(w). Solve 0 = -q*g - 3*a + 13, -g - g = 5*a - 3 for g.
4
Suppose -5*p - 4*j - 26 = 0, -5*j = -13*p - 9*j - 10. Solve -a + 2 = -f, 40*a - 36*a = p*f for f.
-4
Suppose 66*y - 4*l = 64*y + 16, 0 = 2*y - 3*l - 12. Let u be (-1 + -2)*4/6. Let b be (9/u)/(24/(-32)). Solve h = -3*o - y*o - b, 0 = h - 4*o - 1 for h.
-3
Suppose -11*c + 11 = -11. Solve -2*p - 14 = -o + 4*o, c*o - 3*p - 8 = 0 for o.
-2
Suppose -2*m + 99 = a, 11*m - 13*m - 2*a = -100. Let g be 1*52 - (-2 + 0). Let w = g - m. Solve -4*n + 9 = -w*i, -2*n = n - 4*i - 7 for n.
1
Let t be 8*(-17 + (-455)/(-26)). Solve -3 = f + t*d, -18*f = -22*f - 3*d + 1 for f.
1
Let q(y) = 53 - 85*y + 16*y**2 - 3*y**2 + 82*y + 4*y**3 - 5*y**3. Let v be q(13). Solve -2*l = -2*g + 12, 2*l + v = 3*g - 2 for g.
4
Let t = 39 + -35. Suppose -r + 15 = -t*o - 3, r - 22 = 5*o. Suppose -2*h + 20 = r*h. Solve 4*i - 2*i = -u - 14, u - 21 = h*i for i.
-5
Let o(m) = m**2 - 8*m + 10. Let x be o(7). Suppose 2*t + 4 = 5*r, 10952*t = -2*r + 10950*t - 4. Solve 3*l = -f + 4*l + 10, x*f + l - 10 = r for f.
5
Let k = -1213 + 531. Let m = k - -685. Solve m*g = -5*s + 6 - 31, 4*g + 3*s = -26 for g.
-5
Let j = -375 - -387. Suppose 16 = 2*n - 4*g, -2*g + j = 4*n - 0*g. Solve -2 = 5*k + 2*o, 3*k + o = 5*o + n for k.
0
Suppose 5*a - 3 = 4*a. Let p(w) = 4*w**2 - 9*w + 9. Let k be p(1). Solve l + 0 = -2*u - a, 2*l = k*u - 14 for u.
1
Suppose -48*w + 50*w - 110 = 5*h, -2*w + 3*h = -114. Let z = 77 - w. Solve 5*r - 2*x = -z, -x - 4*x + 5 = 0 for r.
-3
Suppose 0*y - 1068 = -12*y. Suppose 5*r + y = 89. Solve 5*b - m + 2*m = 20, -m + 5 = r for b.
3
Suppose -241*l + 149 + 691 = -136*l. Suppose 3*v - 5*d - 37 = -3*d, -4*d = 4*v - 16. Solve 5*q = -j + 18, 2*j - l*q + v = -3*q for j.
3
Let o = 406 + -373. Suppose 0 = 22*v - 11*v - o. Solve 4*w = -5*f + 21, 0 = -v*f + 3*w - 4*w + 7 for f.
1
Let w be (9/2)/(12/16). Let r be (-861)/(-5) + (-41)/205. Suppose w*l + 52 = r. Solve -k = 2*n + 2*n - 9, 5*k = 5*n + l for n.
1
Suppose 5*r - 3*r = 0. Let a(p) = p**3 - p**2 - 8*p + 4. Let s be a(0). Solve r = -4*j + 7*j + w - 4, -3*j + 16 = s*w for j.
0
Let y(u) be the third derivative of u**5/30 - 7*u**4/24 - 10*u**3/3 - 3*u**2 + 31*u. Let j be y(-2). Solve i - 3*i = 3*w - 4, -w - 4*i - j = 0 for w.
2
Let r = -34 - -47. Let z = -8 + r. Suppose 326*h = 872*h - 3276. Solve 5*k - h = -v, 4*k - 3*k - z*v = 22 for k.
2
Suppose 25*u - 27*u = -4*m - 40, 4*m - 4 = 0. Suppose 10*z = 8 + u. Solve -4*l + 18 = -2*d, 2*l - 5*d = 18 + z for l.
3
Suppose -103*k - 40 = -95*k. Let q be (k/(-1))/(1/5*5). Solve a - o - q = -3*a, 4*a - 5*o - 9 = 0 for a.
1
Let x(n) = -n**2 - 11*n + 36. Let a be x(-14). Let z be ((-10)/a)/(105/252). Let b be 3 - (-10 + 1 + -2). Solve 4*d + 28 = 5*v, 3*d - 3*v = -z - b for d.
-2
Let v = 1062 + -1058. Solve -7*a + 5*h + 31 = 0, -16*a + v*h + 17 = -13*a for a.
3
Suppose -57959*k + 57968*k - 90 = 0. Solve -4*q - 114*b = -111*b + 2, 4*q = 3*b + k for q.
1
Let u be (1/2)/((-3)/6). Let c be u + (-6 + 15 - 2). Solve 0 = -4*o - f + 3, -4*f - c + 1 = -o for o.
1
Let x = 8745 - 8729. Solve d + 3*j + 10 = 0, 4*d + 8*j - 4*j = -x for d.
-1
Let b(u) = 2*u - 4*u**2 + u + 3*u**2 + 2*u. Let d be b(4). Suppose -2*i + 8 = g, 0 = g + d*i - 7*i + 2. Solve -3*c + 15 = -4*a, -g*a + 3*a - 2 = c for c.
1
Suppose s = -3*s + 20. Suppose 49 = -s*n + 44. Let p be -2 + n + 25/5. Solve p*v - 2 = -3*o, -o - 3*o - 3*v + 1 = 0 for o.
4
Suppose 10*z - 11062 + 11012 = 0. Solve -o + 16 = -z*m, 8*m = 7*m - 4 for o.
-4
Let v = 5 - -20. Let u(s) = -s**2 - 3*s**3 + 0*s + 0*s - 2*s + 2*s**3 + v. Let i be u(0). Solve -2*z = -5*m - z + i, 2*m - 33 = 5*z for m.
4
Let f = 407 - 382. Suppose 25 = -3*m + f. Solve -5*q + 2*k - 30 = m, 0*q + k - 17 = 3*q for q.
-4
Suppose -3*d + 2*a + 21 = 0, 2*d = 44*a - 38*a + 28. Solve 2*s + 3 = 5*q + s, q = -2*s + d for q.
1
Let h be (-3 + 76/12)*24. Suppose 4*z = 3*o - 106, -z + 3*z - h = -2*o. Let v = o - 36. Solve -4 = 2*s - w + 1, -2*w = v*s + 20 for s.
-5
Let x be (-1)/(4/(-16)) + -1 - -5. Suppose 2*g = -5*z + 3*z + 4, -4*g - 5*z = -x. Solve -2 = g*d - 2*m, 0 = 4*d - 2*m - 2 for d.
2
Suppose 3201 = 52*y + 1437 - 2292. Solve r = -5*p + 20, -73*p = -y*p + 15 for r.
5
Suppose -2*d - 8 = -4*d. Suppose -5*h = -2*h. Suppose -q + h*q = -d. Solve 5 = -4*y + l, -q*y + 4*l = 5*l + 3 for y.
-1
Let c = 17387 + -17306. Solve 3*q = l - 10, -2*l - c = -3*q - 86 for l.
-5
Suppose 2*k - 4*l + 6 = 0, 4*k + l = 237 - 222. Solve -5*p - 4 = k*h, 15*h = -2*p + 11*h + 4 for p.
-2
Let x(h) = -6*h - 2 + 6*h - 11 + 4*h. Let a be x(15). Suppose -2*l = -a + 9. Solve 0 = -n - 4*c - 7, -5*n - l - 1 = 5*c for n.
-3
Let j be (18/(-15))/((108/(-30))/6). Suppose -m = j, 4 = -r - m + 7. Solve 4*b - r*h + 3 = -18, 4*b - 4*h = -16 for b.
1
Let m be -26*(-2 - ((-10)/4 - -1)). Suppose -4*o + 2*s - 48 = -s, -o + s = m. Let q(y) = -3*y - 25. Let l be q(o). Solve -t = -j - 8, j - l*t = -2*j - 20 for j.
-4
Suppose -5*h + 5 = 0, 10*r - 4*h = 11*r - 25. Solve -2*m + 12 = 20, -4*m - r = -b for b.
5
Suppose -2*m - 5*a = 40 - 36, -9 = -5*m - 3*a. Solve 0 = -3*v - l - 6, -m*v - 5*l - 10 + 4 = 0 for v.
-2
Suppose -11*x = 16160 - 16237. Solve -x*r + p + 11 = -4*r, 4*p + 11 = r for r.
3
Suppose 3*n - n = -2*r + 2, 0 = 2*r - n + 7. Let a be ((-116)/87)/(r/18). Solve 10 = -2*d - 2*o, -3*o = -4*d + a + 3 for d.
0
Let p(v) = 446*v + 7140. Let r be p(-16). Solve a + r*g - 26 = 0, -87*a + 3*g = -89*a + 22 for a.
2
Let g be (-6364)/24 + 1/6. Let r be (-24)/(-9)*(4 - g/20). Suppose -a = -55 + r. Solve -5*u = x - 2 - a, 3*x = u + 1 for u.
2
Let w(h) = 3*h**2 + 7*h + 18. Let b be w(7). Let p = b + -212. Solve -5*y = 2*s + 19, -p*y - 5 = 5 for s.
3
Let o(k) = -k**2 - 17*k - 47. Let g be o(-14). Let j(t) = -7*t - 30. Let u be j(g). Solve -5*x = -3*p - 0*x - 11, -u*p - 4*x + 31 = 0 for p.
3
Suppose 21 = 3*t, 25*v + 5*t = 21*v + 35. Solve -2*f - 22 = 4*a, a + 4*f - 9*f = v for a.
-5
Let x(n) = -n**3 - 90*n**2 - 176*n + 16. Let h be x(-88). Solve 3*b - h = m - 9, -4*b = -m - 11 for b.
4
Let f(m) = m + 15. Let w be (-1)/(-5) - 6/15*33. Let s be f(w). Suppose s*n - 6*n = -8. Solve 18 = -n*j + 2*z, 4*j + z = -j - 15 for j.
-4
Let f(r) = -r**3 - 38*r**2 + 3*r + 125. Let i be f(-38). Solve -3 = 12*o - 9*o + 3*x, -o + 3*x = -i for o.
2
Suppose -3*g + n = -271 + 265, n = 5*g - 12. Solve -s + g*f = 4*f, 6*f + 20 = 4*s for s.
2
Suppose -396 = 6*b + 2556. Let h = b + 495. Solve 0 = h*i + 2*i - 3*g - 19, 0 = -3*g - 9 for i.
2
Let r = -142946 - -142979. Let m be (-2)/(-5) + (-23)/(-5). Solve m*n - r = -2*b, -29 = -n - 4*n - b for n.
5
Suppose 5*a = o - 10, 4*a + 27 = -3*o - 0*a. Let g(t) = -4*t**3 - 21*t**2 - 5*t. Let c be g(o). Solve 0 = -3*l - r - 14, c*l - 4*l - 12 = -2*r for l.
-4
Let k(h) be the first derivative of 2*h**2 - 10*h - 3. Let o be k(3). Solve -o*g - 2*g - 5*s - 3 = 0, s = -4*g - 7 for g.
-2
Suppose -7*j - 405 = -419. Solve 5*k = -2*q - 5, j*k = -0*q - 2*q - 2 for k.
-1
Let d = 769 - 749. Suppose -x - 5*w + 13 = 0, 4*x - 10 + 4 = 3*w. Solve -x*t = -4*y - 1 + 17, 4*y - 4*t - d = 0 for y.
1
Let n(c) = -84*c - 405. Let y be n(-5). Solve i = 5*o - y, i + 1 = 6*o - 8*o for o.
2
Let b be (-6)/(-16) + ((-102)/(-16))/(-17). Suppose -3*o = -2*f - b*f