/(-6)*3/1. Let m(s) = -s**2 + 8*s - 4. Let y be m(8). Let q be 3 + f*2/y. Solve 6*w = w + q for w.
1
Suppose j = -1 - 0. Let t = j - -1. Solve t*z = -3*z - 6 for z.
-2
Suppose -10 = -5*t + 2*f, -t + 2*f - 5*f + 19 = 0. Let r(b) = 2*b - b + t*b**3 + 3 + 0*b**3 - 3*b**3. Let q be r(0). Solve q*i = 6*i for i.
0
Let w(z) = -2*z - 17. Let j be w(-6). Let v(t) = -t**3 + 3*t**2 + t + 3. Let d be v(3). Let y = d + j. Solve -2*a - 3 = y for a.
-2
Let t(d) = d**3 - 17*d**2 - 18*d + 2. Let m be t(18). Solve -m*w + 5*w - 9 = 0 for w.
3
Let y(l) = 2*l**2 - 5*l + 1. Let x(v) = -v**2 - v - 1. Suppose j - 3 = -2*j. Let i(w) = j*x(w) + y(w). Let u be i(6). Solve 0*a + a = u for a.
0
Suppose 0 = -7*f + 3*f. Let s = 0 + 3. Let t = 6 + -4. Solve -s*k + 11 - t = f for k.
3
Suppose -2*y + 2 = -4*h - 10, 0 = -4*y - 3*h + 2. Suppose 7 = 3*f - k, 5*f - y*f = -3*k - 9. Let x be (3 + -2)*(f + -1). Solve 0 = -m - x + 1 for m.
1
Let t(i) = i**3 - 11*i**2 + 11*i - 10. Let a be t(10). Let u be (-3)/(-4 - 25/(-10)). Let v(o) = o - 2. Let b be v(5). Solve a = -u*h + b*h for h.
0
Let y(o) = 1 + 3 - o**2 - 9 - 8 - 11*o. Let u be y(-9). Suppose -17 = 3*s - 6*s + 4*g, 4*g + 23 = u*s. Solve s*f - 2 - 7 = 0 for f.
3
Let g = 3 - 9. Let i = -4 - g. Suppose -5*z + 12 = -i*r, -2*r + 3*r - 5*z + 16 = 0. Solve -r = o - 3*o for o.
2
Suppose -3*q - 9 - 6 = 0. Let i(n) = -n**2 - 6*n - 2. Let t be i(q). Suppose 0 = -b + 2*h - 2, -5*h + t = -3*b - 2. Solve b - 8 = 2*x for x.
-4
Let d(p) = -4*p + 15. Let k be d(3). Solve 5 = -k*m - 7 for m.
-4
Suppose 2*d = -d + 6. Suppose 3*l + h = 20, h = d*h + 1. Solve -5*y = -l + 2 for y.
1
Let h = -15 - -22. Let i = h - 5. Solve 0 + 4 = -i*x for x.
-2
Suppose -d + 3 = 2*d. Solve 0 = u + d + 4 for u.
-5
Let s = 3 + 0. Suppose 0 = -h - 1 + s. Solve c - 2 = h*c for c.
-2
Let v(a) = -a**2 - 19*a - 15. Let u be v(-18). Solve 5*z = 2*z - u for z.
-1
Suppose 165*f = 160*f + 20. Solve -f*j = -8*j + 12 for j.
3
Let g be (-8 - -8)/(3 - 1). Solve g = 3*u + 2*u for u.
0
Let m be 6/(-10) + (-18)/(-30). Solve c = -m*c + 5 for c.
5
Let a = -11 + 14. Let h(n) = -n**2 + 3*n. Let w be h(a). Solve 3*z + z + 12 = w for z.
-3
Let k(w) = 2*w - 24. Let m be k(12). Solve m*x = x + 3 for x.
-3
Let h(n) = 3*n + 19. Let u be h(-5). Solve 0 = u*f + f - 10 for f.
2
Let x(h) = -h**2 + 3*h + 4. Let j be x(3). Let g = -118 + 122. Solve 4 + g = -j*o for o.
-2
Suppose w + 3*j - 10 = 0, 2*w - 3*j + j = -4. Solve -w = m - 3 for m.
2
Let k be ((-24)/(-9))/((-4)/(-6)). Suppose w = -4*a - 8, 2*w + 4*a - 5 = 3*a. Let v be w/(-12) - 14/(-6). Solve k*j = v*j - 4 for j.
-2
Let w be -2*(1 + 0) + 2. Let d = 4 + w. Solve 0 = d*j - j - 3 for j.
1
Suppose -11 = -p - 8. Solve p*n = -2*n - 5 for n.
-1
Let w be (-39)/(-2) + 1/2. Let b = 12 + -6. Solve -b*x + x - w = 0 for x.
-4
Let c be ((-2)/4)/((-1)/2). Let r be 3 - c - (0 - -2). Let k = 4 - r. Solve 2*d = -k - 2 for d.
-3
Let i(j) = -7*j + 1. Let a(x) = -3*x. Let s(k) = -5*a(k) + 2*i(k). Let m be s(4). Suppose m*n = n. Solve -2*g + 0*g = n for g.
0
Let d be 114/16 - (-6)/(-48). Solve 0 = 2*q + 1 - d for q.
3
Suppose 0 = -h + 4*m + 17, -2*h = 4*m - 28 - 30. Suppose h = 4*o - 3*o. Solve -6*x + x = o for x.
-5
Suppose 3*o - 15 = 2*o. Let a(u) = u + 11. Let q be a(-4). Suppose 4*r - q - 1 = 0. Solve 3*n + o = -r*n for n.
-3
Suppose -3*c - 3*d + 21 = -9, 5*d = 2*c - 13. Let v = c - 7. Solve -3*i = v*i - 10 for i.
2
Let t be 6/10 - (-324)/60. Solve m = t*m for m.
0
Suppose -2*x - 3*l = 16, -2*x - 6 = -5*x + 3*l. Let o = 5 + x. Suppose -r - o*r = -24. Solve 2*d = -d + r for d.
2
Let i = 63 + -62. Solve -4*o + i = 9 for o.
-2
Let b = 3 - 1. Suppose 0 = -2*s - 2*i, b*s - i - 1 = -2*i. Solve c - s = 4 for c.
5
Let g = 2 - 1. Let x(r) = -r**2 - r - 2. Let l(k) = k**3 + k + 1. Let t(o) = -l(o) - x(o). Let c be t(g). Solve 2 = -v - c for v.
-3
Let f = -7 + 12. Suppose y = f*k, 5*y + 0*k - 3*k = 0. Solve 2*d = -y*d for d.
0
Suppose 1 + 17 = 3*g. Let k be (30/(-18))/((-2)/g). Solve k*m + 2 - 7 = 0 for m.
1
Let o(h) = h**2 - 4*h - 7. Let u = 15 - 9. Let x be o(u). Suppose x*g - 10 = 2*j, j = -2*j + 15. Solve -r - 1 = -g for r.
3
Suppose -3*f + 21 = l + 2*l, 5*l - 5*f - 5 = 0. Solve -6*u + l = -2*u for u.
1
Suppose -2*q - 8 = -4*l, 3*q + 3*l = 4*l + 8. Solve -q*f - f = -20 for f.
4
Suppose 6*x - 8*x + 12 = 0. Solve x = -2*d - 0 for d.
-3
Let r = 171 + -169. Solve -2*c - 8 = -r for c.
-3
Let z = 21 - 9. Let c = 4 - 0. Suppose -j = 1, 3*r - c*j - 3 = 1. Solve 0 = -r*b + 4*b + z for b.
-3
Let b be (-36)/3*1/(-3). Suppose -9 = h - b*m, 2*m - 75 = -5*h - 2*m. Solve -h = 5*l + 4 for l.
-3
Let q be -4*2/(-4)*-8. Let o = -11 - q. Solve -5 = -o*b + 10 for b.
3
Let c = 9 + -6. Let d be 200/24 + (-1)/3. Solve -c*z + 25 = -d*z for z.
-5
Suppose 3*a = -a + 136. Suppose -4*u + 14 + a = 0. Solve 2 = 2*t + u for t.
-5
Suppose -2*n = 2*n. Solve 3*z = 9 - n for z.
3
Let t(f) = f - 3. Let s be t(3). Suppose 0 = -s*d - 5*d + 45. Solve 2*r = -r + d for r.
3
Let a = 17 + -11. Let c = a + -3. Solve c*l = -l for l.
0
Suppose -4*s + s = 48. Let o = s + 36. Suppose -3*m - 4*d - 3 = 0, m - 3*d - 15 = -3. Solve -z + o = m*z for z.
5
Let p be 7/(-28) + 66/8. Solve -3*o = -p*o + 25 for o.
5
Suppose 0*s - 4*s + 16 = 0. Let b be 5/3 - s/6. Solve 2*h + b = -3 for h.
-2
Let b = -18 - -26. Solve s = -s - b for s.
-4
Let p(r) = -r**3 + 2*r**2 + r. Let t be p(2). Solve 8 = -3*h + t for h.
-2
Let m(t) = -t - 11. Let j be m(-12). Let g be j/(-1*2/(-8)). Solve -6*u + 2*u + g = 0 for u.
1
Suppose 5*f + 24 = f. Let o = 18 + -26. Let j = f - o. Solve 2 + 2 = j*v for v.
2
Let i = 4 + -11. Let g be 49/(-14)*4/i. Solve g*x - 1 = -3 for x.
-1
Let o(m) = -3 - 4*m - 2 + 3*m. Let r be o(-5). Suppose 4*q - 6*q + 18 = r. Solve 0 + q = 3*j for j.
3
Suppose -6 = 2*b - 5*b. Suppose -3*t + 0*f - f = 5, -b*t + 3*f + 15 = 0. Let m be (-3)/((-45)/(-25))*-9. Solve t*n = -5*n - m for n.
-3
Suppose 3*j - 5 = 3*d - 11, j - 18 = -4*d. Solve -10 = d*u - 2 for u.
-2
Let k be 1/((-4)/(-4)) + 1. Solve -3*d + k + 4 = 0 for d.
2
Let j be (-1 + 1)/(-3 - -1). Suppose -2*b + 5*n - 10 = j, b + 0*b - 13 = -2*n. Solve b*c = -6 + 1 for c.
-1
Let h = -46 - -50. Solve 0 = h*n - 12 - 0 for n.
3
Suppose 12 = i + 4*b, 5*i - b - 16 = b. Solve 0 = i*x + x for x.
0
Suppose 0*w - 2*w + 27 = v, 0 = 2*v - w - 29. Suppose -4*r + v = 3*k, 2*k + 2*r - 15 = -5. Solve 2*y = 3*y - k for y.
3
Let y = 15 + -9. Let k(o) = -o**3 - 31*o**2 - 30*o + 15. Let q be k(-30). Solve -r = -y*r + q for r.
3
Suppose -7*d = -d. Solve d = -q - 1 + 6 for q.
5
Suppose z = 4 - 2. Suppose -2*r = -r - 4*y + 5, 10 = 4*r - y. Let d(w) = w**3 - 3*w**2 + w - 3. Let u be d(r). Solve 2*c - z = -u*c for c.
1
Suppose 4*u - 3*f + 3 = 0, -6*u + u - f = -1. Suppose 3*n = -0*n - 2*t + 27, 5*n - 2*t - 61 = u. Solve 3 = 2*y + n for y.
-4
Let d(g) = g**2 - g - 3. Let f(s) = -2*s**2 + 2*s - 1. Let x be f(2). Let w = x + 8. Let k be d(w). Solve k*u = u + 8 for u.
4
Suppose 4*f - 2 = 42. Suppose -s - 17 = 5*q, 2*s + q - f = -0*q. Solve 2 = 5*h - s for h.
2
Let c(x) = 13*x - 17. Let j = 23 + -32. Let r(g) = 3*g - 4. Let z(w) = j*r(w) + 2*c(w). Let o be z(-5). Solve -o = -4*b - 3 for b.
1
Suppose -g = -13 + 11. Solve -1 = -g*p - 5 for p.
-2
Suppose 5*c - 18 = -f, -3 - 23 = -5*c + 3*f. Suppose c*x - 2 = -2*l, 2*l + 2*x - 4 + 0 = 0. Solve -l*o = 8 + 1 for o.
-3
Suppose -2*f - 2*t = -80, -126 - 101 = -5*f + 4*t. Let a be (-6)/(-9) - f/(-3). Let s = a + -11. Solve 0 = -2*d + s - 0 for d.
2
Let w(i) = i**2 + 5*i + 4. Let r be w(-2). Let l be (r/(-1) - 5) + 7. Solve -l*s = 6 - 22 for s.
4
Suppose -26 = 4*m - 6, 0 = 2*y + 2*m + 14. Let j be y/(-2) + (1 - -1). Solve -2*c + j = 13 for c.
-5
Suppose l + 2*j = 5, 2*j + 0 - 4 = 0. Solve 3*z = 2*z + l for z.
1
Suppose 0 = -3*x + 8*x - 40. Solve -3*p + x = -7 for p.
5
Let s(k) = -k**3 - 14*k**2 - 12*k + 18. Let v be s(-13). Let r be 0/(-1) + (7 - -1). Suppose -c + j = -v, 0*j + r = 4*c - j. Solve -24 = -5*q + c for q.
5
Suppose 4*p + 74 = -p + 3*j, 40 = -3*p + 4*j. Let u = p - -22. Let k be -6*((-2)/u - 1). Solve -5*s + k + 12 = 0 for s.
4
Suppose 5*x + 17 = 67. Solve -x = -5*a + 5 for a.
3
Let k = 14 + -5. Let x = -9 + k. Solve -z + x = 5 for z.
-5
Let u(f) = -f**2 - 10*f - 12. Let w be u(-8). Let d be 8 - ((-16)/(-4))/w. Solve 2*x - 3 = d for x.
5
Let f be (5 