. Let y be 4 + -1 - (10 + j). Solve 7 = -5*a - y for a.
-2
Let t(o) = -o**2 - 20*o - 62. Let i be t(-5). Solve 4*b = i - 1 for b.
3
Suppose 5*l = 5*g + 4*l - 47, 5*g + 4*l - 62 = 0. Suppose g = 5*m - 4*u - 2, -4*u = 4*m + 12. Suppose 2*d + 1 - 7 = m. Solve 2 = -4*j + d*j for j.
-2
Let n be (252/(-7))/(12 + -13). Solve -14*o = -n*o for o.
0
Suppose 8*j + 6 - 62 = 0. Suppose 0 = -5*k - j*k + 60. Solve 0 = -k*b - 7 - 3 for b.
-2
Let j(q) = 11*q + 89. Let i be j(-8). Solve i = -4*w + 21 for w.
5
Suppose -4 - 8 = -4*n. Suppose n*d + 2 + 1 = -3*o, o - 3 = 3*d. Solve o*j = -5*j for j.
0
Suppose 4*d + 4*o + 4 = 0, 5*d - 3*d = o + 7. Let k be (0 - d)/(2 + -3). Solve -4 = -r - k for r.
2
Suppose -7*m + 0*m = 0. Suppose -2*k - 9*k = m. Solve -v + 2*v = k for v.
0
Let x be 1/2*46 + -4. Suppose 0 = -c + 3*a - 54, -5*a = 2*c + 83 - x. Let m be ((-14)/c)/((-1)/(-21)). Solve m*w - 3*w = -8 for w.
-2
Suppose -f - 4*u + 3 = -203, 0 = -5*f + 4*u + 1054. Solve -w = -206 + f for w.
-4
Suppose -6*i + 1 + 71 = 0. Solve 7*h = i*h + 25 for h.
-5
Let f(m) = m + 3. Let t be f(-3). Let s = -75 - -79. Solve 0 = g - t - s for g.
4
Let h(p) = 2*p**2 + 47*p - 203. Let i be h(4). Solve i*y - y = -80 for y.
-5
Let c(w) = 6*w + 5. Let m(x) = -3*x - 3. Let b(n) = 4*c(n) + 7*m(n). Let r be b(1). Solve -r = 6*s - 8*s for s.
1
Let z = -25 + 29. Suppose 42 = 4*q + 5*v, 0 = -5*q + z*v - v + 71. Let o = q - 11. Solve -o*k + 12 = k for k.
4
Suppose 2 = p + h - 8, -4*p = -5*h + 5. Let o = 30 + -10. Solve 5 = p*c - o for c.
5
Let v be (8 - -1)*(-168)/(-108). Solve 0 = 16*h - 9*h - v for h.
2
Let x(q) = -q**2 + 6*q + 7. Suppose 3*v - 31 + 10 = 0. Let w be x(v). Let l be 8 - (0 + 0 - 1). Solve w = 4*b - 3 - l for b.
3
Suppose -5*o + 23 = 3*f, 5*o + 3*f + f = 24. Suppose d - q = 4*d + 4, -d = 3*q + 12. Suppose -4*g + 26 + 2 = d. Solve g = o*t - 13 for t.
5
Let a be 1 + (3 - 98)/(-5). Let f be (a/6)/((-12)/(-18)). Let i = -1 + f. Solve -5 = i*y - 3*y for y.
-5
Suppose -11 = -28*v + 297. Solve 0 = 12*r - v - 49 for r.
5
Suppose 4*d = 6*d - 8. Solve g + d = -g for g.
-2
Let t be 8/10 - 198/(-15). Let n be (-2)/t + 348/84. Suppose 5*a - n = 3*a. Solve 5 = a*l + 1 for l.
2
Let u(h) = -h**3 + 9*h**2 - 22*h + 10. Let b be u(5). Solve -8*g + 14 + 10 = b for g.
3
Let c be 4/(-10) + (-34)/(-10). Let l(n) = n**2 + 3*n - 21. Let s be l(-6). Let q(d) = -7*d - 18. Let f be q(s). Solve c*w - 2*w = f for w.
3
Suppose 14 = 6*d - 10. Solve d*u + 9 = -7 for u.
-4
Let q = -1 - -5. Solve -q*c - 4 - 4 = 0 for c.
-2
Let k = -41 - -21. Let r = 26 + k. Suppose 4*o - 22 + r = 0. Solve -3*s - 2 = o for s.
-2
Let c(f) = -f**3 + 4*f**2 - 3*f + 2. Let t be c(3). Let r be (1*t/(-6))/(27/(-405)). Solve -s - r + 1 = 0 for s.
-4
Let b(c) = -c**2 - 6*c + 96. Let z be b(-13). Solve -m + z = 9 for m.
-4
Let j be (-4)/14 + (-36)/(-28). Let k be (j + 6/(-2))/(-3 - -2). Solve c - 2 = k*c for c.
-2
Let x(i) = -2*i - 2. Let w(k) = k**3 + 3*k**2 - 11*k - 10. Let a be w(-5). Let n be x(a). Solve -2*o - n + 2 = 0 for o.
-3
Suppose -3*j - 128 = 25. Suppose -4*f - 27 = 109. Let x = f - j. Solve 2 = -3*g + x for g.
5
Let y = -17 - -25. Let f(m) be the second derivative of m**5/20 - 7*m**4/12 - 3*m**3/2 + 6*m**2 - 144*m. Let g be f(y). Solve -7 - 1 = g*b for b.
-2
Let j be 40/30 + ((-1)/3 - -1). Suppose -4*v - 2*y = -3*v - 5, -5*v - y = -25. Suppose v*c = -s + 22, 0 = -4*s - 5*c + 8 + 20. Solve -l - j = s for l.
-4
Suppose -4*f - 10 + 6 = 0, 3*f = -4*p + 5. Solve -1 + 3 = p*c for c.
1
Let w be (-2)/10 + (9/15)/3. Suppose -4*o = 4*s - 5*s - 16, -s = o - 4. Solve -o*r = -w*r - 8 for r.
2
Suppose 4*l - 400 = -392. Solve l*a = 7*a - 9*a for a.
0
Let m(s) be the third derivative of -5*s**4/24 + 2*s**3/3 + 3*s**2. Let q be (-7)/3 - 4/6. Let g be m(q). Solve -g - 1 = -5*l for l.
4
Suppose r = 105 - 103. Solve 3*t - t - r = 0 for t.
1
Let f = -22 + 105. Let s = f + -80. Solve 2 = i - s for i.
5
Let d(h) be the third derivative of -h**4/24 + 2*h**3/3 - 8*h**2. Let w be d(3). Solve -w = -2*a + 3 for a.
2
Suppose 172 = 29*r - 60. Solve -r*h - 40 = -0*h for h.
-5
Suppose 5*z - 4*i - 110 = 0, 3*i = -3*z - i + 34. Solve 5*t + 2 = -z for t.
-4
Suppose -3*w - 15 = -6*w. Suppose 0 = 4*y + 5*a - 31, -3*a + 21 = w*y - 2*y. Solve -y*j = -j for j.
0
Suppose -63 = -3*n + 24. Solve -9 + n = 4*d for d.
5
Suppose 15 = 4*i - 9*i. Let b be -2 + i/((-15)/40). Solve 3*z + b + 3 = 0 for z.
-3
Suppose -3*u - 30 = -5*j, -2*j + 0*j + 26 = -4*u. Let q(k) = -j*k**2 - 16*k**3 + 3 - 4 + 4*k**2. Let w be q(-1). Solve -3*z + w = z for z.
4
Suppose r - 6 = -r. Suppose -2*x - x = -r. Let k(l) = l**2 + 8*l - 5. Let d be k(-9). Solve d*w + 3 = -x for w.
-1
Let d(x) = 4*x**3 - 43*x**2 - 9*x - 2. Let i be d(11). Solve 0 = 10*p + i for p.
-2
Let j = -4 - -7. Let g = -2 - -5. Suppose -h + 0*h = g*y - j, 6 = 2*h + y. Solve 5*u = h*u - 6 for u.
-3
Let u be 5/((-15)/(-12)) - (-7 - -10). Solve 0 = 2*y - 9 - u for y.
5
Suppose v - p + 1 = 0, -5*v + 128*p = 124*p. Solve -v*c - 164 = -144 for c.
-5
Suppose 11*a - 768 = 19*a. Let f = a - -98. Solve 0 = 5*z - f*z - 6 for z.
2
Suppose -2*r + 6*l = 5*l - 11, -5*l - 25 = -4*r. Solve r - 3 = i for i.
2
Let z be -3 + 1 + 9 + -5. Suppose -3*k = -2*t - z*t + 14, 4 = -3*k + 2*t. Let h = 14 - 10. Solve 2*v + k = h for v.
1
Suppose 0 = -2*w - w + w. Solve w = 3*r + 3 + 3 for r.
-2
Suppose -3*n - 5*k - 5 = -130, 5*k = -5*n + 225. Suppose -n = 10*z - 15*z. Solve 3*d - z = 5 for d.
5
Suppose -5*o + 11 = -4. Solve 2*g = -g + o for g.
1
Let k be (-2)/(-2) - (2 - 4). Suppose 2*t + 4*w + 29 = 53, 0 = 4*t - 2*w + 2. Solve 0 = k*b + t*b + 25 for b.
-5
Let u(w) be the second derivative of -w**3/3 - w**2/2 - 12*w. Let z(l) = l**3 + 5*l**2 + 4*l - 3. Let c be z(-4). Let h be u(c). Solve 0 = h*j - 0*j + 5 for j.
-1
Let n = 27 + -13. Let i(p) = p**2 - 5*p - 6. Let q(t) = -t - 1. Let a(v) = i(v) - 3*q(v). Let h be a(-2). Solve h*j + 1 = -n for j.
-3
Suppose t + 3*o = 12 + 2, 4*t + o = 45. Suppose 1 + t = i + 2*v, -5*i - 3*v + 25 = 0. Solve 7 - 11 = i*d for d.
-2
Let d(c) = -c**2 - 4*c + 4. Let t be d(-8). Let r = -28 - t. Solve r = -0*s + s - 2 for s.
2
Let j = 21 + -19. Let r(q) = 2*q**3 - 2*q**2 - 2*q - 1. Let d be r(j). Solve d*u - 4 = -u for u.
1
Let w be 104/36 + (-26)/(-234). Let u(f) = 6*f - 3. Let o be u(2). Solve -o = 4*x + w for x.
-3
Let r = -16 + 21. Let t(b) be the second derivative of -b**4/12 - 2*b**3/3 + 5*b**2/2 - b. Let c be t(-5). Solve c = a - r*a + 20 for a.
5
Let w be 0 + (10 - 1) + -3. Solve 0 = w*v - 34 + 4 for v.
5
Suppose 4*i - 4*a - 17 = -1, -3*i = -4*a - 14. Solve -i*m = -0 - 8 for m.
4
Let p = 495 + -490. Solve -2*y + 3*y = -p for y.
-5
Suppose 5*d - 4*h - 27 = 0, 3*d - 15 = -d + h. Suppose 4 = -0*g - d*g - 5*r, 5*r + 18 = 4*g. Let w(j) = -j + 3. Let k be w(3). Solve -z - g - 3 = k for z.
-5
Let g be (-2)/(-7) + 35/49. Let k be -2*(9/(-6))/g. Suppose k*w = -w. Solve w + 3 = -h for h.
-3
Let j be -1 + 8 + -4 + 2. Let t be -28 + 1 - (-1)/(-1). Let c = t + 39. Solve -j*y = c - 31 for y.
4
Suppose 0*d = 3*d + 3*k - 3, -2*d + 4*k = -8. Suppose 3*z = -4*g - 0*g + 47, -2 = -d*z. Solve -3*h - g = -2 for h.
-3
Let h(w) = -w**3 + 2*w**2 + 4*w - 1. Let g be h(3). Suppose 3*p = -3*a + 15, 0*a + 20 = 4*a - 3*p. Solve -6 = -g*k + a*k for k.
-2
Suppose -8*w + 39 = 5*w. Solve -w*a + a = 8 for a.
-4
Let x(y) = -y**2 + y + 7. Let a be x(0). Suppose -4*q = -0*q - 5*u - 26, 3*u = -5*q + 51. Suppose -4*p - q = -a*p. Solve -p*k = 2*k - 20 for k.
4
Let c(n) = n**3 + n**2. Let j be c(0). Let d(k) = -k**3 - 11*k**2 - 20*k - 14. Let m be d(-9). Solve j = -h - m*h + 20 for h.
4
Let w be ((-12)/18)/(4/(-42)). Suppose -3*i + w*i = 0. Solve 0 = 3*o - i*o + 12 for o.
-4
Let d(b) = -6*b**3 - b**2 + 4*b + 5. Let v be d(-1). Let y be ((-24)/(-20))/(v/70). Solve 5 = -3*a + y for a.
3
Let f(i) = 20*i + 519. Let t be f(-12). Solve -3*h + 267 = t for h.
-4
Suppose -11*q + 497 = -284. Suppose m - 1 = -h + 15, -5*m + 4*h = -q. Solve p + 2*p + m = 0 for p.
-5
Let j = -757 - -782. Solve j*g + 6 = -44 for g.
-2
Let f(r) = r**3 + 6*r**2 - r - 5. Suppose -2*l + l - 1 = 0. Let v = l + -5. Let s be f(v). Solve 0 = g - s - 2 for g.
3
Let m = 252 + -248. Solve -2*z = m*z - 6 for z.
1
Suppose 16*q - 19*q + 28 = 2*x, x + 7 = 2*q. Solve 12*n = -q*n for n.
0
Let i be (30/45)/(2/6). Let 