 5, 4*u - 2*b = -l*b + 10 for u.
3
Let d(l) = l**2 - 13*l - 5. Let g be d(14). Solve 0*i = 3*k + i - 7, 0 = -k - 2*i + g for k.
1
Suppose -10*i + 13*i = 3. Solve -b = h - 7, 0 = h + 4*b - 23 + i for h.
2
Suppose 4*k + 15 = -21. Let z be 1/((k/3)/9). Let o be 1/((-11)/4 - z). Solve q - o*t = -0*t + 1, 4*t = -2*q - 10 for q.
-3
Suppose 7*i - 4*i = 78. Let k(x) be the second derivative of x**4/12 - 7*x**3/6 + 3*x**2/2 + 2*x. Let l be k(7). Solve -2*z + 4*s = -i, l*s + 8 + 10 = z for z.
3
Let h be (-9)/21 + 202/14. Let y be h/(-6)*42/(-7). Suppose -5*r + y = -1. Solve -d = -0*d + r*w + 5, 0 = -5*d - 3*w - 25 for d.
-5
Let k(g) = -5*g**2 + g + 3. Let i(u) = 4*u**2 - 3. Let t(h) = -6*i(h) - 5*k(h). Let v be t(5). Solve m = -a + v, 0 = -8*m + 3*m + 5 for a.
2
Let d be 7*(1 + 0)*1. Suppose -5*v - 6 - 9 = 0. Let q = d + v. Solve r + q + 0 = 4*p, 4*r = -4*p + 24 for p.
2
Let w be 71/(-5) + 1/5. Let k = -6 - w. Solve 3*g + 16 = 2*h, h - 10 = 4*g + k for g.
-4
Let z be (0 + 0)/((-22)/11). Solve 4*b + 12 = 2*x, b - 3*x = -z*b - 13 for b.
-1
Let k(j) = 12*j + 1. Let v be k(1). Let t be (-3 - 0)*5/(-3). Suppose -t*r = -v - 2. Solve 0 = -2*g + 4*x, 4*g + 13 - r = -2*x for g.
-2
Let p be (-16)/104 - (-41)/13. Solve 2*l - 11 = 5*t, 0*t + p*l = 3*t + 3 for t.
-3
Let h be 6/4 + (-6)/4. Suppose h*y = y - 5. Suppose -32 = -4*g - y*z, 4*g + z - 4*z = 0. Solve 0 = 5*f + s + 2*s + 30, 0 = g*f + 3*s + 24 for f.
-3
Let b be (-3 - -2)*(1 + -1). Let d = b + 0. Solve r = -2*n, d = 3*r - r + 3*n - 2 for r.
4
Let n be 0*-1*1/2. Let b = 0 - n. Suppose -2*q + r + 11 = 0, b = 5*q + r - 3*r - 27. Solve 17 = -4*y - 4*x - 7, -4*y - 25 = q*x for y.
-5
Suppose -3*d - 4*z = -4, 2*z = -8*d + 5*d + 14. Let f(x) = 2*x - 2. Let w be f(d). Solve -t + 6 + 17 = 4*i, 4*i - 2*t = w for i.
5
Let g = 45 - 27. Let s(f) = -f**3 - 8*f**2 - 8*f - 5. Let u be s(-7). Solve 0 = -5*d - 20, 6*a - g = a + u*d for a.
2
Suppose 2*f - 5 = 1. Solve -z + 8 = -2*z - q, 0 = f*z - q + 8 for z.
-4
Let s = 56 + -48. Solve -2*y = -s, 0*y - 2*y = 2*l - 6 for l.
-1
Let a(p) = -p**3 + 4*p**2 + 2. Let u = -5 + 9. Let i be a(u). Let b = i - 0. Solve 0 = 3*y + 5*f - b*f - 12, 0 = y + 3*f - 6 for y.
3
Let r be ((-72)/32)/((-3)/40). Solve -4*q = -2*l - r, -5*q + 10 = 2*l - 5 for q.
5
Let y be 4 + (-7)/(28/8). Solve -2*h + 13 = 2*k - k, 4*k - y*h = 2 for k.
3
Suppose -3*n - 1 = -7. Suppose 0 = -n*w + 4*w - 30. Solve 3*q + w = 4*h - h, -15 = 3*q + h for q.
-5
Let c be (-20 + -1)*1/(-3). Let y = -4 + c. Solve -26 = -x - 3*x + y*r, -x - 2*r + 1 = 0 for x.
5
Suppose -5*v = -5, 4*n - 5*v = -39 + 130. Suppose 0 = -4*z - 5*x + 90, z + x - n = -x. Solve 2*p - 1 = 5*h + 9, 0 = 4*p + z for h.
-4
Suppose -7 - 11 = -6*v. Solve 7*c - 2*c = v*j + 16, 0 = 2*j - 5*c + 19 for j.
3
Suppose 2*h = 4*p + 54, -3*h + 210 = 2*h + 5*p. Suppose -5*v = -h - 38. Solve 0 = l + 2*o + 1, 5*l - 5*o - v = 25 for l.
5
Let k(b) = b**2 + 4*b. Let s be k(0). Solve -36 + 8 = -4*d - 4*r, -d + r - 1 = s for d.
3
Let s be (-15)/20*1*-4. Let a be (-1)/(s*(-2)/(-18)). Let y be 18/(-3 + (-11)/a). Solve -4*p - 17 = -v, 2*p + 4*v = -p - y for p.
-5
Let s be (16/40)/(3/30). Solve -2*f + s*t = -0*f + 2, -2*f - 4*t = -22 for f.
5
Suppose 4 = -4*u, 3*u - 9 = -2*b + 6*u. Suppose 4 = -4*z - 4*s, b*s - 2 = -2*z - 8. Solve -2*j + z = -v, 8 = 4*v - 4 for j.
3
Let x be 20/15*(-39)/2. Let r = 37 + x. Solve 28 = -4*b - 5*o, r + 19 = -5*b - 5*o for b.
-2
Let q(p) = -p**3 - p**2 + 2*p - 1. Let a be q(-3). Suppose -13 = 4*l + a. Let y be 12 + (-3)/(l/4). Solve 0 = 2*z + 4*k + y, -4*z + 4*k + 8 = 3*k for z.
1
Suppose 0 = -g, b + 4*g = 2*b. Let v be b/(3/(-6 + 3)). Suppose 0 = -2*z + c + 3, v = -2*z - z + c + 3. Solve 2*p + 0*r - r + 11 = z, -r = -5 for p.
-3
Let b be (-1 + 15)/1 + 3. Suppose 0 = 3*y - 7 - b. Let p be (-65)/(-26) + (-6)/(-4). Solve -z - y = -3*z + p*h, 5*z = h - 16 for z.
-4
Let f(c) = c**2 + 2*c - 1. Let j be (-9)/(-6) - 1/2. Let t be f(j). Solve 0 = t*v - 3*x + 5, 3*x + x = -3*v + 18 for v.
2
Let r be 124/10 - 8/20. Solve 2*m = 4*f + r, m + 7 + 7 = -3*f for f.
-4
Let l be 2/6*12/2. Suppose -l*o - 36 = 54. Let w = 86 + o. Solve -s + 9 = x, -4*s - 7*x = -2*x - w for s.
4
Let m(z) = z**3 - 4*z**2 + 3*z. Let l be m(3). Let t be (1 - -2) + l/2. Solve -3*a + 0*a - c + 18 = 0, 34 = 5*a + t*c for a.
5
Let m be (-4 - 19)/(-2 + 1). Let v = -21 + m. Solve 2*i + 3 + 2 = -a, v*a + 5 = i for i.
-1
Let o be (-1 - -2)*-1 - -5. Suppose w = 3*d - 7, -3*d - 5*w - 1 = -2. Solve o*p = -3*r + 17, d = p - 0 for r.
3
Suppose 4*f + 17 = 5*a, -2*f = 4*a - 4 + 6. Suppose n + 4*u - 25 = 0, -3*u = -2*n - 4 - a. Solve -3*l - 1 = -5*i + 4*i, -5*i = -n*l + 5 for i.
-2
Let i(v) = v**2 + 10*v + 5. Let k be i(-10). Suppose -5*b + k = 0, -4*b - b - 7 = -2*h. Solve -14 = 2*z + 2*q + h, 0 = 2*z - 5*q - 15 for z.
-5
Suppose y = -2*t + 4 - 2, -y - 4 = 0. Suppose t*g - 7*g = 0. Solve -4*x + 14 = 2*n, g = n + 2*x - 4*x + 1 for n.
3
Let b(k) = -k**2 - 9*k - 6. Let d be b(-7). Solve d = 4*u, -3*u - 1 = -v - 11 for v.
-4
Suppose -4*y - y = -15. Let j(w) = -3*w - 3. Let q be j(-2). Solve 3*i + g = -q*g - 1, -3*g - y = 0 for i.
1
Suppose g + a + a + 129 = 0, 243 = -2*g - a. Let d = -49 - g. Let h be (-7)/(d/(-12))*10. Solve 5*c = -h - 3, 3*c = 2*y - 1 for y.
-4
Let z be -4*(2 + (-34)/4). Let v = -14 + z. Solve 4*g = 4*b - v, 5*b - b = -g + 7 for g.
-1
Let q be (2/(-4))/(3/(-18)). Solve 0 = p + 4, 2*c - q*p - 2 = 12 for c.
1
Suppose 5 - 30 = -5*m. Solve 2 = -4*n - m*a, 16 = 5*n - 3*a - 0 for n.
2
Let r be -3 - ((3 - 9) + 1). Let z be (42/(-4))/(r/(-4)). Solve -4*g - 5*p = -8*g + 3, 3*g + 4*p = -z for g.
-3
Let m be 67/13 + 18/(-117). Let d be m - 5 - (0 + -3). Solve -2*x + x - 17 = 5*y, -d*x = 4*y + 18 for y.
-3
Let y(z) = z**2 + 9*z + 11. Let p be y(-8). Suppose -h = p*h. Let r be 1/(h + (-1)/(-2)). Solve -r*b - 3*b + 3*s + 16 = 0, 0 = -3*b + s + 8 for b.
2
Suppose 5 = 4*h - 15. Let d(z) = z**2 - z - 1. Let g be d(3). Solve -1 = 2*l + h*i, 5 = l + g*i + 3 for l.
-3
Let w be (-1314)/(-72) + 2*1/(-8). Solve 2*o = u - 1 - 7, -5*o - w = -2*u for u.
4
Suppose -2*c = -5*t - 4 - 2, 0 = 4*t - 2*c + 6. Solve z - 4*l = 8, t = 8*z - 4*z + 2*l - 14 for z.
4
Let g(s) = s**3 + 25*s**2 - s - 15. Let w be g(-25). Solve 0 = 3*y + 4*f + 13, f = 4*y - f + w for y.
-3
Let g be 1 + -1 - (-2)/1. Let n(t) be the first derivative of -t**4/4 + t**3 + 2*t**2 - t - 3. Let s be n(3). Solve 0 = -3*w - m - s, m = -m + g for w.
-4
Let j(y) = y**3 - 7*y**2 + 7*y + 4. Let p be j(6). Let i = p + -10. Suppose 2*l - 1 - 3 = i. Solve 6 = -2*z + z + x, 3*z + l*x = 7 for z.
-1
Suppose v = -2 + 1. Let n be (6/15)/(v/5). Let x(o) = -o + 2. Let d be x(n). Solve 6 = -b + d*h + 27, 0 = -3*b - 2*h - 7 for b.
1
Suppose -4*z = 4*i - 11 - 9, -2*i + 6 = 0. Solve -2*b - z*p = -6, -5*p + 12 = b + 3*b for b.
3
Let b = -9 - -13. Suppose 2*z = 4*u - 2*z - 32, 2*u - 4*z = 26. Solve 4*j = u*n + 6, b*n + 10 = 4*j - n for j.
0
Let f(y) = y + 8. Let x be f(-4). Solve -p + 26 = -6*p + 4*o, -x*o = -16 for p.
-2
Let l(i) = -6*i**3 + i**2 - i - 2. Let b be l(2). Let k be b/(-9) - (-1)/(-3). Solve 5*t = 0, -3 = -4*c - 3*t + k for c.
2
Suppose 30 = 5*l - 0*l. Let k be (-2)/((-4)/l - 0). Let q be 12/k + 2 + -1. Solve -5*t - p = 3*p - 12, -15 = 5*t - q*p for t.
0
Let d be ((-6)/(-4))/(1/2). Let t(m) = m**3 + 11*m**2 + 3. Let z be t(-11). Solve 2*x = -z*b - 11, -b - d*b - 3*x - 15 = 0 for b.
-3
Suppose 7*n - 14 = 5*n. Let h = -4 + n. Solve -3*k = -o + 4, -2*o + 1 = -h*o - 2*k for o.
1
Let q = -3 - 0. Let m be 4/(-12)*q*2. Suppose 3*g - 8*g + 20 = 0. Solve g*t - o - m = 0, t + 0*o - 2 = o for t.
0
Suppose 0*i - x = -2*i + 11, 3 = -3*x. Solve 0 = r + 3*r + i*l + 17, -17 = -r + 3*l for r.
2
Suppose 0 = -4*w + 4*t + 5 + 35, -5 = -2*w - t. Let x = 4 - 1. Solve -1 = -2*d - w*q, -x*d - q = -2*q + 7 for d.
-2
Let i be 42/9*6/7. Suppose g = -3*x + 8*x - 14, 5*x + g = 16. Solve x = v - r + 3*r, i*v = -5*r for v.
-5
Let f(g) = -g - 10. Let p be f(-12). Solve p*a - 5*a + 9 = 3*k, 0 = -a - 4*k for a.
4
Let b(y) = -y**3 + 9*y**2 - 8*y + 3. Let c be b(8). Suppose c*v = -0*v. Solve 3*a - 13 = -5*p, v = a + 2*p - 5 for a.
1
Suppose 32 = 4*h - 0*h. Solve 4*q + 27 = h*l - 3*l, 3*l = 5*q + 24 for q.
-3
Suppose 28 + 18 = 2*i - 2*x, -2*x = -i + 26. Suppose -4*g + i = 4*y, -5*y = -4*y + 3*g - 7. S