 - 5*k - l = 0 for v.
2
Let u(b) = b**3 + 34*b**2 - 35*b + 2. Let l be u(-35). Solve -3*v - 2 = -l*y - 12, -12 = -2*v - 4*y for v.
4
Let q = -6433 - -6465. Let m(t) = 4*t**3 + 2*t**2 - 2*t + 1. Let o be m(1). Solve -4*d + 4 = -o*d, 5*y - q = 3*d for y.
4
Let d(c) = 2*c**2. Let v be d(0). Let f = v - -2. Solve 4*i - 4 - 1 = 5*j, -f*j - 4*i - 30 = 0 for j.
-5
Let w be (-57)/6 + (-15)/(-10). Let n be (1 + 4/w)*0. Solve -p - i + 3 = n, -2*p + 5*i + 13 = -0*p for p.
4
Let y = 4 + 8. Let b be ((-32)/12)/((-2)/y). Solve 5*x + 0*x + 2*f = b, 3*f + 6 = 0 for x.
4
Suppose -8 = -9*i + i. Solve j + k + i = 0, -1 = -0*j - 4*j - 3*k for j.
4
Let p be ((-1)/3)/((-20)/(-21) + -1). Let s be (1 + -2 + 0)*(5 - p). Solve 2 = -s*c, 4*c = -4*t + 2*t + 2 for t.
3
Let z = -5 - -10. Suppose -z*w + 2*w = -3. Let m be 0*-1*(0 + -1). Solve i - h + w = 0, m = -2*i + 5*i + 5*h + 19 for i.
-3
Suppose -2*t - 10 = -4*i, -4*i - 5*t - 19 = -8*i. Solve -5*o = m - 9, -m + i = 3*o - 6 for m.
4
Let r be 24/90*-5*(-156)/16. Solve -4*m + 3*h = 13, -h - 3*h = -m - r for m.
-1
Let x be 96/(-12)*(-2)/4. Suppose x*g - 16 = -0. Solve 8 = -g*y + 2*n - 4*n, 0 = -n + 4 for y.
-4
Let k(h) = h**3 + h - 1. Let a be k(2). Let o = 15 + -11. Suppose 3*p + 4*s = 6*s + 16, o*p + 2*s = -2. Solve 5*r + p*i = 12, -4*r + 0*i = i - a for r.
2
Let q = -13 + -7. Let p be 2/(-5) - (-132)/q. Let o be (-1 - 9)/(6 + p). Solve -x + 5*m = -o - 5, 33 = -5*x - 2*m for x.
-5
Let d(l) = l**2 - 11*l - 11. Let v be d(12). Let g be ((-2)/(-6)*(-16 + v))/(-1). Solve 5*p - 5 = -3*y + g, 5*p + y = 10 for p.
2
Suppose 4 = f - 0*f. Suppose 0 = 9*a + 19 - 55. Solve f*z - a*n = 24, 2*n = z - 0*n - 8 for z.
4
Suppose 3*u = -0*u - 42. Let r be 52/u*(-6 + -1). Solve -4*j = -2*t - r, -3*j + 4*j = -4*t - 16 for j.
4
Let p be (-4)/12 - (-13)/3. Suppose 9*s = 59 + 112. Solve -12 = p*b + 2*k + 4, 0 = 3*b + 5*k + s for b.
-3
Suppose -m + 2*m = 2. Suppose -3*d + 2*b = -39, -27 = -d - 2*b + 5*b. Solve 3*h + 1 = -m*k - 3*k, 5*h + d = -k for h.
-2
Let m be ((-46)/(-6))/(-1 + (-16)/(-12)). Suppose -6*s + m = -7. Solve 4*g = 4*l - 6*l - 6, -4*g - 3*l - s = 0 for g.
-2
Suppose 16*z - 12*z - 208 = 0. Let n be (z/(-6) + 2)*(-120)/32. Solve -5*w - n = 0, 2*b - 4*w = 6*b + 32 for b.
-3
Suppose 24 = 4*c + 4. Let l(p) = p**3 - 21*p**2 + 19. Let d be l(21). Let i = d + -19. Solve -5*k = -5*f, -3*f = -2*k - i*k - c for f.
5
Suppose -19 = -5*j + 2*j - 5*o, -2*j + 2*o = -18. Suppose -t + 2*t = -j*t. Solve -3*r = 9, -2*u + t*r - 1 = -r for u.
-2
Let z = 624 - 622. Solve 3*t - 6*t - 4*x - z = 0, 5 = 5*x for t.
-2
Let p(u) = -9*u + 95. Let v be p(10). Solve 3*g - v*g = 2*w + 16, -4*w - 17 = g for g.
-5
Let r be (-11)/(-462)*-14*-6. Let c(g) = 2 - 2 - 2*g + g**2 - 4. Let v be c(-4). Solve -5*h - r*y + v = -11, -4*y + 22 = 2*h for h.
5
Suppose 0 = -0*k - 2*k - 8. Let f be 3*(1 - k - 4). Solve 2*n = 4*s + 2, n - s - 1 = f*s for n.
1
Let g(n) = -2*n - 15. Let w be g(-7). Let j be w*9/(-3)*3. Suppose 4*b + 0*k = -k + 12, -3*b - 2*k = -j. Solve b*d = -9*l + 4*l - 10, -3*l = 5*d + 22 for l.
1
Suppose -30 = 5*i - 0*i. Let m = -1 - i. Suppose 5*v - 1 = -4*j + 3, -4*v - m = -5*j. Solve 3*x = 0, -w - x - 3 = j for w.
-4
Suppose -4*n - 5*o = 8, o + 0 = -2*n + 2. Solve -j = 3*g - 7, 5*g = g - n*j + 1 for g.
4
Let v(u) = 4*u + 70. Let q be v(-17). Solve z + 5 + 0 = 0, -q*o + 4*z = -26 for o.
3
Let l be 1 - (-11 + (0 - (-3 + -4))). Solve 6*n = -4*b + n + 8, 0 = l*n for b.
2
Let z = -942 - -947. Solve -f - 1 = -3*v, 6*v - 5*v + 23 = z*f for f.
5
Let j be (-32 + 6/3)/(-2). Solve -11 = -4*n + 5*c, -3*n = -2*c + 6*c + j for n.
-1
Let l = -5 - -8. Solve -4*f - 3 = l*n + 12, 0 = 4*f - 3*n - 15 for f.
0
Let l = 17 - 14. Let f be 35/21 - (-1)/l. Suppose 8 = -f*n + 4*q, 0 = -2*n + q - 1 - 1. Solve n = -3*p + 3, 2*p = -2*c - 3*c - 8 for c.
-2
Let p(y) = -y**2 - 12*y - 8. Let z be p(-11). Let g(i) = -i**3 + 21*i**2 - 18*i - 3. Let k be g(20). Solve 8*h + 41 = -4*m + 3*h, -z*m - k = 5*h for m.
-4
Let u = -59 - -55. Let w(m) be the second derivative of m**5/20 + m**4/2 + m**3/2 + m. Let n be w(u). Solve 2*k - 12 = 2*p - 4*p, 0 = 4*k - n for p.
1
Suppose -48*j + 1771 = 91. Solve 4*r + j = 5*o, 3*r - r = 4*o - 22 for o.
3
Suppose 3*y - 4*y - 2 = 0, -4*g + y = -18. Suppose -b = -4*b. Suppose b = d + d - g. Solve 13 = -5*a + 2*f, -a + d*f = -f for a.
-3
Suppose -4*r + 488 = 4*r. Let x = r + -55. Solve 2*d - 2*g - 2*g + x = 0, 2*g = 5*d - 17 for d.
5
Let q(b) = -34*b**2 - 101*b + 7. Let j be q(-3). Solve -j*a + 7 = v, 4*v + 15 = -v + 5*a for v.
-1
Let n be ((-16)/(-12))/(2/(-87)). Let y = n + 73. Solve 3*s = y, -4*u + 18 = -u + 3*s for u.
1
Suppose -2*z = -3*g - 13, -20 = z - 6*z - 5*g. Solve 4*m + z*b - 20 = 0, -3*b + 2*b = 0 for m.
5
Let b = 232 + -418. Let c = 193 + b. Suppose 0 = 2*f - 7*f. Solve c*w - 15 = 2*w - 3*n, f = -n for w.
3
Suppose 5*x = 20 + 15. Let z = -4 + x. Solve -3*w - 17 = -3*h - 7*w, -19 = -z*h - 5*w for h.
3
Let z = 8 + -4. Let r be z/((-16)/(-12)) - 0. Solve 2*d = -0*d + 5*b + 26, -24 = -4*d + r*b for d.
3
Let u be -5 + (-94)/(-18) + 215/45. Solve 4*g = s - 7, 4 = 3*g - u*g for s.
-1
Let y(o) = -o**3 - 18*o**2 + 3*o + 61. Let i be y(-18). Solve 4*v = -8, t + i*v + 9 = 4*v for t.
-3
Let y(l) = l**3 + l**2 - 7*l + 6. Let t be y(2). Solve -3*q + 3*o = -0*o - 3, -t*q = 2*o + 14 for q.
-2
Let m be 610/19 + 230/(-2185). Solve -4*t = -h + m - 11, 0 = -3*h + 3*t + 27 for h.
5
Suppose 2*b - 7*b = s + 8, 4*b + 40 = 4*s. Solve s*u + 8 = 3*u + 2*w, 3*w = -5*u - 10 for u.
-2
Suppose w = -w. Let g(f) = -2*f**3 - 46*f**2 - 43*f + 26. Let n be g(-22). Solve 5*d - 13 = 3*q + n, w = -5*q - 2*d - 18 for q.
-4
Suppose 4*m = 2*m - 38. Let t = m - -15. Let z be t + 2 + 10 + 1. Solve -4*l - 3 = -y - 0, z = -4*l - 5*y for l.
-1
Let g(q) = q**2 + 9*q + 23. Let v be g(-5). Solve 5*c = 5*y - 5, v*c + 3*y = 4*c + 9 for c.
3
Let i be (-66)/(-14) + (-14)/(-49). Suppose -n + 3 = -i. Solve -h - t = n, 2*h - 5 = 3*t - 1 for h.
-4
Suppose 4*t - a - 350 = -331, -3*t + a + 15 = 0. Solve 0 = -2*k - h - 7, k + 0*k + t*h = 7 for k.
-5
Suppose 50 - 38 = i. Solve 0 = -4*d - 2*h - 16, 0 = -4*d + 2*d + h - i for d.
-5
Suppose -v + 4*v = 15. Let l be (0 + 1)*(-1 + v). Let n = -21 - -37. Solve 0 = -z - l*y - 11, 4*z - 8*z - n = 2*y for z.
-3
Let l = 398 + -394. Solve 16 = 4*b + v, -6*v - 28 = -l*b - 4*v for b.
5
Let s(c) = c**2 + 28*c - 472. Let d be s(-40). Solve 2*b - d = 0, 3*b - 5*b + 4 = a for a.
-4
Let h be ((-5)/(-2))/((-322)/(-28) - 11). Solve 4*q - 20 = 0, 0*d + 2*d + h*q = 33 for d.
4
Let k be (-221)/(-17) + (-2)/1 + 0. Let l be 3*(k/3 - 3). Solve -5*m + 20 = -z, 0*m + z + l = -m for m.
3
Let b = 0 + 64. Let r = -62 + b. Solve -o = r*c + 3, 3*c - 5*c + o - 9 = 0 for c.
-3
Suppose 8*n + 60 = 2*n. Let p be 2/(n/(-65)) + 2. Let m(c) = -2*c - 5. Let g be m(-5). Solve 2*w = g*l - p, -5*l + 12 = -w - 3 for w.
0
Let p be (-1 + 3/(-5))/(4/(-10)). Solve 0 = -3*k + 2*t - 1, -2*t - p - 4 = 0 for k.
-3
Let r(y) = -y**3 - 3*y. Let h be r(3). Let j = h + 61. Suppose j = 4*m + m. Solve 2*n = 0, 0 = m*z - z - 4*n for z.
0
Let u(n) = n + 3. Let s be u(-9). Let l be (-154)/s + (-6)/9. Suppose 5*c - 2*p - l = -0*c, 4*c - 2 = -2*p. Solve 6 = c*g, 5*g + 5 = -x - 4*x for x.
-3
Let z = -207 - -226. Solve 2*t - t = 4*p + z, t + 4*p + 21 = 0 for t.
-1
Suppose 4*b - 3*b - 1 = 0. Suppose -18*s - b = -19*s. Solve -3*r = 2*l + s, -3*l + 8 = -4*r - r for r.
-1
Let y be 27/(-4) - 42/(-56). Let x be y/(-10) - (3/5 + -2). Solve 5*z + 2*m = 7, -m + x = 2*z - 0 for z.
3
Let p = -3 + -1. Let c be (-32)/p + (0 - -3). Suppose 225 = 8*g + 81. Solve -5*v + 3*b = -g, -5*v - 2*b = 2*b - c for v.
3
Let m(c) be the second derivative of c**3/3 - c**2 - 5*c. Let d be m(3). Let i = 8 - d. Solve 0 = b - 0*b - 5, y = -i*b + 20 for y.
0
Let k(b) = b**2 + 20*b + 23. Let j be k(-19). Solve -o - j + 1 = -5*m, -4*o + 9 = m for o.
2
Let z(p) = 5*p - 10. Suppose 6 = -3*v - 5*x, -v - 5*x + 0 = 12. Let c be z(v). Solve -3*s = -3*f + 24, 5*f + 4*s - 20 = c*s for f.
3
Let u = 124 + -55. Suppose 65*x - u*x = -8. Suppose 5*p = -4*i + 28, -i = 3*p - 5*i - 4. Solve -4*k - 3*l = p, 2*l = 5*k + 4*l - x for k.
2
Let h be 13 + (-414)/48 + 6/(-16). Solve -4*z = -20, -h*z = -3*s - 0*z - 23 for s.
-1
Let w be (5 - (-54)/(-63)) + (-2)/14. Solve 0 = i - 0*i - y - 