= y - 6, y - 4 = 0. Let z(s) = -s + 9. Let k be z(u). Solve k = 3*l - l for l.
1
Let z be (-2 + 4)*(-180)/(-18). Suppose 0 = -2*b - 3*b + 15. Solve -2*q + z = b*q for q.
4
Suppose -4*o = -3*o - 3. Solve -u = -o + 8 for u.
-5
Let g = -22 - -27. Solve -20 = r - g*r for r.
5
Suppose -13*r = -9*r - 32. Solve -2*n + 0 = r for n.
-4
Let v(f) = -f + 8. Let m be v(9). Let j be 0/((-1 + -1)*m). Suppose -t = -j - 3. Solve -3*c - t = -15 for c.
4
Let j(o) = o**2 + 6*o - 3. Let c be j(-7). Suppose 2*x + 0*x = c. Suppose -6 = -h - x*h. Solve -h*r + 20 = 3*r for r.
4
Suppose 2*l + 22 = 4*p, -6*l = -3*p - 4*l + 16. Solve 0 = -3*k + p*k - 6 for k.
2
Let o be -1*(1 + 0 + 4). Let u = o - -8. Suppose u*m = m. Solve -3*t = -m*t + 15 for t.
-5
Suppose -7*x - 14 + 49 = 0. Solve -2*w + 3 = x for w.
-1
Let z = -168 - -173. Solve -z*c = -6*c for c.
0
Let y = 19 - 14. Solve 0 = y*o - 4 - 1 for o.
1
Suppose 4*r - 64 = -0*r. Let u be r/20*5/2. Let t be ((-45)/60)/((-1)/4). Solve -t*f = u*f for f.
0
Let y = 40 + -37. Solve -9 + y = 3*l for l.
-2
Suppose 12 = 2*g + o, -5*o = -2*g - o + 12. Suppose -g*z + 3*z = 0. Let t be (-1 - z - -1)/2. Solve -a - a = t for a.
0
Suppose 7*j - 2*o - 10 = 3*j, -3*o = -9. Suppose z + j*z - 5 = -5*h, -z - 14 = -2*h. Suppose -h*l + 3*d = -15, -4*d - 25 = l + d. Solve l = 3*u - u for u.
0
Let k = 107 + -91. Solve 0 = k*w - 11*w for w.
0
Let a be (-1 + 1)/(2/(-1)). Let t(g) = g**3 + g + 4. Let u be t(a). Suppose -2*r + u = -0. Solve -r*p - 3*p = -5 for p.
1
Let g be ((-2)/4)/(2/(-20)). Suppose 5 = 2*f - g. Solve 2*d = f*d for d.
0
Let i be (-3)/(4 + -1 + -2 - 2). Solve i*s = -2*s - 15 for s.
-3
Let u be 8/6 + 1/(-3). Suppose -17 = -5*h + 4*g - 8*g, h - u = -2*g. Suppose 2*p - 4*n - 9 = -25, 0 = -h*p + 2*n - 8. Solve p = -s - 0 - 5 for s.
-5
Let x be (-84)/(-5) + 12/(-15). Solve -3*z + 4 - x = 0 for z.
-4
Suppose 0 = f - 3*w + 6, 3*f - 6 = -2*w - w. Let v = 6 + 0. Solve f = -5*g + 1 - v for g.
-1
Suppose -4*m + 0*m = 16. Let o be m/(-3) + 16/24. Solve o*f - 4 = 3*f for f.
-4
Suppose 0*f - 2 = 4*b + 2*f, 4*f = -b + 3. Let k be 1/(-3*b/12). Solve 12 = -k*m - 0 for m.
-3
Let r(b) = b**2 + 8*b - 7. Suppose -8*d + 4*d - 36 = 0. Let f be r(d). Suppose 2*o - 16 = -2*o. Solve -3*p + o = -f*p for p.
4
Suppose -2*h + 8 = 0, 0 = -2*a - 2*a + 5*h - 8. Let c = -4 + 24. Let t be (-15)/(-2) - 1/(-2). Solve -a*n + c = -t*n for n.
-4
Let x(o) = o**3 - 8*o**2 + 3*o - 9. Let i be x(8). Solve 0 = -2*c + i - 5 for c.
5
Suppose 5 = -4*g + 17. Let t be (-3)/(-12) - (-14)/8. Suppose 0 = 4*d + t*x - 2 - 4, 3*d + 2*x - 6 = 0. Solve d*a = -g*a + 12 for a.
4
Let g(z) = z**2 - 3*z - 1. Let t be g(2). Let f(i) = 4*i. Let b(m) = 5*m. Let c(h) = -5*b(h) + 6*f(h). Let x be c(t). Solve 0 = x*u - 5*u + 2 for u.
1
Suppose -5 = 4*v - 9*v. Let y be -1 + v - (-1 - 0). Let x be (y - 2)*2 - -2. Solve x = -2*h - 0*h + 6 for h.
3
Suppose 0 = 2*r - r - 8. Solve -3*l + r*l = 0 for l.
0
Suppose 0*j = 3*i + j - 32, -5*i + 4*j + 59 = 0. Let c(n) = n**3 - 11*n**2 - n + 14. Let a be c(i). Let l be (-3 + 0 + a)/1. Solve 3*o - 4*o = l for o.
0
Let c(i) = 5*i**2 + 6*i + 1. Let u be c(-4). Let m = u - 41. Solve 6*w = 2*w + m for w.
4
Suppose -5*m + 5 = 3*q, -2*m = -q - 0*q + 9. Let s be 4/(-20) + m/(-10). Solve s*f = -3*f + 15 for f.
5
Let u = 64 + -58. Solve -2*x = -u*x for x.
0
Let a = 16 - 14. Solve -a*c - 4 - 2 = 0 for c.
-3
Let t(k) = 2*k + 34. Let z be t(-16). Solve -z*h + 11 = 1 for h.
5
Suppose 1 = 4*h - 11. Let v be 100/15*h*1. Suppose 0 = -5*j + 5*m - 2*m + 42, 0 = 4*m - 4. Solve -4*d = -j*d - v for d.
-4
Let w = 31 - 28. Solve -q - 2 = -w for q.
1
Suppose 0*k + 3 = k. Suppose -k*m = -m - 4. Solve 16 = m*v - 6*v for v.
-4
Let a be 2/(-6)*-9*1. Solve -i = -a*i + 4 for i.
2
Let k = -10 - -15. Suppose -9 = -3*s + 3. Solve s*f - 7 = k for f.
3
Let u = 8 + 6. Let s(j) = -j**3 + 6*j**2 - j + 5. Let o be s(5). Suppose 2*d + o = 7*d. Solve -d*b + 4 = u for b.
-2
Suppose -5*n = -8 - 2. Suppose -4*t - n*g = -20, 5*t + 4*g = 23 + 8. Suppose -t*k - h + 2*h + 64 = 0, 2*k - 40 = -2*h. Solve 9 - k = -3*j for j.
4
Let v(t) = 2*t. Let b be v(6). Solve b = -y - 3*y for y.
-3
Suppose 5*b - 3*q + 2 = 18, q = -b + 8. Solve 14 = -b*d - 1 for d.
-3
Suppose 0 = -y + 2 + 1. Let r(o) = -2*o**3 - 3*o**2 + 1. Let w be r(-2). Solve y*b + 10 = -w for b.
-5
Let l = 21 + -11. Suppose -5 = -2*r - 2*d + 3*d, r + 2*d - l = 0. Solve -r*b - 14 - 2 = 0 for b.
-4
Let f(c) = -3*c**3 - c - 1. Let p be f(-1). Suppose 0 = -a + p*u - 12, -a + 2*u = 2*a + 1. Let i = 5 - a. Solve 0 = -6*m + i*m - 16 for m.
-4
Suppose -2*f - f + 9 = 0. Solve -f*a - 2*a = 0 for a.
0
Let q be (6 + 0 - 2) + 0. Suppose 3*l + q*t - 10 = 0, t - 1 = 2*l - 4*t. Suppose 4*u - 12 = 2*n - 6*n, 3*n + 4*u = 12. Solve -2 + n = l*k for k.
-1
Let u = 2 - 2. Suppose 3*w = -2*w + 5. Let z be w/1 + 4/1. Solve u = 5*x + z - 0 for x.
-1
Let s(m) = m**2 - 2*m - 1. Let u be s(3). Solve 2 + 0 = u*i for i.
1
Suppose 0*q = q - 4*z - 8, -q + 3*z = -6. Solve 0 = 4*j - q*j for j.
0
Suppose -2*c = 8, -2*n - n - 4*c + 68 = 0. Let d = -18 + n. Solve 0 = 5*w - 35 + d for w.
5
Suppose -3*y - 6 = -4*j - 5, -5*y + 5 = 0. Solve j + 3 = u for u.
4
Suppose 2*q - 3*h - 21 = 0, q + 3*h = 6*h + 18. Solve 2*o = -o - q for o.
-1
Let w be (3/(-2))/(2/4). Let d(t) = -7*t - 8. Let l(n) = -7*n - 7. Let j(y) = -4*d(y) + 5*l(y). Let p be j(w). Solve 3*h + p = 3 for h.
-5
Let d(o) = o - 1. Let k be d(2). Let u(f) = 7*f**2 - f**3 - 3 + f + 2 - k. Let i be u(7). Solve -12 = -i*y - 2 for y.
2
Suppose 2*n = -3*n + 30. Let h(c) = 4*c - 9. Let y be h(n). Solve -2*t - 3*t - y = 0 for t.
-3
Let g = -9 + 14. Suppose g*u = u. Solve z - 3 = -u*z for z.
3
Suppose -18 + 5 = f. Let u = -10 - f. Solve -u*i + 4 - 1 = 0 for i.
1
Let v = 2 + -2. Let t(s) = s - 2. Let d be t(4). Suppose 0 = 3*j + d*j - 20. Solve v = -5*w + j + 16 for w.
4
Let k be (-1 - (-10)/6)/((-18)/(-81)). Solve k*o = -2*o for o.
0
Let s(m) = m**3 - 11*m**2 + m - 7. Let u be s(11). Suppose 81 = u*q + 21. Solve q = -3*t - 2*t for t.
-3
Suppose z - 30 = -5*j, -5*z + 0*j + 35 = 2*j. Let k = 3 + -1. Let y = z - k. Solve -2*c - c - y = 0 for c.
-1
Let b be (0 - (-9)/3)*1. Let h be -4 - (-1 + b)*-4. Solve -9 = -s - h for s.
5
Suppose -m + 10 = 4*m - 3*a, -20 = m - 5*a. Suppose -m*t + 11 = -4. Solve 2*o = -t*o - 10 for o.
-2
Suppose 5*k + 5*t = 85, -5*k - 4*t = -58 - 30. Solve 0*j + k = -4*j for j.
-5
Suppose -3*q - 4*g - 26 = -5*q, -5*g + 26 = 4*q. Let k(o) = o**2 - 10*o + 13. Let c be k(q). Solve -n + 2 - c = 0 for n.
-2
Suppose -y + 25 = -0*y. Solve 0 = 3*g + 2*g - y for g.
5
Suppose -2*h - 3*h - 14 = -3*f, 7 = 4*f + 5*h. Solve f*u = u + 8 for u.
4
Let w(u) = u**3 + 18*u**2 + u + 30. Let l be w(-18). Solve -2*o = o + l for o.
-4
Let m be (0 + 0 - 1) + 2. Let n = 4 - m. Let g(v) = 2*v**2 + 4*v - 4. Let f be g(-4). Solve s = -n*s + f for s.
3
Let n(z) = -2*z - 3. Suppose 4*c + 8 = -28. Let d = 5 + c. Let u be n(d). Solve -3*g + u = -4 for g.
3
Let i = 8 - 4. Let y(v) = 5*v**2 + 21*v - 18. Let s be y(-5). Solve s*b = i*b + 6 for b.
-3
Let z be (-1 - -1) + 1 - -3. Let y = 48 - 67. Let w = y - -21. Solve -r = -w*r - z for r.
-4
Suppose -20 = -2*h - 3*h. Suppose -20 = h*v - 0. Let n be 34/5 + (-1)/v. Solve n = 3*c - 5 for c.
4
Let u(m) = m + 5. Let n(w) = 2*w + 9. Let v(f) = -3*n(f) + 7*u(f). Let s be v(-5). Solve 0*x - 3 = s*x for x.
-1
Let o = 0 + 7. Let p be o - (0 + 2) - 3. Solve l = -p*l for l.
0
Let w(h) = -h**3 - 5*h**2 + 4*h - 8. Let v be w(-6). Solve -v*s = s + 20 for s.
-4
Let v be 15/(-2)*(-16)/20. Suppose -v*x + 2*x = 4. Let s be x/(-2*(-3)/(-18)). Solve 0 = -o + 2*o + s for o.
-3
Let r = -14 - -20. Let u = -6 - -5. Let d be (1 + -1)/(u/1). Solve d*i + r = 3*i for i.
2
Let j be (-44)/(-6)*18/12. Solve 3*z = j + 4 for z.
5
Let p be (-4)/(5/(-3) - -1). Solve 8 = p*x - 4*x for x.
4
Let u(x) = x**3 + x**2 - 6*x + 2. Let j be u(-3). Suppose j*p = -2*p + 8. Solve l = -p*l for l.
0
Let s(x) = x**2 + 6*x + 4. Suppose 4*c - 12 = -36. Let u be s(c). Solve -u = -2*w - 2 for w.
1
Suppose -5*b - 5*l + 27 = -28, 0 = -4*l + 20. Suppose 5*s = -2*n + 106, 13 = 4*n + 1. Let c be 1/(-3 + s/b). Solve c*u = 7*u + 4 for u.
-1
Let l be 2/3 - 104/(-6). Let j = l - 6. Solve -f = -4*f + j for f.
4
Let r(o) = o**2 - 5*o - 16. Let l be r(7). Let i = l + 7. Solve i - 15 