**2 + 30*l + 31. Let x be i(31). Solve 0 = -n - x*n - 2 for n.
-2
Let g(o) = o**3 - 9*o**2 + o - 5. Let k be g(9). Suppose 0 = -2*a - k*v + 3 + 13, -v - 2 = -a. Solve -a*i + 3 - 11 = 0 for i.
-2
Let w(f) = 1 - f**3 - 3*f**3 + 2*f**2 + 5*f**3 - 4*f. Let h(q) = -q**2 + 4*q - 3. Let c be h(4). Let r be w(c). Solve -1 + 5 = r*u for u.
1
Let s = 22 - 19. Suppose 0 = -5*n + l + 13, -s*n + 5*l + 18 = l. Solve -6 = 4*v - n*v for v.
-3
Let c be (2 + -3)/((-1)/8). Suppose 4*j + c + 4 = 0. Let k be (j/9)/(1/(-12)). Solve k*d + d = 0 for d.
0
Suppose 19*j = 21*j. Solve -3*v - v = j for v.
0
Let q = 5 - -2. Solve 3 + q = -2*f for f.
-5
Suppose 0 = 5*k - 5*i - 50, k + i + 2*i + 2 = 0. Solve -2 + k = -s for s.
-5
Suppose 0 = 3*o - 4*o + 2. Solve o*w - w - 2 = 0 for w.
2
Let u be (6/(-8) + 0)*-16. Solve -4*s - u = -8*s for s.
3
Let x be 1/(-1*4/36). Let r(u) = u**3 + 8*u**2 - 11*u - 13. Let f be r(x). Solve 24 + 1 = -f*q for q.
-5
Suppose 9 = 8*i - 5*i - 3*f, 0 = 4*i + 5*f + 6. Solve 0 = -5*d - i + 16 for d.
3
Let z be 2 - (-1 + 5 + -2). Suppose z*y = -y + 2. Solve y = i + 6 for i.
-4
Suppose -5*i - 16 = -2*f - 46, -2*i - f + 12 = 0. Suppose 0 = -0*l - 3*l + 2*r - 8, -3*r + 12 = -3*l. Suppose 3*q + l = i. Solve -2*o + q = -6 for o.
4
Let w be ((-69)/(-46))/(2/44). Solve 5*q - w = -8 for q.
5
Suppose -5 = 5*h + z - 52, -2*z - 41 = -5*h. Solve 5*b + h = 24 for b.
3
Let m be -1*(-1 - 44/2). Let r = -382 - -385. Suppose 3 = -3*t - 5*d + 2*d, -4*d = -5*t + 40. Solve t*v = -r + m for v.
5
Let d be 6/(-2) - (1 + -9). Suppose d*a = 1 + 14. Suppose -5*o = -a*o - 10. Solve u = o*u for u.
0
Let t be 4/((-1)/(-6)*3). Let u = -5 + t. Solve -2*m = u*m for m.
0
Suppose w + 53 = 56. Suppose 0 = u - 0*u - 3*j - 14, -4*u + 16 = -2*j. Solve -5 + w = -u*h for h.
1
Suppose 13*l = l + 240. Solve -5*h - l = -h for h.
-5
Suppose -o = 5*v - 14, 10 = 2*v - 5*v + 4*o. Let k = v - 0. Solve -k*y + y = 0 for y.
0
Suppose 5*w - 4*k - 107 = 0, k + 4*k - 61 = -4*w. Solve 0 = 5*j - 1 - w for j.
4
Suppose 4*s = -3*b - 0*s, 5*b = 2*s. Let j be 2/9 + 2/(-9). Let m = j - -1. Solve b*o - o - m = 0 for o.
-1
Suppose -15 = -9*l + 4*l. Let i be l - (-1 + 7)/3. Solve 0*o = o + i for o.
-1
Suppose -6 + 0 = 5*v + 4*c, v + 4*c = -14. Suppose 3*t - 2*m = v*m + 44, -108 = -5*t - 2*m. Let g be 1/((-2)/t*-2). Solve g*x = 7 + 18 for x.
5
Let l = -162 + 162. Solve l = d - 2 - 2 for d.
4
Suppose 8 = 2*k + 2, 5*h - 51 = 3*k. Suppose n + 2*d + d + 8 = 0, 0 = -4*n - 3*d - 32. Let f = h + n. Solve -21 = -f*q - 5 for q.
4
Let c be (3 + (-33)/9)*-3. Let v be 5 + 3*4/(-6). Solve -c*w = -v*w for w.
0
Let v(t) = -t + 17. Let q be v(15). Solve y = q*y - 2 for y.
2
Suppose 5*d + 3 = 23. Solve -d*c + 2 = 10 for c.
-2
Let a(k) = -2*k - 21. Let g be a(-13). Solve 2 = 3*z + g for z.
-1
Let b(c) = -c**3 - 5*c**2 - c - 3. Let k be b(-5). Let f be k*(-1)/2 + 2. Suppose 0 = -9*z + 12*z - 15. Solve 21 = z*r + f for r.
4
Let m = -12 + 19. Let l(z) = -z**2 - 17*z - 3. Let p be l(-16). Let c = p - m. Solve c = q + q for q.
3
Let w(k) be the first derivative of -k**2 - 6*k + 2. Let g be w(-4). Let i be -3 - (-2)/(g/13). Solve -i = -q - 5 for q.
5
Suppose 2*i + 6 = 2*f - f, -5*f + 5*i + 25 = 0. Suppose -y = -4 + 3, -l = 4*y - f. Let n(j) = -7*j - 63. Let x be n(-9). Solve x = o - l*o - 2 for o.
2
Let b = -137 - -142. Solve -4 = u - b*u for u.
1
Let r be (-5)/(-2) - (-5)/10. Suppose -5 - 15 = -l. Solve -w + l = r*w for w.
5
Let m(n) = -n + 1. Let c(v) = -v**2 - v + 3. Let y(h) = c(h) - 3*m(h). Suppose 8*j - 10 = 3*j. Let d be y(j). Solve 3*o = -d - 15 for o.
-5
Let q = -19 - -25. Solve -4*k - q = 6 for k.
-3
Let q(b) = b**3 + 2*b**2 - 2*b - 3. Let w be q(-2). Solve 4 = r - w for r.
5
Let p = 6 + -6. Suppose 5 = n - p*n. Suppose -3*r = -n*r. Solve r*u = -3*u - 3 for u.
-1
Suppose -48*p + 6 = -46*p. Let v(m) = m**2 - 4*m. Let a be v(4). Solve p*y - 8 - 4 = a for y.
4
Suppose 8*j = 3*j + 15. Suppose 0 = 3*o - 6*o + j. Suppose q = 5 - o. Solve 0*r - q = r for r.
-4
Suppose d - 26 = -24. Solve p + 1 = -d for p.
-3
Let g be ((-2)/4)/((-4)/(-8)). Let t = g - 2. Let f be 2/6 - 26/t. Solve -f = -3*k - 21 for k.
-4
Let k(q) = q + 7. Let c(s) = -s**3 + 13*s**2 - 12*s - 3. Let m be c(12). Let d be k(m). Solve -2*l - d = -0*l for l.
-2
Suppose -p + 8*p = 14. Solve 10 = 4*a + p for a.
2
Let m = 0 + 0. Suppose -3*j + j + 4 = m. Suppose 0 = -2*d + j - 12, -4*d = -a + 22. Solve 0*r = -r + a for r.
2
Suppose -2*c + 310 - 310 = 0. Solve c = -2*q - 2 - 0 for q.
-1
Let v(w) = w**2 - 5*w. Let b be v(6). Let z(g) = g**3 - 5*g**2 - 4*g. Let j be z(b). Suppose 2*d - j = -0*d. Solve -3*p = -p - d for p.
3
Suppose 4*k = 5*v + 9, -3*k = -4*v - 9 + 1. Let p be k/(-6)*-1*-6. Let t = -656 - -664. Solve 0 = -4*b - p - t for b.
-3
Let l be 3/((-148)/80 + 2). Solve 0*i + l = -4*i for i.
-5
Suppose -z + 11 = -5*u, 4 = 2*z - 3*u - 11. Solve 0 = 5*n - 2*n - z for n.
2
Let f(x) = x + 10. Let p be f(-6). Solve -p*a = a for a.
0
Let g(j) = 9 - 3 + 2*j - 3*j. Let m be g(0). Let v = m + -2. Solve -v*h = -5*h for h.
0
Let r = 5 + -1. Solve -2 = r*l - 6 for l.
1
Suppose -2*n + 7 + 13 = 3*g, 5*g - 3*n - 46 = 0. Solve 4 = -3*b - g for b.
-4
Let o = 2 + -2. Suppose o = -2*m + 6*m - 88. Suppose -3*f = -m + 4. Solve -f = -3*z + 9 for z.
5
Suppose 50 + 35 = 5*p. Solve 3 = -5*r - p for r.
-4
Let s(x) = 2*x. Let k be s(3). Let z = 85 + -81. Solve z*q = 2 + k for q.
2
Suppose -4*n + 0*n = -40. Solve 5 = 5*j - n for j.
3
Let d be -1 + 3 + (0 - 0). Suppose -d*t = -3*t. Solve t = -l - 1 - 4 for l.
-5
Suppose -4*h = 2*t - 82, -5*h + t + 39 = -3*h. Let r = -17 + h. Solve r*a + a - 16 = 0 for a.
4
Suppose 5*b - 9 = p, 0*p = 3*p - 3*b + 3. Solve -2*k = p - 3 for k.
1
Let l be 6/(-10) + (-184)/10. Let i = -11 - l. Let z = 11 - i. Solve -5*u = -z*u for u.
0
Let h = -2 + -7. Let q be (-2)/h + 122/18. Let n = 10 - q. Solve n*s = -8 - 1 for s.
-3
Suppose 0 = 5*i - 2*o - 2*o + 22, -3*o + 17 = -4*i. Let z be ((1 - -1) + i)/(-2). Solve 0 = -z*j - 2*j for j.
0
Let s be 10 + (2 - 2) + (-15)/5. Solve 5*l - s*l = 8 for l.
-4
Suppose -10*v + 7*v + 6 = 0. Suppose 3*t - 5 = -2*t. Solve -v*u + u = -t for u.
1
Suppose -5*i + 2*n - 18 = -53, n = -3*i + 10. Solve 10 = 3*x - i for x.
5
Let u = 31 + -16. Suppose 0*g - 5*g + u = 0. Suppose 5*w - 1 = 9. Solve w - 5 = -g*i for i.
1
Suppose -2*h + 31 = -3. Let t be h/4 - 4/16. Solve 0 = -t*x + 6 - 2 for x.
1
Let r = 11 - 5. Let l(j) = j**3 - 5*j**2 + 6*j - 6. Let o be l(4). Solve -i + r = o*i for i.
2
Let n be 36*-1*(-22)/4. Suppose t = -2*t + n. Suppose 3*h = -4*g + t, -2*g = -h - 11 - 17. Solve -5 = -5*x - g for x.
-2
Let s be (1/2)/(9/72). Let w be ((-2)/s)/((-4)/56). Suppose w = -5*c + 17. Solve -c*g - 2 - 4 = 0 for g.
-3
Let v(y) = -y**3 + 12*y**2 - 12*y + 14. Let z be v(11). Suppose 0 = z*g - 4*g + 7. Solve 2*r - g*r = 25 for r.
-5
Let c(h) = -h**2 + 7*h. Let a be c(7). Suppose 0 = 4*t - 4*w - 8, w + 10 = 4*t - 7. Suppose 4 = 4*r - 8. Solve a = k + r - t for k.
2
Let l be (-1 + 1)/(-3 + 1). Let z = 5 + 2. Let c = z + 9. Solve -4*b = -c - l for b.
4
Suppose 5*t - 22 = -2*o + t, 0 = -2*o + 2*t + 10. Suppose -2*k = 3*i - 9, -i + 0*k - o = 4*k. Solve -4*p + i = -5*p for p.
-5
Let x = 8 - -4. Solve -3*w + x + 3 = 0 for w.
5
Suppose -3*z + 6*z = 0. Solve z = -0*c + 3*c for c.
0
Let t be (21/(-6))/(1/(-6)). Let y = -13 + t. Let s be -1 + 1 - 4/(-1). Solve 0*r - s*r + y = 0 for r.
2
Let s be (1/2)/((-1)/6). Let g be 9 + 1/s*-3. Suppose g*w - 20 = 5*w. Solve w*u + u = 5 for u.
1
Let r be ((-6)/9)/((-3)/9). Solve 0 = -2*g - r + 6 for g.
2
Let r = 15 + -27. Let j be (8/r)/(2/(-9)). Solve -j*g - 2 - 4 = 0 for g.
-2
Let w(n) = -n**3 - 3*n**2 + 2*n - 5. Let f be w(-4). Solve -f + 1 = -2*m for m.
1
Suppose -4*u + 5*o + 7 = -5, 0 = -4*u + 3*o + 12. Suppose 3*b - b - 16 = -3*p, p - 2*b = 0. Solve -p*s = -s + u for s.
-1
Let k(x) = 226*x - 1. Let q be k(1). Suppose 0 = -4*u - u - q. Let i be ((-4)/(-3))/((-6)/u). Solve -z = z - i for z.
5
Let h(p) = 4*p**3 - p. Let w be h(1). Suppose g = 7 - w. Solve -g*i + 12 + 0 = 0 for i.
3
Let x(q) = -q**2 + 7*q - 3. Let a be x(6). Solve a*r = -0*r - 6 for r.
-2
Suppose 5*g - 17 = 3*j, -5*j - 15 = -0*g - 5*g. Let o be 47/(-4) + (-4)/16. Let h be 0 + 1 - (o + 8). Solve h*q + g = -6 for q.
-2
Suppose 5*c + 3*y = 3*c - 6, 3*y = 5*c - 6. Suppo