pose a*i - 56 = -0*u + 4*u, -4*i = -5*u - 70. Let z be (-54)/(-10) + u/35. Solve -3*c - 2 = -z*c for c.
1
Let b(l) = -l**3 + 6*l**2 + 2*l - 8. Let q be b(6). Suppose -q*m + 3*m + 9 = 0. Solve -6*n = -3*n - m for n.
3
Let k = 0 + 8. Let i be ((-2)/(-3)*9)/1. Let y = -3 + i. Solve -y*z = -z - k for z.
4
Let t(j) = -j**2 - 21*j. Let l be t(-21). Solve l*w - w - 1 = 0 for w.
-1
Let k be (-55)/(-45) - 2/9. Let h be k - ((-4 - -5) + -2). Solve -h*b = 3*b for b.
0
Let g(b) = b**2 + 3. Let h be g(3). Let x = h + -23. Let q = x - -11. Solve -3 + q = -3*r for r.
1
Let r be 1/(2/(-8)) - 0. Let t be ((-279)/12)/(-3)*r. Let o = 46 + t. Solve -o = d + 2*d for d.
-5
Suppose 3*v - v + 5*p = 20, -3*p = 4*v - 54. Let g be (-16)/6*v/4. Let b = -7 - g. Solve b*n + 6 = -0 for n.
-2
Let j be 6 - (-1 - (2 - 4)). Suppose 4*p + 26 = 3*o, -j*p = 17 + 8. Suppose 3*h = o*h + 5. Solve -h*s = -3*s for s.
0
Suppose -4*u = -2*q - 12 - 2, 4*u = -4*q - 4. Solve -4*j + 2*j = -u for j.
1
Let k = 2 - 3. Let c be 0 + 2*-2*k. Let q be (-1)/(-2) + 9/6. Solve -c*j - 2 = -q*j for j.
-1
Let p(z) = -1 + z + 2 + 0 + 4 + z**2. Let f be p(4). Suppose -5*j = -2*t - 25, -3*t + j + f = 6*j. Solve -4*k + 10 + 2 = t for k.
3
Suppose 13*r - 8 = 9*r. Solve r*w - 4*w = -6 for w.
3
Let h = -4 + 8. Solve -h*w - w = 0 for w.
0
Let t = 30 - 18. Let j = t + -9. Solve -n - 7 = -j for n.
-4
Suppose 3*t = -3*r - 2*r + 35, 3*r = -t + 5. Solve 5*l - l = -t for l.
-5
Let j(l) = l**3 + 5*l**2 - 8*l - 6. Let s be j(-6). Let g(z) = -z**2 - 6*z + 7. Let v be g(-7). Solve v = s*n - 2*n for n.
0
Let d(m) = 4*m**2. Let s be d(1). Let w be (-22)/(-5) + s/(-10). Suppose -9 = -w*i + 7. Solve 3*v = i + 11 for v.
5
Suppose -2*t + 0*t = 2. Let a be 0 - t - 12/(-1). Solve -a = 5*d + 12 for d.
-5
Let d be (-1)/(0 - 1/(-10)). Let h = 16 + d. Let r(w) = w**3 - 6*w**2 - 7*w + 2. Let l be r(7). Solve l*b + 0 = -h for b.
-3
Let r(h) = -h + 1. Let c be r(-5). Solve -2*s + c = -4 for s.
5
Suppose -3*m + 7*m = 20. Let s(c) = -c**2 + 4*c - 3. Suppose -2*t + 2*r = -r, t + 4*r = 11. Let x be s(t). Solve x = -m*g + 3*g - 6 for g.
-3
Suppose -o - 6 = -4*o. Solve -o*b = 2*b for b.
0
Let y = 17 + -11. Suppose 2*k - 6 = y. Suppose 0*c - k = -2*c. Solve 0 = -w - c*w - 12 for w.
-3
Suppose -87 = -4*c - 11. Suppose -4*q + 3*x + 13 = 0, 4*q + 0*x = 5*x + c. Solve -l - q = -0*l for l.
-1
Suppose 8*k - 36 = -4*k. Solve -k*i - 8 - 1 = 0 for i.
-3
Suppose -6 + 2 = -2*c. Solve 2 = -c*n - 4 for n.
-3
Suppose -2*n - 9*n + 33 = 0. Solve 0 = -x - n + 1 for x.
-2
Let h(v) = v**2 - v. Let q = -2 + 2. Let x be h(q). Solve 2 = a - x for a.
2
Suppose 8*c - 2 = 6*c. Solve 4*s = -5 + c for s.
-1
Suppose -a = a - 6, -3*k + 24 = 4*a. Suppose 0 = -o + 3*o - 3*c - 4, k*o = 5*c + 10. Suppose -2 = -4*p + 6. Solve -p*w - o = -7*w for w.
1
Let c = 49 + -26. Suppose 0 = -4*u + 6*u. Solve u = -5*i - 3 + c for i.
4
Let t(c) = -c**2 + 6*c. Let s(l) = 1. Let g(i) = -2*s(i) + t(i). Let p be g(5). Let z(v) = -v**3 + v**2 + v + 2. Let w be z(0). Solve -p*q - 4 = -w*q for q.
-4
Let g = 4 + -4. Solve 0*w - 3*w = g for w.
0
Let y(b) = -b + 7. Let r be y(7). Solve -2*p - 2*p + 8 = r for p.
2
Suppose -2*a - 4*m = 6, -3*a - 5*m = -4*m - 11. Suppose 12 = a*j - 13. Solve 3 + j = 4*u for u.
2
Let b(v) = 4*v**2 - 2*v + 1. Let h be (1/(-3))/((-5)/15). Let k be b(h). Suppose -k*o + 10 = 2*o. Solve 0 = o*t - 3*t - 5 for t.
-5
Suppose -20 = 4*z, z + 2*z = 3*r - 15. Suppose r = -0*d + 5*d - 15. Solve -d*n = -n for n.
0
Suppose -7 = -4*u + 1. Solve -u*d + 4 = -0*d for d.
2
Let f = -5 - -8. Solve -a + f - 5 = 0 for a.
-2
Let d = -2 - -5. Let i be 1/(-1*d/(-6)). Suppose -4*o = -i*o - w, -o + w - 2 = 0. Solve o*a - 6*a + 4 = 0 for a.
1
Suppose 2*z = -z + 27. Suppose -5*u + z = -2*r - 0, 1 = -3*r + 5*u. Solve 0*m + 4*m = r for m.
2
Let l(a) = a**2 - 9*a + 10. Let c be l(8). Solve 2*j - j + c = 0 for j.
-2
Suppose v = 6*v - 30. Let c = -4 - -6. Solve c*p + p = v for p.
2
Let u = 8 - 4. Solve -u = 5*y + 21 for y.
-5
Let f = 11 + -3. Solve f*c = 4*c for c.
0
Let a = -70 - -70. Solve a - 2 = 2*m for m.
-1
Suppose -3*u = -3*a, 3*u + 7 - 3 = 5*a. Suppose -u*f - 2*f + 20 = 0. Suppose 0 = h - f. Solve 2*z + 6 = h*z for z.
2
Let k = -45 + 48. Solve 0 = -4*h + k*h - 1 for h.
-1
Let g = 5 + -3. Let d be (21/7)/((-6)/(-2)). Let x be (10 + -10)/(d + -2). Solve -b - g - 2 = x for b.
-4
Suppose 10*k = 16 + 14. Suppose -2*f = -2*b + 12 + 2, 3 = 4*b + f. Suppose 2*h - 4*n + b = -k*n, 0 = -5*h - 2*n + 4. Solve 2*x - 4 + 2 = h for x.
1
Suppose -2*j - 3 = -p, 0 = -3*j + 2*j - p + 3. Solve -y + j*y = -5 for y.
5
Let s(d) = -1 + 5 + 4*d - 3. Let y be s(1). Suppose -13 + y = 2*r + 4*n, -r + 16 = -3*n. Solve -r*k + 2 = -5*k for k.
-2
Let u be 4/30 + (-73)/(-15). Suppose 9 = 2*h + 2*b - b, -u*h + 15 = b. Solve -h*x - 3*x + 25 = 0 for x.
5
Let v = -6 - -10. Suppose b = 5*i - 17, -5*b + 0*b + v*i = -20. Solve 3*x = -7 - b for x.
-5
Suppose 3*c = 2*c + 2. Let z(b) = -28*b + 2. Let u be z(c). Let p be 12/u + 182/9. Solve -j = 4*j - p for j.
4
Suppose -3*p - 11 = -20. Suppose -3*u + 2 = -3*r + 5, 1 = 4*r - 5*u. Let g be (-2)/(-4)*1*r. Solve g*z = -z + p for z.
1
Suppose 13*v - 10*v - 6 = 0. Solve v*c = 4*c + 6 for c.
-3
Let c(x) = -x**2 + 11*x - 13. Let f be c(9). Solve -2*h + 12 = -f*h for h.
-4
Suppose 0 - 12 = -3*p. Solve -p*r + 7 = -5 for r.
3
Let h(n) = n**3 - 2*n**2 - 4*n + 1. Let w be h(3). Let k be 6 + w + 0 + 0. Solve -3*o = -o - k for o.
2
Let m be -4 - ((-3)/3 + -3). Solve 0 = -4*h - 16 - m for h.
-4
Suppose -4*d = -5*u - 16, -2*d + 0*u + 4*u + 8 = 0. Let q be 0 + 3/(-3 + d). Solve -i + q*i + 2 = 0 for i.
-1
Suppose 4*c = -2*y + 42, 2*c - y = -c + 39. Solve -3*i = i - c for i.
3
Let r(x) = -x**2 - 1. Suppose 4*k - k = 4*h - 11, 0 = 3*k + 15. Let b be r(h). Let z = 2 - b. Solve z*w - 5 = 3 for w.
2
Suppose 5 = -5*b, 5*q - 4 - 26 = 5*b. Suppose -q*j = 5*f + 5, 3*j = f - 0 - 15. Suppose 0 = 3*r + 2*t - 8, 2*t - 3 - 9 = -5*r. Solve 0 = -r*o - 1 + f for o.
1
Suppose h - 2*v = 12, -h - 7*v = -2*v - 5. Suppose 0 = -5*b - 0 + h. Let p be (2 - -4)*5/b. Solve 5*m - 2*m = p for m.
5
Suppose 3*r = 5*o - 15, -r - r - 4*o = -12. Suppose -4*p + r*p + 4 = 0. Let z be 1/(p/5*1). Solve x - z = -0*x for x.
5
Suppose -3*k + 2*s + 180 + 36 = 0, -3*k + s + 219 = 0. Suppose t = -3*l + k, 102 = 4*l + 2*t - 4*t. Solve 0 = 4*x + x - l for x.
5
Suppose 3*p + 22 = 58. Solve 0 = 3*n - p for n.
4
Let g be (-29)/(-3) - 2/(-6). Suppose m + 10 = 6*m. Let t be m/4*-2 + 7. Solve -g = 4*q + t for q.
-4
Let g(y) = -4*y. Let f be g(-1). Let k(v) = v - 14. Let x be k(16). Solve -f*r = -5*r - x for r.
-2
Let m(h) = -2*h**2 + h. Let n be m(0). Suppose 0 = -p - 2*j - 4 - 1, 2*p - 4*j - 22 = 0. Solve n = p*c + 2*c for c.
0
Let z be -10*(0/(-9) - (-1)/(-2)). Solve 3*q - z - 1 = 0 for q.
2
Let b = -33 + 53. Solve b = -4*j - j for j.
-4
Let s be 2/(-8) + (-65)/(-20). Suppose -19 = -2*u + 11. Suppose u = 2*w + s*w. Solve -8*a + w*a = 0 for a.
0
Let s be 19/3 - (-26)/39. Suppose -2*w = -w. Let q = w - -2. Solve -q + s = -g for g.
-5
Let u be (-4)/(-6) + 158/6. Suppose -5*y + u - 7 = 0. Suppose 0*q + 12 = y*o + 3*q, -q - 3 = -o. Solve 4*v - o = 1 for v.
1
Let k be 2/(-1*6/(-9)). Suppose -a - 16 = -4*b, -4*b - k*a + 8 = -2*a. Solve -12 = -3*g - b for g.
3
Let j = 2 + 7. Suppose -3*u - 3*i + j = 0, u - 2*i + 6*i = 0. Solve -u = 5*y - 4*y for y.
-4
Suppose 0 = -w - 3*y - 3, 0*w - 9 = -w + 3*y. Suppose -4*h - l = -35, h + w*l - 20 = -l. Solve h*d = 3*d - 5 for d.
-1
Let y = 1 + 3. Let g(w) = -4*w + 1. Let q be g(-1). Suppose 2*s = q*k + 18, -4*k + 17 + 1 = 2*s. Solve -s = h - y*h for h.
3
Suppose 3*y - 12 - 30 = 0. Suppose y = 3*c + 2. Let j be -9*(-2 - (-10)/6). Solve c*o - 11 = -j for o.
2
Let h(y) = -y**3 + 6*y**2 + y - 4. Let u be h(6). Solve u*f - 6*f + 8 = 0 for f.
2
Let r = 58 + -36. Suppose -2*o = -18 - r. Let v be 0 - ((-12)/2)/2. Solve o = -v*h - 2*h for h.
-4
Suppose -4*s + 65 = 5*f + 6, 5*f + 37 = 2*s. Suppose -4*m + 23 = 5*l, -m + 5*l - s = -4*m. Solve 4*r + m = -5 for r.
-3
Suppose r + 2 = -0. Let j be (-115)/(-15) + r/(-6). Solve 3*d - d - j = 0 for d.
4
Suppose -t - t = -5*t. Solve t*h = -2*h for h.
0
Suppose 18 = 6*t - 4*t. Solve -2*d + t - 3 = 0 for d.
3
Suppose 0*z = z. Let j(p) = p**2 - p - 1. Let c be j(z). Let q(a) = a**2 + 2*a + 1. Let 