. Let v be (4/(-10))/((-2)/s). Solve -2*r - v + 0 = 0 for r.
-2
Let m(g) be the third derivative of -g**6/60 - g**5/30 + g**4/6 + 2*g**3/3 - 13*g**2. Let r be m(-2). Solve -r*k = 19 + 1 for k.
-5
Suppose 0 = -3*i + 3*h + 21, -h - 1 = -i - 2*h. Suppose -y = i*y. Solve -m = -y*m + 5 for m.
-5
Suppose 2*v + 9*t - 4*t - 8 = 0, 4*v - 36 = -5*t. Suppose 4*u - 4*y - 32 = -8*y, 0 = 4*u - 5*y - v. Solve -u = h - 4*h for h.
2
Let m = 3 + -5. Let g be (4 + -16)/(m/3). Let d be (-3 + g/8)*-4. Solve 0 = -d*p + 7 + 2 for p.
3
Let u(w) = -2*w + 1. Let f be u(-1). Suppose 6*p = p + 5*g + 20, f*p - 2*g - 13 = 0. Solve -p*l = -9 + 24 for l.
-3
Suppose u - 11 = 2*o - 6, o - 10 = -2*u. Solve o = 10*p - 8 - 12 for p.
2
Let p(c) = c + 1. Let r be p(1). Let y(i) = 2*i**2 - 6. Let u be y(-2). Suppose -4*x + 3*j = 0, -2*j = -3*x + u*j. Solve 2 = r*z - x*z for z.
1
Let l be 0*((-14)/(-4) - 3). Suppose l = 11*d - 10*d. Let r be (-4)/(1 + (-3 - d)). Solve 4*h - r*h = -4 for h.
-2
Suppose 5*n - n = 4. Let w be 6/15 - 3/(-5). Solve -w - n = -m for m.
2
Suppose -b + 6 = 2*p, -b - b = -4*p + 12. Solve b = 62*z - 63*z for z.
0
Let t = 385 - 382. Solve t*b + 4 = -8 for b.
-4
Suppose -1917 = h - 1945. Solve 64*q - h = 57*q for q.
4
Suppose -4*m + 16 = -60. Suppose m*y = 21*y. Solve y = -6*u + u + 5 for u.
1
Let j be 16*((-3)/(-12))/1. Suppose 0 = -5*f + s + 18 + 7, -s - 20 = -j*f. Solve 3*w - f = 4*w for w.
-5
Let w = -22 - -29. Suppose -w*f + 2*f = 10. Let z be f/5 - (-1148)/70. Solve -2*i = 2*i - z for i.
4
Let i(t) = -t**3 - 15*t**2 + 14*t - 29. Suppose -11*x + 14*x + 68 = 4*h, -3*x = -3*h + 63. Let c be i(x). Solve -7 = c*r + 2 for r.
-3
Suppose -10*v + 7*v - 9 = 0. Let w be 2 + -4 - -13 - (v + 6). Solve r = -r - w for r.
-4
Let u(y) be the first derivative of y**3/3 + 25*y**2/2 + 16. Let x be u(-25). Solve x = 6*h - 5*h - 2 for h.
2
Suppose 0 = 4*g - 0*g. Suppose g = -5*j + 54 + 6. Let x = j - 10. Solve 4*k = 2*k - x for k.
-1
Let s(g) = 7*g**2 - 17*g - 3. Let z(x) = 3*x**2 - 8*x - 2. Let m(h) = -2*s(h) + 5*z(h). Let i be m(7). Solve -v = 2*v - i for v.
1
Let d = -828 - -830. Solve 57 - 55 = d*p for p.
1
Suppose 3*z + 20 = 2*t + 5*z, 2*t - 5*z = 6. Suppose 0 = 3*q - 0*m + 2*m - 41, m = -2*q + 28. Let a = q - t. Solve -d + 2 = a for d.
-5
Let p = -16 + 20. Let n(v) = -v**3 - 9*v**2 + 8*v - 13. Let s be n(-10). Suppose -5*c + 2*y - 4 = 0, 2 = s*c - 2*c + y. Solve q - p*q - 9 = c for q.
-3
Let t = 4 - 2. Let v = -18 - -94. Let y = -70 + v. Solve 0*g = -t*g - y for g.
-3
Suppose 0 = 18*m - 26*m + 176. Solve -2*c + 28 = m for c.
3
Suppose -17 = -5*i - 7. Suppose -i = 4*q - 5*q. Suppose 0 = q*h - 5*v - 37, 0*h - 5*v = -3*h + 43. Solve -h*c + c = -10 for c.
2
Let j be 1 + 4/(-12) - (-20)/6. Suppose 4*z = 7*z - 9, j*z - 8 = u. Solve -8 + u = c for c.
-4
Let v = 4 - 0. Suppose -3 = f + k - v, -3*f = -3*k + 3. Solve f = r + 3*r for r.
0
Let l be 430/4*(-4)/15*3. Let i = l - -89. Solve -4*d + d = -i for d.
1
Let d = 10 - 5. Suppose -4*x - 38 = 3*a, -d*a = 2*x - x + 18. Let b = x - -9. Solve -l - 6 + b = 0 for l.
-5
Let f be 3 + -2 + (1 - 0). Let b(n) = -2*n + 12. Let o be b(2). Let u be 3 + 4/o*f. Solve -u*l + 0*l = -20 for l.
5
Let h = -126 - -131. Solve -2*j = -h + 11 for j.
-3
Let u = 48 - -42. Let h = 94 - u. Solve h*z - 16 = -0*z for z.
4
Suppose 33*w - 1962 = 15*w. Solve 115*y = w*y for y.
0
Let g(n) = n**3 + 8*n**2 - 9*n - 2. Let m be g(-9). Let c be 90/8 - m/(-24)*-9. Solve 0 = 3*i + i - c for i.
3
Let a(i) = -i + 6. Let f be a(3). Let h be 3/(f - 10/5). Solve 5*z = -h - 2 for z.
-1
Let x(s) = s**2 - 1. Let u be x(-1). Solve u = -34*t + 35*t + 5 for t.
-5
Suppose 17*y + 74 = 125. Solve -28 = y*d - 13 for d.
-5
Let m be ((-4)/(-14))/(5/70). Solve 0 = 3*a + m*a - 14 for a.
2
Suppose -y + 1 = 5*j, 5*y + 4*j = 6*j + 59. Let r be 6*2*1/4. Suppose -4*q + 8 = 4*k, q = r*k + y - 29. Solve k - 10 = x for x.
-5
Let s be 0 - (20/(-16) + 6/(-8)). Let d(t) = 3*t**2 - 3*t + 4. Let l be d(2). Solve 0*z - s*z = l for z.
-5
Suppose -5*h = 6*k - 3*k + 19, 1 = 3*k + h. Solve -k*m = 7 - 17 for m.
5
Let c(x) = -1. Let v(u) = u**3 - 14*u**2 + 24*u - 2. Let h(g) = 2*c(g) - v(g). Let b be h(12). Solve b = -m - 0 - 4 for m.
-4
Let n(j) = j**3 - j**2 + j + 2. Let m be n(0). Suppose -u + m*h = -10, -2*u - 1 = 3*h - 0. Solve c = u - 1 for c.
3
Let h be (-5157)/(-207) - (-2)/23. Solve -23*l + h*l = 8 for l.
4
Suppose -5*a + 40 = 5*k, -5*a + 2*k = -9*a + 22. Solve 4*w = a*w - 4 for w.
-4
Let p = -17 - -17. Let n be (p - (-2)/2)/((-34)/(-136)). Solve n*r + 0*r = 0 for r.
0
Let g(o) = -2*o + 16. Let x be g(7). Let c be (-32)/(-16) - (-2 + 2/x). Solve -c*s + 2*s = -5 for s.
5
Let y = -14 - -26. Let p = -12 + y. Solve 5*u - 2 + 7 = p for u.
-1
Let z(g) = -g**2 - 6*g - 5. Let h be z(-4). Suppose 0 = -f - 2 + 6. Let n be (2 - 3)*(f - -1)*-1. Solve -h*w - 7 = n for w.
-4
Let p(z) = 4*z**2 - 2 - 3*z + 2*z**2 + 98*z**3 - 99*z**3 - 3*z. Let b be p(3). Let s be (-10)/35 + 30/b. Solve 0 - s = y for y.
-4
Suppose 0 = -17*o + 140 + 47. Solve o*q = 6*q for q.
0
Let x(s) = 151*s - 3. Let w be x(1). Suppose -4*c + c + w = 5*g, c = 1. Solve g = 4*j + 9 for j.
5
Let x be 0/((-4)/(1 - -1)). Suppose -11 = -5*k + 3*w, -5 - 5 = -k - 2*w. Suppose -3*p + 20 = k*d - 37, 3 = -3*p. Solve x = 5*o - d + 35 for o.
-4
Let b be -30 - 0/(-8 - -4). Let a be (-140)/b + (-4)/6. Suppose i - 3*i - 20 = 5*f, a*i + 2*f + 8 = 0. Solve i = k - 2 for k.
2
Suppose -3*u + 4*c - 6*c + 36 = 0, 0 = -4*u + 2*c + 34. Let j = u - 7. Suppose -4*n = -j*n - 4. Solve -3 = -s + n*s for s.
-1
Let r be 10/((-16)/64*(-1 - 1)). Solve r = -n + 6*n for n.
4
Let y be 130/(-14) + (-24)/(-84). Let i be y/6*-2 + 2/(-2). Solve 0*f + i = 2*f for f.
1
Let i = -20 + 18. Let m be (-2)/i - (2 - 3). Let p be 2 + m + -3 + 3. Solve p*b + 4 = 16 for b.
3
Let a = 56 - 47. Solve a + 3 = -6*l for l.
-2
Suppose -19*b - 3 = -231. Solve n = -3*n - b for n.
-3
Let h(a) = a + 13. Let f be h(12). Suppose f = 17*j - 26. Solve j*k + 2*k = 10 for k.
2
Let h be 6 + -3 - (-1 + 46). Let i = -38 - h. Solve -2*u + i = -4 for u.
4
Let s = -15 + 6. Let v = -3 + s. Let u = -7 - v. Solve u + 4 = 3*x for x.
3
Suppose 11 = -4*h + 2*h + 5*k, h - 3*k + 7 = 0. Suppose 0 = -p + m + 14, 52 = 3*p + h*m. Solve 4*i - p = 4 for i.
5
Suppose -5*h - 25 = -9*h - 3*s, 2*h + 4*s = 20. Let f = 1 + 3. Let i = -1 + f. Solve -5*w + h = -i*w for w.
2
Let d = -167 - -171. Solve -5*z = -29 + d for z.
5
Let r(t) = 2*t**2 + 46*t - 148. Let j be r(3). Solve 25 = j*i - 7 for i.
4
Let d = 203 - 200. Solve 3*k + 3 + d = 0 for k.
-2
Let c(y) = 85*y**3 + y + 2. Let r be c(-1). Let n = r - -87. Solve -x = -7 + n for x.
4
Suppose 2*v - 3*v = 5*l + 75, 5*l + 195 = -3*v. Let f = v + 64. Solve 6 = -w + f for w.
-2
Let t(m) = 43*m + 215. Let s be t(-5). Let y(w) = 5*w**3 - 1. Let f be y(1). Solve s = -f*c + c - 12 for c.
-4
Let h be ((-24)/(-18))/2*36. Solve -h*z = -21*z for z.
0
Let p = 21 - 18. Let c = -2 + 9. Solve -p*b + 2 = -c for b.
3
Let q = 6 + -4. Suppose -2*c + q = d + 4, -26 = 4*d + 2*c. Let b be (-14)/(-4)*d/(-14). Solve m + 1 = b*m for m.
1
Let r be 455/(-15)*126/(-147). Solve 9*i - 26 = -r for i.
0
Suppose 2*y = -6 - 0, -y + 12 = 3*p. Let g be ((-11)/((-11)/6))/(-2) + p. Solve 0*f + g*f = -10 for f.
-5
Suppose -3*b - b = 0. Suppose 33*c = 38 + 226. Solve b = 2*i - 6*i + c for i.
2
Suppose -10*r = -12*r - 2*n + 12, 0 = -5*r - n + 38. Solve 0 = z + r - 8 for z.
0
Suppose -20*r + 24 = -12*r. Solve r*o = 2*o - 3 for o.
-3
Let p = -262 - -275. Solve 0 = -5*k - p + 3 for k.
-2
Let r = 78 - 74. Let g be ((-16)/6 - 0)*-3. Suppose r = -5*c + i, -c + 2*i = -0*c + g. Solve m + 5 = -c for m.
-5
Let y = 182 + -153. Let n(f) = f**2 - 29*f. Let w be n(y). Solve x + 4 - 1 = w for x.
-3
Let v(p) = -p**3 - 6*p**2 + 5*p - 17. Suppose 0 = -25*n + 22*n - 21. Let y be v(n). Let c be y/2*4/(-2). Solve c = u - 1 for u.
4
Let x(i) = -i + 22. Let u be x(7). Let m = u - 13. Solve 0 = -m*n + 3*n - 4 for n.
4
Let p(n) be the first derivative of n**2 + 11*n + 24. Let u be p(-3). Solve -d = -u*d for d.
0
Let m be -3*(-10)/(-105)*-7. Suppose -m*h + 15 = 9. Solve -h*k + 12 = -0*k for k.
4
Suppose a - 3 = -4*f, f = 4*a - a + 17. Suppose -3*s + f = -13. Solve -3 = -s*j + 12 for j.
3
Suppose -3*y + 12 - 12 = 0. Suppose -z - 5*t + 25 = y, 0*z - 4*z + 5*t 