0). Solve z*w + w = 0 for w.
0
Let a(h) = -2*h**3 - 17*h**2 - 14*h - 42. Let o be a(-8). Solve o - 5 = -v for v.
-1
Suppose -4*c - s = -1, 2*s - 5 = 5*c - 3*s. Suppose 4 = -4*o - c*o, -5*g + 12 = -2*o. Solve 0 = g*r + 1 + 1 for r.
-1
Let o(c) = c + 7 - 1 + 0 - 2*c. Let v be o(4). Suppose -5*s - v = -4*s - 2*g, 5*g = 2*s + 7. Solve z = -3*z + s for z.
1
Suppose -2*c - 1 = 3. Let d be (-52)/(-16) + c/8. Solve -d = y - 0*y for y.
-3
Suppose 0 = 8*a - 67 - 85. Suppose -20*h + a*h + 4 = 0. Suppose h + 8 = 3*y. Solve 0 = -y*m - 1 - 3 for m.
-1
Suppose -6*x + 89 - 71 = 0. Solve 0 = 6*n - x*n for n.
0
Suppose 37 = -17*y + 173. Solve y*f - 2*f - 6 = 0 for f.
1
Let w(y) = -y**3 - 15*y**2 + 14*y - 13. Let p be w(-16). Suppose p = 5*i - 41. Solve 5*t - t = i for t.
3
Suppose -5*g + 16 + 84 = 0. Let n = -8 + 13. Let m = 5 - 2. Solve m*u - n = -g for u.
-5
Let d = -14 + 33. Suppose -s = c - 0*c - 11, -c - 3*s + d = 0. Solve -r - 2 = -c for r.
5
Suppose 0 = -f - 4*y + 287, -4*f + y + 623 = -474. Solve -f = -p - 279 for p.
-4
Let t(b) = b. Let i be t(-4). Let h be -1*(i/16 - (-76)/(-16)). Solve h*a - 1 = 4 for a.
1
Suppose 3*q = -4*o + 11, 0*q + 4*o = -5*q + 21. Let d be -2 + -2 + 11 + 6. Solve -2 - d = q*p for p.
-3
Suppose 2059 - 2239 = -15*j. Let a be 4/12 + 5/3. Solve -d - a*d = -j for d.
4
Suppose 4*n = 3*f - 8, 4*n = f + 2*n - 2. Solve f = -0*t - t for t.
-4
Suppose 5 = -t + 2. Let w(d) = 3*d**2 + 7*d + 6. Let v(i) = 3*i**2 + 8*i + 8. Let f(q) = -3*v(q) + 4*w(q). Let s be f(t). Solve -b - s = 2*b for b.
-5
Let g(x) = 6*x**2 + 4*x**2 + 16 + 7*x - 5 - 3*x**2 - x**3. Let z be g(8). Let u be 2/(-1)*(-3)/z. Solve -1 - u = 3*w for w.
-1
Suppose -y = -18*y + 204. Suppose 0 = -5*o + o. Let d be -3*1/(-6)*o. Solve d*u + 3*u - y = 0 for u.
4
Suppose j - 8 = 5*b, -3*j + 5*j = -2*b - 8. Let v be (b + 3)/((-5 - -2)/(-12)). Solve -5*g + 16 = -v for g.
4
Let r(f) = -f + 1. Let i be r(1). Suppose i = -2*c + 5*d + 11, -2*c + 4*d - 25 = -3*c. Solve c = -4*b - 3 for b.
-4
Let y(c) = 12*c - 825. Let z be y(70). Solve 0 = -11*n + 59 - z for n.
4
Suppose -3*b = 91 - 142. Solve -b*l - 14 = -24*l for l.
2
Let t = -551 - -560. Solve 10*i = t*i for i.
0
Suppose -2*q + d + 30 = 3*q, 3*q - 46 = -5*d. Let v(i) = -2*i**2 - 43*i + 14. Let b be v(-18). Let x = b - 137. Solve 2*z = -q + x for z.
-2
Let m(a) = -a**2 + 24*a - 27. Let d be m(22). Solve 12 = f + d for f.
-5
Let h be 15/(-10)*-1*2. Suppose -h*c = 2*c - 10. Solve 0*s = c*s + 2 for s.
-1
Suppose -5*s - 25 = 3*w, -2*w = -s - 2*s - 15. Suppose -a = -38357 + 38355. Solve 2 = -w*k + a*k for k.
1
Let d(z) = z**2 - 14*z + 2. Let l be d(14). Suppose -p + 0*p + l = 0. Solve 0 = p*u + u - 12 for u.
4
Suppose -4*t = -8, -5*m - 2*t + 35 - 31 = 0. Solve -4*c - 7*c = m for c.
0
Suppose 5*n - 2*n - 9 = 0. Suppose 3*q - 25 = -4*m, 1 + 4 = -m + n*q. Solve 0 = m*s - s for s.
0
Let a be (14/6 - 2) + (-4)/(-6). Let p be (-2 + a)/((-17)/85). Solve -2*w - 3*w + p = 0 for w.
1
Let a(g) = 2*g + 1. Let t be a(1). Let m(f) = f + 21. Suppose 4*p = 5*s + 3*p + 88, -3*p = 5*s + 76. Let c be m(s). Solve t*l - 11 = c for l.
5
Suppose -135 + 47 = 8*g. Let c(p) be the third derivative of -p**5/60 - 7*p**4/12 - 7*p**3/6 + p**2. Let k be c(g). Solve -5*v + k = 1 for v.
5
Suppose -6*h + 4*h = -0*h. Let a = h - -2. Solve -f = -a*f - 3 for f.
-3
Let y be (-4 + 1)*18/(-18). Solve 2*a + 13 - y = 0 for a.
-5
Let g = 41 + -25. Let k = -8337 + 8345. Solve -k*c + g = -4*c for c.
4
Let s(h) = -h**3 + 2*h**2 - h. Let a be s(3). Let u be (-3)/(-2)*(-104)/a. Let q = u + -10. Solve -2*c + q = c for c.
1
Suppose -5*u - 10 = 3*h, 5*h + 4*u = 7*h - 8. Suppose 0 = -5*y + 3*f + 28 - 5, h = 2*y + 5*f - 3. Solve -8*z = -y*z for z.
0
Let s be -8*(-6)/72*3. Solve 0 = -s*a - 6 + 4 for a.
-1
Let b be (-4 - -1)*(-8)/6. Suppose m = -4, 5 + 16 = 5*q - 4*m. Solve -b - q = -j for j.
5
Let u = -14 + 19. Suppose -3*k - 2*k = -5*g - u, -2*g + 10 = 2*k. Solve -k = 2*m + 1 for m.
-2
Let d = 0 + 3. Let b(p) = 4*p + 22. Let r be b(-3). Suppose 2*n - r = -3*n. Solve -n*l + 7 = -d for l.
5
Suppose 49*b - 8 = 48*b. Suppose -3*i + 6 = -0*i - 2*x, 4*x = 4*i - b. Solve -6*n - 12 = -i*n for n.
-3
Let c = 2987 - 2936. Solve -c = 22*m + 37 for m.
-4
Suppose -5 = 2*g - 31. Solve -4*a + 29 = g for a.
4
Suppose 0 = 5*n - 4*x - 23, n + n = -x + 4. Let c be 11/n - (-2)/(-3). Solve 0*d = c*d + 9 for d.
-3
Suppose 5*o - 92 = -82. Solve -3*t - o*t = -20 for t.
4
Suppose -i = r - 4, 0 = 5*i + r - 3*r - 27. Suppose -16 = i*p - 9*p. Solve 1 = -s - p for s.
-5
Let i = -684 + 693. Solve -i - 12 = -7*h for h.
3
Suppose -a + 3 = 0, -3*p - 86 + 83 = a. Let b(i) = -5*i + 4*i**2 - 5*i**2 - 7 + 3. Let k be b(p). Solve -k = l + l for l.
-1
Let r = 134 + -120. Solve -8 + r = 3*p for p.
2
Let g = -69 - -73. Suppose -15 = g*v - 7*v. Solve 3*r - 4 = v for r.
3
Let f be 174/9 + 2/3. Suppose 7*p - 6 = 4*p + 3*m, 5*m = -10. Suppose 4*z - 5*z + 5 = p. Solve z*r = r - f for r.
-5
Suppose g - 5*j - 21 = 0, 2 + 4 = -2*g - 2*j. Suppose -5*d + 4 + g = -q, 4 = 4*d + 2*q. Let f be (-3 - 1/d) + 4. Solve f*a - 1 = -a for a.
1
Let l(o) = 5*o**2 - 29*o - 4. Let y be l(6). Solve 14 = -6*n + y for n.
-2
Let r(a) = a + 2. Let j be r(2). Suppose -j + 0 = 4*q. Let o be ((-20)/(-3))/(q/(-3)). Solve 2*s = -2*s - o for s.
-5
Suppose 21*f + 30 = 22*f. Suppose -3*z + 4*o = -z - f, -4*z + 4*o + 60 = 0. Solve -5*u = z + 10 for u.
-5
Let k be 8 - 1 - (1 + 2 - 4). Solve 4*m - k*m = 12 for m.
-3
Let z be ((-117)/156)/(-1 + (-14)/(-16)). Let g(k) = k**3 - 6*k**2 - k + 6. Let s be g(z). Solve 0 = -s*o + 2*o - 6 for o.
3
Let g = 213 + -213. Solve -i = -g - 2 for i.
2
Suppose 4*u = 18 + 62. Let g be ((-4)/u*0)/2. Solve 0 = -g*h + 2*h - 6 for h.
3
Let j = 230 - 222. Solve 8*i = 8 + j for i.
2
Suppose -2 = x + 2*d - 0, -3*d + 7 = 4*x. Let s = -16 + -5. Let f = -15 - s. Solve -f*w + x = -2*w for w.
1
Let w = 904 + -904. Solve w = 6*f - 9 - 21 for f.
5
Suppose 8 = n + 2*s, 13 + 11 = 5*n + 2*s. Suppose -4 + 36 = n*a. Solve a = -0*i + 2*i for i.
4
Suppose 3*r = 12*r - 207. Solve r*m = 11*m + 48 for m.
4
Let u(k) = -2*k + 37. Let d be u(13). Solve -d = 5*x - 6 for x.
-1
Suppose 5*l = -2*x + 131, 0 = -0*x + 3*x - 5*l - 234. Solve 71*f = x*f + 4 for f.
-2
Let c(t) = -t**3 - 8*t**2 - 3. Let q be c(-8). Let f be -2*(-18)/(q/(-1)). Let s be 0/(1 + 3/(-1)). Solve 4*k = -s*k + f for k.
3
Let p(l) = l + 3. Let v be p(0). Suppose 2*u - v = -3. Solve 0 = -5*c - u - 10 for c.
-2
Let u = -22 + 2. Let t = u - -28. Let w = -3 - -8. Solve t*o - w = 3*o for o.
1
Let x(p) = -6*p + 4. Let l be x(-3). Suppose -12*m + m = -l. Solve 0*t + 2 = -m*t for t.
-1
Let l(y) = -4*y**2 - 17*y + 1. Let o be l(-5). Let w be (-8)/o*84/8. Solve r = w*r - 20 for r.
4
Let v(p) = 2*p**2 - 20*p - 20. Let w be v(11). Solve 4*c + 18 = -w for c.
-5
Let q = -1941 - -1948. Solve -12 = q*z - 40 for z.
4
Let l be 2/((-10)/(-45)) - 3. Solve 1 = -j + l for j.
5
Let o = 96 + -92. Suppose 4*k = a + 2*k + 2, -o*k + 4 = 3*a. Solve -3*h = -a*h for h.
0
Let n(s) = s + 15. Let i be n(7). Suppose i = 4*j + 2*r, -j + 1 - 8 = -2*r. Solve 7 = -5*w - j for w.
-2
Let v be 86/10 - (-12)/30. Suppose -3*b = -6*b + v. Suppose -15 = -b*h, 6*q + h = 2*q + 29. Solve -x = -q*x - 5 for x.
-1
Let a = -3696 - -3698. Suppose 2*k + 1 + 7 = 0. Let f(c) = c**3 + 5*c**2 + 4*c. Let w be f(k). Solve w = a*y + 3*y - 15 for y.
3
Let f = -732 - -744. Solve 0 = 55*t - 58*t - f for t.
-4
Let t(z) = z**2 + 24*z + 82. Let f be t(-3). Solve f = -25*x - 31 for x.
-2
Let r = 4 - 0. Suppose 5*n + b + 10 + 5 = 0, 0 = 5*n - 4*b + 15. Let j be 21/15*(2 - n). Solve 9 = -r*m - j for m.
-4
Let n = -7 + 21. Suppose -o + 5*o = c + 42, 0 = -5*o + 2*c + 51. Suppose -o*f = -n*f + 6. Solve f*q = q for q.
0
Let l be 3*(24/(-20) - (-1)/5). Let w be (l/3 + 14/8)*4. Solve -w*n = n for n.
0
Suppose -16*v + 165 = -187. Solve -6*i = -v - 8 for i.
5
Let k be 2/((-220)/115 + 2). Solve -38 = 5*r - k for r.
-3
Let w(n) = n**3 - 4*n**2 + 3*n + 3. Let h(s) = -2*s**2 + 2*s + 3. Let t be h(0). Let k be w(t). Solve -k*m = -m + 4 for m.
-2
Let q(v) = v - 2. Let u(b) = -b**3 + 13*b**2 - 12*b + 2. Let g be u(12). Let r be q(g). Solve r = -a - 0*a - 3 for a.
-3
Suppose -28 = -5*l + 2*y, -2*y = 4*l - 5*y - 28. Let z be (12/(-5))/(4/(-90)). Let g be 315/z - 1/(-6). Solve 0 = l*a - a +