x)*4. Let b(a) = -107*a - 850. Let u be b(-8). Solve 12 = -u*y + i*y for y.
-4
Let c = 5 - 1. Suppose 5*y = 5*r - 45, -31 = -3*y - 46. Solve 0 = -r*k + c + 16 for k.
5
Let c be 2/(-3) - (-29 - 2635/(-93)). Solve c = -6*m - 1126 + 1180 for m.
9
Let c(k) = k**3 + 8*k**2 + 7*k - 1. Let a be c(-6). Let m be (5 - 7) + 12/1 + -1. Solve m*p - 2 + a = 0 for p.
-3
Let n = -147 - -139. Let v be ((-12)/n)/(-1 + 21/12). Let r be ((-5)/(-2) + -2)*4. Solve v*z = -r*z for z.
0
Suppose -3*x - 10332 = 15*x. Let f = 581 + x. Solve -6 = -10*c + f*c for c.
2
Let j = 2502 - 2490. Solve -4 - 44 = -j*f for f.
4
Let i = 8295 - 8290. Suppose -3*k = 2*h - 16, 4*h + 2 = 4*k - 46. Solve -i*p = -k*p + 3 for p.
1
Let y(v) = v**2 + 14*v + 45. Let b be y(-9). Suppose b = 4*p - 9*p + 2*t + 22, 4*p - 17 = t. Solve p*n = n for n.
0
Let w = -335 + 182. Let g = w - -156. Solve 0*i + g = -i for i.
-3
Let n = 150 - 146. Suppose -n*u + 34 = 14. Solve -u*d + 2 = 12 for d.
-2
Let m(y) = -2*y + 5. Let q be m(-12). Let n = q - 25. Let w be (10/n)/(1 + 6/(-12)). Solve w*d = d + 20 for d.
5
Suppose 0 = 12*s - 1892 - 1492. Solve -36 = -41*n - s for n.
-6
Let q(s) = -s**2 + 7*s - 13. Let v be q(4). Let f be 6/2 - (-2 - v). Suppose 20*n - f = 18*n. Solve -n*c - 3 = -1 for c.
-1
Let q = 21 + -21. Suppose -31*s = -66*s + 105. Solve q = -5*a - 7 - s for a.
-2
Let x be 0 - (-1 - -7)*13/(-13). Suppose -x*w = -w + 60. Let c be (0 - 14/4)/(6/w). Solve -4 = -g - c for g.
-3
Suppose -23*o = -19*o + 60. Let x be ((-20)/2)/(o/18). Solve -x + 20 = -4*f for f.
-2
Let v(w) = -5 + 5 - 8*w - 11. Let i be v(-2). Solve -i*b - 12 = 3 for b.
-3
Suppose -r + 3*u + 544 = -608, 1144 = r - 2*u. Solve -1117 = 11*g - r for g.
1
Suppose 5*n - 28 = -d + 5, 4*n - 22 = -3*d. Let t be 20/16*4 - (-6 + 7 - 1). Solve -4*m - t - n = 0 for m.
-3
Let i(u) = u**2 - 4*u + 1. Let f be i(5). Let d(z) = -2*z**2 - 18*z - 17. Let v be d(-7). Solve -f = -v*o + 8*o for o.
2
Suppose -2*j + 15 = 3*o + j, -5*j = -2*o + 10. Let c(z) = -6*z**3 + 47*z**2 - 32*z - 6. Let x be c(7). Solve o + x = -4*s for s.
-5
Let n be 1/(4/18)*(-14)/(-21). Let i be (7/5 - 8/20)*n. Suppose -a + 20 = 5*g, a + 25 = i*a + 5*g. Solve o - 6*o = a for o.
-1
Let w(r) = r**2 - r + 7. Let n be w(-3). Suppose -5*d + d + 16 = -t, 5*d = t + n. Suppose 24 = 7*v - d*v. Solve -v*i + 16 = -2*i for i.
4
Let l = -9 - -5. Let m be (-3)/32*8*(1 - -7). Let f be ((-4)/m)/(l/(-30)). Solve 4*s + 21 = f for s.
-4
Let p be (-8)/(-20) + (-18)/(-5). Suppose -3*y + 2*h = -2*y - 5, y = p*h - 3. Solve 3*j + 10 = y for j.
1
Suppose -k = k - 6. Suppose 93*s + 546 + 134 = 178*s. Solve -k*t - s = t for t.
-2
Let q(i) = i**2 + 84*i + 328. Let x be q(-4). Solve -13*z = -15*z - x for z.
-4
Let c = 8272 + -8263. Solve -c*i = 314 - 323 for i.
1
Suppose 4*f - 345 + 29 = 0. Let d = 1 + f. Suppose -5*a + d = 5*h, -2*a = -a + 3*h - 24. Solve -a = -2*c - c for c.
4
Let q(r) be the second derivative of -r**4/12 + 13*r**3/6 + 15*r**2/2 - 25*r. Let c be q(16). Let s be 7/(231/(-6)) + (-39)/c. Solve -5*d + s = 11 for d.
-2
Let n = -2 - -4. Let b = 483 - 483. Suppose -2*z + 10 = -3*j - 3, -5*z + 4*j + 22 = b. Solve 8 + z = -n*s for s.
-5
Let i = -225 - 18. Let x be 108/i - (1 + 13/(-9)). Solve x*p = 3*p for p.
0
Suppose -2*g + 65 - 1 = 0. Suppose 3*j = -5*j + g. Suppose -2*h - 4*z = -12, j*z + 2 - 14 = -3*h. Solve h = 2*u - u + 4 for u.
-4
Let c = -4689 - -4818. Solve -16*y - 113 = -c for y.
1
Suppose -92576 = -421*s + 69*s. Solve 264*k = s*k + 8 for k.
8
Let w = 11 - 23. Let a be -4*((-8)/w + (-10)/6). Suppose -4*b + 3*k + 84 = 11, -5*b + 2*k = -86. Solve -b + a = -4*f for f.
3
Suppose -55*v - 966 + 1186 = 0. Suppose 0 = -0*m - 2*m. Solve m = v*h - h + 6 for h.
-2
Let j(n) = 9*n + 5. Let u(l) = 17*l + 10. Let z = -47 + 58. Let w(c) = z*j(c) - 6*u(c). Let x be w(-3). Solve -9 + 21 = x*p for p.
3
Let d(c) = c**3 + 28*c**2 - 8*c - 17. Let h be d(-28). Solve 199*f - h*f = -16 for f.
2
Suppose 15 = -3*l, -2*z + 40 = -z - 2*l. Solve -z = 24*v - 18*v for v.
-5
Let v(b) = -7*b + 19. Let y = 215 + -213. Let g be v(y). Solve 11 = 4*a - g for a.
4
Let h(p) = p**3 + 4*p**2 + 3*p + 43. Let z be h(-5). Suppose 0 = -c - z*l - 7, -5*l - 1 = -c + 24. Solve 0*b = -b + c for b.
5
Suppose -8554 - 7841 - 19212 = -39*f. Solve -921*y - 16 = -f*y for y.
-2
Let u = 11 - 9. Suppose -5 = -2*k + n, 5*k + 4 = -u*n - 6. Solve k*h - 5*h = 25 for h.
-5
Let y = -109 - -59. Let i be (10 - y)*1/3. Let r = i - 16. Solve r + 16 = 5*u for u.
4
Let z(r) = -29*r**2 + 5 - 2*r**3 - 596*r + 294*r + 288*r. Let a be z(-14). Solve -3*w + a = -10 for w.
5
Let l(y) = 5*y - 6. Let i = 12 - 10. Let t be l(i). Let p be (3/t)/(136/32 + -4). Solve 3 + 9 = -p*f for f.
-4
Let x = -8 - -9. Let b be x/3 - (-23)/(-69). Let g(l) = l**3 + l**2 + 2*l + 2. Let h be g(b). Solve -i - h*i = -6 for i.
2
Suppose t + 5*x - 29 = 0, 5*t + 0*x - 265 = -x. Solve -t = -683*f + 692*f for f.
-6
Suppose -116 = -14*t - 15*t. Suppose -2 = 2*l - t*i, 6*l + 32 = 10*l + 4*i. Solve l*x = -7 - 8 for x.
-3
Let n = -31 + 47. Suppose -4*p - 5*l + n = -6*p, 2*l = 4*p. Let v = -6144 + 6144. Solve -3*t + 1 + p = v for t.
1
Let f = 73 - 70. Let q be 1*f - 1*(0 + -3). Suppose 0 = 9*z + q*z - 60. Solve -z*g - 1 - 19 = 0 for g.
-5
Let i = -1302 - -1306. Solve 0 = -2*j - i*j for j.
0
Let k(n) = 2*n - 32. Let s be k(18). Suppose 2*a = -s*i - 2*a + 12, 0 = a + 2. Let x be (-6)/9 + 8/9*3. Solve -x*z - i = 3 for z.
-4
Let m(f) = -4*f - 14. Let o be m(-6). Suppose q - o = 6*q - 5*c, 0 = -c + 4. Suppose 2 + q = 4*t - 2*w, -5*w = 4*t - 18. Solve 3*z = 5*z + t for z.
-1
Let t = 0 + 3. Let k be (-76)/(-28) + 892/3122. Solve -2*f - k - t = 0 for f.
-3
Suppose -5*u + 144 = 3*b, -b - 3*u + 47 - 3 = 0. Solve -b - 40 = 31*r for r.
-3
Let l = -84 + 93. Let x be (((-40)/(-15))/4)/(2/l). Suppose 0 = 3*j - 3*w + 9, -2*w + 33 = 4*j + x*w. Solve 0 = j*v - 5*v + 3 for v.
1
Suppose 36*r - 98*r + 256066 = 77444. Solve 2890*m = r*m + 54 for m.
6
Let n(y) = -4*y**2 + 33*y + 188. Let a be n(12). Solve 34*g - 60 = a for g.
2
Let m = -87 + 157. Let p = 76 - m. Suppose t = -4*r - p + 26, t = 3*r - 8. Solve -t*b + 0 = -8 for b.
2
Let o = -1600 + 1622. Solve 7*l + o = 50 for l.
4
Let s(v) = -1365*v - 7937. Let x be s(-6). Solve -x = 9*t - 289 for t.
4
Suppose 22*n - 26*n + 1240 = -4*i, 0 = 4*n - 5*i - 1246. Solve 322 = 6*y + n for y.
3
Let i be (-5 + -130)/3 + -2 + 7. Let f = 40 + i. Solve f = -g - g + 6 for g.
3
Let y(h) = -h**3 + 14*h**2 - 24*h + 26. Let j be y(9). Solve i = j - 219 for i.
-4
Let p = 7129 - 7129. Solve -15*o = 2*o - p*o for o.
0
Suppose -3*w = 3*d - 447, 0 = 155*w - 156*w + 3. Solve -14*n - d = -160 for n.
1
Let c = 107 + 347. Let x = c - 392. Solve -8*m = x - 22 for m.
-5
Let v(y) = -406*y + 4872. Let f be v(12). Solve 4*w + 153 - 141 = f for w.
-3
Let o be 0 + -5 - -2 - (15 + -29) - 5. Solve 6*z + 72 = -o*z for z.
-6
Suppose 139*h - 138*h - 3*b = 12, -h - 4*b = -5. Solve h*z = 29*z - 100 for z.
5
Let b be 2/6*((-12)/2 + 9). Let d = 7 - b. Let x be 5 + -3 + -3 + d. Solve 0 = x*t - t - 8 for t.
2
Let b be (-355)/(-9) - 20/45. Solve 82 = 43*u + b*u for u.
1
Let w = 82 + -77. Suppose -w*k - 5*m = -85, 0*k - 52 = -3*k - 4*m. Solve 0 = 4*d - 0*d + k for d.
-4
Let s be (-346)/2595 - 141/(-45). Solve 28 - 16 = s*t for t.
4
Let w(j) = -3*j**2 - 6*j + 3. Let z be w(-3). Let v be (9/z)/(2/56). Let m = v - -44. Solve 3*n - m = 7 for n.
3
Suppose 9*w - 18 = 7*w. Suppose -w*a + 8*a + 3 = 0. Suppose 0 = -6*l + a*l + 9. Solve -5 = -2*r - l for r.
1
Let d(a) = -9*a + 5*a + 5*a + 16*a**2 + 22 + 0*a**2 + a**3. Let l be d(-16). Let w = 1 + 11. Solve -w = -2*p + l*p for p.
-3
Let k(w) = -w**2 - 77*w + 4068. Let a be k(-113). Suppose 4 + 5 = 3*s. Solve a = -i - s*i - i for i.
0
Let p be (9 - 1510/170) + 8*(-177)/(-102). Solve p*w + 2 = 86 for w.
6
Let b be -1 + 3 + (3 - (-1 - -2)) - -5. Solve -b + 7 = -2*k for k.
1
Let h be ((-13)/(-26))/(-1)*-156. Solve -89*g + 33 = -h*g for g.
3
Let p(r) = r**2 + 95*r + 192. Let g be p(-93). Solve 99*m = 100*m - g for m.
6
Let i(r) = -2*r**3 - r**2 + 33*r + 7. Let d be i(-5). Suppose 25*o - 158 = d. Solve -12*m - 12 = -o*m for m.
-4
Let t(a) = -a**3 + 6*a**2 - 15*a + 163. Let v be t(7). Solve -29*z + 38*z + v = 0 for z.
-1
Suppose 0 = -4*u - 0*u. Let c = -183 - -188. Suppose u = -2*b - c*b +