 Solve 0 = -a + 4*s - 3, -a + 4*s + q = k*a for a.
5
Let b be (-2 - -2)*(-3)/6. Suppose b = -y - y + 10. Let v = 5 + 2. Solve 2*p = 4*w + 20, w + 2*p = v*p - y for w.
-5
Suppose 3*z + 3 = 4*z. Solve z*g = 5*b + 7, -3*g - b = -2*b + 1 for g.
-1
Let v be (-6)/(-10) - (-1656)/90. Solve 0 = -3*s - 5*g + v, -4*s - 3 = -0*s + g for s.
-2
Suppose -2*y - 5*r + 53 = 0, -3*r = -5*y - 2*r + 119. Let i = y - 8. Solve 4*h - i = -z - 2*z, 5*h = -5*z + 25 for h.
1
Suppose -2*c - i - 16 = -c, 4*c + i = -61. Let u = c + 3. Let h = -6 - u. Solve -3*o - 3*l + h = l, -3*o - 9 = -l for o.
-2
Suppose 4*c + 2*o - 35 = 5*o, -o + 5 = 2*c. Solve 2*t - 3*w - 2*w = -10, -c*t = -3*w - 13 for t.
5
Let w be (-11)/(-4) + (-12)/16. Let q be ((-2)/w)/1 + 3. Solve -5*h + 17 = -q*b, -2*h + 9 = -2*b - b for h.
3
Let s(h) = -h**3 - 6*h**2 - 5*h + 2. Let m(q) = q**3 - 4*q**2 + q + 1. Let w be m(3). Let a be s(w). Solve o = a*y + 9, -9 = -5*o + y - 0*y for o.
1
Let h = 1 - 8. Let f be (-6)/21 + (-37)/h. Suppose -3*n = -7*n + 8. Solve 3 = w - t - f, -4*w - n*t = -2 for w.
3
Let v = -5 - -2. Let j = -1 - v. Solve -z = -3*r - 8, j*r + 9 - 3 = z for z.
2
Suppose 2*i = -4 + 14. Solve -4 = 5*z + i*l + 1, 5*l - 5 = 0 for z.
-2
Suppose -2*s - 11 = -33. Let o = s - 8. Suppose 0 = 4*z + 5*y + 9 - 96, 4*z + o*y - 81 = 0. Solve 0*f + z = 5*x - 2*f, f + 6 = x for x.
2
Let t(k) = 4*k + 2 + 5*k**2 - 2*k**2 - k**2. Let z be t(-2). Suppose z*g + 8 = 4*g. Solve 3*s + 8 = 5*w - g*w, 4*w + s + 20 = 0 for w.
-4
Let t(o) = o**3 - 3*o**2 - 4*o + 2. Let w be 2/6 - 33/(-9). Let s be t(w). Let h be s + 0/((-1)/1). Solve -3*c = 2*n + 2, 4*n - 2 = -2*c + h*n for c.
-4
Let z be 0/(1/(-2)*2). Suppose z = -5*a + 4*j + 25, j = 2*j. Suppose -5*k + 4*k = a*w - 2, -k - 2*w = -5. Solve 4*m + 18 = -2*t, -k*t - 3*m = -3*t + 16 for t.
-1
Let l = 0 + 2. Let q = l - 2. Suppose 2*h - 5*b + 0*b + 5 = q, -2*b = -2. Solve 3*s = 4*o - 6, h = -0*o - 5*o + 2*s + 4 for o.
0
Let o(j) = 31*j**3 - 2*j**2 + 1. Let q be o(1). Suppose 0 = -0*g + 4*g - 12. Let b be ((-1)/g)/((-5)/q). Solve -b*k = 10, 4*h - 2*k - 1 = -k for h.
-1
Suppose 4*w - w - 24 = 0. Let h = w - 6. Solve -2*s + h = 3*n, 0 = 4*s + 4*n + 5 - 1 for s.
-5
Suppose 0 = -2*w - 5 + 11. Solve 4*z + 22 = 3*i, 2*i + 12 = -7*z + w*z for i.
2
Let i(t) = -t**2 - 6*t - 6. Suppose 0 = 2*w + 4*a + 7 - 63, 0 = a - 4. Suppose -5*k - w = -0. Let q be i(k). Solve -2 = -2*v, o = 4*o + q*v - 2 for o.
0
Let k(b) = -4*b - 5*b - 2 + 5*b + 5*b. Let g be k(5). Solve -4*o + y = 10, 3*o - 2*o = g*y + 3 for o.
-3
Let z(d) = -1 + d**2 + 0*d - 2*d - 3*d**3 + 2*d. Let k be z(-1). Solve 4*v = -5*o - k, 0 = 2*v + 7*o - 4*o + 3 for v.
3
Suppose c - 30 = 5*s, -c + 4*s = 3*c - 88. Suppose -4*f + 4*k - 32 = 0, 0*k - 8 = 3*f + k. Let a = -1 - f. Solve -25 = 2*j + a*j, 5*j + c = y for y.
-5
Let c = -3 + 7. Let n(m) = m**2 + 3*m - 3. Let h(g) = g. Let w(v) = 2*h(v) + n(v). Let x be w(-6). Solve -x*b = -i + 10, 4*b = c*i - 3 - 5 for b.
-4
Let v(q) = -q. Let g be v(-2). Let k be (2 + 0 + g)/2. Let s = 10 + -6. Solve k = 2*w - s*o, 3*w - 2*w = -2*o - 3 for w.
-1
Let a be ((-3)/(-2))/((-24)/(-32)). Suppose 0 = a*m - 4*c - 20, -10 = -3*m - 0*m + c. Solve m*r = -3*j - 3, 2*j + 2*r + 0*r = -4 for j.
1
Suppose 2*f - 4*j - 10 = 0, 0 = 5*f + 3*j + 13 + 1. Let x be 0 + (f + 1)*-1. Solve -2*n + 5*s + 6 = x, 3*s + 2 - 17 = -5*n for n.
3
Let b(s) = 9*s**2 + 1. Let r be b(1). Let z = -7 + r. Let y be 3/(-3) - (-2)/2. Solve -5*u - 3*f = -1 - 0, y = z*u - 4*f - 18 for u.
2
Let n be (-1)/(1*(-1)/2). Let g = 5 - n. Solve -4*l + 0*l = 5*p + 4, 3 = -p - g*l for p.
0
Let m be ((-3)/(-2))/((-9)/54). Let t = -9 - m. Solve t = 2*u - 5*y + 13, 2*y + 6 = -2*u - 0*y for u.
-4
Let i be -1*(-1)/(-2)*-34. Suppose -1 = -j + 2, -x + i = -j. Suppose -7 = -3*r + z, -2*r + 5 = -0*z - z. Solve -2*b = -4*g - 4*b + x, 3*g - 1 = r*b for g.
3
Suppose -5*a + 108 = -192. Suppose w = -2*w + a. Solve -t + 4 = u + t, u = 4*t - w for u.
-4
Suppose 3*s = 57 + 33. Suppose 4*x - 5*t - 39 = 0, -5*x = -2*t - s - 23. Solve 31 = -5*o + 4*b, 5*o + 0*b + b + x = 0 for o.
-3
Let u(s) = 24*s**3 - s**2 + 2*s - 1. Let p be u(1). Suppose -2*r = -0*r - p. Let l = 6 + -2. Solve 2*m = -l*j + 7*m + 20, 3*m + r = 2*j for j.
0
Let u = -27 + 31. Solve 2*d - u = 4*l + 6*d, 5*l = -d - 1 for l.
0
Let w = 47 + -44. Let k = 52 - 29. Suppose 0 = v + 3*g - k, 5*v + 2*g = -2*g + 148. Solve -5*a = -3*l - v, 0*a - w*l = -2*a + 20 for a.
4
Let b be (0/4)/(1*(2 + -1)). Solve 5*i - 20 = b, -w = 5*i - 23 - 1 for w.
4
Let d = -5 + 5. Solve 3*g = -d*g + 3*u - 3, 4*g = 3*u - 3 for g.
0
Let v(x) = -1 + 0*x + 2*x - 3 - x. Let n be v(6). Solve 0 = -3*z - 2*q - 7, 0 = -3*z + 2*q + n*q - 13 for z.
-3
Let n = 0 - 0. Suppose n = 3*v + v. Solve v = -4*b + 4, 0*o + o - 7 = -4*b for o.
3
Let l(i) = -2*i**2 - 5*i + 3. Let p be l(-3). Solve -4*d - 4*r - 8 = -r, p = 3*d - r - 7 for d.
1
Let v(u) = -u**2 + 6*u - 3. Let r be v(5). Let t = 3 + r. Suppose -4*c - t*x + 9 = -23, c + x = 7. Solve -c*h = 5*m + 6 - 1, 0 = -2*h - 5*m - 10 for h.
5
Let x be 2/2 - (-1 - 1). Solve -d = -5*r + 26, -2*r + 8 = -d + x*d for r.
5
Let g = 16 - 12. Solve -u + 5*l - 1 = 0, 2*l = -g*u - 0*l - 4 for u.
-1
Suppose 10 = 5*l - 0. Suppose -3*u + l = s, -u - 8 + 2 = 2*s. Let z be (u + (2 - 2))*3. Solve 0 = 4*x + 2*q + 28, -4*x - 2*q = -z*q + 4 for x.
-5
Let m(h) = h**2 + 9*h + 5. Let q be m(-9). Suppose 3*x - q = -4*o, 0*o - 2*o + x = -5. Solve o*s + 16 = -2*l, 2*l = -0*s - s - 11 for l.
-3
Let t be ((-4)/(-3))/(1/9). Suppose 2*n - t = o, -4*o = -4*n - 0*o + 28. Let d be (2 + 3)*(-2)/(-2). Solve m = b - 7, d*b - 2*b - 31 = n*m for b.
2
Let w be (-1 + 3)/(6/15). Let p(v) = -v. Let r be p(-5). Solve 10 = -o - 4*s - 6, w*o + r*s + 35 = 0 for o.
-4
Suppose -7 + 3 = -2*f. Suppose 0 = 2*p + f*o + o, -p - 7 = 5*o. Solve -5*k = -2*g - 3, 2*g - 5*g + p = 0 for k.
1
Let i be 1 - 1 - (-6 - -2). Suppose 2*d - 16 = -2*s, -6*s + 28 = 5*d - i*s. Solve -l + 3*l - d*j = 10, -4*j - 9 = -l for l.
1
Let p(h) = -3*h**2 + 11*h + 2. Let w(d) = -4*d**2 + 11*d + 3. Let n(v) = -5*p(v) + 4*w(v). Let y be n(-11). Solve y*z = 4, 3*z = -4*c - 4 - 2 for c.
-3
Let d(t) = -t**3 - 14*t**2 - 14*t - 11. Let h be d(-13). Solve h*z = -3*l + 4, 0 = 2*z + 2 for l.
2
Let c = -29 + 48. Solve -2*g = 2, -2*h - g + c = 2*h for h.
5
Let g(i) = 5 - 7 - 6 - i. Let l be g(-6). Let z(c) = -c**3 - 2*c**2 - 2*c - 2. Let b be z(l). Solve 6*n - b*n + u = -14, 4*n - 5*u + 26 = 0 for n.
-4
Let y(d) = 4*d**2 - 2*d - 1. Let n be y(-1). Let w be (-2 - -2)/(2 - 3). Solve n*a + 5*x = 20, -4*a + w*x = -2*x - 10 for a.
3
Let t(n) = 3*n**2 + 7*n - 10. Let h be t(2). Solve -h = 3*d - p - 4*p, -4*p - 2 = 5*d for d.
-2
Suppose 3 = -4*w + w. Let b be w - (-1)/((-1)/3). Let f(l) = -l**2 - 6*l - 6. Let o be f(b). Solve -5*y - 4*a + a + 40 = 0, -o*a = -10 for y.
5
Suppose 3*r + 4*c = 36, -c = -5*c. Solve r = p + 3*m - 8, p + 4*m = 25 for p.
5
Let z = 43 + -28. Suppose 5*f = -0 + z. Solve 3 = -f*k + 3*x, -5*x - 13 = 2*k + 17 for k.
-5
Suppose 2*b + 44 = 6*b. Let t = 21 - b. Solve -z = -3*y + t, -z + 12 = -3*z + 2*y for z.
-4
Suppose 16 = 4*c - 16. Let s = 14 - c. Solve 2*d = j + 8, 2*j + s = -2 for d.
2
Let r(z) = -z**3 - 7*z**2 - 6*z + 4. Let w be r(-6). Solve 5*x + 10 = 0, -w*j + 0*x - 14 = -x for j.
-4
Let t be 2/(-1 + (-3)/(-2)). Let v be (-247)/(-13) - (-3 + 6). Solve -t*g - 3*m = 2*m + v, 3*g - 5*m - 23 = 0 for g.
1
Let z = -15 - -38. Suppose 0 = 4*s - 5*s + 2. Solve 15 = x - 5*r, -x - z = 2*x + s*r for x.
-5
Suppose -4*l + 2 = 10. Let r be (-4 + 3)*-1 - l. Solve 2*o + 10 = 2*b + 4*o, -b + 3*o - r = 0 for b.
3
Suppose 0 = -2*b + 6. Suppose -x - 2*s + 50 - 8 = 0, -3*s + 46 = x. Solve 0 = -4*r + x - 14, -b*r + 7 = 2*u for u.
-4
Suppose 5*s - 19 - 11 = 0. Suppose 0 = 4*t + i - 55, 0 = t - s*i + i + 2. Solve a = 3*b - t - 2, 5*b = -3*a + 25 for b.
5
Let c = -10 + 8. Let v be (-1 + -1)/(c/3). Suppose 2 = 3*r - 10. Solve -3*o + 3 = -r*n + 10, n = o + v for n.
-2
Suppose 16 = 2*w + 2*w - 2*q, -4 = -w - 5*q. Let y = -1 + 3. Suppose -h = y*s, -5*h = 2*s - 3*s - 11. Solve 5*u - 4 = 3*u - g, -h*u - 4*g + w = 0 for u.
2
Suppose 0*y + 16 = 4*y. Let k(f) = 39*f. Let g be k(1). Suppose 0 = -6*z + 5*z. Solve 3*h = y*c - g + 7, z = 4*c + h - 16 for c.
5
Suppose 0*u - 1 = -u. Suppose 3*s = -u + 28. Solve -2*j 