*y - 8*y. Let u = -106 - -111. Solve u*s = -f + 7 for s.
-4
Suppose z - 8 = 2*y, -11 = -3*z + 2*y + 5. Let p = -4 - -8. Suppose p*o = -4*j + 12, j = o - 6*o + 23. Solve -v + o = z for v.
1
Let r be (-4)/(-18) + 80/45. Suppose -r*d = d. Suppose 6 = 3*v - d. Solve -2*j - 8 = v*j for j.
-2
Let w(j) = 2*j + 3 - 3*j + 11. Let f be w(6). Solve p + 4 - f = 0 for p.
4
Let i be (5/(-10))/((-2)/(-24)). Let m = i - -11. Solve -6*g + 3 = -m*g for g.
3
Let b = 2 + -2. Suppose -2*t + 0*t = b. Let q(p) = p + 5. Let a be q(t). Solve -3*k + 2*k - a = 0 for k.
-5
Let z be ((-1 + 1)*-1)/1. Let b = 7 + z. Let l(i) = i + 6. Let t be l(-3). Solve 0 = -m - b + t for m.
-4
Let i(l) = -2*l - 2. Suppose -5*j + 2*r - 58 = 0, 0 = -3*r + 17 - 5. Let q be 2/j + (-56)/20. Let a be i(q). Solve -h = h + a for h.
-2
Let a = -4 + 8. Let v be a/(-10) - 384/(-10). Suppose -3*x - 4*m + v = -0*x, 5*m = -x - 2. Solve x + 7 = -5*u for u.
-5
Suppose o - 30 = 2*r, -3*o + 28 = -3*r - 14. Let y = -10 - r. Suppose 3*j - j = y. Solve j*c = c - 4 for c.
-2
Suppose 2*m = 2*c + 6 - 0, 0 = -2*c - 6. Solve -g - 3 + 4 = m for g.
1
Let s be ((-2)/(-8) - (-2)/(-8))/1. Solve s = 4*z - 8 - 4 for z.
3
Let w(v) = -v + 2. Let s be w(-2). Solve 0 = -2*g + s*g for g.
0
Let p be (-2 - -4) + (-2)/(-2). Suppose -p*b + 2*b + 2 = 2*j, 4*b = 2*j + 8. Solve b = 3*y + 5 for y.
-1
Suppose 0 = s + s. Let p(i) = -i**3 + i**2 + i. Let d be p(s). Suppose -q + 8 = -d*q. Solve q = g + g for g.
4
Let o be 3 + 1 - (3 - 1). Suppose 4 = o*w - 2. Let c be ((-33)/11)/(6/(-26)). Solve -w*s = -c - 2 for s.
5
Let h = 12 - 6. Let u = 10 - h. Let m(y) = 5*y. Let a be m(1). Solve 0 = u*c + c + a for c.
-1
Let w be 7 - (-1 - (-8)/2). Solve w*s = -8 - 8 for s.
-4
Let n(v) = v**3 + v**2 - 6*v - 2. Let x be n(3). Solve x + 4 = -5*z for z.
-4
Let m = 34 + -8. Suppose -4*i + 0*i + m = -2*r, -22 = -r - 5*i. Let p be (2/(-5))/(r/15). Solve 3*y - p*y - 1 = 0 for y.
1
Suppose 2*k = -4*z + 20, -4*k = z + 3*z - 40. Let x = 10 - k. Solve x = 3*d - 1 - 8 for d.
3
Suppose 4*o + 4*t - 42 = 2, -4*t + 54 = 5*o. Solve 4 - o = 2*r for r.
-3
Let n(t) = t**2 + 6*t + 3. Let a be n(-6). Solve -a*r + 5 = -8*r for r.
-1
Let n = 40 - 35. Solve -2*j + n*j = 15 for j.
5
Suppose -4*p - z + 3*z = -4, 3*p = -2*z + 17. Solve -p = -b - 2*b for b.
1
Suppose -6*w - 2*w = 0. Solve w*z - 4 = -4*z for z.
1
Suppose 4*y - 5*v = 23, -2*y + 10 = -3*y - 4*v. Solve 4*j + 2 = -y for j.
-1
Suppose 2*k + 0*k = 4. Let p be (-2 - -7)/(2/k). Solve -p*x + 7 + 3 = 0 for x.
2
Let h(m) = -2*m - 12. Let p(a) = a**3 - 3*a**2 - 3*a + 2. Let n be p(2). Let c be h(n). Suppose 0*i = c*i - 16. Solve 2*d - 6 = -i for d.
1
Suppose 4 = 2*r - 4. Let b = r - 2. Suppose -b*n + 28 = 4*y - 6*n, 2*y = n + 9. Solve 0 = m + y*m - 12 for m.
4
Let j(n) = 3*n + 8. Let k be j(-1). Solve -1 + k = a for a.
4
Let l be (-15)/(-6) + 2/4. Let g = l + -2. Solve -g = q + 4 for q.
-5
Let s(v) = 4*v**3 + 1. Let h be s(1). Suppose -2*p - 4*j - 10 = 0, j + 7 = -5*p - 0*j. Let w = 7 - p. Solve h*i + w - 3 = 0 for i.
-1
Suppose r - 1 = -0*w - w, -3*w = 2*r + 2. Let y(g) = g**3 + 5*g**2 - 3*g - 3. Let k be y(w). Suppose 6*x - k = x. Solve -x*n = 5 + 20 for n.
-5
Let p(k) = k**2 - 5*k - 2. Let w be p(5). Let m be 28/4 + w - -1. Solve 5*v = 3*v + m for v.
3
Suppose -2*g + 3*g - 5*b = 57, 4*b + 20 = 0. Let t = g + -55. Let o = 7 - t. Solve -o = -5*p - 5 for p.
5
Let n = 65 + -62. Solve -2*v = n*v for v.
0
Let d(t) = 2*t - 5. Let b be d(6). Let l = b - 5. Solve -l*k + 4 = -0*k for k.
2
Suppose p = -3*p + 12. Suppose 4*h + p*f - 24 = 0, 0 = 4*f - 17 + 1. Solve -6 = -h*a + 3 for a.
3
Suppose 0 = -5*s - 5*o + 25, -3*s + 2*o = 2*s + 10. Suppose s = -2*a + 2, q + 2*a - 3 = 3. Solve q*v + 9 = v for v.
-3
Let i be (1 - -3)/((-8)/(-28)). Suppose -3 = -x + r, 2*x - 5*x + i = 2*r. Solve 0 = -q + x*q - 15 for q.
5
Suppose -2*l + 28 = 4*a, l = -a - l + 10. Let c be 6/15 + a/(-15). Solve 0 = -c*j + 3*j - 9 for j.
3
Let a(y) = 2*y**3 - 5*y**2 + 5*y - 1. Let k be a(2). Let n = k + -2. Solve n*s = -s for s.
0
Let x = -17 + 19. Solve 0 = 4*a - 3*a + x for a.
-2
Let m(o) = -o**3 - 7*o**2 - 9*o - 14. Let z be m(-6). Solve 4*r + z = -8 for r.
-3
Suppose 0*f - f = 4*q + 146, 0 = -3*q - 12. Let z = f + 40. Let p be z/(-8) + (-3)/(-4). Solve 5*b + p = b for b.
-3
Suppose 5*d = -2*j + 17, 3*d + 4*j + 11 = 2*d. Suppose 0 = 2*w, -2*x + 5 + 3 = -2*w. Suppose -5*u - 2*q = 6, -x*u + q = -0*u - 3. Solve u = -n - d for n.
-5
Let u = -35 - -41. Solve -4*g = -u*g - 8 for g.
-4
Let f be (-27)/6*4/6*-2. Solve 2*n - f = 4*n for n.
-3
Suppose 4*a + 20 = -0*a, 2*y - 5*a - 37 = 0. Solve 5*k + 4 = -y for k.
-2
Let u(l) = -2*l + 2. Let k be u(-7). Solve -3*b + 7*b - k = 0 for b.
4
Suppose -3*i - v + 26 = 0, -i = 2*v - 4 - 3. Suppose -i = -4*p + p. Solve 5 = p*q + 14 for q.
-3
Suppose 2*g = 2*y + 2, 8*y = 3*y - 2*g + 30. Solve -y + 3 = -a for a.
1
Let t(y) = -y + 1. Let n be t(-2). Suppose 4*r - 1 = n*r - c, 2*c = 3*r - 8. Let v = r - 2. Solve -6*b + b + 15 = v for b.
3
Let q(a) = a**2 - 2*a + 1. Let y be q(2). Suppose 3*z = m + 14, 3*z - 3*m = -z + 17. Solve -z = 4*j - y for j.
-1
Let t(y) = -y**2 + 2*y + 2. Let l be t(4). Let x be 3 - (3 + (l - -1)). Suppose -5*z - 15 = -5*p, z - 17 = -x*p + 4*z. Solve 10 = p*i - 9*i for i.
-2
Suppose -k + 3*k + 25 = 5*u, 4*u - 3 = 5*k. Solve u*o = 3*o - 16 for o.
-4
Suppose -5*y = -2*y. Suppose y*a = -4*a. Solve n + a = -5 for n.
-5
Let p(q) = q**2 + 2*q - 3. Let k be p(2). Solve -s - 4 = -k for s.
1
Let c be (-2)/(-2 + 3/2). Suppose c*o = -4*f - 3 - 1, f = -5. Let q be 1*3*o/6. Solve -y - q*y = 6 for y.
-2
Suppose -24 = -2*u - 5*r, -61 + 20 = -5*u - 3*r. Suppose 4*q = u + 1. Solve q = -f + 3 for f.
1
Suppose 3*b - 13 = -4. Suppose -14 = -5*m + b*f - 0, -f = m + 2. Let w be (0/4)/(1/m). Solve 2*x + 2*x = w for x.
0
Let s be (2/8 - 0) + 21/12. Solve 0 = -s*h + 2 + 2 for h.
2
Suppose -5*u + 98 - 23 = 0. Solve 3*h + u = -2*h for h.
-3
Suppose 0*u = 3*u - 27. Let j(k) = -9 - k**2 + 2*k + 3*k + 5*k. Let c be j(u). Solve c*p - 5*p - 15 = 0 for p.
-3
Let b = 5 - 5. Suppose 3*n + 2*n - 13 = 3*q, 4*n - 12 = 2*q. Solve b = -4*j - n + 1 for j.
-1
Let s = 47 - 45. Solve -6 = -s*q - 16 for q.
-5
Suppose r - 4*g = -16, 0*r + r = g - 10. Let p be (-46)/r - (-6)/24. Solve -5*q - p = 4 for q.
-2
Let z = 9 - 4. Suppose 5*k = h - 4, -z*k + 12 = 3*h - 3*k. Solve h = -5*j - 21 for j.
-5
Suppose 4*l - 12 - 8 = 0. Solve l*n + 5 + 10 = 0 for n.
-3
Let q = 10 - 10. Solve -s + 4 = -q*s for s.
4
Suppose 2*c + 12 = l, 0 = -l + c + 2*c + 13. Let g(a) = a + 3. Let o be g(5). Let z(b) = 3*b**3. Let t be z(1). Solve -l = -o*k + t*k for k.
2
Let c = -516 + 518. Suppose 6 + 0 = -3*i + 3*n, -12 = -2*i - 2*n. Solve -2 - i = -c*y for y.
2
Let f(q) = -q**3 + 14*q**2 - 14*q + 15. Let s be f(13). Solve -s*g = -4*g - 2 for g.
-1
Let t be (-476)/(-36) - 4/18. Solve 5*l + 2 = -t for l.
-3
Suppose 3*t = -8 - 7. Let w(q) = -2*q - 6. Let y be w(t). Suppose 52*p = 59*p. Solve p = -y*l + l + 12 for l.
4
Suppose 18 = -6*o + 12*o. Solve -o = b - 0 for b.
-3
Suppose -5*n + 4*n = -2. Solve 2*o + 20 = -n*o for o.
-5
Suppose w = 2*t + 12, 0 = 5*t + 4 + 1. Solve 2*m = 7*m + w for m.
-2
Suppose -1 = 2*n + 2*v + v, -n - 5*v - 11 = 0. Let s be (n - 1 - 0) + -3. Solve s = 2*c - 5 + 3 for c.
1
Suppose 0*d + 20 = d - 5*v, 3*d - 5*v = 30. Suppose 0 = 3*g + d*p - 23, g + 1 = -5*p + 22. Solve -t + g = -3 for t.
4
Suppose -4*p + 6 = 5*y - 3*p, -3*y - 5*p = 14. Suppose 0*t + 3*t + y*u = -7, 5*u + 30 = 5*t. Solve -7 = -2*j - t for j.
3
Let n(s) = s**2 + 7*s + 6. Let p be n(-6). Let q = 2 - p. Suppose 0 = 3*z - 9, -h + 10 = h + q*z. Solve -6 = -h*g - 0 for g.
3
Let v(d) = -d**2 + 5*d + 8. Let r = 12 + 4. Suppose 3*p + 3*o - 2*o = r, 12 = 3*p + 3*o. Let f be v(p). Solve f*s = 3*s + 3 for s.
-3
Suppose -3*t - 2*t = -40. Suppose -3*j = j - t. Let b = -1 - -3. Solve -b*x + 16 = j*x for x.
4
Let n(u) = u**3 + 4*u**2 - 7*u - 24. Let l be n(-4). Solve -7*x = -l*x + 3 for x.
-1
Let q be 1*((-3)/(-1) + 0). Solve 7 + 2 = -q*s for s.
-3
Let h(u) = 2*u + 17. Let z be h(-3). Solve 4*p - 5 = z for p.
4
Let j(z) = -9*z - 1. Let t be (-6)/(-16) - 99/72. Let a be j(t). Solve 4 + a = -3*b for b.
-4
Suppose x + 2*x = 15, 5*u = 2*x + 90. Solve 3*b = -2*b - u for b.
-4
Let h(p) = -4*p - 24. Let a be h(-6). Solve