 4*y - 5*n - 11 = 0. Suppose 2*k - 24 = -k. Let m be (0/k)/((-2)/y). Solve 3*z + 11 - 2 = m for z.
-3
Suppose 4*u = -5*g - 20, -2*u - 5*g + 11 = 31. Suppose u = -5*i + 6*i. Solve -l + i*l = -3 for l.
3
Let a = 67 + -63. Suppose a*f = -3*i + 33, f + 2*i = 5*i + 12. Solve 0 = -3*d - f - 6 for d.
-5
Let w = 14 - 6. Suppose 0 = -5*x + 20, 0 = -4*k + 3*x + 44 - w. Let p(t) = -t + 17. Let l be p(k). Solve l*c - 12 = 2*c for c.
4
Let g be (-5)/30 + (-1273)/(-114). Solve 17 = 2*o + g for o.
3
Suppose -5*f + 3*b = -30, -4*b + 0*b - 20 = 0. Suppose -3*p = -3*h - 12, 0*h + 12 = 5*p - h. Let c be p/(-9) - (-119)/9. Solve -f*r + c = -2 for r.
5
Suppose -17*c - 261 + 669 = 0. Solve 9*v - 3*v = -c for v.
-4
Let r = 7 - 4. Let g(z) be the third derivative of -z**6/120 + 7*z**5/60 + 11*z**4/24 - 2*z**3 - z**2. Let d be g(8). Solve c - d = -r*c for c.
3
Suppose -5*k - 4*w + 295 = 0, -236 = -3*k - k - 3*w. Suppose 5*z = -4 + k. Suppose -46 + 4 = -3*j. Solve j = 5*b - z for b.
5
Let t(b) = -b**2 - 26*b + 56. Let k be t(-28). Suppose 0 = 5*w - k*w + 5*c - 55, 4*w = -5*c + 43. Solve -2*s - w = s for s.
-4
Let c = -706 - -951. Solve -6 = 247*k - c*k for k.
-3
Suppose u = -4*b - 4, 3*b = -2*b - 3*u - 12. Let s(h) = -h**3 - 5*h**2 - 8*h - 9. Let d be s(-4). Let q = d + 3. Solve b - q = 5*w for w.
-2
Suppose -28*m + 69*m = 6150. Solve 2*t = -m + 146 for t.
-2
Suppose -3*l - 24 = -m, 2*m - 2*l - 9 - 19 = 0. Suppose 4*p - 2*p + 3*v = -m, -9 = 3*v. Solve 5*w = -p*w for w.
0
Let u(o) = -8*o - 145*o**2 + 75*o**2 - 10 + 72*o**2. Let g be u(5). Solve 3*i + 3*i = g for i.
0
Let d = -84 - -91. Let n be 1 + -4 + (d - 0). Solve 4*w + 24 = n for w.
-5
Let g be 1 - 0/(-4) - (-7)/1. Suppose 0 = m + g*m. Solve m = 3*x + 6 for x.
-2
Suppose 0 = -a - 2*d + 8 - 2, 4*d = -4*a + 12. Suppose -x = -2*q + 1, -2*x - 5*q + 8 = 1. Solve a = 2*u - x + 7 for u.
-3
Let i(h) = -h**2 + 6*h - 6. Let k be i(4). Suppose 3*j + j + 3*y - 15 = 0, -k*y = 2*j - 10. Let w = 1569 + -1559. Solve j = 5*x - 10 - w for x.
4
Let u be ((-630)/(-294))/((-4)/(-28)). Solve -u = -14*t + 11*t for t.
5
Suppose 0 = -3*p + 5*p - 10. Let q = -1921 + 1934. Solve 0 = p*y - q - 7 for y.
4
Let m = 9 - 4. Let v = m - 3. Suppose 2*k + 5*k - 28 = 0. Solve v - 10 = -k*d for d.
2
Suppose 0*x = -5*x + 10. Suppose 0 = -2*k - 7 + 9. Let h = k + x. Solve -i = -h*i + 6 for i.
3
Let g(n) = -n + 13. Let d be g(13). Suppose -2*q - 2*x = -6 - 0, -4*q - 2*x + 22 = d. Solve 2*s = -2*s + q for s.
2
Let m be (-3 + 4)*6/(-2). Suppose z + 4 = a, -2*z - 10 = 3*z - 3*a. Let f = z - m. Solve -i - f = i for i.
-2
Suppose 15*w - 49 = 14*w. Let o = w - 44. Solve -o = -2*f + 3 for f.
4
Suppose 0 = -2*x + 5*o - 5, 5*x + 3*o - 26 = 39. Suppose 3*y - 10 = -2*b + 5, x = -5*b + 2*y. Solve -2*j + 1 - 7 = b for j.
-3
Let r = -189 + 193. Solve 36 + r = 8*f for f.
5
Let l be (-5)/10 + -10*(-2)/8. Let s = 5 - -6. Let r = 8 + -5. Solve l = -r*p + s for p.
3
Let q = 1 + -5. Let x be (-2)/q - (-36)/24. Suppose -9 + 1 = -x*n. Solve n*a + 0*a = 0 for a.
0
Suppose 0 = -32*o + 3*o + 29. Solve 7 + o = -4*n for n.
-2
Let x be 244/30 - 46/345. Solve 3*k - 5*k - x = 0 for k.
-4
Let p = 24 - 2. Suppose -p = -3*x - 10. Solve j = -x*j for j.
0
Suppose -3*b = -q + 3, -q + 2*q - 3 = -4*b. Suppose 4*m + b - 12 = 0, -25 = -2*f + 5*m. Suppose 4*k - f = d, -2*k + k + 5*d = -5. Solve 6*s = k*s + 3 for s.
3
Let q = -261 - -265. Solve -3 = q*j - j for j.
-1
Let k be (-3)/(-6)*-2 + -4. Let s = -1 + k. Let i be s/(-9) + 26/6. Solve 2 = -n + i for n.
3
Let i(p) be the third derivative of 0 + 1/2*p**3 + 0*p + 2*p**2 + 1/60*p**5 - 5/12*p**4. Let l be i(10). Solve 2*z = -l*z for z.
0
Suppose -4 = -z + 17*m - 15*m, 3*z = 5*m + 16. Solve 0 = -k - 3*k + z for k.
3
Let l(b) = -7*b**2. Let k be l(-1). Let y = k + 15. Let a = -4 + y. Solve a - 5 = -w for w.
1
Suppose -1 - 9 = -10*c. Suppose -3*i = 4*b - c + 2, 5*b + 15 = -i. Solve -i*u = -4*u - 1 for u.
1
Let u(m) = m**2 - 5*m + 4. Let n be u(5). Let c = n - -1. Solve -3*i + c = -10 for i.
5
Let x = -19 + 42. Let f = 30 - x. Solve -1 + f = -3*q for q.
-2
Suppose -16 = -14*a + 12*a - 2*q, -2*q + 6 = 0. Solve -2*x + 7 = a*x for x.
1
Suppose 0 = 4*n - 28. Let h(f) = f**2 + 4. Let z be h(3). Solve -z = 4*b + n for b.
-5
Let r be ((-14)/21)/(4 - (-310)/(-75)). Solve -n - r = -1 for n.
-4
Suppose 3*y - 15*y = -384. Solve -y = -8*i - 0 for i.
4
Suppose 352 = 81*h - 37*h. Solve 0 = h*n - 5 - 11 for n.
2
Suppose 7*j = -7 + 42. Solve -4*s + j + 11 = 0 for s.
4
Suppose 0 = 5*i - 5*f, i - 3*f = 2*f + 20. Let t(u) = u**2 + 6*u + 9. Let g be t(i). Solve 10 = -g*m - m for m.
-2
Suppose -p - 8 = 5*h, 6*p - 5*p = h + 4. Suppose -3*o + 7 = -5*n, 0*n = p*o + n - 9. Solve -o = -q - 3*q for q.
1
Let j be (-70)/(6 - -1) + 7 - -7. Solve 39 = -j*z + 27 for z.
-3
Let n(q) = 15*q + 23. Let r(f) = -16*f - 22. Let t(b) = 5*n(b) + 6*r(b). Let c be t(-2). Suppose h + 2*h = 18. Solve h*v - v = -c for v.
-5
Let p = 440 - 433. Solve 0 = -6*b - b + p for b.
1
Let k(b) = -b**3 - 9*b**2 - 21*b - 11. Let q be k(-5). Let s be (-1)/(6/(540/q)). Solve -s = 4*d + 1 for d.
-4
Let l be (-6)/(-3 + 4)*2/4. Let f be 1/((9/2 - 1) + l). Solve f = 3*u + 5 for u.
-1
Let u be -5*(-612)/(-72)*(-2)/5. Solve u*y = 13*y + 8 for y.
2
Suppose -5*v + i + 47 = 3*i, 0 = -3*i + 3. Solve 5*u = -11 - v for u.
-4
Let p = -5 + 11. Suppose 3*f = -0*f + p. Solve -5*r = -f*r for r.
0
Suppose -g = -2*g + 5. Suppose g*z - 3*i = 18 + 23, -59 = -5*z - 3*i. Let s be 3/15 + 98/z. Solve s = -2*p - 0 for p.
-5
Let p = 19 - 16. Suppose -12 = p*m - 0*m. Let h be ((-7)/(-2) + m)*-6. Solve -i - h = -8 for i.
5
Suppose 7*u - 15 = 2*u. Suppose -d + 3*l - 11 = 0, -2*l + 13 = -3*d + 8*d. Solve 5 + d = u*x for x.
2
Suppose 3*a = 4*z + 135, -2*a = -5*z - 6*a - 130. Let u be (2 - (-20)/3)/((-20)/z). Solve 4*c = -3 - u for c.
-4
Let a be -12 + 15 + (1 - 2*-1). Let b(z) = -z**2 + 6*z + 3. Let u be b(a). Suppose -c = -6 + 4. Solve y = u + c for y.
5
Let y(r) = 7*r - 1. Let o be y(-2). Let d be (-10)/o - (-4)/3. Suppose d*z = -3*z. Solve z = -2*v + v for v.
0
Let q(h) = -h - 1. Let m be q(-3). Suppose -p = -5*b + 361, b - 89 = -0*p - 4*p. Let o = 73 - b. Solve o*r = m*r for r.
0
Let u = -7 - -14. Suppose 0 = -u*w + 15 - 8. Solve 0 = i - 3 - w for i.
4
Let r(g) = 13*g - 21. Suppose 11 - 5 = 3*s. Let i be r(s). Solve i*c = -15 - 10 for c.
-5
Let t = -372 - -379. Solve -11*z = -t*z - 20 for z.
5
Let n(w) = -5*w - 5. Let z be n(-2). Suppose 3*l = -5*x - 1, 3*x - 4*l + 2 - 13 = 0. Solve -4*y = x - z for y.
1
Let f be ((-66)/18 - (2 - 6))*0. Solve f = -13*v + 18*v - 10 for v.
2
Let a be 2 - 0 - (0 - 1). Let n be a*(2*-1)/(-2). Let c = -34599 - -34599. Solve c*w - n*w = 3 for w.
-1
Let k(h) = -h**3 - h**2 + 4*h. Let z be k(-4). Let y be (-3)/2*z/(-24). Solve 2 = -y*v + 4*v for v.
1
Let m be 8/3*(-816)/(-64). Let n be m/(-1) + -3 + 1. Let z be ((-12)/(-14))/(n/(-168)). Solve -3*u = u - z for u.
1
Let c = 57 - 54. Let p be (c - (-4 + 5)) + 1. Solve p*l - 8 - 4 = 0 for l.
4
Let i(p) = -2*p**2 + 20*p - 8. Let q be i(7). Suppose 3*o + 63 = 3*t, 5*t - 159 = -5*o - q. Solve 0 = -5*a + t - 8 for a.
3
Suppose -46 - 56 = -34*v. Solve v*s + 0*s = -s for s.
0
Let n = 134 + -158. Let u = n + 26. Solve u*l = -l + 3 for l.
1
Suppose 8*c = 3*c - 55. Let z = -7 - c. Let k = 7 - 7. Solve k = z*r + 4 - 0 for r.
-1
Let k(d) = -d**2 + 3*d + 2. Suppose 0*y - 2*y + 5*a - 20 = 0, -2*y + 3*a - 12 = 0. Suppose 0 = -3*u - y*u + 9. Let c be k(u). Solve -z - c = -3*z for z.
1
Let r(d) = -4*d**3 + 12*d**2 - 2*d + 6. Let o be r(3). Solve o = 12*f - 47 + 11 for f.
3
Let m = -10 - -36. Let u = m + -15. Solve -1 + u = 5*y for y.
2
Suppose -h = -2*h + 31. Suppose 3*v - 2*s = 9, -v - 10*s + 20 = -5*s. Solve -v*d - 6 = -h for d.
5
Suppose -5*j + 3*i = -6, -4*j - 19*i + 4 = -21*i. Solve 0*s + 6*s - 6 = j for s.
1
Let r be (-35)/(-10) - (-3)/(-6). Solve -r - 2 = -5*k for k.
1
Let t be (-10)/(-4)*(-270)/(-75). Suppose 0 = -3*n + t, -4*q + 5*n = -2 + 1. Solve 0 = -3*a - q - 2 for a.
-2
Let b be (-4)/14 + 111/21. Suppose b*v = v - 5*r + 22, 5 = -v + 4*r. Solve 10 = -2*p - v*p for p.
-2
Let r be (-3)/(((-108)/8)/9). Suppose 0 = 4*d - 0*d + 4*y + 20, r*y = d - 10. Solve d = b - 5*b - 16 for b.
-4
Let i be 15 + 1*(1 + -1). Suppose i*y = 10*y + 25. Let a(t) = t**2 - 4*t - 4. Let q be 