e 2*v - 5*v + 13 = 4*r, -h*r = -3*v - 19 for v.
-1
Let d(x) be the first derivative of x**3/3 + 3*x**2/2 - 9*x + 7. Let b be d(-7). Suppose -56 = -15*o + b. Solve v = -4*t + 3*t, 2*t + o*v - 12 = 0 for t.
-4
Let n(f) = f. Let p(t) = -6*t. Suppose -2*k = 4*k + 126. Let q(v) = k*n(v) - 4*p(v). Let b be q(3). Solve 0 = -5*o - z - 2, 3*o + 4*z - b = -0 for o.
-1
Let g(l) be the third derivative of 0 - 9*l**2 + 0*l + 5/24*l**4 - 2*l**3. Let r be g(3). Solve 3 = r*x + 3*f, -2*x + 3 = f - 2 for x.
4
Let o be (-6 - -2)/(2/(-4)). Let h be (-1 + 1)/(24 + -21). Suppose 18*c - 10 - 80 = h. Solve c*u + o = 3, -3*r = -5*u - 8 for r.
1
Suppose 6*j - 9 = 2*v + 9, 3*v - 29 = -5*j. Solve 4*f + 3*z + 15 = -0*z, -3*f + j*z - 5 = 0 for f.
-3
Suppose 14 = -14*z + 15*z. Suppose 0 = -6*c - 2 + z. Suppose 14 = 4*i - c*v - 10, v + 8 = i. Solve -m + 0*m - 3*o = -10, i*m + 5*o - 12 = 0 for m.
-2
Suppose -5*r + 150 = 5*m, r = -r + 5*m + 88. Let o = -12 + r. Solve -c + 7*u = 2*u - o, -3*c + 16 = -5*u for c.
-3
Suppose 2*c - 5*i - 13 = 0, c + 2*i = 4*i + 7. Suppose 38*l + c = 35*l. Let q = l + 5. Solve 5*z = -2*n - 10, -3*z - q*z = 20 for n.
5
Let h be (-2660)/(-931) - (-16)/14. Solve j + 2 = 3*d - d, h*j - 4 = 2*d for j.
2
Suppose 2*o - 4 = 4, -18 = -3*j - 3*o. Solve l = -16*s + 12*s - 15, 10 = -j*s for l.
5
Let l be (8/(-6))/((-28)/(-126)). Let x be 5*(l - (-224)/35). Solve -3*d - 6 - 1 = 5*q, -4*d - 18 = -x*q for d.
-4
Let f = 4316 + -4284. Solve -3*g + 11 = x - 5, f = 4*x + 4*g for x.
4
Let s(z) = 3*z - 2*z - 3*z + 7. Let v be s(2). Suppose -2*f - h = -6, v*h = 2*f - f - 10. Solve 2*j + 10 = -f*k + j, -2 = j for k.
-2
Let l be (-9 - -6)*8/12. Let g be 4/((-32)/(-24)) - 6/l. Let o be (-50)/(-15) - g/(-9). Solve -o*h = -2*a + 7*a - 41, -4*h = -5*a + 9 for a.
5
Suppose -4*v = -5*o - 1, 2*v - 11 = -24*o + 23*o. Solve 0 = -2*y, 4*y = -v*j + 8*y + 8 for j.
2
Suppose 0 = a + 4*q + 29, a + 61 = -3*a - 5*q. Let s = a - -13. Suppose 214*m = 213*m + 2. Solve -9 - 5 = 4*u + m*y, s*u - 3*y = 1 for u.
-2
Suppose -2443 = 89*y - 2888. Solve 0 = -y*m - 2*f + 5 + 13, -f = 1 for m.
4
Let d = 63 + -77. Let y be (14 + d)/(2 - 1). Solve y = c - k + 3, 2*c + 4*k - 2 = 22 for c.
2
Suppose 5*k = 50*k + 28125. Let x = k - -628. Solve 0*h + 22 = -5*h - x*i, 0 = 2*h - 2*i + 12 for h.
-5
Let d(h) = 2*h**2 - 19*h + 10. Let q be d(10). Suppose -138 = q*j - 18*j. Let u = -65 - j. Solve 0 = 5*a + 5, -u*z + 4*a = -26 + 10 for z.
3
Suppose 0 = -128*d + 135*d + 2800. Let a = d - -404. Solve -4*u = 8, 4*y + 3*u - u - a = 0 for y.
2
Let s = 531 + -472. Suppose -19*h + s - 59 = 0. Solve 0 = -2*v + 4*o + o - 9, h = -v - o - 1 for v.
-2
Let z(q) = -q**2 - 20*q - 70. Let u = 282 - 297. Let g be z(u). Suppose 3*v - 9 = -s, -4*s + 13 + 9 = 5*v. Solve g*x = -4*t - 15, -v*t - 15 = 4*x - 3 for t.
0
Suppose y - 204 = 7*y. Let d be 1 - y*(-4)/(-8). Suppose -d = -3*m - 3*m. Solve -m = r, u - 3*u = -r + 1 for u.
-2
Suppose -8*c - 14*c = -594. Suppose c = 12*u + 3. Solve m = u*m - 2*g - 4, -3*m + 4*g + 8 = 0 for m.
0
Suppose 3*o = -s + 15, 219*s - 14 = -2*o + 217*s. Solve o*n - 4*k - 139 + 171 = 0, -4 = 2*n + 2*k for n.
-5
Let m be -24*-1*10/15*-1. Let t be (-2)/(m/40) - 2. Solve -4*u - 29 = 3*x, t*u + u = -5*x - 35 for u.
-5
Let k = 2529 + -2524. Solve 4*s = 4*r + 4, 8 = k*r + s + 1 for r.
1
Let m(l) = 1972*l + 49. Let p be m(0). Solve -5*k = -5*r + 5, 3*r + p*k = 53*k + 1 for r.
3
Let m(a) = -a - 7. Let d be m(-8). Suppose 5*p = -d + 11. Let w be 110/495 + (-50)/(-18). Solve k = v - 1 - p, 5*k = w*v - 15 for k.
-3
Let n(m) = m**2 - 28*m - 478. Let s be n(-12). Solve 0 = g + 2*g - 5*a - 22, s*g - a - 3 = 0 for g.
-1
Let s = -2325 - -2325. Solve s = 5*w - 2*w + 3*r + 6, 2 = r for w.
-4
Suppose -39*p - 8 = -43*p. Suppose 5*c - 13 = p*v, 4*c - 8 = 2*v - 0*v. Solve 2*m - v*m = 3*z - 35, 2*z = -4*m + 30 for m.
5
Suppose -z - 20 = -3*g, -4*z + 46 = 88*g - 86*g. Solve 21 = 4*p + 5*i, -476*i + 475*i + z = -2*p for p.
-1
Let b = -256 + 235. Let u = b + 25. Solve 3*p - 3 + 7 = 2*w, 0 = 4*w + u*p - 8 for w.
2
Let b(k) = -k**2 + 12*k - 28. Let s = -291 - -299. Let p be b(s). Solve 4*t = -4*i, i - 2*i = p for t.
4
Suppose 10 = 2*o + 18*z - 20*z, 5*o - 45 = -5*z. Solve 0 = b + 5*k - o*k + 10, 4*k = -b + 8 for b.
-4
Let j = -17043 + 17047. Solve r = 3*f, 7*f - 9*f = j*r - 14 for r.
3
Let m = -13 - 55. Let g = m - -68. Solve -2*l - w + 3 = g, -3*l + 6*l + 4*w + 3 = 0 for l.
3
Let a be -25*4*(-1)/3*(-60)/(-80). Solve 11 = 2*b + y + 6, 5*y - a = -3*b for b.
0
Let v = -369 + 369. Let u(f) = f**3 + 2*f**2. Let n be u(v). Solve -2*w + 9 = 3*a, -4*w = -n*w - 3*a - 9 for w.
3
Suppose 5*w - 33 = 32. Suppose 0 = 2*u + 5*z - 1 + w, 2*z = u - 12. Solve -u*s - 20 = d, 4*d + 16 = d - s for d.
-4
Suppose -6 = 784*j - 786*j - 3*r, -6 = -2*j + 5*r. Let w = -4 + 2. Let g be (9 - 3) + 0 + w. Solve 0 = -2*d + 3*i + 13, 5*i - j*i - g = -5*d for d.
2
Let u = 77 - -4. Suppose 7*p = 4*p + u. Suppose 0 = -4*i + 1 + p. Solve 3*b = -15, b - i = c + 2*c for c.
-4
Let y(f) = -f**3 - 20*f**2 + 7*f + 11. Let p be y(-21). Let q = -269 + p. Solve -5*z = -3*c + 9 - q, 2*c - 4 = -4*z for c.
-4
Let c be (-75)/(8100/(-408)) + (4/18 - 0). Solve 3*p + c*g - 19 = 0, -p = -2*g + g + 3 for p.
1
Suppose 109*c - 107*c - 4*n - 112 = 0, -3*c + 4*n + 174 = 0. Solve 0 = y, 12 = 64*k - c*k + 5*y for k.
6
Let y be (-7)/(-14) - -6 - (-15)/6. Suppose 3*g = 4*x + y + 12, 2*x - 9 = -5*g. Solve 12 = -g*l - 4*p, 6 = -5*l + p - 3*p for l.
0
Let t be (-4)/(-14) - 95/(-35). Let r be (-321)/(-6) + (-104)/(-16) + -6. Let l be (-10)/(-3) + r/81. Solve -l*z = -z - 12, 8 = 4*c + t*z for c.
-1
Let h(b) = -9*b**2 + 20*b - 43. Let f be h(7). Let i = f - -344. Solve i = -4*x + 5*n - 20, -2 = -3*n + 10 for x.
0
Let l(x) = -x**2 + 6*x - 6. Let n be l(3). Let b be -3*(0 - 1) + -16 + 221. Let h = -203 + b. Solve -3*o + 2 = -h*k, 2*o - 11 = -n for k.
2
Suppose -5*n - 14 = -7*n. Suppose 14*b + 126 = n*b. Let v = b - -20. Solve 0 = -4*y + h - 7, -2*h - v*h + 13 = -y for y.
-1
Let c be (-2 + (-2 - -3))*-3. Let w = 275 - 207. Suppose w*k = 52*k + 48. Solve c*s + 9 = -3*t, t + 3 = 2*s - k for s.
1
Suppose -82 = 39*o - 316. Suppose o*r - 3*z = 7*r + 10, 4*r - 3*z = 35. Solve -4*q - 2 = -q + n, -r*n = 25 for q.
1
Suppose -49*k + 38 = 26*k - 262. Solve 2*c = k*v, -33*c = -28*c - v for c.
0
Let v(a) = -a - 18. Let x be v(-11). Let s be ((-16)/(-5) - 2)*(x - -2). Let t be 2/2*3/(-9)*s. Solve 4*g - t*w + 26 = 0, 3*w - 29 = 7*g - 3*g for g.
-5
Suppose 0 = -125*i + 333 - 83. Solve -4*d - 24 = 0, -i*d = 5*w - 13 + 5 for w.
4
Let o = 1483 - 1481. Solve 3*z = -o*c + 14, 9 - 27 = z - 5*c for z.
2
Let o = 2803 + -2799. Solve -2*v = -4*k - 28, -v - o*v = -3*k - 42 for v.
6
Suppose -3*s - 20*h + 15*h = -6, 3*h = -2*s + 4. Let u = 6 - 4. Solve 0*z + 8 = -u*z + 4*d, 2*z + s*d - 10 = 0 for z.
2
Let i = 255 + -216. Suppose -16 = -43*x + i*x. Solve p = x*m - 1 - 4, -2*p + 4 = -m for m.
2
Let b(r) = -r**2 - 31*r - 6. Let u be b(-24). Suppose -358 = -8*q + u. Let j be (-282)/(-26) + 10/q. Solve 3*s - j = -2*o - 1, 0 = s + 4*o for s.
4
Suppose -15*o + 5*u = -10*o + 30, 0 = 2*o + 2*u - 12. Solve 5*c - 22 + 41 = 4*f, -5*f - c + 2 = o for f.
1
Let g = -25 - 108. Let p = -127 - g. Solve p*i + 8 = 2*i, 28 = -4*w - 4*i for w.
-5
Let t be 10*(1/(-6))/((-9)/54). Suppose t*w = 12*w - 60. Let i be 3/2*(w/18 - 1). Solve -x + 0*x = 3*j - i, 2*x + 12 = j for x.
-5
Let b(w) = 6 - 1085*w**3 - 8*w**2 + 1086*w**3 + 5*w - 14*w. Let d be b(9). Suppose d*u = -0*u + 18. Solve 2*f + 35 = -2*s - u*s, 2*f + 5 = s for s.
-5
Let c(y) = 2*y**2 - 64*y + 69. Let f be c(31). Let q(o) = o**3 - 8*o**2 + 10*o - 1. Let i be q(f). Solve -l - 2*s = -4, -5*l + i = -4*s + 5*s for l.
4
Let c = 529 - 526. Solve -2*y + 2*j + 6 = 0, 2*y - c = 5*j + 12 for y.
0
Let d(f) = 2*f**3 + 7*f**2 + 5*f + 11. Let h be d(-3). Solve 0 = -l - h*a - 4, 7*l - 2*l = 2*a + 7 for l.
1
Let n(j) = -j + 1. Let u be n(-3). Suppose -11 + 3 = o + 5*x, u*o = 3*x + 37. Suppose -2 = o*f - 8*f. Solve 2*g = -f*b + 4, 4*b - b + 29 = 4*g for b.
-3
Let d(z) = 2*z - 2. Let w be d(3). Suppose -h + 6*h - 9 = -3*l, -w*h + 14 = -l. Suppose -14*n + 3*n = 5*n - 48. Solve -f = 4*q + h, -2*f + n + 0 = -q for f.
1
Let f(h) = -2*h**3 + 44*h**2 + 2*h - 38. Let x be f(22). Solve -25 = -5*v, -5*v + x + 21 = w for w.