-5). Let n(j) = 3*j + 4*j**3 + 16 - 17 - 6*j**3 + 3*j**3. Let d be n(q). Solve -z + d = -5*o, o = 5*z - 2 + 9 for z.
-2
Let o(q) = q + 7 - 3 + 1. Let g be o(0). Let d be (-3)/1*2/(-2). Solve -10 = g*u, 10 + 1 = -d*i - u for i.
-3
Let u(t) = t**2 - t - 2. Let z be u(4). Solve 6*n - n = z, 0 = -3*w - n + 5 for w.
1
Suppose a = 7*a - 12. Solve 0*d + d = -4, 0 = -2*u - 3*d - a for u.
5
Let z(m) = m**2 + 21*m + 43. Let y be z(-19). Solve -2*o + 10 = -2*t, -t + y*o - 17 = -4 for t.
-3
Let q = 10 + -10. Solve 36 = 4*d - 4*i - 0*i, -4*d - 3*i + 8 = q for d.
5
Suppose -67*u + 63*u = -4. Let f(i) = -i + 2. Let r be f(-2). Solve j - r = 2*a, -a - u - 1 = -j for a.
-2
Let g(b) = -b + 13. Let i be g(9). Suppose -o = -i*o. Suppose o*l + 4 = l. Solve 3*j = 2*a - 3, -6*j + 3*a - 7 = -l*j for j.
1
Let y = 19 + -17. Solve 0 = 4*g + 2*d + 6, 5*g - 2*d - y*d + 40 = 0 for g.
-4
Let d be 2/4 - (-15)/6. Let l be -5*1*(-2 - -1). Let x be (-3)/(-18) - ((-89)/6 - 0). Solve -u + 8 = g, -l*g + 47 - x = d*u for g.
4
Let h be (-1 - -5)*2/2. Solve -2*c = -h*o, o - 8 = -c - o for c.
4
Suppose 0 = 3*f - 3*j - 48, -5*f + 80 = 2*j - 3*j. Let z be (-4)/f - (-34)/8. Suppose -2*d - z = -4*d. Solve -23 = -5*l - d*u, -l - 2*u + 5 = -6 for l.
3
Let h be (-2)/(-2 + 3) - -8. Suppose -f - h = -4*f. Solve -4*k + 5*n - 31 = 0, -f*k - 14 = -n - n for k.
-4
Suppose -n = -5*f + 6, -n + 2*n - f - 14 = 0. Solve 31 = 5*p - 2*z, 2*p - 6 = 5*z + n for p.
5
Suppose w + 4*c = 9, 4*c - 3 = 5*w - 0*c. Suppose -2*p + 0*f = -4*f + 4, -3*p - 5*f + 49 = 0. Let k be (p/2 - 2)/w. Solve -g + 5*b + 14 = k*b, b = 5*g for g.
-1
Suppose 0*v - 2*v = 0. Solve v = 4*c - 2*c + x - 11, 4 = 4*x for c.
5
Suppose -2*w + 5*n + 28 = 0, 3*w + 8*n = 3*n + 17. Let i = 14 - w. Let a be (i - 1) + 0/2. Solve -a*b = -2*d - 3 - 1, 8 = -2*d for b.
-1
Suppose 0 = v - 2 - 3. Suppose -3*u - 2*d + 12 = d, 4*u - v*d = 25. Suppose -u - 1 = -3*t. Solve 2*k = 4*k - 10, -3*w + 1 = t*k for w.
-3
Suppose 0 = -4*w + 2*w + 2. Suppose 0 = a + 3*a - 8. Let o = 4 - a. Solve o*c = 4, 2*n + w = -3*c + 7 for n.
0
Let x be -3 + -3*8/(-6). Let b = 8 - x. Solve -r + 3*f = 17, -3*r + b*r = 3*f - 32 for r.
-5
Let j = -91 + 96. Solve -16 = -v + 3*v + 2*m, v + j*m = -28 for v.
-3
Suppose 0 = -4*a - 2 + 14. Let p = -1 + a. Solve 0 = -3*z + 2*j + 4, 0 = -4*z - p*j - 18 - 0 for z.
-2
Let n(m) = 2*m + 2. Let u be n(2). Suppose u = 2*l - 0. Let o(h) = h**2 + 2*h - 3. Let d be o(-4). Solve -4*r = d*w, l*r + 10 = 5*r for w.
-4
Let h(o) = -o**3 + 4*o**2 + o - 1. Let n be (-56)/(-6) - 3/9. Suppose 0 = 4*c - 3 - n. Let b be h(c). Solve 4*x + 2*j = -x - 11, -x + 4*j = b for x.
-3
Suppose 0 = i - 3*i + 8. Solve 2*n = 4*u + 14, -i*u + 4*n - 9 - 3 = 0 for u.
-4
Let a be ((-7)/(-3))/(6/18). Suppose 2*d = -3*r + 5, a*r - 3*d - 18 = 3*r. Solve -3 = -3*i + 2*j + r*j, j = 2*i - 2 for i.
1
Let u be ((-5)/5)/((-2)/(-12)). Let a = -4 - u. Suppose 2*m + 4*l - 4 = 0, 3 = -m - 5*l + a. Solve 1 = -m*p + 3*n - 2, 2*n + 3 = p for p.
-3
Suppose -5*z - 40 = -5*y, 2*z - 31 = -2*y + 7*z. Let m = -4 - -3. Let b be (-6)/m*(-2)/(-3). Solve -y*j - 14 = -p, -b*p = -0*j + 4*j + 8 for p.
2
Let z(t) = t**2 - t. Let l be -5 + 3 - (-4 + 0). Let g be 2/l - (0 + -1). Let j be z(g). Solve 2*x + 7 = -a, -5*x - 15 = -j*a + 4*a for a.
-5
Let x be (-3)/1 - (-13 - -7). Suppose 2*v - x*v = -u + 6, 5*u - 23 = -2*v. Solve -n = -1, -4*j + u - 2 = 3*n for j.
0
Let h = 174 + -173. Solve r = 3*s - 5, 0 = -5*s + 3*s + 3*r + h for s.
2
Let z(n) = -6*n + 2. Let r be z(-4). Let o = r + -18. Solve 2*v - 8 = -4*f, 8*v - o = 3*v - 4*f for v.
0
Suppose -3*r = 3*c - 12, -2*r + 1 = -r + 4*c. Solve d - r*d = 2*h + 20, -4*d - 4 = -2*h for h.
-4
Suppose 0 = -i + 3*i - 2. Let a = 3 - i. Solve 3*g - a*k + 13 = -5, 4*g + 19 = k for g.
-4
Let r = 30 + -20. Let m = r + -6. Solve m*j - 7*j - 18 = -3*z, -2*j = z for z.
4
Let b = -28 + 41. Let x be 48/15 - 1/5. Suppose -2*v + 3 = -x. Solve -d - 2 = v*q, 0 = -3*q - d + 3*d + b for q.
1
Let r be 2/5 + (-3)/15*2. Solve 2*k = 6, 0 = 2*y - 5*k - r*k + 21 for y.
-3
Let c(v) = v**3 - v. Let d be c(1). Solve -3*x + 5*p = -12, -p + 3*p = d for x.
4
Suppose -4*v + 3*v = -9. Suppose o + 1 = v. Let f be o/(-20) - (-17)/5. Solve 5*a + 5*p = 0, 5*a = a - f*p for a.
0
Let h = -149 - -156. Solve 0*z - z + 17 = -3*s, -3*s = z + h for z.
5
Let v(a) = 0*a - a + 5*a**2 - 6*a + a**3 + 5. Let m be v(-6). Suppose 4*z - 3*q - 17 = 2*q, 0 = 4*z + q - m. Solve 0*d + 5*d = 25, z*g + 5*d = 25 for g.
0
Suppose o = -c + 2*o + 22, -4*c + 113 = o. Suppose -c = l + 2*l. Let u(y) = -y - 5. Let v be u(l). Solve 2*a - a + v = -m, -20 = 3*m - 5*a for m.
-5
Suppose b + 0*b - 5 = 0. Let g = b - -4. Let v(s) = s**3 - 9*s**2 + 2. Let z be v(g). Solve -5*u = z*r + 11 - 0, 0 = -3*u + 2*r - 13 for u.
-3
Let n = 12 + -4. Let l = n + -6. Solve v = l*h - v - 6, -3*v = -4*h + 7 for h.
-2
Let h(z) = z**3 - 3*z**2 - 3*z - 1. Suppose 2*d - 16 = -2*d. Let k be h(d). Solve -2*r - k + 9 = 3*j, r = 5*j - 23 for r.
-3
Let v = 8 - 3. Suppose v*y + 4 = s, -y - s + 0 + 4 = 0. Suppose r + 2*n = 2*r, 3*r - 5*n - 2 = y. Solve m + 14 = -4*z, -r*z + 2*m - m - 18 = 0 for z.
-4
Suppose 2*u - 3*j - 13 = 0, 5*u + 2*j = 7 - 3. Solve u*o + 16 = -5*c, c - 16 = -2*o + 4*c for o.
2
Suppose -2*p - j + 3 = 0, 2*p + 5*j = -p + 15. Solve 3*u + 9 + 0 = p, 5 = -5*r + 5*u for r.
-4
Let d(c) = c + 12. Suppose 0 = -v - 0*v. Let w be d(v). Solve 2*i = -i - w, -3*i = -4*t + 16 for t.
1
Let a(h) = -h**3 - 13*h**2 - 12*h + 10. Let j(i) = -2*i**2 - i - 2. Let k be j(2). Let c be a(k). Solve -y + 4*u - 2*u = 5, -c = 2*y - u for y.
-5
Suppose -w + 0 = 2*y + 2, -4*y + 5*w = 4. Let j = y - -7. Solve g - i = -j, -4*i = -g + 2*g + 1 for g.
-5
Let b be 5*((-1 - -5) + -3). Suppose 5*h = 5 + b. Solve k = -2*x + h, 2*x - 3*k + 4 = 6*x for x.
1
Let y(k) = -2*k - 10. Let g be y(-13). Solve -5*u + 11 = -4*r, -4*u + g = -3*r - 8*u for r.
-4
Let r be (-1)/4 + (-405)/(-20). Suppose 0 = 2*i - 2*b - 16, r = -0*b - 4*b. Solve 4*h + 8 = -2*s, i*h - 4 = 3*s - 2*s for h.
0
Suppose -4*u + 3*u = -1. Suppose 0 = -w - 2*s - 2*s + 22, -3*s = -2*w - 11. Suppose r - w = -u. Solve 5*o - r = -2*l, 3*l + 8 = 3*o - o for l.
-2
Let z(u) = -u**2 - 8*u - 4. Let c be z(-7). Solve 4*h = c*n - 23, h - 9 - 9 = -4*n for n.
5
Let p be (12/(-30))/((-1)/20). Let o(b) = b**3 + 6*b**2 + 3*b - 6. Let a be (1*-2 + -3)*1. Let z be o(a). Solve 3*u + p = j, -j = -u - 0 - z for u.
-2
Let s(c) = 2*c**2 + 8*c + 5. Let p be s(-6). Suppose -34 = -4*v - 10. Let a be v - (18/3 - 3). Solve 3*h + 6 = -5*m - p, -a*h - 15 = 0 for m.
-4
Suppose 5*y + l - 4*l = 84, 5*y + 5*l = 100. Suppose 22 + y = -4*x. Let s = -8 - x. Solve 5*g + 4*m - 12 = m, -2 = s*m for g.
3
Suppose -z = -5*h + 92, -3*h + 2*z - 6*z + 46 = 0. Solve 10 = -4*o + 5*x - h, 18 = o + 5*x for o.
-2
Suppose w - 2*w + 2 = 0. Solve -14 = 5*a - w*z, -5*a - 4*z + z - 29 = 0 for a.
-4
Suppose 49 = 2*m + 3*k, -m + 0*m = k - 22. Suppose -21 = -b - 3*h - 0*h, -97 = -4*b + h. Solve -j + 6*i = 2*i + b, i = 3*j + m for j.
-4
Let c be 1/(-3) - (-4)/(-6). Let l(o) = -o + 3. Let j be l(2). Let n be (-3*j - 0)*c. Solve -2*r + 12 = 2*s, 2*s - 6*s = -n*r - 3 for s.
3
Suppose 4*w = 7*w - 72. Suppose -d - 23 = -2*b, d - w = -3*b - d. Let c be (-2 - -1)*-1*5. Solve -2*p - c*x - 35 = -b, -19 = 2*p + 3*x for p.
-5
Suppose 6*i = i. Solve 5*l - x - 12 = i, -14 = -2*l + 5*x - 0*x for l.
2
Let g = 54 - 30. Solve 0 = -2*f - 2, -2*y - 3*y - 4*f - g = 0 for y.
-4
Let u(v) = -v + 35. Let n be u(0). Let o be n/(-7)*(-4)/(-5). Let t be (-1)/(0 - -1)*o. Solve -9 = -2*z + t*z + 5*i, -5*i - 3 = -z for z.
-2
Let u be ((-8)/14)/((-5)/35). Solve -3*k = 5*r - 3*r + 1, -u*r = 3*k - 7 for r.
4
Let i(h) = -h + 10. Let d be (4 - 1) + -6 + 11. Let a be i(d). Solve -4*y - 22 = -2*v, 15 = v + a*v for y.
-3
Suppose -q - 1 = -6. Solve 3*s - s - 4 = 2*z, -s = -q*z - 22 for s.
-3
Let a(f) = -f + 5. Let i be a(5). Solve 4*j + 2*s = -12, j + 4*j - s + 22 = i for j.
-4
Let s(v) = 2*v**2 + 11*v + 5. Let p be s(-5). Solve -2*l + 5*w + 10 = p, -2*l - w + 0*w + 10 = 0 for l.
5
Let d = 9 - 2. Let t be 2/d + 2/(-7). Solve t*i + i = y + 3, 3*i - 5*y - 9 = 0 for i.
3
Let b be 2*-1*5/2. Let g = b - -15. Let v be g*((-9)/6)/(-3). Solve y - 3 = -r - 0*y, -v*r + y = -3 for r.
1
Let y be (0 + 1)/(8/16). Solve 4*u = -y*b + 20, 