8, c = 2*o + 3*y for o.
3
Suppose 0 = 2*n + 8 - 2. Let f be (-2)/(-4)*(n + 3). Suppose 3*m - 15 + 0 = f. Solve -2*o = 2*h, -h - 2*h + m*o + 8 = 0 for h.
1
Let o be ((-1)/(-2))/((-11)/(-374)). Let f = o + -14. Let n be 2/(-3) + 26/3. Solve 2*a = s + n - 1, f*a + 5*s - 17 = 0 for a.
4
Let n(i) = -i**2 - 6*i - 5. Let b be n(-3). Solve -9 = -o + 3*f, f = 3*o + b*f + 9 for o.
0
Let n = 26 + -13. Let i(m) = m**2 + 2*m - 11. Let u be i(-5). Solve 3*j - 2*y = u, 3*y - n = -4*j - 2 for j.
2
Let t = 12 - 10. Suppose -4*d + 8 = -t*d. Solve -4*s - 4 = d*u, 2*s = u - 0*u - 8 for u.
2
Let k be (-68)/(-12) - 4/6. Solve 4*b - k*b - 4 = 0, 0 = 4*m - 5*b - 32 for m.
3
Let c = 12 + -8. Let k be ((-2)/(-3))/(c/42). Solve g + k*s - 9 = 2*s, 4*g - s = 15 for g.
4
Suppose 3*a - x + 5 - 18 = 0, 2*a - 6 = 2*x. Let c(f) = -3*f - 4. Let j be c(-5). Solve 17 = -a*g + 4*l, 5*g - 3*l + 8 + j = 0 for g.
-5
Suppose -2*x - 8 = -4*x. Suppose 4*v + 32 = x*w, 3*w = 2*v + 7 + 16. Solve 0 = j + 2*p - w, -3*j + 7 = 4*p - 5*p for j.
3
Let b = 11 - 8. Solve 4*j - 16 = b*s + 10, 0 = 2*s - j + 9 for s.
-2
Suppose 70 - 25 = 5*u + 5*y, -4*u = y - 27. Let k = u + 2. Solve 4*f = -5*p + 20, -3*p = -p - k for f.
0
Let q be 6/30 - (-19)/5. Let j = 1 + q. Solve -j*w = -4*o - 13, 4*w - 2 = -o - 0 for o.
-2
Let t(a) = 4*a**2 - 2*a + 1. Let w be t(1). Solve 12 = -s - w*d, 3*s + 2*d = -s + 2 for s.
3
Let z = -54 + 57. Solve 4 = -3*t - g + z, 4*g + 15 = -t for t.
1
Suppose -5*q + 5*g = 2*g - 33, 16 = 3*q + 2*g. Suppose -5*k = 0, 0 = -q*m + 3*m - 3*k - 9. Let z = m + 8. Solve 4*t = 5*d - 12 - z, -4*t - 15 = -3*d for d.
1
Let w be (-20)/6 - 4/(-12). Suppose -9 = 6*v - 3*v. Let g = v - w. Solve -5*f + 5*q = -5, f + q = -g*q - 7 for f.
-3
Let y(z) = -z**3 + 3*z**2 + 5*z - 2. Let c be y(4). Suppose -2*g + 12 = c*g. Solve 25 = 5*f, 3*s - f - g = 7*s for s.
-2
Let v = -3 + -4. Let r = v - -7. Suppose r = -3*z - 2*z + 10. Solve -3*d + f + z = 0, -2*f + 0*f = 2*d + 4 for d.
0
Suppose -22 = -r + h, -2*r + 54 = h + 4. Suppose -20 = -4*q + x - 2*x, -4*q = 2*x - r. Solve m - v = 1 + 2, 4*m + q*v = 12 for m.
3
Let l = 11 - -9. Suppose 4 = -x + l. Solve -2*o = -2*h, 3*o - x = -3*h + 2*h for o.
4
Suppose 5*s + 3*z = 114, -2*s - 5*z - 26 = -64. Let l = -22 + s. Let k be (4/2)/((-4)/(-10)). Solve -l*y + 8 = 2*t - 6*y, -k*t + 20 = y for t.
4
Let x = -4 - -7. Let b be 40/(-6)*12/(-10). Suppose 0 = -2*m + b. Solve -5*n - 30 = -m*g - 0*n, -x*g = -n - 17 for g.
5
Let n(v) = v**2 - 3*v - 2. Let i be n(4). Solve -4*d = -q + 3, -4*d = -3*q - i*q + 15 for q.
3
Let z(q) = 2*q - 4. Let f be z(4). Let i(o) = -o + 9. Let x be i(9). Solve 2*t + m = 0, x = -m - f for t.
2
Let u be (2/3)/((-2)/36). Let r = u + 14. Solve -n + 22 - 4 = 4*a, 4*n + r*a = 2 for n.
-2
Let i be 121 + ((-5)/1 - -3). Suppose -73 - i = -4*u. Let d be u/8 + (-1)/1. Solve b + 3 = d*y - 2*b, 3*y - 21 = -3*b for y.
3
Let r be 7 + 1 + -6 + 3. Let i be (-42)/(-7)*(-4)/(-6). Solve 2*x + r = i*y + 13, 2 = -x for y.
-3
Let s = -103 - -106. Solve 3*n - 6 = 5*c + 5, 0 = s*c + 3 for n.
2
Suppose -5*l + 5*d = -15, 5*l - d + 6*d = -25. Let i(o) = o**2 - o. Let p be i(l). Solve 3*v + 15 = -5*y - 10, -p*v = -5*y - 25 for y.
-5
Let b be 3*(2 - 4/6). Solve -2*w + 10 = -v + 2*v, 0 = b*v - 5*w + 12 for v.
2
Let l be (2 - -2)*(3 + -2). Suppose 0 = -l*g - 2*i + 22, -5*g - i = i - 26. Solve -3*y + 4*j - 23 = 0, 2*y = -g*j - 1 + 19 for y.
-1
Suppose -4*s = 4*d - 0*s - 16, -3*d + 19 = -4*s. Let w = d - -1. Solve -2*k + w = 5*z, -6*z = -z + 5*k for z.
2
Suppose 21*d - 16*d = 0. Suppose -p + 4 = -3*u, 4*u + d*u + 3*p = 12. Solve -4*k = a - 4, u*k + 20 = 3*k + 5*a for k.
0
Let g be (-100)/(-55) + (-2)/(-11). Solve 4 = -g*t - u, -5*t + 2*u = -3*u + 10 for t.
-2
Let m be ((-8)/(-6))/(-4)*-15. Let b be 6*(2 - (-9)/(-6)). Solve 0 = m*h + b*u + 27, 3*u = -5*h - u - 31 for h.
-3
Let x = 11 - -9. Solve -4*v = -5*v + b - 7, 0 = 4*b - x for v.
-2
Let p be 4/(-3)*(-30)/20. Suppose 0 = -0*b - p*b + 16. Solve 2*n - y + 0 = b, -2*n - 4*y = -8 for n.
4
Suppose 0 = -6*w - 9 + 33. Solve w*n = 5*h - 36, 3*n + 11 = -h + 3 for n.
-4
Let n(c) = 3*c**2 + 2*c - 5. Let o be n(-5). Suppose 2*a = 4 + o. Solve 0 = -3*b + 5*y - a, -3*y - 28 = 5*b - 5*y for b.
-4
Let i(l) = 58*l**3 + l**2 - l. Let b be i(1). Suppose 0 = -h + 2*a + 22, 5*h = h + 2*a + b. Solve -j - p - 8 = -3*j, 0 = 4*j - 4*p - h for j.
5
Suppose 3*z = 6 + 3. Suppose -z*y + 30 = 5*c + 2*y, 12 = 4*y. Solve 2*o + 24 = -c*g - o, 0 = 3*o + 9 for g.
-5
Suppose 7 = 6*b - 5*b. Let z(v) = v - 5. Let d be z(b). Solve -3*l = 3*r + d*l - 10, -4*r + 3*l = 35 for r.
-5
Let p(c) = c**3 - 5*c**2 + c + 12. Let o be p(5). Let b be ((-1)/(-2))/((-2)/20). Let n be (2/b)/(1/(-15)). Solve -n = -3*t - 3*r, 3*r - o = t + 1 for t.
-3
Suppose -10 = -3*n - 2*n. Suppose -n*f - 12 = -6*f. Suppose u + 4 = f*u. Solve s - 8 = -j, u*j = -0*j + 8 for s.
4
Let s = 2 + 0. Suppose 2*j - 1 = j, -y - s*j + 9 = 0. Solve -i = c + y, -12 - 12 = 2*c + 4*i for c.
-2
Let a be 1/2*(-64)/(-16). Let m(l) = 3*l**3 + 3*l**2 - 2*l + 3. Let k be m(a). Solve -5*w = 5*s + k, 4*s = -2*w - 7 - 11 for s.
-2
Let x(y) = 4*y**2 - 14*y + 14*y + y**3 + 1. Let v be x(-4). Let l be v + ((-3)/(-3) - -2). Solve c - 11 = -l*h - 0*c, -15 = -5*c for h.
2
Suppose 0*s = 8*s - 152. Solve -2*z - 2*t = 3*t + 27, 4*z + 3*t = -s for z.
-1
Let w(r) = 4*r + 32. Let i be w(-7). Solve -30 = 5*f - s, -3*f = -i*s + 16 + 19 for f.
-5
Suppose -4*s - 3 - 5 = -3*c, -4*s = -2*c + 12. Let i be -3 + (4 - (c + 3)). Solve 4*d - m = i - 23, m = -d - 4 for d.
-5
Let r be 60/(-9)*(-6)/2. Solve -4*t = u + 3*u, 5*t = -u - r for u.
5
Let o(w) = 10*w**3 - 2*w**2 + 3*w. Let c be o(1). Solve -4*n - 15 = -3*i, -2*n + i - c + 4 = 0 for n.
-3
Let o be (-42)/4*(-4)/6. Let k = 11 - o. Solve k*f + 4 = 0, -7 = -4*l + 2*f + f for l.
1
Let v(c) = 2*c - 4. Let o be v(3). Let k(w) = w**2 + w. Let x be k(o). Suppose 4*i - 6 - x = 0. Solve -20 = 5*n - 5*y, i*n = 2*n + 3*y - 2 for n.
-5
Suppose 2*s - 5*l + 3*l = 6, 0 = -5*l. Solve d + d + s*p - 7 = 0, -p + 13 = -2*d for d.
-4
Let u be 4 + 6/(-3) + 0. Solve -6*f + 3*f + 23 = 2*w, u*f = -2*w + 18 for f.
5
Suppose t + 14 = -4*t + 3*f, 4*t - 3*f + 13 = 0. Let j(z) = 14*z**3 - 2*z**2 + 1. Let n be j(t). Let d = -11 - n. Solve d = -5*v + 3*x, 0 = -2*x + x - 2 for v.
-2
Let l be (-3)/((-9)/12*2). Let g = -3 + 7. Suppose -g*v = -0*v. Solve v = -2*q - 5 + 15, l*b = q - 9 for b.
-2
Suppose -2 = 2*d + 2*s, -2*s + 0*s - 6 = 0. Let t be (26/4)/(1/d). Solve 0*w - 5*w + 4*v = -t, -5*v = 2*w + 8 for w.
1
Let h be (-5 - 15)*2/(-4). Suppose -2*q = -20 - h. Solve 0 = 5*j - 4*p + 24, -4*p + 5 = -4*j - q for j.
-4
Suppose -i = -2 - 14. Suppose o + 2*o - 18 = 0. Let u be (-6)/(-4)*i/o. Solve -u*h + 0*w = 5*w, -2*h - w - 6 = 0 for h.
-5
Let w(c) = c**3 + c**2 - 2*c + 5. Let d be w(0). Solve 3*q = -4*g - 5, 0*q - d*q + 2*g + 35 = 0 for q.
5
Let m(j) = -j - 9. Let p be m(-9). Solve p = 4*f + 5*n - 31, -n + 0 = -3 for f.
4
Let z(h) = -h**2 - 5*h - 7. Let a be z(-5). Let t = a + 15. Solve t + 5 = 3*x - 2*k, -2*k = 4*x + 6 for x.
1
Let g be (-1 - -4) + (-2)/2. Let y be (3 + -1)*(-7)/(-2). Solve 3*s = g*r + 22, -r + 2*s + y = -4*r for r.
-5
Let a be 16/(-6)*(-18)/4. Let f be (-4)/3*a/8. Let r be (f - 0/(-2))*-1. Solve -2*l = p - 5, 6 = r*p + 3*l - 0 for p.
-3
Let s = -2 - -2. Let k be (-4 + 4)/(s + -1). Suppose k = -0*u - u + 4. Solve j = 3*f + f + 5, -5*j - u*f - 23 = 0 for j.
-3
Suppose 2 = -2*b, b - 7 - 28 = -3*c. Solve -2*n - 3*n - 20 = 0, 2*n = -4*u + c for u.
5
Let v = -260 - -264. Let k = 0 + 2. Solve -v*m - 2*y = -24, -3*m + k*y + 0 = -11 for m.
5
Let t(r) = -4*r + 5. Let b be t(5). Let c be ((-24)/b)/4*45. Suppose 2 + c = 4*x. Solve 5 = -2*q + x*v, -3*q + v - 1 = -0*v for q.
0
Let c(l) = -l**2 - 5*l - 1. Let o be c(-2). Let n = o + -3. Solve v + h = -8, -5*v + 7*h - 10 = n*h for v.
-5
Suppose -6*b + 4 + 26 = 0. Let l = 10 + -4. Suppose 0*v - 3*v + l = 0. Solve v*u - 3*a = -1, 0*u - 2*a = 3*u - b for u.
1
Let u be (-5)/(-6)*(5 - -1). Solve u*p + 3*g - 5*g = 25, -20 = -4*p - g for p.
5
Suppose n - 21 = 4*j - 10, 5 = -j + n. Let q = 0 - j. Let g = -1531 + 1534. Solve 0 = v + v - i - 2, g*v + q*i = -4 for v.
0
Suppose 6*y - 10 = y. Suppose -6*t + y = -4*t. Let d = t + 2. Solve -3*o - 1 = 4*g, 0 = 4*o - 1 - d for g.
-1
Let b(t)