4. Let v be s(y). Let g be 7 + v - (-7 + 9). Solve -g*d = -0*d for d.
0
Let i = 1003 - 948. Solve 4*n - 75 = -i for n.
5
Suppose -21*a + 18*a = -120. Suppose 7*y = 15*y - a. Solve 0 = 3*z + 1 + y for z.
-2
Suppose 0*l - 11 = l + 3*q, 0 = -4*l + 4*q + 36. Let m be 6*l/3 + 0. Solve 0 = 4*u - 0*u + m for u.
-2
Let p = 58 - 64. Let o be (-31)/p - 5/(34 - 4). Let x = 3 + -1. Solve -x*n = -o*n for n.
0
Let c(k) = 3*k + 58. Let w be c(-23). Let i = w - -15. Solve 0 = 3*l + l + i for l.
-1
Let g(f) = f**3 + 4*f**2 + f + 1. Let k be g(-3). Suppose 3*t + 38 = 2*c + 49, t = c + 3. Let d(b) = -b + 13. Let o be d(10). Solve o*v - t = k for v.
4
Let l = 79 - 68. Suppose 0 = 4*w - 29 - l. Solve 4*p + w = -p for p.
-2
Suppose 7*s + 2185 = 2241. Solve -6*w + 10*w = -s for w.
-2
Let q(b) = -b**3 + 6*b**2 - b - 11. Let a be q(5). Let z = -9 + a. Solve 4 = 2*c - z*c for c.
2
Let y(m) = -m**3 - 10*m**2 + m + 7. Suppose -p + 1 - 11 = 0. Let k be y(p). Let h be (-4)/k*(-1 - -4). Solve -n = -h*n for n.
0
Let q be -5*3/(30/4). Let n be -2 - (1 - (-2 - q)). Let s be (-1)/(n/(-45)*-3). Solve 2 = -s*j - 13 for j.
-3
Suppose -3 = k - 0, -m + 5*k + 21 = 0. Suppose -15 = m*d - 5*d - 3*j, d - 4*j + 20 = 0. Solve 4 = -d*u - u for u.
-4
Let z(c) be the second derivative of c**5/20 + c**3/3 - c**2/2 - 8*c. Let h be z(1). Suppose 4*s + 0*n = -4*n + 24, 4*s - 12 = -n. Solve 20 = h*d + s*d for d.
5
Let z(m) = 156*m**3. Let y be z(1). Let t = -108 + y. Suppose 4*d = -0*d + t. Solve -n + d = -5*n for n.
-3
Let p = 8 + 20. Let v = -5 + p. Suppose 7 = 5*o - v. Solve 4*z = 6*z + o for z.
-3
Suppose 10 = -2*u, -2*u = 5*s - 7*u - 45. Solve -2 - 14 = s*w for w.
-4
Suppose 2*q - 4*a - 264 = 0, q - 2*a - 135 = -3*a. Let h = 148 - q. Solve 1 + h = -3*y for y.
-5
Let w(p) = -p**2 - 20*p + 21. Let g be w(-21). Let x(f) = -f**2 - 8*f - 4. Let r be x(-7). Solve g = -2*h - r + 1 for h.
-1
Let n = -825 + 845. Let s(v) = -v - 3. Let t be s(-3). Solve t*x - n = 5*x for x.
-4
Suppose -5*w = 4*w. Let q = 16 - w. Solve -s - q = 3*s for s.
-4
Let a(l) = l**2 - 22*l + 118. Let b be a(19). Solve -i + b = 57 for i.
4
Let d(r) = 3*r**2 + 12*r + 2. Let z be d(-5). Suppose -p = -4*q + 23, 3*q - z - 14 = -2*p. Solve -q*t = -8*t - 2 for t.
-2
Let f = 29 + -26. Suppose 0 = -f*z - z - 3*l - 6, 5*l + 10 = z. Solve z = 2*s + 3*s for s.
0
Let n be (-304)/(-60) + (-9)/135. Solve 58*o = 63*o + n for o.
-1
Let o = 43 - 22. Suppose x + o = 4*x. Solve -2*f - 20 = -x*f for f.
4
Let i be 3*(-7)/((-105)/(-40)). Let v be (0 + i)*6/(-8). Solve 20 = -k + v*k for k.
4
Suppose 75*f = -27*f + 1224. Suppose n = -4*n. Suppose n = -3*k + 4 - 13, 4*z - 29 = 3*k. Solve z*h - 3 = f for h.
3
Let h(i) = 2*i - 9. Let x be h(5). Let c(k) = 3*k**2 + k. Let p be c(x). Solve 33 - 13 = p*t for t.
5
Let s be (24/28)/(20/70). Let z = 4 - 2. Solve -z = -s*t + t for t.
1
Let q be 4/(-18) + (-10)/(-45). Suppose -5*r + r - 20 = q. Let h(l) = -l**3 - 5*l**2 + 4. Let v be h(r). Solve 0 = v*s + 3 + 5 for s.
-2
Suppose -9*g + 6*g = -69. Let m = 26 - g. Solve 0 = -o - 0*o + m for o.
3
Let i(f) = -f**2 + 6*f + 13. Let j be i(9). Let d = -7 - j. Suppose d = o + 5. Solve -3*c - 1 = o for c.
-1
Let n be (26 + -5)*48/168. Solve n*y + 12 + 12 = 0 for y.
-4
Let n = -50 - -48. Let g(x) = -x + 2. Let b be g(n). Solve 0*m - b*m = 12 for m.
-3
Suppose 0 = -z - 0*z - 4*i - 4, -4*z = -3*i - 22. Suppose 81 = 3*s + 3*x, -2*s + x + 49 = -2*x. Suppose 0 = -3*t - 2 + s. Solve z*d - 16 = t*d for d.
-4
Suppose -14*r + 9 = -5. Solve -13 + r = 3*s for s.
-4
Let f be (-420)/(-980)*14/3. Solve f*z + 8 = -2*z for z.
-2
Let t(l) = 2*l + 33. Let p(j) = -j - 1. Let c(z) = p(z) + t(z). Let i be c(-12). Solve 6*n = n - i for n.
-4
Let g(s) = s**3 + s + 18. Let u be g(0). Let z = -12 + u. Solve 0 = -b + z*b for b.
0
Let k be 1443/36*4 - (-6)/9. Solve 0 = 166*o - k*o for o.
0
Suppose y - t - 42 = 3*y, -112 = 5*y - t. Let g = y + 27. Solve -20 - g = -5*h for h.
5
Suppose -4*n + 2*n - 6 = -3*k, n + 3*k = -12. Let c be n/8 + 38/8. Suppose -v - 10 = -c*x, 5*v - 6 - 13 = -3*x. Solve -8 = v*m - 4*m for m.
4
Let s = 8 + -8. Let n(d) = d**3 + d**2 + d + 3. Let l be n(s). Suppose 2*o - l = 3. Solve -2*p + o = -3 for p.
3
Let o be (((-176)/(-24))/11)/(2/(-3)). Let a be o/3 - (-3 - 16/12). Solve a = 2*z + 10 for z.
-3
Suppose -2*i = 29*i + i. Let g(s) = s**2 - 4*s. Let a be g(4). Solve a = -3*y - i*y + 3 for y.
1
Let o be (7 - 1)/(-3)*(22 + -24). Solve 0 = o*h - 3*h + 2 for h.
-2
Suppose 806*g = 792*g. Solve g = -3*z - 9*z - 48 for z.
-4
Suppose 3*p = -3*p + 360. Solve 8*c - 20 = -p for c.
-5
Let j be (12/14)/(568/560 + -1). Let q = -55 + j. Solve 3*m + q = -10 for m.
-5
Let z = -228 + 234. Solve 7 = -z*j + 1 for j.
-1
Suppose -40 = 2*c + 2*r, 5*r - 4 = c + 2*r. Let z = -10 - c. Let w(d) = -d + 14. Let l be w(z). Solve x + l = -x for x.
-4
Suppose 5*r - 32 + 22 = 0. Let u(k) be the second derivative of k**3/2 - 2*k**2 - k. Let t be u(r). Solve 0 = s + t + 1 for s.
-3
Let b be (-1)/(-5) + (-98)/(-35). Suppose -b*l + 10 = -14. Solve 4*m + l = 2*m for m.
-4
Let f(t) = 16*t - 172. Let j be f(11). Solve 23*h - 22*h - j = 0 for h.
4
Let h be 2/(2/(-3)) + 7. Let o be (-6*(3 + (-18)/h))/3. Solve j + o*j = 20 for j.
5
Let d(j) = -4*j - 4. Suppose 5*x = -25 + 5. Let i be d(x). Solve 0*r - i = -4*r for r.
3
Suppose 0 = z - 3*n - 22, 18 = 5*z + 5*n - 12. Let l be ((-42)/4)/(5/z). Let q = 26 + l. Solve -v = -q*v for v.
0
Suppose 0 = -3*x - 3*d, -2*x - x = -2*d - 25. Suppose v = 2*q + q - 4, 5*q - 60 = -x*v. Solve a - v = -3 for a.
5
Let n = 690 + -639. Solve r + 50 = n for r.
1
Suppose 2*a - 2*t = 10, -10 = -4*a + 2*a + 4*t. Suppose y + 16 = -f + a*f, 0 = 3*f + 3*y + 3. Let k be (2 - -1 - 0)*8/3. Solve -1 = -f*j + k for j.
3
Let h = -159 - -163. Solve -b = -0*b + h for b.
-4
Suppose -2*f - 3*f = 3*j - 19, -5*j - 20 = -2*f. Let z = j + 4. Suppose 0 = -3*x - 2*q + 8, 5*q = 5*x + 20 - 0. Solve x = -r + z for r.
2
Let d(w) = -58*w + 295. Let u be d(5). Solve -u = s - 3 for s.
-2
Suppose 0 = -19*b - 22*b + 902. Solve -26*n + 15*n + b = 0 for n.
2
Let v be (-2)/2 + (3 - 4). Let t be (-3 + 3)/(v - 0). Suppose -2*l - c + 7 = -t*l, -l + c - 1 = 0. Solve 4*w + 14 + l = 0 for w.
-4
Suppose 5*t + 4*z - 4 = -10, 4*t + 5 = -3*z. Let s(w) = -5*w - 4. Let x be s(t). Suppose 10 + x = 4*l. Solve -m = l*m for m.
0
Let d(x) = x**2 + 5*x - 4. Let n be d(-4). Let v be (-81)/(-7) + n + 354/42. Solve 0 = -0*g + 4*g + v for g.
-3
Let c = -413 + 421. Solve -4 + c = 2*d for d.
2
Suppose 2*o = 25*o. Solve o = 11*z - 10*z + 4 for z.
-4
Let x be 1 - 3/5 - 64/(-40). Let u be 1/(2/10)*2/x. Solve u*g = -0*g - 5 for g.
-1
Let x(i) = -2*i**3 - 30*i**2 - 52*i + 6. Let w be x(-13). Solve 0 = -8*d + 14*d + w for d.
-1
Let r be (-10)/(-10)*0/1. Let y = 3 + r. Suppose 0*j = -j + y*c, -5*j + 5*c + 50 = 0. Solve -4*x + 5 = -j for x.
5
Suppose 6*n + 6 = 12. Let i be ((-4)/(-12))/(n/33). Solve 4*s = -1 - i for s.
-3
Let d = 10 - 22. Let x(m) = m + 15. Let c be x(d). Suppose -c*g + 2 + 10 = 0. Solve a + 15 = g*a for a.
5
Let a(t) = 11*t + 53. Let g be a(-15). Let s be ((-1)/(-1))/(7*(-8)/g). Solve 2*b = -6 + s for b.
-2
Let s = -118 - -74. Let c = -6 - s. Suppose 0 = -o - 33 + c. Solve -o*i = -2*i - 12 for i.
4
Let t = -17 + 24. Suppose -t*j = -12*j. Solve -2*s - s = j for s.
0
Suppose -d + 4*s = -17, 4*d - 28 = 2*s - 6*s. Suppose 0*w + 2*c + d = 3*w, w - 3 = 5*c. Solve 4 = -w*x - x for x.
-1
Suppose -4*x = 4, 20 = 8*m - 6*m + 2*x. Solve -m + 12 = a for a.
1
Let z = 11 + -18. Let u = z + 23. Suppose 5*m = 3*o - 24, -4*o + 2*m - 7 = -25. Solve f + o*f - u = 0 for f.
4
Let r(c) = -14*c + 6. Let n be r(2). Let l = n - -30. Let p = l - 5. Solve 0 = 7*w - p*w - 16 for w.
4
Suppose 0 = -s - 3*w + 7 - 1, 0 = 3*s + 2*w - 25. Solve v + 2*v - s = 0 for v.
3
Let o = 20 - -4. Solve 27 = 3*t + o for t.
1
Suppose 25 = -5*z, -2*a - 3*z - 2 - 1 = 0. Let i be 80/45 - 5/((-135)/a). Solve -3*g = -i*g for g.
0
Let v(w) = 24*w - 41. Let l be v(2). Solve -6 = l*t + 29 for t.
-5
Let g(f) be the third derivative of f**5/60 - 11*f**3/6 + 10*f**2. Let y be g(4). Suppose -y*c = -6 - 9. Solve -c*v + 0*v - 9 = 0 for v.
-3
Let v be 2/(-4)*2 - -3. Let g(n) = n**2 + 11*n + 29. Let u be g(-9). Solve -v*h + u = 1 for h.
5
Suppose -h + 15 = 4*q, 5*h - q = 4*q + 75. Let n be ((-12)/h