4. Let z = 9 + -40. Let k = z - d. Solve k = j - 3*j for j.
-4
Suppose 3*t - t = 0. Suppose -11*i + 24 = -13*i. Let z be (15/i)/((-4)/16). Solve z*m + t*m - 5 = 0 for m.
1
Suppose 4 = -z - 2*m, 4*z + 17*m - 62 = 22*m. Solve 0 = 29*b - 21 - z for b.
1
Suppose a + 111 = 2*z, -96 = -2*z - 141*a + 145*a. Solve -b + z = 52 for b.
6
Let t be (-13420)/(-308) + -44 - 6/(-14). Solve -564*k + 593*k - 232 = t for k.
8
Let d(i) = -2*i**3 - 14*i**2 - 44*i - 36. Let k be d(-8). Solve -k*p = -441*p - 6 for p.
2
Let z = 200 - 199. Let s be 150/25 - (0 + z). Solve 41 - 16 = s*l for l.
5
Let f(z) = 72 - 6*z + z**2 - 37 - 29. Let m be f(6). Let w be (10 - m)*((-1)/2)/(-1). Solve -w*j = j for j.
0
Let o(d) = d**3 + 4*d**2 - 15*d - 43. Let b be o(-3). Solve -4*j + b*j - 7 = 0 for j.
1
Let t = -173 - -169. Let g be 5 + (6 - 6)/t. Solve -g*n = -8 + 3 for n.
1
Suppose -27*t = -35 - 100. Let y be (-3 - -4)/(2/(40/t)). Solve -y = -11*j + 7*j for j.
1
Let u = -4070 + 4091. Solve 15*c = -6*c + u for c.
1
Let w be ((-99)/(-9) + -10)/((-6)/(-18)). Let k(j) = -j - 3. Let c be k(3). Let u be c/(-4)*4/w. Solve i + u = -3 for i.
-5
Let x be (-5)/((-1 - 0)*1). Let i be (4 - 0)*(3 + -5 + 3). Let w be (-2)/(i/(-2))*(10 + -1). Solve -x*a + 4 - w = 0 for a.
-1
Suppose 39*v - 44 = 28*v. Suppose 0 = 9*r - v*r - 55. Solve -r = -a - 12 for a.
-1
Suppose 3*a = -10*a + 26. Let b(n) = -32*n**2 + 6*n**2 + n**3 + 2*n**a + 23*n + 6. Let i be b(23). Solve 0*v + i = 3*v for v.
2
Suppose -3*k + 6*v - 8*v + 26 = 0, -2*v = 2*k - 22. Solve 115 = -k*a + 127 for a.
3
Let t = -376 - -381. Suppose -t*x + 33 + 162 = 0. Solve 36*s + 6 = x*s for s.
2
Suppose -3*m - w + 22 = 2*m, 4*w + 32 = 4*m. Let x(j) be the first derivative of 2*j**2 - 28*j + 15. Let v be x(7). Solve m*n = -v*n for n.
0
Let p = -30925 - -30976. Solve -75 = -3*c - p for c.
8
Suppose -2*m + 3 = -5*m. Let y = m + 5. Suppose -114*i - 354 = 148*i - 2974. Solve -26 = -y*j - i for j.
4
Let j be (64/(-6))/4*-3. Let m(p) = 5*p - 4. Let l be m(-11). Let t = l + 67. Solve -t = -4*s + j for s.
4
Let w(l) = l**3 + 2*l**2 + 17*l - 13. Let i be w(6). Let o = i - 367. Solve -8*d = -o*d + 8 for d.
4
Let b(s) = s**3 + 6*s**2 + 10*s + 13. Let u be b(-6). Let p = u - -53. Solve 3*g - p + 0 = 0 for g.
2
Suppose 602 = 5*w + q, 478 = 4*w - 3*q + 5*q. Let m be w/33 + 2/(-3). Let u = 806 + -803. Solve u = 3*p - m for p.
2
Suppose p - 117 - 111 = -o, -o + 2*p = -207. Solve o*z - 280 = 165*z for z.
5
Suppose t - 4 = -0. Let r be 51 + (-12)/4 + 5 + -1. Suppose -60 = -t*u - r. Solve -u*d = -0*d for d.
0
Let a(p) = -3*p**3 + 6*p**2 + 2*p - 17. Let m be a(4). Let z = 107 + m. Suppose h = z*h - 6. Solve i + h = -i for i.
-3
Suppose 2051 = 40*m - 549. Solve -m*b = -70*b + 30 for b.
6
Let n(u) = -2*u + 7. Let z(b) = b + 1. Let q(p) = -2*p + 15. Let k(a) = -q(a) + z(a). Let j(x) = 6*k(x) + 10*n(x). Let t be j(-8). Solve 3 = -t*y - 3 for y.
-3
Suppose -430*v - 1442 = -17782. Solve 0 = 5*t - v - 2 for t.
8
Suppose 15 = -6*o + 75. Let q(w) = w**3 + 14*w**2 - 16*w - 2. Let z be q(-15). Let b = z - 11. Solve -o = -b*d - 0 for d.
5
Let b(i) be the third derivative of -i**5/60 + 5*i**4/12 - 7*i**3/6 + 9*i**2 + 17. Let t be (3*-1)/((-2)/6). Let h be b(t). Solve -1 = 3*z + h for z.
-1
Let a be 1 + (-15)/3 + 2. Let o be 2 - (a - 2/(-1)). Solve -o*m - 5 = -1 for m.
-2
Let u be ((-39480)/360)/((-21)/9). Suppose 4*o = 153 + 67. Solve u = -2*g + o for g.
4
Let c = 5 + -2. Let d = -244 + 330. Suppose -94*p + d*p + 16 = 0. Solve p*y - y = -c for y.
-3
Suppose -3*q + 5 = -3*k + q, -25 = -3*k - 2*q. Solve 0 = -k*z + 129 - 134 for z.
-1
Suppose -307*c = -292*c - 210. Solve -11*n - c = -4*n for n.
-2
Let x be -1 + -3 - (5 - 60). Solve -59*g = -x*g - 8 for g.
1
Let r be ((-21)/(-35))/((0 - -4)/20). Suppose -3*g + 5*s + 32 = r*s, -4*s = -8. Solve 23 + g = -7*q for q.
-5
Let p(b) = 3*b**3 + 11*b**2 - 3*b + 14. Let l be p(-4). Solve -10*x + 40 = -l for x.
5
Let y = 3381 - 3378. Solve 14*n = -y*n - 85 for n.
-5
Let v(c) = -2*c + 10. Let r be v(-5). Suppose 90*m - r = 85*m. Suppose -4*q - m*h = -100, h - 109 = -5*q - 0*h. Solve -4*f + 1 = q for f.
-5
Suppose 19*o - 11*o = 472. Suppose -2*x + 52 = 2*x + 4*f, -4*x + o = -3*f. Solve 0 = -16*m + x*m for m.
0
Suppose n + 0*n = -37. Let g = 41 + n. Suppose -5*z = -q + g, 0 = -4*z - 5*q + 15 + 5. Solve -2*m + z*m - 8 = 0 for m.
-4
Suppose -57*j + 3762 = -8*j + 17*j. Solve 0 = -19*l - j - 19 for l.
-4
Let k = 11817 - 11769. Solve 17*b - 9*b = -k for b.
-6
Suppose 3*j + 35 = 50. Suppose -9*l - 6 = -10*l - y, -l - 10 = j*y. Solve -5*b + l + 5 = 0 for b.
3
Let o be 24/3 + -2 + 1/1. Suppose -z = o*z - 80. Solve -18 = 4*u - z for u.
-2
Let c = -137 - -323. Let g = -174 + c. Solve 0 = -7*r + g*r for r.
0
Let m(v) = -2*v - 12. Let n be m(-19). Suppose -n*o + 25*o - 4 = 0. Let j be (1 + (-4)/2)/(2/o). Solve s = -s + j for s.
1
Let w be (15/20 - 1/(-4)) + 1. Suppose -d + 2*d + 12 = 4*h, 0 = -2*h + w*d. Suppose 4*a - 2*s - 52 = 0, -s - h*s + 65 = 3*a. Solve -5*u = -2*u + a for u.
-5
Let a = -15738 + 15744. Solve 0 = -38*t + a*t - 96 for t.
-3
Let o(l) = -l**3 + 3*l**2 + 4*l. Let z be o(4). Suppose -4*r = 4*y + 4, 3*r + y = -y + 1. Let t be 9/6 - r*(-1)/6. Solve 5*i + t + 8 = z for i.
-2
Suppose 5*a - 52 = -2. Suppose 5*v - 33 = -4*s, 8*s - 10*s = v - 9. Suppose -4*i = -3*q - 3 - 4, -s*q + a = i. Solve 25 = 2*o + q*o for o.
5
Let f = -12728 - -12824. Solve -9*v + f = 87 for v.
1
Suppose -12*j = -11*j - 3, 4*h - 3*j = 35. Solve -6*a + h = -19 for a.
5
Let g = 4371 - 4364. Solve -4*u + g = -1 for u.
2
Suppose -4*k + 4*h = -64, 9*h - 20 = -2*k + 8*h. Solve 0 = -w + w - k*w for w.
0
Suppose 61 - 71 = -5*x - 5*l, 2*x - 2*l + 4 = 0. Solve x = -23*g + 30*g + 28 for g.
-4
Let r(j) = 226*j + 4306. Let g be r(-19). Solve g*m = -6*m - 108 for m.
-6
Suppose -164 = 108*i + 56*i - 12956. Solve i = -20*c + 33*c for c.
6
Let t(k) = k + 2. Let l be t(1). Suppose 0 = 4*p - 9*p - i + 1, -4*i = p - 4. Let v(u) = u + 8. Let o be v(-4). Solve p = l*f - o*f for f.
0
Let m(a) = -a**2 + 234*a + 1202. Let b be m(-5). Solve -b*l + 35 - 21 = 0 for l.
2
Let v(b) = 15*b - 35. Let s be v(3). Let u be -2*(4/5)/((-2)/s). Solve -u*y + 7*y + 5 = 0 for y.
5
Let o = -7865 + 7880. Suppose 0 = -4*k + 3*k + g + 3, 5*g = 20. Solve -13 - o = -k*i for i.
4
Let t(f) = -2*f - 204. Let m be t(-118). Solve -38 = m*n + 90 for n.
-4
Let w be (390/(-52))/(5/(-6)). Suppose -5*u - 4*i + w = -2*i, -i = u. Solve 0 = -9*j + u*j for j.
0
Let g(j) = -3*j**3 + 22*j**2 + 12*j - 43. Let l be g(5). Solve 36 = -26*d + l for d.
6
Let f be (-10)/(3/((-12)/8)). Suppose -5*y - 7 - 3 = f*l, -l = -3*y - 18. Suppose -3*v + 5*u = -25, -5*v - l*u = -u - 21. Solve -v*a - 14 = -34 for a.
4
Let n = 24450 + -24291. Solve -95*p = n - 444 for p.
3
Let u(q) = q**2 + 10*q + 24. Let z be u(-6). Suppose -47*o + 61*o - 154 = z. Solve -o = 8*p + 21 for p.
-4
Let t = 60 - 44. Let p = 21 - t. Suppose -3*x + 2*x + 2 = p*f, 4*x - 8 = 4*f. Solve x - 5 = 3*h for h.
-1
Let y = 1718 - 1707. Solve -3 - 19 = -y*m for m.
2
Let r be ((-6)/5)/((-8)/60). Suppose -3*s - r = -15. Solve -s*o - 3 = -3 for o.
0
Let i be 5611/(-155) - 18/(-15). Let b be (168/i)/(4/(-30)). Solve 0 = 13*z - 4*z - b for z.
4
Let k(s) = -12 + 7*s + s**2 - 753*s**3 - 2*s**2 + 754*s**3. Let c be k(2). Solve -x - c = -4 for x.
-2
Suppose -2*d - 4 = -3*d. Let k(a) = -a**3 - 8*a**2 - 3*a - 14. Let r be k(-4). Let v be (3/(90/r))/((-2)/10). Solve -3*z + d + v = 0 for z.
5
Suppose 65*r - 38*r = -15*r + 714. Solve 5 - r = -6*m for m.
2
Suppose -7*z - 4*r - 32 = -8*z, 2*z - 3*r = 59. Solve 14*t + 28 = z*t for t.
2
Let p = 1694 - 1690. Solve -38*x + p = -186 for x.
5
Let t = 4522 - 4496. Solve -27*h - 161 = -t for h.
-5
Suppose -11*c = 763 + 612. Let y = -120 - c. Suppose 13 = 4*n + y. Solve -n = -3*u + 13 for u.
5
Let v = -5442 + 5492. Solve -21*n = -11*n - v for n.
5
Suppose -230 = -37*h + 862 - 93. Solve 0 = -h*m + 29*m - 10 for m.
5
Suppose 0*r + 2*r - 278 = -3*c, -580 = -4*r - 2*c. Solve 0 = 98*q - 61*q - r for q.
4
Let r be (-1 - 1)*112/(-16)*1. Solve -r*o = 42*o - 56 for o.
1
Let g(v) be the first derivative of v**2/2 - 21*v + 29. Let a be g(24). Let m be ((-6)/(-14))/((-132)/(-42) - a). Solve -s = m*s for s.
0
Suppose 3*x = -31*p + 29*p - 3, 4*x = -4*p - 12. Solve 15 = -18*t + x*t 