 8 for l.
2
Let h = -1 - -1. Suppose 5*u = 0, 2*o + h*u = -3*u + 8. Solve -1 = 4*b - 3*b, -3*b - 7 = -o*c for c.
1
Suppose 5 = -4*i + 25. Suppose -4*l + 2*a = 0, -4*l - l - 26 = 4*a. Let n be (-6)/((4/l)/2). Solve i = -2*f - 3*z, -6 = -3*f + n*f + 4*z for f.
2
Let r(o) = -o**3 - 6*o**2 + 7*o + 2. Let v be r(-7). Let x(q) = 2*q**2 + 17*q + 12. Let b be x(-8). Solve h + 2*l = 3, b*h - 11 - 1 = -v*l for h.
3
Let u be -2*1*27/(-18). Solve -u*d = -5*c - 30, 0 = 2*c + 3*d - 2 - 7 for c.
-3
Let b(o) = -2*o**2 - 5*o - 4. Let k be b(-3). Suppose r + 4*q = 12, -2*q = -2*r + 3*q - 28. Let v = r - k. Solve -8*t + v*t = 2*m - 2, -3*t - 1 = -m for t.
0
Suppose -3*z - 6 = 2*h - z, 3 = -4*h - z. Solve h*t + 25 = 5*k - 5*t, -2*k - 2*t - 6 = 0 for k.
1
Let q = -26 - -11. Let g be 16/(-10)*q/6. Solve 5*y = -10, 5*v = -0*y + g*y + 28 for v.
4
Suppose -4*v - l = 49, -4*v - 27 - 7 = -2*l. Let w = v - -20. Solve 4*s - w*s = 5*r, -5*r - s + 20 = 0 for r.
5
Let y be 12/(-8) - 10/(-4). Suppose -y = -5*l + 9. Solve l*k - 4*b = b + 12, -5*b - 20 = 0 for k.
-4
Let k(g) = 15 + 0*g**2 - g**2 + 2*g**2 - 16. Let h be k(1). Solve 2*t + 25 = w - 2*t, 4*w - t - 25 = h for w.
5
Let p(b) = -b**2 - 4*b + 7. Let h = -9 + 4. Let g be p(h). Solve 0 = -t + 5*o + 3, 12 = 4*t + g*o for t.
3
Let t(r) = -r**3 - 6*r**2 - 6*r + 1. Let q be t(-5). Suppose -q - 6 = -3*u. Solve 3*s + 26 = 5*o, u = 2*o + s - 2 for o.
4
Suppose -5*w + 20 = 15. Solve -2*m = 2*d - 8, 2*m = w + 1 for d.
3
Let r(k) = k**3 - 7*k**2 + 7*k - 6. Let s be r(6). Suppose 0 = 3*v - 8 + 2. Suppose 0 = -v*j + 6. Solve 2*f + 5*z - j = s, -5*z = 5*f - 0*z for f.
-1
Suppose 3*q - 13 = 17. Suppose -4*w + q = -2*w. Solve 3*s - 11 - 3 = x, s + 22 = -w*x for s.
3
Suppose -4 = 2*t - 3*t. Suppose 7*y - 10*y = 0. Solve 0 = 4*j - t*o - 16, -4*o + y*o + 2 = 2*j for j.
3
Let k(b) be the third derivative of b**5/60 - 5*b**4/24 - b**2. Let p be k(5). Solve -2*a + 3*a = 0, -s + a - 4 = p for s.
-4
Suppose 7*m + 0*m - 14 = 0. Suppose 20 = -a + 6*a. Solve 7*j = 5*y + a*j - 8, -4*j - 2 = m*y for y.
1
Suppose 136 = 16*f + f. Let x = -2 - -3. Solve 0 = p - x, -5*p = 5*l - 2 - f for l.
1
Let w be 81/(-15)*(-90)/27. Solve -2*j + 4*a - 9 = -j, -w = -2*j - 4*a for j.
3
Let x(u) = u**2 + 6*u - 4. Let i be x(-8). Suppose 2*j + 0*j = 138. Let y be j/5 - 2/(-10). Solve 5*g - 2*h = -y - i, 0 = 5*g - 4*h + 32 for g.
-4
Suppose j = 3*j - 8. Let y be j - 2 - (2 - 1). Solve 3*d + y - 2 = -v, 5*d + 5*v + 5 = 0 for d.
1
Suppose 4 = 4*w + 4*z, -9 = -w - 2*z + 3*z. Let b(r) = r**3 + 2*r**2 - r - 1. Let h be b(2). Let x = 16 - h. Solve 3*y + x*o - o = -11, o - 1 = w*y for y.
-1
Let v(m) = -m + 6. Let p be v(3). Let j be 2/(1 - p/9). Solve j*b + 3*r - 1 = 11, 0 = 3*b + 2*r - 11 for b.
3
Suppose 0 = -4*m + 4 + 32. Suppose 3*v = -0*v - m. Let n = 2 - v. Solve -w = -10*y + n*y - 7, -2*w - 4*y = 0 for w.
2
Suppose 3*q + 9 - 87 = 0. Solve -1 + q = 5*a + 5*h, -5*a + 4*h = 11 for a.
1
Let c be 3/(27/(-12))*-3. Let d be (3/9)/(c/24). Solve -23 = 5*p - d*u, p + 3*u + 1 = 10 for p.
-3
Suppose 22*j - 6 = 19*j. Solve 5*u - 23 = -5*i - 3, -10 = j*i - 4*u for i.
1
Suppose 0 = 3*h - h. Let n(u) = -u**2 - 4*u - 5. Let x be n(-5). Let o = x - -13. Solve h = 3*y - 3*w + 21, -y - 3*w = 2 - o for y.
-5
Suppose -6 = -3*n + n. Solve 0 = -3*h - n*k + 14 + 4, -2*h + 6 = -k for h.
4
Let u = -1 + 3. Suppose -6 = -2*c + 4*l, 0 = 5*c + 4*l - u*l - 27. Let z(i) = 4*i - 5. Let d be z(5). Solve c*g - 2*g + 24 = -4*n, 0 = -5*n - d for g.
-4
Let a = -11 - -15. Suppose 4*u = 3*j + 25, -3*u = -6*u - a*j. Let x(k) = -k**2 + 10*k + 4. Let m be x(9). Solve d - u*w - m = 7, 2*w = -2*d for d.
4
Let u be (-4)/18 - 56/(-9). Let z = 39 - 39. Solve z = -d + u*v - v - 17, d - v = -1 for d.
3
Suppose -3*f + 4*g = -7 - 5, -5*f + g = -20. Let v be -3 + (f - 1) + 10. Solve -2*c - v = 0, 4*b - 2*b = -5*c - 15 for b.
5
Suppose -d - 5*o + 20 = 0, 4*d - 2*o + 33 = 3. Let s be (-11)/d - 1/5. Solve 3*w - 7 = 2*h, -16 = h - 2*w - s*w for h.
4
Suppose -l - r + 12 = -0*l, -l + 5*r + 18 = 0. Let f = 7 - l. Let j(c) = c + 9. Let a be j(f). Solve -4*h - 5*d = -3*d - 28, 3*d + 3 = a*h for h.
5
Suppose 8 = 3*x - 4. Suppose 8 = 4*o + 3*r - 5*r, x*r + 4 = -4*o. Solve l + o = 4*z, -4*l = -5*z - 1 - 6 for z.
1
Let l(s) = 2*s - 1. Let i be l(-2). Let c = i + 10. Solve 0*q - 4*q = c*a + 7, -a = 3*q - 3 for q.
2
Let m = 13 + -9. Solve 0 = 2*s - k + 1, -s + k = -4*k - m for s.
-1
Let j be ((-5)/60*-15)/(2/8). Solve 10 = j*z, -3*z = 3*n + 2*z - 7 for n.
-1
Let q be ((-1)/(-2))/(19/76). Solve q*h - 11 = 3*i + 14, 2*h - i - 15 = 0 for h.
5
Suppose 0 = -4*i + 4 + 12. Let w = i + 1. Solve 0 = -2*y - 0*z + z - w, 0 = 5*y + 3*z + 40 for y.
-5
Let y = 226 + -220. Solve -5*w = -2*u + y*u + 20, -2*u + 5*w + 20 = 0 for u.
0
Suppose 0 = 2*f - 5*u - 18, -3*f = -7*f + 4*u + 24. Solve 7 - 3 = -4*o - 4*d, 0 = 2*o + f*d for o.
-2
Let i(t) = -t**2 - 4*t + 1. Let d be i(-3). Suppose -20*u + 15*u + 15 = 0. Solve 3*p = -d*s + u, -p - 2 = -3*p - s for p.
1
Suppose -5*l - m = -0*m - 61, -5*l + m = -69. Solve -2*a - n = l, 3*a - n + 11 = 4 for a.
-4
Let p(h) = -h + 10. Let l be p(5). Suppose -3*k + 0*k + w + 1 = 0, -2*k + l = -5*w. Solve -3*o + 5 - 15 = 4*t, 5*o + 2*t + 12 = k for o.
-2
Let b = -7 + 11. Let u be (-5)/(10/4) + 6. Solve 2*x = u*k - 4 - 10, b*k - 26 = -2*x for x.
3
Let n = -17 + 20. Solve q - 3*a = 5*q - n, 4*q = 4*a + 24 for q.
3
Let t be ((-16)/12)/((-6)/(-9)) - -5. Solve 5 = 5*o + 5*j, -t*o - 1 = -4*o + j for o.
1
Suppose -f + 2 = 3*i, -10 = i + 4*i - 5*f. Solve 3*b - 5*z = 9, 3*b + i*b - 3*z = 9 for b.
3
Let o be (-6 - -2)/((-2)/5). Suppose 0 = -5*i - 2*r + o - 0, 2*i - 5*r - 33 = 0. Let h = i - 4. Solve -v = 5*u - 2*v - 7, h = 2*v - 6 for u.
2
Let h be 2/(-9) + 494/117. Solve -a + n = -h, 0 = 5*a + 4*n + n for a.
2
Suppose 0 = 2*n - 5*g - 11, 2 = n - 4*g - 5. Let q be ((-14)/(-7))/((-2)/(-49)). Suppose 4*c - q = -9. Solve -2*h = -n*a + 4 - 2, 0 = a - 3*h - c for a.
-2
Let k(n) = -n**2 + 6*n + 4. Let x be k(6). Solve 4*z - 7*z = x*q, 2*q = -3*z - 6 for z.
-4
Let w(f) = -f + 15. Let d be w(11). Solve k = d*m + 7 - 2, 0 = -m + 3*k + 7 for m.
-2
Suppose -20 = 4*z + 5*p, -2*z = 3*z - 5*p - 20. Solve z*b + 2*b + 26 = -4*v, 0 = -3*v + 5*b + 13 for v.
-4
Let r be ((-6)/(-15))/(2/20). Suppose 4*x - 3 = -3*t + 6, 0 = 2*x - 2*t + 6. Suppose 5*u + r - 14 = x. Solve -4*w - 4*k + 1 + 3 = 0, -4*k = -u*w + 26 for w.
5
Let f = 2 - -6. Let b be (f/(-6))/((-8)/12). Solve 3*k + i - 3*i - 8 = 0, -b*k - i = 4 for k.
0
Suppose 3*p - 5*n + 9 - 3 = 0, -5*n + 21 = 2*p. Let o be (4 - 45/10)*(4 + -10). Solve -d - 6 = p*w + 2*w, -3*w - o = 0 for d.
-1
Suppose -20 = 5*i, i = x + 4*i + 5. Suppose -2*d - 100 = -x*d - 5*l, 3*d - 2*l = 55. Let b = 22 + -20. Solve -t + 4*y = b*t - d, -2*y - 9 = -t for t.
1
Let t be (18 - (-3)/3) + -1. Solve 0 = -s + 3*l - t, s - 16 = 3*s - 2*l for s.
-3
Let g(i) = -i**2 - 2*i + 4. Let j be g(-4). Let k = j + 8. Solve l + 7 = 2*z, 0*l = 2*l + 2*z - k for l.
-1
Let a(v) = -v**3 + 6*v**2 + 3*v - 5. Suppose 9 = 2*o - 3. Let j be a(o). Solve -3*f + j = -f + 3*c, -3*c + 7 = -f for f.
2
Suppose -4*f + 26 + 26 = -5*v, 24 = f - 4*v. Solve -2*x + 8 = -5*a, 3*x - a = f*x - 20 for x.
4
Let h = 26 - 21. Solve -2*s + 5*v = 10, 1 - h = -v for s.
5
Suppose 0 = -3*b - b. Suppose -4*v + 17 + 3 = b, u = 5*v - 22. Solve -u*j + 4*g + 26 = -j, 0 = -3*j + 4*g + 31 for j.
5
Let j = -2 + 5. Let x be -2 + -4 - (-1 + 1). Let r = 8 + x. Solve g = -5*o - 22, j*g - r + 4 = o for o.
-4
Suppose n = 5*k, 5*n + 13 = 4*k + 34. Let x(c) = 5*c**2 + 2*c - 1. Let i be x(k). Solve -4*d + 6 + i = -4*o, d + 9 = -2*o for d.
-1
Suppose -u - 48 = 5*d + 2*u, -46 = 5*d + u. Let k(i) = -3*i - 2. Let f be k(d). Solve 11 + 4 = -3*c + 3*n, 0 = c + 5*n - f for c.
0
Let c = 10 + -10. Solve 6 = -c*m - 2*m - z, -z + 12 = -4*m for m.
-3
Suppose 0*o + 320 = 4*o. Suppose o = 3*a + 2*a - z, -a + 37 = 4*z. Suppose 0 = 2*y - p - 25, -2*y + y = -2*p - a. Solve -5*f = -0*f - 5, 5*f + y = -4*u for u.
-4
Let y be 1*-1 + (2 - -5). Let h(j) = -j**3 - 15*j**2 - 15*j - 6. Let s be h(-14). Let l be (21/7)/(y/s). Solve 3*f = 3, 0*q - 6 = l*q - 2*f for q.
-1
Let b(j) = 3*j + 12. Let y be b(-2). Solve 0*d - 5 = -5*d, -2*d + y = 4*z for z.
1
Let b(w) = w**2 - w - 2. Suppose i + 2 = 5. Let o be b(i). Suppose -