olve -i*k - 16 = -7*k for k.
4
Let z be 7 + -2*(-1 - -2). Suppose z*d = 2*d. Let p(i) = -i**2 - i + 10. Let s be p(d). Solve u = -u + s for u.
5
Suppose -3*f - s + 40 = 0, -2*s = f - 4*s - 18. Let n = -9 + f. Solve 0*d = -n*d for d.
0
Let g = 26 + -19. Solve -5*a - g + 27 = 0 for a.
4
Let l = 1 - -11. Solve -n + 5*n = l for n.
3
Let c = -1 + 1. Let d(r) = r**3 + 7*r**2 + 7*r + 8. Let g be d(-6). Suppose 1 = -4*l + 9. Solve g*q + l*q - 8 = c for q.
2
Let x = -32 + 48. Let w(d) = d**2 + 4*d + 6. Suppose -2*r = 4*m + 26, 5*r = 4*m - 5 - 4. Let y be w(m). Solve -y*f = -2*f - x for f.
4
Let n = -10 + 46. Suppose k = -k + n. Solve -k + 3 = -5*r for r.
3
Let g(p) = -p**2 - 2*p + 5. Let s be g(0). Solve -8 = -b + s*b for b.
-2
Let r be 0/(-3*6/9). Suppose c + 0 = 3. Suppose -c*p + 3 = -2*p. Solve r = -2*j - p*j + 20 for j.
4
Suppose 17 = 4*k + 2*m + 3, -5*m = -2*k - 23. Solve s = -0*s - k for s.
-1
Let b be 21*(-4)/(-30)*5. Let w = 7 - 7. Suppose -5*c + w*r + 15 = r, 2*r = -10. Solve 0 = -c*j + 2 - b for j.
-3
Let d(s) = -s**2 + 6*s - 4. Let v be d(5). Let f(k) = k. Suppose 5*a - 3 = n - 0*a, 5*n + 2*a = 12. Let o be f(n). Solve -c - v = o for c.
-3
Let z(y) = -y**3 - 10*y**2 - 8*y + 11. Suppose -5*d + 3*d + 4 = 0. Suppose -d*w = -5*w - 27. Let v be z(w). Solve -16 = v*k + 2*k for k.
-4
Let p = 5 + -3. Let c = p + 3. Solve -c*x = -x + 8 for x.
-2
Let g(y) = y - 8. Let f be g(8). Let o = 9 + -5. Suppose f = -0*l - o*l. Solve 0*i - 3*i = l for i.
0
Let w = 8 - 10. Let u be (w/1 + -6)*-2. Solve 7*s + u = 3*s for s.
-4
Let p(d) = 5*d + 5. Let s be p(-1). Solve 5*h + 7 - 22 = s for h.
3
Let k = -3 + 4. Let j(u) = 2*u**3 - u**2 + 2*u - 1. Let d be j(k). Solve -t + 3*t = -d for t.
-1
Suppose -5*r + 8 = -3*r. Suppose 3*b - 3*c - 3 = 0, -2*b + 7 = r*c - c. Let g be b + 1 - (4 - 3). Solve 4 = g*y - y for y.
4
Suppose -13*m + 22 = -4. Suppose -5*g - 2 = -77. Let c = g + -3. Solve 2*r - c = -m*r for r.
3
Let k(p) = -5*p + 6. Let o(r) = r + 1 - 6*r + 4*r. Let v(t) = -k(t) + 4*o(t). Let l be v(7). Solve -22 = l*i - 7 for i.
-3
Suppose -8 = -5*i + 4*i - 2*d, -5*i - d + 67 = 0. Solve 2*f = -4 + i for f.
5
Let s be (-129)/15 - (-4)/(-10). Let w be (s/6)/((-6)/8). Solve a + 4 = w*a for a.
4
Let p be 3/(-9*2/(-30)). Let y = -2 - 2. Let x = y - -6. Solve -p*i = -8 - x for i.
2
Let g(j) = 3*j + 53. Let l be g(-15). Solve 4*m - 6*m = -l for m.
4
Let k be (-34)/(-6) - 2/3. Solve 0 + 5 = k*c for c.
1
Suppose -5*u + 3*x = x - 52, 5 = u + 5*x. Suppose 2*f - 5*s - 6 = 14, -5*f - 2*s + 21 = 0. Let t = u - f. Solve 0 = -w + t for w.
5
Suppose 20 = -3*d + 50. Let c(n) = 2*n - 4. Let q(a) = -3*a + 7. Let i(g) = -7*c(g) - 4*q(g). Let x be i(-1). Solve -4*k + d + x = 0 for k.
3
Let d(x) = -2*x - 2. Let n be d(-1). Solve n = -5*k + 6*k + 1 for k.
-1
Suppose -21 = 4*z - 33. Solve 15 - 3 = z*a for a.
4
Let t(p) = -p**2 + 2*p. Let f be t(-2). Let h be (-1)/2 + 28/f. Let i be 6/4*h/(-3). Solve 6*s = i*s + 20 for s.
5
Let b(f) = -8*f**2 + 12*f + 11. Let q(n) = -3*n**2 + 4*n + 4. Let c(h) = 4*b(h) - 11*q(h). Let r be c(-4). Solve 3*m = -r*m for m.
0
Let y(k) = -k - 4. Let x be y(-2). Suppose 0 = -p + 10 - 3. Let a = x + p. Solve 0 = 5*u - 10*u + a for u.
1
Let s be (44/16 + -3)*-172. Suppose 6 = -o - 5*u + s, 0 = 4*o + 2*u - 58. Solve -o + 32 = -5*q for q.
-4
Let o = 192 + -164. Solve -5*b + o = 3 for b.
5
Suppose 2*m = -0*b + 3*b + 8, -4*b - 14 = -m. Suppose 2*r - k + 15 = 0, r + 5*k - 33 = 4*r. Let u be (15/r - m)*-10. Solve u*i = 9 - 29 for i.
-4
Let m be 3 + (3 - -1 - -1). Let p = m - 5. Solve -p*i = -0 - 15 for i.
5
Suppose 7*t = 8*t - 7. Suppose -3*c = 5*b - 17, 3*c - t = 5*b - 0*c. Solve -q + b = -4 for q.
5
Let a(m) = m**2 - 8*m + 19. Let k be a(6). Solve -j + k - 3 = 0 for j.
4
Suppose -4*s + 2 = -10. Suppose 5*a - 6 = -b - 2, 0 = -a + 2*b - 8. Solve a = -i - s*i for i.
0
Let u be ((-2)/(-4))/((-1)/(-4)). Let q be (10 + -4)*3/2. Let w(p) = p**2 - 8*p + 7. Let m be w(q). Solve 2*y = -u*y + m for y.
4
Let b = 51 - 47. Solve -b = -2*m - 14 for m.
-5
Suppose l - 20 - 5 = 4*h, 2*l - 3*h = 40. Let s = -8 + l. Let v be 3/(-1)*(-30)/s. Solve -v = 3*m + 2 for m.
-4
Suppose 0 = 3*t + 3 - 42. Suppose -f - 2*j = -t, -3*f - j - 1 = -5*j. Suppose -g = -f*g. Solve g = -4*c - c for c.
0
Let z(w) = -w**3 - 2*w**2 + 2*w + 3. Let o be z(-3). Let u = 9 - o. Let f be (-8)/1*(-5 + u). Solve -5*j - 6 = -f for j.
2
Suppose -11 - 1 = -3*m. Suppose 25 = h + m*h. Suppose -5*k = -2*k - h*c - 41, -k = -3*c - 15. Solve p + 2*p - k = 0 for p.
4
Let j(z) = z**2 - 6*z + 4. Let b be j(5). Let l be 4 - (-2 + (-2)/b). Suppose -2*r = -3*o + 3*r + 44, 0 = l*o - 3*r - 77. Solve 3 = 5*y + o for y.
-4
Suppose -5*r = -9 - 16. Let v be (-17)/(-3) + 6/(-9). Solve r*i - 15 - v = 0 for i.
4
Let l = 3 - -1. Let z(u) = u**2 - 5*u - 10. Let a be z(7). Suppose -a*x + 2 = -2. Solve 0 = -o + x + l for o.
5
Let u be 2/6 - (-15)/9. Solve 3*d - 5 = -u*d for d.
1
Let v(p) = -2*p - 7. Let r be v(-6). Solve 0 = -4*m - m - r for m.
-1
Suppose -5*x = 3*s - 13, 0 = -2*x - 2*x + 5*s + 40. Suppose 2*z + x*p + 11 = 29, 5*z + 5*p - 30 = 0. Solve -2*q + z = -0 for q.
2
Suppose -5*b + 9 = -91. Solve z - 6*z = b for z.
-4
Suppose 24 = 2*l + 2*v, -3*l = -2*v + 3*v - 28. Suppose -2 = 2*m + 3*x - 12, -5*m + l = -x. Suppose 17 = 8*h - 55. Solve -1 = m*q + h for q.
-5
Let n be (-14)/35 - 2/(-5). Suppose 4 + n = 4*y. Solve 3 + y = 4*o for o.
1
Let t(d) = -d**2 - 7*d - 8. Let u be t(-8). Let n be (u/(-6))/(4/6). Let y = n + 1. Solve y*g = g - 12 for g.
-3
Let h(n) = -4*n**3 + 11*n**2 - 5*n - 13. Let y(i) = i**3 - i**2 - i + 1. Let x(w) = -h(w) - 3*y(w). Let o be x(7). Solve 3*b - o = -5 for b.
4
Suppose -5*x + 3*g + 28 = 0, 5*x - g - 4*g = 30. Suppose -15 = -3*s, -3*r + x*s - 41 = -7*r. Solve -2*p = 4 + r for p.
-4
Let h = 8 + 8. Solve -h + 6 = 5*r for r.
-2
Let b = -21 - -30. Let u be (-1 - 0/(-3)) + b. Solve 0 = -4*w + u*w for w.
0
Let s(y) = -22*y**2 + y + 1. Let c = 9 - 10. Let v be s(c). Let l = -10 - v. Solve 0 = -4*f - 0*f + l for f.
3
Let z = 9 - 5. Suppose 3*l = -4*p - 0*l + 26, -4*l = -z*p + 12. Solve 0 = -p*v + 2*v for v.
0
Suppose 3*j - 30 = -3*j. Let c(t) = 5*t - 10. Let w(d) = -d + 1. Let o(v) = c(v) + 3*w(v). Let h be o(j). Solve 0 = i + h - 4 for i.
1
Let l = 5 - -1. Let d be (9/6)/(l/20). Let w be 26/10 - 4/(-10). Solve 0 = -w*z + d*z for z.
0
Suppose -k - 1 = -2*u - 3*u, 0 = -2*k + 4*u + 16. Let x = -10 + k. Solve -2*z = -3*z + x for z.
4
Let k(i) = -i**2 + 11*i - 12. Let w = 1 - -3. Suppose -3*u + 33 = 2*j, -u - u - w*j = -30. Let p be k(u). Solve -p*s = -s + 5 for s.
-1
Let t be (-1)/(-2)*(-2 - -2). Suppose 7 = -l - t*l. Let u(z) = z**2 + 8*z + 9. Let y be u(l). Solve -h - y*h + 3 = 0 for h.
1
Suppose z - x + 2 = -4*x, -z - x + 8 = 0. Let l be 1*3 - 13/z. Suppose -p - 4*p + 25 = 0. Solve p = l*y - 3 for y.
4
Let x be ((-8)/6)/(8/(-18)). Suppose x*s = 2*s. Solve -4*d + 4 + 12 = s for d.
4
Let m(v) = v**3 + v + 7. Let b be m(0). Solve b*o + 10 = 2*o for o.
-2
Suppose 37 - 1 = -4*w. Let h(d) = d**2 + 8*d - 13. Let x be h(w). Let k be ((-14)/x + -3)*4. Solve -3*m = -k*m - 4 for m.
4
Let q(y) = -y**2 - 4*y + 8. Let g be q(-5). Solve -1 - g = -2*r for r.
2
Let j = -1 - -1. Solve -3*k + j*k + 9 = 0 for k.
3
Let m(v) = -v. Let d = -11 + 7. Let b(f) = -f**3 - 4*f**2 + f. Let o be b(d). Let n be m(o). Solve 4*x + 0 - n = 0 for x.
1
Let g be 335/(-3) + 12/18. Let z be (-6)/(-15) + g/15. Let h = z + 15. Solve -3 = 5*f - h for f.
1
Suppose -30 = -23*f + 20*f. Solve -f*q - 16 = -14*q for q.
4
Let a be (-44)/(-16) + 1/4. Let d = -7 + 12. Solve a*o - 2 = -d for o.
-1
Suppose -4*f = -3 + 11. Let q be 18 + f/6*3. Solve 3*m - 5 + q = 0 for m.
-4
Let k = -16 + 18. Let j be 10/(-15)*(-12)/k. Solve -j*y + 20 = y for y.
4
Suppose d = -0*d - 2*v + 5, -4*d - 4*v = -16. Suppose 0 = d*l - 8 - 7. Solve -4*f + l = 13 for f.
-2
Let h(o) = o**2 - 2. Let g be h(-2). Suppose -2*r + 3*r = g. Solve 3*l + 14 - r = 0 for l.
-4
Suppose 4*w - 5*w + 4*c = -6, -w + 2*c + 8 = 0. Solve 0*f - w = 2*f for f.
-5
Let t(c) = -2*c**2 - 5*c - 3. Let r be t(-3). Let s = r + 13. Let u(l) = l - 6. Let q be u(s). Solve -4 + q = d for d.
-3
Suppose x - 10 = -3*f, -x - 17 = -5*f - 3*x. Solve 0 = f*u - 13 + 4 for u.
3
Let w = 4 - 2. Let u(y) = -y - w*y + 1 + y. Let t be u(-1). Solve -2*