-5*v + 42, m = -2*v + 3 for m.
-5
Let c(s) = s**2 + 2*s + 4. Let t be c(-2). Solve 2*l = y + 1, -t*l - 13 = -0*l - 5*y for l.
3
Let d(o) = -2*o - 6. Let i be d(-5). Suppose 3*h = -i*z + z + 12, -2*z - 3*h + 3 = 0. Let l = z - 4. Solve 8*p - 3*p = 0, -l*y - 5 = -p for y.
-1
Let j(s) = -s**3 + 8*s**2 - 7*s - 2. Let x be j(7). Let o be (x - 0)/(0 + -1). Suppose -2 - 2 = -o*m. Solve -2*h - m = -4*q, 5*h + 0 = 5*q + 5 for q.
2
Suppose 5*x + 17 = 2*u, 3*x = -x + u - 16. Let t be ((-4)/x)/(16/40). Solve 5*h = -3*r + t*h + 18, -3*h = 4*r - 21 for r.
3
Suppose 0 = -2*m + 3*g - 6, m - 4*g + 8 = -2*m. Solve 4*a - 3*s = -m*s - 4, a - 12 = 4*s for a.
-4
Let n be (-3)/(((-15)/4)/(-5)). Let g be n/6 + 40/6. Solve g*w - 3*w - 3*b = 0, 2 = -2*w + 3*b for w.
2
Suppose 0 = -4*k + 5*o - o - 36, -3*o = k - 7. Let s be (-7)/(-3) - k/(-15). Solve -5*g - 3*a - 2 = -3*g, 5*g + s*a = 6 for g.
2
Suppose -6*c - 3*w + 36 = -2*c, -5*c + 2*w + 22 = 0. Suppose -6 = t + c. Let u be 56/t*(-36)/14. Solve -u = -h + 4*j, 3*h - 20 = j + 3*j for h.
4
Let v = 10 + -11. Let i = v - -4. Solve 4*w = 5*z, 0 = i*z - 2*z - 4*w + 16 for z.
4
Let m be (-48)/(-10) + (-7)/(-35). Suppose -m*l + l = -12. Let t(g) = 2*g**3 + g**2 + 2*g - 3. Let a be t(2). Solve -6*s + s = -l*v + a, 0 = 2*s + v + 4 for s.
-3
Let k(s) = s**3 + 11*s**2 - 3*s - 33. Let f be k(-11). Let a = -11 - -15. Solve -4*d = 3*p + 4, p + f = -a for d.
2
Let h be 0/(3/3*1). Solve -3*n - 17 = 6*u - u, h = 3*n - 3*u + 9 for n.
-4
Suppose -6*m + m + 20 = 0. Let w be 13/39 - (-70)/6. Solve -y = -g - 1, 4*y + m*g = w + 8 for y.
3
Let u be 0/(1 - -3 - 2). Suppose x - 25 = -u*x. Solve 0 = 5*d + x, -5*d = -2*m - d + 18 for m.
-1
Let d(x) = x + 15. Let i be -5 - 4*3/6. Let y be d(i). Let o(h) = -h**3 + 9*h**2 - 7*h + 7. Let w be o(y). Solve 2*t = -10, 4*b + 2*t + w - 1 = 0 for b.
-1
Suppose 3*g + 4 - 1 = 0. Let q = g + 4. Let d be (1/3)/(1/q). Solve 3*t = -2*k - 0*k - d, -4*k + 22 = -2*t for t.
-3
Let q = -14 + 21. Solve 4*r = x + 22, q = 4*x + 3*r - 0*r for x.
-2
Let r be (-6)/(-4)*(-56)/(-12). Let y(h) = 17*h**3 + h**2 - h + 1. Let v be y(1). Let j = r + v. Solve 0 = -3*s + 5*s + 5*w + j, s = 3*w + 4 for s.
-5
Let m(g) = -g + 2 - g - 10. Let j be m(-6). Suppose -4 = -2*r + 2*n, -r + j*n = r - 2. Solve -8 = -4*i + 4*v - 44, 0 = r*i + 3*v - 3 for i.
-4
Let l be (-88)/(-24) - (-1)/3. Solve 0 = 4*m - l, -2*f + m = -3*m + 4 for f.
0
Suppose 4*h = 8*h - 8. Suppose i = -3*a - 13, 0 = -2*a + i - 5 - 2. Let f = 7 + a. Solve -w + f*t = 2 + h, 0 = w - t for w.
2
Suppose -3*i + 0*o - 3*o = 0, -2*i = -o - 6. Solve -3*j - 3*y = -8 + i, -4*j = -4*y - 24 for j.
4
Suppose 4*i = 16 - 40. Let p = 14 + i. Let m be (p/6)/(1/3). Solve 3*n + a - 2 = 0, m*a + a + 20 = 0 for n.
2
Suppose -b = b + 40. Let z be (3/(-6))/(2/b). Solve -q = -4*n + 7, 3*q = -z*n - q + 35 for n.
3
Let s be (-3)/(-3*3/9). Solve 0 = -4*y + 2*b - 10, b - s*b = -y + 2 for y.
-4
Let w(j) = -2*j - 20. Let u be w(-10). Solve 4*d + 20 = u, 3*d + 0*d + 18 = -3*k for k.
-1
Suppose v = -d + 16, 3*d - 17 = -v + 23. Suppose 2*s = 5*s - d. Solve -h - 2*h + 15 = 4*y, 0 = -s*y for h.
5
Suppose -6 = -3*b, -o + 2 = 3*b - 7*b. Let v = o + -2. Let d be 20/v - (-2)/4. Solve m + 4*m + d = -3*t, -2*m = -4*t - 4 for m.
0
Let r = -28 + 33. Solve -2 = -3*c + 7, 0 = -4*x - r*c + 19 for x.
1
Let y(p) = p**3 + 6*p**2 + 4. Let z be y(-6). Let t(n) = -3*n + 8*n - 1 + n**2 + n - 1. Let o be t(-7). Solve -7*u - o = v - 3*u, 3*v + 15 = -z*u for v.
-5
Let l(i) = -i + 1. Suppose -4*c = -c + 6. Let p be l(c). Solve p*s + 4*n - 3 + 14 = 0, -6 = s - n for s.
-5
Suppose 4*d = 5*d - 5. Solve -2*o - 28 = -4*j + 2*o, -j - 17 = d*o for j.
3
Let u be 2*(-3)/6*-2. Let w = 34 - 29. Solve 3*r - 6 = -w*d, -u*d = -6*d + r + 15 for d.
3
Let u(i) = 13*i - 2. Let q be u(2). Suppose -d - 10 = -6*d. Solve -3*n - 11 = -4*k, 4*k + 2*n = -d*n - q for k.
-1
Let w be (-6)/(-27) - 25/(-9). Solve w*k - k + 30 = -4*z, 2*k + 3*z = -25 for k.
-5
Let t be (-1)/((-3)/(-3)) - -3. Suppose t*a = 5*z + 9, 2*z = a + 3 - 7. Solve 0*i - 16 = -3*r + a*i, -5*i + 6 = 4*r for r.
4
Let q be 15/10*(-2)/3. Let m be 2*q - (-6 - 8). Suppose -4*v = 3*s - 1, -s - s + 3*v = -m. Solve -2*c + 3*t = -s*c + 11, 3*t - 12 = 0 for c.
-1
Suppose 4*j - 8 = 0, -4*h - 3*j - 2*j + 2 = 0. Let d be ((-4)/3)/(h/3). Solve -q + d*x - 8 = -0*q, q + 4*x - 4 = 0 for q.
-4
Suppose 3 = k - 2. Suppose 0 = 3*t - 2*n + 1, -k*t + 4*n - n = 0. Solve 3*c - 6 = 2*x - 2*c, 2*x - t*c + 6 = 0 for x.
-3
Suppose -4*a = 3*a - 70. Solve 4*b + a = -5*d, -2*b - d = 4*d for b.
-5
Suppose -5*h + 1 = -24. Solve -2*q = 5*v + 7, 8 + 3 = h*q + 3*v for q.
4
Let l = 18 - 15. Solve l = 4*r - 1, -5*i - 4*r = 21 for i.
-5
Let c = 22 - 16. Suppose 4*r = -b - 6, -2*b - 3*b = 2*r + 12. Let z = 6 + b. Solve -2*m + y = -6, -z*m = c*y - 3*y + 8 for m.
1
Let j(x) = x + 13. Let i be ((-3)/(-2))/(1/(-2)). Let p be (1 + -1)/(i - -4). Let y be j(p). Solve 0*s - 2*s - 5*q = y, 2*s + 1 = -q for s.
1
Let w(l) = -l**3 - 4*l**2 + 6*l + 6. Let d be w(-5). Let h be (-54)/(-12) - d/2. Let x = h - -14. Solve 5*u + 10 = -5*i, 5*u + x + 1 = -2*i for u.
-5
Suppose 0 = 5*t - t + 36. Let d = t + 10. Solve -h - 2*s - 6 = 0, 4*s = h - 19 + d for h.
2
Let r(t) = -t + 3. Let w be r(-1). Solve -5*u - z = w + 13, -1 = -u + 2*z for u.
-3
Suppose 0 = 4*g - 5*l - 58, -4*g = -7*l + 4*l - 54. Solve -3*f - g = 0, -u - 3*f = -6*u + 32 for u.
4
Let n(d) = -d**3 + 12*d**2 + d - 10. Let s be n(12). Solve -3*c - 4 = s*v, -v - 4*c - 4 = v for v.
-2
Let m = 18 + -9. Let q = m - 4. Suppose -1 - 15 = -4*f. Solve -2*l + f*r = -2, -q = -4*l - l + 5*r for l.
1
Let z(p) = p**2 - 10*p - 13. Suppose 4 = y - 7. Let w be z(y). Let a be ((-1)/w)/((-8)/(-64)). Solve -a*h - 12 = 2*l, 2*l + 3*h = -0*h - 9 for l.
0
Let k be (-30)/(-3) - 0 - 2. Solve k*w + q + 17 = 4*w, 3*q = 5*w + 34 for w.
-5
Let o(d) = -5*d - 8. Let q be o(-6). Let x be 2*(-1)/(8/(-20)). Suppose -x*v + q = 2. Solve -5 = -k + v*g + 2, -k - 2*g = 5 for k.
-1
Suppose 390 = 6*p - p. Let f = -52 + p. Suppose 4*b + y - 24 = 0, -2*b + 0*y + f = -3*y. Solve -b = 7*t - 4*t + s, 0 = 4*t - s for t.
-1
Let c be (3 + -2)*-5 - -9. Solve -3*n + 0*u = c*u + 3, 0 = -5*n - 4*u - 5 for n.
-1
Let z(m) = m**2 + 9*m + 11. Let j be z(-8). Suppose j + 15 = 3*u. Solve 0 = -u*r + 2*r - 20, -3*r = 4*g + 27 for g.
-3
Let s = -9 + 5. Let f = 9 + s. Solve 3*m = 2*j - 24 - 1, -f*j + 2*m + 35 = 0 for j.
5
Suppose 0 = -0*s + 5*s + b - 14, 5*s - 5*b - 20 = 0. Solve s*m + 15 = -2*r, 1 = -3*m - 14 for r.
0
Let d(x) = 2*x. Let y be d(1). Let j be (-2)/(-2)*-1 - -3. Suppose -j*l + 40 = 3*l. Solve n + y = -5*q, 2*q = 2*n - 0*q - l for n.
3
Let n be 9/(((-30)/(-4))/5). Suppose 3*c + n = -3. Let y(x) = -x - 1. Let q be y(c). Solve -16 = -5*u - d, 0*u - 3*u - q*d = -4 for u.
4
Let t = 4 - 4. Let g = t + 2. Solve 2*l + 5*s = 6, -7*s = -4*l - g*s + 12 for l.
3
Let r(f) = -f**3 + 8*f**2 - 10*f + 8. Let d be r(6). Suppose 0 = q + q - 12. Suppose -x = x - q. Solve 20 = -5*y - b, -5*y + x*b - d = 8*b for y.
-4
Let l = -218 + 80. Let m = 215 + l. Let c be 2/11 + 294/m. Solve 30 + 2 = 4*u - 5*x, 0 = 3*u - c*x - 25 for u.
3
Suppose -3 = -a - 1. Suppose 4*f = -44 - 32. Let b = -12 - f. Solve 3*o + 2 = w + b, -8 = -a*w for o.
3
Suppose 0 = -4*f + v - 23, 2*f = v - 4 - 7. Let d = f - -11. Suppose -2*a - 3*i = 0, -a + 3*i = -5*a + 12. Solve 2*n + 6 - d = c, -2*c = -2*n - a for c.
5
Suppose -4*d = 10 - 22. Solve -5*j - d*t - 22 = 0, -t + 5 - 3 = -3*j for j.
-2
Suppose -w + 5*w = -3*x + 64, -5*x - 5*w + 100 = 0. Solve 0 = 2*a - 4*h - 2, 2*a + x - 3 = -h for a.
-5
Suppose 0 = -3*k - 0*t + 5*t + 52, 3*k - 17 = -2*t. Let w = -5 + k. Solve 0 = -q + 4*c, 4*c = -w*q - 13 - 7 for q.
-4
Suppose 0*q + 3*q = -18. Let g = -4 - q. Solve -g*k + 4*b + 2 + 16 = 0, -2*k + 6 = -b for k.
1
Let j(m) = -m + 5. Let t be j(5). Let k = 1 + 9. Let l = -10 - -11. Solve 3*d - k = -y + 2*y, t = -d - 2*y + l for d.
3
Suppose 2*z = 5*z + 3. Let i be z/(-2)*(2 - 2). Suppose 4*g + 0*x - 3 = x, 2*g - 5*x + 21 = i. Solve -4*h = g*q - 10, 2*q - q - 9 = -3*h for q.
-3
Suppose 6 = 2*f + 3*h - 5, -2*f = 2*h - 12. Solve u - 5*u + f = l, 4*l = -2*u + 14 for u.
1
Let p be 2 - (0 + (-2 - -4)). Suppose -5*x + 93 + 22 = p. Let f = -7 - -12. Solve -2*u = f*q + x, -5*u - 9 = 3*q + 20 for u.
-4
Let n(