2 + 6*u + 2. Let z be a(-7). Let c = z - 5. Suppose -c*n = -n - 18. Solve n - 17 = 4*b + x, -5*b + 2 = -4*x for b.
-2
Let b = 16 + 6. Solve -4*j - j - 2*z = 18, 3*j + b = -4*z for j.
-2
Let k(p) = p. Let h be k(2). Suppose -3*g + h*g + 3 = 0. Let d(s) = -s**3 - 2*s**2 + 6*s. Let r be d(-4). Solve -r = -g*q - m + 2, q + 2*m = 10 for q.
2
Let d(i) = i**2 - 4*i + 5. Let n be d(2). Let h(y) = 4*y**3 - 2*y**2 + y + 1. Let s be h(n). Solve -2*p - 3*v + 2 = -4, -s*v = 2*p - 6 for p.
3
Let w be 26/3 - (30/(-9) - -3). Solve 0*m - 2*m - t + w = 0, m - 2*t = 2 for m.
4
Let k(u) = -u + 2. Let d be k(2). Let x = -2 + 5. Suppose d = 8*n - x*n - 50. Solve -5*a + n*a + 25 = 0, 4*a = j - 18 for j.
-2
Suppose -5*y = -0*y. Let z = 0 + 0. Let l = z - y. Solve -5*w = -2*a - 11, w - a - 1 + l = 0 for w.
3
Suppose 8 = -3*o + 8. Solve -3*f = -u - 7, -3*f + 22 = -o*f + 2*u for f.
4
Suppose -2*s - s = 0. Let y be (10 + 0)*(-2)/(-4). Let n = 11 + -6. Solve -2*b - 5 - n = -2*t, 2*t + y*b + 11 = s for t.
2
Let l(c) = -c**3 + 6*c**2 + 3*c - 15. Let j be l(6). Solve 7 = -x + 2*g, -6 = -g - j for x.
-1
Let q(n) be the second derivative of -n**4/12 - 4*n**3/3 - 5*n**2 + 5*n. Let m be q(-5). Solve m*t + 0*t - s + 10 = 0, -3*t + 6 = -3*s for t.
-3
Let r(a) = 6*a - 2 + 6*a**2 + 0*a - 7*a + 1. Let m be r(-1). Solve -2*o - 3*o = 4*t - m, -12 = -5*t - 4*o for t.
4
Suppose -4*q - 4*p = -24, -q + p + 9 = 3*p. Solve -4*y = -2*h - 12, -3*y + q*h = -17 + 5 for y.
2
Let y be 6/(-21) + 23/7. Suppose 3*w + 4 = 2*k, -8 = -4*k - w - 0. Let h be (-2 + 0 + k)/(-1). Solve -16 = -4*n - 2*m, -3*n - y*m + 0*m + 18 = h for n.
2
Let c = -21 - -23. Solve -3*o - 17 = -c*u, 0 = 3*o + 3*u + 2*u + 10 for o.
-5
Suppose -5*v + 9*v + h = -4, 4*h = 4*v - 16. Solve p + 3*p + 4*w = v, -4 = 4*p + 2*w for p.
-2
Suppose 3*a - 7 - 2 = 0. Suppose -1 = -5*p + 4. Let j = 5 + 0. Solve -j*x + 2*d - 21 = 0, -a*x + 4 = 4*d + p for x.
-3
Let f = 21 - 18. Solve 2*o - 1 = 4*o + f*s, -4*s = 2*o for o.
-2
Let u(i) = 5 - 5 - 16*i + 14*i - 4. Let j be u(-3). Solve 5 = -3*z - 2*v, 2*v = -j*z - 1 - 1 for z.
-3
Let q(v) = 5*v**2 - 2*v - 2. Let t be q(-1). Solve -5*d = t, 4*x + 10 = -x - 5*d for x.
-1
Suppose -4*l = 11 - 27. Let y = -10 + 11. Solve -4*h + 5*q = 0, 2*q = -l*h + 29 - y for h.
5
Suppose 5*f = -2*v + 16, 2*f = 3*v - v - 2. Suppose -x = -4*q + 29 + 38, 0 = -4*q - 2*x + 82. Solve -5*u - 21 = -3*p, 3*u - 5 = f*p - q for u.
-3
Let j(c) = 0 + 0 + 2*c**3 - 1 - c + 2. Let d be j(1). Solve 0 = d*q - 4*h + 2, -4*q + h + 10 = 0 for q.
3
Suppose -4*m = -3 - 1. Let y be 3 - m - (-4 - -2). Solve 2*d + y*q - 12 = 0, -2*d - 2*q = -q for d.
-2
Let a be 20/3 + (-2)/3. Let p be ((-70)/(-12))/7*a. Solve -3*z + 14 = -p*r, -4*z + 3 = 11 for r.
-4
Let n = -1 + -2. Let p = 1 + n. Let k be (3 + 0)/(p - -3). Solve 4*g - 16 = -g + 4*s, k*g - 3*s = 9 for g.
4
Let j = 31 + -19. Solve 3*p = -5*l - 9, 4*p - 2*l + 4*l = -j for p.
-3
Suppose -4*b - 12 = -b. Let a(f) = f**2 - 2*f + 4. Let k be a(b). Solve -4*c - 2*d + 10 - k = 0, 2*c + 5*d + 21 = 0 for c.
-3
Let i = 12 + -7. Suppose 3*l - 5*w = -8, -i*l - w + 32 = 2*w. Solve -l*r + 3*r = -3*z - 1, 2*r + z = 2 for r.
1
Let s be 1 - 1/((-3)/12). Solve -1 = -2*p + s*y - 5, 3*p + 4*y = 17 for p.
3
Suppose -6 = 2*o, 4*o + 156 = 5*w + 7*o. Solve f + 5*m + 12 = -11, 5*m = 4*f - w for f.
2
Suppose 2*w = 5*w - 36. Let o be 21/((-9)/w*-2). Solve -2*k - 20 = -5*j, 3*j + 5*k + o = -5 for j.
2
Suppose 5*g - 2 = 8. Suppose -4*j = g*w - 10, -4*w - w + 5*j = -100. Suppose -4*i = -3*h - 4 + 29, h = 4*i + 3. Solve -s = 4*a + w, a - s = 4*a + h for a.
-4
Let i(j) = 3*j**3 + 2. Let u be i(2). Solve -4*a = n - 18, -4*a + u = n - 4*n for a.
5
Let h(t) = -t**3 + 8*t**2 - 2*t + 19. Let u be h(8). Solve u*n = -l + 2*n - 1, l + 4 = -2*n for l.
2
Let v be -3 + (-3 - (-32 - -3)). Let s be (-1)/(-6) - v/(-6). Solve 2*p - 4*k = -s, -p = p - 2*k for p.
2
Let p(c) = 0 - c**2 - 4 + 8*c + 5. Let f be p(7). Suppose 3 + 9 = 3*h, -5*h = -2*x - f. Solve 0 = 5*j + 5*t + 10, -3*t - x = j - 0*t for j.
0
Let p = 9 - 5. Suppose 0 = 4*d - 5 - 3. Suppose -2*f = -y - 9, -d*y = p*f - f - 17. Solve 3*a - g = -2, -g + 4 = -f*a + g for a.
0
Let r = -5 + 9. Suppose 0*i = -i + r*s + 22, -s + 5 = 5*i. Suppose i*h = -c - c, -5*c - 4 = 3*h. Solve -h*u + 4*o - 20 = 0, u - 3*u - 24 = -5*o for u.
-2
Suppose -4*n + 2*o + 3*o + 37 = 0, 0 = 2*n - o - 11. Solve -f + a + 5 = f, 5*f + n*a - 40 = 0 for f.
5
Let p(l) = -l**3 + 3*l**2 + 3. Let f be p(3). Suppose -4*q = 3*o + 2*o - 8, 5*o + 5*q - 5 = 0. Solve a + f*a = -4*c + 4, o*a + 36 = 4*c for a.
-4
Let k be 4/(-5) - (2 + 84/(-30)). Solve 3*y + 3*z = -0*z + 18, 5*y + 3*z - 22 = k for y.
2
Suppose 0 = -2*t - j + 4 - 5, -5*t + 30 = -4*j. Let a = -2 + t. Let p = 8 + -3. Solve 4*o - 35 = -p*s, a = s - 0*s - 3 for o.
5
Let c be 3/(1 + 5)*6. Solve 4*r + 2 = -n, -5*r - 5*n - c = 7 for r.
0
Let w(l) = -l**3 + 4*l**2 + 4*l + 1. Let g be w(5). Let y = 12 + g. Let m(b) = 4*b + 20. Let q be m(-5). Solve -n + q*u + 12 = -3*u, 0 = 4*n - 2*u - y for n.
0
Let n = -11 - -13. Let h(m) = 3*m - 1. Let s be h(n). Solve c - 3*v + 9 = 2*c, 3*c = -s*v + 19 for c.
3
Let a(g) = 6*g**3 - 1 + 4*g - 7*g**3 + 5 - 3*g**2. Let z be a(-4). Solve -q - z = -l, 5*l = q - 2*q + 14 for l.
3
Let q = -9 + 3. Let j be (-8)/q*(-9)/(-6). Suppose -5*f = -4*z + 15, -2*f + 65 = 4*z + 3*f. Solve j*w - 7*w + 4*b = -13, -5*b + z = -w for w.
5
Let u(x) = -x**2 + 8*x - 8. Let d be u(6). Let r = 9 - d. Solve 5*y = -4*p - 14, p - 6 - 3 = r*y for y.
-2
Suppose -7 + 52 = -3*v. Let c be (-6)/v + 18/5. Let l = -5 - -8. Solve -l*q - 5*k + 30 = 0, q = -2*k + c*k - 1 for q.
5
Suppose 0 = 6*k - 3*k - 18. Suppose k - 1 = m. Solve -w - 13 = 3*b - b, 2*b - m*w = 17 for b.
-4
Suppose 0 = -v + 3*v - 16. Suppose v = 2*b - 4*q, 2*q - 36 = -4*b - 0*q. Solve -5*p - 3 = -2*t, 5*t = -p + 29 - b for t.
4
Let y = 0 + 4. Solve -7*l + 2*l + 27 = -y*j, -5*j = -5*l + 30 for l.
3
Suppose -3*w + 106 = w - 5*v, 37 = w + 4*v. Let o be w - (-6)/(3 + -1). Suppose -3*t = 2*t - 15. Solve -27 = -t*g + 5*h, 5*g + 2*h - 6*h - o = 0 for g.
4
Suppose h + 4*b - 15 = 0, 0 = -h - 4*h - 3*b + 24. Solve 0*j - 3*j - 9 = h*z, -5*j + 5*z = -35 for j.
2
Let r = -13 - 17. Let q = -17 - r. Solve -5*u + 24 + 11 = 3*f, q = -3*u + 5*f for u.
4
Let f = -38 + 40. Solve 2*t - 8 = -i, i + f*i - 6 = 3*t for i.
4
Suppose -3*b + 7 + 2 = 5*u, 4*b + 4*u - 12 = 0. Solve b*l - 2 = 2*q + l, 3*q = -l - 7 for q.
-2
Let s be 3*1/9*15. Suppose 2*d - 9 = 21. Let z be (9/d)/((-1)/(-5)). Solve -18 = 5*v - a, v - 3*a + z = s for v.
-4
Suppose -2*d + 0*d + 18 = 0. Let a = 9 - d. Solve -3*g - 13 = 2*o, a = 2*g - 4*g - 5*o - 16 for g.
-3
Suppose 10 - 25 = -5*m. Let g = 10 + -8. Suppose 6*i - 44 = g*i. Solve -n + i + 8 = m*p, -5*n = -5*p + 5 for n.
4
Let z = -42 - -47. Solve z*i - 27 = -2*q, -q + 2*q + 24 = 5*i for q.
1
Suppose 5 = 2*j - 1. Solve q + 8 = 2*q - 2*w, -2*q - j*w = 5 for q.
2
Let i be (-9)/6 + (-27)/(-2). Let w be 14/(-4)*i/(-14). Solve -w*m + s + 7 = 0, 5*m - 12 - 3 = s for m.
4
Let d be 24/10 + (-4)/10. Solve 2*j + d*z + 18 = 0, 0 = -4*j + z - 13 - 3 for j.
-5
Suppose -1 = -2*w + 3*u - 8, w - 3*u + 8 = 0. Let y be (3/9)/(w/12). Solve 3*n = i - 5*i - 4, y = -4*i - n for i.
-1
Let u(v) = -3*v - 10. Let a be u(-4). Solve -2*t - a*k + 2 = 0, 3*k - 4 = -t - t for t.
-1
Suppose 3*u = -3*m - m, -9 = 3*m. Solve -3*h = -3*q + 2*q - u, 4*q - 2 = 3*h for q.
2
Let b be ((-35)/(-28))/(2/(-8))*-1. Solve 0 = -5*h - 5, 5*k - b*h = 2*k - 4 for k.
-3
Suppose 0*k = 3*k + 9, -3*g + 12 = k. Solve u = -3*f - g, 0 = f + 3*u - 1 for f.
-2
Let r(f) = -f - 1. Let b(a) = -a**3 + 8*a**2 - 9*a + 1. Let i(j) = b(j) - 2*r(j). Let x be i(7). Solve -4 = 2*t, 4*t = 2*c - x + 1 for c.
-3
Let h = 75 - 68. Solve 3*q - q + 21 = 3*i, -h = -2*i - q for i.
5
Let k(n) = n**2 + 9*n + 10. Let v be k(-8). Let r(x) = x**2 - 5*x + 6. Let o be r(4). Solve -o*h = -4*d + 10, -3 - 1 = v*h - 2*d for h.
1
Let y = -2 - -4. Solve 3*u + 12 = y*t + 1, 15 = 3*t - 4*u for t.
1
Let g(u) = -u**3 + 12*u**2 + 14*u + 9. Let d be g(13). Solve -5*i + 2*f = -i, 0 = -5*i - 3*f + d for i.
2
Let m be (2 - (-2)/2)*(0 + 1). Solve -4 = -i - m*j, 4*j = -2*i + 2*j + 8 for i.
4
Let r = -6 - -4. Let d be 6 - (-1 - r)*3. Solve d*t = 4*v + 15, -t + 4*t + v = 15 for t.
5
Suppose 2*g - 5 = 21. Let r 