Solve -2*i + 4*u = -0*u - 14, 0 = f*u + 8 for i.
3
Let i be -1*(0 + 26*-1). Solve h + i = 5*c - 3*h, c - 6 = h for c.
2
Suppose -b + 2 + 2 = 0. Let g(h) = -h**2 + 7*h - 6. Let y be g(5). Solve b = -y*k - 4, k = 3*i - 8 for i.
2
Let w(j) = j**2 - 11. Let z be w(4). Solve s + z*y - 18 = 0, -4*s = -5*y + 17 + 11 for s.
-2
Let j be 20/(-15)*-3*1. Solve 0 = 4*k + 2*l + 2, -3*k - 4*l = -j*k - 14 for k.
-2
Let x = 23 + -21. Solve -t - 8 = -2*t - 2*m, t - x*m = 0 for t.
4
Let h be (-1 + -33)*1/2. Let w = 32 + h. Solve 4*g - 4*x + 3*x - w = 0, -g - x = 0 for g.
3
Let c = 11 + -7. Let t(a) = a**3 - a**2 - a + 2. Let z be t(0). Suppose -z*p = -2, 6 + 18 = 4*w + c*p. Solve 2*x - b = w, 0*x + 13 = 4*x - 3*b for x.
1
Suppose 19 - 6 = 2*b + v, -2*v - 6 = -4*b. Solve -u + b*h = -3*u + 14, -6 = -u - h for u.
5
Suppose -3*x + 2*x - 5 = 0. Let y = x + 7. Solve -j + y*k - 5 = 0, -3*j + 5 = -0*j - k for j.
3
Suppose 49 + 95 = 4*g. Suppose -3*r = -g - 9. Solve -4*v + r + 25 = -5*b, 3*v = -b + 11 for b.
-4
Let o(a) = -2*a**2 + 2. Let b be o(0). Solve 0*q + m - 1 = -b*q, 4*q - 7 = 3*m for q.
1
Suppose 5 = -s - 4*b, 0 - 2 = -2*s - 2*b. Solve -s*f = -5*x + 20, -4*f - 3*x - 17 = -0*f for f.
-5
Suppose -5*z + 24 = -n, -n - 12 = z - 3*z. Let q be ((-2)/(-3))/((-1)/(-3)). Let d = q - -2. Solve 4*s + 12 = d*k, -z*k - 6*s = -2*s + 4 for k.
1
Suppose -5*b - 2*i = -0*b + 23, 19 = -b - 4*i. Let u = -3 - b. Let h = 55 - 29. Solve 2*q - c = -u*q, 5*q - h = -4*c for q.
2
Suppose 4*a + 7 = 4*u - 5, u = -3*a - 1. Solve 14 = 4*p + 5*h, 0*p = -2*p + 2*h - u for p.
1
Suppose 0 = c - 9. Suppose -2*h - h = -c. Suppose -i - h*d + 5 = 12, 0 = -3*i - 2*d. Solve -4*t - 2 = -n - i*t, -2*n - 5*t = -13 for n.
4
Let v(o) = o**2 + 4*o - 3. Let y be v(-5). Suppose y*p = -2*b + 6, 2*p + 12 = 2*b + p. Let k be 5*2/(-4)*-2. Solve -b*i = k*s + 35, -5*i - 6 + 1 = -s for s.
-5
Let y = 4 - -1. Let b be y/6 + 2/12. Let x be (-1)/(1*b/(-24)). Solve -3*q - n - 4 = n, -x = 4*q - 2*n for q.
-4
Suppose -188 + 48 = -7*v. Solve 3*f - 2*k - v = 0, 0 = 3*f + 4*k + 4 for f.
4
Suppose d = -2*d + 2*i + 9, 2*d + 2*i - 16 = 0. Suppose d*t - 7 = 18. Let g be -2 + 2/1 + t. Solve 4*p + 4 = m + 2*m, g*p = -2*m + 18 for m.
4
Suppose -24 = -4*n - 5*o, 4*o - 6 = -4*n + 14. Let p be 18 + (n + -1)/2. Solve -2*u = 4*c + 18, -u + p = -5*c - 2*u for c.
-3
Let d(r) = 3*r**2 + r**3 - 8*r**2 - 3*r - 2 - r. Let v be d(6). Let f be (12/20)/(2/v). Solve w + 1 = y + f, -5*w - 4*y = -19 for w.
3
Suppose -8 - 5 = -5*d + 4*q, 3*d + 4*q = 27. Solve 0*u + u - 8 = -d*l, 3*l + 2*u - 2 = 0 for l.
2
Suppose 2*z + 57 = 5*z. Let a be (20/(-6))/(3/9). Let l be 3/a*-2*5. Solve 3*c - z = 2*i + 2*i, 0 = i - l*c + 7 for i.
-4
Suppose -132 = -3*v - 111. Let a(x) = x - 2. Let z be a(3). Let t be -2 - (2 + z - v). Solve 4*d + 14 = -t*i - 2, -d - 4 = 2*i for d.
-4
Let z(a) = a + 9. Suppose -16 - 4 = 5*d. Let o be z(d). Solve 3*l + 20 = -o*b, 0*l + 4*l + 4 = -b for b.
-4
Suppose d - 2*a - 59 = 0, -3*d + 128 = -3*a - 55. Suppose 2*j - 7 - d = 0. Let g be (-48)/(-9)*15/2. Solve 0 = -5*i - 3*u + g, -5*i + j = u + u for i.
5
Let s(j) = 7*j**2 - 64*j + 9. Let r be s(9). Solve r*k + 5*k = u + 3, -4*u + k = 12 for u.
-3
Suppose 3*x = 3*a - 7*a + 25, -2*x + 14 = 2*a. Solve z + 10 = -5*h, 3*h - 4*h + a = -z for z.
-5
Let u = 4 + -4. Let k = -4 - -9. Suppose -f + k*v = -25, f = -f + 3*v + 22. Solve r - 2*o - o - 4 = u, f*r + 2*o - 3 = 0 for r.
1
Suppose -4*i - 4 = -68. Solve 0*v + v + 3 = 2*n, 0 = n - 4*v + i for n.
4
Suppose -19 = -4*k + 1. Solve 2*n - 24 = k*c, 6 = 3*n - c - 4 for n.
2
Let j = -5 - -2. Let a = j - -3. Suppose 2*l - l - 11 = a. Solve 3*c - l = -2*w, -2*c + 0 = -3*w - 3 for c.
3
Let o = -58 - -61. Solve 7 = 3*z - 5*s, z - o*z - 2*s - 6 = 0 for z.
-1
Let m be 77/21 + 1/3. Solve 32 = 4*z + m*u, -3 = -3*z + 5*u - 11 for z.
4
Let u be 72/42*7/2. Solve 5*j + v - 4*v = 9, 0 = 4*j - 2*v - u for j.
0
Let x be 2/6 - 15/(-9). Let i = 5 - x. Suppose -3*z = -4*c - 51, -c + 0 + 10 = z. Solve n + i*k = 2*k + 5, 5*n + 2*k = z for n.
1
Let y(p) = p**3 + 3*p**2 - 10*p. Let a be y(-5). Solve -3*r + 4*o + 35 = a, -6 = r - 3*o - 26 for r.
5
Let j be ((-12)/(-18))/(2/45). Let g = 25 - j. Solve -4*b - 8 = -s, b = s + 3*b + g for s.
-4
Suppose 0 = 5*k - 2*k + 3. Let x = 3 + k. Let g = -7 - -8. Solve -4*q + 5 = -x*c + 17, q + g = 0 for c.
4
Let k = -115 - -165. Suppose -c = -3*j + 10, 5*j + c - k = -4*c. Solve -3*z + 2*h = 2*z + 3, 0 = 2*z + j*h - 22 for z.
1
Suppose 2*l = 5*j - 13, -2*l - 3*l = 4*j - 50. Let s = l - 8. Let i = 6 + s. Solve -6*r = -7*r + i*x + 12, r - 5*x - 16 = 0 for r.
-4
Let d be (4/8)/((-1)/(-6)). Let z = -2 + d. Let f be 1*5*(z + 0). Solve 3*x + 2*o - 3 = 0, -4*x + f = 4*o - 3 for x.
-1
Let l(k) = -k**3 + 4*k**2 + k. Let b be l(4). Solve -i - 5*z = -2*i + 1, -b*i - z - 17 = 0 for i.
-4
Let j(s) = s + 2. Let d be j(5). Suppose 5*l - d = u, -3*u + l + 11 = 4. Suppose -2*h = u - 43. Solve 2*o = -2*b - 8, -o + h = -5*b + o for b.
-4
Suppose 0 = 4*m - q - 2*q + 3, 0 = -2*m - 4*q + 26. Solve -2*s - 5 = 2*h - 3*h, m*s - 3 = 5*h for h.
-3
Suppose -2*h = -7*h + 3*l - 34, 5*l = -4*h - 5. Let v = -17 - -28. Let w = v + h. Solve -3*z - w = -5*u, 4*u - 3*u + 12 = 5*z for z.
3
Suppose 11 = 2*z - 1. Let d be (-2)/7 + (-72)/(-56). Solve 0 = -t - 5*y - 1, y = -5*t + d - z for t.
-1
Suppose -83 = -2*v - 73. Solve -4*n = v*x + 14, -x - 5 = -n + 2*x for n.
-1
Suppose 6 = d - 2. Let x(m) = m**3 - 7*m**2 - 7*m - 5. Let b be x(d). Let u = 6 - b. Solve -u*y - 3*r - 27 = 0, 4*y = 3*r - 6 - 2 for y.
-5
Let s(n) = n + 7. Let g be s(-7). Let t(i) = 6 - i**2 + 4*i - i + i + 0*i**2. Let c be t(5). Solve h + c = u - 4, g = -5*h + 3*u - 23 for h.
-4
Suppose -5 + 4 = 2*l - 5*x, -2*l = -4*x. Solve -2*q - 5 = l*q - 5*y, 5 = 5*y for q.
0
Let v be 9/((-27)/6) - -4. Solve 5*n + 27 = -v*h, -5*h - 8 = n + 2 for h.
-1
Let y(s) = -3*s**2 - 10*s. Let r be y(-3). Solve 8 = 2*k - k - 4*x, -r*x + 17 = 5*k for k.
4
Let c(b) = b**2 - b - 3. Let p(h) = -h + 9. Let t be p(6). Let z be c(t). Solve 10 = z*u - g, -2*u + 8 = -g + 1 for u.
3
Suppose -w = 4*w - 40. Let r be (0 + 3)*w/6. Suppose 4*h + r*j - 52 = 0, 5*h - 76 + 1 = 5*j. Solve -g = -m + 3*g - 3, h = 2*m + 2*g for m.
5
Let f be -2 + 1 + 6/2. Suppose 6 - 30 = -f*p + q, q = -4. Let x = -13 - -18. Solve x*h + p = 2*r - 11, 5*h = r - 23 for h.
-5
Let u = 12 - 21. Let d be 8 + 6/u*3. Suppose 2*b = d*b. Solve b = -q, 5*p - q - 10 = 3*q for p.
2
Let u = 46 - 44. Solve 2*h = 6*h - 16, u*o + 4 = h for o.
0
Let t = 35 - 33. Solve -3*a + 36 = 5*l - 4, -5*l + t*a = -15 for l.
5
Let w(k) = -k**3 - k**2 + k - 24. Let r be w(0). Suppose 5*z - 3*m = -5*m + 18, -4 = 4*m. Let o = z - r. Solve 4*s + 9 + 4 = -5*p, -s + 5*p + o = 0 for s.
3
Let s be -1*1*-2 - -1. Suppose 3*u - 19 = -5*t, 0 = -5*u - 5*t + 2*t + 5. Let g = 0 - u. Solve 0 = -g*p - 5*f + 10, s*p + f + 6 = p for p.
-5
Let s be 0/(0/3 + 1). Suppose -n = -2*n + 5. Suppose -x = -1, t - n*x = -s*x - 1. Solve 0 = q + 3*o + t, 9*o + 25 = 2*q + 4*o for q.
5
Suppose -2*r + 0 + 4 = 0. Solve r*h - d = 0, -4 = 4*h + 2*d - 3*d for h.
-2
Suppose 5*d - 5*s = 0, -5*d + 24 = 4*s - 3*s. Solve -3*q - 12 = -4*o + 8*o, d*o + 12 = -2*q for q.
0
Let k(y) = -y. Let x(b) = b**3 + 6*b**2 + 7*b + 6. Let v(h) = 6*k(h) + x(h). Let c be v(-6). Solve c = j + w - 3, 3*j = 2*j + 5*w - 3 for j.
2
Suppose -2*m + 20 = 2*z, -4*m + z = 4*z - 44. Let h = m + -11. Solve 5*x + h*r - 19 = 0, x + 3*r + 3 = 14 for x.
2
Suppose 2*o + o + 5*y = 50, 4*o - 4*y - 24 = 0. Solve 4*m + b + 13 = 0, -m = m + 4*b + o for m.
-3
Let d be 7 + (1 - 1) + -1. Let b be ((-9)/d)/(2/(-12)). Suppose 5*s + 4*f - 8 = 0, s - 8 = -4*f - 0. Solve s = z + 2*w - 3, 0 = -z + 2*w + 4 - b for z.
-1
Let q(l) = l**2 - 26*l + 9. Let c be q(26). Let b be (0 + 0)*(-1 + 0). Solve -2*n + y + 9 = b, c = 3*n - 4*y - 7 for n.
4
Let n(k) = k**2 - 3*k + 4. Let r be n(3). Solve 0 = -3*w - 4*f + 27 - r, 4*w + 4*f = 24 for w.
1
Let d be 30/7 - 2/7. Let z(f) = -f**3 + 4*f**2 + 2*f - 2. Let b be z(d). Let g be 15/b - (-2)/4. Solve g*o + 13 = -q, -2*q = -0*q - 4 for o.
-5
Suppose -p = 3*p + 2*z - 14, -4*p = -3*z - 9. Solve -4*r + p*r - 3*t = 0, -5*r - 2*t = 0 for r.
0
Let s be ((-5)/5 + 2)*2. Solve -5*b - n - 20 = 0, s*n + 5 = -3*b - 7 for b.
-4
Suppose -4*v - 5*r - 2 = 2, 2*v - r - 12 = 0.