 = 4*m - i*y, -2*y = 5*m - 30 for m.
4
Let b(w) = w - 3. Let y be b(4). Suppose -s + 3 = 4*v - 11, 0 = -2*v + 4*s + 16. Let p = y + v. Solve -2*t - 17 = -p*g - 0*g, -g = -3 for t.
-1
Let w(v) = -v**2 + 45*v - 83. Let y be w(43). Solve y*p = -x - 4, x + 2 = p + 2*x for p.
-3
Let x = 4 + -2. Let s(c) be the third derivative of -c**5/60 + 3*c**4/8 - 13*c**2. Let h be s(4). Solve 5*y - 37 = -2*p - x, 5*p = y + h for p.
5
Suppose -3*g = 2*g - 20. Let u(b) = 1 - 3*b - 4*b + b**2 + 5*b - 2*b. Let a be u(g). Solve 16 = -4*f + j, f + 5*j + 3 = -a for f.
-4
Suppose o = -o - 5*m, 0 = o - 4*m. Suppose y + y - 6 = o. Suppose -25 = -y*a - 2*a. Solve -2*b - 2*c + 12 = -7*b, 36 = -4*b - a*c for b.
-4
Suppose 0 = 5*p + j - 33, -4*p + 28 = j + 1. Suppose p = 2*z - 2. Suppose 48 = 5*t - 17. Solve 0 = -5*i - 5*w - 35, -2*i + z*w + t = -i for i.
-3
Suppose u = 29*u + 23*u. Solve 3*c + 20 = 4*j - c, 5*j - 2*c - 10 = u for j.
0
Let h be ((-10)/(-15))/((-18)/(-405)). Solve 4*r = 5*p + 2*r - 25, 3*p + r - h = 0 for p.
5
Suppose -4*l - 158 = -166. Solve 4*n - l*f = -26, 7*n = 2*n + 3*f - 34 for n.
-5
Let d(c) = 2*c**3 - 23*c**2 - 5*c - 82. Let v be d(12). Solve -i + 4*l = -2*i + 8, 4*l = -v*i + 8 for i.
0
Let r = 31 - 24. Let d = r + -2. Let w be ((-75)/(-20))/(3/8). Solve 5*a - 5*y = w, d*y - 10 = 5 for a.
5
Suppose 0 = 92*d - 93*d + 2. Solve d*g + i - 6 = 0, 6*g - 2*i = 3*g - 5 for g.
1
Let i(y) = -34*y - 19. Let k be i(-1). Solve 6*h - 4*h - o - 8 = 0, -h + k = 5*o for h.
5
Let j = 2338 - 2336. Solve 0 = 3*y + 4*p - 7, -j*p = -3*y + 1 for y.
1
Let q(g) = -10*g - 7. Let w(o) = 19*o + 14. Let h(a) = -11*q(a) - 6*w(a). Suppose 4*u + 13 = -15. Let k be h(u). Solve 9 = -2*l + f, -5*l + 4*f = 6 + k for l.
-3
Let j = 229 + -226. Solve -3*g + j = 4*x - 2, x + g = 2 for x.
-1
Let v(y) = -2*y**2 - 19*y + 12. Let t be 1*-5*(-4)/(-4)*2. Let k be v(t). Let r be (2 + -32)*(-2)/5. Solve 3 = -4*g - 3*p, p = -3*g + k*p - r for g.
-3
Let w be 45/(-30)*14/(-3). Suppose -1 = -2*j + w. Suppose 0*m + 100 = j*m. Solve -1 = -3*v - 0*q + 4*q, -v = 5*q + m for v.
-5
Let g be (-66)/(-5) + 1/(-5). Suppose -2*l = g*l - 75. Solve -l*h + 21 = 4*m, 3*m - 6*h = -4*h + 10 for m.
4
Let n(d) = -2*d + 12. Let r be n(5). Suppose f + 0*f + 4 = 4*v, -r = -f + v. Suppose -f*i = -5 - 3. Solve -w - 17 = i*b + 2*w, 0 = -b + 3*w + 14 for b.
-1
Let p be (-4 - -7 - 7)*-1. Solve 0 = -5*r + 4*b - 37 + 6, p*b = -5*r + 1 for r.
-3
Suppose -71 = -16*v - 23. Solve v*o - 3*i - i + 12 = 0, -3*o - 2*i - 12 = 0 for o.
-4
Let g be (2 - (4 - 2))/1. Solve -2*h = j, g*j = -3*j for h.
0
Let y(c) be the third derivative of c**5/60 + c**4/8 - 23*c**3/6 - 25*c**2. Let t be y(-8). Solve -o + z = -4, -3*o + 6*z = 2*z - t for o.
-1
Let b(i) be the third derivative of i**5/60 - 3*i**4/8 + 5*i**3/3 + 14*i**2. Let c be b(8). Solve -2*w - 14 = -5*s + c*w, s - 6 = 4*w for s.
2
Let d(l) = 2*l**2 + 4*l + 11. Let v be d(-3). Solve -2*p - v = 4*h - p, 5*p - 35 = 4*h for h.
-5
Let b be ((-44)/11)/(2/(-8)). Suppose 2*s = -6*s + b. Solve -5*q = n + 17, -2*q + 2 = 4*n - s for q.
-4
Suppose 11 - 11 = 88*w. Solve 0 = -w*b + 5*b - 2*v + 35, -b - 30 = -5*v for b.
-5
Let f(b) = -2*b**2 - 30*b + 4. Let y be f(-16). Let u = y - -34. Solve 2 = 2*x - 3*m, 0 = -2*x - m + 2*m + u for x.
4
Let i(w) = -13*w - 60. Let c be i(-5). Solve -6*q - x + 20 = -3*q, -c*q = -x - 20 for q.
5
Let p = -53 + 74. Let x be 2/(-8)*-2 - p/42. Solve -3*u - r - 18 = 0, -5*u - 5*r = -x*r + 40 for u.
-5
Let h be 13/11 - 14/77. Let w be h/(-2) + (-14)/(-4). Suppose -3*r - y = -4 + w, 4 = -3*r - 2*y. Solve r*o - 9 = 4*g - 1, 2 = -g - o for g.
-2
Let r be ((-4)/3)/(-10*(-10)/(-375)). Solve 5 = -r*c + 6*c + 4*j, 2*c + 4*j - 2 = 0 for c.
-3
Suppose -x + 2*x - 7 = 0. Suppose 0 = x*i - 5*i - 20. Solve p = -5*m + 20, 0 = -4*m + 2*p - 4*p + i for m.
5
Suppose 2*l - 26 = -4*w, -l = 3*w - 9*w + 19. Solve 5*b + 12 = 3*f, -2*b + w*b - 16 = -4*f for b.
0
Let o be (10 + 4)*8/28. Solve 4*l - o*d = -2 + 18, -5*l + 2*d + 5 = 0 for l.
-1
Let c(l) be the second derivative of l**3/3 + 5*l**2 - 18*l. Let b be c(-4). Solve o = t - 6, -b*t + 2 = -3*o - 12 for t.
4
Suppose 0 = -3*f + 2*f + 3*g - 1, -5*g = 3*f - 11. Solve 0*v - k - 6 = -2*v, 0 = -k - f for v.
2
Let w(t) = -t + 13. Let y be w(8). Suppose -y*p - 26 = -4*q, 4*q - 7*p - 20 = -5*p. Solve m - 2 = 3*z, 4 = 5*m + q*z - 6 for m.
2
Suppose 0 = 5*w - 2*h + 3*h - 23, 0 = 2*w - 2*h - 2. Suppose 0 = -w*a + a. Solve -4*l = -2*i - 22, -4 = 2*i - a*i + 2*l for i.
-5
Suppose 12*t + 33 = t. Let s be (-3 - -2 - -4)*-9. Let r be t/(s/12)*3. Solve v = r*g + 25, -2*v - 5 + 15 = 0 for g.
-5
Let r = -1 - -1. Suppose -2*y = -3*u - 3*y + 41, 85 = 5*u + 5*y. Suppose -3*k + r*k = -u. Solve -2*g - 2*w + 14 = -0*w, 4*g - 4*w = k for g.
4
Let i(v) = -v + 12. Let m be i(10). Suppose 0 = 3*k - 9, -m*n + k - 9 = -2*k. Suppose n*t + t - 4 = 0. Solve t*b = 2*l + 3*l + 15, -2*b - 12 = 4*l for b.
0
Let w(j) = -j**3 - 8*j**2 - 3*j - 3. Let n be w(-8). Solve g - 4*q - 2 = -g, -5*g + 2*q + n = 0 for g.
5
Let a = -198 + 200. Suppose 0*i + 10 = 5*i. Let n(c) = 2*c + 34. Let f be n(-15). Solve -v + f*p - 24 = i*v, 3*p - 17 = a*v for v.
-4
Let m = 33 - 39. Let w be (1/(-2))/(m/36). Solve w = -4*b + 6*r - r, 0 = -3*b + 2*r - 4 for b.
-2
Let w be (3 - 4)*0/1. Solve 4*f + 12 = -w*f - d, -2*f = 4*d + 20 for f.
-2
Suppose 0 = 4*r - 8, -6*f + 13 = -3*f - r. Solve -3*v - 13 = f*x, -2*x + 2*v - 14 = v for x.
-5
Suppose -d + 4*k + 15 = -2*d, -25 = -4*d + k. Let j = 9 - d. Solve -3*h = 2*h + 5*p + 35, j*p + 20 = 0 for h.
-2
Let l(g) = 29 + 5*g - 3*g - 6*g + 3*g. Let x be l(25). Solve -y + z = -x*y + 9, -4*y = -3*z - 25 for y.
4
Let b be ((-48)/(-20))/(9/60). Suppose 2*a - 2 = -b. Let n = -3 - a. Solve -n*f + 2*y + 6 = -3*f, 4*f = -4*y - 24 for f.
-2
Let k be (15/20)/((-1)/4). Let r(v) = -v**3 - 3*v**2 + v + 3. Let f be r(k). Let t be 5 + -1 + (-1 + 1)/2. Solve -2*s - t*o - 8 = f, -5*s = 4*o - 0*o + 8 for s.
0
Suppose 4*d = -8*a + 6*a + 14, 2*a - d = 4. Solve -9 = -3*k - p, -8*k - a*p = -3*k - 19 for k.
2
Let u be 6 - ((2 - 0) + -1). Let g = 85 + -92. Let n(l) = l**2 + 6*l - 5. Let c be n(g). Solve 0 = 3*y + 2*q - c, 0*q = -u*y - 3*q + 5 for y.
4
Let x = -954 - -958. Solve -x*s - 18 = 5*r, 2*r - 5*r - 3*s = 12 for r.
-2
Let g(c) be the second derivative of -c**5/20 + c**4/4 + 4*c**2 + 17*c. Let z be g(3). Solve -3*w - 4 = 4*b - 0*b, 4*b - z = 0 for w.
-4
Let i(m) = -2*m**2 + 15*m - 13. Let l be i(6). Solve 2*g - 5*b - 23 = g, -l*g + 10 = -4*b for g.
-2
Suppose 2*v - 6 = -4*l, -2*v - 6 = -2*l - 0*v. Let a be 3*(1 + l/(-6)). Let c be 7/a*(-48)/(-42). Solve 0 = 5*h - 10*h - 5, c = r + h for r.
5
Let k be (-38)/(-8) + (-1)/(-4). Let q be 19 + -9 - (3 + -1). Let w be 1*(1/(-2))/(q/(-32)). Solve -w*m = 2*m - 2*i + 26, 0 = 2*m - k*i + 33 for m.
-4
Suppose -6*z = -z - 4*x - 7, -z - 5*x = -13. Solve 4*g - 4*t = 12, -2*g + 3*t + 14 - z = 0 for g.
-2
Let j = -72 - -76. Suppose j*w = 4*o + 52, 4*w = -w + 2*o + 68. Solve -4*s + p - 14 = 0, s - w = 2*s + 5*p for s.
-4
Let o(r) = 1 + 0 - 2 - r. Let j be o(-1). Suppose 0 = -5*z, j*l - 6 = -2*l + 3*z. Solve 0*v - 5*g - 12 = 4*v, -l*v - 9 = 5*g for v.
-3
Suppose -19*i - 8 = -20*i - x, 4*i - 5*x - 5 = 0. Solve -6*r + 3*r + 2 = y, 0 = r - 4*y - i for r.
1
Suppose -s = 3*t - 9, -4*t - 2*s = -4*s - 12. Solve 5*n = -0*n + t*c + 2, n = c for n.
1
Let h(z) = -15*z - 5. Let i be h(7). Let t = i - -112. Solve -3*q - 9 = 0, 5*q - 3 = -3*b + t*q for b.
4
Let w(b) = b**3 + 10*b**2 + 18*b + 4. Let h be w(-7). Suppose -3*d = -8*d + 30. Suppose n - d*n = -h. Solve -2*o + o + n*i - 2 = 0, -o - 5*i + 8 = 0 for o.
3
Let m(s) = -s**3 - 12*s**2 + 10*s - 18. Let z be m(-13). Suppose 3*b = 4*l - z, -3*b = 4*l - 2*l - 33. Solve 4*o + l = x, 10 - 4 = -2*o for x.
-3
Suppose 5*k + 38 + 67 = 0. Let l be k/(-15) - 21/(-35). Solve 10 + 3 = -5*a - u, u - 1 = l*a for a.
-2
Let w(r) = -r**3 - 7*r**2 - 6*r + 3. Let n(l) = 4*l + 6. Let q be n(-3). Let f be w(q). Suppose -7*c = -f*c - 20. Solve -1 = 3*y - c*i, -y - 4*i + i = 5 for y.
-2
Suppose -5*r - 4 = -14. Suppose -8*v = -16*v + 32. Suppose v*c - 5*m + 3*m = 6, -15 = 4*c + 5*m. Solve -4*d + r*n + 18 = c, -5*d + 3*n + 27 = 4 for d.
4
Suppose 14*l - 17*l = -5*q + 32, -5*q + 8 = 3*l. Solve -2*j = -2*n + 4, -j + 8 = q*n + 3*j for n.
2
Let q(l