-4*d - 6 for k.
2
Suppose -15*t + 16*t - 3 = 0. Solve -2*b - 2*b + 3*u = 8, -10 = 2*b - t*u for b.
1
Let u = 15 + -5. Suppose -3*m = -28 + u. Solve 0 = -m*t + 3*t - 3*r + 3, 2*t - 3*r + 8 = 0 for t.
-1
Let a = 11 - 5. Let l(m) = m**3 - 4*m**2 - 2*m + 6. Let j be l(5). Let v be (j/14)/(6/16). Solve -5*g = -v*n - 13 - 0, -n = -4*g + a for n.
-2
Let r be (18/27)/(1/6). Let i(p) = 4*p - 2. Let y be i(r). Solve 0 = -b - 5*t - y, -2*b - 4*t - 12 = -2*t for b.
-4
Let z be -1 + 3 + 0 + -2. Solve 22 = q + 5*p, z = 3*q + 4*p - p - 6 for q.
-3
Suppose 2*k - 4 = -0*k. Solve 2*t + t + w = 5, 0 = 2*t + k*w + 2 for t.
3
Let f be 25 - 8/12*-3. Let n be (-6)/f + (-195)/(-27). Solve -4*u - 1 = 4*o - 5, 5*u + 2*o = -n for u.
-3
Let p(v) = v**3 + 2*v - 1. Let j be p(1). Suppose -u + 7 = b, -5*u = -j*b - 0*b. Let g = u - 0. Solve 4*m = -g*z + 30, -3*z - 4*m = z - 40 for z.
5
Let y(f) = f + 1. Let w be y(3). Solve 0*l + w*l + 2*t = -12, -5*l = t + 9 for l.
-1
Suppose -3*j = 2*j - 20. Let r(f) = -5*f - 1. Let t(s) = s**2 + 3*s - 1. Let h be t(-3). Let z be r(h). Solve -3*n = -z*n + 3, -4*u - 24 = -j*n for u.
-3
Let x = 51 + -30. Suppose 5 = -5*t, 5*a - 196 + x = -5*t. Suppose 0 = -5*c - 11 + a. Solve 5*m - 2 = -5*r - 7, -c = 2*m - r for m.
-2
Let y(r) = r**2 - 3*r + 1. Let v = 3 - 0. Let p be y(v). Suppose -2*l - 1 = -b + p, -3*b + 6 = 3*l. Solve -3*w - d = -6, b*d + 18 = 2*w + 6 for w.
3
Suppose -12 = -5*m + m. Let f be (-5 - -1)/(m/(-6)). Let r be f/2 + 0/3. Solve -3*j = r*k - 5, 4 = -k + 4*j - 9 for k.
-1
Let z(q) = -3*q. Let s(g) = -g**2 + 9*g - 1. Let o be s(9). Let d be z(o). Let a be (-9 + d)/((-6)/4). Solve 0 = 2*u + 5*h + 5, -a*u = -2*h + 22 for u.
-5
Suppose -3*n + 4 = 1. Suppose -t = -2 + n. Let z = t - -1. Solve 2*j + 2*d - d = -8, 0 = -3*j + z*d - 5 for j.
-3
Let q = -39 - -42. Solve 3*c + q*s = 6, -2*c + 1 = -3*s + 17 for c.
-2
Let c = 8 + -3. Suppose -q + 5*q - 8 = 0. Suppose -g + c = q. Solve -g*k + 1 = 2*a, -3*a - a = 16 for k.
3
Let z(d) = -8*d - 6. Let f(g) = -7*g - 5. Let c(w) = -7*f(w) + 6*z(w). Let u be c(2). Solve 4*a = -5*s - 0 - u, 5*s - 7 = -2*a for s.
3
Suppose 4*x = 4*i - x - 2, 8 = 4*x. Suppose -o - 15 = -3*f - 3*o, o = -3*f + 12. Suppose 0*j = j - f. Solve -5*m + i*m = 4*q - 24, 21 = j*m + 3*q for m.
2
Suppose 5*b + 5 - 30 = 0. Let i = 3 - -8. Suppose -3*k + i = -2*h - 0*h, -h + 27 = b*k. Solve -h*w + 5*z - 2*z - 10 = 0, 4*z = 0 for w.
-5
Let s = -18 + 28. Suppose s*b = 5*b + 2*z + 4, b + z = -2. Solve -8 = 5*t + m, -t + 3*m - 8 = -b*t for t.
-2
Suppose -2*l = -7 + 3. Solve l*i + f + 8 = 0, -8 = 4*f - 0 for i.
-3
Let n(c) = c**2 - 2*c + 2. Let m be n(2). Let v(y) = -y - 11. Let d be v(0). Let h = d - -13. Solve h*z + 9 = -2*o - 1, 6 = -m*z - o for z.
-1
Let s(a) = -2*a - 5. Let m(k) = k**3 + k + 1. Let w(j) = m(j) + s(j). Let b be w(0). Let z be 1 - (-1)/((-2)/b). Solve -5*y = -u + 12, y - 5*y + z*u = 14 for y.
-2
Let a(y) = y + 4. Let w be a(2). Solve 2*c - l = -w*l - 28, 0 = -c - 3*l - 16 for c.
-4
Let p = 0 + 5. Suppose -p*i + i - s = -7, -3*i - 4*s - 11 = 0. Solve -4*b + h = -0*b - 13, 4*b + 7 = -i*h for b.
2
Suppose 4*o = 84 - 20. Suppose -3*v + o - 1 = 0. Solve 0 = -4*m - v*n + 37, -4*m - n + 27 = 2*n for m.
3
Let f = 6 - 6. Suppose 4*w + f = 3*k + 7, 5*k = -4*w + 31. Solve 4*x - 22 = 3*t, 2*x = x + w for t.
-2
Let q(m) = m**2 - 2*m + 3. Suppose 0 = 2*p + l - 3, 7 = p + 3*p + l. Let a be q(p). Solve 0 = 3*z - a, y + 4*z = 4 - 0 for y.
0
Let u be (-2 + 5)*(1 - 0) + 2. Solve 0 = -m - 3*o - u, -2*m = -5*m + 2*o - 15 for m.
-5
Suppose 0*n + 10*n - 30 = 0. Solve 4*h = 5*m - 12, 0 = n*m + 5*h + 4 - 26 for m.
4
Let c(n) = 3*n - 5*n + 2*n**2 + 5*n + 0*n**2. Let b(z) = -z + 4. Let p be b(6). Let w be c(p). Solve 5*k - 25 = 0, -w*a + k = 4*k - 19 for a.
2
Suppose -3*d = -2*d + 2*i + 3, 0 = -2*d - i. Let w be (d + -1)*(-1)/3. Suppose -m + 1 = 0, -4*v + 4*m = m - 25. Solve w = -r - o + v, r + 2 = o - 1 for r.
2
Let x be -2 - (10*1)/(-2). Suppose -k + 0*k - 4 = 0. Let p = x - k. Solve -y - p + 4 = 0, 4*y + 6 = 3*j for j.
-2
Suppose -4*k - 4*k = -16. Solve 0 = -l - s + k, 3*l + 4*s - 14 = 2*l for l.
-2
Let m(c) = c**2 + 3*c - 4. Let p be m(-5). Let a be ((-1)/1)/((-1)/p). Let d be a/5*(2 - -3). Solve 2*o = -8, x + 0*o - o = d for x.
2
Suppose 3*m - 4 - 26 = 0. Solve 3 = -5*j + y, -4*j - y = 2*y + m for j.
-1
Let n(p) = -p**3 - p**2 + 9. Let a be n(0). Let c be (3/a*0)/2. Solve -5*k + 10 = -c*k, -5*k + 20 = -5*j for j.
-2
Let w be 13 + (-4)/(-6 - -2) + -4. Solve 6*n = 3*a + n + 26, a = 2*n - w for a.
-2
Suppose l + 2 = -4*i + 10, 0 = -2*i + 5*l - 18. Let x be (i/(-3))/((-1)/6). Solve -3*g + 2 + 1 = 5*d, -g = -x*d + 10 for g.
-4
Suppose 13 + 7 = 4*r. Solve -5*x = -r*u + 35, -5*u + 20 = -3*u - 4*x for u.
4
Suppose -5*g + 10 = 3*m, 7*g - 8 = 3*g - m. Let x be -2 - -6 - (2 - 1). Let k be 4*4/8 - 0. Solve -5*s = k*d - x - 4, -3*s + g = -d for s.
1
Let o(x) = x**3 + 11*x**2 + 9*x - 7. Let b be o(-10). Suppose -1 + 3 = -2*g + 5*d, -48 = -4*g - b*d. Solve g = 2*t + 4*m + 31, 0 = 4*t - 5*m - 21 for t.
-1
Let i(l) = -l**3 + 10*l**2 - 9*l + 12. Let m be i(9). Solve -7 = -3*d + 5*p, 0*d - 4*d + 4*p + m = 0 for d.
4
Suppose -3*j = -5*g + 7, 5*j = j + 5*g - 11. Let l = j + 7. Solve c + x = 0, l = 3*c - 0*x + 4*x for c.
-3
Let t be (1/((-2)/(-30)))/1. Solve 4*x = 4*m - 24, 3*x + t = -0 for m.
1
Suppose -4*a = -4*n + 8, 3*a = 4*a - 2. Solve 0 = -4*m - n, 3*m = -2*u - u + 6 for u.
3
Suppose -6 = 4*g - 2*g. Let z = 2 - g. Solve -17 = 4*c + z*n, 3 = -5*n - 2 for c.
-3
Let z = 8 - 5. Suppose t + z = 12. Solve 15 = -4*d + b, -2*d + t = 5*b - 0 for d.
-3
Let x = -31 - -33. Solve -5 = -5*a, 3*m - 5 = 2*a + x*a for m.
3
Let h = 0 + 3. Suppose 2*o + 3*o + 5*w - 30 = 0, -h*o + w + 38 = 0. Solve -x + 3*q = -2 - o, -7 = -x + q for x.
4
Let r = 75 + -50. Suppose -5*h - q = -5*q - 29, -4*h + 5*q = -r. Solve -5*u + h + 5 = 5*t, 2*u = t + 13 for t.
-3
Suppose -k + 3*k = 4. Solve -p = -k*d + 1 + 3, 2*d - 6 = 2*p for d.
1
Let y be (-4)/(-6)*6/4. Let o be (5 - 1) + y + -2. Let b(r) = 6*r - 2. Let p be b(o). Solve 11 = 2*t - 5*d, 4*t + 0*d - p = 4*d for t.
3
Let y(w) = -2*w + 2. Let o be y(0). Solve o*a - 4 = -2*i, -14 = -5*i - 2*a - a for i.
4
Suppose -5*j - 81 = -4*u, j + 0*j + 5 = 0. Let d = -10 + u. Suppose d*v - 5*r - 65 = 0, 0 = 2*r - 4*r - 2. Solve 2*g + x = -7, -x = -3*g - 4*x - v for g.
-2
Let t(v) = -v**2 + v + 2. Let u be t(2). Solve 5*g + 15 = a + g, u = -2*a + 2*g for a.
-5
Let n(l) = -l + 4*l - l - 4. Let h be n(6). Suppose -v - 4 = -2*o, 0*v - 2*v = -2*o + h. Solve o*x + 10 = -4*x + 2*b, -3 = 3*b for x.
-3
Suppose 0 = -3*f - 0*f + 6. Let g be ((-6)/(-4) - f)*-18. Solve -r - 2*u = r - 4, -3*u + g = 0 for r.
-1
Let w be 60/33 + 24/11 + -2. Solve 5*n + 5*c - w = n, -c = 2 for n.
3
Let t = -14 - -16. Solve -3*n + t*v = -2*n + 8, -5*n + 4*v - 16 = 0 for n.
0
Suppose 15*i = -i. Solve 2*r + 3*v - 3 - 2 = i, 5*v = 5*r + 25 for r.
-2
Let z be -1 - -15*2/3. Let r be (z/7 - 1)*7. Solve -2 = 3*b - 4*c, b + 2*c + r*c = 10 for b.
2
Let m = -11 + 13. Solve 3*z = -m*r + 11, 5*z - 22 = -5*r + 3 for r.
4
Let n = -5 + 7. Suppose 0 = -2*x - n*x. Solve 4*b + y + 17 = x, 7*b + 32 = 3*b - 4*y for b.
-3
Suppose -5*b = h + 21, 2*h + 3*b + 3 = -4. Solve 5*o - 12 = -t + 12, -3*t + h*o = 4 for t.
4
Suppose 3 = -0*q + q. Suppose -q*r + 27 = -6. Let c = r + 1. Solve -4*m = 4*k - c, -m - 23 = 4*k - 4*m for k.
-2
Let v(f) = 6*f + 1. Let y be v(2). Let o = -11 + y. Suppose 2*k = -5*l + 177, 0*k - 3*k - 67 = -2*l. Solve -5*h = -d + 20, d + o*d + 4*h = -l for d.
-5
Let o = -12 + 23. Let v be -3 - (-2 - (1 + o)). Solve -k + 2*s = -2*k + 1, -3*s - v = 4*k for k.
-5
Let k = -32 - -57. Let b be (-3)/((-15)/2)*k. Solve -5*y = -g + 5*g + 2, 3*g = 2*y + b for y.
-2
Let o = -5 - -8. Suppose 0 = o*s - 10 + 1. Solve -2*f + 9 = y, 0 = -f + 2*y - y - s for f.
2
Suppose -5*x + 138 = 18. Suppose -m = -4*l + x, 0 = m + 7 - 3. Let p = 7 + -3. Solve -l*z - 5*c - 25 = 0, z + 3*z + 12 = p*c for z.
-4
Suppose -2*m + 3*y - 11 = 0, 0*m - 4*y + 24 = 2*m. Suppose -m*g - 5 = 3*z - 6*z, -z + 3*g - 3 = 0. Solve -z = -4*j - 4*u + 1, j = -3*u + 5 for j.
-1
Let j = -5 + 8. Let g = 4 - 2. Solve 5*c + 18 = 2*r + r, 3*r + j = -g*c for r.
1
Let g(x) = -x**2 + 6*x + 9. Let u be g(7). Let c be u - -13 - (0 + 0). Solve 0 = f + f + 