. Solve -2*d = -y*d for d.
0
Let p(g) = g**3 - 16*g**2 - 19*g + 34. Let f be p(17). Solve f*y + 15 = 5*y for y.
3
Suppose 11*x - 8 = 36. Suppose -19 = -5*a - 4*p, 0*a - 4*a + 20 = 2*p. Solve a = x*o - 13 for o.
5
Let u(i) = i**2 + 5*i + 4. Suppose -7*d + 2*d + 5*c - 35 = 0, -4*d = c + 18. Let w be u(d). Solve 5 = w*y + 1 for y.
1
Let f(d) = -d**3 + 5*d**2 + 9*d - 8. Let h be f(6). Let k(i) = -i**3 + 5*i**2 + 4*i + 12. Let l be k(6). Solve h = -2*x - l*x for x.
-5
Suppose 4*m - 32 = 2*m. Suppose 0 = m*c - 14*c. Let s(k) = -k**3 + 2*k**2 + 3*k + 2. Let i be s(3). Solve c - 2 = -i*o for o.
1
Let j(l) = l**3 + l - 2. Let w = -18 - -20. Let d be j(w). Solve b - d = -b for b.
4
Let t be (-4)/8 + (-2)/(-4). Let r be 2 + t + 1 + 3. Suppose 5*x - r - 4 = 0. Solve 4 = -0*m + x*m for m.
2
Suppose 5*x - 22 = -t + 5*t, -5*t = 2*x - 22. Solve -x*f - 4 = -8*f for f.
2
Let n be 4/(-22) + (-65)/(-55). Solve 17 - n = 4*o for o.
4
Let d = 26 + -19. Let y be 0/((-2)/(-4)*4). Suppose 15 = -y*m + 5*m. Solve -5 = -m*g + d for g.
4
Suppose 0 = -3*b - 2*b + 35. Solve w + b = 3 for w.
-4
Let y = -39 - -49. Let w be -4*(-2)/20*5. Let b be w + -2 + 8/2. Solve -b*o - y = 10 for o.
-5
Let t(v) = -28*v - 2. Let a be t(-1). Suppose -2*i + a = 3*p + 2*i, 0 = 4*p + i - 13. Solve 0*f - 6 = -p*f for f.
3
Let w(j) = -j**2 - j - 1. Let f(s) = s**3 - 6. Let v(k) = -f(k) + 6*w(k). Let u be v(-5). Suppose d = u*d. Solve -4*l + 0*l + 12 = d for l.
3
Suppose -2*u + 0*l - 2*l = 28, -l = 5. Let t = u - -6. Let n = t + 5. Solve -3*i = n*i - 15 for i.
3
Let d(q) = -q**3 + 5*q**2 + 8*q - 12. Let g be d(6). Solve g*m + 4 = m for m.
4
Let b = -9 + 18. Solve 0 = l - 4*l - b for l.
-3
Let r(t) = -t**3 - 13*t**2 + 11*t - 21. Let w be r(-14). Solve 0 = 5*q + w + 4 for q.
-5
Suppose -3*z - 15 = 4*q, 0*z + 20 = -4*z. Solve 0 = -q*s - s for s.
0
Let k be 2/(-3*4/138). Let x = -3 - k. Solve c = -4*c + x for c.
4
Let c(i) = 2*i**2 - i - 4. Let p be c(4). Let o = p + -17. Suppose 0 = -o*h + 4*h. Solve -3*j = -h*j - 9 for j.
3
Suppose c + 2*c = 15. Suppose q - 6 = -3*r, -2*r = r + c*q + 6. Solve r = -4*k + 7 for k.
1
Let d(h) = h**2 + 9*h + 6. Let i be d(-9). Solve -3*o = i + 3 for o.
-3
Let q be (-1)/(-3) - (-10)/6. Let t be 5*q/((-30)/(-3)). Solve 0 = y - 0 - t for y.
1
Let q be (-25)/(-10) + 6/(-4). Solve 0 + q = -b for b.
-1
Suppose -9 + 15 = 2*d. Solve -d*a - 10 = -a for a.
-5
Let f be (-30)/(-8) + 3/12. Let d(u) = u**2 - u - 3. Let l be d(f). Suppose j - 1 = l. Solve j = 4*w + 2 for w.
2
Let b be ((-2)/4)/(1/10). Let g(a) = a - a**2 + 3*a - 4 + 2*a**2. Let p be g(b). Solve 1 = 2*d - p for d.
1
Suppose 3*m + 48 = -3*i, -3*i - i + 3*m - 78 = 0. Let c be 3/(-2)*i + -2. Solve -4*t + 5 = c for t.
-5
Let x(n) = -2*n - 2. Suppose -5*l = t - 14 + 41, 0 = 3*t + 5*l + 31. Let o be x(t). Solve 3*v + 1 + o = 0 for v.
-1
Suppose -4*l - l = 0. Let h = 7 - 4. Suppose 0*r - 2*g + 17 = h*r, -5*r = -4*g + 1. Solve r*w + 12 = -l*w for w.
-4
Let w = 134 + -128. Solve 0 = 5*b - w - 14 for b.
4
Let s(y) = 2*y + 26. Let c be s(-13). Solve c = -2*h - 1 - 1 for h.
-1
Suppose 4 + 8 = -3*x. Let d = 0 - x. Suppose -8 = d*i - 6*i. Solve -i*w - 8 = -28 for w.
5
Suppose -3*l = -0*l. Solve l = -5*t - 10 - 10 for t.
-4
Suppose 21*l = 23*l - 66. Suppose -2*v - 3 + 9 = 0. Suppose -42 = -v*x + l. Solve -x = -6*u + u for u.
5
Let m be -4*((-9)/(-4))/(-1). Suppose -12 = -5*v + t, -v - 2*t - m = -6*t. Suppose 4*r + 3 = -3*c + 31, 13 = c + 5*r. Solve v*i - c = 7 for i.
5
Suppose -5*i - 5*l = -5, -3*i - 4*l + 2 = 3. Solve -i*b = -0 - 10 for b.
2
Let p(l) = l + 3. Let u be p(0). Suppose -i - 3 = -3*n, 0 = -6*n + u*n + 6. Solve -1 = -i*k + 2 for k.
1
Let p = -7 - -13. Let d(c) = c**3 - 6*c**2 + 2*c - 9. Let h be d(p). Solve o - 16 = -h*o for o.
4
Suppose 2*a - 7 = -5*f - 2*a, 13 = 3*f - 2*a. Let w(p) = -p**2 + 6*p + 5. Let c be w(5). Let x = c + -4. Solve -x = -v + f*v for v.
-3
Let l be (4 - 5) + (-12)/(-3). Solve -2*s + 5 = -l*s for s.
-5
Let z be (-1 - (-2 + 0))/((-1)/(-5)). Solve 10*b = z*b + 25 for b.
5
Suppose 0 = f - 5 - 0. Suppose -3*v = 4*s - 35, 2*v - f - 30 = -5*s. Solve -v*y = 5 + 5 for y.
-2
Suppose -t + 3*t - 6 = 2*o, 3*t - o - 3 = 0. Suppose 2*i + 4 - 12 = t. Solve -20 = i*s + s for s.
-4
Let r(y) = -y - 1. Let x be r(-6). Suppose -2*p + o = -x, -5*p - 3*o = o - 32. Solve 0*g = -p*g + 12 for g.
3
Suppose -5*y = -u - 9 - 3, -5*y - 5*u = 0. Solve -y*k = -0 + 2 for k.
-1
Suppose -45 + 0 = 3*m + 5*v, 75 = -5*m + 2*v. Let z = m - -15. Solve z = -2*p + 3*p - 4 for p.
4
Let u = 14 - -8. Suppose -10 = -2*f + 4. Solve u = 3*r + f for r.
5
Let f = -36 - -60. Let q = f + -9. Solve -3*u - q = 2*u for u.
-3
Suppose 5*v - 9*v = 0. Let s be 80/(-24)*(-3 + v). Solve n = 6*n - s for n.
2
Let o be 2 + 3/3 - -2. Suppose 0*u = o*u - 40. Solve 3*c = -c + u for c.
2
Let f = 1 + 4. Suppose f*t - 27 - 33 = 0. Solve -t = y + 2*y for y.
-4
Suppose 3*h - 5*h + 4 = 0. Suppose 0*b + h*b - 4 = 0. Solve 0*d = b*d + 4 for d.
-2
Let a be 36/10 + (-10)/(-25). Solve -2*f = a + 4 for f.
-4
Suppose 0*y + 7 = y - f, 0 = -3*y + f + 31. Let i(q) = -q**3 - 9*q**2 + 12*q + 25. Let z be i(-10). Solve 0 = -z*j - y - 13 for j.
-5
Let o = -8 - -14. Let q = o + -4. Solve -s - q = -0*s for s.
-2
Suppose 0 = j + 4*j + 50. Let m be ((-12)/j)/(6/40). Solve -6*n = -2*n + m for n.
-2
Let f be 0/(9/(-3)) + (-2 - -12). Let t(m) = -8*m. Let s be t(-1). Solve f = -s*z + 3*z for z.
-2
Let p = 3 - 0. Solve 1 = -2*b + p for b.
1
Let u(x) = -x - x - x - 2 + 7*x. Let o be u(3). Solve 30 = -5*g + o for g.
-4
Let q(p) = -p**3 + 9*p**2 - 5*p - 1. Let g be q(8). Let k = g - 21. Solve -4*c + k = -3*c for c.
2
Suppose -3 = -3*q + 3. Let j = -2 + q. Solve j = 3*a + 3 for a.
-1
Let f = 4 + -2. Let k be (2/4)/(7/280). Let z = 32 - k. Solve -f*d - 4 + z = 0 for d.
4
Suppose -q = -0*q. Solve q*v = 3*v for v.
0
Let y(h) = 2*h - 8. Let i be y(12). Suppose -3*s + 6*s = -12, -s = 4*v - i. Solve v = -4*q + 1 for q.
-1
Let v = 0 + -1. Let d(g) = -3*g**2 + 6*g - 3. Let m(p) = p**3 + 8*p**2 - 17*p + 8. Let h(x) = -11*d(x) - 4*m(x). Let y be h(v). Solve 0 = -y*o + o - 12 for o.
-4
Let j(s) = -4*s + 1. Let g be j(-5). Let v = g - 15. Solve v = -0*x + 3*x for x.
2
Suppose -w = -4*c + 12, 4*c = -5*w + 65 - 5. Suppose -5*i = -2*m + 3*m - w, -40 = -5*m - 4*i. Suppose 0 = -3*k + m*k. Solve q + q = k for q.
0
Suppose -2*o + 15 = 3*c, 0*o + 20 = 4*c + o. Let a(p) = -5*p - 5. Let t(v) = -11*v - 11. Let k(r) = -9*a(r) + 4*t(r). Let b be k(0). Solve -b = 3*n + c for n.
-2
Suppose 6*m - m = 10. Suppose -12 = -j + x, -57 = -5*j + 4*x + 7. Let l = j + -12. Solve 3*q + l = -m for q.
-2
Let d(h) = 2*h - 2. Suppose -11 = -5*o + 4. Let j be d(o). Suppose 4*c - 2*c - j = 0. Solve 5*z = c*z + 3 for z.
1
Let y = 17 + -17. Solve y = -f - f + 2 for f.
1
Let g = -5 + 3. Let q be (-7)/g*(-6)/(-3). Suppose -5*f - 5*o = -15, 3*o = 5*f + 7*o - 15. Solve f*p = -q - 2 for p.
-3
Let s(m) = 4*m - m**3 - 9 + 6*m + 5*m**2 + 3*m**2. Let w be s(9). Solve w*z = z - 2 for z.
2
Let w be -3 + 9 + (4 - 8). Solve 0 = 3*p - 7 - w for p.
3
Suppose -4*r = -5*b - 59, 5*b = r - 5*r + 69. Suppose 4*s - r = -0. Let n be (2/(-3))/(s/(-12)). Solve n*p - 2 - 6 = 0 for p.
4
Suppose 10*c = -3*y + 5*c + 27, 0 = 5*y + 2*c - 26. Let g = 12 + -8. Solve y*f - g = 2*f for f.
2
Suppose -4*m + 4*k = -0*m - 128, 0 = -5*m + 4*k + 162. Suppose 2*h - m + 2 = 0. Suppose -3*o = -6 - 0. Solve -2*d - o*d + h = 0 for d.
4
Suppose 0 = -2*i - 3*w + 3 + 15, -3*i - 2*w + 17 = 0. Suppose 2*h = 2, i*h = 5*y + 2 - 9. Solve -3*x + y*x - 5 = 0 for x.
-5
Let k = -47 - -52. Solve k*d = -18 + 3 for d.
-3
Let a(r) = r - 6. Let x be a(7). Let k be 3/(-9) + (-2)/(-6). Suppose d = -k*d + x. Solve -2*j - d = -j for j.
-1
Suppose f = -12*f. Solve 5*z + f*z - 20 = 0 for z.
4
Let h(f) = f**3 + f**2 - 3*f. Let y be h(-3). Let i = -9 + 8. Let g be (y/(-6))/i*-2. Solve 0 = -2*c + g - 1 for c.
1
Let s = 8 + -3. Solve 4*n = s*n + 3 for n.
-3
Let d = 10 - 9. Solve 3*x - d = 14 for x.
5
Suppose 0*m - 2*m + 16 = 0. Let n = -5 + m. Suppose 0 = -z + 2*z - 2. Solve u = -z*u + n for u.
1
Let w = 6 - 4. Let q = -42 + w. Let a be (-12)/10*q/6. Solve 8*f - 4*f + a = 0 for f.
-2
Let v be 1*13 - (-3)/(-1). Let b be 4/(8/v)*1. Solve 3*o + 4 + b = 0 for o.
-3
Let s(c) = 5*c - 3. Let u be s(4). Suppose 0 = f 