n + 4*x. Solve -2*z = 5*f + 12, -n - 1 = -2*z for f.
-4
Let w be 5*(-8)/12*3. Let d be 4*2/(-4) - w. Let c = -23 + 27. Solve 2*h = -c*v + 10, -3*h + d*h - 25 = -v for v.
0
Let o = -2 - -10. Suppose p + 3 = -3*u, 0 = 4*p + 2*u - 0 - o. Let b be p/(1/(-2) - -2). Solve 0 = w - b*w + 4*l + 8, 3*w + 3*l = -6 for w.
0
Let g be (-216)/10 + 10/(-25). Let u = 29 + g. Let z = -3 + u. Solve 13 = z*r - a, 4*r = -a - a + 10 for r.
3
Let o be (0/(-1))/(-33 - -32). Solve 4*m - 2*l - 6 = o, 3*m + 4*l = 9*l - 6 for m.
3
Suppose -w - 33 = 8*c - 4*c, w - c = -18. Let b = 21 + w. Let s be 1/3 + 5/3. Solve 4*n - 6 = -0*n - 2*a, 3*n - s*a - 1 = b for n.
1
Suppose -8*h = -164 - 20. Solve -q + 8 = -5*u + h, -u = -q + 1 for q.
5
Let o be ((-60)/35)/((-6)/21). Let k(y) = 2*y - 14. Let s be k(o). Let i be (-1)/s + (-35)/(-14). Solve 3*d - 2 = -d + p, 2*d = -i*p + 8 for d.
1
Let s(v) = -2*v**2 + 15*v - 15. Let r be s(6). Solve -r*h - h - 5*u + 11 = 0, 0 = h + 5*u + 1 for h.
4
Suppose 2*d - 5 = d. Let a be ((-108)/108)/(34/36 - 1). Solve -3*b = 2*u - a - 3, -15 = -d*u for b.
5
Suppose -8*a - 21 = -11*a - 3*b, 5*a - b = 5. Solve 2 = -q + 2*x, a*q + 0*x - 2*x + 6 = 0 for q.
-4
Let h(k) = k + 15. Let l be h(-13). Let d be -4 - l*(-11 + 0). Suppose 4*a - 8 = -4*w, -a + 4*a = w + d. Solve 2*s - 3 = -5*y, -a*y - 2 = -s - 8 for s.
-1
Let l = 6 + -7. Let t be ((-18)/4 - -4)*(l + 1). Solve -2*n - g - 2*g + 21 = 0, 5*n + 4*g - 35 = t for n.
3
Let g be (2 - 6)/8*0 - -5. Solve -3*s - p = 6, g*s + 6*p = p for s.
-3
Let q(c) = 5*c - 5*c + 5 - c - 3 + 8. Let t be (-92)/(-12) + (-2)/(-6). Let n be q(t). Solve 3*a + n + 4 = 0, 0 = s + a for s.
2
Suppose 5*f - 24 = 1. Suppose 0*z = 3*z + 5*p - 10, -2*z + 4*p - 8 = 0. Suppose 0*d + 11*d - 33 = z. Solve -f*u - 27 = -h, -d*u - 6 = 4*h + 1 for u.
-5
Suppose 14*a - 57 + 15 = 0. Solve -a*h = -3*l + 3, -4*l = -3*h - 2 + 1 for h.
-3
Suppose -2*m - 20 = -4*m. Let q = -2121 - -2124. Solve h - m = 5*k, 5*k + 18 - q = 0 for h.
-5
Suppose 3 = r + y, -13 = 3*r - 4*y - 1. Suppose -2*g - 4*s - 1 = -3*s, r = -4*g - s + 3. Solve -4*c = -6*c - 5*o + 21, c + 3 = g*o for c.
3
Suppose 36 = -8*b + 14*b. Solve b = 2*o + u + 1, 5*o - 14 = -3*u for o.
1
Let n = 2303 + -2300. Solve 10*o - 7*o - 3 = 3*y, n*o = y + 1 for y.
-1
Let b be ((-2)/1)/((1 - 8)/7). Solve 4*t - p - b = 0, 4*p = 5*t - t + 4 for t.
1
Let h be 22/(3 - 5) + -1 + 4. Let p be -5 + 19 - (2 + -1). Let c = h + p. Solve b + c*d - 26 + 7 = 0, 0 = 2*b - 5*d + 7 for b.
4
Suppose -5*j = -3*p - 35, -3*j - 3*p - 2 = -23. Solve 9*l - 5*q = 4*l - 15, l + 3*q = -j for l.
-4
Suppose 3*a + 2*w - 3 = 0, -a = -6*a - 5*w. Solve -4*g = 4*l + 6 + 6, -15 = -a*g + 5*l for g.
0
Suppose 0*c + 5*c - 10 = 0. Suppose 76 = 4*b + c*y, 40 - 129 = -5*b - y. Suppose 4*k + k = 0. Solve 0 = h - 4*w - k*w - b, 13 = -3*h - 4*w for h.
1
Let m(p) = p**2 + 10*p + 9. Let i be m(-9). Suppose 4*t - 13 - 1 = -2*u, -5*u + 13 = -t. Solve r - 9 = -q + u*r, i = 3*q - 2*r - 19 for q.
5
Suppose 5*b - d - 20 = 0, 0 = -25*b + 24*b - 7*d + 40. Solve -b*q + 15 = 4*z, -3*q - 15 = z - 8*q for z.
0
Suppose -2*b = -8*b + 468. Suppose u - 13 = 4*x, -3*u - 4*x = -3*x - b. Solve 5*a = -u, 0 = -5*t - 4*a + 6*a + 10 for t.
0
Let p = -38 + 41. Let i be -4*(-90)/24 - (-2 + p). Solve -3*s + 3*l = -2*l + 26, i = 3*s + 5*l for s.
-2
Suppose 2*a = 82 - 72. Solve o = -2*q - 13, -a = -2*o + 3*o for q.
-4
Suppose 5*t - 16 = -3*n, -5*n + 3*t + 2 + 2 = 0. Solve -n*g = 5*x + 7, -4*x - 9 = -0*g + 5*g for x.
-1
Let s be (-88)/(-33) - 3/((-9)/(-2)). Solve g = -s*h + 4, h + 6 = 4*g - 1 for g.
2
Suppose -x - 12 = -4*b - 2*x, -b = 2*x + 4. Suppose -c + r = -8, 2*c = -3*c - 2*r + 12. Solve -c*y = u - b, y = -0*y - 4*u + 16 for y.
0
Suppose 2*f + 32 = -2*s + 26, -5*f + 2*s = -20. Solve 4*a + 2*z = 3*z - 25, 5*a - f*z = -35 for a.
-5
Let g = -27 - -15. Let y be 3/(-6)*g - 4. Solve -r = -2*a + 3, -r - 3*a - 1 = y for r.
-3
Let r = -18 - -16. Let q be r/8 - 3/(-12). Let p be (2/4)/(0 + 4/16). Solve -5*d - 8 = 2*k, 0*d + p*d + k + 3 = q for d.
-2
Let l be (16/(-24))/(1/(-69)). Suppose -l*b + 44*b = -4. Solve 0 = -k + y, 18 = 5*k - y + b*y for k.
3
Suppose 5*b - 155 = 7*b + 5*u, 3*b = -5*u - 245. Let l be 5 + 0 + b/18. Suppose 5*z - 48 = 3*z. Solve l*x = -3*r - 3*x - z, 3*x = 5*r for r.
-3
Let r(o) = o + 11. Let d(q) = -7*q**3 + 1. Let w be d(1). Let g be r(w). Let p = -8 - -11. Solve -g*y + y + p*s - 9 = 0, 0 = -3*y + 4*s - 5 for y.
-3
Let o = 1032 - 1025. Solve 3*q + 4 = 3*w - 5, 5*w - 3*q - o = 0 for w.
-1
Suppose 4*i + 8 = -0*d + d, 5*i - 74 = -4*d. Let s = d - 13. Solve s*a - 5*q = 5*a + 23, 3*q = -a - 13 for a.
-4
Let r be 10/(4 + 14/(-4)). Let u be (-5)/((-15)/(-63)) - -1. Let q = r + u. Solve 2*w = -3*a - 0*w - 16, q = a + 4*w + 12 for a.
-4
Let n be -9 + 25 - (2 - -1). Suppose -5*f = -3*g - n, 4*f - 6 = -3*g - 1. Solve 0*s = s + 3, f*k = -s - 5 for k.
-1
Suppose -5*s + 62 - 37 = 0. Solve -r + 16 = s*g, -2*g = r - 4 - 3 for g.
3
Let u be (-20)/(-130) - (-1437)/39. Let c = u - 35. Solve -5*g + 2*y = -4, -3*g + c*y = -6*g + 12 for g.
2
Let k be (1 - 1)/4 + -4. Let r = k - -10. Suppose -6*y + 3*y + r = 0. Solve 5*d - 2*p = -12, y*d + 2*p - 1 + 3 = 0 for d.
-2
Suppose -1066 = 4*v - 1066. Solve -j = 5*a, j - 3 = -v*a - 2*a for j.
5
Suppose 5*x + 31 = 2*s, 5*x - 6*x + 1 = 2*s. Solve 4*i - 18 = -2*f, -2*f + f - s = -i for i.
4
Let h(m) = 2*m**2 - 50*m - 52. Let i be h(26). Solve 3*l = j + 1, -j + i*l = l + 5 for j.
-4
Let p = -115 + 68. Let l = 50 + p. Solve -5*j = -3*x, -x - 5*j + 11 = -l*j for x.
5
Let i(y) = -3*y**3 + 8*y**2 - 5. Let p be i(4). Let c = p + 71. Solve -h = c, -3*v - 5*h = -0*h + 4 for v.
2
Let h(l) = -4*l**3 - l**2 - 2*l - 2. Let j be h(-1). Suppose -a = -5*p - 11, -j*a + 3*p + 6 = -3. Solve 2*y = -2*c + 3*c - a, -c - 2*y = 7 for c.
-3
Let t = -3 - -3. Let b be 4/7 - (9984/(-28))/13. Solve -2*v = 5*z - b, -4*z = -t*v - v - 12 for z.
4
Let f = -1173 + 1173. Solve -4*x + 2 + 14 = f, 16 = -5*y + 4*x for y.
0
Suppose 3*i - 2*z = -7*z + 61, 3*z + 28 = 2*i. Suppose 2*d - i = -9. Suppose -s + 15 = 3*s - 3*x, -2*s + 5 = x. Solve -4*j + d + 24 = s*o, o = j for j.
4
Let m be (-1)/(1/(-3) - (-2)/8). Let c(z) = z + 1. Let g be c(m). Solve g = 5*n - 2*h, -7 - 9 = 4*n + 5*h for n.
1
Let s be 1/7 - (-1134)/294. Solve 0*q = q - 2*u + 1, 4 = -s*q + 3*u for q.
-1
Let w(f) = f**3 - 2*f**2 + 3*f + 1. Let j be w(2). Suppose -6*z = j*z. Solve 4*r = 3*l - 1, z = 5*r - r + 5*l + 9 for r.
-1
Let j(y) = y**3 - 6*y**2 + 9*y - 4. Let l be j(4). Let p(n) = -n**2 - 2*n. Let r be p(l). Solve 2*i - 10 = 5*s, r*s + i = -s - 9 for s.
-4
Suppose f = 2 - 1. Suppose 2*g - 17 = -f. Let r be (-21)/56 + 27/g. Solve 0*k + 4 = r*k + 5*a, 0 = 3*k + 3*a for k.
-2
Let t be (-4779)/(-1215) + 2/30. Solve -t = -4*v, -3*v - v - 8 = 3*q for q.
-4
Let p be 152/56 - 4/(-14). Suppose 0 = p*v + f - 5, 0*v - 3*v + 2*f = -17. Solve 0 = -3*c - c - 5*h - 35, -v*c - 2*h = 21 for c.
-5
Let p be (-8)/14 - 108/(-42). Suppose 0 = -a + 5*t + 12, 0*a + 2*t + p = -a. Solve 5*c = -4*l + 21, a*c + c = -2*l + 11 for l.
4
Suppose -5*y - 10 = 0, q + 5*y = -2*q + 5. Suppose 0 = -q*f + 3*f. Suppose -2*t + 10 = -f*t. Solve 25 = t*a + 4*d, 3*a - 6*a + d = 2 for a.
1
Let n be (70/10 - 5)*1. Let p = 6 - 4. Let f be (1 - p) + (0 - -4). Solve 4 + 19 = -3*u + n*m, -f*m - 3 = 3*u for u.
-5
Suppose -54*u + 41*u + 26 = 0. Solve -4*j - 3*p = 11, 2*p + u = -0*p for j.
-2
Let c be (-3)/(-7) - 444/(-42). Solve 5*d - c = -2*r, -r = -2*r - 3*d + 7 for r.
-2
Suppose -3*b + 8*b + 40 = 0. Let h = b + 18. Solve -h = -3*v - 5*z, -3*v + 3*z = -2 - 16 for v.
5
Let s(g) = g**3 - 5*g**2 - 3*g - 18. Let t be s(6). Let r be (41 - 32)/(0 + (t - -1)). Solve -3*b + r = 3*v, -b = -2*v - 2*v - 13 for b.
5
Let c(a) = -13*a - 1. Let j be c(-5). Suppose j = k - 2. Suppose -2 = -o + 4*t, 0*o + 3*o = -3*t + k. Solve 5*w - 2*w + o = -2*n, 5*w = -n - 23 for w.
-4
Suppose -32 - 58 = -9*z. Suppose 10*y + z = 12*y. Solve -y = -4*x - 21, -t + 2 = -x for t.
-2
Suppose 5*k - 15 = x, x = 2*x + 5. Let y = 20 - 14. Let c = y - 2. Solve 7*z = k*z - 2*s - 24, -c*z - 22 = 3*s for z.
-4
Let p be ((0 - 1)*-1)/(-1). Let o be (-64)/(-20) + p/5. Suppose 6*s - o*s - 39 = 0. Solve 3*y + s = 5*a, -2*a + y + 6 = -0*y for a.
5
Let m be 1/((-1)/(-5)*-1). Let k be (-1)/(4/(-20)) - (-3 - m). Sol