 = -2*v + 14 + 2 for f.
-4
Let n = -15 + 26. Suppose l + 6 = 3*f - 8, 0 = 3*f - 4*l - n. Solve 5*k - 6*u + f*u = 10, -u + 8 = 4*k for k.
2
Let q = 13 + -8. Let b = q + -5. Solve 0 = 4*j - 4, -w - 4*w - 3*j + 3 = b for w.
0
Suppose -2*a - 16 = -22. Solve a*l - 2*l + 9 = 5*q, 4*q = 8 for l.
1
Let m(f) = -f**3 - 10*f**2 - 9*f + 3. Let g be m(-9). Solve -s = -g*v - 10, -v - 12 = v - 2*s for v.
-2
Suppose 8*l - 48 = 4*l. Solve -2*a - b - 2 - 1 = 0, 0 = -4*b + l for a.
-3
Let o(r) = r + 14. Let b be o(-8). Suppose 0*z = -2*h - 4*z + 4, 4*z + 20 = 0. Solve -2*j - b = a, -4*a - h = -j - 3*j for a.
-4
Suppose 3*w + 3 = 3*p + 6, 1 = 5*w - p. Suppose -5*o = -w*o + 40. Let d = o - -13. Solve 4*t - i = 5*t + 1, -d*t + 2*i + 2 = 0 for t.
0
Let l = 1 - -6. Suppose -3*a + a + 6 = 0. Suppose 5*x - 2 = 2*u + a*x, -3*u - 4*x + 32 = 0. Solve l*w - 4*w + m = 2, 0 = 3*w - u*m - 22 for w.
2
Let x = -3 + 6. Suppose -a = -x*a + 20. Suppose -15 - a = -5*q. Solve -4*h - 3*s = -7, -3*h + 3*s = q*s - 6 for h.
4
Let n(f) = 3*f + 2. Suppose -2*a - 16 = 2*a. Let b be n(a). Let r be (-84)/(-10) - (-4)/b. Solve -2*c + 4*i = r + 10, 0 = 4*i - 12 for c.
-3
Let d = -8 - -31. Let j = 41 - d. Let r = -13 + j. Solve -3*q + 17 = 2*z, 2*q - 10 = -r*z + q for z.
1
Suppose -w = w - 4. Let t be 38/8 - (-2)/8. Solve 5*h = t*q, -3*h + 9 = 2*q - w*h for q.
3
Let u be (-1)/4 + (-6)/8. Suppose 11 = -v - 3*f, 10*v + 2*f + 3 = 5*v. Let y = v - u. Solve 24 = -4*q + w, 0 = 3*q + y*w - 1 + 8 for q.
-5
Let j = 109 - 104. Solve 2*a = -3*d + 8, -j*d = 4*a + 2 - 18 for a.
4
Let t = 20 + -10. Let b be 36/t + 18/45. Solve -b*i + 9 = -3*j - 5, 3*i - 16 = 5*j for i.
2
Let c(s) = 4*s**2 + 3*s - 7. Let k be c(2). Solve 5*p = -h + k, h - 4*p + 12 = -3*h for h.
0
Let r = -51 + 71. Suppose -5*l - z - 3*z - r = 0, -2*z - 10 = -5*l. Solve j + 15 = 4*u, -j + 12 = -l*j + 5*u for j.
-3
Suppose -37 = -2*u - 111. Let k = u - -55. Solve -k = -0*h + 2*h + 4*c, 0 = 5*h + 4*c + 27 for h.
-3
Let h(o) = -o**3 + 9*o**2 + 2*o - 12. Let x be h(9). Let r = x + -3. Solve -5*c + 20 = 0, -4*c = -r*w - 18 + 2 for w.
0
Suppose -a - a = 0. Suppose 95 = 5*v + 2*j, 2*v + j - 37 = -a. Let x be ((-11)/(-2) - 1 - 4)*8. Solve 3*n - 2*d - 5 = -x*d, n + v = 5*d for n.
-1
Let b be ((-2)/4)/(3*2/(-24)). Solve b*t + 2*t - 10 = -3*y, -5*y + 2 = 3*t for y.
-2
Let u(x) = -1 + x + 1 - 2*x. Let w(r) = r**3 - 6*r**2 + 10*r + 5. Let h(f) = 5*u(f) + w(f). Let z be h(5). Solve o - 2*o + 6 = -z*k, -2*k = -o for o.
-4
Let y = -135 + 140. Solve m = -y*k + 23, -k - 4 = -4*m - 17 for m.
-2
Let k be (2 - 2)/3*1. Suppose -4*i + 0*i = k. Solve y + i*x + 4*x = -4, 3*y = 2*x + 2 for y.
0
Let s(f) = 9*f - 5. Let j be s(1). Solve 0 = -j*v - w, 0 = -0*v - 4*v - 2*w + 4 for v.
-1
Suppose 2*h = 5*a + 7*h - 60, 57 = 5*a + 4*h. Solve 2*s - 3*s + a = 2*d, 0 = -5*s + 5*d for s.
3
Let w be 3/2 + (-2)/(-4). Suppose -w*k + 8 = -2. Solve -2*r - 5*d + 1 = 0, -r - 2*r - k*d - 1 = 0 for r.
-2
Suppose 5*t + 2*v = 6*v + 372, 0 = 2*t + 2*v - 138. Let b be t/16 - 2/(-4). Solve 6*j = 4*q + 2*j + 20, 19 = q + b*j for q.
-1
Let x be (10/(-15))/(4/(-6)). Suppose 0 = p + x - 9. Solve -5*q = 3*d + d - 10, p = 4*q - d for q.
2
Suppose z + 4 = -4*q, -12 = -q + 4*z - z. Let s be (1 - 0)/1*q. Suppose -2*a = -y - 28, -a + y = 11 - 27. Solve 3*l + a = -s*x + 3*x, -x = 3*l for l.
-1
Let y(a) = 5*a - 2. Let z be (12/60)/((-2)/(-10)). Let c be y(z). Solve -c*b - b + 28 = -4*q, -b + 1 = q for q.
-3
Suppose 0 = -c + 1 + 10. Suppose 0 = 3*a - 9*a + 24. Solve -a*x - 4*v = -x - 32, -4*x + c = -v for x.
4
Suppose 2*f - 8 = 4. Let r(p) = 0*p + p**2 - 2*p - 8 - 2*p. Let s be r(f). Solve s*i = -3*u - 3, -2*i - 1 = -u - 2 for u.
-1
Suppose -3*i - i + 4 = 0. Let y = 2 + i. Solve -2*z + y*m - 2*m = 0, -z = -4*m for z.
0
Let y(k) = -4 - 5 + 17 - k. Let a be y(5). Solve -2 = -2*j - a*o + 3, -3*j - 5*o = -7 for j.
4
Let i(a) = a**2 + 4*a. Let l be i(-5). Suppose 0 = -5*c + 4*b + 8, -3*c = -2*b - 0*b - 4. Solve -6*g - 2 = -3*g + x, c = -2*g + l*x - 24 for g.
-2
Let c = 4 - 4. Let g = 5 - c. Solve -g*z + 15 = -3*i, 3*i - z = 8*i + 25 for i.
-5
Suppose -5*w + 35 = -2*r, 4*r - 3*r - 10 = -3*w. Solve -d - 9 = 3*q, 0 = -2*d + w + 1 for q.
-4
Let q(g) = -g**3 - 5*g**2. Let b be q(-5). Suppose 3*z + n - 2*n - 13 = b, 12 = -3*n. Solve 0 = -z*o - 2*x - 9, o - 5*x + 12 = -8 for o.
-5
Let j be 3/1 + 2*-1. Let r be (0/j)/(1*-3). Solve r = -4*c + 4*z + 16, -2*c + 7*c - 2 = -z for c.
1
Suppose -5*i - 10 = 5. Let m = 6 + i. Let a(t) = -14*t. Let o be a(-1). Solve -m*s - o + 5 = 0, 2*s = -z - 10 for z.
-4
Let z(b) = -b**2 - 6*b + 3. Let w be z(-6). Suppose 2*t + 19 - 65 = 0. Suppose -v - 46 = -2*m, -4*v = m - 2*m + t. Solve m - 5 = 3*j + w*f, 0 = -f + 2 for j.
4
Let q(o) = 5*o**3 - o**2 + 0*o**2 + 4*o**3. Let a be q(1). Let f be 1/(-3) - (-7)/3. Solve 0 = 4*v - f*z - 6 - 10, -2*v + a = 4*z for v.
4
Let j = 42 + -40. Solve -3*f = -2*r + 9, 3*r - 9 = -j*r + 3*f for r.
0
Let b = -3 + 7. Let m = 62 - 34. Solve -2*i = -8*k + b*k - 14, -m = 5*k + i for k.
-5
Let z = -60 + 65. Solve r + r + z = -3*q, r = -2*q - 4 for r.
2
Let u be (-54)/(-21) + 2 + 30/70. Solve u*m - 20 + 5 = -q, 5*q - 31 = -3*m for m.
2
Let s(x) = -x**2 - 2*x + 8*x - 3 + 0. Let h be (2 - 0)/(2/4). Let a be s(h). Solve -3*g + 15 = c - 4*c, -g = -a*c - 17 for g.
2
Let d(m) = 26*m**2 - 1. Suppose 6*k = k. Let t(l) = -l - 1. Let i be t(k). Let q be d(i). Solve -3*b = -4*p - q, 3*b - 11 = -2 for p.
-4
Let b(x) = -x**2 - 5*x + 2*x + 2*x - 2*x. Let v be b(-2). Let n be (-6)/9 + 4/6. Solve -5*m - 3 = -u, 0 = -n*m + v*m + 3*u + 8 for m.
-1
Let b = 18 - 8. Suppose b*t - 5*t = 65. Solve 3*u + 4*o = 27, 8*u - 3*u - t = 4*o for u.
5
Suppose 0 = 2*g + 1 - 5. Solve -d = 5*z - g*z - 2, -20 = -5*d - 5*z for d.
5
Let n(z) = z**3 + 4*z**2 - 13*z - 5. Let k be n(-6). Suppose -j + 1 + k = 0. Solve 4*u - 4*f = 28, -j*f = -4*u - u + 29 for u.
5
Let h be (3/6)/(5/30) + -3. Solve 4*a + 6 = -2*v, 5*v = a - h*v + 18 for a.
-3
Let p(y) = -y**3 + y. Let t be p(0). Solve -2*f + 3*f - 5*o - 25 = t, 0 = f + 3*o + 15 for f.
0
Suppose 3*d + 3*v = 18, 0*d + 3*d - 2*v - 3 = 0. Solve 0 = -d*c, -k - 2 = 5*c + 1 for k.
-3
Let m be (1/(-3))/(8/(-240)). Let x = 12 - m. Solve -w = 3*y + x - 3, 4 = -3*w - 2*y for w.
-2
Let m be 5*1/(10/(-8)). Let u be ((-2)/2)/(1/m). Solve -u*o = -s + 5*s - 8, -5*o + 10 = 2*s for o.
2
Let p be ((-120)/(-18) - 6)/(2/66). Solve 0 = -3*x - 5*y + p - 1, 0 = -2*x + 3*y - 5 for x.
2
Suppose 5*i = 53 + 22. Let w = -9 + i. Suppose -10 = 2*k, -3*v + w*k - 4*k + 28 = 0. Solve 3*s - 2*y + 19 = 0, y = -2*s - 2 - v for s.
-5
Let b(r) = -r**2 - 6*r - 2. Let l be b(-4). Let v(n) = -n**3 + 5*n**2 + 9*n - 13. Let y be v(l). Solve -z - y*p = -0*z - 20, -5*z + 2*p = 8 for z.
0
Suppose 0*g - 4*g - 3 = q, -2*g - 5*q = -3. Let n(o) = 3*o**2 + o. Let z be n(g). Solve 4*k + 3*b - 5 = 0, -3*k = -2*b - z - 6 for k.
2
Let m = 11 - 7. Let b = m - 3. Let i be 0/(b/2*2). Solve -5*x + 27 = 3*y, 5*x + 5 = 5*y - i*x for y.
4
Suppose 6*q - 4*q = 10. Solve -q*v - 10 = 5*h - 35, h = 4*v - 20 for h.
0
Suppose -14 = -2*d - b, -6*b - 38 = -4*d - 3*b. Let q(r) = 3*r - 10. Let h be q(d). Solve -5*p = 3*v - 16 - h, -5 = -v for p.
3
Let q(u) = -3*u - 16. Let b be q(-9). Solve -3*t = -3*c - 21, 3*c + 0 = t - b for c.
-2
Suppose -20 = -5*k + k. Let w(u) = 3*u - 6. Let f(p) = 2*p - 5. Let m(b) = -4*f(b) + 3*w(b). Let t be m(k). Solve -4*g + t*g - 13 = -4*z, 4*z - 16 = -4*g for g.
3
Let r be -4 - ((-9)/3 + -1). Solve 0 = -2*v + 2, 4*k = -r*k - 2*v + 14 for k.
3
Let v be (3 - 3) + -2 + 6. Suppose 0 = 2*n - 3*s + 4, -v*s = 4*n + n - 36. Solve 0 = n*x - 5*z + 36, -z = -4 - 0 for x.
-4
Suppose -o + 1 = -11. Suppose -1 - o = b. Let c = -4 - b. Solve -i = -2*u + 4*i + c, 0 = -u - 2*i - 9 for u.
-3
Let b = 95 - 93. Let p = 0 + 10. Solve 5*g + 2*z - p = -b*z, 5*g + 2*z = 0 for g.
-2
Let y(n) = n**3 + 5*n**2 + 4*n + 2. Let z be y(-2). Solve -3*j - 4*f - 8 = 0, j - z*j - 5*f - 10 = 0 for j.
0
Let x = -7 - -11. Suppose 3*r = c - 4, 5*c = -5*r + r + 39. Let f = c - x. Solve 12 = -4*m, 2*m + 9 = f*o - 3*m for o.
-2
Suppose -o + 20 = o. Let k be (-5)/(o/8)*-1. Suppose -2*u - 4*z + 2 = 0, -11 = u - k*u - 2*z. Solve -2*h - 7 = -u*h + 5*v, 4*h - 3*v - 13 = 0 for h.
4
Suppose -12 = -3*q - 0*q. Suppose 5*u - j = -0*u + 3, -2*j = 6. Sol