 -2*g = -v + 4, 7*v + u = -g + o*v for g.
-3
Let r be ((-2)/(-8))/(4/48). Solve 0 = 4*f - 3*s + 8, 0*s + 2*s = -r*f - 23 for f.
-5
Let i be (-3 - -6)*(-230)/(-6). Let m = 120 - i. Suppose 0 - 6 = -3*o. Solve m*p = 2*n + 2*p - 2, -2*n + o = -5*p for n.
1
Suppose 0 = -7*n + 3*n + 2*g + 14, n - g = 5. Suppose 1 = v, a + n*v + 2*v - 6 = 0. Let u be 15/10*a/3. Solve 0 = o + 5*w - u, w + 3*w + 4 = -2*o for o.
-4
Let b(o) = o**3 - 15*o**2 - o + 19. Let x be b(15). Solve 0 = 5*a + 3*u - 5, -x*a = a - 2*u + 20 for a.
-2
Let v(u) = -u**3 - 23 - 16*u**2 + u**2 - 3*u + 2. Let s be v(-15). Solve i + 2*i = 4*w + s, 4*w + 8 = -i for i.
4
Let x be ((-93)/(-6))/((-2)/(-4)). Suppose -4*w + 70 = 2*d, 3*w + x = 4*d + 111. Let j = w + -15. Solve -j*q - 4 = -3*i + 17, 4*q + 8 = -2*i for q.
-3
Let j(s) = -s**3 + 14*s**2 - 2*s - 3. Let c be j(14). Let b = 39 + c. Solve -2*t = 2*t, -2*t = -2*k + b for k.
4
Let z be 3/((-1)/(-1))*-1. Let f be ((-16)/2)/(6/z). Suppose t = -4*t + x + 5, 0 = -t + x + 1. Solve 14 = -2*u + f*d, -5*d - t = 5*u + 19 for u.
-5
Suppose -30*g = -25*g. Let s be (g + -2 - 8)*(-2)/5. Solve -s*m - 13 = 5*x + 4, -2*m - 3*x = 11 for m.
2
Suppose -3*c + 2*m = -25, m - 6 = -4*c + 20. Let p = 1 - -9. Let g = p - c. Solve 0 = -g*u - z + 9, z = -z for u.
3
Let w(z) = -3*z - 2. Let f be w(-3). Suppose -10 = 2*b, 2*b = -2*g + 3 - f. Let s be 6/(-4)*(-8)/g. Solve s*i + 5*d = 1, -3 = -4*i + 2*d - 9 for i.
-1
Let q(j) = 2*j - 13. Let g be q(-4). Let p be (-51)/(-2)*10/(-15). Let s = p - g. Solve 5*n + 13 = 6*d - s*d, -4*d - n + 15 = 0 for d.
4
Suppose 0*d + d = -2*h + 13, d = 5. Let z be (-6)/(-72)*33 + 1/h. Solve -s = 3*m - 6, -4*m + 0 = 3*s - z for s.
-3
Let u(d) = 2*d**2 - 8*d - 7. Let x be u(4). Let t = 13 - 24. Let h = x - t. Solve n - 16 = -5*o, h*n - n = -5*o + 18 for o.
3
Let b(a) = -a**3 - 9*a**2 - 7*a + 53. Let i be b(-7). Solve 3*d - 4 = -i*h + 3, -2*h = 2*d - 2 for d.
-3
Let l(g) = g**2 - 2*g + 2. Let a be l(4). Suppose 3*s + a = 4*z, 3*s = 4*s + 4*z - 2. Let i = -1 - s. Solve 0 = f + i, -2*f = u - 7*f for u.
-5
Let v(c) = -c**3 + 8*c**2 - 2*c - 2. Let x be v(8). Let h be x/6 - (-6 + 0). Let m = 0 + h. Solve 7 = -z - 3*q, -m*q - q - 8 = 0 for z.
-1
Let k(c) = c**3 + 9*c**2 + 3. Let n be k(-9). Suppose 2*i - 44 = -5*q - 9, -n*i - 10 = -5*q. Solve i*m = h + 2*h, h = -3*m for h.
0
Suppose 2*f + d = 17, -4*f + 12 = -2*d - 26. Suppose -f*q = -14*q + 15. Solve 9 = -q*u - 4*v, -2*u - 7 = 4*v + 3 for u.
1
Let k = -8 - -18. Suppose 0 = 8*m - k*m + 4. Solve -3*h - 5 = 5*v, -m*h + 14 = -2*v + v for h.
5
Let f be (8 - 4) + 88/(-1). Let g = -82 - f. Solve -u - j - 2 = 0, 0*u + 2*j = g*u for u.
-1
Let x = -2 + -10. Let h = -18 + 11. Let m = h - x. Solve 0 = 4*u - m*d - 10 - 1, -5*u + 3*d + 17 = 0 for u.
4
Let l = -474 - -477. Solve -3*c - c + 16 = -r, 4*c = -l*r for c.
3
Let u = 23 + -16. Suppose -2*b + u*b = 25. Solve 5*k - 20 = -2*i, -b*k + i + 5 = -15 for k.
4
Suppose -3*o + 16 = 5*x, 4*x - 8 - 2 = -o. Solve w - 5*t = -1 - 21, -2*t = -o*w - 4 for w.
3
Let b = 1419 + -1419. Solve b = -2*g + h + 4 - 1, 0 = 3*h - 15 for g.
4
Suppose x = -l, 0*x + 2*l + 18 = 4*x. Suppose -x*z + 2*j = -0*z - 21, -j - 3 = 0. Solve z*b - 2*u + 25 = 3*u, u - 1 = 0 for b.
-4
Let l(m) = 5*m**3 + m**2 - m + 1. Let t be l(1). Suppose 0 = -w + t*w - 15. Solve 4*a = 3*f - 12, a + 2*a = -w*f - 9 for a.
-3
Suppose c - n = 6*c, -5*c = -n. Suppose 0 = 4*a + 2*l - c*l - 2, -l = 3*a - 4. Let m be 4 + -1*2 - -2. Solve q + m*v - a*v = 0, 5*q - v = -6 for q.
-1
Let q be (1 - (-2)/(-6)) + 1969/(-33). Let y = -51 - q. Solve 5*x + 4*c = -y, -4*x + 2 + 2 = -2*c for x.
0
Suppose 0 = -3*p + 6, -3*i + i + p + 6 = 0. Solve -3*b = -q - 12, 2*b - 2*q - i = -0*b for b.
5
Suppose 3*l - 1 = 5. Let x be (0/l)/3*(-1)/2. Solve -4*t - 4*r - r + 35 = x, 5 = -2*t + 5*r for t.
5
Let w(y) = 6*y**3 + y**2 - 1. Let a be w(1). Let p = -14 - -16. Let s = p - -3. Solve -b + a*b = s*d - 15, -3*d + 9 = -4*b for d.
3
Let r(h) = -3*h**2 + 17*h - 8. Let b be r(5). Solve -12 = 3*v, -b*a + 5*v = v - 24 for a.
4
Suppose 0*z - 4*z = -92. Let p = 633 + -629. Solve k = -p*w + 4*k + 17, -z = -4*w + 5*k for w.
2
Suppose 0*t = 5*t. Suppose 5*c + t*c = 0. Suppose 11*r = 13*r - 5*n - 26, 2*r + 3*n + 6 = 0. Solve 0*h + 2 = h, -g + 2*h - r = c for g.
1
Suppose -2*u - 16*w + 18*w = -6, 0 = -4*u - w + 12. Solve 4*l - 28 - u = -3*a, -2*l - 2 = -2*a for l.
4
Suppose 73*k = 41*k. Solve k = z - l - 1 - 1, 2*z + 4*l = -26 for z.
-3
Let n be 4/14 - (-2750)/77. Suppose 12*m - n = -0. Solve m*r - 9 = 0, -3*o - r + 0*r = -18 for o.
5
Let f = -1431 - -1431. Solve 6*q - q - 4*z - 21 = f, 5*z = 2*q - 5 for q.
5
Let b(n) = 2*n + 14. Let j = 22 - 29. Let k be b(j). Suppose -9 = -3*a - k. Solve -a*s + 5*f - 7 = 0, -6 = 3*f - 6*f for s.
1
Suppose 2*y + 3*p - 8*p = 45, 2*p = 4*y - 82. Solve -v - 13*u + y = -8*u, -2*v - 2*u + 8 = 0 for v.
0
Let p = -216 + 234. Solve l - 4*g = -l + p, -4*g = 3*l + 3 for l.
3
Suppose 0 = -5*c + 5*q - 10, -2*c - 4*q + 18 = -c. Solve -4*s - c*g + 6 = -9*s, -4*s + 3*g = 2 for s.
-2
Suppose 0 = -3*j - 0*j + 6. Let t be 1 - -1 - (-7)/14*j. Suppose -5*w = -0*f - 2*f + 15, 3*f = -w + 14. Solve -2*g = 5 + f, 4*c - 23 = t*g for c.
2
Let q = 41 - 39. Let t be 35/15 + (0 - q/(-3)). Solve -t*r - 5 = -0*o - 4*o, 6 = 2*r + 2*o for r.
1
Let d(b) = -5*b**3 - 75*b**2 - b - 13. Let f be d(-15). Solve -f*m - 8 = l, 4*l + 23 = -4*m - m for m.
-3
Suppose 59 = 7*m - 25. Suppose 3*q = 6*q - m. Solve 0 = -4*l - 3*p + 15, 5*l - 19 = -q*p for l.
3
Let y = -106 - -109. Solve 9 = z + 4*d, -4*d + 19 = -0*z + y*z for z.
5
Let o = 251 + -222. Solve 18 = 4*j - s, -5*j - 5*s + o = -3*s for j.
5
Let n be ((-15)/(-10)*-8)/(-2). Solve 2*m - 3*k = -8, 2*k - n = 5*m - 2*k for m.
2
Suppose 0 = 2*a - 6*a + 12, 0 = 2*y - a - 7. Let j(h) = h**3 - 6*h**2 - 16*h. Let l be j(8). Solve l = -2*u + 3*q + 6 + 8, -17 = 3*u + y*q for u.
1
Let z(g) be the first derivative of 3*g**2 - 4*g + 26. Let a be z(1). Solve 2*s + 15 = -5*j, -3*s + 7*s - a*j = -18 for s.
-5
Suppose 3*s - 3*y + 5 - 20 = 0, 2*y - 10 = -2*s. Solve l = s*n - l + 23, -3*n - 1 = 2*l for n.
-3
Suppose -1 = 5*i - 111. Let f = -22 + i. Solve 3*y + b + 5 = f, -3*y = 2*y - 2*b + 12 for y.
-2
Let n = 3 - -6. Suppose 6*j - 2 = -2*q + 2*j, q - 5*j = 15. Suppose -2 = q*p - 2*v - 12, 3*v + 2 = p. Solve 27 = 4*c - n*c + 3*x, x = -p*c - 2 for c.
-3
Let f(y) = 2*y - 11 + 1 + 4. Let z be f(6). Let c = z - 2. Solve 0*k = -5*k + 20, -4*l - 20 = -c*k for l.
-1
Suppose -14 = -m - 4*p - 4, -p = -5. Let w = -8 - m. Solve w*y + 5*u - 12 = 0, -3*y - 3 = -0*y - 3*u for y.
1
Suppose -3*i + 10 = -5. Let t = i - 3. Suppose 2*d + v - 5 = 0, -t*d = 3*d + 5*v - 10. Solve d = g + 2*n, 0*g + 5*g - 4*n = -13 for g.
-1
Let l be (-351)/(-65) + (-2)/5. Suppose -9*v + 131 = l. Solve -5*j + v = 3*c - 21, 0 = -5*j + c + 15 for j.
4
Suppose -3*h + 20 = -2*b, -h + b + 20 = -3*b. Solve h*r = 2*j + 6, -5 = -5*j - 4*r + 8 for j.
1
Let z be 30 + 0 + (-1 - -3). Suppose 2*p + z = 4*w, -3*p + 29 - 77 = -4*w. Let r = p - -17. Solve 5*k - 2*l = k - 2, k - l - r = 0 for k.
-2
Let a(u) = -8*u + 5. Let s(l) = -9*l + 4. Let j(r) = 6*a(r) - 5*s(r). Let w be j(3). Solve -q = 4*y, -3*y - w = q - 0 for q.
-4
Suppose 25 = -5*d, 0 = 5*o + 4*d + 4 + 1. Solve -o*t = t + 3*w, 0 = t + w - 1 for t.
-3
Let d(z) = z**3 + 23*z**2 + 3*z + 86. Let u be d(-23). Solve 5*g - t = 7 + u, -2*g + t + 9 = 0 for g.
5
Let g = -317 + 319. Solve 4*t + 18 = -2*b, -g*b + 4*t = -11 - 3 for b.
-1
Suppose -4*k + 4*f = -20, 18 = 4*k - f - 2*f. Solve 16 = 4*a - h, -2*a - k*h + 8 = -7*h for a.
4
Suppose -3*m - 69 = -v - 15, -4*v - 3*m = -201. Suppose -5 = -v*c + 50*c. Solve 2*h = 4*a + 2, c*a - 20 = -3*h + h for a.
2
Let l(v) be the second derivative of v**4/12 + v**3/2 - 2*v**2 + 13*v. Let x be l(-4). Solve 0*q + 2 = -2*f - 2*q, -5*f + 4*q - 41 = x for f.
-5
Let b = -2396 + 2401. Suppose 2*x + 0 = 10. Let r be 2/6 - (-8)/3. Solve 3*p + r*k = -p + b, 0 = -x*p + k + 30 for p.
5
Suppose -4*w + w = 39. Let x(g) = -2*g - 11. Let z be x(w). Solve -z = -3*s, 0*s = -3*d - s - 1 for d.
-2
Let h(n) = -3*n + 45. Let f be h(19). Let x = f - -14. Solve 0 = -2*w - 2*l - x*l - 2, 10 = 5*w - 5*l for w.
1
Suppose r = 4*k - 216, 3*k = -k + 5*r + 200. Suppose -5*p + k = 5*l, 2*p + 3*l - 7 = 4*l. Let h be -6*p/(-9) 