 = -20 - -25. Solve 4*f + z = -5*s, s + 2 = 2*f - 13 for s.
-5
Suppose 6*s = 3*s - 33. Let t = s - -17. Solve -2*f + 0*f + t = -3*a, 5*a = -4*f - 32 for f.
-3
Let t(o) = -o - 1. Let h be t(3). Let c = 4 + h. Solve c = 5*j - 25, 2*l - 5*l = -j + 20 for l.
-5
Let v(m) = m**3 + 9*m**2 + 7*m - 2. Let z be v(-8). Let g = 9 - z. Solve 3*t = -p + 5, -4 + 13 = 3*t + g*p for t.
1
Let c be ((-9)/15)/(5/(-25)). Solve -16 = 5*x + 4*l, -3*l = -0*l - c for x.
-4
Let m(i) = 3*i**3 + 8*i**2 + 3. Let t(h) = -h**3 - h**2. Let u(a) = m(a) + 4*t(a). Let w be u(4). Solve w*q - 22 = 3*g - 2*q, -10 = 3*g + q for g.
-4
Suppose v + 2*v - 12 = 0. Solve -2*t - v*a - a = -7, -4*t - a = 13 for t.
-4
Let l = -35 - -44. Solve 2*v - l = -v - 3*p, 2*p = -5*v + 18 for v.
4
Let v = 55 + -50. Solve 3*s = -15, 2*n + 2*n - 5*s = v for n.
-5
Suppose 0 = -3*u + 13 + 2. Let c = u + 7. Suppose 0 = 5*k - 27 + 7. Solve -v + 20 = -5*h, -k*v - h + c = -v for v.
5
Suppose -2*y = 14 + 22. Let m = y - -32. Solve -2*g = c + 1, 0 = -2*g + 2*c - 0*c + m for g.
2
Suppose 3 = -g + 7. Let h be (-2)/(-6)*0 - -2. Suppose 2*q = h*a + 12, 4*q + 4 = -3*a - 0*a. Solve -6 = -q*s + g*f, -3*f - f = s - 9 for s.
5
Let n(v) = -v**3 + 4*v**2 + 2*v - 6. Let b be n(4). Let p be (b/((-6)/51))/(-1). Solve -x = 4*r - p, -x = 5*r + 2*x - 16 for r.
5
Suppose 3*j = i + 7, 0 = j - 4 + 1. Let g = 7 - i. Suppose 4*u + 3*p = 19, -3*p = -0*u + 3*u - 18. Solve a - 3*q + u = 2*a, -5*a - g*q = 5 for a.
-2
Suppose -4*d + 2*k + 14 = 0, -5*k + 0 - 5 = -5*d. Let r be d*(-2 - (-16)/6). Suppose 5*c = r*c + 4. Solve -5*v = -x - 15, -c*v - x = -2 - 10 for v.
3
Let t be (-3)/(-9) - (-131)/3. Let x be t/8 - (-2)/(-4). Solve j + 11 = -2*f, 2*f - 5 = -x*j + 7*f for j.
-3
Let o(z) = -z - 2. Let a be o(-11). Suppose -2*s + 5*s = a. Solve h + 4 = -p, -3*p + s*h - 9 = -3 for p.
-3
Suppose -5 = 2*l - 3*l. Suppose l*n = -3*d - 15, 15 + 0 = -5*n. Let k(t) = t - 3. Let i be k(3). Solve -2*w + d*z - 7 = z, i = -3*z - 15 for w.
-1
Suppose 0 = -h - 2 + 7. Let d be 0*(25/10 - 3). Solve 2*z - 4*z + 4*m + 10 = d, -h*z + 3*m = -4 for z.
-1
Let a(d) = -d + 14. Let w be a(10). Let q = 2 + 2. Solve 0 = 3*c + 4*j + 11, 0 = q*c + 5*j - w*j + 19 for c.
-5
Suppose -4*q + 2 = 2. Solve -4*l + q*l = -m - 5, 0 = l + 3*m - 11 for l.
2
Suppose -5*n = -c + 23, -n = -4*c - 4*n. Suppose 0 = -2*y - c*y + 45. Solve -3*h + 4 = b, 4*b + h - y = 7 for b.
4
Let k = 171 + -146. Solve v - 2*l = 10, -7*l = -2*l + k for v.
0
Let q(c) = 4*c - 21. Let y be q(6). Solve -2*k - 24 = y*k - p, 4*k + 24 = -4*p for k.
-5
Let y = -16 + 3. Let i = y - -25. Let r be 3/i - 14/(-8). Solve k = -1 - 0, -r*z - 2*k = -6 for z.
4
Suppose 6*m - 2*m = 0. Suppose -a + m = -6. Solve 2 = -5*v + 2*x, 0 = 5*v - 2*x - 2*x - a for v.
-2
Suppose 2*t = 0, 3*a + t = 3*t. Solve a*g + 2*m = 2*g + 18, -4*g - 28 = -2*m for g.
-5
Suppose 77 = 3*h + s, 0 = -h + 2*h + 5*s - 21. Solve -3*n = 5*g + h, -4 = -4*n + 7*g - 4*g for n.
-2
Let m(c) = -c**2 - 3*c + 8. Let p be m(-6). Let g(o) = o**3 + 11*o**2 + 9*o - 6. Let q be g(p). Solve 0 = 3*w - 5*u - 6, -q*w + 0 - 24 = 4*u for w.
-3
Let x(y) = -y + 9. Let s be x(7). Solve -2*f + 5*v - s*v - 5 = 0, 2*v - 14 = -4*f for f.
2
Suppose -k = -2*u + 4*k, 4*u - 12 = 4*k. Suppose 7 = 4*r - f - 9, 0 = 2*r + 5*f - 30. Solve -q = r*z - 2*q - 4, u*z - 4*q - 16 = 0 for z.
0
Let j be (1/(-3))/(2/(-36)). Let v be j/27 + 25/9. Solve -2*g - d = 10, -g + 3*d = -12 + v for g.
-3
Suppose -r = -0*r - 3. Solve 4*f = -2*p - 2, -4 + 1 = -r*f - 3*p for f.
-2
Suppose 2*p = 2*f - 2, -f - 2*p + 18 = 2*f. Suppose -f*k = -k - 12. Suppose -5*n + 29 = q, 8*n - 4*q = 3*n + 9. Solve 7*o = k*o - 5*g + 4, 0 = n*g + 5 for o.
3
Let c = -116 - -176. Suppose -4*n + 7*n - 4*h = c, 2*n - 40 = -5*h. Solve 5*o = -4*d - 35, 2*d + 2*d + n = 0 for o.
-3
Suppose -2*y = -8 - 2. Suppose -6 = 3*z + y*s, 5*z + 2*s = z + 6. Solve z*p - 5*p - 10 = 2*l, -3*l - 2*p = 14 for l.
-4
Let b(f) = 2*f**2 + f - 5. Let c be b(2). Solve c*k + 8 = 4*h, -3*h - 27 = 3*k - 6 for h.
-3
Suppose -5 = -4*f + 3. Suppose -28 = -f*l - 2*l. Suppose -5*y - 20 = 2*g - l*g, 2*g + 5*y = 1. Solve 5*z - 2*z + 10 = -4*p, 0 = 4*z - g*p - 20 for z.
2
Let r be 2/(-1)*(-8)/4. Solve 0 = -x - r*x + 2*j - 14, -x - 5*j = 19 for x.
-4
Suppose 5*r = 14 - 4. Suppose -d - r*m + 3 = 4, -5*d + 3*m + 21 = 0. Solve 2*q - d*w = -25, -3*q + 5*w - 50 = 2*q for q.
-5
Let r(l) = l + 9. Let g be r(-7). Suppose j = 7 - g. Solve -i = -j*c + c - 8, 5*c + 7 = 2*i for c.
-3
Let g(c) = -c. Let y be g(-8). Let v = y - 5. Solve 5*u + 3*h - 6 = 2*u, -4*h + v = 3*u for u.
5
Suppose 2*g + 4*l = -16 - 26, -3*l - 140 = 5*g. Let y = g + 44. Let i = -11 + y. Solve -5*f + 2 = -i*r + 1, 4*r - 3*f - 5 = 0 for r.
2
Suppose 3 = 2*i - 35. Solve -t + 0*b - 3*b = i, 0 = -5*t - 4*b - 40 for t.
-4
Suppose -f + 14 = 4*x, 3*f + x = -0*x + 9. Let y = -9 - -16. Suppose y = q + f. Solve q*a + 2*m = 24, 4*a + 2*m - 12 = 2*a for a.
4
Let q be 6/(-18) + (-44)/(-6). Solve 3*f + q = -4*n + 30, n = -3*f + 17 for n.
2
Let a(w) = -2*w - 14. Let v be a(-8). Suppose -6 = -2*k - 2*h, -2*k + 4*h + 10 = -8. Let p be 50/(-3)*12/(-10). Solve -4*m + k*o + p = m, 3*o = -4*m + v for m.
2
Let v(y) = y**2 - 13*y + 15. Let z be v(12). Suppose 0 = -5*l + z + 12. Solve -q + l*x = -10, 8 = q - 0*q - 2*x for q.
4
Let k be 1 + -3 + -2 + 2. Let v(l) = 3*l + 1. Let x be v(1). Let p = x + k. Solve -y = 4*o - 4 + 1, o - p*y + 6 = 0 for o.
0
Let l be 1 - (-5 - (1 - 2)). Let g(p) = p**3 + 2*p**2 - 3*p + 3. Let o be g(-3). Solve 2*k - 4 = o*s, -s = -l*s for k.
2
Let v = 4 - 10. Let i be (v/(-3)*-1)/2. Let h = i - -3. Solve 2*m - 9 = -a, 4*a - 16 = -2*m + h for m.
3
Let k = -11 - -16. Let n = 0 + k. Solve -5*c + 5 = 5*j, j + 14 = -c + n*c for j.
-2
Let n be ((-9)/(-3))/((-9)/(-12)). Suppose 3*x - 28 = 2*l + x, n*l - x = -41. Let a be 1*(2 - l/3). Solve -5*c + 10 = -a*o + 2*o, -20 = -4*o for c.
5
Suppose -4*f - 20 = -28. Solve -m + 6*m - f*b - 29 = 0, -5*b - 35 = -5*m for m.
5
Let y be 6*((-8)/(-3))/4. Suppose 3*a - 3*z - 1 = -y*z, 3*z + 25 = 5*a. Solve -2*g + 2*r + a = 0, 7*g + r + 11 = 3*g for g.
-2
Let g(p) = p**2 + 7*p - 13. Let k be g(-9). Solve 5*l + f - 24 = 0, -k*f + 8 = 2*l - 3*f for l.
5
Let m = 7 - 5. Let c be (72/40)/(m/10). Solve -l - 4*f + c = -0*f, -4*l + f - 15 = 0 for l.
-3
Suppose -t + 2*t = 54. Let y be (-1)/(-4) - t/24. Let o be (-4 - 1)*(1 + y). Solve m = w - o, -w + 0 = 5*m - 5 for m.
0
Suppose -t = 3*t. Solve -3*b - d + 10 = -t*b, 5*b + 6 = 4*d for b.
2
Let i(q) = -q - 1. Let b be i(-2). Let k be (b/3)/(2/36). Solve 0 = -2*f - 5*o - 17, 0 = -5*f + k*o - o + 10 for f.
-1
Suppose 0 = 2*z - 5*j, 0 = 4*z - 3*j + j - 16. Solve -2*a = z*g - 14, 1 = 3*a - 5 for g.
2
Let p = 2 + 1. Suppose 4*n - 63 = -p. Let f be 54/n + (-2)/(-5). Solve -3*w + 3 = -f*l - 3, -4*w + 7 = -5*l for l.
-3
Suppose 0*c = -5*c + 45. Let q be (4/3)/(2/c). Solve 2*y + 0 = -k - 3, -5*k + q = 3*y for y.
-3
Let y(m) = -m**3 - 4*m**2 - 4*m - 4. Let l be y(-3). Let d be 0/(l/1) + 8. Solve 5*i + j - 25 = -5, -3*j = -2*i + d for i.
4
Let c(r) = 5*r + 8. Let i(l) = -4*l - 7. Let o(w) = 3*c(w) + 4*i(w). Let v be o(-7). Solve 3*z + 3*y = -v, -z + 11 = -y + 6*y for z.
-4
Let j(v) = -v + 3. Let x be j(3). Suppose i - 4 = -x. Solve -2*w - 16 = -i*m - 0*w, m + 2*w - 4 = 0 for m.
4
Suppose -2*o + 4*o = -3*h + 16, 4*h = 2*o - 2. Suppose -o*v = -15, v = 4*i + 3 - 20. Solve -5*f = 25, -i*u + 4*u + 2*f = -6 for u.
-4
Let d = 8 + -6. Suppose -14*n + 9*n = -20. Solve n*v = 5*q + d*v + 12, -5*q + 5*v = 15 for q.
-2
Suppose -5*o - 4 = 2*y, 1 = -3*o - 2*y - 3. Suppose 2*q - 4*h - 28 = o, -4*q - 3*h = -8*q + 46. Solve 5*u = 2*x + q, -17 = -u + 3*u - 5*x for u.
4
Let b be (-1 - 0)/1 - -1. Suppose 4*u = 3*z + z + 8, b = u - 2*z - 1. Suppose 5*c + 7 - 12 = 0. Solve 2*t - 16 = -2*g + 4*g, -u*t = 2*g + c for g.
-5
Let f be 6 - (1 + -2 + 2). Suppose 0 = f*y - 46 + 1. Let q = -6 + y. Solve 2*g - 2 = q*t, 0 = -g - t + 1 for g.
1
Suppose 2*n + 2*b - 8 = -0*b, -b = 3*n - 22. Suppose 2*m + 2*m = -4. Let z = -1 - m. Solve u - 3*s + 13 = z, -4*u - n = 2*s - 27 for u.
2
Suppose -6*n = 72 - 126. Suppose h = 3*s - 7 - 2, 5*s = -h + 15. Let k be s*1*(-4)/(-6). Solve -5*a = -3*j + n, -k*a - 2*a - 12 = 0 for j.
-2
Let d(n) = -3 - n + 2*n - 9 + n. Let c be d(8). Solve 3*j + j - 4 = 0, 3*f -