 z(-1). Let r(l) = -q + l**3 + l + 7 - 2*l**2. Let i be r(2). Solve 4*b = -3*t - 18, 0 = -i*t - 0*b - 4*b - 16 for t.
-2
Let l(q) = -4*q - 2*q - 3 + 1. Let u be l(-3). Suppose -3*o = -w + u, 5*w - 28 = o - 4. Solve -4*m = w*i - 36, -2*m + 5 = -5*m + 5*i for m.
5
Let o be ((-9)/3 - -1) + -2. Let u = o - 4. Let r be 22/8 - 2/u. Solve 0 = 4*p - w - 10 - 1, 5*p = r*w + 5 for p.
4
Let y(f) = -1 - f**2 - 2*f + f**3 + 2 + 2. Suppose 5*n - 25 = -3*w, -w = -n - 5 + 2. Let u be y(n). Solve 4*v + 0*a + 3*a - 14 = 0, u*a + 31 = 5*v for v.
5
Let l be (40 + -40)/(2*1). Solve l*v = 2*v + x + 3, 3*v + 6 = -3*x for v.
-1
Let x be 10/8*(12 - 8). Suppose 3*z = -2*y + 17, 6*y + 45 = 5*z + y. Solve 3*u - x*g = -26, 2*u - 16 = -z*g + 2*g for u.
-2
Let u be -1*(1 - (-1 - -1)). Let s be 12/4 + (0 - -1). Let f be u/4 - (-1)/s. Solve -d = d - 3*y - 13, y + 1 = f for d.
5
Let c be 310/(-6) - (-8)/(-24). Let l be 1 - 35 - (-2 - 0). Let f = l - c. Solve 0 = -4*v - f, i + 15 = -2*v - 0 for i.
-5
Let l(g) = g**2 - 12*g - 9. Let c be l(13). Solve -3*m - 5*f - 4 + 10 = 0, c*m = -4*f for m.
-3
Let h = 1 + 2. Suppose 2*r - 36 = -2*q, -r - 5*q = -h*r + 43. Solve c = a - 9, -3*c - r = 2*a - 3*a for a.
4
Let t be (-8)/4*(-11)/(-2). Let o(v) = -v**3 - 10*v**2 + 10*v - 7. Let i be o(t). Solve -4*f + i*y + 28 = 0, -3*f = -y - 15 + 2 for f.
3
Let r(n) = n**2 + n - 9. Let p be r(-4). Suppose 3*j - 3*u = 2*j + 10, -3*j + 66 = 3*u. Solve -c - 6 = 4*k - j, -p*k + 31 = 5*c for c.
5
Let b(m) = -m - 5. Let f be b(-5). Solve 0 = -2*r - 3*u - 1 - 0, 5*r - 2*u - 7 = f for r.
1
Let u be (-48)/(-36)*18/4. Suppose -u*c = 39 - 147. Solve c = 3*f + 5*s, 5*f + 7 = 6*s - 2*s for f.
1
Suppose -c - 21 = -5*o, 4 = 3*o - c - 9. Solve 5*a = 5*p + 40, 7*a + 5 = -o*p + 2*a for p.
-5
Let u = 15 + -14. Let f be 2 + -2 + 4/u. Solve -f*v = -4*l - 8, -3*l - v + 5*v = 9 for l.
1
Let f(l) = -3*l + 6. Let i be f(5). Let q(j) = j**2 + 9*j + 3. Let k be q(i). Solve 2 + 1 = -4*g + k*p, 5*g - 3*p + 3 = 0 for g.
0
Let t(f) = f + 20. Let r be -2 + (1 - 1) + 4. Suppose -3*u + 4*j = -4, 5 = -5*u - r*j + 3. Let b be t(u). Solve 5*k - n - 2*n - 5 = 0, 2*n = -5*k - b for k.
-2
Let w = 25 - 21. Solve 5*n + w*i = 21, -i = 4*n - 2*i for n.
1
Let i = 28 + -17. Solve -3*u - i = -3*c + c, 2 = -u - c for u.
-3
Suppose -15 - 5 = c. Let a be 2/(-9) + c/(-9). Solve 3*p - 10 = a*p + 3*h, 2*p + 2*h = -12 for p.
-2
Let g be (-3 - -1)/(2/(-4)). Suppose -4*z + z - 4*w = -35, -g*w + 15 = -z. Solve z*b + 3 = -a - 14, -4 = -2*b - 4*a for b.
-4
Suppose -2*y - a = -5*y + 64, 2*a - 32 = -2*y. Solve 4*t + 18 = 2*c - 0*t, -y = 4*t for c.
-1
Suppose 4*s - r - 10 = 0, 0 = 4*s - 4*r + 12 - 28. Solve -5 = 2*f - h, -3*h = -f + s*h + 20 for f.
-5
Let m = 50 + -47. Solve 2*o - 4 + 1 = y, -3*y = m*o + 9 for o.
0
Suppose -5*g + 5*m - 10*m - 20 = 0, 0 = 3*g + 4*m + 16. Solve -4*d = -3*q - 24, 3*q + g = -2*d - 6 for d.
3
Let x be 1 + (1 + 34)*1. Suppose -13 = -f + 11. Suppose 5*o - f = -o. Solve 4*i + o*z = x, z = -3*i + 7*i - 11 for i.
4
Let d = 4 + 13. Solve -2*c + 8 = 0, -4*c - d = -3*o - 9*c for o.
-1
Let g = 77 - 72. Solve 6*n = z + 2*n - 25, 2*n - g = -3*z for z.
5
Let j(s) = s**2 - 2*s - 4. Let z be j(4). Solve z*d - 22 = -3*r, -6 = -4*r + r for d.
4
Suppose 0 = -0*n + 2*n. Solve -10 = -n*w + 2*w + 2*m, 0 = w - 5*m + 5 for w.
-5
Let b be ((-3)/(-2))/(3/6). Suppose -2*v + 3*v = -8. Let y be (-2)/v + 12/16. Solve x + y + b = 0, 0 = 2*h + 4*x + 20 for h.
-2
Let g(p) = p - 2. Let l be g(5). Solve 4*c + 4*w - 24 = 0, -l*w = -5*c + 10 + 4 for c.
4
Let f be 3/(1*1/(-1)). Let m(r) = -2*r - 2. Let x be m(f). Suppose 3*h - o - 10 = 0, x*h - 10 = -3*o - 1. Solve -4*c = -h*v + 25, 2*c = 4*c + v + 5 for c.
-4
Let u be (16/(-5))/((-1)/5). Suppose y - u = -y. Let o = 10 - y. Solve -24 = -5*t - 4*w, 13 = 2*t + 7*w - o*w for t.
4
Suppose -4*r = 2*r - 2*r. Solve -4*x + 2*c = r, 5*x = 5*c - 0 + 5 for x.
-1
Let f(x) = 2*x - 2. Let w(s) = -3*s + 4. Let u(l) = 5*f(l) + 3*w(l). Let d be u(0). Let i be -1 + 2/d*3. Solve -3*m - 12 = 0, 5*t - 16 - 2 = i*m for t.
2
Let h = 5 - 2. Suppose 0 = h*c - 2*c. Let u be (16/(-6))/((-46)/69). Solve -2*p + 6*p = c, -p - 4 = -u*k for k.
1
Suppose 30 = -4*y + 10. Let x = -1 - y. Solve 0 = -m - 4*m + 5*p + 30, x*p = -5*m + 21 for m.
5
Suppose -t + v = -5, -3*v + 6*v - 3 = 0. Let k = t + -2. Suppose -k*n + 5*x = -n - 14, n - 4 = x. Solve n*f = -2*f - b + 8, 2*f + b - 5 = 0 for f.
1
Suppose -g - 7 = -4*h, 2*g + 0 = -3*h + 19. Solve 0 = 3*j + 5*z + 34, -h*j - 9 = -5*j + 3*z for j.
-3
Suppose 0 = -3*b + 2 + 7. Let n be (2 - 32)*(b + -4). Solve 2*j = 5*o + 15 + 6, 4*o + 5*j + n = 0 for o.
-5
Let l = 82 + -10. Let f = 111 - l. Let x be (f/(-6))/1*-2. Solve -p + 3 = -n + 1, -4*n - 3*p = -x for n.
1
Suppose -4 = 2*q - 4*q. Solve m + 3*m = q*l - 26, -11 = 4*m + l for m.
-4
Let y be (-12)/(-10) - (-2)/(-10). Let z be 6*y*3/6. Let t = 17 - -1. Solve 0 = 2*j - 4*u + t, 13 = -3*j + z*u - 4*u for j.
-5
Let z be 2*3/(-9)*-3. Suppose -z*x - 4*b + 4 = 0, b = 3*x - 3*b - 6. Suppose 3*s - 3 = 6. Solve s*k - x*d + 20 = -k, 0 = -2*d for k.
-5
Let r = 110 - 105. Solve 3*o - 2 - 2 = r*p, 4*p = o + 1 for p.
1
Let h = 0 + 3. Solve -3 = -3*s + 3*w - 0, 3*s + h*w = 3 for s.
1
Let u(d) = 3*d - 17. Let z be u(7). Suppose 5*h + 4*j - 20 = 0, -2*h + h = -2*j - z. Solve l + h*o = 4*l - 7, -4*l + 4*o = -4 for l.
-3
Let a = -7 + -2. Let b be 5 + a/3 + -2. Solve 2*m = 6*l - 2*l - 2, b = 3*l - 3*m for l.
1
Let p(d) = 12*d - 7. Let r be p(7). Suppose 3*v + 0*k - 2*k - 47 = 0, 4*k + r = 5*v. Let o be ((-21)/9 + 3)*3. Solve 5*s + v = o*f + 7, 5*s + 5 = f for f.
5
Let n(w) be the third derivative of -w**6/120 + w**5/15 + w**4/8 - 7*w**3/6 + w**2. Let c be n(4). Solve -2*m = k - c - 0, 5*k + 31 = 4*m for k.
-3
Suppose 26 = 3*x - 4*a, 4*x + 0*a - a - 13 = 0. Suppose -5*d - 11 = -s, s - x*d - 8 = -0*s. Solve v + 18 = -4*h, -v = h - s*h - 27 for h.
-5
Let x(t) = t**2 - 3*t - 6. Let f be x(5). Let r be 22/f*(8 - 4). Solve s + 3*n = 4, 0*s - r = 5*s + n for s.
-5
Suppose -69 = -a + w, a - 4*a - 4*w + 207 = 0. Suppose 3*z - 8*z - 2*c = -a, 3*z - 49 = -5*c. Solve 3*j + l = 14, 2*j = j - 2*l + z for j.
3
Let v = 17 - 12. Solve v*k + a = 15 - 0, -17 = -k - 3*a for k.
2
Let w be (-171)/(-33) - 6/33. Solve -k + 3*f = 5*f + 3, w*k - 5*f - 45 = 0 for k.
5
Let t(u) = -u + 0*u + 6*u. Let p be t(1). Suppose p*o = -0*o + 160. Solve 0 = -3*a + x - 19, 0 = a - 5*a + 3*x - o for a.
-5
Suppose 0*u + x + 40 = -3*u, 5*u + 56 = x. Let b = u + 16. Solve -5*n + 21 = b*l + 4, 5*n = -2*l + 21 for n.
5
Suppose 22 = 4*h - 2*h - 2*b, 2*b + 6 = 0. Solve 2*a = -2*p + 12, 2*p - 8 = -3*a + h for a.
4
Suppose 4*d + 11 = 27. Let h(y) = y. Let t be h(d). Let a(l) = -l**3 - l**2 + 4. Let g be a(0). Solve -24 = -g*i - t*x, -4*i - 4*x = -3*x - 21 for i.
5
Suppose -p = -5*z - 18, -3 = 5*p - 3*z - 27. Suppose 30 = 3*f - p*n, 3*f = 4*n + 27 - 1. Solve f = -4*j - 3*v - 0*v, 2*j + v + 8 = 0 for j.
-5
Let c = 0 + -2. Let h be c/(-1)*(3 - 1). Let p be (-465)/(-20) - 1/h. Solve 2*q = -5*s + p, s + 2 = -q + 6 for s.
5
Let r = 15 + -9. Suppose -2*l + r*l = 12. Solve 3*i + 22 = -5*s, l*s - i + 0 = -2 for s.
-2
Let k(p) = -3*p - 12. Let z be k(-5). Let i be 2/((4/(-15))/(-2)). Suppose 3*d + 3*x + x = i, 3*x + 10 = 2*d. Solve v - 7 = -v - z*y, -3*y - 7 = -d*v for v.
2
Let o = 0 - -2. Suppose 3*a - 5*a = -8. Solve -3*r = -5*w - a, -w - 4 = o*r + 2 for r.
-2
Let a = -12 - -17. Solve -q = -h + 3*q - 19, -a*h - 7 = 2*q for h.
-3
Let s = 9 + -2. Solve -c + s = -3*o, 5*c - 3*o = -0*o - 1 for c.
-2
Let j(t) = 5*t**2 + 35*t + 2. Let z be j(-7). Solve u = 5*n + 16, z*u + 3*n = 3*u - 10 for u.
1
Suppose 4*f - 82 = f - 2*o, -3*f + 102 = -3*o. Suppose 0*x = 5*x + f. Let h be (-4)/x - 220/(-12). Solve -2*i - 3*r = -4*i + 7, -4*r + h = 3*i for i.
5
Suppose 0 = -5*o - a + 3*a + 38, 22 = 3*o - a. Let g be o/(-2 + -1) + 6. Solve g*k + 5*w - 12 = 0, -4*k + w = -15 + 3 for k.
3
Suppose 0 = h + 4*h. Suppose -2*k = -4*k + 8. Solve k*f = -h*f, 0 = 2*a + 4*f + 4 for a.
-2
Let d = 15 - 11. Let i = d - -1. Solve -4*c + 3*h - 16 = i*h, -16 = 4*c - 3*h for c.
-4
Let i(w) = -6*w + 1. Let h(t) = -6*t + 1. Let x(d) = 5*h(d) - 6*i(d). Let u be x(1). Solve 2*v - 5 = -u*l, -2*l = -5*v - 3*l + 24 for v.
5
Let p(l) = -l + 1. Let c be p(-3). Solve -5*b + 22 = 3*v, c*