 n = -4 + 16. Let s(j) = -8*j**2 + j + 1. Let y be s(-1). Let b = n + y. Solve -z - b*u - 10 = 3, -5*z + 31 = -4*u for z.
3
Let u(t) = 4*t - 8. Let n(x) = 3*x - 4. Let p be n(3). Suppose -4*h + 3 = f, -2*h + p = f - 0*h. Let w be u(f). Solve b + 13 = -2*b - 4*g, 0 = -5*g - w for b.
1
Let v = 105 + -90. Solve -3*w - 5*n = w - v, 5*w = -n + 3 for w.
0
Let c = 5 + -13. Let g be ((-1)/2)/(2/c). Suppose 10 + 10 = g*x. Solve -2*u + 2 = 5*d + 2*u, 0 = -2*d + 2*u - x for d.
-2
Suppose 0 = -3*b - 2*s - 4, 4 = 2*b - 4*s - 4. Let x = b - -4. Solve 0*w + 2*j - 22 = 4*w, 0 = -x*w - j - 19 for w.
-5
Let v = 5 + 1. Solve -n = 4*h + n + v, 0 = -5*h - 4*n - 9 for h.
-1
Let h = 67 + -65. Solve -h*g = k - 11, -1 = -2*k + 3*k - 2*g for k.
5
Let i(h) = -h**2 - 10*h - 12. Let v be i(-8). Let x(j) = j + 1. Let n be x(v). Solve 0 = n*p - w - 16, -3*w + 24 = 3*p - 0*w for p.
4
Suppose -24 = -3*p + 36. Suppose -5*v = -5*x - 15 - p, 6 = 2*v + 2*x. Solve -5 = -v*u, -2*u = 2*t + 2*u + 6 for t.
-5
Let o = 21 + -18. Suppose 5 = l, 2*a - 4 - 6 = -2*l. Solve 0 = o*t - a*t - r + 4, 5*t = -2*r - 3 for t.
-1
Suppose -p - 4*p = -4*v, -2*p = 3*v. Let f = p - -2. Suppose 3*s - 14 = -5*k + f*s, -5*s = -5*k - 10. Solve -k*h + 3*h = -4*l + 14, 22 = -5*h + 3*l for h.
-2
Suppose i - 14 = -3*x + x, -2*i - 4 = 0. Suppose x = 4*r - 0*r. Suppose -r*l = l - 15. Solve y - 5*s + 9 = 0, -2*s = -l*y + 2*s - 3 for y.
1
Suppose 5*a - 10 = -r, 3*r + 4*a - 8 - 11 = 0. Solve -4*l = -r*v - 40, 3*l = -2*l + 4*v + 41 for l.
5
Let c(l) = -l**2 - 4*l - 1. Let i be c(-2). Suppose -3*v + 2 = i*r - 4, -4*r + 8 = -v. Solve o + 7 = -4*s, v*o = -5*s - 2*o - 5 for s.
-3
Suppose -4*h = -5*h + 17. Let c = h - 14. Solve 4*y - c*z + 9 = -4*z, -4*y - 18 = -2*z for y.
-3
Let w = 3 - 1. Let x = 8 + -5. Suppose -y = 3*j - 13, -19 = x*j - 4*j - 4*y. Solve 3 = -3*r + w*n, -13 = -4*r - 0*n - j*n for r.
1
Let s(g) = g**2 - 10*g + 3. Let t be s(0). Solve -j - 12 = -2*w + 4*j, 0 = -t*w + 3*j + 9 for w.
1
Let f(h) = 4*h**2 - 36*h + 3. Let c be f(9). Solve 2*u - 5*p - 4 = 0, -2*p = c*u - 7*p - 1 for u.
-3
Let o = -18 + 8. Let r = o - -10. Solve -q + 3*x - 11 = r, 0 = 2*q + 3*x - 3 - 2 for q.
-2
Suppose -2*d - 5*h - 5 + 4 = 0, -d = -3*h - 5. Let q be (d - -4) + (1 - 4). Suppose 0 = -t - 0*t + q. Solve -o - 2*o = -2*z - 6, 0 = -z - 4*o - t for z.
-3
Let q be (-36)/10 + (-3)/(-5). Let b = -3 - q. Let h be (1 - b)/3*6. Solve -2*t = -g + t + 1, h*t + 9 = -g for g.
-5
Let m = 18 - -4. Suppose 4*c = 5*c - 5. Let o(h) = -h**2 + 6*h - 1. Let s be o(c). Solve -s*n + 2*g - m = -0*g, 0 = -3*n + 4*g - 19 for n.
-5
Let q be (-2 + 17/4)*12. Suppose -2*v + q = v. Solve -v = 3*f, -3*b - f - 15 = -7*b for b.
3
Let r(t) be the second derivative of t**3/6 + 6*t**2 + 8*t. Let o be r(-9). Solve l = 3*n - o, 2*l - l - 2*n = -2 for l.
0
Let v = -9 - -13. Solve 3 = -3*r + k, 2*r = r + v*k + 10 for r.
-2
Suppose 7 + 5 = -4*q. Let z be 6*-2*q/6. Let h = 11 + -7. Solve k + 5*b = z - 2, 0 = h*b for k.
4
Let c be (1*(1 + -1))/(-2). Let i = -14 + 18. Solve f - z = c, 2*f - f = -i*z - 5 for f.
-1
Let m be 33 + (-2 - -2 - 1). Solve 5*u - 2*x - x + m = 0, u = x - 8 for u.
-4
Let s be 6/(-9) + 100/6. Let y(z) = z**2 + 2*z - 2. Let t be y(2). Let v = 10 - t. Solve 4*b - s = u, -v*u - 4*b - 2 = 2 for u.
-4
Let s(j) = -j**3 - 2*j**2 - 2*j + 15. Let b be s(0). Solve 3*r - b = 6*c - 5*c, 0 = -2*c + 3*r - 18 for c.
-3
Let r(q) = 0*q + 7*q - 5*q - 3. Let t be r(5). Solve -2*v - t = 3*u, 4*v = -u - 4*u - 13 for u.
-1
Let w = 66 - 62. Solve 2*r + 0*c = -4*c + 12, 3*r + w = 5*c for r.
2
Let f = 2 - 0. Let y be 1/(1/(-2) - 0). Let x be (y - -1)/((-2)/6). Solve -f*l - 2*l = w + 20, -20 = 2*l + x*w for l.
-4
Let q = -12 - -17. Suppose 0 = 3*j - 6. Solve -j*l + l - q*n = -11, 0 = 5*n - 10 for l.
1
Let m = 13 - 8. Suppose -m*o = -0*o - 15. Solve -c = -o*b - 5*c - 3, -4*b + 6 = 2*c for b.
3
Let s = 21 - 16. Solve -s*g - 6*u = -4*u - 6, -3 = -4*g - u for g.
0
Let z = -31 - -56. Suppose -15 = -3*j - 0*j - q, 3*q = 5*j - 39. Suppose 3*l + 2*d = 7, -5*l - j = -4*d - z. Solve -x + 3*r = 2*x - 18, -l*x + 24 = -5*r for x.
3
Let x = -106 + 111. Solve -y - 2 = 2*v, x*y + 18 = -v - v for v.
1
Let l(y) = -y**2 + 6*y - 5. Let m be l(5). Suppose j - 4*j = m. Solve 2*r - 8 = 0, j = 5*o - 3*r - 0*r + 12 for o.
0
Let k be 2/(-9) - (-492)/27. Let y = k + -13. Solve y*x = 3*p - 2, 4*x - 5*x + 5*p + 4 = 0 for x.
-1
Let r be 2/(-1*(3 + -4)). Solve k = h - 0*k - 10, -h - 5 = r*k for h.
5
Let m(x) = -x + 4. Let c be m(-8). Let f = -7 + c. Solve -2 = -4*j - 2*b, 0 = j + j - f*b - 31 for j.
3
Let n(c) = c**2 - 1. Let u be n(-1). Solve u = i - 5, -2*q - 3*q = 2*i + 5 for q.
-3
Let l(b) = -4 + b**3 - 2*b + 10*b + 10*b**2 + 0*b**3. Let s be l(-9). Suppose 2*k - 37 = -k + s*w, w = -3*k + 7. Solve -q + k - 1 = -5*y, -3*y = 2*q - 6 for q.
3
Let j be 2/(7/((-105)/(-6))). Let s be 92 + -1 + 1 + 0. Suppose -4*h - s = -5*w, 0 = w - h - h - 16. Solve w = -4*o, o + 2 = -j*n - 18 for n.
-3
Let o be 24/(0 - -2) + 0. Let p be 0/2 + o/2. Let c = p - 3. Solve 3*h + c = -j - h, -3*j - h - 9 = 0 for j.
-3
Let b(q) = -q - 1. Let s be b(-3). Solve 5 = -n, -w + s*n + 12 = -2*w for w.
-2
Let p(k) = -9*k - 1. Let w be p(-7). Suppose -w + 2 = -4*b. Solve 2*y + 2*y = 20, -t - 2*y = -b for t.
5
Suppose 5*a + 6*i = 2*i - 233, -248 = 5*a - i. Let w be (-2)/(-7) + (-133)/a. Solve w*k + j = 12, -j + 13 = 5*k + 3*j for k.
5
Let p = -11 - -18. Suppose 2*n - p*n = -10. Suppose n*x - 12 = -2*r, -2*r + 1 = -r. Solve 4*o - 2*b - 3*b = -14, -2*o - x*b + 8 = 0 for o.
-1
Let b = 12 - 6. Let u = b - 4. Suppose -u*t = 2*t. Solve 2*c - 4*h = 26, 0 = c - t*c - 5*h - 25 for c.
5
Suppose -5*g + w - 2 = -0*g, 4 = 2*g + 2*w. Let x(o) = 15 + o**3 - 3*o + 0*o + o**2 + 2*o. Let t be x(g). Solve a + 5*i + t = -4*a, a + 13 = -3*i for a.
2
Suppose -5*p - 10 = 0, 37 = 5*a - 3*p + 1. Let y be (-4)/a + (-30)/9. Let j be (-12)/(-2)*(-2)/y. Solve -5 = 5*x + 5*l, 2*x + 3*l + j = 2*l for x.
-2
Suppose y - 9 = -6. Solve c + y*d - 2 = -1, -4*c - 2*d - 16 = 0 for c.
-5
Suppose -g - 3 = -2*c, -2*g + 2 = 5*c - 1. Let i be -2 + 13 - (0 + g). Solve -2*d = 2*s + 8, -5*s + d + 2*d = i for s.
-3
Suppose 0 = 2*s + 5*s - 28. Solve s*n = -4*c - 12, -5*c + 3*n - 13 = 7*n for c.
-1
Suppose -4*f + 13 = -23. Let m be 0 - (2 - f)/1. Suppose 19 = -3*c + d + 78, 4*c + 4*d - 84 = 0. Solve 4*w + 4*j + m = -5, -c = 4*w - 4*j for w.
-4
Let w(k) = k + 1. Let h be w(1). Suppose 5 = 4*d + t - 0*t, 4*t - 20 = 2*d. Solve -2*n = -3*c - d*c + 14, -4*n - 12 = -h*c for n.
-1
Let f(o) = -o**3 - 3*o**2 + 3*o + 2. Let g be f(-4). Suppose 3*y - 3 = g. Suppose -2*l + 4*l - 10 = 0. Solve -1 = 4*x - y*h - l, -3*x - 4*h = -28 for x.
4
Let b be (1/(-2))/((-1)/16*2). Solve -3*i = 0, -j = 2*j - b*i for j.
0
Let u(g) = -g + 7. Let r be u(3). Solve b = -4*t - 2*b - 12, -r*b + 12 = -4*t for t.
-3
Suppose 3*f = 7*f + 8. Suppose 0 = 5*a - 4*a + 6. Let u be (a/f + -3)/(-3). Solve -4*z - 1 = -5*k - u*z, -3*k - 4*z - 25 = 0 for k.
-3
Let y(p) = -p**3 - 13*p**2 + 13*p + 6. Let d be y(-14). Solve -o = 4*o + d, 5*o = -5*l - 35 for l.
-3
Suppose l - p - 2 = -4, 5*l + 38 = -2*p. Let w = l + 9. Solve 5*n + y + 5 = n, -w = -y for n.
-2
Let y(r) = 2*r + 8. Let o be y(-2). Solve -3*f - 4*b + 4 = 0, o*f + 15 = -b + 3 for f.
-4
Suppose 1 = t - 9. Let l be (-2)/5 + (-26)/t. Let a(m) = m**3 + 4*m**2 + 2*m + 3. Let h be a(l). Solve -3*w - 3*u - 20 = -8*w, -w = -u - h for w.
1
Let g be 4/8*6 - (2 + 1). Solve g = n + q - 5, 5*n - 4*q + 0 = -2 for n.
2
Suppose -z = 4*z - 25. Suppose -3 - z = -2*x. Solve 6 = 3*j - w, 13 = -j - x*w + 2 for j.
1
Suppose o + 1 = 4. Solve -5*q = -s + 22, 3*s + o + 11 = -q for q.
-5
Let y be 8 + 1 + -7 + 3. Solve -y*x + 2*c + 6 = -1, x - 3*c + 9 = 0 for x.
3
Let o be (4/(-5))/(2/(-40)). Suppose -2*u = 6 - o. Solve 4 = 2*q, -u*m - 2*q + 7 + 2 = 0 for m.
1
Let c(y) = y**2 + 10*y - 11. Let u be c(-11). Solve 0 = 3*v + 4*t + 12, u*t + 3*t = -9 for v.
0
Let t be (0 - -1) + (-2 - -5). Suppose 6 = t*r - 6. Suppose -i + 0 = -r. Solve -5 = w + 4*c + 5, -i*c = 3*w + 12 for w.
-2
Let q = -19 + 22. Suppose -q*w + 17 = 2*x, 96 - 17 = 4*x - 3*w. Solve -5*p - 2 - 7 = b, 0 = 4*b + x for p.
-1
Let l be -3*-4*(-1)/(-6). Suppose 0*d + 6 = l*d. Solve -2*m + 2*p = -d*p + 4, 0 = 4*m - 4*p + 8 for m.
-2
Let c be (-1)/(