e -16 = 8*t - z*t for t.
-4
Let u = -769 + 853. Solve 88*b = u*b - 20 for b.
-5
Let j be 1/(-3 - -5)*14. Solve j*q = 4*q - 9 for q.
-3
Let h = 719 - 708. Solve -h*y = -21 - 12 for y.
3
Let n = -11 + 7. Let i be ((-6)/(-9))/(n/(-18)). Suppose -9 = -4*a + a - i*o, 32 = 4*a - o. Solve -4*d - a = -3 for d.
-1
Let x be (-4)/(-96)*-3 + (-726)/(-48). Solve 0 = x*f + 4 - 19 for f.
1
Let p be (2 - 11/4)*-4. Solve 12 = -p*v + 24 for v.
4
Let g(j) = 3*j**2 - 7*j - 3. Let z be g(3). Let p(k) = -2*k - 2. Let y(a) = 3*a + 3. Let o(i) = 4*p(i) + 3*y(i). Let n be o(z). Solve -9 = w - n for w.
-5
Let g be 2 - (1 + -6 - (3 + -10)). Solve g*z = 5*z + 10 for z.
-2
Suppose 2*v + 3*v = 40. Let m(f) = 2*f - 45. Let h be m(-11). Let y be 44/(-99) - h/9. Solve 3*j + v = y*j for j.
2
Let n be (-38)/(-7) - (-6)/(-14). Let b(f) = -3*f - 14. Let k(x) = -4*x - 15. Let j(h) = -3*b(h) + 2*k(h). Let q be j(-10). Solve -7*d + q*d = n for d.
-1
Let o be (-24)/30 + 12/15. Solve 9*j - 10 + 28 = o for j.
-2
Let y = 6 - -1. Let p be 4/y + (-59)/(-7). Let g = p - 6. Solve g = -c - 0 for c.
-3
Let z be (-4)/14 - (-69)/21. Let q = z - -36. Suppose -4*k + 5 = -q. Solve 4*c - k = 1 for c.
3
Suppose -2*q + 2 = q + 4*u, 2*q + 4*u = 0. Suppose -2*l + 12 = 4*l. Solve -l*t + q = -t for t.
2
Suppose 17*s = 6*s. Solve 0 = 2*c - s*c for c.
0
Suppose -4*n + 17 + 63 = 0. Suppose 5*g + 1 = 5*k - 9, -4*k = -5*g - 8. Solve 5*p + g*p = n for p.
4
Let k(f) = f**3 + 6*f**2 + 8*f + 2. Let z be k(-3). Suppose 4*x + 5*r - z = 0, -5*x + r + 20 + 8 = 0. Solve -3*a - 2 + x = 0 for a.
1
Suppose 0 = -4*z + 3*b - 564, -5*z - 2*b - 103 = 579. Let q be (-7 + z/(-12))*(-2)/(-3). Solve -4*n - q - 5 = 0 for n.
-2
Let y(o) = -105*o**3 + 4*o + 4. Let v be y(-1). Let z = -102 + v. Solve 2*j = j - z for j.
-3
Suppose 4*h - 28 = r + 4*r, 0 = -3*h + 3*r + 18. Solve 0 = -h*n + n for n.
0
Let l(b) = 15*b + 17. Let c(n) = 8*n + 9. Let x(a) = -11*c(a) + 6*l(a). Let y be (-18 + 18)/((-6)/2). Let j be x(y). Solve -z + j*z = 0 for z.
0
Let m(l) = 4*l - 80. Let c be m(21). Solve -c*o = -3*o - 2 for o.
2
Suppose 0*v + 2*v = 5*u - 99, -v = -4*u + 54. Let p = -20 - v. Suppose -n - 5*a = -5*n + p, a = -4*n + 10. Solve 0 = -n*g - 6 + 3 for g.
-1
Let z = 125 + -110. Let q = 6 + -4. Suppose q*c + 2*c = 0. Solve c*j + 5*j - z = 0 for j.
3
Suppose 31*s - 650 + 92 = 0. Solve 24*z - 30 = s*z for z.
5
Let m(r) = 2*r**2 - 18*r + 43. Let q be m(5). Solve -w + q = 1 for w.
2
Let b = 426 + -425. Suppose -3*a = 5*y - 37, -2*y = 2*y + 2*a - 28. Solve -y*t - b = 4 for t.
-1
Let w(r) = 8*r + 2*r**3 + 13*r**2 - r**2 - 9*r + 4. Let i be w(-6). Solve -2*m + 0*m = -i for m.
5
Suppose -z - 2 = -7. Let d(b) = 3*b - 10. Let c be d(z). Solve -h + c = 3 for h.
2
Suppose 2*h = -0*h + 6. Let m = -5 + 6. Let f be -7*(-1)/(0 + m). Solve -f = h*i - 4 for i.
-1
Let h(q) = 3*q - 13. Let s(j) = 10*j - 40. Let i(p) = -7*h(p) + 2*s(p). Let l be i(8). Let m be 4/(-6) - 26/(-3). Solve -m*g - 15 = -l*g for g.
-3
Let i = 77 + -50. Let d = i + -26. Let s = -44 + 65. Solve s = 5*c + d for c.
4
Let u(j) = 2*j**3 - 11*j**2 + 10*j - 92. Let b be u(6). Solve -3 = 3*d - b*d for d.
3
Let b(k) = -8 - 25*k - 4 + k**2 - 3 - 7. Let x be b(26). Solve -3*f + x*f = 0 for f.
0
Let b(f) = -3*f**2 + 24*f + 6. Let x be b(8). Solve 2*q - 5*q + x = 0 for q.
2
Let g = 257 - 248. Solve 4*o + 5 = g*o for o.
1
Let v(d) = d**3 - 9*d**2 + 34*d - 208. Let x be v(8). Solve -12*a + a + 33 = x for a.
3
Suppose -2*b - 1 = -k, 5*b = -3*k - 1 + 4. Suppose 5*u + 3*i = -3, b*i + 3 = -3*u - 3*i. Solve u*d - d = 5 for d.
-5
Suppose 4 = -k + 13. Let o = -5 + k. Suppose o*z = 3*z. Solve 3*n + 12 = -z*n for n.
-4
Let i be (1 - 8) + (-40)/(-8). Let w be ((-1)/i)/((9/8)/9). Solve -w*y + 0*y = -8 for y.
2
Suppose 4*b = j + 10, -5*b + 6 = 4*j - 2*j. Let n = 3 + j. Let d be (5/15)/(n/6). Solve -d*c = 2*c - 20 for c.
5
Let f(i) = i + 15 - 7*i + 5*i. Let t be f(12). Solve 1 = -t*l + 13 for l.
4
Suppose -h + 5 = -q, 0 = 4*h - 3*h + q + 1. Solve 0 = -h*b + 9*b + 28 for b.
-4
Suppose 26 = 8*y - 14. Solve 29 = -y*k + 4 for k.
-5
Let w = 84 + -81. Let q be (-4 - 1/2*-8) + w. Solve -q*y = 2*y - 5 for y.
1
Let y = 591 + -590. Solve -3 = 4*j + y for j.
-1
Let i(p) = -p + 21. Let x(m) = m**2 + 3*m - 5. Let n be x(-6). Let d be i(n). Let w = 10 - d. Solve 5*q + 15 = w*q for q.
-5
Let z be (-1)/(-1) - ((-140)/(-1))/(-7). Solve 0 = -18*j + z*j for j.
0
Let y(k) be the third derivative of -13*k**6/120 - k**5/60 + k**4/12 + k**3/3 - 10*k**2. Let t be y(-1). Solve -2*h + 5*h - t = 0 for h.
4
Suppose 0 = -d - 2, -4*d + 54 = 2*f - 4. Suppose 4*m - 5*u = f, -m + 4*m = 2*u + 16. Let o = 1 + m. Solve 7 = 5*r - o for r.
2
Suppose 4*a = -8*a + 24. Suppose 4*n - 30 = -5*w, w + 6 = a*n - 2. Solve n*p = 2*p + 9 for p.
3
Let b be -2 - (-2 + 5 - 5). Suppose b = 3*d + 2*q - 5, -3*d - 3*q - 3 = -2*d. Suppose 0 = 5*v - 0*v - 40. Solve k - v = -d*k for k.
2
Let c(w) = 5*w**2 + 4*w + 3. Suppose -2*f - 103 = 17. Let t be f/15*1/2. Let v be c(t). Solve s - v = -4*s for s.
3
Let m(t) be the third derivative of -t**4/24 - t**3 - t**2. Let l be m(-10). Suppose -2 = -5*r + l*y + 7, 5*r = -2*y + 33. Solve -q = -r*q for q.
0
Suppose 10 = 2*l, -5*r + 0*l + 4*l - 15 = 0. Let u be 0 + 1 + (17 - 7)/r. Solve -u = 4*t - 7 for t.
-1
Suppose -74*f + 104 = -22*f. Solve -11 = -f*q - 13 for q.
-1
Suppose -3*n - 2*w = -8, 2*n - 10 = -2*n - 3*w. Suppose -1 = n*a - 3*s, 0 = -4*a + 2*s + 5 - 3. Solve a + 0 = 2*p for p.
1
Let o = 8 + 0. Let p = o - 7. Solve 2*x = -5 + p for x.
-2
Let y be -2*3/2 + 9 + -1. Solve y*h - 9 - 11 = 0 for h.
4
Let l = 17 - 17. Suppose -j + 4*v = -20, l*v = 2*j + 2*v. Suppose 3*w = j*r + 9, 5*r + 4*w = w + 9. Solve 5*d - 4*d - 1 = r for d.
1
Let a(k) = 2*k**3 - 42*k**2 - 45*k + 22. Let d be a(22). Solve -3*g = -d*g - 15 for g.
5
Let l = 35 - 30. Suppose 3*c + 0 - 3 = -l*b, 0 = 2*c + b + 5. Let w be (5 + c)/(1/2). Solve -w*u = -5 - 3 for u.
4
Let x(w) = w - 2. Let b be x(7). Suppose -3*s - 21 = 3*j - 6, -25 = -j + b*s. Solve 6 = -3*k - j for k.
-2
Suppose 0 = -5*b + s + 23, 7*b + 3*s - 21 = 4*b. Solve 16 = b*f - 4 for f.
4
Let l(s) = s + 2. Let v be l(2). Suppose 7*d - 35 = -0*d. Suppose 69 = -2*h + d*h. Solve v*o + 7 - h = 0 for o.
4
Suppose 73*x + 4*g = 71*x + 158, -3*x + 2*g + 213 = 0. Solve -5*j - 58 = -x for j.
3
Suppose 42 - 18 = 2*j. Suppose -9*b = 33*b + b. Solve b*t + 4*t = j for t.
3
Let q(y) = y + 8. Let u be q(-9). Let k(o) = o**2. Let j be k(2). Let b = j - u. Solve 1 = -b*i - 14 for i.
-3
Let z = -842 - -847. Solve 3*m - z = 4 for m.
3
Suppose -13*s + 18*s + 1155 = 0. Let k be 66/14 - 66/s. Solve k*c + 19 = 4 for c.
-3
Suppose -3*y = -2*x - 38, -2*y + 0*y + 52 = 4*x. Solve -4*b - 8 = -y for b.
2
Suppose -3*k - 6 = 2*m, 4*m = -4*k - 2 - 2. Solve m = 3*v - 6 for v.
3
Suppose -b + 18 = 3*r, 2*b + 6 = r - 0. Let n(o) = -o + o + 4*o - r + o. Let w be n(2). Solve 0 = -y - y + w for y.
2
Let z(y) = -y**2 - 14*y - 17. Let h be z(-13). Let a = h - -4. Suppose 5*n + 4*o = a, -5*o = 4*n - 3*n. Solve 3*b - 17 + 2 = n for b.
5
Suppose 26*m + 93 = 57*m. Solve -m*g = -8*g - 25 for g.
-5
Let a(i) = -i**2 + 3*i + 4. Let r be a(3). Suppose 3*c - l + 24 = -4*l, -2*c + l = 31. Let b = 29 + c. Solve b = 4*k + r for k.
3
Suppose -2*t - 23 = c + 3*t, 5*t + 25 = 0. Suppose -c = 2*r - 38. Let o be (r/45)/((-1)/(-25)). Solve -3*p = 2*p + o for p.
-2
Suppose -32*h + 1316 = -4*h. Solve 52*i - 5 = h*i for i.
1
Let c(u) be the third derivative of -2*u**5/15 + u**2. Let r be c(-1). Let v be (-34)/r + 6/(-24). Solve 0*t = -v*t for t.
0
Let p = 7 + -1. Suppose 8 = -5*h + p*h. Suppose 4 = h*w - 7*w. Solve 4*l - 12 - w = 0 for l.
4
Let n(f) be the second derivative of f**4/12 + f**3/6 - f**2 - 7*f. Let w be n(1). Solve -4*k + 3 + 9 = w for k.
3
Let l = 5 + -4. Suppose 0 = -2*u - l + 41. Solve 0*t + u = 4*t for t.
5
Let m(k) = -k**3 - 2*k**2 + 8*k - 1. Let p be m(-4). Let n = p - -6. Suppose 2*b = -n*g + 39, -g - 2*b + 18 = g. Solve 3*v - g - 8 = 0 for v.
5
Suppose 1 + 3 = -4*n. Let z = 4 + n. Suppose 5*g - m = 10, -g + z*m - 6 = -4*g. Solve -g*q + 1 + 1 = 0 for q.
1
Let x be (5/(-2))/(2/12). Let d(k) = -5*k**3 - 25*k**2 + 2*k - 5. Let m be d(-5). Let i = m - x. Solve -3*w + 6*w - 3 = i for w.
1
Suppose 8*b + 3*w - 166 = 3*b, -5*b + 154 = -3*w. Solve 2*m = -24 + b f