Let v be (-14)/(-4) + (-1)/x. Solve -v*k + 2*g = 4*g - 8, -2 = g for k.
3
Suppose 5 = -2*p + 3*z - 2*z, -4*z = -2*p - 20. Suppose -o + p + 20 = 0. Suppose 3*n - 32 = -5*n. Solve -n*u - 4*x + o = 0, 1 = u - x + 6 for u.
0
Let k be (-387)/(-135) - 4/(-30). Solve -4*z - 3*a = -1, -4*z - 5*a - k = -2*z for z.
1
Suppose -26 = -2*o + 4*h, -5*o - h + 21 = -0*h. Suppose c = o - 1. Solve 0 = c*u + 11 + 5, -4*l - 3*u = 8 for l.
1
Suppose -4*c = -6*c + 20. Let u(y) = y - 13. Let h(g) = g - 14. Let d(j) = -5*h(j) + 6*u(j). Let v be d(c). Solve 2 = -n + 3*i, -n + v*i - 1 = -0 for n.
1
Let j = 53 + -13. Suppose -35 = -b + 4*o, -3*b + j + 54 = -o. Solve -2*f - 10 = -0*f, 2*s - 5*f - b = 0 for s.
3
Let o(w) = -w**2 - 4*w + 1. Let d be o(-7). Let k be (-95)/d - (-2)/8. Solve 4*z - u + 6*u - 1 = 0, -4*u - 32 = -k*z for z.
4
Suppose -4*b + 0*b = 0, c = 5*b + 8. Let i = 8 - 6. Suppose -p - i = -2*p. Solve -3*s - 5*x - 18 = -p*s, 2*s = x + c for s.
2
Let h(m) = 2*m - 11. Let i be h(6). Solve 4*f + 1 = 3*c - i, -2*f = c - 4 for f.
1
Let o be 2 + -1 + -2 - -22. Suppose 4*d = -d + 15. Solve 3*r = -d*s + 11 + 1, -5*s + o = 4*r for r.
-1
Suppose 5*a - t - 90 = 0, 8*a + 2*t = 5*a + 41. Suppose -5*g + 6*g = a. Solve 4*o - 5 = h + g, 2*h - 2*o = -14 for h.
-2
Suppose 7*w - 19 = 2. Solve 4*j = -16, -w*q - 11 = -j - 0*j for q.
-5
Suppose 3*u + 1 - 7 = -2*i, 5*u - 10 = i. Solve -k = 4*f + 4, 0 = -u*k - 2*k - f - 16 for k.
-4
Suppose -h + 0 = -5*m - 10, 0 = -5*m - 10. Solve h = -2*s + 3*s + 2*g - 3, 2*g = 8 for s.
-5
Let o(m) = m**2 - 13*m + 16. Let g be o(12). Solve -3*b + 5*u - 21 = 2*u, -u - 18 = g*b for b.
-5
Suppose 0 = -2*i + 92 - 74. Let q = 0 - 0. Solve q = 2*p - f - 2*f - i, -2*p + 4*f = -10 for p.
3
Suppose 6*x = 21 - 9. Solve 4*l + 3 + x = -p, 5*p = 2*l - 3 for l.
-1
Let y = -24 - -40. Solve -3*c - 5*u = -7*c + y, 4*c - 4*u = 12 for c.
-1
Let n be 6/18 - 64/(-6). Let q be 4/22 - 46/n. Let o be q/(-8)*(1 - 1). Solve 4*w + o*f + 14 = f, 0 = 2*w - f + 8 for w.
-3
Let p = -196 + 200. Solve -3*s + 2*o + p = 0, -5*s - 20 = -o + 3*o for s.
-2
Suppose -2*n + 20 = -0. Solve -i - i - 2*z = n, -i - 21 = 5*z for i.
-1
Suppose -3*c + 7*c = -8, 0 = -w + 2*c + 8. Let l be (-8 - -11)*w/6. Solve -l*v + 3*v = 3*o - 10, 3*o - 5 = -4*v for v.
-1
Suppose s = 4*s. Let z(b) = b**2 - b. Let i be z(2). Solve -f - 2 = -s*a + a, i*f = -a - 6 for a.
2
Let f be 0 + (-1)/(2/10). Let k = f + 87. Suppose -6*h + 4*h = -k. Solve 5*u = -4*d - h, 0 = d - 3*u + 6*u + 19 for d.
-4
Let j(h) = h**3 + 5*h**2 + 2*h - 8. Let x be j(-4). Solve 3*s - 2*p - 11 = x, -2*p + 5*p + 12 = 0 for s.
1
Suppose 2*v - 12 = -2*v. Let n = v + -1. Solve 4*i - 2*i - 5 = -p, -n*p - 6 = 0 for i.
4
Let i(p) = p**3 - 8*p**2 + 9*p - 9. Let m be i(7). Let l(a) = 2*a - 7. Let t be l(m). Solve 2*h + 2*x = -2, 5*h + 7 = t*x - 6 for h.
-2
Let y = -4 - -6. Suppose 10 = 3*p - 5. Suppose -4*v = 5*w - 21, p*v = -w - 0*v. Solve x - 10 = w*j - y*x, j + x = -2 for j.
-2
Let x = 1 + -1. Let g be (12 + -28)*6/(-4). Solve -4*f = t + g, x = 4*f - 2*f - 4*t - 6 for f.
-5
Suppose 2*l = -2*k - 0*k + 22, 0 = 3*l + k - 31. Let j = 4 - 1. Solve -10 = -2*q, 4*h + h - j*q - l = 0 for h.
5
Suppose -2*m = -m + 4, -5*v + 2 = 2*m. Solve 2*z = r - 11, -r + 24 = -3*z + v*r for z.
-3
Let r be 6/18 - (-4)/6. Let x be -2 + r - (-4)/4. Suppose 0 = -5*a - x*a + 15. Solve 0 = -i - 2*g + 5, a*i = -g + 4*g + 15 for i.
5
Let y = 55 + -36. Solve 0 = q + 3*t + 17, -4*q - 5*t - 21 - y = 0 for q.
-5
Let i = 24 + -17. Suppose 8 = v + 3*v - 4*z, 2*v + z = i. Solve 3*w + 21 = v*m, -w - 8 = w for m.
3
Let d(b) = -b**2 - 3*b + 4. Let q be d(-4). Suppose -18 = -g - 5*g. Let w = g + q. Solve -6 = -2*v + w*h, 1 = 2*v - h + 3 for v.
-3
Let c = 80 - 76. Solve 2*g + 17 = g + c*n, 18 = -3*g + n for g.
-5
Suppose 4*a - 21 = -5. Let h(b) = b**2 + b - 2. Let j be h(2). Solve 0 = 5*g + 5*l, a*g - j*l + 12 = 4 for g.
-1
Let x be (-24)/66*(-11)/2. Let m(r) = -2*r**3 - 4*r**2 - 3*r - 1. Let i be 1 + -5 - 1*-2. Let n be m(i). Solve o = s - 3, x*s - o = -n*o + 18 for s.
5
Let j be ((-4)/10)/((-6)/30). Solve -2*q - 3 = -5*r, q - 2*q = j*r - 3 for r.
1
Let d be 54/10 - (-4)/(-10). Let u(b) = b**2 - 1. Let o be u(6). Suppose 4*z = 17 + o. Solve -s = 1 - 4, d*s - z = 2*j for j.
1
Let m be 5/4 - (-105)/28. Solve 0 = 4*r - 2*g - 14, -2*r + 3*g - 24 = -m*r for r.
5
Suppose 4*x + 4*b - 44 = 0, -46 = -3*x - 4*b - 8. Suppose x*l = 3*l. Solve -4*w + 2*m - 2 = -l, w + m - 4 = 0 for w.
1
Let c(g) = -g**3 - 13*g**2 + 14*g + 8. Let d be c(-14). Suppose d*o - 7*o = 20. Solve -5*m = -2*m + 4*u + 17, -4*u - o = 0 for m.
1
Let t = 9 - -10. Let o = 21 - t. Solve 4*b = -2*g - 2 - 0, o*g - 3 = b for b.
-1
Let s(x) = -x**2 + 8*x + 26. Let u be s(10). Solve 0 = g - u*g - 2*m - 5, -m = -4*g - 17 for g.
-3
Let m(y) = y**2 - 7*y + 3. Let l be m(5). Let p = 11 + l. Solve 3*a - 3 = -d, -2*a - p = -d - 1 for a.
0
Suppose 27 = -7*u + 41. Solve -4*r - u*n = 0, 5*n + 6 = -4*r - 0*r for r.
1
Suppose -4*w + 4*k = k - 81, -3*k - 27 = -w. Let n = w + -8. Solve 2*v = -5*o + 29, -n = -4*o + 5*v - 0*v for o.
5
Let m be (-2 - (-21)/15)*-5. Let q(g) = 5 + 2 + g**2 - m. Let u be q(0). Solve -5*d + 4*d - 2*t = -2, -5*d + 24 = -u*t for d.
4
Let m(f) = f**2 + 8*f - 3. Let c be m(-9). Solve -5*r + 2*h - 1 + c = 0, -5*r - 25 = 4*h for r.
-1
Let d be 10*(1/2)/1. Let h(c) = -2*c - 15. Let v be h(-10). Solve 4 = 4*u - d*t + v, t + 3 = 0 for u.
-4
Let q = 4 - 4. Suppose -4*z + 1 + 19 = q. Solve -35 = -5*i - 5*o, z*i = o + 2*o - 5 for i.
2
Let y be (-6)/8 + (-21)/(-28). Suppose 2*x - 3*x = 0. Suppose 0 = -x*k + 2*k - 6. Solve y*w = -k*u + 4*w + 32, -w = 5 for u.
4
Let r = 5 + 15. Let b = -17 + r. Solve -5*n - 3*q = -b*n - 9, 2*q + 10 = 4*n for n.
3
Let x be (-5 - -1) + (-3 - -4). Let v = x - -3. Solve -5*i - 3*l + v = -3, -2*i = 2*l - 2 for i.
0
Let g be 1/(78/(-27) + 3). Solve v - 3*m = m - g, 3*v = -m - 14 for v.
-5
Let u(w) = -w**3 + 8*w**2 - 7*w + 7. Let k be u(5). Let c be k/4 + 2/8. Let i be 3*(-6)/(-15)*25/10. Solve i*t - 6*h - 13 = -h, c = 2*t - 4*h for t.
-4
Let g = -52 + 54. Solve 4*s - g*c - 31 = -s, 3*s - c - 18 = 0 for s.
5
Let z(a) = -5*a**3 - 3*a**2 - 2*a - 2. Let l be z(-2). Solve 3*g - 4*m = 22, 5*m + l = 3*g + 2*g for g.
2
Let j(n) = n**2 - 2*n + 3. Let i = 11 + -11. Let m be j(i). Solve -m*v - 5*z - 19 = -v, -2*v - 13 = 3*z for v.
-2
Let h be (12/21)/(6/21). Solve h*l = -g + 3, -5*g - l = -4 - 11 for g.
3
Let p be 10/(-35) + (-4)/(-14). Let n be (-2 + 3/2)*p. Suppose 0 = -n*c - 3*c, 5*c = 5*l - 125. Solve -4*y = h - 15, h + y - l = 5*h for h.
-5
Suppose 7*o - 2*o - 40 = 0. Solve -3*b - o - 14 = 5*r, b = -r - 4 for b.
1
Let u = 0 + 6. Suppose -u*r - 10 = -4*r. Let a be (0 - 0) + r + 5. Solve 3*g + 18 = -m - 2*m, -4*g + 5*m + 21 = a for g.
-1
Let p(o) = -o**2 + 12*o - 15. Let z be p(10). Solve -a = -2*a + w, -z*w - 20 = 5*a for a.
-2
Let x(c) = -c**3 - c**2 - 2*c - 3. Let k be x(-2). Let j(b) = 7 - b - b + 4*b - 3*b. Let z be j(k). Solve -2 = z*d - 4*a + 22, -20 = d - 4*a for d.
-4
Suppose -1 + 5 = l. Let w = 125 - 83. Suppose k - 4*k = -w. Solve -5*s - 16 = 2*m - 0*m, -l*m - k = s for s.
-2
Suppose 42 + 26 = -4*c. Let q = 35 + c. Suppose -5*n = -q - 7. Solve 3*l = 3*r - r + 5, -n*l + r + 20 = 0 for l.
5
Let f = -12 + 15. Solve f*r = -3*s - 21, -r = -5*s + 2*r - 3 for s.
-3
Suppose -4*v - 35 + 3 = 0. Let d = -6 - v. Solve 5*k - 4*b = 4, -d*b - 3 + 1 = -4*k for k.
0
Let m = 13 - 3. Let s = m + -5. Solve 3*v = -4*y + y, -2*y - s*v = 0 for y.
0
Suppose -5*k = a + 4*a - 15, 5*k - 2*a - 8 = 0. Solve 0*t - d = k*t + 6, 4 = 2*d for t.
-4
Let q(u) = u**3 - 12*u**2 - u + 16. Let a be q(12). Let j(d) = -d**3 + 6*d**2 - 7*d + 10. Let v be j(a). Solve 5 = -p - 2*y - 3, 0 = -5*p + 3*y - v for p.
-4
Let g(x) = x**3 - 4*x**2 - 6*x + 1. Let q be g(5). Let b be 3 + -4 + 0 - q. Solve -6*o - 35 = b*n - o, -2*o + 2 = -2*n for n.
-5
Let m(v) = -v**3 - 10*v**2. Let k be m(-10). Solve k = -5*q - z + 29, q + 0*z + 3 = 2*z for q.
5
Let y be 3 + -3 + 6/2. Solve -2*q - 16 = -l - l, 4*q = -y*l - 4 for l.
4
Let s be (-2)/(3 + 87/(-27)). Let q = -9 + s. Solve -5*b = q, -4*p - 3*b - 8 + 0 = 0 for p.
-2
Let c be 6/4*(-40)/(-30). Solve -3*g - 15 = 3*o, 3*g + c*o = 7*g + 20 for g.
-5
Let c be -3 - ((-2)/(-2))/(1/(-3)). Solve 2*r = c, -5*r = -5*f - 3*r + 20