4, -3*x - f*k - 25 = 0 for x.
-3
Let p be -3 + 7 + 3 + -2. Solve p*v + 5*a = 50, -a - 15 = -5*v + v for v.
5
Let h = -10 - -14. Suppose 3*j - h = 2*j. Solve -j*m = -n - 4, 4*m - 13 - 15 = -5*n for m.
2
Let k = -4 + 6. Let r = k + -2. Solve -7 = 5*g + c, -5*g + c + r - 13 = 0 for g.
-2
Let s(y) = y + 1. Let f be s(-5). Let n = f + 9. Solve -4*z - 7 = 3*u, u - n*z + 9 = -6 for u.
-5
Suppose 0 = -3*q - 5*b + 5, 3*q = 5*b - 4*b - 1. Solve q = -3*p - 9, -d - 16 = -0*d + 5*p for d.
-1
Let z(n) = -n - 3. Let m be z(-3). Let h be (-10)/(-8) + (-3)/12. Let s = h - -1. Solve m = -f, 0*j = j - 5*f + s for j.
-2
Let h(x) = -3*x + 26. Let p(g) = 2*g - 25. Let f(q) = -3*h(q) - 4*p(q). Let a be f(-10). Solve -6 = -2*b + n, 5*b - 4*n = 3*b + a for b.
2
Let y(k) = k**3 + 4*k**2. Let m be y(-4). Let b = -24 + 39. Solve 0 = z + 3*n + b, m = 4*z - n - 0 - 5 for z.
0
Suppose -u = -0 - 5. Suppose -u*f = -1 - 9. Solve -5*s + 3 = f*b, -5*b = 7*s - 2*s for b.
-1
Let q = -1 - 4. Let o = -1 - q. Solve i - o = 5*p, p - 4*p = -i + 2 for i.
-1
Let v = -5 + 5. Let g(c) = -c**2 + 11*c + 12. Let f be g(12). Solve 2*b + f*b - 8 = n, -2*b + 6 = v for n.
-2
Let f be 0/1*(3 + -2). Let d(g) = -g**2 - g**2 - 1 - 1 - g + 2*g**3. Let b be d(2). Solve 2*t - 4 - 8 = -2*v, f = -b*v - 5*t + 25 for v.
5
Let a = -1 + 1. Let r(j) = j - 6. Let b be (-24)/4*6/(-4). Let n be r(b). Solve 5*k + n*l - 8 - 12 = a, 3*l - 18 = -3*k for k.
1
Suppose 0 = n + 3*q - 18, 2*q - 54 = -n - 2*n. Solve -3*r - 11 = -3*p + 1, n = -2*r + 4*p for r.
1
Let f = 1 - -3. Let v(u) = u**3 - 5*u**2 + 5*u + 1. Let k be v(f). Solve 3*o + 5 = a - 2*a, -3*o + k*a = 29 for o.
-3
Suppose 5*u - 23 = 2. Suppose -u*l + 5*d = -50, 4*l - 3*d - 33 = 2. Solve 6 = -l*p - 3*v, p - 2*p - 10 = 5*v for p.
0
Let u be (-4)/(-6) + (-26)/(-6). Let l be (-366)/(-10) - 3/5. Suppose -l = -d - d. Solve 5*h + 27 = 5*m - d, u*m + 4*h = 0 for m.
4
Let w = -91 + 96. Solve -w*f + 5 = 4*k - 2, 0 = -5*k + 5*f + 20 for k.
3
Suppose 4*v = -2*f + 28, 0 = -5*v - f + 36 - 7. Solve -2*j - v*y = -y - 8, y = j - 4 for j.
4
Let l = -12 - -16. Solve l*b - 16 = 2*k + b, -3*k = -4*b + 22 for k.
-2
Let n(c) = -2*c**3 + c + 1. Let f be n(-1). Suppose -f*h + 4 + 4 = 0. Solve 0*r - r - 5 = -5*w, h*r - w = 18 for r.
5
Let m(q) = -q**2 + 6*q - 4. Let i be m(4). Suppose -z - 2*x = -9, i*z + 0*x + 2*x - 36 = 0. Solve -4*p = -5*f + 35, -3*f = -0*f - z for p.
-5
Suppose 0 = 4*w - 26 - 10. Let d be (-7)/(-7)*(2 + 1). Solve -c - w = -d*o, 7*o - c = 2*o + 13 for o.
2
Suppose 0*h = h - 8. Let l(x) = 38*x - 1. Let s be l(-1). Let m = s - -61. Solve a + h = -z, 2*z - 4*z - m = 4*a for z.
-5
Let f = 9 - -3. Let q be (3 + -18)*(-2)/6. Let p be 0*((-1)/(-2))/(-1). Solve -3*c + p*c + 5*v = 26, -4*c + f = q*v for c.
-2
Let h be 1/2*0/(-3). Solve 0 = 3*f - 5*m + 22, h = -f - f - 4*m + 22 for f.
1
Suppose t - 6 = -3. Suppose -p - p = 5*q - 6, -2*p = t*q - 6. Solve -2*h = 5*y - 1, h + 2*y - 3 = -p*y for h.
-2
Let q(x) = -x + 22 - 7 + x - x. Let u be q(12). Solve y + 0 - 3 = u*a, 0 = 4*a - 4*y + 4 for a.
-1
Let y(v) = v**3 + 6*v**2 + 6*v + 6. Let a be y(-5). Let i be (-2 + 0 + a)*-3. Solve -i*d - 22 + 8 = 5*g, -4*d = -5*g + 7 for d.
-3
Let i(n) = n - 13. Let m be i(13). Solve m = -2*u - u, -4*g - 2*u = 4 for g.
-1
Let b be (-4 + 5)*(26 + -1). Solve 4*s + b = h, 3*h + s - 15 = -h for h.
5
Let y = 0 + 5. Let p(h) = 2*h + 5. Let l be p(-5). Let i(g) = 2*g + 16. Let k be i(l). Solve d = -4*n + 6, -5*n + k*d - y = d for n.
1
Suppose -2*f - 5 = -13. Suppose -4*q - 3*z + 15 = 0, 0*z - f*z = q - 20. Solve -4*x + 3*o = -12, q = 2*x - 0*x + o + 4 for x.
0
Let x(g) = -g**2 + 4. Let q = -6 + 6. Suppose q*v = -5*v. Let d be x(v). Solve 3 - 6 = -3*i - 3*o, -d*o = 3*i for i.
4
Let k(i) = 6*i - 3 - i + 0 + 6*i. Let a be k(3). Solve 0*j - 6 = -3*j, 4*w - 5*j = -a for w.
-5
Let g(v) = 3*v**2 + 4*v + 4. Let c be g(-1). Solve 7 = -d - j, 0*j + 9 = 3*d - c*j for d.
-2
Suppose c = -4*c + 2*d + 7, 0 = -c + 2*d - 5. Solve 0 = -c*h + 5*x + 15, -5*h + 3*x = 2 - 27 for h.
5
Let b(i) = i**2 + 1. Let w be b(-1). Let t be 2/(-5) + w/5. Solve 4*y + 5*n + 2 = -t, -4*n - 2 = 3*y for y.
2
Suppose -4*c - 4 = -3*a - 118, -5*c = a - 133. Let n = 15 - 9. Suppose 6*k - n = 3*k. Solve z + 3*r + k = 0, c = -z - 4*z + 2*r for z.
-5
Suppose -5*b + n = -20, -3*n - 5 = 2*b - 13. Suppose 9*p = b*p. Let q(a) = 2*a. Let s be q(6). Solve 2*d + 4 = -3*k - 5, p = -2*d + 4*k + s for d.
0
Suppose 5 = -2*h - 2*t + 15, -2*h + 3*t = 15. Suppose h = 3*q - 22 - 11. Solve -z - u = -1, u = 2*z - 0*z - q for z.
4
Suppose -3*c = -5*c. Suppose 0 = -6*y + 6 + 6. Suppose 0 = -y*i + 8 - c. Solve -5*q + i*f - 17 = 0, -5*q = -q + 5*f + 30 for q.
-5
Let a(h) = -h**2 - 19*h**3 - h**2 + 18*h**3 + 2*h. Let f be a(-3). Solve -f*u = -4*r + 13, 0*r - 1 = -4*r - u for r.
1
Let l(k) = -k**3 - 11*k**2 + 11*k - 8. Let y be l(-12). Suppose 0 = 4*z + 3*r - 8, -5 = 5*z + y*r - 15. Solve -3*x + 6*x - 10 = 5*m, -5 = -x + z*m for x.
-5
Let f be (-3)/(-2)*(-24)/(-9). Suppose 0 = 2*r - 0*r + 10. Let a be (-1)/(r/(-3) + -2). Solve -5 = -a*k - 2*d + 1, f*k - 2*d + 6 = 0 for k.
0
Suppose -h + 3*h = 10. Let a be 6/(-3) + 24 + 2. Suppose a = 6*z - 3*z. Solve -2*g = -5*r - 23, -h*g - 2 = r + z for g.
-1
Let c = -10 + 12. Suppose -c*l = -l - 4. Suppose -2*p + 8 = -0*p. Solve p*f + 16 = 3*f - 5*b, -l*b - 9 = -3*f for f.
-1
Let z = 46 - 44. Solve -h + 3*i + 1 = -0, -h + z*i = 0 for h.
-2
Let m(b) = b**3 + 4*b**2 + b + 9. Let h be m(-4). Solve f - 15 = -4*z, f - 3*f = -h*z + 9 for f.
3
Let w(i) = 2*i - 4. Let q be w(3). Suppose -47 = -5*l - 0*s + s, -22 = -2*l + q*s. Solve o + 5*y = -l, -o + 2*y - 1 = 1 for o.
-4
Suppose 0*o - 34 = 2*o. Let z = -13 - o. Solve 1 = 2*c - c + 2*y, z*c + y - 11 = 0 for c.
3
Let x be 1/7 - (-2)/21*93. Solve x = -3*w - 3*g, 4*w + 5*g = -2 - 9 for w.
-4
Suppose 6*q - 6 = 3*q. Let c(k) = k**3 - 6*k**2 - 8*k + 10. Let h be c(7). Suppose -z = q*z - h. Solve -7 = 2*u - 2*j + z, 2*u - j = -7 for u.
-3
Let l(g) = -2*g**3 - 2*g**3 - 4*g**2 + 5*g**3 + 2. Let j be l(4). Solve n + j = -5*h + 3, h = -5*n - 19 for n.
-4
Suppose -v + 4*z = 2 - 12, 4*v + 2 = -5*z. Solve r = -v*r - o, 11 = -r - 4*o for r.
1
Let z(m) = m**3 - m**2 + 5. Let s be z(0). Let o = s + 0. Suppose 3*l - 4 = 2. Solve 0 = 2*h + 2*x - 3 + 1, 9 = -o*h + l*x for h.
-1
Suppose 7*m - 6*m = 8. Solve -3*g = -3*u + 12, 0*u + m = -g - 3*u for g.
-5
Let j(o) = -6*o**2 - o. Let y be (-27)/33 + (-4)/22. Let z be j(y). Let m(g) = g**2 + 2*g - 5. Let c be m(z). Solve -3*q + 2*l = 2, 5*q + 15 = -l - c for q.
-4
Let y = 15 - 11. Suppose -1 - y = -2*d - 3*g, -4*g = 2*d - 2. Solve 4*t - r = 16, -3*t - 2*r - d = 2*r for t.
3
Let p be 102/24 - 3/(-4). Solve -l = -5*u, -p*u = -5*l - 15 - 5 for l.
-5
Suppose -2*z - 5*x + 25 = 0, 3*z = -2*x - 0*x + 21. Solve z*k - 3 = -h, -h = k - 3*k + 4 for h.
-2
Let q = 6 + -2. Let j be 2 + (-1)/(-4)*q. Solve -j = w - 6, -3*l = -w for l.
1
Let a be (9*2/(-4))/(69/(-92)). Solve h + a = -h, 4*h = 5*r - 7 for r.
-1
Suppose -5*h = -0*c - c - 55, 4*c = h - 30. Let v be (-7)/(-2) - (-15)/h. Solve v*l + 6 = 2*u, 2*u + l = 3*l + 6 for u.
3
Let l(a) = -a**2 - 7*a - 4. Let i be l(-6). Suppose -2*o + 2 = -i. Let w = 2 + o. Solve -5*v = -3*f + 13, -w*v - v - 14 = -4*f for f.
1
Suppose 0 = -3*b + 6, -c + 3 = -2*b + 4. Let d be c/(-6)*6 - -6. Solve -4*w + 24 = 5*v, 0*w = -2*v - d*w + 11 for v.
4
Suppose -2*b - 48 = b. Let v = 27 + b. Let c be -2*v*(-6)/12. Solve -s = -5*l + c, 2*l = -6*s + 2*s + 22 for s.
4
Let g be (-78)/36 + 2 - 19/(-6). Solve 6*m = -3*s + 2*m - 18, 0 = 2*s - g*m - 5 for s.
-2
Let j(p) = -p**2 - 6*p + 1. Let d be j(-6). Suppose 0 = -5*t + 2*r + 115, 4*r + 81 - d = 4*t. Suppose 4*v - v = 6. Solve 4*o = -v*m + 10, -o + t = 4*o for m.
-5
Let m be ((-1)/2)/((-3)/6). Let h be -3 - (0 + (-4 - m)). Solve -4*b - 2*t = 8, -2*b + 1 = -h*t - 7 for b.
0
Let m(y) = -y + 14. Let k be m(6). Solve 0*a - 29 = 5*p + 4*a, 0 = 2*p - 2*a + k for p.
-5
Suppose x - 12 = 4*x, 0 = -g - 3*x - 7. Solve g*d - 3*d = -5*r + 29, 0 = 5*r + 4*d - 33 for r.
5
Let g(a) = -a. Let f be g(-6). Let k be (3/1)/f*0. Suppose k = r - 3. Solve -r*v - m - 10 = 0, 3*v = 7*v + m + 12 for v.
-2
Let a = 19 - 15. Solve -3*h - 5 = a*z, -1 = -h - z - 3 for h.
-3
Let g = -21 + 30. Let w = 17 + -12. Suppose 0 = -3*a + g, 3*z - w