 Let k be n(o). Solve 4*m + 5*c = k - 4, -3*c = 9 for m.
4
Let p = -33 - -35. Let x(y) = 2*y**3 - 4*y**2 + y + 2. Let i be x(p). Solve k = 2*r, 0*r = i*k - 5*r for k.
0
Suppose 5*j - 120 = -4*h, 0 = -5*h - 0*h - 25. Solve 3*q - 3*d - 21 = 0, q - 5*d + 5 - j = 0 for q.
3
Let x(o) = -5*o - 11 + 12 - 25 + 10*o. Let c be x(7). Solve 6*y + c = 2*f + 5*y, -2*y - 16 = -2*f for f.
3
Let r be (24/(-4) - -2)/(-2). Suppose r*l = 2 + 6. Suppose 3*k = o + 1, 0 = -2*k + l*k + 2*o + 2. Solve k = x + 4*a + 11, 14 + 2 = -4*a for x.
5
Let a(w) = w**3 - 5*w**2 + 9*w - 9. Let b be a(3). Solve -t + 5*h - 17 = b, 4*h - 17 = -3*t + 2*h for t.
3
Let y = -122 + 124. Suppose y*z = -0 + 4. Solve 5*p = -4*d - 8, 0*p + z*d = -3*p - 6 for p.
-4
Suppose -14*r = 2*r + 24*r. Solve 5*c = n - 22, 5*n - 4*c + r*c - 5 = 0 for n.
-3
Let x be 350/8 + (-15)/(-60). Let r = 46 - x. Solve -r*k + 16 = -4*h, -6 - 2 = k + 2*h for k.
0
Let s = 256 - 250. Solve 6 = 2*x, -y - 2*x + s = -0*x for y.
0
Suppose 0 = -3*j + 8 + 1. Let c be (0/(-26))/(1/(-2 - -1)). Suppose c = x + j - 5. Solve -q = 4*v - 20, 0*q - x*q + 4*v = 8 for q.
4
Suppose 3*i + 2*i - 25 = 0. Let o be 4*45/120 - (-6)/(-4). Solve 0*k + k + i*b - 14 = o, 2*b - 1 = -5*k for k.
-1
Let l = -16 - -39. Let o = l + -20. Solve -5*i - y = 1, 4*i - 14 = 6*i - o*y for i.
-1
Let a be -2*(-3)/(-12) - (-230)/92. Solve 5*k - a*j = 2*j - 28, -4*k = 4*j + 8 for k.
-4
Suppose 21 = -3*j + 2*o + o, -5*o = 4*j + 1. Let x be 6/(-2) + (j - -5). Let m be (4 - x)*3/9. Solve 0 = -4*t - 4*z - 13 - 11, 0 = m*z + 4 for t.
-4
Let w be 2*(-1)/2 + 1. Solve -2*o - b + 4 + 0 = w, 12 = 4*o + 3*b for o.
0
Let v = 203 + -203. Suppose -5 = -2*x + 1. Suppose 0 = x*n - 5 - 4. Solve v = -n*q - 2*j + 6 + 7, 0 = q - j - 1 for q.
3
Suppose 4*h = 5*u - 5, -2 = h - 2*u + 3. Solve 2 = -3*b - 2*a - 4, -h = 2*b + a for b.
-4
Suppose w + 2 = 10. Let g = -101 - -183. Let s be (-4)/w + g/4. Solve -k + s = 4*p, -3*k - 4*p + 20 = 2*k for k.
0
Let b be (2 + -30)/(-1 - 0). Suppose 2*w + b = 74. Solve i - 3*s + w = -3*i, -2*s = i - 8 for i.
-2
Suppose -2*y - 16 = -4*a, -17 = -5*a + 4*y + 3. Solve -3*t - a*d + d - 15 = 0, 3*d + 15 = -2*t for t.
0
Let q be (2/(-5))/((-2)/60). Suppose -5*m + 40 = 3*h, 2*h - 10*m + 8*m = 0. Solve -21 - 5 = 4*c - h*r, -c = -4*r + q for c.
-4
Suppose u + 29 = 3*k + 7, 16 = -4*u. Solve 4*j + 2*h - k*h - 20 = 0, 3*j = -5*h - 9 for j.
2
Let x(y) = y + 1. Let m(h) = h + 97. Let p(s) = -m(s) - 6*x(s). Let g be p(-17). Solve 4*k = 4*t + g, 3*t = 5*k - 5 - 5 for t.
-5
Let q be ((-184)/115)/((-3)/(-5) + -1). Solve q*y - 4 = 5*o, o + 5*y = -o + 5 for o.
0
Let p(r) = 1. Let o(d) be the first derivative of d**2/2 - 4*d + 4. Let u(j) = -o(j) - 4*p(j). Let a be u(-2). Solve x - a = 2*x + q, -q = -2*x + 5 for x.
1
Suppose 0 = -6*x + 8*x - 78. Suppose 7*c - 20*c + x = 0. Solve 0 = -3*d + 3*a - c - 6, 3*a = 0 for d.
-3
Suppose -5*i + 12 = y, 0 = -4*y + 2*i + 2*i. Suppose -11 + 7 = -y*q. Solve -4*d = -q*u - 20, -2*u - 2*u = -d + 5 for d.
5
Suppose -t + 47 = 2. Let k be (0 + 0)/(12/(-4)). Let d be (0 + k)/(11/11). Solve d = 4*q - 20, -8*m + t = -3*m + 4*q for m.
5
Let x = 300 - 265. Solve 0 = v + 2*a + 14, -v + 6*v = -3*a - x for v.
-4
Let m be ((209/22)/19)/(2/8). Suppose -3*p = -2*p - 1. Let b be (-21)/(-6) + p/(-2). Solve -z = -b*z - 6, 18 = -m*s - 4*z for s.
-3
Let v be (-1 + 7 + -10)/(-1). Solve 13 = -2*p - v*o + o, 4*p - 5*o = 29 for p.
1
Let i = -1414 + 1414. Solve i*q + 3*z = q + 20, 2*q + 15 = z for q.
-5
Let y = -29 + 33. Suppose 2*a - 2 = 2*f, -2*f - 2 = -a - y. Solve -b = 2*b - j + 8, -28 = 3*b + a*j for b.
-4
Suppose 24*y + 51 - 171 = 0. Solve n - z = 0, 10 = -n + y*n - 2*z for n.
5
Let z(r) be the second derivative of -r**5/20 + 11*r**3/6 - 3*r**2/2 + 14*r. Let j be z(3). Solve k + 15 = u - 3*k, j = u - k for u.
-1
Suppose 68*b = 74*b - 18. Solve 0 = -3*r - b*l + 2 + 7, 2*r + 4*l - 2 = 0 for r.
5
Suppose -3*c + 14 + 22 = 0. Suppose -8*f + c*f = 16. Solve f*h = 5*s - 14 + 4, 10 = 5*h + 5*s for h.
0
Suppose -2*c + 3*x = x - 16, 5*x = -2*c + 30. Suppose 4*p = n + n + 14, -3*p + c = -2*n. Solve -2*g + 0*g = q + n, g + 5*q - 4 = 0 for g.
-1
Let j = -72 - -73. Suppose 4*f - 21 = -j. Solve 5*n - 32 = -f*t + 13, 2*n + 5*t - 33 = 0 for n.
4
Suppose w = -4*r + 7, -w - 16 + 5 = -5*r. Let b(u) = -4*u**3 - 4*u**2 + 2*u + 6. Let j be b(-2). Solve j = -4*m + l, r*m + 4*l + 16 = -2 for m.
-5
Suppose -130 - 215 = -15*k. Solve -5*t + 3*t = -u + 11, -4*t + 3*u = k for t.
-5
Let g be (-2)/10 - 2412/(-60). Let w = -35 + g. Let f(m) = -m**3 + 4*m**2 + 5*m. Let p be f(w). Solve 9 - 1 = -4*h, p = 4*n + 3*h - 10 for n.
4
Let f be (4/(-5))/(1/(-5)). Suppose -2*h + 2*x - 7*x = 0, -2*h - f*x = 0. Solve -4*j - 2 = -3*q + 12, h = -4*q - 8 for j.
-5
Suppose 5*m = 17*m + 8*m. Solve -5*r - 5*b + 20 = 0, m*r + 5*r = b + 14 for r.
3
Let i(r) = 4*r**2 - 8*r + 5. Let k be i(2). Solve k*q - 14 = 2*z + 1, 3*q = z + 9 for z.
0
Let t(b) = -b**3 + 5*b**2 + 8*b - 3. Let l be t(6). Let d = l + -7. Solve d*j + 14 = 4*f, f + 34 = 6*f + 3*j for f.
5
Let w(i) be the third derivative of 2*i**2 - 1/3*i**4 + 0 - 3/2*i**3 - 1/60*i**5 + 0*i. Let d be w(-6). Solve 5*n - 2*f = 6, n + d*f = 5*f + 6 for n.
0
Let z = 12 - 24. Let s = z - -16. Suppose 3 + 13 = s*p. Solve -3*q + 3*j + 2 = j, 5*q = 3*j + p for q.
2
Suppose 64 = 7*t - 27. Solve -2*d = -5*l + 19, -l + t = 2*l - 2*d for l.
3
Let w(m) = 2*m - 1. Let h = -34 - -37. Let z be w(h). Solve -a = -3*x - 8, 0 = -0*x + z*x + 5 for a.
5
Suppose -x - 2*z + 20 = 0, -4*x - 8 + 68 = 3*z. Let g = x + -7. Solve -2*i + g*h + 33 = 0, -i + 6*i = h + 25 for i.
4
Let r be 1/((-1)/5 - 0). Let x = 9 + r. Solve 4*a - o = -15, 0*o - x*o = 3*a + 35 for a.
-5
Let r(p) = -4 + p**2 + 14 - 9 - p + 0*p**2. Let w be r(-2). Solve -4*q - i = 4 + w, 2 = -2*q - 4*i for q.
-3
Let n = 1825 - 1815. Solve 0 = -3*o - 3*a - 15, 2*o - 4*a + n = a for o.
-5
Suppose 2*y - 5*i - 17 = 0, 2*i - 31 = -3*y + 4*i. Suppose y = -2*m + 19. Solve -b - m*c + 19 = 0, -3*b - 2*b - 4*c = -31 for b.
3
Let j(c) = 13*c + 34. Let o be j(-7). Let f = o - -60. Solve 0 = -5*u - f*v - 5, -2*u = -3*u - 5*v - 23 for u.
2
Let k(u) = -u**3 - 19*u**2 - 19*u - 19. Let h be k(-18). Let c be (9 - 4 - 3) + 1 + h. Solve 3*b - 5*s + 10 + 13 = 0, 0 = -5*b - c*s + 3 for b.
-1
Let m be 9 + -7 - 9 - -9. Solve -6*w = -w - 3*c - 40, 0 = w - m*c - 15 for w.
5
Let w = -241 + 243. Solve -12 = -2*v + w*r - 0*r, 12 = 5*v + 4*r for v.
4
Let j(s) = 2*s**3 + 3*s**2 + s + 2. Let y be j(-2). Let q(g) = g**2 + 2*g - 4. Let i be q(y). Solve -i*n - n - 4*m = 3, 3*m + 9 = 3*n for n.
1
Let q = 4 + 1. Let l(x) = x**3 + q - 4*x**3 - 5*x + 4*x**3. Let t be l(2). Solve h - 2 = -3*f - 1, 3 = 3*h + t*f for h.
1
Let o(b) = b**2 + 20*b + 56. Let r be o(-17). Solve -4*l + 4 = -r*v + v, l - 4 = 0 for v.
3
Let s be (-20)/((-1)/1) - -1. Suppose -c - 7 = -5*l + 6, -s = -5*l - 3*c. Suppose h - l = -1. Solve 0 = u + 2*k + h, -2*u = k - 0*k - 2 for u.
2
Let l(h) = -3*h + 124. Let o be l(35). Solve -3*p + n - 11 = 0, n - o + 0 = 5*p for p.
-4
Suppose -2*p = -10 - 0. Suppose -3*k + 7 = -3*y + 31, 2*y - 31 = p*k. Solve 0 = -y*d + 5*m - 11, -4*d + 25 = -d + 4*m for d.
3
Suppose -d - 2 = 2*l + 8, 0 = -4*l - 20. Solve -o + 1 + 1 = 0, d = 3*b + 5*o + 2 for b.
-4
Let u = 15 - 10. Suppose 2*h - c = 37, -2*h = -u*c - 30 - 27. Suppose -a + 2*a - h = -3*o, -a + 30 = 5*o. Solve 5 = 3*f + 2*l, 2*l - 3 = -o for f.
3
Let w be ((-8)/(-3))/((-12)/(-18)). Solve 0 = -5*t + h + w*h + 30, 16 = -2*t - 5*h for t.
2
Suppose 8 = -4*l - 5*f, l + f = -l + 2. Suppose 5*m = -15, l*m = 3*t - 0*m - 9. Solve -5*g + 5*p + 30 = 0, 3*g - 2*p + t*p - 14 = 0 for g.
2
Let z(v) = 3*v - 68. Let b be z(24). Let a = 27 - 25. Solve o + a*j = b*j - 2, 3*o + 3*j + 6 = 0 for o.
-2
Suppose -172*p + 167*p + 45 = 0. Solve -3*j = -3*l + p, 0*j - j - l + 5 = 0 for j.
1
Suppose -k = -3*k + 4*m - 40, 3*m = -4*k - 91. Let f = k - -24. Suppose 3*q - 9 = 2*q. Solve 4*b = -5*z + q, z + 4*b - 7 = -f*z for z.
1
Let o be (-3)/(-2) + 7/14. Suppose 12*c - 18*c + 18 = 0. Solve -o*f = h - 1 - 11, -f = -c*h + 1 for f.
5
Let t(b) = -b**2 - 4*b - 1. Let i be t(-4). Let a = 6 - 7. Let g = a - i. Solve g = -z + 3*o + 13, 0 = -2*o + 1 - 7 for z.
4
Let w(i) = -i**3 + 4*i**2 - 2*i - 2. Let l be w(2). Let s = 7 - l. Solve -4 = -d, d = -2