*c + 2*h - h + 8, -2*c + 4*h + 12 = 0. Solve -z = c*z for z.
0
Let w(j) = -1. Let v(t) = t + 26. Let z(r) = -v(r) - 6*w(r). Let o be z(-20). Suppose -5*m - 20 = o, -4*f - 2*m = -5*f + 12. Solve f = -s + 2*s for s.
4
Let o be 6 + 0 - 2/2. Let v be (50/(-60))/(2/(-12)) + -20. Let d be 1/3 + o/v. Solve -p = -d*p - 3 for p.
3
Let p(g) = -34*g + 380. Let w be p(11). Solve 10*b = w*b for b.
0
Let a(t) be the third derivative of t**4/24 - 2*t**3 + 9*t**2. Let k be a(10). Let y be ((-6)/5)/(k/10). Solve -y + 3 = s for s.
-3
Let k(f) = 3*f - 18. Let s be k(15). Suppose 0 = 4*h + s + 5. Let u be h/(-14)*(-7)/(-2). Solve 0 + 6 = u*i for i.
3
Let y be (126/(-5))/(-9*4/120). Suppose y*b = 91*b. Solve -m + b*m = 4 for m.
-4
Let r(v) = v**3 - 6*v**2 + 5*v + 10. Let n be r(5). Solve n*s = 7*s - 15 for s.
-5
Suppose -5*v - 34 = -3*f, 4*f - 24 = 4*v + 8. Let k be f + -2 + -4*(-1)/2. Suppose -4*r + 56 = 20. Solve 0 = -k*i + r for i.
3
Suppose -15 + 56 = 5*q - 3*k, -37 = -5*q + k. Solve -5*y + 2 = q for y.
-1
Let h(r) = 15*r - 7. Let t be h(3). Let p = 54 - t. Solve 4*n - p = -0*n for n.
4
Suppose 0 = -5*g + 4*w - 1, 5*g - w - 11 = 0. Suppose -3*i + 3*a + 55 = -65, 0 = i - g*a - 48. Solve -5*p + i = 11 for p.
5
Suppose 5 = -5*p - 145. Let i = p + 27. Let o be (0/i)/(-4) + 0. Solve o = -0*n + 4*n for n.
0
Let z(d) = 4*d - 20. Let j be z(6). Suppose 16 = -j*v + 6*v. Suppose 6*w - 2*w - v = 0. Solve w = -2*a - 6 for a.
-4
Let h(z) = -38*z. Let l be h(-1). Suppose -5*o - l = 7. Let v = o - -13. Solve 0 = m + v*m for m.
0
Suppose 19 = 4*c - 5*j, c + j + 2*j + 8 = 0. Let z = 39 - 35. Solve c + z = p for p.
5
Suppose -l = 4 - 6. Let s = -7 + 15. Suppose -2*f + s = -0. Solve f*a - 6 = l*a for a.
3
Let l(a) = 5*a**2 - a. Suppose -4*s = -9*s - 5. Let z be l(s). Solve 0 = -3*w + z*w - 6 for w.
2
Suppose 0*j = 5*j - 15. Suppose 0*q + 16 = j*z - 2*q, -2*z + 4*q + 24 = 0. Let i = z - -3. Solve 0*t - i*t = -5 for t.
1
Let j be (-6)/(-14) + (-33)/(-21). Solve -j*o - 4 - 6 = 0 for o.
-5
Let q be 8/(-4) - (-7 + -3). Suppose 7*n - 3*n - q = 0. Suppose -n*k - 16 = 4*c, -2*c - 8 - 4 = -k. Solve -5*h = -k - 3 for h.
1
Let v be 3 + 23 - -4*1. Suppose -38 + v = -i. Solve -i + 3 = -j for j.
5
Suppose 2*t = 0, -o - t + 24 = 3*o. Suppose s + 0 + 3 = -5*i, 0 = 5*s + 4*i - o. Solve s*r - 2 = -0 for r.
1
Let t(j) = -7*j + 6. Let y be t(-5). Let r = y - 29. Let n(c) = c - 12. Let q be n(r). Solve q = -s - 3 + 4 for s.
1
Let q(w) = w**2 - 4*w - 12. Let n(c) = c + 1. Let k be n(7). Let b be q(k). Let f(p) = p**2 - 13*p + 3. Let j be f(13). Solve b = j*g + g for g.
5
Let y = -5 - -7. Solve -y*h = -7 + 3 for h.
2
Let k = 72 - 64. Solve 0 = -k*a + 10*a - 4 for a.
2
Suppose -6*j + 35 - 5 = 0. Let z(w) = 8*w - 1. Let s be z(1). Suppose 0 = -5*n + j*v, s*n + 2*v = 2*n. Solve n = 2*f - 0 + 10 for f.
-5
Let n be 1*(5 + 0 + 3). Suppose 5*m - n - 2 = 0. Let f be 1*(m - (-1 + 3)). Solve 7*q - 2*q = f for q.
0
Suppose 0 = -21*h + 25*h. Solve h = 12*y - 15*y - 3 for y.
-1
Let j = 10 + -5. Solve -j*y + 3 = -2 for y.
1
Let h = -53 + 39. Let j be 4/14 + (-38)/h. Solve -7*w - 8 = -j*w for w.
-2
Let z = 16 + -12. Suppose 2*d - 19 = -3*v - 0*d, 0 = 5*v + z*d - 33. Let j = v + -4. Solve -3*c - 5 = j for c.
-2
Let l(w) = -2*w - 2. Let m be l(-3). Suppose -39 = -5*q - 3*g, -2*g = 3*q - 3*g - 29. Suppose 0 = -q*p - 3 + 48. Solve p = 3*d - m for d.
3
Let y be ((-45)/(-18))/(10/8). Suppose -r + 3 + 5 = 0. Solve y = 2*w - r for w.
5
Let m be (((-14)/(-35))/(2/(-60)))/(-2). Solve -m*a + 4*a = -6 for a.
3
Let a = 1 + 17. Solve s - 19 = -a*s for s.
1
Suppose 5*f + 15 = 0, 6 + 3 = 5*j - 3*f. Let l = 4 - -11. Suppose 6*v = 3*v + l. Solve -v*m - 25 = -j for m.
-5
Let k = 24 + -21. Let s = 0 + k. Solve -s*r - 15 = -3 for r.
-4
Let w(f) = -3*f - 7. Let m be w(-6). Let k = m - 9. Suppose -2*o + 2*v + 46 = 0, -54 = -o - 2*o - k*v. Solve 0 = 4*s + s + o for s.
-4
Let w = 1072 + -1067. Solve 0 = -w*o - 3 - 2 for o.
-1
Let a(g) = g**2 - 4*g + 25. Let x be a(10). Suppose -j = 4*h - 57, 2*j = -5*h + x - 13. Solve -5*k - h = 1 for k.
-3
Let w = -72 - -132. Let t = 60 - w. Solve -8*a + 5*a + 9 = t for a.
3
Suppose 5*u + 3*h = 39, 12 = 2*u + h + 2*h. Solve -33 = 8*y - u for y.
-3
Suppose 0 = 4*y - 43 + 27, -5*y = 3*r - 44. Solve -r*b = b - 36 for b.
4
Suppose -2*v = 3*v. Let f = v - -3. Let c be (-32)/(-6) - 1/f. Solve 0 = u - 2*u + c for u.
5
Suppose -11*g = -7*g + 12, p + 5*g - 15 = 0. Solve -p*u + 34*u = 4 for u.
1
Let n = 37 - 22. Suppose -140 = 8*m - 15*m. Suppose 3*a - 4*l = -m, 4*a - n = 3*a - 3*l. Solve a = o + o for o.
0
Suppose 30 = 8*k - 3*k. Let r = 8 - k. Solve 1 = s + r for s.
-1
Let o be 4 - (2 + -4) - -5. Let v be (10 - o) + (-2)/(-2). Solve 3*c = -v*c + 9 for c.
3
Let w(x) be the third derivative of x**5/60 + 5*x**4/12 + 4*x**3 + 25*x**2. Let t be w(-6). Solve -5*o = -t*o + 5 for o.
-1
Let q be (20/2 - 4)*1/(-2). Let a = q - -7. Solve a*y = 6*y + 6 for y.
-3
Let n(y) = -y**3 - y**2 - 6*y - 16. Let k be n(-3). Solve 82*w = 78*w + k for w.
5
Let u = 40 + -30. Let i = 12 - u. Solve -h + 1 + i = 0 for h.
3
Suppose -255*r + 252*r = -12. Solve -a - r = 1 for a.
-5
Suppose -z - 8 = 8. Let l = 31 + z. Suppose 11*q + 4 = l*q. Solve 4*b = 3 + q for b.
1
Let r be (-2508)/22*(-2)/12. Solve -17 = -2*q - r for q.
-1
Suppose -12*m + 39 = -141. Solve 12*t - m = 7*t for t.
3
Suppose 1 = -2*l + 7. Let g be l/9 + (-161)/(-3). Let h be 420/g - 2/(-9). Solve -5*y + h = -y for y.
2
Suppose -w + 4*w - 26 = 5*d, -5*d = 20. Let y be w*((-55)/(-10) - 3). Solve 1 - y = -2*u for u.
2
Suppose -5*x + 12 = t, -2*t = -2*x - 0*t + 12. Solve -x*k - 2*k = -5 for k.
1
Let x(c) be the second derivative of -1/20*c**5 + 7/12*c**4 - 8*c + 1/3*c**3 - 5*c**2 + 0. Let h be x(7). Solve h*l = 2*l for l.
0
Let b be (-76)/(-28) - (-6)/21. Let k be (66/8)/(b/12). Suppose -k = -5*i - 13. Solve -3*s + s = i for s.
-2
Let r(v) = -33*v + 165. Let i be r(5). Let n = 3 + -1. Solve g - n + 5 = i for g.
-3
Let j = -2 + -18. Let a be (j/15)/(2/(-6)). Solve -a*p = -0 + 4 for p.
-1
Let q be (-2 - (-6)/8)*4*-5. Solve q*i - 24 = 19*i for i.
4
Suppose 85 = d - 3*v, 3*d + v - 265 = -0*v. Suppose -14*m + d = 18. Solve -m*r + 4*r = -3 for r.
3
Suppose 0 = -18*j + 64 + 170. Solve -8 = -11*z + j*z for z.
-4
Suppose 12*t = 17*t - 80. Solve -18 = t*d + 14 for d.
-2
Let n be (-6 + 22/4)*0. Let h be -1 + 3 - (-4)/(-2). Solve n*d + d = h for d.
0
Let m be -1 + 25/(6 + -1). Suppose m*w + 4 = 32. Solve -w*i - 25 = -2*i for i.
-5
Let q(v) = 2*v - 2. Let p be q(3). Let w = -239 - -256. Solve -p*g = w - 1 for g.
-4
Suppose 29*r + 2542 = 91*r. Solve r = 5*t + 46 for t.
-1
Let f = -539 - -562. Solve -f = -n - 28 for n.
-5
Let d(p) = 7*p**2 - 44*p + 120. Let l be d(3). Solve -5*n + 31 - l = 0 for n.
-4
Let w be ((-13)/26)/((-1)/12). Suppose -6*v = h - 7*v - 2, -2*h + w = -v. Let u = -10 + 16. Solve u = -h*a + 6*a for a.
3
Let l be (-3)/10 + 2781/270. Solve 13*v = l + 3 for v.
1
Suppose 0 = 5*z - n - 78, -z + 2*n + 14 = n. Let d = -9 + 36. Let c be (-129)/(-27) + 6/d. Solve c*s - z = 9 for s.
5
Let m(j) = 15*j - 66. Let g be m(6). Solve -3*s = 3*s + g for s.
-4
Let g be 1/(-4) + (-34)/(-8). Let s(y) = y**2 + 1. Let t(w) = -2*w**2 - 2*w - 7. Let h(j) = 3*s(j) + t(j). Let k be h(g). Solve 5*n = n + k for n.
1
Suppose -u - 4*d + d = -6, -10 = -3*u - d. Let y(c) = c**2 - 2*c - 2. Let x be y(3). Let n(o) = -o + 1. Let v be n(x). Solve v*k = -k - u for k.
-3
Let s(n) = n + 21. Let o be s(-16). Let g = 30 - 25. Suppose 8 = -g*r + 143. Solve -o*d + r = 7 for d.
4
Suppose 64 = -6*c - 50. Let a = -19 - c. Solve 0 = -2*d - a*d for d.
0
Let p = 23 - 33. Let b(o) = -o**3 - 10*o**2 + o + 12. Let z be b(p). Let j be (3 + (z - 4))*2. Solve 0*a = j*a + 6 for a.
-3
Suppose 3*y + 6 - 69 = 0. Suppose -4*d - 1 = -y. Let a be d*(12/(-5) + 3). Solve 1 = r - a for r.
4
Let l(k) = -k**2 - 2*k + 44. Let s be l(-7). Solve 6*h = 2*h + s*h for h.
0
Let l = -252 + 268. Solve -l = 4*n - 4 for n.
-3
Let x be ((-198)/(-44))/((-2)/(-8)). Solve -x*s = -9*s + 9 for s.
-1
Let h = -1552 - -1559. Solve 3*q - h = -4 for q.
1
Suppose o = 4*o. Suppose -23*t = -99 + 7. Solve -4*x - t - 4 = o for x.
-2
Suppose -12 = -2*o - o. Let l be (-60)/(-8)*-1*-2. Solve f + o*f = l for f.
3
Suppose -50*p + 13*p = -80 - 31. Suppose 0 = 2*x - 5*r - 0 + 