. Solve q*y + y - s - 6 = 0, -2*s = -y + 7 for y.
5
Let v be (-570)/4*6/(-15)*-2. Let w be 2/8 + v/(-24). Solve -6*d = -d + w, 0 = 3*n + d + 10 for n.
-3
Let b = -29 + 27. Let s(m) = -3*m + 5. Let r be s(b). Solve k = 2*d + 5, -k + 1 = 3*d + r for d.
-3
Let z(a) = a**3 + a + 1. Suppose -4*l - l = -2*f - 16, -2*l + 7 = -f. Let y be z(l). Let n = y + -8. Solve -n*h + h = 4*c + 14, 5*h + 23 = 2*c for h.
-5
Suppose 0 = 5*n + 3*q + 25, -3*n + 2*q - 21 = 13. Let p = 53 + -40. Let i = p + n. Solve -t = -u + 1, 4*t + i*u = u + 28 for t.
3
Suppose -9*y = 9 - 72. Let v(i) = -i**3 + 7*i**2 - 2*i + 17. Let p be v(y). Solve k + 12 = -2*t - 3*t, 2*k - p*t - 15 = 0 for k.
3
Suppose 0 = -2*k - 78 + 86. Solve t + k*t = 5, t = 3*o + 10 for o.
-3
Let a = -144 + 33. Let m = a - -115. Solve -4*i + 11 = -3*w - 4, 5*i - 20 = m*w for i.
0
Let b(a) = -17*a - 807. Let s be b(-48). Solve -5*i = -w + 15, -4*i - 2*w - s = 3 for i.
-3
Suppose 15 = 3*i + 2*p, 5*i - 4 + 1 = 4*p. Suppose 5*c - 5*f + 5 = -10, i*f = 4*c + 8. Solve x + 5*d - 5 = 0, 0 = 4*x - 4*d + 3*d + c for x.
0
Let n(d) = d + 26. Let u be n(-7). Let i = -15 + u. Solve i*l = -3*o + 12, -2*o - o + 2*l + 12 = 0 for o.
4
Let v(j) = 317*j**2 + 1 - 19*j - 69 - 318*j**2. Let r be v(-14). Solve -3*f = f - t - 11, r*t + 7 = 3*f for f.
3
Suppose 5*p + 19 + 6 = 0. Let g(c) = -c**2 - 4*c + 11. Let n be g(p). Solve -f - t + 0 = -n, -13 = 2*f - 3*t for f.
1
Let w = 36 + -31. Suppose u - 40 + 35 = 0. Solve -k + v = -5, w*k + u = -4*v - 6 for k.
1
Let s be (6/5)/((-42)/(-105)). Solve -d + 1 = m, 41 = -4*d + s*m + 2*m for d.
-4
Suppose -2*c - 4*i = -6*c - 8, -4*c - 8 = -i. Let l(d) = -d**3 - 2*d**2 + 2. Let u be l(c). Solve -4*q + 2*q - 4 = -u*m, 0 = -m - q - 2 for m.
0
Let u(m) = -m**3 + 11*m**2 + m - 11. Let h = 28 - 24. Let k(r) = r**2 - 5. Let w be k(h). Let q be u(w). Solve 2*i - 15 + 5 = -4*b, -3*b - 4*i - 5 = q for b.
5
Suppose 8*b = 10*b - 8*b. Solve 0 = 3*c - 4*h - 3, b*c + 4*h = -5*c + 5 for c.
1
Suppose -4*f = 241 - 253. Solve -5*x - 5*j - 25 = 0, 0 = -2*j + f*j + 2 for x.
-3
Suppose 0 = -0*i + 10*i - 370. Let y = i - 33. Solve f - 4*l = y, 0 = -2*l - 2 - 0 for f.
0
Suppose 0 = 4*g - 7*g + 24. Let v be ((-8)/(-10))/(g/40). Solve -v*f + 32 = -4*y, -3*f - 11 = 6*y - 2*y for y.
-5
Let d be (3/(-18))/(25/(-3300)). Solve 5*r = -4*a + d, -r - 2*r = 2*a - 12 for a.
3
Let g(n) = -14*n**2 - 2*n - 9. Let u be g(-1). Suppose -j + 31 = 6. Let p = u + j. Solve -p*b = k + 7, -2*k - 4*b + 0 - 2 = 0 for k.
5
Let w = -126 - -139. Solve q - 4*o = -w, -4*q - 2*o + 16 = -o for q.
3
Let w(l) = l + 8. Let n be w(-4). Suppose -n*u + 18 - 6 = 0. Suppose u*g - 15 = -3. Solve -14 = 2*o - 4*b, 14 + g = 2*o + 4*b for o.
1
Let f(i) = i**3 - 8*i**2 + 5*i - 4. Let a be f(8). Suppose 4*p + a = p. Let b = 24 + p. Solve 4*s = k + 3*k - 8, -3*s = b for k.
-2
Suppose -2*u - 13 = -2*v - 3*u, 0 = 5*v + 4*u - 34. Solve -5*g + v = 3*o, 0 = o + 3*o - 3*g - 8 for o.
2
Suppose -g + 28 = g. Suppose 0 = u - 2*u + 3*l + g, 0 = -5*u - 2*l + 2. Solve -5*n + u*s = 8, -n = -5*s + 3*s + 8 for n.
0
Let g(b) = 12*b**2 + b - 1. Let i be g(1). Suppose -i*y + 70 = -2*y. Solve -a + y = 2*n + n, 20 = 5*a for n.
1
Let v be (-704)/9 - 4/(-18). Let j = 80 + v. Solve 15 = -5*i - 5*h, 4*i - j*i + 14 = -4*h for i.
1
Suppose -4*q - 21*f + 18 = -19*f, 4*f = q - 27. Solve -j - 4*j + 2*v - q = 0, 0 = 4*j + 4*v for j.
-1
Let i be (-4)/(-10) + ((-546)/(-35))/6. Solve 4*d - 3*h = -i, 3 + 1 = d + 4*h for d.
0
Let i = -21 + 24. Suppose -3*y - 3 = -5*g + 12, y + i = g. Solve -o + 2*w = -0*w - 11, -g*o = 2*w + 7 for o.
1
Let c = -14 - -31. Let w = c - 3. Let s be 4/w + 30/(-105). Solve k - 7 = -3*o - s, -k + 9 = 5*o for o.
1
Let v(p) = -3*p + 27. Let m be v(8). Solve -5*n + 5*j - 20 = -0, -m*j + 12 = -5*n for n.
0
Let a be 47/9 + (-2)/9. Let d be 5/2*(-294)/(-245). Solve -a*u - 2 = 3*j, -u + d*u = 2*j + 12 for u.
2
Let y(k) = -k**3 + 6*k**2 - 10*k + 10. Let b(w) = -w**3 + 9*w**2 + w - 5. Let p be b(9). Let a be y(p). Solve -i + 4 = l - 2*l, 4 = 2*l + a*i for l.
-1
Let z(g) = -g**2 - 6*g + 4. Let f be z(-5). Let x be 3/18 + (4669/42)/29. Solve -x*w = -3*c - 7, 4 - f = -5*w for c.
-1
Let h be 3 + 0 - (-7)/(-21)*-3. Suppose 2*f - 67 = -f - 5*z, 4*f = 2*z + 72. Solve -h*s - j + 11 = -7*s, 0 = 5*s - 2*j + f for s.
-3
Let j(o) = 6*o + 52. Let n be j(-8). Solve r + g + 2 = -0*r, 5*r - n*g = 8 for r.
0
Let z be (90/(-50) + 2)*115. Solve a = 0, -5*a - z = 5*r - 3 for r.
-4
Let c = 163 - 148. Solve 6*a - 2*a - j - 18 = 0, 5*j = 5*a - c for a.
5
Let v(f) = -f**3 + 3*f**2 + 5*f. Let q be v(4). Solve 0 = q*b - 0*b + 3*y + 2, -5*y + 10 = 0 for b.
-2
Let o = 400 - 399. Solve -d + 12 = -3*m, 0 = 2*d + 3*m - 4*m + o for d.
-3
Let n be 1/(-2)*(-90 - -24). Suppose -4*k = -i - 31, 2*k + 0*i = -3*i + n. Solve -7*c = -4*u - 3*c + 12, -k = -2*u + 5*c for u.
2
Let h(s) be the first derivative of 3*s**2/2 + 23*s - 12. Let n be h(-7). Solve 2*l = -n, -6*l - 12 = 2*a - 4*l for a.
-5
Let d be (-69)/4*(-72)/(-27). Let s be d/(-14) + 6/(-21). Solve -2*y = -s*f - 17, -2*f - 8 = -3*y + 5 for y.
1
Let a = 2 + 2. Suppose w + a*w = 5. Suppose -46*y = -146*y + 300. Solve -4*h + 3*h + w = -y*j, 19 = 4*h + 3*j for h.
4
Let v be (-17)/(-17) + 3/(3 + 0). Solve 5*b - 3*b - 3*q = -13, -v*b + 2*q - 8 = 0 for b.
1
Suppose -13*a - 6 = -8*a + 3*r, 4*a - 4*r = 8. Solve 2*q = a, -4*q + 3 = -3*c + 2*c for c.
-3
Let n = -39 - -41. Let c be 0/(n - 6) + 0 + 2. Solve 5*y = 3*y, c*x - 2*y = -4 for x.
-2
Let f = -491 - -491. Suppose 5*r + 2 = 17, 0 = -5*i + 4*r - 52. Let b = -3 - i. Solve t + 5*v - 4 = 2*v, 4*t + b*v - 16 = f for t.
4
Let p(t) = 4*t**3 + 4*t**2 + t - 8. Let o(s) = s**3 - s - 1. Let v(y) = 3*o(y) - p(y). Let b be v(-4). Solve 0*i - i + 1 = 4*c, c = 4*i - b for i.
5
Let c(h) = h**3 + 4*h**2 + 4*h + 2. Let o be c(-3). Let b be 4*(o - (-6)/4). Suppose -4*q + 5*q = b. Solve 4*f = m + 8, -2*f = -4*m + q*m - 10 for f.
1
Let n be 1/(-7)*-2 + 12/7. Solve 3*f - o + 7 = 18, n*f + o + 1 = 0 for f.
2
Suppose 0 = 27*d - 9*d - 72. Solve 0 = -5*c - 2*h + 2 + 7, -2*c + d*h - 6 = 0 for c.
1
Let g(m) = -m - 5. Let s(q) = q**3 - 8*q**2 - 7. Let c be s(8). Let d be g(c). Let h = -9 + 12. Solve -h*t - 4*a - 23 = 0, 0*t = -d*t + 3*a - 4 for t.
-5
Let r(b) = -4*b - 47. Let k be r(-13). Solve k*d + 5*z = 6*z - 7, 5*z + 19 = -2*d for d.
-2
Let n be -2 + 3 - (1 + -3). Let k(w) = 11*w**3 + w**2 + 6*w - 5. Let m be k(2). Suppose -m = -0*l - 9*l. Solve -d + 0*x = x - 4, -4*d - n*x = -l for d.
-1
Suppose -8*g + 186 = 146. Let p(o) = -o**2 + 3. Let x be p(0). Let f = -4 - -10. Solve g*q + 3*s + 13 = -f, x*q = -3*s - 9 for q.
-5
Let z(m) = m**3 - 6*m**2 + 6*m - 3. Let l be z(5). Suppose -l*g = -10 - 2. Solve 3*s - 14 = -k + g*k, k - 6 = 5*s for s.
-2
Let o be (2 + 14/8)*20/3. Suppose 46 = -4*z - 2*l, 0 = -z - 0*l - 2*l - 7. Let d = 13 + z. Solve 2*y + 3*b + 14 = d, -b - o = 5*y + 4*b for y.
-1
Suppose -5*y + 11*o + 8 = 7*o, 7 = -2*y + 5*o. Solve 3*a + 2*l = -a - y, 4*a = 4*l - 4 for a.
-1
Let n(b) = -b**3 + 5*b**2 - 4*b - 1. Suppose 2*u + 5*g + 22 = u, 3*g + 3 = -4*u. Let z be n(u). Solve 3*t - 14 = k, -3*t - z*k + 12 - 28 = 0 for t.
3
Let s be ((-3)/(-2))/((-33)/(-66)). Solve 2*k - s*q = 5*k, 3*k + q + 2 = 0 for k.
-1
Let a(c) = 36*c - 1292. Let q be a(36). Let f = 0 - -5. Suppose -4*n - n = 0. Solve b - 10 = -v, n*b = -q*v + f*b - 5 for v.
5
Suppose 5*z = -5*x + 30, x + 15 = 4*z + 1. Solve -2*i + x*t = 10, -2*i - 3*t + 8 + 2 = 0 for i.
-1
Let q(a) = a**3 - 7*a**2 + 8*a - 8. Let x = 21 - 15. Let y be q(x). Solve -2 - y = 2*u + 2*d, 5*u - 1 = -d for u.
1
Suppose -2*n = -168 + 80. Let g = n - 43. Solve 3*z = -3*v + 6, g - 19 = -v - 5*z for v.
-2
Suppose -81 = 3*y + 3*d - 144, -4*d = 0. Solve -2*v = -3*n - y, 6*n = 2*n + 4*v - 32 for n.
-5
Let v = 2 + 0. Let o(n) = -n**2 + 9*n - 2. Let g be o(6). Let k be 124/g - (-6)/(-8) - 2. Solve 4*d - v*t = -30, 3*t = -5*d + k*t - 35 for d.
-5
Let v(w) = -w**3 - 2*w**2 - 6. Let l be v(-3). Solve -h - m = 4*m - l, -5*m = 2*h - 1 for h.
-2
Let i(g) = g - 15. Let n be i(6). Let x be 30/n*(-72)/15. Suppose j + 4*r = 4*j - 25, -4*j + r = -x. Solve 0 = j*u + 9, 2*u + 14 = 4*k - 4 for k.
3
Suppose 0*z + z - 4*z = 0. Solve -2*a + 3*d - 8 = z, -a - 6 = -d - 4 for a.
2
Suppose -v - 4*x = 10, 157*v - 7 = 155*v + x. Solve -5*y -