Let k be m(d). Solve -4*o + 7*r - 2*r = -26, 3*o + 3*r - k = 0 for o.
4
Suppose 0*j - 3*z = -4*j - 19, -4*j - 24 = -4*z. Let a = 2 - j. Suppose 4*t + m = 5*t - 4, -a*m - 12 = t. Solve 2*q = 5*y - t*y - 16, 12 = 5*y - 4*q for y.
4
Suppose -2*g - 3*s = 2*g - 74, 3*s + 46 = 2*g. Solve 0 = -3*u - u + g, 3*u = 5*c for c.
3
Suppose -2*k = t - 9, t = 3*t - 10. Let f(z) = -z**3 + 14*z**2 + 13*z + 35. Let s be f(15). Solve k*m - c = 5, 5*m + 8 + 2 = -s*c for m.
1
Let i(o) = -3*o + 31. Let h be i(8). Solve -5*u + h*z - 13 = 3*z, 0 = -z - 3 for u.
-5
Let u be (-2 - (-1 - 2)) + 1. Solve o + 3*j + 3 + u = 0, -j = -2*o + 11 for o.
4
Suppose -5*f - 15 = -y, f + 18 = 4*y - 4. Solve 5*r - 3*p - 15 = 3*r, 0 = -3*r - y*p - 6 for r.
3
Suppose 5*w - 17 = 48. Let l be (0 + 0)/(14 + -12). Suppose -2*s + 1 = -f - 0, l = f - 5*s + 10. Solve -10 = -f*u + 10, 0 = -v - 2*u + w for v.
5
Let k(y) = -y - 3. Let u = 16 + -22. Let x be k(u). Solve -29 = -2*h + 5*z, h + x*z = -2*h - 9 for h.
2
Let y be 19/5 - 3/(-15). Solve -y*l + 3 = -3*c - 0*c, 0 = -2*c - 2 for l.
0
Suppose 5*l + 80 = 5*p, -6 = 5*l + 14. Solve 2*b = -k - 6, 3*k + p = -5*b - k for b.
-4
Suppose 3*w = 4*w. Suppose w*z = -z. Solve 2*i + i - 6 = z, 0 = -3*n - 4*i + 2 for n.
-2
Let j be 18/3 - (-1 + -1). Suppose 2*z - 16 = -2*z. Let m = j - z. Solve 3*n + 3 + 0 = m*f, 2*n - 3 = f for n.
3
Let r be 3 - (4/1 - 5). Solve 0 = 4*f + 5*k + 7, -4*f - r*k + k - 9 = 0 for f.
-3
Let f(s) = 2*s**3 - 6*s**2 + 4*s. Let y be f(4). Suppose 5*v - y = 2*z, -2*v - 5*z = 2*v - 45. Suppose -2*u = -u. Solve 5*r - 5*o = -v, r + 2 = 5*o - u*o for r.
-2
Let d(z) = -31*z**3 + 2*z - 1. Let j be d(1). Let n = j - -21. Let a be (n/(-6))/((-3)/(-6)). Solve -5*u = -25, 5*w + a*u = u + 10 for w.
0
Let j be 2*(2/(-2) + -1). Let l be (j/10)/(6/(-30)). Suppose 6 = 3*f - 9. Solve -3*q = -0*q - f*s - 4, 0 = -3*q + l*s + 7 for q.
3
Let p = 56 - 27. Suppose -3*g = -u - 0*u - 44, -2*u + p = 3*g. Solve 2 = 4*f + 2*b, -2*f - b = -4*b - g for f.
2
Let m(u) = -u**3 - 11*u**2 + 13*u + 15. Let d be m(-12). Solve 29 = -4*c - 0*c - d*j, -4*c - j = 23 for c.
-5
Let g(q) = 2*q**3 + 3*q**2 - 1. Let v be g(-2). Let p be 0/2 - 5*v. Suppose -4*k = 6 - 18. Solve 3*x = -k, 6*y + 5*x = y - p for y.
-4
Suppose -p - 4 = -6. Solve c = -5*f - 4*c, p*f = -3*c + 3 for f.
-3
Let s be (4/(-12))/((-1)/15). Solve -s*c + 4*t = -16, 3*t = 2*t + 1 for c.
4
Suppose 5*q - 3 = 17. Solve 5*i - 1 = x, 2*i + 2*i - q = 0 for x.
4
Suppose -4 = -0*l - 2*l. Suppose -v - 4*v = -l*i - 4, 5*v = -3*i - 6. Solve 2*s + 9 = -v*u + 5*u, -5*u + 7 = -s for u.
1
Let f(t) = 2*t + 6. Let g be f(-6). Let j = g + 11. Solve j*o - 4*u + 10 = 0, 4*u = 2*o + 5 - 1 for o.
-2
Suppose -3*g = 4*g - 49. Solve -o = y - g, 2 = -3*y + 17 for o.
2
Let i(n) = -10*n - 9. Let d be i(-6). Let k = -35 + d. Suppose 0 = -2*c - 2*p + 5*p - 8, 4 = 4*c - p. Solve -b + 8 = 4*l - c*l, 4*l - k = -4*b for l.
4
Let s(c) = c**2 + 5*c - 4. Let i be s(-6). Let d(n) = n**2 - 5*n + 1. Let g be d(5). Suppose -3*a + 8 = -g. Solve 3*f - o - a - 2 = 0, i*f = -2*o + 14 for f.
3
Suppose 0*r - 2*r = 38. Let w = -18 - r. Solve 5*y = x + w + 14, 0 = 2*x + 10 for y.
2
Let i(c) = -c. Suppose 3*f + 3 = -3. Let n be i(f). Solve n*g - 5*j = g + 24, 3*g - 5*j - 22 = 0 for g.
-1
Suppose -q + 4 = -0, 2*g = 3*q - 4. Let i be (-2)/(-7) + (-57)/(-21). Suppose 2*o = 3*s - 3, -s + 15 = o + 3*s. Solve -i*h = u + 6, -2*h + 5*h = -g*u + o for u.
3
Let a be -1*(-1 - -4)/(-3). Let z(s) = 13*s**3 + s**2 - 2*s + 1. Let c be z(a). Solve -5*t + 2 = -2*r + c, -2*r = 2*t - 4 for t.
-1
Let a(i) = i**3 + 5*i**2 + 4*i. Let l be a(-3). Solve -5*q + 17 = v, 14 = -q - 4*v + l for q.
4
Suppose 2*w - 12 + 2 = 0. Solve w*d = 10, 3*j - 11 = d - 5*d for j.
1
Let n be (8 - -3)*(-6)/(-3). Suppose -2*z + 14 = 5*g - z, -5*g = 3*z - n. Solve 0 = -3*y + c - 6*c - 7, y + g*c + 2 = 0 for y.
-4
Let v = -98 - -98. Solve 3*i - 7 = -0*n - n, 2*n - i = v for n.
1
Suppose 7 = -3*o - 17. Let u = -8 - o. Solve u = -h + v + 3, 4*h + 0 = -v - 3 for h.
0
Let n be (2 - 2)/(7 - 8). Let k = 6 - 2. Solve n = -2*o + 2*a + 6, k*a + 5 = -5*o + 29 for o.
4
Let v be ((-4)/(-6))/((-2)/3). Let c be 0 + v + -2 + 6. Suppose -3*g = -3*s, -c*s - 4*g = 2*s - 18. Solve -s*d - 2*p = -0*p, -3*p = 4*d - 2 for d.
2
Let v be 3/7 + (-36)/(-14). Solve -v*t + 6*t - 5*n = 8, -5*t - 4*n = -1 for t.
1
Let n = -4 + 6. Suppose -5*y - 14 = -24. Solve -y*l - 2*u + n = 0, 2*u + 5 - 1 = -5*l for l.
-2
Let o = -76 - -94. Solve -2*x = 3*x - 15, 0 = -3*z + 2*x - o for z.
-4
Let u be -3*(4/3)/(-1). Suppose -q = -u*b + 12 - 1, -3*q = -b - 11. Solve -q*n + 4*k = 5*k + 13, 0 = k - 2 for n.
-3
Suppose 6*k - 55 = 17. Suppose k + 33 = 3*p. Solve -2*t - 4*m + 10 = 0, -3*t = -t + 5*m - p for t.
-5
Let u(g) = -g**2 + 12*g - 21. Let n be u(9). Solve 2*x + 3*o + 2 - n = 0, o + 4 = 2*x for x.
2
Suppose 3*k - 5*q + 8 = 2*k, 3*k = 3*q + 24. Let t(m) = m**2 + 10*m + 9. Let b be t(-9). Solve 2*h + 11 = 4*a - 1, 4*a - k = b for h.
0
Let l(s) = -s**2 + 9*s - 7. Let z(x) = -2*x**2 + 19*x - 15. Let v(k) = -9*l(k) + 4*z(k). Let b be v(5). Solve -b*p + 5*p = -4*h, -p + 2 = 3*h for p.
-4
Let q = 9 - 7. Suppose -5*d + 3*h + 40 = 0, 3*h + 30 = q*d + d. Solve 5*s = d*b + 30, -2*b = b + s + 10 for b.
-4
Suppose -2*j + 4*j = 0. Suppose -r = 1 - 36. Suppose j = -5*s + 2*v + r, 0*v = v. Solve -2*p = -4*u + 22, -u - 3 + s = 0 for p.
-3
Let u be (17 - 10)*(-2)/(-7). Suppose -5*c - 4*f = 23 - 164, 0 = -u*f + 8. Solve 16 = -r + 4*p, -3*p - 2*p = -c for r.
4
Suppose 0 = -5*y + 3*a - 14, -3*a + 6 = -4*y + 2*a. Let z be 1/((12/(-21))/y). Let v = z - 3. Solve -r - 1 + v = 5*j, 5*r + 5*j - 15 = 0 for r.
3
Let x(b) = b - 1. Let l(q) = q**2 - 2*q + 1. Let u be l(2). Let c be ((-5)/(-4))/(u/4). Let r be x(c). Solve d = 6*a - 2*a + 13, 3*a = r*d - 13 for d.
1
Let n(b) = -3*b. Let u be n(-1). Suppose u*w = 7*w. Let d be 1 + -2 + 3 - w. Solve 0 = -5*l + 5*o + 13 + 2, l + 12 = -d*o for l.
-2
Suppose -1 = -g + 4*d, -3 = -g - 4*d + 6. Solve h + 1 = b - 2*b, -g*b = 2*h + 8 for h.
1
Let s be (-4)/6*-9 - 1. Let n = -7 + 12. Let o = n + s. Solve -6*l - o = b - 2*l, 3*b = 3*l for b.
-2
Let z(f) = 2*f + 12. Let k be z(-7). Let o be -2*((-7)/k + -4). Solve -4*d - 3*n + 24 = o, 0 = -2*n + 2 for d.
5
Suppose 5*g - 4*o = 6, g - 5 = -3*g + 3*o. Let h(j) = j**2 + 2. Let q be h(2). Let s be q/(-2)*(-10)/6. Solve 5*t + g*k + 0*k - 5 = 0, 5*t + 4*k = -s for t.
3
Let h = 5 - 0. Solve -d = v - 5*d + h, 4*v + 5*d = 22 for v.
3
Let a(j) = j - 2. Let n be a(6). Solve -2*k - k + 18 = -3*y, 12 = -n*y for k.
3
Let u be 2 - (1 + -2)*3. Suppose 2*g + 41 = -u*x, g - 3*x + 3 - 10 = 0. Let m be (g/(-2))/(-6 - -8). Solve 14 = m*r - 2*v - 2*v, -3*r - 5*v = 34 for r.
-3
Let g(b) = -2*b**3 - 5*b**2 - 3*b + 3. Let w be g(-3). Suppose t = -4*c + w - 6, -t + 5*c - 12 = 0. Solve 2*u = -3*o - 4 + 2, t*o + u + 1 = 0 for o.
0
Suppose 4*z - 5*r = -12, -3*z + z - 4*r = -20. Solve -k + 2*n + 17 = -z*n, -4*k + 5 = 5*n for k.
5
Suppose 0 = -2*h - 4*p + 2, 12 = -4*h - p - 5. Let n = h - -17. Solve 0 = 2*a - 3*x - x - n, 15 = 3*a - 3*x for a.
4
Let c(v) = 2 + v + 0 + 4. Let f be c(-3). Suppose 5*q - 5 = 10. Solve 7*g - 3*g = f*a - 11, -3*a = -q*g - 12 for a.
5
Let m(p) = p**2 + 4. Let x be m(0). Let j be -3 + 16 + x + -3. Solve 0 = 4*t - 5*n - 15, 2*t + n = 5*t - j for t.
5
Suppose 5*z = -25, 3*u - 27 = u - z. Suppose -4*g - 2 + 22 = 0. Solve -v + 5*x = u, 2*v - 3*v + 14 = g*x for v.
-1
Let l be ((-6)/4)/(4/32). Let g be ((-3)/6)/(2/l). Suppose o = -g*o + 16. Solve -3*v + 3 = 3*n, -v - o*n + 5 = 13 for v.
4
Let c = -56 + 23. Let b be 6/c + (-2)/(-11). Solve -2*r + 0*r = 3*f - 6, 4*f - 5*r + 15 = b for f.
0
Let q(y) = y**3 + 7*y**2 + 5*y - 4. Let s be q(-6). Solve -4*c = -16, c = s*f + 2*f + 16 for f.
-3
Let v(s) = -s - 23. Let y be v(-31). Solve 0 = -4*l - j + y - 20, -5*l = -j + 6 for l.
-2
Let u(r) = 3*r**2 + 2*r - 2. Let v be u(2). Suppose 4*s - v = 2. Solve -3*x + 5*b = 4 - 17, -5*x + s*b = -13 for x.
1
Suppose -2*v + c + 0*c + 18 = 0, c + 45 = 5*v. Suppose 0 = -f + 5*a + v, -a + 1 + 10 = 3*f. Solve -2 + 10 = -4*q, 2*q = f*w + 8 for w.
-3
Suppose -2*j + 20 = -4*l, -4*j + 12 = -0*j - l. Solve -2*w = r + 3, j*w + w = -4*r - 17 for r.
-5
Suppose 0 = 34*m - 36*m + 36. Solve -2*t - m = -3*o, t + 0*t + 3 = 0 for o.
4
Let v(f)