. Solve y = d*w - 8 for w.
4
Let u be (-4 + 2)*(-18)/(-12). Let s be (2/u)/(1/(-6)). Solve -s*r - 2 = 6 for r.
-2
Suppose 0 = -4*x - l - 3*l + 16, -4*l + 6 = 2*x. Solve -2*c = -x*c for c.
0
Suppose 5*u - 2 = 13. Let v(s) = 3*s - 3. Let m be v(4). Solve m = u*d - 0 for d.
3
Let a = 45 - 45. Solve a = -0*l - 2*l - 2 for l.
-1
Let c = -10 - -10. Solve c = 12*o - 13*o for o.
0
Let x be (-3 + 5)/(1 - 0). Suppose -4*b + 35 = a, x*b = -2*b + 3*a + 55. Suppose b = s + 4*s. Solve -3 = -y - s for y.
1
Suppose -8 = -4*c - 4*i, -c - 4*i + 6 = i. Let r = c - -1. Solve -x + r = -3 for x.
5
Suppose -2*x + 6 = -0*x - 5*i, 0 = -3*i. Solve x*w - 5 = 1 for w.
2
Suppose 5*j + 3 + 2 = -5*u, 3*j = -5*u + 3. Solve 4 = -7*s + u*s for s.
-1
Suppose -3*t = f + 9, -f + 5*f = -2*t + 4. Solve -f = 2*b - 1 for b.
-1
Suppose -2*k = -8, 5*r - 2 = k + 4. Suppose 4*a + 4*i = 4, 0 = 3*a - 5*i + 6 - 1. Suppose -w + 3*w - 4 = a. Solve w*s = 4*s - r for s.
1
Suppose 3*z = -2*z + 10. Suppose 4*c + 8 = 4*l + 20, 3*l + 3*c - 21 = 0. Let k(g) = 2*g**2 - 2*g. Let v be k(l). Solve 4 = z*u - v for u.
4
Let c = 14 - 11. Solve 0 = 2*r + 3 + c for r.
-3
Let t be 14/4 - 8/(-16). Let a be (t/(-10))/(5/(-25)). Suppose 7 = -k - a*w - 2*w, -2*k = -w - 4. Solve 0 = 3*s - 4 + k for s.
1
Let m(o) = o - 3. Let k be m(5). Suppose 0 = -d + k*z + 2, -4 = -5*d + 2*d + 4*z. Solve -2*r + d = -4 for r.
2
Suppose 10 + 14 = 6*x. Solve x = -3*v - 5 for v.
-3
Let p be 11*1*4/(-4). Let c = -7 - p. Let y be 2 + (-3)/((-1)/1). Solve -4*s + y*s = -c for s.
-4
Let j(p) = 2*p + 40. Let q be j(-20). Solve q = 2*w - w + 1 for w.
-1
Let p be 27/(-18)*16/(-3). Solve -2 = 3*g - p for g.
2
Let q = -36 - -39. Solve q*i = -2*i + 10 for i.
2
Let c = -6 + 10. Suppose j - 2*j + c = 0. Solve 0 - j = 4*u for u.
-1
Suppose 5*j = 5*u - 50, 2*j = u + 5 - 22. Let d = j - -11. Suppose 0*r = d*r. Solve 3*n + r*n - 9 = 0 for n.
3
Let c be (3/12*0)/(-2). Solve c = 5*m - 1 + 11 for m.
-2
Let b(r) = -r**2 + 16*r + 5. Let u be b(16). Solve u = -o + 3 for o.
-2
Let t(m) = -5*m + 50. Let l be t(10). Solve l = -s - 0 - 1 for s.
-1
Suppose 5*r - 21 = y + 3*y, -3*r = -5*y - 23. Suppose -5*h = 2*x + 3, -17*x - 12 = 4*h - 13*x. Solve -r = -2*z + h for z.
1
Suppose 4*q - 3*t - 43 = 0, 0 = 3*q - q + 5*t + 11. Let z = -5 + q. Let c be 3/(-2)*z/(-3). Solve 2*d - c = 1 for d.
1
Suppose 4*x - 2*c = 4, 2*c + c + 6 = -3*x. Suppose 7*y - 5 - 44 = x. Solve -2*p + 5 = -y*p for p.
-1
Let w be 1/(9/6) + 13/3. Solve 4*f = -w + 21 for f.
4
Let n be (-1)/(-2*(-1)/(-16)). Suppose 2*q - 4*q = -n. Solve 0*i - 2*i + q = 0 for i.
2
Suppose 2*h - 2*j = -24 - 0, 0 = 2*j - 8. Suppose 0 = -0*v + 2*v + 3*a + 20, 3*a + 28 = -4*v. Let w = v - h. Solve -w*t - 8 = 4 for t.
-3
Let l(h) = h + 6. Let s be l(-4). Solve -d + s = -1 for d.
3
Let c(r) = -r**2 - 9*r + 3. Let o be c(-9). Solve 10 = -o*l - 2*l for l.
-2
Suppose -5*m + 10 = -o, 3*m + 3*o + 4 = 5*m. Let r be (-1)/((m/4)/(-1)). Solve 0 = -3*g - r*g for g.
0
Let s be (-11)/(-22)*0/1. Solve s = -0*w - w + 4 for w.
4
Suppose -2*f = 2, -4*f = -5*b + 6 + 23. Solve 0 = -b*a + 2*a + 3 for a.
1
Suppose 2*n = j, 3*j - 4*j = 5*n - 7. Let o(z) = -z + 4*z**2 + 0 + 0*z**2 + j - 3*z**2. Let t be o(0). Solve t*k = 4 - 2 for k.
1
Suppose 9*f - 4*f - 2*j = 22, -20 = -4*f + 4*j. Suppose 2 = 2*c - 2*o + 4*o, 0 = 2*c + 3*o. Solve -2*k + c*k - f = 0 for k.
4
Let n(f) = -f + 11. Let i be n(8). Suppose -2*o = -i*o + 4. Solve 4*c - o + 24 = 0 for c.
-5
Suppose 0 = 7*z - 3*z. Let x(r) = -r**2 - 4*r + 4. Let w be x(-4). Solve 0*u - u + w = z for u.
4
Let r be 1/(-5) - 338/(-65). Solve r*f - 6 = -1 for f.
1
Let k be ((-15)/10)/(2/(-4)). Let r = 12 - k. Solve -r = l - 4 for l.
-5
Let v = -40 + 42. Solve -5 = -v*i + 1 for i.
3
Suppose -2*v + v - 2 = 0. Let d be v/(-7) + (-2)/7. Solve 3*t + d - 6 = 0 for t.
2
Let u be ((-21)/9)/((-2)/6). Let d be 96/(-18) - 4/6. Let s be (-2)/4*4*d. Solve 3*k - s = u*k for k.
-3
Suppose 5*t - 7 = 3. Let p = -21 + 9. Let n be (-3)/p - 11/(-4). Solve c + t - n = 0 for c.
1
Let j = -4 - -1. Let w be j/(9/(-6)) + 1. Let y be w/1*2/3. Solve 5 = -y*n + n for n.
-5
Let m = 6 + -1. Suppose 2*l - l - 6 = m*a, 3*l + 2*a - 52 = 0. Solve -2*r - l = 2*r for r.
-4
Let b(f) = f**2 - 1. Let m be b(-2). Let a(o) = -o**3 - 4*o**2 - o - 2. Let n be a(-4). Solve n*s + m = -s for s.
-1
Let w = -14 - -16. Suppose -5*h - 25 = 0, -2*p - 3*h + 40 = -5*h. Suppose k + p = 6*k. Solve -3 = k*l - w*l for l.
-3
Let c = -5 - -8. Let u = 5 - c. Solve -u*v + 6 = -0*v for v.
3
Let f = -1 - -3. Suppose 4*u = -u. Solve u = -3*n + f*n - 1 for n.
-1
Let s = -2 - -6. Suppose -3*p + 10 = -r, -s*p = r - 0*p - 25. Solve 0 = r*m + 3 + 12 for m.
-3
Let f = -13 + 13. Suppose 5*q + 5*d + 25 = 0, -4*q - 2*d - 25 = 3*d. Suppose q = -5*r + 2*b + 8, 0*r + 4*r - 9 = -b. Solve -4 = -r*w - f for w.
2
Let q(h) = -h**2 - h + 3. Let o be q(0). Solve 2*f - o*f + 3 = 0 for f.
3
Let q(p) = -4*p. Suppose c + 3 = -2*c. Let j be q(c). Let g = -4 + j. Solve 3 = -b - g for b.
-3
Suppose -2 + 21 = 3*d - 4*u, u = -4*d. Suppose d = -w + 6, -4*g - 5*w = -109. Solve 4*p - 1 + g = 0 for p.
-5
Let m be 2*((-13)/(-39))/((-2)/(-6)). Solve m*x + 0*x - 4 = 0 for x.
2
Let x(a) = -2*a - 14. Let r be x(-8). Suppose 12 = 5*t - 3. Solve r*y - 10 = -t*y for y.
2
Let h = 5 + -6. Let p be h + (42/3 - 1). Suppose p = 2*w - 0*w. Solve -2*o - 2 - w = 0 for o.
-4
Suppose 3*o + 30 = -0*o. Let y be (4/o)/((-1)/5). Suppose -3*b + 4*q - 7 = -4*b, -5*q = 0. Solve -y*r = -b*r - 20 for r.
-4
Let g(r) = -r**2 - 12*r + 15. Let a be g(-13). Solve -2*m = a*m + 16 for m.
-4
Suppose 5*d = 21 - 6. Solve d*l = -2*l - 20 for l.
-4
Suppose 4 = 27*p - 23*p. Solve -p = j - 3 for j.
2
Suppose -5*j + 2*p + 10 = 0, 0 = 3*j - 5*j - 2*p + 4. Suppose -5*f + 11 = 4*y, -j*f - 2*y + 10 = 2*f. Let u = -4 - -7. Solve 6 = -u*h + f for h.
-1
Let v(j) = 16*j**3 - 24*j**2 + 30*j - 4. Let x(y) = -3*y**3 + 5*y**2 - 6*y + 1. Let u(b) = 2*v(b) + 11*x(b). Let l be u(6). Solve c - l = 1 for c.
4
Let g(p) = -2*p - 1. Suppose 4*v = -1 - 7. Let n be g(v). Suppose -4*o + 10 = -2*o, n*a - 5*o + 19 = 0. Solve 5 = r + a for r.
3
Let p = 2 - 2. Let b be (6 + p)*1/2. Let r be 48/15 - 3/15. Solve -r - b = -2*z for z.
3
Suppose -4 = -3*g + 2. Let t(p) = p**2 - 12*p + 14. Let m be t(11). Suppose 0 = o - m + 1. Solve g*r + o + 4 = 0 for r.
-3
Let y be 12/(-7) - 2/7. Let f = y - -2. Suppose -5*p + 2*x + 13 = -21, 5*p - 3*x - 36 = f. Solve -p = 4*k - 18 for k.
3
Let y be ((-10)/(-4))/((-3)/(-6)). Let k = 3 + -1. Solve k*j = j + y for j.
5
Let m = 2 + 0. Solve -3 - m = -5*x for x.
1
Let b = -14 + 4. Let v = 0 - -1. Let s be (-3 + v)*b/4. Solve 11 = s*y - 9 for y.
4
Let g = -15 + 11. Let y = -4 - g. Let x be y/(-2)*1 - -9. Solve -h - 2*h - x = 0 for h.
-3
Let h(c) = -c**2 - 5*c - 4. Let m be h(-2). Suppose 0 = -6*j + m*j. Solve j = 2*w + 1 + 5 for w.
-3
Let s = 2 + -5. Let x be (-76)/16 + s/(-4). Let c be 112/20 + x/(-10). Solve c*q - 5 = q for q.
1
Suppose -7 - 5 = -3*a. Let t be ((-6)/5)/((-6)/(-20)). Let m = a + t. Solve m + 4 = -2*v for v.
-2
Let a = 4 + -4. Suppose -4*w - 5*p + 41 = a, w + w - 33 = -5*p. Solve -4*b - w = -3*b for b.
-4
Let j be (-13 - -16)*4/3. Solve 0 = -j*d - 0*d + 8 for d.
2
Suppose 0 = -s - 2*s. Solve 5*f + 1 - 11 = s for f.
2
Suppose 4*g + 14 = 94. Suppose y + a - 10 = -a, 0 = -5*y - 4*a + g. Solve y = -0*j + j for j.
0
Let s(h) = -h**3 + 5*h**2 + 7*h - 3. Let f be s(6). Let q = -41 - -43. Let r be (1 - 3)*(-14)/4. Solve f*n - r = q for n.
3
Let j = 16 - 10. Let x = j + -2. Suppose -10 + 12 = n. Solve n*q = x*q + 10 for q.
-5
Suppose 5*t - 30 = -t. Solve t = -m + 3 for m.
-2
Let b(d) = -d**2 - 6*d - 7. Let m be b(-5). Let j be (6/3 - 6)*m. Let q(h) = -h - 3. Let t be q(-7). Solve 0 = -t*f - j for f.
-2
Let m be 2*8 - (5 + -3). Solve 0 = 5*c - 1 - m for c.
3
Suppose 2*n - 8 + 0 = f, 3*f - 26 = -4*n. Suppose -v - 19 = 3*v + 5*l, -3*v = 3*l + 12. Let x be v/(-4) + (-4)/16. Solve -2*o + 1 + n = x for o.
3
Let u = 2 - -8. Let d = u + -7. Suppose -5*m = -3*y - 16, -3*m + 16 = -0*m - 5*y. Solve d = -m*q - 5 for q.
-4
Suppose -2*d + 7*d - 22 = -2*j, -3*d + 9 = -3*j. Suppose 0 = -4*n + 4*f + d, 0 = -3*n - 0*n + f + 7. Solve u = n*u for u.
0
Suppose -10*h = -12*h + 8. Solve -h = 3*q - 13 for q.
3
Let c(d) = -d + 3. Suppose -i + 3*a = 0, -