pose n = -a - 0*a. Solve -4*w - 2*m = 0, w = -a*w - 5*m for w.
0
Suppose 7*s = -25 - 45. Let m be s/(-8) + (-19)/(-4) + -5. Solve -4 = -2*y, -f = -6*f - 3*y + m for f.
-1
Let o(m) be the third derivative of m**4/4 - 5*m**3/3 + 35*m**2. Let n be o(2). Let y be (-2)/1*10/(-4). Solve -y*k + 13 - 42 = 3*v, -v + 5 = -n*k for v.
-3
Let d = -99 + 103. Solve -q + 4*f + 4 = -5*q, -4 = -2*q + d*f for q.
0
Suppose -51 + 27 = -3*w. Suppose -3*x - 5*l + 9 = 0, -x = -2*x - 2*l + 3. Suppose x + 5 = 4*u. Solve 3*s - u*k = 0, -w*k + 3*k = -5*s for s.
0
Let z = 52 + 14. Let m be z/24*4/(-1). Let d = -7 - m. Solve 2*g + 9 + 3 = -d*p, -2*g + 2*p + 12 = 0 for g.
2
Let u be (1 - 16/12)*-3. Suppose 0 = 3*b - 41 - u. Solve 2*g - 3*y - 11 = 5, b = g - 3*y for g.
2
Suppose 26*f + 2 = 3*y + 28*f, 2*f - 6 = -4*y. Solve y*u = m + 2, 2*u - 6 = 2*m - 2 for u.
0
Suppose 5*v = 3*v. Let s be (5 + -1 - 5)*(-2 - -3). Let z be (-1)/(s + (-8)/(-10)). Solve v = 2*u + 4*d, 4*u - u + z = -d for u.
-2
Let x(v) = v**2 + 10*v + 3. Let u be 19/(-2) - 5/10. Let j be x(u). Solve 3 = 2*c + i, -j = 3*c - i - 0 for c.
0
Let v be 1*(-6 + 4 + 2). Solve 5*w + 0*w - 3*n = -25, -n = v for w.
-5
Let n = -103 + 108. Suppose 5*p + n*p - 40 = 0. Solve -4*w + 2*w = 3*l - 8, -w - 2*l = -p for w.
4
Let o(u) = u**3 - u - 2. Let f be o(2). Let k be (-4)/((-144)/188) + f/(-18). Solve 5*g = k*d + 25, 2*g - 5*d + d = 10 for g.
5
Let g(l) = 21*l. Let p be 3 + (-5)/((-15)/(-6)). Let t be g(p). Let k be t/6 - 3/2. Solve 4*z - k*z + 4 = -3*d, -2*z = -3*d + 16 for z.
-5
Let v(l) = 13*l + 1. Let j be v(-3). Let h = -24 - j. Suppose -2*n + 25 = -3*k, -3*n = -3*k - 47 + h. Solve 0 = -n*p + 3*p - 10, 0 = 3*c + 3*p - 9 for c.
5
Suppose -b + 39 = 2*v - 29, b = -4*v + 140. Let k = v - 33. Solve l - 3*l - 18 = -4*o, 9 = 3*l + k*o for l.
-1
Suppose 29*k + 4 = 33. Solve -5*j - n - k = 0, 2*n = 4 + 4 for j.
-1
Let q(v) = 2*v**2 + v - 2. Suppose 5*o + 6 = -2*x - 8, 3*o - 2 = 4*x. Let g be q(o). Solve 0 = g*m + 4*p, p - 3*p = -3*m + 5 for m.
1
Let s = 0 + 2. Suppose 3*q - 102 = 75. Suppose n - 95 = -5*z + 6*n, -3*z = -n - q. Solve -w - 1 = -2*f, 5*f + s*w - w - z = 0 for f.
3
Suppose 9*j = 28 - 10. Solve -4*q + 2*q - 13 = w, -j*w - 6 = 0 for q.
-5
Let s(w) = -w**3 - 6*w**2 - 6*w + 4. Let i(v) = -v**3 - 9*v**2 - 2*v - 20. Let d be i(-9). Let q be s(d). Solve q = 3*r + 12, 0*c + 4*r + 8 = 2*c for c.
-4
Suppose 592 - 532 = 12*m. Solve m*d = -3*l - 28, 0*d + 5 = -2*d + 5*l for d.
-5
Suppose 0 = -2*g + 6, -30*b = -35*b - g + 23. Solve h - 9 = -4*i - 1, 0 = -b*h - 3*i + 6 for h.
0
Let j = -13 - -13. Suppose v = -j*v - 4*n - 3, -3*v + 2*n + 19 = 0. Solve v*w = -3*d + 20, 0 = -3*w - 1 + 13 for d.
0
Suppose -d + 0*d = -4*z + 85, 0 = -5*z - 5*d + 75. Let x = z - 16. Let f be (2/6)/(2/12). Solve -5*k + 6*k - 16 = x*h, -3*k = f*h + 22 for h.
-5
Suppose 0 = 3*f - 5*f + 134. Suppose 5*i - f = -17. Suppose i*n - 5*n - 10 = 0. Solve -c = -n*h + 2, 5*h = 5*c - 6 + 1 for h.
3
Suppose -2*r + 14 = -4*b, -r + 4*b + 3 + 6 = 0. Suppose 3*u = -2*u. Solve -w + 5 = -3*t, -r*t = w - u*w - 5 for t.
0
Let u(o) = 2*o**2 + 43*o - 3. Let q(m) = -6*m**2 - 128*m + 9. Let z(l) = -2*q(l) - 7*u(l). Let g be z(-22). Solve -g = -2*t - 5*k, -3*k + 14 = t - 0 for t.
5
Let c be 0/(6 - (-32)/(-4)). Solve 0 = 2*i - 4*k + k - 4, 3*i - 4*k - 4 = c for i.
-4
Let p(w) = w**3 - 3*w**2 + 2*w - 4. Let q be p(3). Let k be (0*q/6)/2. Suppose -28*v + 12 - 12 = 0. Solve -4*b - 3*z - 2 = k, v = -4*b + 2*z - 6*z for b.
-2
Suppose k - 128 = -5*b, -b = -2*k - 2*k + 533. Suppose r - 96 = -3*v - 2*r, -4*r - k = -5*v. Solve 3*s = -3*h - 3, -v = 3*h + 2*h - 3*s for h.
-4
Let k(p) = -p**2 + 5*p + 8. Let i be k(6). Suppose z = -i*n - z + 6, -2*n + 7 = 3*z. Suppose -t = -6 + n. Solve 0 = 2*r + 3*f - 9, t*r - 6*r = -5*f + 15 for r.
0
Suppose -5*w - c + 7 = 0, 7 = w + w - c. Let b be 9/w - 15/(-10). Let i(a) = a**2 - 10*a + 13. Let q be i(9). Solve -q*y = -4*g + 12, 3*g - b - 3 = -y for y.
0
Suppose 5*y + s - 62 = -2*s, -18 = -y + 5*s. Let z = y - 10. Suppose -q + 3*q = -3*w + 17, -4*q - w = -19. Solve 3*o + 3 = z*p, -q*o = -p - 0*p + 16 for o.
-5
Suppose o + 3 = -2*o, -4*o = 5*c - 6. Suppose c*f = 5 + 5. Solve 0*k = 2*k - i + 12, k + 5*i = f for k.
-5
Suppose -119*p = -131*p + 24. Solve -5*x - y + 20 = 0, p*y - 1 = -0*x + 3*x for x.
3
Suppose 0 = -3*q + 15 - 3. Let k(d) = -d**3 + 6*d**2. Let f(m) = -m**3 + 2*m + 2. Let x be f(-2). Let g be k(x). Solve -4*c + 8 = n, g = -5*c + q + 11 for n.
-4
Suppose c + 9 = 4*c - 3*u, 0 = -2*u - 4. Let f(m) = 3*m + 41 - 2*m - 44 - 2*m. Let x be f(-6). Solve -2*n + 4 = 2*k, 5*k + x*n - 5 = -c for k.
-1
Let p(f) = -f + 7. Let b be p(-5). Let a be (b - -2)/(1/1). Suppose -4*x + 6 + a = 0. Solve 5*l + 30 - x = 0, l + 3 = -2*t for t.
1
Suppose -3*m - 12 = 5*f - 37, 4*f + 4*m - 28 = 0. Let q(h) = -2*h - 3 + f - 1 - 6. Let b be q(-7). Solve 2*j = 2*r + b*j - 2, -j - 1 = 0 for r.
3
Let b be (-1)/(-2)*1*6. Let d(j) = 5*j - 23. Let w be d(4). Let g be 0/(-3 + ((-9)/3)/w). Solve v + b = 3*q - 2*q, g = -4*v - 4*q - 28 for v.
-5
Suppose 28 = 361*p - 359*p. Solve -2*h + h = 5*y + p, -y + 2*h + 6 = 0 for y.
-2
Let w be 5/(-25) - 16/(-5). Suppose 3*f - w = 2*f. Let u(g) = g**2 - 19*g + 41. Let q be u(17). Solve y - x = -f, x + q = -0*y - y for y.
-5
Let p be (-5 - -4)*(-15)/5. Solve -20 = -f - 4*u, 15 = -3*f - 0*u + p*u for f.
0
Suppose -38*d + 18*d = -200. Solve w - n = 3*w + 4, 5*w + d = n for w.
-2
Suppose 3*k - 17 = 70. Suppose a + 17 = 5*o - o, -4*o = 3*a - k. Solve -3*i - 9 = 0, a*i + 11 = l - i for l.
-1
Let a be -4 + (-6)/((-6)/(-17)). Let l = a + 25. Solve -l*j - 8 = 3*v + 2, -5*j - 5*v - 10 = 0 for j.
-4
Let j = -1495 - -1500. Solve 3*h = -v + j + 2, 3*v = -15 for h.
4
Let a be 8/(-4)*-1 - 2. Suppose a*h + 3 = h. Solve h*z - 3*p + 2*p = -10, -4*z - 5*p = 45 for z.
-5
Let v(j) = 3*j**2 + 76*j + 27. Let o be v(-25). Solve 3*h - 13 = -4*g + 2*g, 4*g - 22 = -o*h for h.
1
Let q be 3/(-12)*(6 + -6). Suppose -f + 0 + 3 = q. Solve -2*l + 1 = f*g - 3, -3*g + l - 2 = 0 for g.
0
Suppose 3*l - 5*j - 15 = 5, -4*l + 3*j + 45 = 0. Let v(z) = -z**2 + 15*z + 3. Let x be v(l). Solve -4*i + 25 = 3*p, -x*i = p + 3*p - 24 for i.
4
Suppose 26*d = -8*d + 102. Solve -d*t - 4*g = -8, 0*t - 8 = t - 4*g for t.
0
Suppose 3*d - 1 = -t, 5*d - 2*t = -123 + 143. Let p be ((-1)/2)/(1/(-8)). Solve p*s + w + 19 = 0, 4*w = s + 7*w + d for s.
-5
Let z = -187 + 199. Solve 3*a + 2*a + 10 = 5*x, 3*x - a - z = 0 for x.
5
Suppose 10*d - 16*d = -30. Solve 3*j + d*w = 19, 3*j - 2*w + 0*w = -16 for j.
-2
Let t(x) be the first derivative of x**3/3 + 3*x**2/2 - 4*x - 8. Let c be t(-4). Let y = -7 + 15. Solve -4*l + 3*u + 10 = -0*l, c = 2*l + 5*u + y for l.
1
Let a = -2 - -2. Let y be 3 + 0 - (3 - 3). Let h be (4 - y)*a/2. Solve 3*p + 7 = i, 2*p = -2*i - h + 6 for p.
-1
Suppose 6 = -10*i + 36. Solve -2*v = -i*d + 16, 4*d + 24 = -2*v + 9*d for v.
-2
Let a = 54 - 37. Suppose 20 = 2*h + 4*z, 4*h - z - 3*z + 8 = 0. Suppose h*d + 0 - 2 = 0. Solve f - 4*p = -a, -2 - d = -f - p for f.
-1
Suppose -2*l - 160 + 10 = 0. Let q = 50 + l. Let r be q/(-15) - (-1)/3. Solve -3*m - 4 = -2*x, 2 + 6 = -4*x + r*m for x.
-4
Let j(i) = -5*i + 204. Let p be j(40). Solve 0 = p*v - 2*q - 6, -3*v + 3*q = -8*v + 35 for v.
4
Suppose 41*g = 85 + 38. Solve 8*u - 7 = 3*u - 2*t, g*u - 4 = -t for u.
1
Let s be (-2)/9 - (-80)/36. Let q be (-1 - 0) + (6 - s). Solve i - 1 = 2*d + 7, -d = -4*i - q for d.
-5
Let d be 17/(-7) + (-8)/14 - -5. Solve 0 = -d*o - 4*y + 15 + 3, 5*o - 33 = -4*y for o.
5
Let h be (2 - 1/1) + -4. Let n be h/2*(-24)/9. Solve 0 = -4*r + q + 24, r + n*q - 1 = 3*q for r.
5
Let r be 2 - (0 + 0) - 0. Suppose -3*v = r*v - 20. Let f be (48 - 4 - 0)/2. Solve p + f = -v*g, 2*g = 3*g + 4*p + 13 for g.
-5
Suppose 0*o + 25 = 5*o - 5*t, t = -3*o + 7. Solve -o*h = 4*w + h - 4, -4*h = -3*w - 25 for w.
-3
Let g = 111 + -99. Let p be 6 - 1 - 24/g. Solve -2*c + 12 = -p*z, 0*z + 4*z = 3*c - 16 for z.
-4
Suppose -8 = -2*t + 2. Let r = -13215 - -13218. Solve 2*f + 19 = t*z, r*f = -0*f - 2*z for f.
-2
Let j(i) = 5*i + 21. Let o be j(-12). Let l = o - -44. Solve 3*c + 9*d + l = 4*d, -27 = -3*c + 3*d for c.
5
Suppose -3*b = -w - 16, -5*w = -13*b + 15*b + 12. Solve -21 = 5*p - z, -p = -4*z - b + 12 for p.
-4
Let x(t) = -t**3 - t**2 + 2*t. Let u b