2*c - 158 = 0. Let w = p - z. Solve 3 - 1 = -w*x for x.
-1
Let g = -476 + 502. Solve -4*y - g = -18 for y.
-2
Suppose -29*l - 6 = -31*l. Let d be l/(-9) - (-3 + (-10)/(-15)). Solve -4*y = d*y + 6 for y.
-1
Let r be 236/6 + (-2)/(-3). Let v be 3/(2 + (-18)/10). Let z = r - v. Solve -g - z = 4*g for g.
-5
Suppose -7*l + 127 = 106. Suppose -5*w = 2 - 12, -l*w + 6 = 2*c. Solve c = -4*n - 4 - 8 for n.
-3
Let m(l) = -7*l - 252. Let x be m(-36). Suppose 0 = 2*t + 5*z + 19, x*z = -5*t + 2*z + 25. Suppose -3*n = -5*n. Solve n*k - t*k = -6 for k.
2
Suppose 4*m + 1 = -y + 5, 4*y = 4*m + 16. Let z be -2 - (0 - (-22 - m)). Let c = -20 - z. Solve 0 = c*p - 6 - 14 for p.
5
Suppose -5*t - 3*k + 16 = -25, -4*t - 4*k = -36. Solve -128 = -27*r + t for r.
5
Let m = -9132 + 9150. Solve 9*q + 9 + m = 0 for q.
-3
Let r = 66 - 62. Suppose r*g - 14 = 18. Solve -4*z - 4 - g = 0 for z.
-3
Let h be 2/9 - ((-80)/(-36) - 4). Suppose 5*g = -h*p - 23, 5*p + 5*g + 59 - 24 = 0. Let d(j) = j**2 + 4*j + 6. Let u be d(p). Solve 0 = u*i - 2*i - 8 for i.
2
Let p(k) be the second derivative of k**5/20 - 5*k**4/4 - 2*k**3 - 37*k**2/2 - 20*k - 5. Let b be p(16). Solve -b*m = -29*m + 6 for m.
3
Let x be (-5 - (0 - 2))/(-1). Suppose -417 = 2*l + 609. Let y be (-2)/(-4) + l/(-54). Solve -y = -x*z + z for z.
5
Let y be 6 + 30/5 + -5. Suppose 68*h - 25 = 63*h. Solve -2*v - h = -y for v.
1
Let l be ((-18)/12)/(51/(-68)). Solve -l - 10 = 12*s for s.
-1
Let q be -4*(10/(-4) + 2). Suppose 4*u = 5*b - 101, 2*u = b + q*b - 59. Let g = 52 - 48. Solve -1 = g*h - b for h.
4
Suppose 42 = 5*r + 17. Let i = 21 + -19. Suppose c + i = -r*y, -3*y - 2*c = 1 + 3. Solve 4*o + 4 = -y*o for o.
-1
Let n be 1 + (0 - 6) + -120. Let o = 128 + n. Solve -o*u = -5*u for u.
0
Let q(n) = -2*n**3 - 25*n**2 - 14*n - 22. Let s be q(-12). Suppose -s*j - 51 = -5*c, c - 4*c = j - 35. Solve -12*k = -c*k + 5 for k.
-5
Let k(a) = 9*a**2 + 19*a + 51. Let s(t) = 49*t**2 + 95*t + 254. Let y(j) = 11*k(j) - 2*s(j). Let g be y(-16). Solve -8*l = -g*l - 12 for l.
4
Let y(v) = 338*v + 5 + v**2 - 678*v + 337*v. Let n be y(0). Suppose -n*d = -15*d + 60. Solve -20 = d*f - 2*f for f.
-5
Suppose -88*v + 134*v + 19095 = 65*v. Solve 21*u - v = -1089 for u.
-4
Let p = 1 + 413. Let k be (-92)/p - ((-29)/9 - 1). Solve -k*c + 8 = -2*c for c.
4
Suppose 13*g + 2000 = 38*g. Solve 0 = -g*y + 35*y - 270 for y.
-6
Let k(w) = -4*w - 9. Let p be k(-3). Let m(a) = a**3 - 2*a - 1 - p*a**3 + a + a**2. Let u be m(-1). Solve r - u*r + 4 = 0 for r.
2
Let i(f) = 6 - 9*f**3 - 22*f**2 - 18*f + 5*f**2 + 10*f**3. Let b = 141 + -123. Let u be i(b). Solve u*w = 3*w for w.
0
Suppose 3*g - 31 = -4*n, 4*g - 25 = -4*n + 7. Let t(z) = -z**3 + 6*z**2 + 8*z - 1. Let c be t(n). Let u = c - 4. Solve u*p + 1 = 3 for p.
1
Suppose 9*x - 4*x - 30 = 0. Suppose 0 = -3*f - s + 64, 4 = -2*s - x. Suppose 21*y - f*y = 0. Solve -2*c - 3*c - 5 = y for c.
-1
Suppose s + 2*j + 30 = 0, 3*j = -3*s - 129 + 33. Let w be 24/168 + s/(-7). Solve w*d = 41 - 56 for d.
-3
Let d(k) be the first derivative of k**3/3 + k**2/2 + 2. Let o = -76 + 77. Let m be d(o). Solve 3 = -m*r - 1 for r.
-2
Let y be 375/6*(-1 - (2 + (-76)/20)). Solve -y*n + 7 = -43*n for n.
1
Let x = 38 - 38. Let f(v) = -v**2 + 3*v + 9. Let r(q) = -6*q**2 + 16*q + 48. Let l(s) = -16*f(s) + 3*r(s). Let y be l(x). Solve y = 2*k - 6*k - 12 for k.
-3
Let h = 1055 + -1051. Suppose 0 = -3*u + 3*t - 1 + 4, 5*u - 6 = 4*t. Solve -k + h = u for k.
2
Suppose -5*s - p + 129 = -10*p, 0 = 2*p - 8. Solve -s*y + 31*y = 6 for y.
-3
Suppose 5*n = 2*n + 15, -3*x - 3*n - 48 = 0. Let v be (-8)/12 - (2 + 56/x). Solve 2*s - 2 - 4 = v for s.
3
Let a = -85 + 86. Let w be (a/(-2))/((-11)/330). Let f = w + -14. Solve -3*h - 8 = f for h.
-3
Suppose 0 = 35*r - 0*r. Suppose r = k - 5*a - 1, 0 = -5*k - a - 0*a + 5. Solve 10 = -3*m + k for m.
-3
Suppose 17*y - 70 = 8*y + 2*y. Solve -y*x - 108 = 8*x for x.
-6
Let f(k) = -k**2 + 21*k - 51. Let j = 402 - 384. Let u be f(j). Solve -u*c = -c - 10 for c.
5
Let h = 28 - 20. Let g = h + -6. Solve 4*p + 30 = -g*p for p.
-5
Suppose -37*d = -34*d - m - 13, 0 = -2*d - 2*m + 22. Suppose -5*w + 2*z + 70 = 0, 2*w + d = -3*z + 15. Solve -u - w = 3*u for u.
-3
Let m = -116 + 76. Let u = 42 + m. Suppose 2*h = 2*t + 2*t - 2, 2*h - u*t = 0. Solve 0*s + h = s for s.
1
Suppose d + 1 = -1, -d = -5*a + 37. Suppose -43 = 18*i - a. Let m be i - 4/(12/(-63)). Solve 1 = 4*w - m for w.
5
Let j(t) = -t**3 - 10*t**2 - 2*t + 17. Suppose -4*k = -5*u + 19 + 12, 2 = -2*u. Let b be j(k). Let z = -43 - b. Solve 4*s + z = -9 for s.
-3
Let o be 18/(-1)*(-1)/(-3). Let r(w) = w + 12. Let t be r(o). Suppose -5*f + 2*z + t + 7 = 0, -f = -5*z - 21. Solve 2*x - 3 = f for x.
2
Let k(a) = -631*a - 4409. Let v be k(-7). Solve 0 = 6*i - v*i + 14 for i.
7
Let r be -6*1 - ((-29)/87)/((-2)/(-114)). Solve -x - r*x = -42 for x.
3
Suppose -x = 4*g - 2, 0*g + 8 = 4*x + g. Let n = -1232 - -1232. Let i(b) = b**2 - 5*b + 2. Let z be i(5). Solve n = x*c + z*c for c.
0
Let u(f) = -f**3 + 77*f**2 + 3*f + 27. Let q be u(0). Solve q*y - 130 = 5 for y.
5
Suppose 5*t = -4*o - 11, 11*t + 13 = o + 7*t. Solve -37*h - o + 75 = 0 for h.
2
Suppose 4*q + 170 = k + 4*k, -3*k + 102 = 4*q. Suppose -19*c = -k - 23. Solve -5 = -c*d - 2 for d.
1
Suppose 33 = -z + 12*z. Suppose 5*m - 7 - z = 0. Solve 0 = m*k - 3*k + 1 for k.
1
Let h(n) = -n**3 - 31 + 61*n**2 + 34*n**2 - 79*n**2 + 38*n. Let r be h(18). Solve 3*i = -r + 20 for i.
5
Let i be ((-24)/(-32))/(1/4). Suppose -5*g = h - 5, i*h - 68 + 15 = 4*g. Solve 3*w = -2*w - h for w.
-3
Suppose 406*k - 129 = 403*k. Suppose 4*v + 3*f = -k, 4*v - 4*f + 36 = -0*v. Let o = v + 10. Solve -u = -o*u for u.
0
Suppose -15 = -15*b + 10*b. Suppose 4*c = x + 111, 0 = b*c - 4*x - 69 + 2. Solve -8 + c = -7*v for v.
-3
Let z(j) = 15*j + 1537. Let o be z(-91). Solve -53*g + 199 = -o for g.
7
Let s(l) = 8*l + 45. Let y(a) = 17*a + 89. Let o(z) = -5*s(z) + 2*y(z). Let w be o(-16). Solve -57 + w = 4*b for b.
-2
Let m(x) be the second derivative of 1/3*x**4 - 8*x - 1/6*x**3 + 0 - x**2. Let v be m(-1). Solve 0 = -2*u - v*u - 20 for u.
-4
Let z(a) = -8*a - 97. Let x be z(-12). Let w be (0 + x/2)*(39 + -49). Solve w*s - 2 = 13 for s.
3
Suppose 4*m = -c + 380, 16*c - 400 = -4*m + 20*c. Let t be (-256)/m*3*2/(-8). Solve -7*o + 20 = -t*o for o.
4
Let v = -12346 - -12360. Solve -v*m - 8 = -92 for m.
6
Let l be (0/(-30))/(0 - ((-3)/1)/3). Solve -415*h + 412*h - 18 = l for h.
-6
Let r be (2/(-6))/(2/(-18)). Suppose r = -4*b + 11. Let i be -21 + -3 + 12 + (-180)/(-15). Solve i = -7*a + b*a for a.
0
Suppose -18*a + 2178 = 303 - 429. Solve 4 + a = 22*m for m.
6
Let h = 452 + -429. Solve -26*t - h = 29 for t.
-2
Let q be 3 - (-2)/2 - -2. Let d(o) = -4*o**3 - 55*o**2 - 70*o - 1123. Let x be d(-14). Solve -50*w - q = -x*w for w.
2
Suppose -c + 0*c = 4*t + 1, -2*t - 11 = -3*c. Suppose -c*m = 4*y - 0 - 23, 14 = 2*m + 4*y. Solve 4*a = -m + 13 for a.
1
Let l(y) = -27*y - 251. Let i be l(-10). Solve -i*b + 13 = -25 for b.
2
Let c be 808/(-6) + 6/9. Let x be (-3 + 1 + 0)/(268/c). Solve x - 9 = -2*j for j.
4
Let l(p) = -3*p - 1. Let w be l(-1). Suppose t - w = -0. Suppose -1153*s + 1294*s - 96 = 609. Solve t*x = s - 13 for x.
-4
Let k(c) = -c**3 + 3*c**2 + 14*c - 4. Let v(n) = n**2 - 1. Let x(m) = k(m) - 2*v(m). Let f be x(4). Solve 11*l = f*l for l.
0
Suppose -2*l + l + 377 = -5*p, 2*l - 718 = -2*p. Suppose 4*y - 4*q - l = 194, -2*q = 4*y - 538. Let o = 148 - y. Solve -3*d = -o - 0 for d.
4
Let s = -48 + 49. Let n be (3 - 7) + (10/s - 4). Solve n*k = -1 + 9 for k.
4
Let l be (-8 + 116)*((-63)/(-28))/(45/10). Solve 0 = l*j - 11*j + 43 for j.
-1
Let q(d) = -57*d**2 - 168*d. Let s be q(-1). Solve 1 = -16*t - s for t.
-7
Let o(u) = -3*u**3 - 36*u**2 + 189*u - 9. Let t be o(-16). Let v(h) = -h**3 + h**2 - h + 45. Let j be v(0). Let y = j - t. Solve 5*x + y = 1 for x.
-1
Let n(z) = -25*z + 34*z**2 + 56*z - 29 + z**3 - 15*z - 17*z. Let k be n(-34). Solve 4*a - k + 13 = 0 for a.
-2
Let z(b) = b**3 - 14*b**2 - 58*b + 119. Let g be z(17). Solve -t - 562 + 565 = g for t.
3
Suppose 8 = 3*q + 2. Suppose -149 = r - 4*n - 175, 2*r = -2*n - 8. Solve -q*z - r - 6 = 0 for z.
-4
Let n be 12 - (((-55)/22)/5 + (-15)/(-2)). Suppose 0 = -3*b + 26 + 1. Solve -n*p = -11 - b for p.
4
Suppose -9*d + 6*d + 3 = 