 -5*l - 3*s + 3 for l.
3
Let s(l) = l**3 + 3*l**2 - 5*l - 1. Let k be -6 - ((-5)/1 + 3). Let m be s(k). Let y be (-86)/(-7) + 2/(-7). Solve -r = m*p + 11, 4*p = r - 12 - y for r.
4
Let z = 5 - 5. Let u be z*3/(-6)*2. Solve -5*o - 4*w + 2 = u, -7 = -2*o + 4*w + 5 for o.
2
Suppose -3*r - 5*b + 31 = 0, b = -b + 10. Solve 2*a = r*o + 12, 2*a + 2*a = -3*o - 11 for o.
-5
Suppose 0 = 5*u - 0*u - 10. Suppose 0*k = u*k - 2. Let j be (-1 - -1) + 1 + 14. Solve -2*v = 3*n + j, 4*v - 3*n + k = -2 for v.
-3
Let p be 6/21 + (-5)/(-7). Let x be 3 - (-4 - (-3 + p)). Solve -5*s + x*l = 0, 6*l - 12 = 3*l for s.
4
Let k be -3*5/(-3)*1. Solve -l + 4*y = 5, -3*y = -l - k + 2 for l.
3
Let p = 8 + -7. Suppose p = 4*j - 7. Solve 0 = -4*m - j*n + 28, n - 3*n + 33 = 5*m for m.
5
Let h = -44 - -70. Suppose 0*b - 4*b + h = -5*o, -b + 2*o = -8. Suppose 4*z + 11 = 3*r - 13, -2 = -2*r - 2*z. Solve 0*a + 23 = 5*a - r*x, b*a = -4*x + 4 for a.
3
Let j be (-2)/(-6)*-4*-6. Suppose 2*t = 4*t - j. Solve t*i + 3*r + 26 = 0, 4 = -i + 4*r + 7 for i.
-5
Suppose -11 = f - 3*l, 0*f - 33 = -2*f - 5*l. Solve 22 = -3*y + f*c, 2*y = 3*c - 0*c - 16 for y.
-2
Let y = -30 - -32. Let a = 12 - y. Solve -6 = 4*t - c + 3*c, 4*c - a = 3*t for t.
-2
Suppose 19 = b - 3*s + 1, 5*b - 30 = 3*s. Solve -2*a = -4*n + a + 28, -5*a = -b*n + 32 for n.
4
Let z = -37 + 58. Suppose -4*c - 17 + 5 = 0, -3*v - c = -z. Solve 10 = v*q - 3*q, -x = -2*q for x.
4
Suppose -2*c + 3 = -i + 2*i, 0 = 2*c + 5*i - 15. Let b be (0 - c)/((-3)/(-3)). Solve -l + 5 = -3*u, b = -l - 0*l - 3*u - 7 for l.
-1
Suppose -3*n = -7*n - 5*s + 37, -4*n + 32 = 4*s. Solve -5*p = 15, 0 = -2*d + n*p + 2 + 1 for d.
-3
Suppose -2*b + 44 = 2*q + 3*q, -b = -4*q + 43. Solve 0 = -4*c - 0*j + 3*j + q, 4*c - j = 14 for c.
4
Suppose -5 = -a - 6. Let m be ((8 - 1) + a)/2. Solve 0 = -4*r + 5*d + 13, -m*d - 1 = -2*d for r.
2
Suppose 39 = -5*p - 11. Let s = 15 + p. Solve a = -s*o - 9, 3*o = -a + 2*a - 7 for a.
1
Let b be 4/6*(-396)/(-24). Let q(r) = r**3 - 3*r**2 + 2*r - 4. Let j be q(3). Solve -b = x + j*v, -5 = -4*v - 17 for x.
-5
Suppose 5*g = 4*g. Solve -4*v = -12, -3*w + 2*v + g*v = 9 for w.
-1
Suppose -26 = 3*l - l. Let n = -8 - l. Solve -n*m = -2*d + 5 - 26, -3*d - 18 = -3*m for d.
-3
Suppose -3*l - 5*t = -8, 4*l + 2*t - 28 = -8. Solve 3*j + l = -4*b, -j + 3*b + 3 = 5 for j.
-2
Let m(y) = y + 6. Let b be m(0). Let q be 12/54 - 140/(-18). Solve -2 = u, -3*n + u = -b*n - q for n.
-2
Suppose -17*s = -15*s. Solve 14 = 3*a - 3*i + 2*i, -3*a - 5*i + 20 = s for a.
5
Suppose -49 = 2*r + 5. Let f = -18 - r. Suppose -5*t + 4*u = -22, 0 = -2*t + 5*u + 10 + f. Solve 4*v = -t*p - 4, 8 = 3*v - 5*p - 2 for v.
0
Let t be 1*2*5/(-2). Let j = 5 + t. Suppose j = a + a. Solve a = -4*m + 6*d - d + 9, -4*d - 7 = -3*m for m.
1
Let m(k) = -8*k + 3. Let w = -3 + 6. Suppose -w*s - 2*s = a + 20, -4*s - 2*a = 16. Let z be m(s). Solve -5*d + 3*b + z = 0, -2*d + d + b = -9 for d.
4
Let k be (-36)/(-15) + 4/(-10). Let i = 2 + k. Solve 0 = -i*n + n + 5*j + 2, -4 = n - 4*j for n.
4
Suppose -5*h + 4*t = 54, 4 = 2*h + 4*t + 20. Let d = 13 + h. Solve 0 = -2*s - d*g + 2, -3*g - 2*g = 5*s for s.
-2
Suppose 14*y - 13*y = 2. Solve -y*p - 5*f + 6 + 4 = 0, -4*p + 5*f - 40 = 0 for p.
-5
Let q be 30/6*4/10. Solve -5*s = 2*w + q*w - 32, 0 = 3*w - 9 for s.
4
Let y(v) = -v + 4. Let p be y(2). Suppose 2*n = 2*z - p, 0 = n - 7*z + 3*z + 4. Solve 2*g - a = -6*a + 6, 2*a = n for g.
3
Let f be 2 + (4 - (1 + -1)). Solve 0*v + f = -4*v - 2*a, -7 = 2*v - 3*a for v.
-2
Suppose 5 = 6*c - 1. Suppose -i - x = c - 6, x = -4*i + 20. Solve 3 = -2*a - 4*j - i, 1 = -j for a.
-2
Let g(w) = -w**3 - 4*w**2 + w - 1. Let d be g(-4). Let i be (d - (-2)/2)*1. Let n be 1/i - (-52)/16. Solve 24 = 4*z - 4*f, -n*z + f = 4*f for z.
3
Suppose -4*t - t - 2*f + 26 = 0, 0 = 5*t - 5*f - 40. Solve -b + 11 = 4*a - t*b, -7 = -2*a + b for a.
4
Let p be 2 + 0 + -1 - -18. Let w be (-4)/(-3)*9/6. Solve -w*v - 11 = 5*g - v, -5*g + v - p = 0 for g.
-3
Let k(j) = -3*j + 1. Let b be (30/9)/(2/(-3)). Let a be k(b). Solve 4*p = -4*x + a, -7 = -3*x + 2*x - 2*p for x.
1
Let i(b) = b**3 + 5*b**2 - 13*b + 10. Let t be i(-7). Solve t*j + 3*v = -0*v + 3, -3*j = 5*v + 3 for j.
4
Let m be (-110)/(-6) - 1/3. Suppose 10 = 3*y + 5*o, 5*y + 2*o - m - 5 = 0. Solve -3*c - 22 = -y*j, 3*c + 2*c + 28 = 4*j for j.
2
Suppose h = -3 + 1. Let f be (-50)/h + (4 - 1). Solve f = -4*m - 4*s, 0 = -m + 4*s + 2 + 11 for m.
-3
Suppose -1 = 2*y - o, -2*o = o - 3. Solve 2*u = -h - y*u + 8, -u = 2*h - 1 for h.
-2
Suppose -2*x - 4*l = -14, -3*x + 2*l + 2*l - 19 = 0. Let p be x/(((-15)/9)/5). Solve -2*v + 4*t = 18, -p*v - 1 - 4 = 5*t for v.
-5
Suppose -s - 2*q = 4*s - 134, 0 = -2*s + 4*q + 68. Solve -z + 8 - s = -4*r, 5*r - 28 = 2*z for z.
-4
Let x(z) = -5*z - 2. Let j be x(-3). Solve 5*p - 13 = 2*t - 0*p, -4*t - 3*p = j for t.
-4
Suppose m - 15 = -4*m. Let j = 7 - m. Suppose -j*a = -2 - 2. Solve 2*n + 4*z + a + 3 = 0, -3*z = 3*n + 9 for n.
-4
Let w(v) = v**3 + 4*v**2 + 5*v + 2. Let q be w(-3). Let l be -2*((-18)/q)/(-3). Solve 2*i = -0*i - l*f - 7, 5*i = -f - 11 for i.
-2
Suppose -p = k - 11, -4*p - k = k - 38. Let j be 36/p + 3/(-2). Solve -4*q + g + g = 22, -3*q = 5*g - j for q.
-4
Let h(g) = -g**3 - 2*g**2 + g + 1. Let x be h(-2). Let f = -1 - x. Suppose 0 = 2*n + 3*n - 50. Solve -3*y = -f*y + 5*u + 10, n = -2*u for y.
5
Let h be (-341)/(-77) + (4/7 - 1). Solve -5*f + 1 + 14 = z, -3*f + 9 = h*z for z.
0
Suppose -2*f - 7 = -3*f. Let t = f - 2. Solve 5*y = -2*o + o - 6, t*o = -2*y - 7 for y.
-1
Suppose 5*w + 3*s + 15 = 0, 10*s = -3*w + 5*s - 25. Solve 4*o = -5*i + 45, -o - 2*i + 9 + 6 = w for o.
5
Let k be (3 - (0 - -2))*12. Suppose 3*j - 4*d = 13 + 7, 5*j = -4*d + k. Solve 3 = -c - 2*a - 7, a + j = 0 for c.
-2
Let n be (9 - 13)*(-2)/4. Let y = n + -6. Let s(r) = -4*r - 2. Let k be s(y). Solve 5*t + k = 2*f + 4, -5*f = 25 for t.
-4
Let r(b) = 0 + 2 - b - 9*b + 0 - b**2. Let j be r(-10). Solve 6 = 5*c - 2*x, 2*c + j*x + 2 = 5*c for c.
2
Let d be (-4)/10*(-6 + 1). Suppose 24 = 5*m - m. Solve -m*i - 10 = -i + 5*k, -i - d = -k for i.
-2
Let r(w) = -w**3 + 4*w**2 + 7*w + 1. Let v be r(5). Suppose 2*l - v = l. Suppose 1 = -2*o + l. Solve -o*p - 2*q + q = 20, 4*p - 5*q = -16 for p.
-4
Let i(s) = s**2 + 10*s + 12. Let r be i(-10). Suppose 0 = 5*k + k - r. Solve -2*t + 22 = k*u - 6*t, -12 = 3*t for u.
3
Let p(x) be the second derivative of x**3/2 - x**2/2 - 4*x. Let j be p(1). Solve 5*w - 5 = -3*q, 4*w + 28 = 6*q - j*q for w.
-2
Let y(m) = -m + 4. Let w be y(6). Let o be w + 2 - (-3 + -2). Suppose 0*z - 2*z = 0. Solve -o*h - t - 6 = -2, z = 3*h - 2*t + 5 for h.
-1
Suppose 2*l = -3*x + 4*l + 14, 5*x = -l + 6. Suppose 4*c = 8*c + x*n - 10, -4*n = 2*c + 4. Solve -2*f + c*t = -8, 7*t = -3*f + 4*t - 6 for f.
0
Let k be 32/10 - 3/15. Let a(y) = -6 + 3 - 2*y + k*y. Let j be a(5). Solve 5*q - 2*u = -27, 6*q - 3*u + 23 = j*q for q.
-5
Suppose n = -4*n, -3*n = 4*x + 28. Let a be (-3)/3*x*1. Solve -5*v + 23 = -a*g + 3*g, 4*v - 12 = 0 for g.
-2
Let x be 55/10 + (-4)/(-16)*-2. Solve -x*a + 2*m = 1, 17 = -5*a - 4*m + 4 for a.
-1
Let v be 64/10 + 4/(-10). Let l = 7 - v. Let h = 3 + l. Solve -i = 3*z + 19, 5*i = 5*z + h + 1 for z.
-5
Let r(z) = -z**3 + z**2 + z + 15. Let y be r(0). Solve -y = -3*m + 5*k - 4*k, -m = 4*k - 5 for m.
5
Suppose 0 = -0*g + 5*g + 100. Let a be ((-6)/(-5))/((-6)/g). Solve 2*n = a*w + 6, 0 = 4*n - n + 4*w + 11 for n.
-1
Suppose -2*n + 12 + 0 = 0. Let y(v) = -2*v + 6. Let q be y(n). Let z be (-2)/((20/q)/5). Solve z*i + 6 = r - 3*r, -2*i = 0 for r.
-3
Suppose -5*l + 113 = -4*b + 34, -b - 7 = 3*l. Let a be 4*6/b*-6. Let d(j) = j - 7. Let q be d(a). Solve 2*w = w - q*n - 9, w + 4*n + 15 = 0 for w.
-3
Let z(t) = -2*t - 2. Let r be z(-6). Let q(o) = -o**2 + 11*o - 10. Let n be q(r). Solve -5*m - 3 = -3*f, f + n = 1 for m.
0
Suppose -6*i + 6 = -3*i. Let y be ((-3)/i)/((-3)/4). Suppose h = 3*u - y, -4*u + 0*h = -h - 4. Solve 3*f = -r + 2*f - 1, 2*r - 2*f = -u for r.
-1
Suppose 4*b - 3*f + 0*f + 9 = 0, 3*b + 8 = 2*f. Let l be b*(-1)/(-2)*-2. Solve 0*t - l = -3*d + 4*t, 0 = -d - 4*t + 2 for d.
2
Suppose 0 = 3*o + 4*g - 7*g + 15, -g - 5 = o. Let t(z) = -5*z - 8*z**2 + 2*z**2 - z**3 + 0*z. Let m be t(o). Solve 22 = -k + 4*p, 5*p - 23 = -k - m*p for k.
-2
Let u be (-12)/(-8)*(-48)/(-