= -7*t + 14. Let m(o) = -6*o + 14. Let d(h) = 6*m(h) - 5*u(h). Let c be d(10). Solve c = x*k + k for k.
1
Let u = 88 - 87. Let a be (-5)/((-1)/1) - u. Solve c = a*c for c.
0
Suppose -v - 28*j = -25*j - 21, -2*j - 2 = 0. Solve -5*y + v = 29 for y.
-1
Suppose g + 3*g = 0. Let a = 34 - 34. Let l(o) = o**3 - o**2 + 4. Let d be l(a). Solve 8 = -d*v - g*v for v.
-2
Let g = 40 - 23. Let x = -10 + g. Let u be 6/21 - (-12)/x. Solve 5*p - u*p = -15 for p.
-5
Let u be ((-60)/80)/(2/8). Let z = u + 8. Suppose 0 = -z*m - 2*a + 2, -5*a + 4*a = -5*m - 1. Solve m*q + 3*q = 0 for q.
0
Let t = 195 - 190. Solve -t*y - 10 = -0 for y.
-2
Suppose -6*r = -18*r - 60. Let b be (7/r - -3) + 4/10. Solve 6 = -b*m - m for m.
-2
Let w = 33 - 30. Suppose 0 = w*o - 2*b - 2*b - 21, 5*o - 3*b = 24. Solve 4*c + 5 = -o for c.
-2
Let k(h) = -h + 2. Let w = 105 + -103. Let s be k(w). Solve -y + 5*y + 20 = s for y.
-5
Suppose 5*j = j - 3*j. Let f be (j + -1 + 1)/(-61 - -60). Suppose -4 - 2 = -3*n. Solve 0 = -2*q - f*q + n for q.
1
Let u(i) be the third derivative of -i**6/120 + 3*i**5/20 + i**4/24 - 2*i**3/3 + 8*i**2. Let s be u(9). Solve -2*d = -1 + s for d.
-2
Let d(j) = -j**2 + 9*j - 9. Let w be 7 + 1*(0/3)/1. Let t be d(w). Solve 0 = k - t + 10 for k.
-5
Let w(l) = 4*l - 14. Suppose -v = 2*i - 14, i + 3 = -3*v + 4*i. Let h be w(v). Solve h*j - 3 + 1 = 0 for j.
1
Suppose -5*f + f + 276 = 0. Let d = f + -67. Solve 0 = -d*n + n - 5 for n.
-5
Suppose 12*f = -21*f. Solve f = -9*b - 2 + 11 for b.
1
Let m be ((-136)/5)/(-8) - 2/5. Solve -c + 6 = -m*c for c.
-3
Suppose b - 4 = 6. Suppose p = -4*p + b. Suppose z = -2*z - 5*x + 29, 4*z = x + 31. Solve -2*h + z = p*h for h.
2
Suppose -2*l + 0*w + 8 = -4*w, -2*l - 4*w = -8. Let x = -13 - -2. Let s(c) = c**2 + 12*c + 11. Let b be s(x). Solve o - 5*o - l = b for o.
-1
Let k(i) = 232*i + 236*i - 470*i. Suppose 3*v = 2*f - 5, 2*f + v + 16 = -3*v. Let s be k(f). Solve -2*x - 2 = s for x.
-3
Suppose 0 = -5*s + 107 - 57. Solve p + 4*p = -s for p.
-2
Let x = 9 + -7. Suppose 7*o - x*o = 30. Let w(z) = -z + 7. Let t be w(o). Solve -m = 4 - t for m.
-3
Let v = -143 - -223. Suppose 0 = -0*j - 4*j + v. Suppose 2*l - 6*l + d = -j, 3*d - 10 = -2*l. Solve 12 = -l*y + y for y.
-3
Suppose s - 4*t = -3*t, 5*s + 4*t = 36. Suppose s*j - 1 + 5 = -2*h, 2*h - 2*j - 14 = 0. Solve h*z - 2*z = 0 for z.
0
Let u = 832 - 825. Solve 0 = 8*x + x - u*x for x.
0
Let d be 48/9 - 4/12. Suppose 11*u = d*u - 36. Let j be (33/22)/(u/(-32)). Solve 3*m = -m + j for m.
2
Let g(r) be the first derivative of -r**4/4 + 2*r**3 - r**2/2 + 8*r - 46. Let s be g(6). Solve -v = -s*v + 4 for v.
4
Suppose -m + 12*m = -737. Let b = m + 69. Solve -b*a + 3 = a for a.
1
Let m = 88225 - 88225. Let h be 6/2*1/1. Let y = 7 - h. Solve y + m = -j for j.
-4
Let g = 17 + -22. Let m be ((-305)/9)/g - 2/(-9). Solve 2*o + 1 = -m for o.
-4
Let w(d) = -d**2 + 5*d - 1. Let f be w(3). Suppose 3*o = f*o - 6. Solve o*v = v for v.
0
Let f be 4/(-6) + 20/3. Let x be (-4)/((-2)/(-6)*-3). Suppose -b - x*b = -0*b. Solve f*q - q = b for q.
0
Let w(s) = s**3 + 5*s**2 + s + 4. Let a be w(-4). Let o be (19 - a)*(1 - 0). Solve o = -u - 1 for u.
-4
Suppose -q + 2*l + 3 = 0, 14*q = 13*q + 4*l - 1. Solve -21 = -q*i - 28 for i.
-1
Let o = 24 + -36. Let y(z) = 19*z**2 - 18*z**2 - 2 + 11*z - 7. Let n be y(o). Solve 8 = n*p + p for p.
2
Let a be 0 + 3 + -5 + (-2 - -8). Let n(v) = v**3 - 6*v**2 + 6*v - 5. Let g be n(5). Solve g = 3*u + a - 1 for u.
-1
Let a(d) = -d**3 + 12*d**2 - 13*d + 20. Let o be a(11). Let v be (4 + o + 5/(-3))*12. Solve 2*p - 4 = v for p.
4
Let z = -27 + 27. Let n(p) = 4*p + 5. Let h be n(z). Solve 3 + 17 = h*j for j.
4
Let u(i) = 11*i**2 + 25*i - 9. Let w(r) = 5*r**2 + 12*r - 4. Let q(y) = -4*u(y) + 9*w(y). Let k = -17 + 9. Let o be q(k). Solve 3*v - v - 6 = o for v.
3
Suppose -3*v + 29 = -0*v + 5*d, -2*v = -3*d + 6. Let k = 3 + v. Let h be ((-2)/2)/((-9)/36). Solve h*g = k + 14 for g.
5
Let p(y) = 2*y**3 - 13*y**2 + 15*y + 3. Let n be p(5). Solve -6*x = 9 - n for x.
-1
Let r = 14 + 33. Suppose -3*q = -r + 41. Solve -27 = 5*v - q for v.
-5
Let h be (31 - 30)*2*1. Let f(c) = 2*c**2 + 4*c + 7. Let r(j) = j**2 + 2*j + 4. Let d(u) = 6*f(u) - 11*r(u). Let o be d(-4). Solve h*k = -k + o for k.
2
Suppose i = 14*i + 10*i. Solve i = -0*q - 5*q for q.
0
Let l(o) be the third derivative of -o**5/60 - o**4/2 - 3*o**3/2 + 2*o**2 - 45. Let x be l(-11). Solve -x*m + 3*m = 0 for m.
0
Let f(c) = -c + 20. Let l = -3 - -21. Let z be f(l). Solve 2*k = z - 0 for k.
1
Let s = -34 - -36. Suppose s*j - 8 = -2*j. Solve -4*m + j*m = 0 for m.
0
Let a = -168 - -97. Let z = -65 - a. Solve 16 = 2*q - z*q for q.
-4
Suppose c = 73*y - 74*y + 2, -16 = -2*c + 4*y. Let g be -10*(-3)/(0 + 3). Suppose j = 2*j - g. Solve -c*f - 2 = j for f.
-3
Let w = 9 + -9. Let z be 4/(-18) + (-44)/(-198). Solve w = -z*i + i + 5 for i.
-5
Suppose w = -c + 7, c + 4*w - 23 = -2*c. Solve -6*x + x = c for x.
-1
Suppose -2*m + 0*t + 1 = -t, -2*m + 7 = t. Let y = -151 - -153. Solve -y*l = m*l for l.
0
Suppose -12*t + 176 = -4*t. Solve -10 = -4*d - t for d.
-3
Let r(p) = -p**2 - 39*p + 92. Let a be r(-41). Solve -a = 3*g - g for g.
-5
Suppose -20 = 4*a + 4*p, 3*p = -a + 7*p + 20. Let z be 105/10 - 4/(-8) - 5. Solve a = -z*q + q for q.
0
Let l = -3574 + 3574. Let j(c) = c**3 + 3*c**2 - c + 1. Let s be j(-3). Solve -4*n + l = s for n.
-1
Let b = 13 - 11. Suppose -10 - 18 = b*x. Let t be (-4)/(-14) + (-66)/x. Solve 2*w + t = -5 for w.
-5
Let t(a) = a + 5. Let b be t(-11). Let z(h) = 2*h + 3. Let n be z(b). Let k be (-4 - n)/(3/12). Solve -2*i - k = 3*i for i.
-4
Let s = -8 + 11. Suppose -10*z - 3*z = 65. Let i be z + 312/32 + 6/(-8). Solve i = -s*l + l for l.
-2
Let t(k) = 28*k**2 - 222*k - 10. Let l be t(8). Solve l*y - 3 = 9*y for y.
-1
Let t(y) = -y + y**2 + 6 - 2*y**2 - 6*y + 0. Let g be t(-7). Suppose -3*c = -g*c + 9. Solve c*w + 8 = -1 for w.
-3
Let f be (8 - 7)/((-2)/(-74)). Solve f = 4*o + 29 for o.
2
Let i be ((-176)/40 + 6)/((-2)/(-5)). Solve 51 - 47 = -i*h for h.
-1
Let v be (-4)/(-2 + 6 + 14/(-4)). Let x be (v/(-20))/((-3)/(-30)). Let q(p) = -p**3 + 5*p**2 - 5*p + 4. Let i be q(4). Solve i = -2*m + x + 2 for m.
3
Let y = -1 + 2. Let m(j) = -2*j + 17. Let u be m(7). Let p = u + y. Solve 2*f = p*f for f.
0
Let q(u) = u**3 - 3*u**2 - u - 3. Let i be q(3). Suppose 0*p + 12 = -3*p. Let o be (p/(-3))/((-4)/i). Solve 0 = o*d + 6 - 14 for d.
4
Let i = 1056 + -1767. Let m be 4/18 - i/81. Solve 0 = -5*g - 34 + m for g.
-5
Suppose 0 = -39*v + 30*v + 72. Let b(a) = -2*a**3 + 15*a**2 + 15*a - 36. Let s be b(v). Let h(z) = -3*z - 1. Let t be h(-1). Solve -s = -2*n - t*n for n.
5
Let i = 286 + -282. Solve 0*z = 4*z + i for z.
-1
Suppose -p - 2*t = -26 - 4, 3*t - 122 = -5*p. Suppose -l = -28 + p. Solve 0 = l*d - 7*d for d.
0
Let k(c) = -c**2 + 8*c + 11. Let t be k(9). Let q(d) = 3*d**2 - 3*d + 5. Let v be q(t). Let g = 7 + -6. Solve -3*j - v = g for j.
-4
Suppose 0*i = -3*i + 6. Suppose -i*s = 5*w + 13 - 45, 2*s - w - 8 = 0. Solve q + q - s = 0 for q.
3
Suppose 5*q = -3*h + h, 3*q = -h. Suppose -2*a = -5*i - q*i - 28, -5*a + 5*i = -100. Solve 0 = -l - a + 23 for l.
-1
Let n = 16 - 14. Suppose k + n = t, -4*t = -t - 3. Let s = k - -1. Solve s - 2 = h for h.
-2
Suppose -2 - 4 = -2*s. Suppose 12 + 2 = 4*t - 2*a, 4*a - 24 = -5*t. Solve -t*y + 9 = -s for y.
3
Let g = -9 - -14. Suppose -5*o = -0*o. Suppose 5*a + i - 52 = 0, -3*a + 5*i - i + 22 = o. Solve -g = 5*x - a*x for x.
1
Let j(h) = -h**2 + h + 4. Let k be j(3). Let y be 4 + 4/k + 3. Suppose d + 2*d + 3 = 5*c, 29 = 3*c + y*d. Solve 2 + c = -l for l.
-5
Suppose 0*j + 20 = -2*j. Let t = j + 12. Let a be ((-36)/(-8))/((-6)/(-4)). Solve -c - a = -t*c for c.
3
Let g = 155 + -142. Solve 2*i + 30 = -g*i for i.
-2
Suppose 3*d = 6*d. Suppose d = -3*c + 14 + 13. Solve 6*l - 3*l - c = 0 for l.
3
Let o be (2/(-3))/((-6)/27). Let s be ((-10)/5)/((-2)/6). Solve o*v - s - 6 = 0 for v.
4
Let z = -1481 - -1485. Solve 0*l = z*l - 12 for l.
3
Let d(o) = -o**3 + 7*o**2 - 6*o + 1. Let m be d(6). Let k(s) = s**2 + 5*s - 5. Let t be k(-6). Let u be 3 + -4*m + t. Solve u = w + w for w.
0
Let g = -14 - -17. Suppose g*l = -l + 24. Let j = l + -2. Solve -4 = 3*o - j*o for o.
4
Let n be (-240)/(-35) - (-1)/7. Let x = 4 - 13. Let f = x - -11. So