-4*p. Solve -m + 3*v - c = -6*m, -4*v - 12 = 0 for m.
5
Let f(j) = 23*j**2 + 158*j + 158. Let c be f(-1). Solve -4*k - 19 = b, 0 = 12*k - 10*k + 5*b + c for k.
-4
Let x(y) = 17*y - 101. Let q be x(7). Suppose q*u - 56*u + 570 = 0. Solve -h - d = -8, -u - 1 = -5*h + d for h.
4
Suppose 1929*n - 1921*n - 24 = 0. Solve n*m = -4*a - 2, 5*m - 10 = -a - 2 for a.
-2
Let r(b) = -40*b - 167. Let q be r(-5). Suppose -44 = -q*m - 11*m. Solve 3*g = -i - m, -5*g - 4*i - 1 = -2*i for g.
-1
Let y = -5709 + 5717. Solve 2*g - 4*l = 2 - y, g + 4*l = 3 for g.
-1
Suppose 0 = 276*s - 2140011 + 2138631. Let c(w) = 2*w - 9. Let d be c(6). Solve -d*h + 5*f = -40, -10*h + 35 = -s*h - 2*f for h.
5
Suppose 1362*f = 1534*f - 2408. Solve 23*r - 10 = j + 20*r, 3*j = 5*r - f for j.
2
Suppose -29 = -i - 9. Let o be (i/(-16))/1*(-2 + -2). Solve -2*z - 12 = b, 2*z - 4*z - 28 = o*b for z.
-4
Let r(z) = 7*z - 219. Suppose -6*p + 3*p - 27 = -c, 4*c = -p + 134. Let t be r(c). Solve -v = 5*w - 11 - 13, 2*v - t = -w for v.
4
Let y(t) be the first derivative of 11*t**2/2 - 145*t - 150. Let o be y(14). Solve 0 = 3*z - 4*l - 3, l + l + o = -z for z.
-3
Suppose -9*g = -10*g + 5*l + 158, -5*g = -2*l - 721. Let f = 143 - g. Solve f = -0*m - m + 1, 4*a - 4*m = -8 for a.
-1
Let k(v) be the first derivative of v**3/3 + 2*v**2 - 56*v + 9. Let q be k(-10). Solve -q*b - 5 = -3*x, -2*b + x - 15 = 2*b for b.
-5
Let l be (16 - -169)/37 + 3 + 0. Solve -4*i - l = -4*o, 22*i + 18 = 23*i + 3*o for i.
3
Suppose 3*s - 300 - 5235 = 0. Suppose -1839*t - 24 = -s*t. Solve 3*o + 1 = -2*h, -t = h + 1 for o.
3
Suppose 60 = 5*x + l - 0, -l - 18 = -x. Solve -2*o + 12 = 5*c, -8*o + x*o + 40 = 5*c for o.
-4
Let b(k) = -1207*k - 9656. Let v be b(-8). Solve v*d - 2*d = 6*u + 8, -4*u - 8 = 2*d for d.
-4
Let d = 3318 - 3309. Solve -d*h + 10*h = -i, -4*h = -i + 20 for h.
-4
Let m = 6 + -10. Let i be (-4)/(-2)*(-2)/m. Suppose 4*t = w - 51, -10*w - 355 = 2*t - 361. Solve 28 = 5*n + 2*b, 5*b - 7 = w*n + i for n.
4
Let l(q) = q**3 + 7*q**2 + 8*q + 16. Let u be l(-6). Let v be (1 - 5)*2/u + 4. Solve -v*a - 18 = 5*h, -5*h + 5*a + 16 = -3*h for h.
-2
Let h(v) = -v**2 - 8*v - 13. Let p = 187 + -94. Suppose 5*o = -118 + p. Let n be h(o). Solve 2*q + 2*w = -n*q + 20, q + 2*w = 8 for q.
4
Suppose 3*d = -20 + 2. Let c be (17 - 14)*(-4)/d. Suppose -12*j + 22 = -j. Solve -u - 4 = j*k, u + 4 = -3*k - c for k.
-2
Let a(w) = 8*w + 25. Let c(h) = -4*h - 13. Let f(n) = -6*a(n) - 11*c(n). Let v be f(-5). Let j = 910 - 907. Solve -1 = -4*g + j*s + v, -2 = -s for g.
5
Let u(f) = 2*f + 22 - 3*f + 0*f - 9. Let q be u(6). Suppose 0 = 3*b - q - 2. Solve 5*k = 15, -k = -t - 2*t + b for t.
2
Let c(q) = q + 3. Let a be c(6). Suppose -29 = -i + a. Let w = 40 - i. Solve 5*l - 20 = w*u + 3*u, 3*l - 13 = 4*u for u.
-1
Let i(l) be the second derivative of 0 + 1/20*l**5 - 6*l + 5/2*l**3 - 13/2*l**2 - 5/4*l**4. Let d be i(14). Solve -f - 2*g - 2 = d, -g - 9 = -2*f for f.
3
Let f(r) = -8*r. Let x(b) = -b - 9. Let l be x(-12). Let n be (-11)/l - (2/6 + -1). Let o be f(n). Solve -1 - 11 = -4*d + q, -4*d - 2*q = -o for d.
4
Let z be ((3 - -2) + -4)/(-1)*-1*3. Solve -5*w - z*p - 5 - 23 = 0, 32 = -w - 5*p for w.
-2
Let j(s) = -s**2 + 2*s + 222. Let x be j(0). Suppose 36*y + x = 33*y. Let r = -71 - y. Solve 0 = 4*a + 2*c + 12, r*c + c = 2*a + 26 for a.
-5
Suppose -8 = 4*r, -2*r + 4*r = 3*m - 13. Let d be m/5 + 21/15. Solve 5*l + 0 - 8 = d*v, 4*v - l = 2 for v.
1
Let l(x) = x**3 + 32*x**2 + 57*x - 90. Let t be l(-30). Suppose t*a - 2*a = -18. Solve -2*y = -6*y + 4*i - 12, -3*i + a = -y for y.
0
Suppose d - 13 = -5*t, 3*t + 13 - 7 = 4*d. Suppose -5*p = -3*p + 4*p. Solve 2*s - y - 5 = p, -t*s + 2*y + 4 = -s for s.
2
Let u = 7735 - 7725. Solve -20*p + 19*p = 2*g - u, -5 = 5*g - 5*p for g.
3
Suppose -11 - 34 = -7*s - 2*s. Solve -v = 5*r - 11 + 20, 20 = -s*v for r.
-1
Let a be 336/(-308)*(-22)/3. Solve 0 = 4*x + o, -2*x - 4*o + a = 22 for x.
1
Let m(v) = -v**3 - 6*v**2 + 248*v + 19. Let c be m(-19). Solve -4*r = -3*j - 10, c - 10 = 5*j for r.
1
Suppose -3*j = 4*x - 31, j + 7 + 6 = 2*x. Suppose m + 5*s - 10 = x, 3*s - 1 = 4*m. Solve 3*q + 4 = -m*g - 6, -q - 1 = 3*g for q.
-4
Let c(y) = 2*y**2 + 14. Suppose 16*d - 15 = 21*d. Let q be c(d). Let x = -3 + 6. Solve 0 = x*v + 5*b - q, v + v - 16 = -2*b for v.
4
Let y be -7 + 0 - -2 - (25 - 38). Suppose -u = 2*j - y, -3*j = 5*u - 7*j + 16. Solve 0 = 5*p - 4*m + 1, 1 = -p - u*p + m for p.
3
Let u = 6 + 12. Let k(g) = -150*g + 600. Let c be k(4). Solve w + 2 = 0, c*j + 4*w + u = -2*j for j.
-5
Let g(s) = 16*s**2 - 3*s. Let b be g(2). Let k(v) = -424*v - 8114. Let o be k(-19). Let m = o + b. Solve -4*i + 2*f + 0*f + 6 = m, 3 = 3*f for i.
2
Let d be (7 + -20 - -13)/(-3 - -9). Solve d = 4*u - 2*n - 12, -u + 11 = -4*n + 8 for u.
3
Let x(w) be the first derivative of -3*w**2/2 - 15*w - 17. Let m be x(-6). Suppose 4*a - m*a = 4. Solve 0 = a*v + 20, -4*v - 19 - 1 = -2*c for c.
0
Suppose -150*f - 76 = -169*f. Solve 3*p - f*n + 23 = 0, 3*p + 5*n + 4 = -1 for p.
-5
Let m(o) = -4*o + 34. Let p be m(7). Suppose 3*s + p = -3*d, 3*d + 3*s - 18 = 6*s. Solve -h - h = 4*u, 3*h - 8 = -d*u for u.
-2
Suppose 0 = -39*h + 67*h. Solve -5*g + 9 + 3 = 2*x, 5*g + x - 16 = h for g.
4
Suppose -12 = 3*v, -3*v = 24*o - 25*o + 17. Solve o*s + 25 = -5*m, -3*s = -18 + 24 for m.
-3
Suppose 2924 = 19*p + 2829. Let g(w) = w. Let i(b) = -6*b + 10. Let v(n) = 5*g(n) + i(n). Let l be v(p). Solve -j = 2*x + 4*j + 2, 2*x - 18 = l*j for x.
4
Suppose 420 = 95*y - 74*y. Let p be (y/(-70))/((-1)/14). Solve 0 = -5*a + t + 5, -2*a + 7*a + p*t = 5 for a.
1
Let o(k) = -k**2 + 3*k + 44. Suppose 0 = 3*u - 14*u - 55. Let l be o(u). Solve l*p - 12 = 5*w, 3*p + 7*w - 2*w + 26 = 0 for p.
-2
Let c = -56 + 96. Suppose -c = 5*m - 10*m. Solve 4*t + 9*f - 4*f - m = 0, t - 2 = 4*f for t.
2
Suppose 11*a = 7*a, -5*o + 3*a = -145. Solve 5*c - 2*k = -28, -4*c = 33*k - o*k for c.
-4
Suppose 2*c = 3*v + 34, -147 = -5*c + 12*v - 26. Let x be (-4)/10 + (-64)/(-10). Suppose 4*j - 10 = -j. Solve z = c*h - 9, j*z - 13 = x*z + 3*h for z.
-4
Suppose t + 0*t + 8 = 3*o, -5*t = -4*o - 4. Let j be -5 - (-3 - 0/(-5)). Let s = j + 4. Solve -v = 4, 0 = -s*i + 6*i + t*v + 16 for i.
0
Let d = 411 - 356. Suppose 51*p - 40*p - d = 0. Solve 12 = p*t + 2*h, 5*t - 8 = h - 4*h for t.
4
Suppose 645 = 18*t + 609. Solve 0 = t*p + 3*f + 15, 2*p - 9*f - 5 = -8*f for p.
0
Let r be 11/((-33)/(-12)) + 4. Let j be r + (-1 - (-6)/(-6)). Solve 4*q - 2*d + j = -4*d, -q - 9 = -d for q.
-4
Let c = 172 - 170. Let h be (-1)/c*1*124/(-31). Solve -h*m - 7 = -3*o - 2*o, 0 = -o + m - 1 for o.
3
Let d(c) = c + 1. Let b be d(4). Suppose 0 = -4*t + 5*m - 71 - 144, b*t = -2*m - 277. Let o = t - -59. Solve 0 = 3*h + 2*h - o*g, 0 = -3*h - 3*g for h.
0
Suppose 4*n - 1 - 15 = 4*l, 0 = 2*n + 5*l - 43. Let z be 1*n/36*0. Solve -2*g + 0*d - 5*d - 19 = z, 2*d + 1 = -3*g for g.
3
Let b(l) = -l + 3. Let p(k) = 2*k**2 - 11*k - 5. Let r be p(6). Let d be b(r). Suppose -3*w = w - 20. Solve 4*z - d = -3*h - 5, -5*h - w = -z for z.
0
Let g be (2 - 8)/2 - ((3 - 7) + -29). Solve 5*m - 5*p = g, 2*m + 2*p = 5*m - 11 for m.
-1
Suppose -r = 3*r + 4*l - 40, -5*l - 76 = -4*r. Suppose 3*h - 20 = -5*f - 2*h, -3*f + r = 5*h. Solve 0 = 2*y, -f*u + 4*u - 3*y - 4 = 0 for u.
4
Let x(r) = -r**3 + 3*r**2 + r - 4. Let h be x(3). Let z = h - -3. Let b be ((-126)/(-315))/(((-1)/(-15))/1). Solve -4*d + 3*j - b = 17, 2*j = -z*d + 6 for d.
-2
Suppose 0 = -8*s + 845 + 147. Let p = s - 122. Solve -p*b - 3 = 5*x - 11, 4*b = -2*x for b.
-1
Let c = 393 - 475. Let y = c - -82. Solve -3*v + 4*j - 11 = y, 0 = -v - 2*v - 4*j - 19 for v.
-5
Suppose n + 17 = -89. Let b = n + 124. Solve c - b = 4*h, 0 = -3*h - 5*c - 4 + 2 for h.
-4
Let z(g) be the first derivative of g**4/4 + 2*g**3/3 - 6*g**2 - 8*g + 49. Let v be z(-4). Solve -b - b + 5*u - 12 = 0, -4*b + 2*u = v for b.
-1
Let d be 1 - (9 + (-4 - 0) - 7). Solve -i + d = 2*u - 0, -12 = -4*i + 2*u for i.
3
Let q be ((-18)/15)/((-6)/45). Let x(y) = 6*y - 3 - 19*y - 2*y + 7*y. Let z be x(-1). Solve z*h = -10, 2*h + q = -p - 0*h for p.
-5
Let b = -25954 + 25981. Solve 3*s = -2*r + 13, 3*r = 2*s + 8*r - b for s.
1
Suppose -4*j + m = -126, -26 = -j + m + 2*m. Let l = 32 - j. Suppose -18 = -2*w - 5*k, -3*w = 4*k - 20 - l. Solve -2*g - 2 + 