4. Let n be l(q). Solve n*h - 4 = -2*h for h.
2
Suppose -4 - 36 = -4*p. Let v(t) = t**3 - 6*t**2 + 5*t + 7. Let g be v(5). Suppose 4*x - 2*a - 5 - g = 0, -3*a + 4 = 5*x. Solve 0*f - p = x*f for f.
-5
Let f(y) = 2*y + 8. Let m be f(-5). Let n be (-1 - m - 3)*(-1 + -1). Suppose -i + 15 = n*i. Solve 3 = -3*j - i for j.
-2
Let v(o) = -o**3 + 5*o**2 + 7*o + 2. Let k be v(6). Suppose 73*a - 1512 = -53*a. Solve -4*q + k*q = a for q.
3
Let h(t) = 3*t**2 - 4*t + 1. Let l be h(-3). Let n = 40 - l. Suppose n*i = -6*i. Solve 2*o - o - 3 = i for o.
3
Suppose -5*j = -4*s + 20, 29 = -2*j + 4*s + 9. Let u(p) = -p**2 + 7*p + 5. Let g be u(7). Suppose g*q + 6*q = 2*q. Solve q = k - j - 4 for k.
4
Let t(b) = 24*b**3 - b**2. Let m be t(1). Suppose -14*y = m + 5. Let k be y/3*-12 - 5. Solve -k*v - 3 = -0 for v.
-1
Let p be (-4 - 50/(-4))/(2/4). Solve 0 = 48*r - 271 - p for r.
6
Suppose 123*n - 4*n - 33915 = 0. Solve -297 + n = 2*m for m.
-6
Let b = 18 - 6. Suppose -b*o + 120 = -120. Solve -t = 4*t - o for t.
4
Suppose 4*n - 102 = u, n = 4*n + 4*u - 67. Let o = 111 - 107. Solve -n = o*g + g for g.
-5
Suppose -y = -0*y + 2*n + 121, 3*n = 4*y + 429. Let z = y + 115. Solve -11*p - z = -4 for p.
0
Suppose 0*t - 7*t = 322. Let p = 55 + t. Let v be 2/p - (14/(-18) + -3). Solve 0 = -y - 0*y + v for y.
4
Let a be 3/(-20)*-4 + 204/10. Suppose -4*s + 65 = a. Solve -3*q + 1 = -s for q.
4
Let t be (-179)/(((1 + 0)/1)/(-1)). Suppose t = 4*c + 119. Solve -3*w + 6*w = -c for w.
-5
Let f be ((-27)/(-12))/((-1)/(-4)). Let p = f - 5. Suppose 1069*u - 716 - 742 = 2818. Solve u*i - 2*i = -p for i.
-2
Let k(t) = -3*t**3 + 45*t**2 + 48*t + 35. Let v be k(16). Solve -v*h = 68 - 208 for h.
4
Let l be 18/(-4)*6 + 8/(-4). Let j = -27 - l. Suppose j*c = 10 - 4. Solve -c + 12 = 3*m for m.
3
Let d(k) = -25*k + 2. Let r be d(-2). Suppose -15*h - 3*h + 864 = 0. Let o = r - h. Solve 3*w + w - o = 0 for w.
1
Let x = -2 + 6. Let k be 2 + ((-25)/(x - -1))/(-5). Let n = -35 - -37. Solve -w - k = n*w for w.
-1
Let o(a) = -6*a + 526. Let d be o(86). Solve -4 = -2*u + d for u.
7
Let q(k) = k**3 - 4*k**2 + 9. Let f = 556 - 553. Let n be q(f). Solve n = s + 4 for s.
-4
Let u = -1655 + 1670. Solve -4*t + u = -1 for t.
4
Let h(f) = f**2 - 62*f - 558. Let y be h(-9). Solve 6*u = -123 + y for u.
-7
Let q(f) = f**3 + 26*f**2 - 57*f - 31. Let g be q(-28). Let i be 1/(g/(-24)) + -2 - -29. Solve -i = -u - 6*u for u.
5
Let p(b) = 5 - 10*b + 22*b - 14*b. Let c be p(0). Suppose -5*n - 4*h + 32 = 8, 18 = c*n - 2*h. Solve 18 = n*w + 2 for w.
4
Suppose -a = 5*v - 57, -69 = -2*a + 6*v - 7*v. Suppose -6 = 2*y, 37*q - a*q = -4*y + 13. Solve -7*j + q*j + 6 = 0 for j.
3
Let t = -15 - -20. Suppose t*b + o = 2*b - 5, 5*b = 3*o - 13. Let u be (4 - b/(3 + -1)) + -1. Solve u*s - 1 = 3 for s.
1
Suppose 89*j + 191 - 1660 - 6630 = 0. Solve -88*b + j*b + 6 = 0 for b.
-2
Let s(k) = 2*k + 60. Let q be s(-22). Suppose 9*m - 2 - q = 0. Solve 4*j + m = -2 for j.
-1
Suppose 0 = -8*k + 146 + 86. Suppose k = f + 18. Solve 9*z - 10 = f*z for z.
-5
Suppose -5*k - 2*y + 10 + 10 = 0, -5*y - 49 = -4*k. Suppose 81*d - 77*d = 0. Solve d = 3*o + 6 + k for o.
-4
Let k(a) = 311*a - 3093. Let f be k(10). Solve 7*t - f*t + 50 = 0 for t.
5
Let l = -512 + 518. Suppose -2*q + 4 = -g - l*q, 2 = 2*g + 3*q. Solve 25 = g*p + p for p.
5
Let p = -6072 - -6080. Solve -82*l = -84*l + p for l.
4
Let f = 13655 + -13653. Solve -20*b = 2 - f for b.
0
Let t = 10 + -5. Suppose -3*f = 0, -21*f + 36 = 4*i - 22*f. Solve -t*k + i = -16 for k.
5
Let v = -87 + 90. Let n be (3 - v)/(-5) - -111. Let i = 111 - n. Solve i = 2*m + m + 6 for m.
-2
Let y be 1 + 3 + (1 + 1 - 4). Let r be -2 + (y - 0) + 0/(-4). Let x(g) = -g**2 - 6*g. Let d be x(-6). Solve r*n + 3*n + 15 = d for n.
-5
Let s be ((-52)/14 + -1)/((-3)/63). Solve -93 = -2*c - s for c.
-3
Let h = 123 - 121. Let y be 88/6 + 11/(-33)*h. Solve -y = -4*z + 6 for z.
5
Suppose 4*b - 66 = -2*l, -20*b + 18*b + 3*l = -45. Let g be (-3892)/(-252) - 8/b. Suppose -2*w = -4*w. Solve w*q - 3*q + g = 0 for q.
5
Let h be (-6)/(-8) + (-770)/88 + 22. Solve -19*a + 12*a = h for a.
-2
Let o = -151 - -153. Suppose 0 = c - 3, -o*s - 4*c + 11 = -3*s. Solve 4*t + s = 5*t for t.
1
Let w be (-5 + 1)/(164/(-52) - -3). Let v(o) = w - 3*o + 39 - 35. Let s be v(10). Solve s = -4*h + 7*h + 15 for h.
-5
Let h(c) = 2*c**3 - 6*c**2 + 6*c - 6. Let o be h(2). Let b(w) = -2*w**3 + w**2 - 4*w - 5. Let m be b(o). Solve -m*g - 5 = -18*g for g.
-1
Let m be -1 + 220 - (135 - 123). Solve m + 8 = 43*o for o.
5
Suppose -43*k = -32*k + 5632. Let b = k - -512. Solve -2 = s - b*s for s.
-2
Let c(d) = 2*d + 41. Let f be c(-17). Let k(j) = j**3 - 4*j**2 - 18*j - 8. Let o be k(f). Let x be o/(-39) - (-1)/3. Solve -b + x*b = 4 for b.
-4
Let n be (-1 - -3)*(63/(-6))/3. Let d be ((6/4)/(-3))/(n/(-56)). Let i = 6 + d. Solve -i*f = -5*f - 6 for f.
-2
Let c be (-1)/2*(-227 + 5). Let b = 115 - c. Solve -2*o + b = 8 for o.
-2
Let u be (36 - 4031/116) + (-10)/8. Suppose 0 = -3*p + 6*p - b + 5, b = -p - 3. Let v be 9 + p/(4 + -2). Solve u = m + 3*m - v for m.
2
Let i be (35/14)/(1/((-54)/(-1))). Let u = i + -113. Solve -u = -4*a - 2 for a.
5
Suppose 4*k - 5*j = 170, 0 = 5*k + 31*j - 42*j - 241. Solve 96*s = 89*s - k for s.
-5
Suppose 6*k + 290 = 8*k. Suppose 142*l + 9 = k*l. Solve l*x = -0*x - 12 for x.
-4
Let v(r) = r**2 - 14*r - 305. Let s be v(-12). Solve 1541 = -s*q + 1583 for q.
6
Let t = 6 + -4. Suppose -97*s = -79*s + 72. Let j(d) = d**3 + d**2 - 20*d - 20. Let g be j(s). Solve 0 = -5*w - t + g for w.
2
Let g(j) = 8 + 15*j**2 + 3 + 28*j + 19*j**2 - 113*j - 39*j**2. Let k be g(-17). Solve 1 = -4*u - k for u.
-3
Let n(j) = -j**2 - 6*j + 10. Let s be n(-7). Suppose 0 = 52*b - 20251 + 20043. Solve b*k - s = 3*k for k.
3
Let n(r) = r**3 - 2*r**2 - 3*r + 4. Let z be n(3). Suppose -10 = -s - z*s. Suppose k = 4*o - 11, -19 = -5*o - k - 12. Solve -s*l + 3*l = o for l.
2
Let a be -4 + (4 - -35) + 8. Solve a = 24*n - 101 for n.
6
Let w = 9720 - 9713. Solve 0 = w*k - 33 + 12 for k.
3
Let c = -9 + 13. Let g = -35632 + 35644. Solve c*d + 2*d = -g for d.
-2
Let f(o) = -o**3 - 2*o**2 - 4*o + 1. Let w be f(0). Let t be w/(5*1/75). Solve -9*m = -12*m - t for m.
-5
Let q(r) = -14*r - 62. Let i be q(-5). Suppose 54 = 26*z - i*z. Solve 0*u + z*u - 9 = 0 for u.
3
Suppose -16*f = -136 - 168. Suppose -n = t + 20, t + 10 = -5*n - 74. Let a = f + n. Solve -h - 10 = -a*h for h.
5
Suppose -4*u + 60 = 5*g + 16, 0 = -g + u + 7. Let l = -19 - g. Let t be ((-1)/(-3))/((3/l)/(-1)). Solve -2*r - 5 = t*r for r.
-1
Suppose -92 = -4*w - 75*t + 71*t, -3*t + 25 = w. Solve 30*h - 128 = w for h.
5
Suppose -8 = 2*j - 4*j. Let c be (-8 - 15/(-2))*0*1. Suppose c*x + 5*x = -j*x. Solve 0 = 3*v - x*v + 3 for v.
-1
Suppose -56 = -2*d - 6*d. Suppose -15*j + 120 = -d*j. Suppose 0 = -4*w - 11 + j. Solve -1 = -i + w for i.
2
Let l(z) = -z**3 - 9*z**2 + 52*z + 4. Let g be l(-13). Solve -221 = -g*f - 209 for f.
3
Let d be -1 + (-3)/(0 - 3). Let l be d - -6*(-6)/(-12). Solve l*u - 6*u = -9 for u.
3
Suppose 3*s - 5*h = 773, s + 2*h - 8 = 268. Solve -s = -k - 37*k for k.
7
Suppose -52*l + 1370 = -502. Solve -l = 12*f - 84 for f.
4
Let b = 3104 - 3088. Solve 14 - b = n for n.
-2
Suppose -3*y + 57 = 2*n, -3 + 0 = -n. Suppose -12*h = -11*h + y*h. Solve h = 3*x - 5 - 7 for x.
4
Suppose -2*n = -a + 5, 52*n + 4 = 48*n. Let y(c) = c**3 + 4*c**2 - 6*c + 2. Let q be y(-4). Solve a*g + q = 14 for g.
-4
Let c(u) = u**3 + 3*u**2 - 2*u - 2. Suppose 9*n + 6 = 12*n. Let o be (-2)/(-1)*-2*n/8. Let t be c(o). Solve t*y = -3 + 1 for y.
-1
Suppose 0 = -2*f - 29 + 25. Let m(p) = 2*p + 10. Let u(y) = -2*y - 11. Let n(s) = 5*m(s) + 4*u(s). Let k be n(f). Solve -k = 2*b - b for b.
-2
Let y = 19473 + -19470. Solve y*g - 158 = -173 for g.
-5
Let x(v) be the third derivative of -5*v**4/24 + 14*v**3/3 - 342*v**2. Let r be x(5). Solve -3*s - r = -4*s for s.
3
Let a(o) = o**3 - 4*o**2 + 4*o + 1. Let g(k) = -k**2 + 9*k + 3. Suppose 0 = -2*s + 18. Let m be g(s). Let h be a(m). Solve 0 = -h*j - 4 - 16 for j.
-5
Suppose 2*j + 4*t + 32 = 0, -3*j + 17*t - 8 = 18*t. Solve j = -23*g - 8*g - 217 for g.
-7
Let m(s) = -4*s + 45. Let q be m(6). Suppose -23*y + q*y = 0. Solve -5*n = -y*n - 20 for n.
4
Let q be (44/33)/((-1)/18 + (-16)/(-72)). Solve 0*x + 48 = -q*x fo