z(n) = -n**2 - 8*n - 4. Let l be z(-7). Suppose -l*a + 3 = -6. Let i be (0 - a)*20/(-6). Solve -3*s - i = 2*o, 2*o + 3*o = -3*s - 16 for o.
-2
Suppose 2*u = 4*o + 8, 4*u + 3 - 7 = -4*o. Solve 4*m + 1 = -2*y + 3, -u*y = -m + 13 for m.
3
Let w(k) = -k**2 + 9*k + 4. Suppose 4*p - 61 = -s - 4*s, -51 = -4*p - 3*s. Let b be w(p). Solve -1 = -b*c + 5*c - m, -5*m + 5 = -4*c for c.
0
Suppose 0 = 4*c, 5 = 3*p - 2*p - c. Let h(u) = -1 + u**2 - u + 2*u**2 - u**2. Let r be h(-1). Solve -p*x + 3*w = -2*x, -r*x - 6 = w for x.
-2
Suppose 2*a - i = 6*a + 67, 35 = -2*a - i. Let b = 2 - a. Solve -b = 4*r + k, 0 = -2*r + 4*r - 3*k + 16 for r.
-5
Let r be (4*1)/((-3)/(-18)). Suppose -3*a + j = -7, 3*j = -2*a - 2*j - 1. Suppose a*b + 0*b = r. Solve o - s + b = -4*s, 0 = 4*o - 4*s for o.
-3
Suppose h - 9 = -3*s, 0*h + 3*s = 2*h. Suppose -4*g = 3*q - 23, -5*q + 14 + 9 = -g. Solve h*l + 6 = -4*u, g*u = -0*u + 2*l - 10 for u.
-3
Let g(r) = -30*r - r**3 + 30*r + 6*r**2. Let o be g(6). Solve 3*q - 5*c + 13 = 0, o = -0*q + q + c - 1 for q.
-1
Suppose -3 = 4*l - 15. Suppose -7*u + 12 = -l*u. Suppose d = a - 0*d - 5, -2*a - u*d - 5 = 0. Solve 2*f - a = -2*b, 4*f = 3*b - 0*b - 3 for b.
1
Let r(a) = -a**2 + 1 - 2 + 0 + 8*a. Let q be r(7). Suppose 1 - 9 = -4*x. Solve -3*k = 4*y + q, 5*y - k = x*y - 11 for y.
-3
Let i(h) = h**3 - 3*h**2 - 7*h + 5. Let n be i(4). Let p be (2/4)/(n/(-28)). Solve -p*x - 8 = 0, -2*t - 10 = 4*x + 4 for t.
1
Let a(v) = -2*v**2 - 10*v + 1. Let i be a(-6). Let d = i - -14. Solve -5*k + 4*k - 4*c = 8, d*c = -4*k + 7 for k.
4
Suppose -3*k = -0*k + 18. Let h be (5 + -2)*4/k. Let g = 1 - h. Solve -t - 15 = -g*s, 4*t + 0*t + s - 5 = 0 for t.
0
Let c be -4*(-45)/20 + -4. Solve 5*v + 4 = w + 25, -c*v = 2*w - 18 for w.
-1
Let h = -68 - -98. Solve 3*z + 48 = -5*r + 8, -5*r = z + h for r.
-5
Suppose -3*r + 10 - 4 = 0. Suppose 0 = -4*w + 5*c - 15, 3*w + 3*c = w + 9. Let u = w - -4. Solve 9 = -3*s + r*b, u*s + b = 6*b - 12 for s.
-3
Suppose 15*g - 17*g + 10 = 0. Solve 2*i = -l - 3, -g*i = 11 + 9 for l.
5
Let a = -14 - -7. Let s be (-10)/25 - a/5. Let d = s + 3. Solve 0 = -n + d, -x + 5*n - 14 = 1 for x.
5
Suppose 39 - 48 = -3*p. Solve -6*l + 3*l + 13 = -n, p*n - 9 = -3*l for l.
4
Let p be -6 - -10 - (1 - 3). Suppose -2*m = m - p. Solve -2*a = m*q - q + 6, 4*a + 12 = 0 for q.
0
Let z(i) = 4*i - 2. Let p be z(2). Solve 3*c - 4 = -2*x, -5*x - c + 17 = -p for x.
5
Suppose -11 = -5*m + 19. Suppose -m*t = -3*t - 111. Solve 5*l + t = 3*n, 2*n - 5*l = -l + 28 for n.
4
Let c = 6 - 3. Let h = c - 7. Let z = h + 6. Solve -9 = -t + 3*n, -3*t = -2*t - z*n - 6 for t.
0
Let i be 0 + (-1 - (-1)/(-1)). Let c = 3 - i. Solve 19 = -t - c*u, -2*t - 5*u - 10 = 13 for t.
-4
Let h be (-2)/(-8) - 113/4. Let m = h + 43. Suppose -3*j = -5*j. Solve j = s + 2*f, -4*s + 9 = -4*f - m for s.
4
Suppose 3*v + d + 4*d = 45, -2*v + 43 = -d. Suppose -12 = 2*i + 3*c, 4*i = i - 5*c - v. Solve i*g + g - 28 = -5*x, 5*x - g = 22 for x.
5
Suppose -3*k + 13 + 2 = 0. Suppose k*t - 12 = 3. Suppose -4*x + 5 = 5*b + x, -2*x + 6 = 4*b. Solve -t*s - 5 = b*s + 4*c, c + 2 = -s for s.
3
Let d = 139 - 134. Solve 2*g + 3*i = -2, 0*g = -g - d*i - 15 for g.
5
Let z be (20/(-8))/((-1)/2). Let s = z - -2. Solve -c = -w - 1, -c - 4 = -4*w + s for w.
4
Let z = -21 - -23. Solve -r + 2 = 4*h, -h + r = h + z for h.
0
Let n(x) be the first derivative of x**2 - 3*x - 3. Let h be n(4). Solve -2*i = -2*a + 16, 0*i + 2*i = h*a - 28 for a.
4
Suppose -4*f = -0*f - 12. Let r be (3 - f) + (-10)/(-2). Solve -3*c + 14 = -4*x, 2*x = 3*x + r for c.
-2
Suppose 20 = 2*h + 3*h. Suppose 0 = -x - h*x. Suppose 36 = -x*j + 3*j. Solve q + 3*n - 8 = 0, n - j = 2*q - 0*n for q.
-4
Suppose 3*w - 7 = 2*w. Suppose 2*d - g - w = -1, -5*g + 12 = 4*d. Solve -3*m - 2*o + d*o + 13 = 0, 0 = -4*o + 8 for m.
5
Let f be (-3)/(-6) + 13/2. Suppose -10*b + f*b + 12 = 0. Solve r + 5*h - 12 = -4, 4*r + 16 = b*h for r.
-2
Let u = 2 - -8. Suppose -2*r = 13 + 1. Let b = u + r. Solve -7 = -x - 5*h, b*x - h + 5 = -3*h for x.
-3
Let c be 12/(16/4) - 3. Let l be -2 + (-1 - (-5 - c)). Solve -3*m = -3*o, -l*m - o - o = -16 for m.
4
Let b = 0 + 0. Let t = 4 + b. Suppose -4*c - 5 = -3*f + 2*f, 2*f - t*c = 10. Solve 2*h - 2*y - 13 = 3*h, -f*h + y = 21 for h.
-5
Let y(w) = 3*w - 1. Let d = -7 + 14. Let b be y(d). Solve 5*v = 4*h + b, -h + 0 = -3*v + 12 for h.
0
Let k = -76 + 90. Let a = 63 + -37. Solve 5*t - 4*t = 5*s + k, -5*t + 3*s = -a for t.
4
Let c = 32 - 29. Solve 4*w - d = -24, -c*w + 0*w + 1 = 4*d for w.
-5
Let p(a) = a**2 - 7*a + 5. Let s be p(7). Solve 0 = -s*y - 4*z + 2*z + 23, 5*y - 4*z - 29 = 0 for y.
5
Suppose 3*n - 6*n = -3*b - 9, -6 = -2*n. Suppose -3*c - 25 = -8*c. Let w = c + b. Solve 0 = 3*h + 2*h + 2*d + w, -d = -5*h + 10 for h.
1
Let s be ((-13)/((-26)/24))/(-1 + 3). Solve -3*h - s = -3*b, 0 = 3*h + 5*b - 2*b - 24 for h.
3
Suppose 0 = -5*a + 1 + 4. Suppose 0*q - 4 = 2*q. Let c = a - q. Solve -2*i + c*m - m = 6, 0 = -4*m for i.
-3
Let d = 2 + -4. Let p be ((-1)/1)/(d/10). Solve p*o - 2 = -2*i + 20, -2*o = -4*i - 4 for o.
4
Let k be 3/(2 - (-129)/(-60)). Let j = -5 - k. Solve -c = -3*h + j, h = 2*c + 4 + 6 for h.
4
Suppose m + 1 = 0, 3*m - 11 = -2*y + 2. Suppose -v + y = v. Suppose 0 = -6*f + v*f + 8. Solve 5*c + 13 = f*t - 3, -t - 1 = 0 for c.
-4
Suppose -2*g = -2*y - 10, -2*g + 3*g + 2*y = -1. Solve 2*p + 20 = 5*o - 2*p, 2*o - 8 = g*p for o.
4
Let b be (1*4/(-4))/(2/(-8)). Solve l - 4 = 2*f, b*f + 2*l - 3*l = -6 for f.
-1
Suppose -4*p = -p. Suppose p = z - 0*z - 5. Suppose -z*s + 10*s = 2*w + 29, 0 = -5*w - 10. Solve 2*j - 3*r = 2 - 9, s*r = 5*j + 10 for j.
1
Suppose -16*m + 21*m - 10 = 0. Solve 4*q = -m*l + 6*l - 8, 17 = 4*q + l for q.
3
Let z be 0/2*(3 + -2). Let x = z - -2. Let v be 2*x*(1 - -4). Solve -2*l + 4*m + v = -6*l, -2*m = -3*l + 10 for l.
0
Suppose -2*p + 4*p + 3*z = 15, 0 = 5*p + z - 18. Solve -5*h = v - 15, -2*h + p = 4*v - h for v.
0
Let p(h) = h**2 - 7*h + 6. Let y be p(6). Solve d = -2*f + 6, 2*d + y = -3*f + 10 for f.
2
Suppose -28*p = -33*p + 10. Solve -5*f + 6*c + 5 = 3*c, 11 = p*f - 3*c for f.
-2
Let h = 60 - 57. Solve h*v = 5*i + 11, 2*v - 5*i + 0 = 14 for v.
-3
Let z = 13 + -13. Solve -2*w - c + 30 = -6*c, 5*w - 5*c - 45 = z for w.
5
Suppose p - 5*v - 4 = 0, -p - 5*v - 3 = -7. Solve 3*m - 10 = -t + 6*m, -2*t - 2*m = -p for t.
4
Let z(f) = -f**3 - 4*f**2 - 3*f. Let j be z(-2). Let q = 4 + j. Let d be -1*(-4 - -3 - -1). Solve 4*b + y - q = d, 5*y - 10 = -4*b - 0*y for b.
0
Let l(m) = -m**2 + 4*m + 7. Let i be l(5). Suppose -4 = 4*z - 12. Solve 2*q = -2*r + z, 0*r = i*r - 4*q + 4 for r.
0
Suppose 4*a + 2*y - 12 = 0, y = 5*a - 0 - 15. Solve -t - 3*m + a + 7 = 0, -4*t = -3*m + 20 for t.
-2
Suppose -5*w - 10 + 30 = 0. Suppose w = 2*q - 4. Solve -p = 2*t + p + 6, 0 = q*t - 5*p - 15 for t.
0
Suppose 3*r - 3 = 2*o, -2*r = 3*o - 5*o. Solve -11 = f + f - o*j, 0 = f - 4*j + 13 for f.
-1
Let s = 87 + -83. Solve s*o + o + 3*x = -22, 5*x + 22 = -o for o.
-2
Suppose 6*y = y - 10. Let a be -3*y/(3 - 1). Solve -5*h - z = 6, -a*h = 2*z + 1 - 3 for h.
-2
Let i(m) = 3*m + 0*m - 5*m. Let a be i(-1). Suppose 3*x = -2*o + 2, x - 4 = -a*o - x. Solve -6 = 2*y - 3*t + 5*t, -2*y - o = t for y.
-1
Let t(n) = 15*n + 2. Let d be t(1). Solve 0 = -0*c + 5*c + 3*s + d, -18 = 5*c + 2*s for c.
-4
Suppose -z + 1 + 5 = 0. Suppose h = -4 + z. Suppose -2*m + 6*m - h*j - 8 = 0, m + 4*j = 2. Solve -i + 0*i = -m*s - 9, -s = -3*i + 2 for i.
-1
Let t(z) = -3*z**2 - 15*z + 3. Let a be t(-5). Solve -x + 9 = a*s, -8 - 13 = -3*s - 5*x for s.
2
Let m be (-2)/(-4) + 9/6. Let c be m/(-4) + 44/8. Solve -g + 3*j + 1 = 0, -g + 4*j = -c*g + 4 for g.
1
Let u = -8 - -8. Suppose a + x - 12 = 2*x, -3*a - x + 36 = u. Solve 0 = 3*m + 3*k + a, -2*k + k = -5*m + 10 for m.
1
Let b(w) = 5*w + 9 - 4 + 2 - 4*w. Let f be b(-5). Solve -3*p - 5*h = -2 + 3, h = -f for p.
3
Suppose -2*n = -5 + 1. Solve -o + n = 3*a + 10, 5*a + 5*o = -20 for a.
-2
Suppose -5*q + 40 = 5*f, 4*q - 2*f - 3 + 1 = 0. Solve 0 = -4*r - 4*l - 20, 0 = 2*r + 3*r - q*l - 15 for r.
0
Let p be (-3 - -10) + 12/(-3). Solve 2 = 5*d - p, -17 = -3*z - 2*d for z.
5
Let u(r) = -r - 3 + 7 - 5. Let p be u(-6). Solve 3*d + p = 4*l, -d - 5 = -l + d for l.
-1
Suppose -19 + 4 = -5*f. Solve -q = 5*b + q - f, q - 4 = 0 for b.
-1
Suppose -2*k + 4*d