et q(k) = k**2 - 4*k + 3. Let n be q(t). Solve 6 + w = n*j for j.
3
Suppose 2*y = -2*y - 2*t + 56, -2*t - 4 = -y. Solve i = 5*i + y for i.
-3
Let p = -7 + 12. Let s be p/2*(-4)/(-5). Suppose 0 = 3*u + s*u - 15. Solve 0 = v + u - 0 for v.
-3
Let t(g) = 9*g**2 + 2*g - 1. Let h be t(1). Let k = -6 + h. Solve 0*n = 2*n + k for n.
-2
Suppose 6*s - 4*h + 28 = 2*s, 5*h + 45 = -3*s. Let l be 1*s/(-4)*2. Solve -8 = -o + l*o for o.
-2
Let l = -3 - 0. Let u be -1*(-8 + (l - -6)). Solve -j + u*j = 8 for j.
2
Let u be (-2)/(-4) + 2/4. Let b be (1 - 3/u)/1. Let y be (b - -1)*4/(-4). Solve -3 = -g + y for g.
4
Let y(k) = 2*k + 8. Let z be y(6). Suppose 4*d - 28 + 0 = 0. Suppose d*c = 2*c. Solve c = 3*t + 5 - z for t.
5
Let o = -22 + 24. Let k be 2/(-4)*o - -16. Solve 2*w + k = -3*w for w.
-3
Let t(r) = r**3 - 7*r**2 + 1. Let p = 5 + 2. Let m be t(p). Suppose 4*j = 13 - m. Solve 0 + j = -c for c.
-3
Let a = 11 + -9. Let o = -1 - -1. Let j = a + o. Solve j*d + 1 = 3*d for d.
1
Suppose -k + 11 = 2*b + b, -3*k = 3. Let l = 3 + 1. Suppose b*o = 3*o + l. Solve -2*g = -o + 2 for g.
1
Let n(o) = -11*o - 30. Let p be n(-5). Solve -b + p = 4*b for b.
5
Let a be 2*1 - (0 - -2). Suppose a = -b + 5*k - 4, -6 = -3*b - b - 2*k. Let z = 3 - b. Solve 10 = -0*v + z*v for v.
5
Let f = 2 + 20. Let b(c) = c - 8. Let r be b(8). Suppose -s + 3 = -r. Solve f = -s*p + 7 for p.
-5
Let k = 64 + -62. Solve 4 = -2*i - k for i.
-3
Let x(l) = -2*l + 6. Let u be x(3). Solve 2*c - 7*c + 15 = u for c.
3
Suppose -4*g = 5*q + 12, 3*g - 4*g - 3 = 2*q. Let b be (8 + -9)*(0 + 0). Solve b = -3*v - q*v for v.
0
Let n be (0 - 1) + 4 - 1. Let l(a) = -a**3 - 6*a**2 + 7*a + 9. Suppose u - 3*c = -0*u - 22, 5*c = u + 32. Let r be l(u). Solve d - r = -n*d for d.
3
Let o = 64 + -60. Solve 0*l + 20 = o*l for l.
5
Let i(h) = -h**3 - 10*h**2 - h - 8. Let n be i(-10). Solve 8 - n = 3*o for o.
2
Let j be (-35)/(-20) - (0 + 3)/(-12). Let v be (6/(1 - 0))/1. Solve v = -j*o + 4*o for o.
3
Suppose 3*p + v = 3 + 5, -v + 2 = 0. Solve -2 = -4*l + p for l.
1
Let g be (-4)/((0 - 1)/(5 - 4)). Solve -4*d = -6*d + g for d.
2
Suppose 5*o - 4 = o. Solve -o = t - 0 for t.
-1
Let h(s) = s**3 - 3*s**2 + 2. Let m be h(4). Let y be 526/(-18) - (-4)/m. Let g = y + 40. Solve 3*p - 2 = -g for p.
-3
Suppose -4*x = -4 + 24. Let n = -2 - -9. Let w = x + n. Solve -3*g = -w*g for g.
0
Let o = 4 - 7. Let r = 0 - o. Let l(n) = 3*n. Let k be l(r). Solve -1 = -2*z - k for z.
-4
Let i = -11 - -13. Solve 1 = -i*j + j for j.
-1
Let r(b) = -b**3 + 4*b**2 + 6*b - 7. Let n be r(5). Let s be n/9 + (-141)/(-27). Solve -s + 0 = p for p.
-5
Let a be (-1 - -4) + (2 - 3) - 0. Solve a*s - 3 = -1 for s.
1
Let k be (1/(-3))/((-7)/(-231)). Let p = -7 - k. Solve 0 = w + p - 2 for w.
-2
Suppose -7 = -n - 3. Suppose 3*q = -0*a + n*a + 9, -a = -3*q + 9. Solve -q*w + 12 = w for w.
3
Suppose 0 = 3*q + q - 8. Solve -3*a + 1 + q = 0 for a.
1
Let c = -7 + 10. Suppose 4*o - m = -0*m, -c*o = 4*m. Solve o*k - 5*k - 25 = 0 for k.
-5
Suppose -4*o + 5*j + 29 = 0, -5*j + 0*j = o - 1. Suppose 0*y + o*y = 0. Solve y = -u - u + 4 for u.
2
Let l(i) = i**3 - 3*i**2 + 4*i - 6. Suppose 2*z + 2 = 8. Let o be l(z). Solve d - o*d - 20 = 0 for d.
-4
Suppose 2*a = 3*s + 2*s - 5, s - 4*a - 1 = 0. Let u be (s/3)/(4/36). Solve 8*q - 20 = u*q for q.
4
Let o(j) = -11 - 2*j + 3*j - j + 2*j. Let m be o(8). Solve -v + m*v = -16 for v.
-4
Let r = -2 + 6. Suppose 4*h = -2*s + 18, r*h - 6 - 11 = -s. Solve 0 = 3*c - h*c for c.
0
Let c(t) = t**2 - 3*t + 1. Let a be c(3). Solve 2*o + a = -3 for o.
-2
Let k(h) = 7*h - 1. Let r be k(-1). Let x be 4/(r/(-6)) + 3. Solve -4*b - x - 6 = 0 for b.
-3
Suppose 2*o - 3 = 3. Let r be -3 - (10 - o)*-1. Solve -t + 6 = -r*t for t.
-2
Let k = -12 - -6. Let u = k - -6. Solve u = q + 4*q + 25 for q.
-5
Suppose l - 3*l = -8. Let j = l - 1. Solve 0 = -j*a + a + 8 for a.
4
Let m be 4/(-6)*(9 + -3). Let w = m + 9. Suppose 0 = 4*h - 3*h - 1. Solve -h - 4 = -w*v for v.
1
Let o = 2 + 10. Let a be ((-75)/o)/((-2)/8). Solve -2*s = 3*s - a for s.
5
Let f be 44/20 - 3/15. Let u = -6 - -9. Solve 25 = -f*s - u*s for s.
-5
Let a = -16 - -19. Suppose a*u + 4 = 2*p, 4 = -0*u - 2*u + 2*p. Suppose 2*s - s - 15 = 3*q, -5*q - 17 = s. Solve -s*t + 2*t + 3 = u for t.
3
Let f(j) = j**2 + 7*j + 6. Let x = -2 - 4. Let q be f(x). Solve -3*u - 9 = -q for u.
-3
Suppose -3*n + n = 3*u + 472, u - 5*n + 180 = 0. Let y = -44 - u. Suppose 0 = -5*k + 4*b + 96, 5*k + 11 = -5*b + y. Solve 7*d - 3*d = -k for d.
-5
Suppose 0 = 3*g + 3 - 9. Suppose g*n + 2*n + 8 = 0. Let u be 0/(-2 - (-6 - n)). Solve -r = 5 - u for r.
-5
Let w = -4 - -7. Suppose 3*m + 2*q = 1, 9 = 2*m - 3*m - w*q. Solve g = -m*g for g.
0
Let m be (-2)/7 + 4/14. Let q be 1/(-4) + (-6)/(-24) - 0. Solve m = -5*v - q*v + 25 for v.
5
Let o = 14 + -9. Solve 8 = o*y - 7 for y.
3
Let n = 31 + -45. Let x be 21/n*(-1 - 1). Solve 3*z = -3 - x for z.
-2
Suppose t + 4*t + 10 = 0, 0 = 5*m + 4*t + 3. Solve i = m + 3 for i.
4
Let r = 17 - -24. Let v = r - 15. Let y = v + -13. Solve 4*x = -y - 3 for x.
-4
Let g = 15 + -6. Let z be (1 + 1/(-3))*g. Let r be 9 - z*(-3)/(-6). Solve 2*d + 0 = -r for d.
-3
Let b(l) = l**2 - l. Suppose 2 = 2*k - 2. Let h be b(k). Solve -h + 0 = x for x.
-2
Let a(m) = -2*m**2 - m + 2. Let l be a(-2). Let s(u) = u**3 + 4*u**2 + 2*u + 6. Let k be s(l). Let o be (1 - k)/((-1)/(-1)). Solve -o*h = -4 - 5 for h.
3
Let y(m) = -2*m**2 + 9*m + 5. Let l be y(5). Solve l*f = 2*f + 2 for f.
-1
Suppose 0 = -0*c + 3*c. Suppose 2*x + 2*x - 16 = c. Let s = x + -1. Solve -2*k - s = -5*k for k.
1
Let g(k) = k**3 - 6*k**2 + 6. Let o be g(6). Let i be 1*(26 + -1 + 4 + -2). Let s be (-50)/(-18) + o/i. Solve -4*d + 1 = -s for d.
1
Let a be 5*4/40 + (-2)/(-4). Solve 0*s + s = -a for s.
-1
Let w(m) = 4 + 2*m + 2 - m. Let d be w(-5). Let j be (-9)/(-4) + d/(-4). Solve j = 2*q - 8 for q.
5
Let i(g) = -g**3 - 4*g**2 - 4*g - 10. Let h be i(-4). Solve s + 3 - h = 0 for s.
3
Suppose 2*s = s. Solve 0*w + w - 4 = s for w.
4
Let b be (-2)/5 + 44/10. Suppose -3*z - 3*a = 0, -z + b = 2*z + a. Let k(m) = -m. Let q be k(0). Solve 0 = -q*f + z*f + 8 for f.
-4
Let i = -4 + 7. Let s = 3 - i. Solve s = -6*j + j for j.
0
Let p be (-16)/24 + 14/3. Solve r + 25 = -p*r for r.
-5
Let s be (-4)/18 + (-822)/(-54). Suppose -5*o - 167 = -3*m, -o - 120 = 3*o + m. Let z be o/(-5) - 3/s. Solve -5*d = z + 4 for d.
-2
Let l(w) = -7*w**2 + 2*w - 1. Let p be l(1). Let o(r) = -r**3 - 7*r**2 - 6*r + 6. Let a be o(p). Let c = 19 + a. Solve -c = 7*g - 2*g for g.
-5
Let x(w) = w**3 + 3*w**2 - 12*w - 2. Let v be x(-5). Solve 0 = -3*i - i + v for i.
2
Suppose 0 = -3*h + 13 + 2. Suppose -h*i = -q - 2*i + 8, i = -4*q + 6. Solve -q*p - 3 = -3*p for p.
3
Suppose 2*c - 11 = -f, -3*f - f = 3*c - 24. Solve f*v + 6 = -0 for v.
-2
Suppose 3*t = -t + 36. Let z = 13 - t. Suppose 2*j = 3*j + 2*f + z, 3*f = -5*j + 8. Solve 8 + 8 = j*y for y.
4
Let k be ((-2)/(-5))/(3/60). Solve -10 = k*i - 3*i for i.
-2
Let d be ((0/(-1))/(-2*1))/(-3). Solve -4*j + d*j = -20 for j.
5
Let k(q) = -q**3 + 8. Let u be k(0). Solve -s + u = s for s.
4
Let g = -19 - -22. Solve 3*u + 6 = -g for u.
-3
Let f be ((-2 + -14)/4)/2. Let z be 136/14 - f/7. Solve 4 = -2*n + z for n.
3
Let z(v) = -v**2 - 8*v - 5. Let s(r) = r**2 + 9*r + 6. Let t(b) = -3*s(b) - 4*z(b). Let n be t(-3). Let x = 2 - n. Solve 2*l - x - 2 = 0 for l.
4
Let i = 22 + -19. Suppose 4 = 5*f - 4*h, -2*f + 4 + 0 = -4*h. Solve i*w = -f*w for w.
0
Let f = 32 - 22. Let n = -6 + f. Suppose -2 = 2*w - 3*w. Solve -w*x + 8 = -n*x for x.
-4
Let t be 6/10*(-12 - -7). Let p = t - -8. Solve 2 = p*h - 3 for h.
1
Let w(o) = 5*o**2 - 1. Let z be 5 - (-1 - -2)*0. Suppose 2*a - z*n + 11 = a, 0 = -4*a - 4*n + 4. Let g be w(a). Solve -6*v - 6 = -g*v for v.
-3
Suppose 2*n - k = 5*n - 16, -5*n = -3*k - 22. Suppose -w + n = -1. Solve -u - w = u for u.
-3
Let i be -3*((-2)/7 + 116/(-84)). Solve i*v = v for v.
0
Suppose 4*s + 20 = 3*f, 0*s = 4*s + 20. Let v be ((-32)/(-28))/(2/14). Suppose -2*i - v = -18. Solve 0 = -i*o - f*o for o.
0
Let s = -6 + 8. Let b = 65 + -40. Solve b = -s*i - 3*i for i.
-5
Let w be (10/(-4)*(-8 - -6))/1. Solve 0 = w*n - 9*n + 12 for n.
3
Suppose -7*s = -8*s. Suppose s*k = 3*h + 3*k - 45, -3*k + 58 = 4*h. Suppose 5*r = 3*o + r - 21, 3*o = -4*r - 3. Solve o*p - 