Let u be f(4). Solve 0 = -5*x, 3*x = -3*l - 1 + u for l.
2
Let t be 73/7 - 64/(-112). Solve 0 = -u - 4*a + t, -a - 15 = -3*u - 4*a for u.
3
Let u(q) = -2*q - 9. Let b be u(-6). Solve -5 = -4*c + z, 0*c - b*c = 4*z + 20 for c.
0
Let y(x) = -x - 4. Let n be y(-6). Suppose 0*v - 16 = -n*v. Solve 2*w - 1 - v = g, w - 6 = g for g.
-3
Let s be (0/(-2 - 2))/(-2). Solve d - 6*d + 5*x - 15 = s, x = -d - 7 for d.
-5
Let k(d) = -d**2 - 7*d - 6. Let t be k(-6). Let q be -1 + (t - (2 - 1)). Let s be q*(4 + -3)*-1. Solve 2*y + 16 = 4*y - 3*z, 0 = s*y - 5*z - 20 for y.
5
Let j be (1*12/5)/((-8)/(-20)). Solve 5*p + i = -23, -2*p + 3*i - 10 - j = 0 for p.
-5
Let m be ((-2 + 2)/1)/(-2). Suppose m = -i + 6*i. Solve -t - 8 = 3*y, -t - 4*y = -i*y + 12 for t.
4
Let f be 1 + -1 + 1 - -9. Suppose -4*s = -f - 10. Solve 3*w = s*a - 22, -17 = -0*w - 2*w - 3*a for w.
1
Let v(j) = -j**3 - 16*j**2 - 27*j + 14. Let t be v(-14). Solve 2*i - 5*k + t = 11, 4 = 2*i + 2*k for i.
3
Let o be 6/4 - 15/(-6). Solve 3*a - 4*g = a + 6, 0 = -5*a + o*g + 15 for a.
3
Suppose -5*w = -3*k - 111, 36 = 2*w - 5*k + k. Solve -4*s - 9*n + 4*n = w, -4*s + 5*n + 16 = 0 for s.
-1
Suppose -2*y + 5*y - 3*o = 0, o = 3*y - 10. Solve 4 = -3*v + y*i, -3*v - 5 = 2*i - 6*i for v.
-3
Suppose -q = -4*h + 12, 3*h - 5*q - 14 = -3*q. Solve 4*i + 2*l + 10 = 0, 15 + 2 = -h*i + 3*l for i.
-4
Let q be 1 + 1/(4/12). Solve -d - 10 = -2*n + 5*n, q*d - 10 = -2*n for n.
-5
Let x(y) = y**2 - 10*y - 20. Let b be x(12). Let z be 1/2*(4 + 4). Solve z*v + 2*d + b = 0, 2*v - 2*d = 6 - 2 for v.
0
Let b be 4*(1 + -1 + -2). Let d = 4 - b. Suppose -3*u + 4 = -5. Solve -4 = a, u*z - z - d = 5*a for z.
-4
Suppose -5*b + 206 = 66. Suppose o - 5*o + b = 0. Let l be 1*o*(1 + 0). Solve -5*a + 2*a - 3*j = -21, -4*a = -3*j + l for a.
2
Let y(w) = -4*w - 1. Let x be y(-1). Solve 3*z = -o + 4, -x*z + 2*o + 3*o = 20 for z.
0
Let h = -85 + 95. Solve 4*i + 19 = -3*x - h, i + 17 = -4*x for i.
-5
Suppose -34*o + 60 = -31*o. Solve -5*r + 5*z + o = 0, 4*r - 3*z - 8 = 2*r for r.
4
Suppose -3*j = -2*t - 18, -3*j + 5*t + 20 + 7 = 0. Let l(q) = q**3 - 2*q**2 - 3*q + 3. Let h be l(3). Solve h*f - 4*c = -5, 0 = -f - j*c - 4 - 3 for f.
-3
Let s(i) = -i**3 + 15*i**2 - 25*i - 11. Let n be s(13). Solve t - 5*t + 2*m = n, -4*m = 3*t + 7 for t.
-1
Let z be 9/(-1*(-3)/(-6)). Let d be (z/(-3))/(1 - -1). Solve d*p + 2*p = -2*q - 5, 4*p + 5*q = -21 for p.
1
Let b(j) = j + 8. Suppose -f = -x + 26, x - 10 = -0*x + 5*f. Suppose -5*a + 0 = x. Let z be b(a). Solve -2*w = 2*k + 2, -z*w - 1 = -2*k + 5*k for w.
-2
Let w = -82 - -89. Solve u + w = 5*x - u, 0 = 2*x + u - 1 for x.
1
Suppose 0*n = -n - 10. Let g = 12 + n. Solve 3*m - g = -3*q - 11, -3*m - q = 1 for m.
1
Let p(y) = -y**2 - 8*y - 14. Let v be p(-4). Solve -h - 7 = 2*h + k, 3*h - v*k + 22 = 0 for h.
-4
Suppose -3*z - 4*o = o - 9, -5*o = -z + 3. Suppose 6*r = z*r + 18. Solve 0 = 2*q + 2*b + 10, q - 20 = r*q + 4*b for q.
0
Let k = -28 + 20. Let z(g) = -g**3 - 8*g**2 - 2*g - 12. Let b be z(k). Solve -b*j - 2*d + d = -25, 20 = -j + 5*d for j.
5
Let x(p) = -p**3 - 3*p**2 + 2*p - 4. Let b be x(-4). Let f = 0 + 0. Solve -4*m + 2*r - 17 = -1, f = -b*r for m.
-4
Let x = -16 - -20. Suppose -x*f - 4*a = -63 + 23, -10 = -2*a. Solve 0*g + 17 = -f*g + 4*z, g - 5 = 5*z for g.
-5
Let o = 96 - 46. Solve -10 = 3*d + 5*i, -5*d = -3*i - 2*i - o for d.
5
Let h = -4 + 4. Let x be 0 - 6/(-3) - h. Solve -4*r - x*q + 0 = -2, -5*r - 3*q = -4 for r.
-1
Let n(d) = -d - 6. Let u be n(-6). Suppose u*i = i - 5. Let a be -2*1/(-12) + 2327/78. Solve i*o + 2*t - a = -3*t, o - 5*t = -18 for o.
2
Let d be 108/(-16)*24/(-9). Let b = d + -6. Solve -2*w - 3*t = t - 8, -3*w = -2*t - b for w.
4
Let t(h) = -h**2 - 5*h + 4. Let x be t(-6). Let p = x - -2. Solve p = -0*l - 4*l + 5*a + 28, -l = -a - 6 for l.
2
Let r = -3 - -4. Let y(a) = -a**3 + a**2 - a + 18. Let h be y(0). Let i be 32/18 - (-4)/h. Solve 4*d + z + 0 = -r, -i = 5*d + 2*z for d.
0
Let a be 0/4 + (0 - -4). Solve 2*k = a, 0*s - 17 = 5*s - k for s.
-3
Suppose 15 = 3*c + 3. Suppose 65 = c*q - 5*k, -2*k = 3 - 1. Solve j - q = -4*v, -2*j = -0*j - 2*v for j.
3
Let v(q) = q**3 + 7*q**2 + 5*q - 4. Let a be v(-6). Solve 3*d + 15 = -5*w, -3*d + a*w = -0*w - 6 for d.
0
Suppose 54 = -0*o + 2*o. Let r = 27 - o. Suppose -2*u + 5 = -5. Solve n - t + u = r, 0 = -5*n + n - 3*t - 13 for n.
-4
Suppose -f = -n - 6, -4*f + n = -n - 16. Let y(i) = 2*i**3 + i**2 + 2*i + 1. Let r be y(f). Solve -4*g = 3*p - r, -5*p = -p - 4*g + 4 for p.
3
Suppose 0 = -5*v + v + 12. Suppose 3*i - 4*c = 25, 2*c - v = -2*i + 37. Solve 0 = -x - 2*o - 8, o + i = -5*x - 7 for x.
-4
Let q(w) = -w + 6. Let r be q(4). Let u be -5*(-3 - (-4)/r). Suppose -4*n + u = -15. Solve s - 10 - 9 = 5*d, -n = 5*s for d.
-4
Let l be (-1 - -1)/(-21 - -22). Solve -3*b + l*b = -6, 2 = -2*m - 2*b for m.
-3
Let b(l) = l**3 + 4*l**2 - 2. Let f be b(-5). Let m be (8/12)/((-6)/f). Let z(w) = w + 1. Let t be z(m). Solve 3*r + t = 5*o + 14, -5*o - 10 = 3*r for r.
0
Let b be -3 + ((-18)/7)/(15/(-70)). Solve -5*q = 4*h - b*h - 25, -3*h - 12 = 0 for q.
1
Suppose 5*k = 2*d, 0 = -4*d - k + 5 + 17. Solve -2*x = -d*q + 3 + 15, 2*x + 5*q = 22 for x.
1
Suppose 1 + 3 = -s. Let c be 18/(-8) - 1/s. Let m(v) = v**3 + 3*v**2. Let h be m(c). Solve -q + 4*y + h = 4*q, 4*y + 4 = -5*q for q.
0
Suppose -3*p + 4*a = -3 - 28, 0 = -3*a + 6. Solve 2*n + i = p, 4*i = 7*n - 2*n - 13 for n.
5
Let l be (-1 + 107)/(1 + 0). Suppose -5*n + l = 31. Solve 4*k = -v + 15, 0 = 4*k + k - n for v.
3
Suppose -2*l - 3*l - 25 = 0, 5*k = 5*l + 95. Let d = k + -2. Let h be ((-2)/(-5))/(12/180). Solve -2*x = -4*i - h - d, 2*i = -2*x for i.
-3
Let v = -27 + 31. Solve 0 = 3*f + v*k - 11, 4*f - k + 2*k + 7 = 0 for f.
-3
Let a be 17/(-15) - 32/(-240) - -8. Solve g - 6*l + a = -3*l, -2*g = -3*l + 2 for g.
5
Suppose 2*w = -w. Solve -5*x - 27 = 2*c, w = 3*c + 2*c - 3*x - 10 for c.
-1
Suppose 3*z + 7 + 2 = 0, z = -2*r + 3. Suppose 3*l - 15 = -m, -2*m + 6*l = r*l + 15. Solve m = -4*k + 5*b + 32, 2*b - 4*b = 5*k - 7 for k.
3
Let k = 3 + 27. Let p(u) = u**2 - 6*u + u**2 - u**2. Let h be p(6). Solve 3*m + d + 20 = 0, h*m + 3*d = -3*m - k for m.
-5
Suppose y = -y - 2. Let v = y + 3. Suppose 3*p = v*p. Solve -3*i = 0, p = -2*q + q + 3*i - 4 for q.
-4
Suppose 0 = 3*r + y - 25, -10 = -5*r + 3*r - 2*y. Let d be 4/r*(-11 + 1). Let t = d + 4. Solve t = 4*j - 3*u, -u = -3*j + 8*j for j.
0
Let t(y) = -y + 9. Let f be t(7). Suppose f*v + 12 = 4*a + 3*v, 2*a - 2*v = -4. Solve -5*j - 2*r = r - 40, -4*j = a*r - 30 for j.
5
Let v(l) = 4*l. Let p be v(-2). Let c = -6 - p. Let n be 5 - (-3 + 2 - -2). Solve -x = n*x - 2*g + 11, 0 = -c*g - 4 for x.
-3
Suppose -3*j + 3*f = 2*j - 92, -4*f = j. Solve -3*y + j = r, -3*y - 4 = -6*r + 2*r for r.
4
Let m be -15*4*(-4)/40. Solve 3*n = -2*k + 9, -k + 0*n - 2*n = -m for k.
0
Let c = 4 + -8. Let j = 1 - -9. Let w = j + c. Solve -5*l + 3*y + 21 = w*y, -4*l + 2*y + 8 = 0 for l.
3
Suppose -3*s = 5*y + 99, -5*s - 4 = 3*y + 65. Suppose 0 = 2*p - 0*p - 84. Let r = y + p. Solve 5*o = 2*q - 3*q - r, 0 = -2*q + 4*o + 8 for q.
-4
Suppose -2*w = -15 + 7. Let a = 3 + -1. Let x = w - a. Solve -4*t = 2*n + 2, -n - t + 0 - x = 0 for n.
-3
Let p be (-16)/4*(-2 + 3/4). Solve -4*n + 23 = c, -2*n + 40 = 3*n + p*c for n.
5
Let d be 2 + 1 + (-1)/(-1). Suppose 5*z - 4 = -4*j - 5, 5*z + 49 = d*j. Solve -4*y = 2*o - 6, j*o + 13 = -3*y + o for y.
4
Let x = 1 - 4. Let u = x + 6. Let g(q) = -3*q + 2. Let b be g(-2). Solve -s - u*s = -3*n - 1, 3*s - b = -5*n for s.
1
Let l be 8*2/4 - 12/3. Solve l = 3*k - 4*k + 5*u - 4, 4*k - u = 3 for k.
1
Let v = -5 - -9. Let w(k) = k**2 - k. Let l be w(v). Suppose -5*r = -2*n - 94, -4*r + 4*n + 48 = -r. Solve 3*q = -o - 4 + l, -2*q + 3*o + r = 0 for q.
4
Let g be -2 - -1 - 1/(-1). Let j = 2 - g. Suppose 2 = -c + j*c. Solve 4*q - 24 = 4*l - 3*l, c*l - 2*q = -18 for l.
-4
Let u be (3/(-2) + 1)/((-26)/104). Solve 0 - 6 = 2*v + 3*f, 0 = -u*v - 2*f - 2 for v.
3
Let k(v) = -6*v + 2. Let c be k(-1). Suppose -2 = -r - 2*y - 0*y, -r = -4*y - c. Solve 5*a - 10 = r*b, 3*b - b + 8 = 4*a for a.
2
Let z be (-1 + (-1)/(-2))*(7 + -17). Solve z*v = -4*p + 23 + 1, 3*v - 7 = 5*p for p.
1
Let p be (-5)/(-3) - (-13)/39. Suppose x + 2*y + 57 = 4*x, -p*y = -x + 19. Solve -a + 4*o - 2 = -3*a, 5*a + 2*o =