17. Solve 0 = -5*t + 11 + a for t.
4
Let a be 4/3*(-6)/(-4). Suppose 0 = -6*o + 3*o + 30. Suppose -2*x - 5*y + o = 3*x, -y - 3 = 0. Solve -a + x = q for q.
3
Suppose j - 5*s = 22, 0*s + 4*s + 8 = -4*j. Suppose 2*u - 52 = 2*k - 5*k, -24 = -j*k + 4*u. Solve n + k = 5*n for n.
4
Suppose 0 = -7*r + 2*r + 25. Solve r + 0 = -z for z.
-5
Suppose -4*p - z = 130, 2*p - p + 34 = -z. Let k = p - -56. Suppose -5*y - k = -2*x - 61, 4*x + 11 = y. Solve 3*t + 8 = y*t for t.
2
Suppose -6 + 0 = 3*m. Let g be (m + 3)/((-1)/(-5)). Suppose -p + g = -2. Solve p*s = 2*s for s.
0
Suppose 4*q + 3 = 19. Solve 5*n + q = -16 for n.
-4
Let f(h) = 3*h**2 - h + 1. Let v be f(1). Suppose n = 0, 2*d - n - v*n = 4. Solve -d*j - 1 - 7 = 0 for j.
-4
Let t = -17 + 21. Let y be -1 + 0 - (0 + 0). Let b be t - ((-1 - y) + 0). Solve -m = 2 - b for m.
2
Let p(f) = 17*f**2 + 2. Let l be p(-2). Suppose 3*d = -28 + l. Suppose 5*x = 5, 4*r - d + 0 = 2*x. Solve r = g + g for g.
2
Let n = 40 + -37. Solve -n*h + 15 = 2*h for h.
3
Suppose v - k + 5 = 2, -k - 1 = -3*v. Solve -1 = v*u + 5 for u.
-3
Suppose -30 + 15 = -5*k. Solve 4*h + k = -17 for h.
-5
Suppose -4*q + 5 = -3. Let u(f) = f + 1. Let r be u(-1). Suppose -3*c + d + 14 = -2, 4*d + 16 = r. Solve 3*k = q*k + c for k.
4
Let v be (-3)/(-21) + 5/(-35). Suppose 0 = -0*y - y + 4. Let g(c) = c**3 - 4*c**2. Let q be g(4). Solve q = -v*l - y*l for l.
0
Let f = 2 + 54. Let h be (2/(-4))/((-7)/f). Suppose h*r = 3 + 9. Solve 0 - 3 = r*t for t.
-1
Suppose 0 = 10*c - 15*c + 15. Solve a + 0*a = -c for a.
-3
Let k = -30 - -30. Solve p + k = -3 for p.
-3
Let w be 10 - (2 + 1 - 1). Suppose 0 = 3*r - 5*b + 2*b, 0 = -b + 3. Solve -r*y = -4 - w for y.
4
Suppose -2*b + 2*j = -7 + 3, 4*b - 29 = -3*j. Let w be b*(16/5)/4. Let m be (-8)/4*(-10)/w. Solve -12 = m*s + 8 for s.
-4
Let d = -17 + 23. Suppose -4 = 4*c - d*c. Solve w - c + 5 = 0 for w.
-3
Suppose -3*c + 9*z = 4*z + 1, 0 = c + 4*z - 11. Solve -c*b = -6*b + 6 for b.
2
Let i be 18*-3*(-2)/18. Let d be i/18 - (-2)/(-6). Solve d*k + 2*k = -10 for k.
-5
Suppose 0 = 5*b + 3*x - 23, 3*b - x = 12 + 13. Let j = b - 5. Let k = 33 - 29. Solve -j*u - 6 = k for u.
-5
Let r be ((-2)/4)/(3/6). Let k be (0 - r) + (7 - 2). Suppose -2 = 2*c - k. Solve 0*s = c*s - 2 for s.
1
Let h(k) = 15*k**2 - k + 1. Let s be h(1). Suppose -3*m + s = 2*m. Suppose 0 = m*v + v. Solve v = t - 2*t for t.
0
Let i(k) be the third derivative of -k**5/20 + k**4/12 - k**3/6 - 2*k**2. Let n be i(1). Let w be ((-3)/n)/(6/8). Solve 0 = -7*o + w*o + 15 for o.
3
Let g(z) = -z + 10. Let f be g(7). Suppose -2*y = -3*y + 2*x + 10, -4*y + 18 = f*x. Solve -2*l - 4 = y for l.
-5
Let l(d) = -d - 3. Let b be l(-6). Suppose -b*h + 4*y + 5 = 0, -2*h + 9 = 2*y + y. Solve -h*s + 1 = 16 for s.
-5
Suppose -7*g = -2*g - 5. Let t be 6 + -3 - -2*g. Suppose -a - a - j - 1 = 0, 2*a - t*j - 29 = 0. Solve 0 = 4*n - 3*n + a for n.
-2
Let f be (-4 + (-7)/(-2))/(1/(-8)). Solve 0*b = -2*b - f for b.
-2
Let h be 3/15 + (-144)/20. Let i = 9 + h. Solve i*u + 8 = -2 for u.
-5
Let r(y) = 15*y**3 - y + 1. Let f be r(1). Solve -p - f = -6*p for p.
3
Suppose -2*g - 212 = -224. Solve -g + 8 = -q for q.
-2
Let j(u) = 3*u - 1. Let k be j(3). Suppose 2*b = b - k. Let n be (-2)/b - 28/(-16). Solve a + n = 1 for a.
-1
Let o(i) be the third derivative of -i**5/60 + 5*i**4/24 - i**3/6 - 4*i**2. Let p be o(4). Solve 4*w - p*w + 5 = 0 for w.
-5
Let b(o) = o + 12. Let x be b(-6). Let j be (-2)/6 + 14/x. Let l be (4/2 - j)/3. Solve 4 + l = -4*m for m.
-1
Let u = -92 - -95. Solve 11 = -u*n - 4 for n.
-5
Let c(p) = -p**2 + 2*p + 7. Let u be c(0). Let f be (-3 - -2)/(2/(-14)). Suppose -y - f*j + 2 = -5*j, 0 = 5*y - j - 21. Solve 0 = y*i - u - 1 for i.
2
Let g = -1 + 1. Let u = -6 - -6. Solve u*y + y = g for y.
0
Let c be 5*-1 - 0/(-4). Let r be ((-2)/c)/(2/20). Suppose 0 = r*y - 30 - 2. Solve i - y = -3*i for i.
2
Let d be 1/4 + 332/16. Suppose d*s - 20*s - 4 = 0. Solve -y + s - 1 = 0 for y.
3
Let c(k) = k**2 + 5*k + 6. Let g be c(-6). Let l = 12 + -10. Solve -l*o = o - g for o.
4
Let j(t) = -t + 10. Let p = 3 - 1. Let m be p - -3 - (0 + -2). Let l be j(m). Solve 9 + 6 = l*a for a.
5
Let r = -8 - -11. Let u(v) = -3*v**2 + 7*v + 4. Let a(t) = -5*t**2 + 14*t + 7. Let w(g) = 4*a(g) - 7*u(g). Let b be w(-7). Solve b*f - 3 = -r*f for f.
1
Suppose 0 = 6*u - 4*u - 44. Let g be 419/(-5) - (-8)/(-40). Let b be (3/2)/((-18)/g). Solve -u + b = -3*x for x.
5
Suppose -3*c + 10 - 8 = 2*q, -5*q = -4*c + 18. Solve 0 = -c*o + 7*o for o.
0
Let t be (-160)/(-28) + 4/14. Solve 0 = -2*h - 0*h - t for h.
-3
Let g(l) = l**2 - 2*l. Let i be g(2). Suppose -23 = -4*k + 5*m, 3*k - m = -i*k + 9. Solve -3*q - 2 = -k*q for q.
-2
Let u(l) be the first derivative of -l**3/3 + 4*l**2 + 2. Let p be u(8). Solve 0 = -p*a + 5*a - 10 for a.
2
Suppose 0 = -8*h + 2*h + 36. Suppose y - 4*p - h = -p, 0 = 4*y + 3*p - 54. Solve 0*w - y = 3*w for w.
-4
Suppose 2*f = s + 70, -5*f + 137 = 2*s - 56. Suppose 2*x = -x + 48. Let n = -4 + x. Solve f = 5*b + n for b.
5
Suppose -p = -0*p - 4*m + 13, -3*m + 12 = 0. Solve 4 = p*f + f for f.
1
Let p(s) = 2*s**3 - 12*s**2 + 1. Let l be p(6). Solve -3*j = -2*j - l for j.
1
Suppose 2*j + 2*j = 8. Suppose 8*a - 3*a = -10. Let p be (1 + -3)/a*0. Solve -j*u - 6 + 14 = p for u.
4
Suppose 4*p - 2*k = -0*k + 16, -3*p = 3*k - 3. Suppose 8*x - p*x = -20. Let f = x + 6. Solve -f*h - 6 - 4 = 0 for h.
-5
Suppose 0 = -k - 4*k. Suppose 5*j = -k*j. Solve j*t + 8 = 4*t for t.
2
Let d = -125 - -128. Suppose -3*x - w + 3 = 0, -x - 2*x - 15 = -5*w. Solve x = -d*u + u for u.
0
Let d be 27/(-6)*90/(-27). Solve -5*p = d + 5 for p.
-4
Suppose 4*k - z = 1, k - 2*k = 4*z + 4. Suppose k = -3*f + 5*w + 6, 5*f - w + 4*w - 10 = 0. Solve -f*g - 3 = -1 for g.
-1
Let h be 2 + 4/2 + -9 + 7. Solve -h*j + 3 = 9 for j.
-3
Suppose -2*d - 2*m = -12, m - 10 = -0*d - 2*d. Suppose -3*k = -d*k. Solve k = 3*h - 2*h + 5 for h.
-5
Let j = -183 + 187. Solve 0 = -j*u + 5*u + 3 for u.
-3
Let o be 4/10 - 164/10. Let t = o + 17. Solve -t = n + 3 for n.
-4
Let i be (2/5)/((-2)/(-10)). Suppose i*s = s. Solve 2*l + s*l = -8 for l.
-4
Suppose -5*z = 4*c, 3*c = 2*z + 4*c. Solve 0 = -2*u - z*u - 2 for u.
-1
Suppose -4*z + 289 = -83. Suppose 0 = m + m - 2*g + 54, -3*m = 3*g + z. Let h = -17 - m. Solve -h = 2*o + o for o.
-4
Suppose -3*i + 5 = -i + w, 2*i - 2 = -4*w. Suppose -i*s + 4*s - 3 = 0. Solve -1 = s*t - 4 for t.
1
Suppose -8*a + 18 = -b - 3*a, -3*b - 10 = -4*a. Let g be 0/(-7)*1/(-1). Let r = 3 - g. Solve -b*x = -r - 3 for x.
3
Let l(m) = m. Let j be l(3). Let d = 5 - j. Solve 0 = -d*b - 3*b for b.
0
Let n(x) = x**2 - 2*x - 4. Let d be n(-4). Suppose 6*o = 4*o + d. Solve -y + o = -6*y for y.
-2
Let c = 1 + 1. Let g be (c + 4*1)/2. Suppose 32 = 4*y - 5*o, y - 14 = 3*o - 6. Solve 0 = -f - g*f + y for f.
2
Let a = 13 + -7. Let v be 2/(-4)*(7 - 9). Let c be v/2*0 - -3. Solve 9 = c*b - a*b for b.
-3
Let q(o) = -o**3 - 5*o**2 - 5*o - 2. Let z be q(-4). Suppose 0 = z*a - a. Solve 6*l - l - 5 = a for l.
1
Let i = 5 - 10. Let w be (4 + i)*0*1. Solve w*u - u = 5 for u.
-5
Let w(f) be the first derivative of -f**4/4 - 5*f**3/3 - f**2/2 - f + 7. Let g be w(-5). Solve -20 = 4*m - g for m.
-4
Suppose 5*w - 20 = -5*p, 0 = -0*p - p - 4*w + 16. Solve 0 = -p*c + 4*c + 16 for c.
-4
Suppose 3*k - 40 = -2*k. Let w be k/3*3/2. Let t be (-2 + 0)/(4/(-10)). Solve p + w*p = -t for p.
-1
Let s(u) = -u**2 + 12*u - 7. Let t be s(11). Solve 6 = -t*d - 6 for d.
-3
Suppose 3*j - y + 10 = -2*y, 0 = -4*j - 3*y - 15. Let r(k) = 2*k**2 + 4*k - 1. Let l be r(j). Let u(d) = 4*d - 44. Let w be u(11). Solve x + w - l = 0 for x.
5
Let m = 73 - 67. Solve 0 = -0*i - 2*i + m for i.
3
Let m(d) = d**2 - 8*d + 9. Let c be m(7). Solve c*n + 0*n = -2 for n.
-1
Let r(a) = a + 9. Let t be r(-5). Let g(h) = h + 3. Let q be g(-2). Solve t - q = -i for i.
-3
Let n(y) = -y**2 - 12*y + 9. Let s be n(-12). Let c = -4 + s. Solve -c*g - 15 = 10 for g.
-5
Suppose -4*f + 42 = b, 2*b + 0*f - 34 = 2*f. Let k = b + -12. Let t be 27/5 - 4/10. Solve -3*d + t = -k for d.
5
Let u be 2 - 4 - (-4)/(-2). Let b = u - -5. Solve 2*x + b = 3 for x.
1
Let r = -6 + 10. Solve -r*g + g = -12 for g.
4
Let f be (15/(-6))/((-1)/6). Let m(d) = -d. Suppose 0*t + t + 2 = 0. Let z be m(t). Solve k = -z*k + f for k.
5
Let f(j) be 