uppose -8*w + 4*w + 28 = 0. Is 47/w - (-4)/n a multiple of 5?
False
Suppose 5*c = 112 + 38. Does 10 divide c?
True
Suppose -60 = -c - c. Does 15 divide c?
True
Suppose 24 + 3 = 3*p. Is p a multiple of 2?
False
Let l = -1 + 0. Let x be (6 + l)*(-1 - 0). Is (-8)/(-5) - 2/x a multiple of 2?
True
Let u(n) = 7*n - 3. Let f be u(3). Let r(v) = v - 3*v + v + f. Is 5 a factor of r(8)?
True
Let j = -6 + 26. Is 6 a factor of j?
False
Suppose 0 = -3*o - 4 + 196. Is o a multiple of 15?
False
Does 2 divide 4/18 + 79/9?
False
Let i(h) = -h**2 - 2*h + 12. Let p be i(5). Let m = -14 - p. Does 3 divide m?
True
Suppose 5*a - 215 = -2*q, q + 31 = a - q. Let k(j) = -3*j - 4. Let p be k(7). Let c = a + p. Does 5 divide c?
False
Let t = 14 + -6. Is 15 a factor of (-115)/(-4) + 2/t?
False
Suppose -17*i = -22*i + 145. Is i a multiple of 13?
False
Suppose -3*s = -0*s + 3. Let n = s - 3. Is 8 a factor of 12/(-10)*90/n?
False
Let r be ((-2)/3)/((-4)/6). Suppose -6 = -s - r. Suppose 9 = s*k - 36. Does 9 divide k?
True
Suppose 10*j - 3*j = 231. Is 9 a factor of j?
False
Let g be (-3)/(-4) + 670/(-40). Let w = g - -31. Is (-4)/8 + w/2 even?
False
Suppose 2*s - 16 = 6*s. Does 9 divide 95/10 - (-2)/s?
True
Let j be (-2)/(-3)*(-57)/(-2). Let w be 2*(-2)/((-8)/(-10)). Let t = j + w. Does 14 divide t?
True
Suppose -2*r + 2*m + 2 = 0, -m = -5*r - 0*m + 17. Let v = -4 + r. Suppose -2*z - 4 = -2*a, 8 = 2*a - v. Does 2 divide z?
True
Let i(c) = -2*c + 12. Let a be i(-9). Is ((-36)/(-15))/(9/a) a multiple of 4?
True
Let q = 3 + 1. Suppose q*r - r = 9. Suppose -4*d + 11 = -3*w, r*w = -5*d - 0*w + 34. Does 3 divide d?
False
Let b be (-805)/(-20) - (-2)/(-8). Suppose -4*o = -0*o - b. Does 10 divide o?
True
Let m(x) = 11*x - 1. Suppose 4*s - s = -2*n + 16, 0 = n - 5. Does 8 divide m(s)?
False
Suppose -5*x + 0*h = -h - 140, -3*x = 4*h - 84. Is 14 a factor of x?
True
Let a be 1/(-2) - (-5)/2. Let p be a/6*(6 - 3). Does 19 divide (33 + p)*(-6)/(-4)?
False
Is 28 a factor of -4 - 2*265/(-5)?
False
Suppose -7 - 13 = -2*p. Does 10 divide p?
True
Suppose t - 120 = -4*t. Let d = -1 + t. Is d a multiple of 12?
False
Let a(f) = f**2 + 4*f + 1. Let h be a(-3). Let t = 3 - h. Suppose 45 = 5*q + 3*k + 2*k, -3*q - 5 = -t*k. Does 3 divide q?
False
Suppose -5*q = -h - 14, 0*q + h = -4*q + 13. Is q a multiple of 3?
True
Let m(t) = -t + 1. Let b(f) = -2 - 4*f**2 + 5*f**2 + 2*f - 2. Let w(n) = b(n) + 4*m(n). Does 12 divide w(-4)?
True
Let m = 269 + -185. Does 28 divide m?
True
Let d be 2/(-6)*0 - 2. Let g = -2 - d. Suppose t - 68 + 17 = g. Is t a multiple of 19?
False
Suppose -4*t = -2*s - 0*s - 56, 5*s - 28 = -2*t. Is 12 a factor of t?
False
Let p be (-2)/(-4) + 3/(-6). Suppose p = -5*o + 3*c - 19, 3*o + 5 = -o - c. Is 6 a factor of (o/4)/(3/(-72))?
True
Let q = 15 + -12. Let x = q + 23. Does 11 divide x?
False
Let p = 114 - -71. Is 27 a factor of p?
False
Let m = -77 - -54. Let c = m - -28. Is c a multiple of 2?
False
Let j be (-5)/10 - (-186)/4. Let c = 69 - j. Let o = c - -17. Is o a multiple of 14?
False
Let r = 12 + 9. Let j(i) = i**2 + 4*i + 2. Let g be j(-4). Suppose -z + g = -r. Does 9 divide z?
False
Let t = -106 - -167. Is t a multiple of 31?
False
Let d be (0 - (-2)/2) + 1. Suppose 4*b = -5*g + 41, -b = 2*g - 10 - 4. Is 10 a factor of (-4)/(-4)*g*d?
True
Suppose 0 = -5*k - 4*h + 569, 6*h - 5 = h. Let u = -80 + k. Suppose 0 = -3*a - 0*a + u. Is a a multiple of 6?
False
Let u be 3 - (8 + -3 + 2). Is 8 a factor of (-835)/(-25) - u/(-10)?
False
Let w be (6/8)/(2/8). Suppose w*z = -5 + 38. Does 7 divide z?
False
Let n(j) = -2 + 4*j**2 - j**2 - j**2 + 3*j. Let x(r) = -2*r + 8. Let u be x(6). Is 18 a factor of n(u)?
True
Let j = 463 + -295. Is j a multiple of 21?
True
Suppose -4*a + 352 = 5*q, 2*q + 328 = 4*a + q. Let v(k) = -13*k**2 - 2*k + 1. Let x be v(2). Let y = x + a. Is y a multiple of 14?
True
Suppose -2*w - 550 = -7*w. Is w a multiple of 30?
False
Let b(z) = z**2 + 8*z + 12. Let m be b(-8). Let f(i) = i**3 - 13*i**2 + 13*i - 5. Does 7 divide f(m)?
True
Let s be -2 + 0 + 10 - 0. Suppose 3*k = 34 + s. Is 14 a factor of k?
True
Let c = -2 + -2. Let w be (-2 - -7)*6/10. Is 11 a factor of ((-22)/w)/(c/6)?
True
Suppose 2*q = -4*u + 480, 2*q - 272 = -3*u + 86. Does 16 divide u?
False
Let n = 68 + -18. Is 25 a factor of n?
True
Is 9 a factor of (-18 - (-4 - -4))*16/(-3)?
False
Suppose 5*i + 14 - 49 = 0. Is 3 a factor of -6*1/(-2) + i?
False
Let r be ((-15)/(-9))/((-1)/(-3)). Suppose -u - 3*u + 3 = -5*i, 5*u - 5 = r*i. Suppose -3*x + 58 = -u. Is 8 a factor of x?
False
Suppose 0 = m - 4*q + 4 - 26, -4*m + 3*q = -23. Suppose 3*o + 14 = -m*k + 76, 2*o - k - 32 = 0. Does 10 divide o?
False
Let p be (12/9)/((-4)/12). Let q(b) = b**3 + 5*b**2 - 2*b + 7. Is 9 a factor of q(p)?
False
Let z be ((-6)/4)/((-6)/116). Let b = 3 + z. Is 12 a factor of b?
False
Is 7 a factor of (-2869)/(-57) + 1/(-3)?
False
Let k be ((-384)/(-9))/(2/(-6)). Does 16 divide 39/26*k/(-3)?
True
Suppose -4 = -2*j + 6. Suppose -j*p - 52 = -2*i, -2*i - 3*p + 130 = 3*i. Does 13 divide i?
True
Let u = -9 + 1. Does 22 divide (-28)/u*28/2?
False
Let w = 1 - 3. Let y(v) = -3 - 4*v - 1 + 1. Is y(w) a multiple of 5?
True
Let g(p) = p**2 + 11*p - 6. Suppose 2*t - 3 = 7, 38 = -4*b - 2*t. Is 2 a factor of g(b)?
True
Is 8 a factor of (4*(-21)/(-4))/((-3)/(-8))?
True
Let b = 0 - -3. Suppose -b*r - 5 - 1 = 0, -r + 78 = 5*p. Is p a multiple of 16?
True
Suppose -4*f - 5*i + 468 = 0, -4*i + 9 + 7 = 0. Does 13 divide f?
False
Let p(t) = -t**3 + t**2 - 2*t + 2. Let n be p(0). Suppose 14 - 32 = -n*w. Is 9 a factor of w?
True
Let m be (-4)/(-16) - 273/(-12). Suppose a - 2*z = m, 2*a + 14 = 5*z + 61. Is a a multiple of 7?
True
Let p = 14 + -12. Suppose p*a + 53 = 3*x + 3*a, -4*a = 5*x - 100. Is 5 a factor of x?
False
Let o(c) = 19*c + 14. Does 13 divide o(5)?
False
Suppose -3*s = -2*b + 54, 5*b - 3*s = 194 - 68. Is b a multiple of 6?
True
Let y be (-2)/(-8) + 39/4. Suppose y = 4*p - 2. Suppose 52 = p*x + 10. Is 12 a factor of x?
False
Let s be (-3)/(-5) - 8/(-20). Let v = 3 - s. Suppose -x - 45 = -3*g - v*x, 5*g - 73 = -x. Is 14 a factor of g?
True
Let w(z) = 24*z**2 + 2*z - 1. Let n = 2 + 3. Suppose n = 2*o + 3. Is 17 a factor of w(o)?
False
Suppose 5*i + 5*f = 5, 4*i + 3*f = -2*f + 3. Suppose -q + 1 = -i. Suppose w = r - 13, -2*r + r + q*w = -5. Is r a multiple of 7?
False
Let x = -7 - -7. Let i(d) = -4*d + x*d - 1 + 2*d. Is i(-7) a multiple of 9?
False
Is -5 - -6 - (-3 + 1) a multiple of 3?
True
Let v = 76 + -72. Does 3 divide v?
False
Suppose -5*m = -4*j - 922, -3*m - 2*j + 568 = 3*j. Is 9 a factor of m?
False
Let g(t) = t**2 + 4*t - 3. Let j be g(-5). Let z = j - -7. Is 10 a factor of 309/z - (-4)/6?
False
Suppose 5*m = 2*m. Suppose m = a + 3 - 0. Is 5 a factor of 1 + 4/a*-3?
True
Suppose -2*t - t = -3. Does 6 divide (t - 0)*(-60)/(-5)?
True
Is 36 a factor of 862/6 - 0 - 4/(-12)?
True
Let z(h) = -h**3 - 9*h**2 + 8*h - 12. Is z(-10) a multiple of 2?
True
Let t(l) = l**3 + 6*l**2 + 4*l - 5. Let s be t(-5). Let u = 24 - s. Is u a multiple of 8?
True
Let u(p) = -4*p - 3 + 2*p**2 - 4 + 9*p + 3. Let f be u(3). Is f + 3*(-4)/6 a multiple of 9?
True
Let j(y) = -y**3 - 2*y**2 + 2*y + 2. Let n be j(-4). Suppose -n = -o - 1. Is 13 a factor of o?
False
Suppose 8 = v + 17. Let s(k) = -k**3 - 10*k**2 - 11*k - 4. Is 3 a factor of s(v)?
False
Suppose -3*a + 30 = 2*a. Let u = a + 3. Is 7 a factor of u?
False
Let f be 4/16 - 1/4. Is 10 a factor of (-7)/(21/(-60)) + f?
True
Let y = 60 + -36. Does 12 divide y?
True
Suppose 0 = -g - 2, 0*v - 5*v - 4*g = -102. Does 6 divide v?
False
Let b(u) = -u + 5. Let h(i) = -4. Let f(x) = -3*b(x) - 2*h(x). Does 10 divide f(9)?
True
Suppose -4*s - 3*z = s + 93, 3*z - 117 = 5*s. Let t = -7 - s. Is 14 a factor of t?
True
Suppose -3*x = 3*s + 6, 0*x - 2 = -5*x - 2*s. Suppose x*k - 1 = 5. Suppose -8*o + 4*o = -k*g + 95, 0 = 2*g + 4*o - 30. Does 10 divide g?
False
Is (-7176)/(-28) + (5/7 - 1) a multiple of 16?
True
Let q(i) be the third derivative of -i**9/2240 - i**7/2520 - i**6/720 + i**5/30 + 2*i**2. Let n(a) be the third derivative of q(a). Does 20 divide n(-1)?
False
Let h be 54/14 - (-7)/49. Suppose -4*z = -h*f - 520, 3*z - 124 = f + 260. Suppose -2*c + z - 37 = 0. Does 15 divide c?
True
Suppose -37 - 28 = -5*v. Does 6 divide v?
False