 2*f, -f + 3*f = -4 for v.
-4
Let s be 2/(-4)*(11 - 13)*4. Solve 29 = s*x - 5*k, 4*x - 22*k - 19 = -19*k for x.
1
Let m(s) = s**3 - 10*s**2 + 23. Let w be m(10). Suppose 30*j = w*j - 231. Let x = -30 - j. Solve -2*c + 4 = 2*c - 4*g, -4*c = -x*g - 7 for c.
4
Let f be -4 + 6*(-7)/(-21). Let t = 23 - f. Solve 2*u - 5*d + 8 = -27, 4*u - d + t = 0 for u.
-5
Let s(d) = 6*d - 4. Let z be s(6). Let w = 39 - z. Suppose -6 = -w*m + 4*m. Solve m*c - 10 = -v, 4*c = 2*c + v + 6 for c.
4
Suppose 2*h - 5*r - 20 = 0, r = 22*h - 19*h - 17. Solve -10 = q - 5*f, -2*f = -2*q - h*f + 19 for q.
5
Suppose -2*b - 3*b + 10 = 0. Suppose 26 = 17*a - 12 - 47. Solve -h + 0*h - b*x = 0, a*x = -3*h for h.
0
Suppose -21 = -3*j + 2*q, 2*j - 34*q + 29*q = 25. Suppose -5*o = j*f - 40, 11*o + 7 = 13*o - f. Solve -3*m + 28 = -0*p + o*p, 2*p = -m + 11 for p.
5
Let t(v) = -6 - 10*v - 3 - v**2 + 0 - 4*v. Let n be t(-13). Let u be 4/(-6) - (-77)/21. Solve f = -u*b + 6*f - 7, 0 = b - n*f for b.
-4
Let d be (-4)/14 - (-1 + (-74)/14). Solve m = -3*h + d, h - 2*h - 8 = -3*m for h.
1
Let p = -236 + 239. Suppose 2*d - 10 = 0, p*n = d + 10 - 9. Solve 13 = -l + 2*x, 0*l = -n*l + x - 14 for l.
-5
Suppose 37*k - 125 = -27*k + 259. Solve 4 = -202*r + 204*r + f, 3*r - k = -f for r.
2
Let w(n) = -n**3 + 4*n**2 + 4*n - 6. Let g be w(4). Let l = 20 + g. Let c = -73 - -75. Solve -c*x - 3*x = 5*q - 50, 0 = -2*x - 4*q + l for x.
5
Let h(m) = -2*m**3 + 14*m**2 - 8*m - 24. Let c be h(6). Suppose c = 4*f - n - 8, 5*n - 19 = -2*f + 7. Solve z + 1 = g - 0, 2*g + f*z + 13 = 0 for g.
-2
Let n(v) = -11*v**2 + 37*v + 127. Let x be n(-4). Let c = -197 - x. Solve c = -3*m - 3*l + 3, -2*m - 5*l + 2 = -3 for m.
0
Let d = -16389 + 16401. Solve n - 3 = v, -4*v + d*n - 4 = 10*n for v.
1
Suppose -1397*d - 16 = -1405*d. Solve 5*y = j - 3*j - 8, -5*y - 12 = -d*j for j.
1
Suppose -355*o = -351*o - 2*l - 16, 6*o + 3*l = 12. Solve a = -9*b + 14*b - o, 1 = a - b for a.
2
Suppose 5*w = -5*c - 228 - 127, 2*c + 213 = -3*w. Let f = -13 - -86. Let r = f + w. Solve h = -a + 4, -r*h + 3*h + 16 = 3*a for h.
-1
Let h(t) = -2*t**3 + 259*t**2 + 393*t + 5. Let j be h(131). Solve 8*d = a + j*d + 10, 2 = -5*a - d for a.
-1
Let p be (-5 - -3)*((-6)/21 + 146/(-28)). Solve 3*m - 21 = -5*j, 4*m + 0*m + j - p = 0 for m.
2
Let d = 85 + -81. Suppose -16 = -5*j + 5*h + d, -5*h + 15 = 2*j. Let x(b) = 7*b - 25. Let r be x(j). Solve 0 = 5*y - 3*u - r, -2*y + 4*u = -3*y - 21 for y.
-1
Let v = -375 - -390. Suppose v*i - 21*i = -30. Solve 3*g = 2*m + 9, 4*m + m - i*g = -10 for m.
3
Suppose 0 = -6*p + p - 2*m + 1, 2*p - 3*m = 27. Solve -2*c = 3*v - 1 - 12, 2*v = p*c for c.
2
Suppose -h + 138 = 158. Let p be (-4 - -3)*(-6)/((-24)/h). Solve -2*u = -n + 3 + 6, p*n + 5 = 0 for u.
-5
Suppose 35*l = 20*l. Suppose l = -8*r + 24. Solve r*n + 1 = -3*o - o, 0 = 2*n - 3*o - 22 for n.
5
Let w = 6 + -4. Suppose -6*b = -16*b + 170. Suppose -8*i = b - 41. Solve 0 = -2*z - i*z - w*g + 5, -z - 2*g = 7 for z.
3
Let g = 1736 + -1736. Solve g*s - 15 = -5*z + 2*s, 2*z + 23 = -5*s for z.
1
Let t(j) = j**2 - 5*j - 31. Let l be t(7). Let z be (-24)/56 - l/7. Suppose -31 = -5*w - 11. Solve -14 = 4*o + 2*b - z, 4*o - w*b = -12 for o.
-3
Let r = 436 + -442. Let w be -9*((-2)/(-18))/(1/r). Solve c + 20 = w*c, -4*c = -4*t - 36 for t.
-5
Let p(n) = -n**2 - 8*n - 11. Let c be p(-2). Let h be c + 2/4*-2. Solve h = -3*w + 2*u - 19, 0 = 4*w + 4*u + 13 - 1 for w.
-5
Suppose -4*b - c = -2*c - 129, b = 3*c + 46. Suppose -b*n = -22*n - 189. Solve 3*s = -3*u + n, 0 = -4*u + 4*s - 6 + 2 for u.
3
Let q = -71 + 58. Let g = -8 - q. Solve 3*u = 2*p - 7*p + 8, -5*u = g*p - 10 for u.
1
Let o(n) = -7*n**2 + 61*n + 41. Let y be o(9). Solve 4*s - y = -3*l, 11*l + 2 = 13*l for s.
5
Suppose -1876 = 5*z - 12*z. Let r = z - 260. Solve -3*w + w - r = 4*q, -4*q - 32 = -4*w for q.
-4
Let b = 44 - 44. Let y be (-304)/(-30) + b + (-2)/15. Suppose 0 = -10*t + 5*t + y. Solve 4*d = 5*j + 5, -t*j - j - 3 = -2*d for d.
0
Suppose -2833 = -8*a - 2793. Solve 4*k + 4*m = 3*m + 1, 11 = a*k - 2*m for k.
1
Let v(p) be the first derivative of -p**4/4 + 7*p**3 + p**2/2 - 20*p + 49. Let s be v(21). Solve s = -3*c + 7*c + n, 0 = c + 3*n - 3 for c.
0
Let h = -57 + 65. Suppose h = 4*v + 2*p - 8, -3*v = -p - 7. Suppose v*k + 3*z = -9, -4*z - 10 = 2*k + 6. Solve -14 = 2*a + k*r, a - 3*r - 5 = 4 for a.
-3
Suppose -5*l - 1110 = -4*n, 0*n - 5*l - 550 = -2*n. Suppose -c = -5*c - n. Let u be 4/6 - c/21. Solve -j - 19 = -u*d, 6*j + 4*d - 24 = 2*j for j.
1
Let g = -11 + 8. Let y = g + 14. Suppose -y*r + 9 = -24. Solve l + r = -3*w, 0*l - 4*w - 3 = l for l.
-3
Let u(f) = -f + 5. Suppose -3*s - s = -2*i + 20, 5*s = -5*i + 35. Let b be u(i). Let n be b - 20/(3 - 7). Solve n*c - 5 + 2 = -x, 0 = -5*x + 5 for c.
1
Let g(b) = -b**3 + 18*b**2 - 19*b + 35. Let q be g(15). Let j = q - 423. Solve h + 0*h = j*s - 9, -2*s - 21 = 5*h for s.
2
Let q be 138/(-69) - ((-2)/3)/((-2)/(-21)). Solve -32*i = -33*i - q*a - 2, -2*i + 4*a = -10 for i.
3
Suppose 3*x + 4*a + 19 = 12, -4*x - 8 = 5*a. Let d be (x + -6)/((-3)/4). Solve -2*g - z + 3*z = 12, 3*g + 11 = -d*z for g.
-5
Let q(y) = -y**3 - 10*y**2 - 14*y + 7. Let s be q(-8). Let w be (1 - -6) + -12 - s. Solve -3*p + h - 3*h + 15 = 0, 20 = w*p - 4*h for p.
5
Let u = 8685 - 8660. Solve 0 = -4*k + 17*l - 19*l - 10, -u = 5*k + 5*l for k.
0
Suppose 2*w = y + 7, 8*y + 21 = 10*y + 3*w. Suppose -4*a + y*s = -16, -5*a - s = -6 - 14. Solve -a*f + 2 = 5*l, 3*f - 2*l = -3*l + 7 for f.
3
Suppose 0 = -40*j + 36*j - 4*n, 3*n + 14 = 4*j. Solve -37*l + 36*l - j*p = 8, -l + 4*p + 16 = 0 for l.
0
Let i(s) = s**3 + 5*s**2 - 2*s - 10. Let r be i(-5). Suppose q + 4*u + 0 = 18, r = -2*q + 3*u - 8. Solve 12 = -3*a, q*m + 2*a + 20 = -2*a for m.
-2
Let j be 5/(3*(-2)/(-6)). Suppose -43 = -j*i + 7. Suppose 20*n + 39 = -12*n + 45*n. Solve -n*u + 5*u - i = 4*r, 0 = -4*r - 4*u + 20 for r.
0
Let w(k) = 15*k**2 - 380*k + 130. Let x be w(25). Solve x*r - 20 = -12*s + 7*s, 0 = -3*s + r for s.
1
Let u(o) = 338*o + 6762. Let f be u(-20). Solve -30 + 24 = -a + f*k, -2*k = 10 for a.
-4
Let b(h) = -77*h**2 + 12*h + 54 + 15*h + 14*h - 13*h - 3*h**3. Let s be b(-26). Solve -s*f - 3*j + 2*j = -11, -4*f - 8 = -4*j for f.
3
Suppose 3*m = -4*d + 172, 2*d + d - 220 = -4*m. Suppose 37*q - m*q = -30. Let c be (4 - 2) + 0/(-2). Solve 0 = -q*l + c*z - 1 - 1, -4*l - 20 = 4*z for l.
-3
Suppose -179*d - 188*d + 383*d - 256 = 0. Solve 3*f = 2*u - 0*u - 12, -u + d = -4*f for f.
-4
Suppose 4*v - 7*p + 4 = -3*p, -3*v = p - 9. Let s be 12/v*(-10)/(-15) - -1. Solve 0 = n + 3, r = -3*r + s*n - 1 for r.
-4
Let b be (-6 - (-2 + 0)) + (-133 - -141). Solve -4*g - 5 + 14 = -5*m, 2*m = -b*g + 2 for g.
1
Let o(n) = n**3 + 9*n**2 + 5*n + 3. Let t = 102 + -110. Let k be o(t). Suppose 0 = 2*z + 11 - k. Solve -2*j - 4*w = -z*w, 2*w = -3*j + 8 for j.
2
Suppose -16*s = -110*s + 2068. Solve -3*z + 18 = g, -4*g = 70*z - 68*z - s for g.
3
Let j(r) = -2*r - 6. Let c be j(-4). Let t(f) = 4198*f - 12592. Let y be t(3). Solve 5*z + 40 = y*d + 3*d, d - c*z = 11 for d.
5
Suppose -2*a + 2*b = -22 + 18, 0 = 2*a + b - 13. Let p be 3/5 + (-420)/(-50). Let n be (p + -8)*(0 + 2). Solve -a*v - r = -16, 3*v + r = n*r + 8 for v.
3
Suppose 3052 = 4*q + o + 4*o, -3815 = -5*q + 3*o. Let d = q - -371. Let c be 3/(-4) - d/(-72). Solve 4*p = 4*u - 15 - 9, -3*u + 2*p + c = 0 for u.
3
Let x = -233 + 248. Suppose -16 = -x*g + 11*g. Suppose 0*p - p = -40. Solve -4*m = g*f + p, -3*f + 2*f = 2*m + 15 for f.
-5
Suppose -5*d - 65*x + 66*x + 4 = 0, 0 = -2*d - 10*x + 64. Let j be 1*(-6)/(-3 + 1). Let i be j - 2 - (-2 + -1). Solve 2 = -n + i*q, -n + d*q = -3*q + 2 for n.
-2
Suppose -p + 4*m + 16 = 7, 5*p - 20 = -5*m. Solve 0 = -3*w + 6, -2*l = -p*l - 3*w + 12 for l.
2
Let j(g) = -g**2 + 38*g + 15. Let o be j(38). Solve 4*x - 3 = 3*v - 9, -5*x = o for v.
-2
Suppose 3*k - 8 = 7, -3*t + 268 = 5*k. Let o = t + -81. Solve o = h + 4*m + 23, -m = m + 10 for h.
-3
Suppose -1218*d = -1214*d - 41 - 47. Solve -4 = 4*m + 2*p, -d*p + 17*p = -20 for m.
-3
Suppose -2*m - 2*v = -16, -748 = 3*m + v - 764. Solve 2*x - 8 = -2*o, m*o - 2*x - 16 = 3*x for o.
4
Let n(j) = j**2 - 28*j - 91. Let d be n(-3). Solve -7*g = l - 10*g + 12, -d*g = 5*l + 9 for l.
-3
Suppose 91*c - 757 + 120 = 0. Solve 6*d - 9*d + f = 17, -3*d = f + c fo