3*m, 0 = 4*p + d*m + 4 + 12 for p.
1
Suppose 2*x - 5 = -11. Let p = -2 - x. Let n = p + 3. Solve n*q + 11 = l - 4*l, -22 = -2*q + 4*l for q.
1
Let i(n) be the first derivative of -n**3/3 - 5*n**2/2 + 3*n + 1. Suppose 44*x = 37*x - 35. Let m be i(x). Solve 5*j - 23 = -c, 2*j = -0*j + m*c + 16 for j.
5
Let f(m) be the second derivative of m**5/20 + m**4/3 - 7*m**3/6 + 9*m**2/2 + 23*m. Let x be f(-5). Solve -x = p + 3*h, 0 = -2*p - 3*h + 3 - 26 for p.
-4
Suppose -3*d + 19 = 2*y, 2*y - y - 12 = -d. Let v = -12 + y. Solve 4*b - 3*j = v*b + 7, 0 = b + 4*j + 8 for b.
-4
Suppose 2*u - 2*j = -0*u + 4, -4 = u - 4*j. Suppose -1 = -b, -2*l = -l + 2*b - u. Solve -6*x = -2*r - l*x + 14, 14 = 5*r - 3*x for r.
1
Let w = 111 - 99. Solve 5*r - 20 = -2*i, i - 4 = 2*r - w for r.
4
Suppose 5*s = 8*s - 81. Let h be (-6)/s + (-166)/(-18). Suppose 0 + 3 = 3*u. Solve y + h = a + u, -28 = -2*a + 5*y for a.
4
Suppose 40 = 5*a - m, -4*a - 2*m + 16 = -2*a. Solve -4*o - 37 = 5*r, 35 = -5*o + 4*r - a*r for o.
-3
Suppose 5*z = 34 - 9. Solve 16 = -w - 3*d, 4*d - 4 = z*d for w.
-4
Let q(h) = -h**2 - 6*h - 3. Let k be q(-3). Suppose -4*o + b - 4*b + 12 = 0, 2*b = 0. Solve 0 = -3*a + o, 0 = -0*w + w - 3*a + k for w.
-3
Let n(w) = 3*w**2 + 7*w + 5. Let q(b) = -13*b**2 - 29*b - 21. Let p(i) = -9*n(i) - 2*q(i). Let h be p(-2). Solve 0 = -2*a + a - h*s + 10, s - 6 = -3*a for a.
1
Suppose -p = -5*t + 540, 0 = t + 3*p + 2*p - 108. Suppose t - 3 = -5*j. Let q be (-1)/(-2) + j/(-6). Solve h - 2 = -q*n - 6, -10 = -3*h - n for h.
4
Suppose 41 = 2*f - 49. Suppose -3*j - 2*j = -f. Suppose 7*i = j*i - 8. Solve -2 = z - i*k, 2*k - 3*k + 8 = -4*z for z.
-2
Let u = -55 - -60. Let g = u + -1. Solve -g*c = 3*y, -3*c + 15 - 36 = -3*y for c.
-3
Let b = 1815 + -1811. Solve 0 = -m + t + 4, -2*m - b*t + 8 = t for m.
4
Let x = 557 - 548. Solve -4*a - 25 = -s - 3, -3*s = 3*a + x for s.
2
Let o = 7 + -10. Let a = 7 + -4. Let h be (-16)/(a + o - 2). Solve -4*z - u + 10 = 0, u = -3*u - h for z.
3
Let m be -6 - (-23 + (-6 - -3)). Solve 0 = u - 5*n + m, -3*n - 10 = -u - 8*n for u.
-5
Suppose 2*z = -h + z, 3 = -4*h - 5*z. Suppose 4*i - l + 2 - 5 = 0, 0 = 3*i + 2*l - 5. Suppose i = 2*o - 3. Solve -2*r + h*k = o*k + 13, k = -r + 1 for r.
-4
Let v(n) = 5*n - 37. Let x be v(10). Let a = 17 - x. Solve -18 = 5*c + i, 0 = -a*c + 2*i - 9 - 11 for c.
-4
Let x = -472 + 494. Solve -p - 5*r = 2*p + 27, -2*r - x = 4*p for p.
-4
Let f = 246 - 246. Solve 4*o + 2*t - 16 = f, 4*o - 3*o - 2*t - 4 = 0 for o.
4
Let k(d) be the first derivative of 3*d**2/2 - d - 12. Let x be k(1). Solve 0 = 3*s + x*t - 12, -5*t + 21 - 6 = 0 for s.
2
Let g be (1 + 6)*(-8)/(-28). Let q(r) = -2*r**3 + r**2 - 2*r - 3. Let p be q(-1). Solve -h = p*c + 4*h - g, 0 = 5*c + 5*h + 10 for c.
-4
Suppose 5*g = 15, s - 4*g + 22 = 2*s. Suppose -4*l + s = l. Suppose -3*z = -4*h, -3*z = -l*h + 5*h. Solve 5*v = 5*u + 40, 4*u + h*v + v + 12 = 0 for u.
-4
Let m = -33 + 36. Suppose -2*g = m*g. Suppose g = 3*o - 16 - 23. Solve -2*r - o = j - 0*r, 0 = 5*j - 5*r - 10 for j.
-3
Let v(c) = -5*c + 2 - 7*c**2 + 0*c**3 - c - c**3. Let s be v(-6). Let f be (8/(-3))/(s/(-3)). Solve f*p - b = -11, 5*p + 4*b = -10 - 9 for p.
-3
Let q(d) = d**3 - 12*d**2 - 105*d - 36. Let w be q(18). Solve 21*v - w*v = -4*t - 25, -19 = v + 4*t for v.
-3
Suppose -5*u + 15 = 3*z, -20 = -4*z + 5*u - u. Solve 28 = -5*q + p + 8, 4*p - 20 = z*q for q.
-4
Let p(a) = -a**2 - a + 2. Let f be p(-2). Let c = f - -5. Suppose -2*j + 18 = 2*q, 3*q - 2 = q. Solve -3*t - c = 5*z, -t + 3*t = -z - j for z.
2
Let o be (1 - 11) + 11 + 1. Let y be (-1 + (3 - 2))/(-1). Solve -3*x + 4*l - 9 + o = y, 0 = x - 4*l + 5 for x.
-1
Let w(a) = a**2 - 8*a - 2 + 4 - 2*a. Let u be w(10). Let x = u + 1. Solve -y = -x*k - 12, y - 9 = 2*y + 4*k for y.
3
Let n be (0 - -4) + -14*(-5)/10. Solve 4*c = 2*u, -3*c - 4*u + 11 + n = 0 for c.
2
Suppose 0 = 18*i + 8*i - 3*i. Solve -3*q + 4 = -4*n - 16, i = 3*q for n.
-5
Let j be (-1)/(9/(-2)) - 140/(-18). Let i = 2 - 0. Suppose -2*l - i*l = d - 16, l - 4*d = 4. Solve 0 = 4*w + j, -2*z - w - 2 - l = 0 for z.
-2
Let q(h) = h**3 - 3*h - 3. Let z be q(-3). Let b = z - -23. Solve 2*o - j = -b, o + 2*j = -j - 8 for o.
-2
Suppose -4*j + 5*s + 13 = 0, -4*j + 5 = 2*s - 1. Suppose j*g = -g + 4*g. Solve r = -h, h + 0*h + 3*r - 10 = g for h.
-5
Let i = -24 - -26. Suppose -2*r + 18 = 5*h, 0 = i*h + 4*r + 5 - 25. Suppose h = -3*l - 13, 5*b + l - 30 = 0. Solve -5*m + 0*m + 2*a = 15, a = 2*m + b for m.
-1
Let c(q) = 2*q**2 - 2*q + 1. Let k be c(2). Suppose -6*m + 10*m + 16 = 0. Let o = 12 + m. Solve -k*w + o = -4*s - 3*w, -s - w = -4 for s.
0
Let c = -846 - -848. Suppose 3*r - g = -10, 4*r = 5*g - 2 - 26. Let j be r - (-7 - -2)*1. Solve -j*b = b + 4*w - 4, w = -c*b - 2 for b.
-3
Suppose 0 = 4*c + c - 205. Let m = 51 - 46. Suppose -f - 2*g + 14 = 0, 0 = -0*g + g - m. Solve -k = -v - 3*v - 11, -5*k - f*v = c for k.
-5
Suppose 8*r - 8 = 7*r. Suppose -r*t - 9 = -11*t. Solve -2*l + 5*d - t*d - 6 = 0, d = -4*l - 22 for l.
-5
Suppose -4*o + 12 = -o - 3*a, 3*a + 22 = 5*o. Solve -7*j + 2*j - c + 6 = 0, 5*c + 30 = o*j for j.
2
Suppose -3*p = n - 7, 15*p - 11*p - 3 = 5*n. Solve p*m + 9*a = 7*a + 2, 3 = 4*m + 3*a for m.
0
Let r = -628 + 386. Let i be r/(-14) + 4/(-14). Suppose 3*c - i = -c - l, -15 = -3*l. Solve -3*a + 6 = 3*q, c*q + 18 = 3*a + 2*q for a.
5
Let z(p) = p - 7. Let w be z(7). Let l be 5 + (2 + -3)*w. Solve -y + 2*d + 3*d - 16 = 0, -l*y = d - 24 for y.
4
Let o(j) = -6*j + 9. Let t be o(1). Let a = 108 - 60. Suppose -i - 4 = -6, 4*i = -4*x + a. Solve 0 = -v, -2*w - x = -0*v - t*v for w.
-5
Suppose 3*s - 13 = 20. Suppose -2*j = 2*p - 2, 0 = -j - 2*j + p + s. Solve 4*i + 11 = j*r - 0, 0 = 2*i - r + 7 for i.
-5
Suppose 95 = 4*a - 9*a. Let s be (-1 + 2)*(1 + a/(-1)). Solve 4*q = -g + 5*g - s, 0 = 4*q - 5*g + 23 for q.
-2
Let v = -150 - -138. Let w be v/90 - (-64)/30. Solve 0*b = -2*u + b, 3*u = -w*b for u.
0
Suppose -5*y + y + 20 = 0. Let o be (-2 + 1)*(-13)/1. Solve -3*k + 2 = 3*c + y, k = 2*c - o for k.
-5
Let q(n) = n**3 + 8*n**2 + 4. Let f be q(-8). Let t be (-2)/(-2) - (0 - f). Suppose -t*u + 4 = -4*u. Solve 0*i + 2*h = u*i - 26, 4*i + 4*h = 8 for i.
5
Let c(j) = j**3 + 5*j**2 + 4*j + 4. Let y be c(-4). Let p(t) = 15*t - 26. Let u be p(2). Solve -2*w - s = -u*s + 11, -y*w - 15 = s for w.
-4
Suppose d - 3*g - 60 = 2*g, 5*g = 5*d - 200. Let s = -32 + d. Let f = -1 + 6. Solve -f*l + 4*n + 3 = 0, 3*l + s = 5*l - n for l.
3
Let c(t) = -t + 40. Let u be c(11). Let o = u + -25. Solve 0*f = -o*f + 4*r - 8, -r = 5*f + 4 for f.
-1
Suppose 0*i - 32 = 4*i. Let g = -5 - i. Solve -4*b - 4 = 2*m, -m + 5 = g*b - 8*b for m.
0
Let y = 41 + 62. Suppose 5*r + y = -77. Let v be (r/(-27))/((-2)/(-3)). Solve -3*z - v*w + 2 + 4 = 0, 0 = -z - 3*w - 5 for z.
4
Suppose 2*z = -3*b + 77, 3*z = -2*b + 60 + 53. Solve 4*j + 8*x - 3*x + z = 0, -3*x = j + 18 for j.
-3
Suppose 4*j - 115 = n, -15*j = -20*j + 2*n + 143. Solve 0 = -3*u - 2*z + 17, j = 8*u - 3*u + 4*z for u.
5
Let f = -23 - -23. Suppose f = -3*c + 7*c. Solve 5*i + a - 1 = c, 0 = 3*i - 4*i + 3*a - 3 for i.
0
Let k(t) = t**3 - 41*t**2 + 45*t - 188. Let r be k(40). Solve -5*o + r + 3 = -4*q, -4*o - 3*q = -12 for o.
3
Let f be -70*(-1 - 10/(-20)). Solve q = 3*o + 13, 5*o + f = -0*o + 5*q for o.
-3
Suppose -64 = -12*t - 4*t. Solve 0*c - 5 = -c, 2*g - t*c = -18 for g.
1
Let s be 1/2 + (-21)/(-14). Let x(p) = -10*p - 5*p**2 + 4*p + 2 - 4*p + 6*p**s. Let q be x(10). Solve 0 = 2*y - 0*r + 4*r + 20, -q*r - 10 = 2*y for y.
0
Let j = -2173 - -2187. Suppose x + 16 = 5*x. Solve q - 5 = 5*c - x*q, 4*c + 2*q = j for c.
2
Suppose -a + 78 = a. Let w = a + -39. Let v = 6 - -11. Solve -2*p - 3*c + v = 0, 3*p + 5*c - 14 - 13 = w for p.
4
Let y(r) = r**2 - 5*r - 2. Let q be y(6). Suppose -5*m - 5*x = -35, 0 = m + 5*x - q - 11. Solve -3*f + 12 = 0, -2*o + m*o + 3*f - 18 = 0 for o.
2
Let s be (-40)/8*9/(-15). Suppose p - 18 = -p - s*g, -2*g - 16 = -p. Solve 4*o + p = -3*n + 6*o, 0 = -n - o + 1 for n.
-2
Let y = -235 + 253. Let r = 12 + -9. Solve 2*s = 4*z + 4 - y, -r*s - 17 = -4*z for z.
2
Let q(v) = -7*v**2 + 61*v + 140. Let h(n) = -3*n**2 + 30*n + 70. Let m(r) = 5*h(r) - 2*q(r). Let l be m(30). Solve -l - 4 = -2*p + 4*g, 4*p + 11 = -5*g for p.
1
Let b = -5 + 7. Let m = 23 + -23. Suppose -3*l + m*