 0*y = -6 for n.
0
Let c(x) = -x**2 - 7*x - 6. Let p be c(-6). Solve -2*d - 9 + 21 = -5*u, p = -5*u + 3*d - 8 for u.
-4
Suppose -5*v + 10 = 2*d, -3*d - 27 = -3*v - 0*v. Suppose v*h = 2*h + 4. Solve 0 = -s - 5*p + 10, -2*s = 2*p - 2 - h for s.
0
Suppose 15 = d + 4*d. Suppose 4*z = d + 5. Solve t - 14 = -5*n + 2*t, z*n + 3*t + 8 = 0 for n.
2
Let f(j) = j**2 - 3*j - 2. Let i(m) = 4*m - 3*m - 1 - 2*m + 7*m**2 - 3*m**2. Let g be i(-1). Let p be f(g). Solve -p*z - 4*q + 9 = 3, -2*q = 2*z + 2 for z.
-5
Suppose 4*p = 2*p + 4*r - 6, 2*p - 22 = -3*r. Suppose -3*l + 10 = g, 0 = -5*l + 3*g + 7 + p. Solve l*o - 13 = -2*b, b + 2*o - 3*o = -1 for b.
2
Suppose 16*x = 11*x - 2*h + 29, -3*x + h = -13. Solve 3 = 2*c - f, f - 6 = -2*c + x*f for c.
1
Suppose -5*o = 39 - 99. Solve 4*d + o = -2*t, 3 = -3*t + 2*d + 1 for t.
-2
Suppose 2*d - 3*d = 2*a + 4, 2*a = d - 16. Let h be (d/4 + -1)*0. Solve -4*c - 2*l - 25 + 3 = h, 0 = -2*c + 5*l + 7 for c.
-4
Suppose -4*l + 55 = -53. Suppose -3*s + 6*s = l. Solve -15 = -3*i, s = -n + 2*i - 0*i for n.
1
Suppose -20 = 3*o - 8*o. Suppose -4*b - 2*c = -18, -4*b + 0*c = -3*c + 7. Suppose 136 = 2*v + b*v. Solve -9*q + o*q + 3*r - v = 0, 0 = -2*q - 5*r + 5 for q.
-5
Let w(q) = -q**2 - 22*q + 46. Let z be w(-24). Let s be (-2)/((-2)/(-4*1)). Let k be (z/s)/(2/12). Solve 0*a + a - 5*n - 11 = 0, -a = -n - k for a.
1
Let b be (-2 + 0)/(-4)*0. Suppose 48*i = 46*i + 10. Solve -3*f - f + 5*u - 6 = b, -i*f - 4*u - 28 = 0 for f.
-4
Let t be (-48)/(-112) - 18/(-7). Solve 2*d = 3*j + 9, t*j + d = -6 - 12 for j.
-5
Suppose -2*y - y - 18 = 0. Let f(p) = -p**2 - 7*p - 2. Let m be f(y). Suppose 3*o = -2*c + 1, 2*c - m*c = -4*o + 6. Solve o = -2*a + q, q + 5 = -3*a - a for a.
-1
Suppose 0*d - 3*d = 2*g - 3, 5*g = -3*d + 12. Suppose -5*y + 2 = -33. Let s = 45 + -32. Solve y*q + w = 3*q - s, g*q + 18 = 2*w for q.
-4
Suppose 4*f + f + 30 = -5*o, 5*o - 4*f = -3. Let p = o - -8. Suppose 4*q = -b + 6*b + 25, -2*q + 8 = 2*b. Solve q*j - 7 - 18 = -5*h, -17 = -j - p*h for j.
2
Let t(h) = -2*h - 4. Let f be t(-3). Suppose -f*y - 30 = y. Let s = 19 + y. Solve 4*d - s = 3*c, 2*c = -0*c - d - 6 for c.
-3
Suppose 0 = -5*m + 3*z + 14, -3*z - 16 = -4*m + z. Let l be (17 + -7)/(3 - m). Solve l*x = -0*x + 5, 5*x = 5*t - 5 for t.
2
Let j(z) = -z + 5. Let b be j(3). Let w be (8 - 6) + (b - 1). Solve 5*n + 32 = -w*s, -6 - 2 = -3*n + 5*s for n.
-4
Let m = -2 - -7. Suppose -z - 16 = -m*z. Solve n = -z*q + 11, -2*n - 6*q + 3*q + 7 = 0 for n.
-1
Let s(d) = d**3 + 7*d**2 - 7*d + 1. Let o be s(-7). Suppose -3*j - 2*j + o = 0. Solve 0*z + 4*z + 3*a = -18, -j = 2*z + 2*a for z.
-3
Suppose 11 = 2*a + 3*j + 1, -2*a + 2*j + 20 = 0. Let w be 8/(-36) - (-52)/(-9). Let b be (16/(-12))/(w/9). Solve -k - a = -5*i, 0*i + 4 = -b*i - 2*k for i.
1
Let k(h) = -h**3 + 14*h**2 - 26*h + 24. Let g be k(12). Solve 2*z = -6*y + 9*y + 21, g = 2*y + 2*z + 4 for y.
-5
Let n(i) = 3*i**3 - i**2 - 6*i**2 - 1 - 2*i**3. Let d be n(7). Let p be 1 - (2 + 2/d). Solve 0 = -3*b + y + 9, 2*b - 4 = y + p for b.
4
Let b(v) = -v**3 + 2*v**2 + 5*v - 3. Let f(l) = 4*l - 17. Let p be f(5). Let y be b(p). Solve -y*w + 3*g - 1 - 2 = 0, -3*w - 4*g = 17 for w.
-3
Suppose 13*s - 6*s = 0. Solve -4*l - 19 = -3*v - s*l, 2*v - 15 = 5*l for v.
5
Suppose -4*j + 9*j = 2*x + 9, 3*x = j + 6. Solve -3*m - t + 3 = 0, -j*t + 3 = 12 for m.
2
Let s(x) = x**3 - 4*x**2 + 4*x. Let l be s(3). Suppose 5 + 5 = 2*b - 5*n, b + l*n - 5 = 0. Solve -2*h - i = 13, 3*h + b*i + 5 = 5*h for h.
-5
Suppose 2 = 3*m - 2*u - 10, m + 2*u + 4 = 0. Solve 0 = 3*h - m*f - 19, -5*h - 2*f + 6 - 1 = 0 for h.
3
Suppose 0 = -5*s + 2*j + 133, -4*j - j = 20. Solve s = m + 4*m - 5*w, 2*w = -2*m - 6 for m.
1
Let k(n) = n**2 - 3*n. Let w be k(4). Solve -4*x = -4*z, 5*z + 0*z = w*x + 4 for z.
4
Let d(h) = -h + 7. Let x be d(12). Let k be (6/10)/((-1)/x). Let n = 6 + -4. Solve -5*j = -2*j - n*m + 10, -j - k*m = -4 for j.
-2
Let y(f) = 4*f**2 - 4*f + 3. Let w be y(1). Solve 3*k - 6*k - 25 = -5*t, 0 = 4*t - w*k - 23 for t.
2
Suppose -6 = -2*g - 4. Let l be (11/(-3))/(g/(-36)). Let r be l/20 + (-6)/10. Solve -2*v = -i, r = -2*i + 2*v + 2 for i.
-4
Let z = 71 + -66. Solve 3*k - 1 = z*c - 30, 2*c - 11 = k for c.
4
Let k = 19 - 17. Solve -3*s + 15 = -k*s - 4*j, 4*j + 30 = -2*s for s.
-5
Let c(a) = a**3 - 4*a**2 - 3*a - 5. Let v be c(5). Suppose v + 0 = d. Solve -d*w + 3*k = 22, 0*w - k + 4 = -w for w.
-5
Let f be (-6)/(-9)*387/6. Let w be f/9 - (-8)/36. Solve 0 = -w*n - 25, 6 = -4*m + 2*n for m.
-4
Suppose -4*g = -2*b + 20, 4*b = 5*b - g - 6. Solve -15 = i - 3*z, b*z - 3 = 3*i + 7 for i.
0
Let v(i) = 2*i. Let g be v(1). Suppose -5*w = -3*y + g - 16, 3*w - 6 = y. Let p be 3*2*(4 + y). Solve 3*r + 3*t - 6 = p, -r = -2*t + 2 for r.
2
Let i = -5 + 11. Solve 0 = -0*l - 2*l - 5*z - i, 0 = 3*l - 5*z + 9 for l.
-3
Suppose -4*r + r = -6. Let i be r/6 - (-4)/(-12). Suppose 6*t - t - 10 = i. Solve -q + 2*j + 2 = 0, t*q + 5*j = -12 - 2 for q.
-2
Let y(o) = -2*o - 6. Let v be y(-4). Suppose v + 6 = 4*j. Let r = 5 - j. Solve 3*b - 17 = -4*s, -r = 4*s - 23 for b.
-1
Let i(s) = 4*s. Suppose 1 = d - 3. Let a be i(d). Let t be 5/((-10)/4) + a. Solve -3*o = q - 0*o + t, -3*o = 9 for q.
-5
Let i be (3/6)/((-1)/12). Let a = 8 + i. Suppose -13*u + 18*u = 10. Solve 3*t = -5*f + 5, u*t = 2*f - a*t + 24 for f.
-2
Let n = 11 + 0. Let i be 2/4 + 1/2. Suppose -2*j - 10 = -4*b, 4*b - j - 13 = 4*j. Solve -b*o - i = -2*g - n, 5*o - 20 = 4*g for o.
0
Let k = 4 + -1. Suppose -3*a - k = -4*a. Suppose 2*i - 5 = -a*i, -u - i = -5. Solve -26 = 4*g - 2*t, g - 2 - 14 = -u*t for g.
-4
Let h = 42 - 37. Solve -f - 25 = -h*p, -4*f - p + 5 = -0*p for f.
0
Let r be 2/((-4)/(-34)) - 3. Suppose -y - 3*n + 8 = -4*n, -5*n = 4*y - r. Solve -y = -2*q - g - g, -13 = -3*q - 5*g for q.
1
Let v(s) = -s**2 - 3*s + 3. Let p be v(-3). Let w be (6/p)/(4/8). Solve 2*l - 4 + 2 = o, 0 = w*l - 12 for o.
4
Suppose -2*o + 1 + 1 = 0. Solve -3*h - o = -4*u + 11, 5*u - 4*h - 16 = 0 for u.
0
Suppose 2*y + 12 = 5*y. Solve -3*k - 4*z = 3 + 3, -y*k + 2*z = -14 for k.
2
Suppose 8*s - 2*s = 24. Solve 5*a - 12 = -h, a - 5*a = -s*h for a.
2
Suppose -4*w - 28 = -4*o, 14 + 2 = 3*o - 2*w. Solve -5*q - l = 7, -o*q - 4*l = 3*q + 13 for q.
-1
Let p = -15 + 9. Let z(o) = -o - 3. Let f be z(p). Suppose -72 = -a - 2*a - 4*w, 2*a - 50 = -2*w. Solve a = -8*c + f*c + 3*g, 4 = 4*g for c.
-5
Suppose -j = -3 - 12. Solve j = -5*t, -5*m = -5*t + 12 - 47 for m.
4
Let d(p) = -p**2 - 9*p - 5. Let i be d(-7). Suppose -4*c + 5*t = -45, 2*c + 4*t + 1 = -i. Solve -3*z - 5*m = -0*z - 28, 0 = c*z - m for z.
1
Suppose -4*n + 15 = 5*s, 3*n + 4*s = -n + 16. Solve -n*v + 0*v + 5*i - 35 = 0, 2*i + 14 = -5*v for v.
-4
Suppose -u + 3 = -4*u. Let x be (3 - u)*10/8. Solve b - x*m = 5 + 4, -5*m - 13 = -2*b for b.
4
Let f be (2*-2 + 3)*-1. Let c be (0 - (-1 - f)) + 0. Solve o + c = 4*i - 2, -o = 2*i - 2 for o.
0
Suppose -2*b = -b. Solve b = -3*q + 15, 4*q - 12 - 18 = -2*d for d.
5
Suppose 3*u = -d + 12, -u + 12 = 2*d + 3. Solve -d*c = 2*s + 2 + 9, 21 = -5*c - 2*s for c.
-5
Let l = 88 - 61. Let q = -1 - -1. Let w = 2 - q. Solve a - 3 = -3*s - w*a, 3*s - l = 5*a for s.
4
Let b be 1 + 2 - 12*-1. Solve -3*h - 30 = 2*k + k, -2*h + 5*k = -b for h.
-5
Let v be (1/(-3)*2)/((-10)/105). Solve k - 4*o = 11, 5*k + 2*o = v*o + 10 for k.
-1
Let b(d) = -11*d - 7. Suppose -w - h - 3 = 7, w + 11 = -2*h. Let p be b(w). Let s be (-1)/(-3) + p/12. Solve -3*g + s = 2, 4*t + 5*g = 6 for t.
-1
Let s = -2 + 11. Suppose -9 = -3*m + s. Let n(h) = h**2 + 6*h + 1. Let y be n(-6). Solve m*g = -4*c + g - 30, -c - y = -2*g for c.
-5
Suppose 3*l = -5*m - 119, 5*l + m = -3*m - 181. Let d = 21 + l. Let g be d/(-3)*6/8. Solve -10 = 2*j + 2*n - 0, -j + g*n - 1 = 0 for j.
-4
Let t(r) = -r**3 - 7*r**2 - r - 3. Let f be (-3 - -6)/(-3) - 6. Let z be t(f). Solve -q + 1 = -4*c, -z*c = -2*c + q - 7 for c.
1
Let u be ((-70)/(-14))/(2/(-4)). Suppose 7*y = 4*y + 45. Let n = y + u. Solve 0 = -2*x - 3*o - 4 - 18, 0 = -5*x + n*o - 5 for x.
-5
Let f = 7 - 10. Let o = f - -10. Suppose 2*c - o = c. Solve 4*i = 2*x + 10, x + 4*i - c = -0*x for x.
-1
Let v be (-72)/(-20) - (-4)/10. Suppose -8 + 0 = -v*h. Solve w + 3 = h*s, -s + 2*s = -w + 3 for s.
2
Let v = -876 + 879. Let a = 6 + -4. Let k be 15 + a/(-4)*0. Solve -q + 0 = v*z + 5, 0 