True
Is 4 a factor of ((-2)/3)/((-34)/459)?
False
Suppose 7 = -p - 3*j + 18, 0 = -3*p + 2*j. Suppose -w + p = -7. Does 7 divide w?
False
Let h(q) = -2*q**2 - 3*q + 4. Suppose 0 = -4*u - w - 17, -3*u - w + 1 = 13. Let z be h(u). Let a = -18 - z. Is a a multiple of 11?
False
Let r(q) = q**3 - 3*q**2 - 6*q + 4. Is 6 a factor of r(5)?
True
Does 16 divide ((-128)/(-12))/(5/30)?
True
Let q be ((-1)/3)/((-2)/66). Suppose 3*w - q = 4. Suppose -29 = -w*y + 21. Is y a multiple of 7?
False
Suppose -3*n - 3 = -183. Suppose -n = 2*c - 6*c. Is 5 a factor of c?
True
Suppose -105 = -5*c + 5*f, 0*f = f - 4. Is 8 a factor of c?
False
Let d = 27 + -19. Let x be (d + -4)*(-2)/4. Is 2 a factor of (x - 2)*1/(-2)?
True
Let g(s) be the third derivative of -s**4/24 + 5*s**3/6 - 8*s**2. Does 3 divide g(-4)?
True
Let m = -2 - 1. Let n(o) = o**3 - o**2 - 4*o - 1. Let u be n(3). Let q = u + m. Does 2 divide q?
True
Let g(v) be the second derivative of v**3 - 3*v + 0 - 1/12*v**4 + v**2. Does 7 divide g(5)?
True
Let j be ((-1)/(-2))/(1/10). Let x(u) = -u**3 + 5*u**2 + 2*u. Let a be x(j). Is 9 a factor of a/4*156/15?
False
Let l(j) = j**3 + 5*j**2 - 5*j. Let p be l(-6). Is 7 a factor of p/4*76/(-6)?
False
Let g(h) = -5 - 2 + 4 + 2*h. Let o be g(-3). Does 8 divide (o/6)/((-6)/32)?
True
Let d = -19 + 24. Let b = 11 - d. Does 5 divide b?
False
Let i(j) be the third derivative of 5*j**4/24 - 7*j**3/6 - j**2. Let t(d) = -7*d**3 - 2*d**2 - 2*d - 1. Let l be t(-1). Does 17 divide i(l)?
False
Let u(v) = -17*v**3 + 2*v**2 - 1. Suppose 2 + 3 = -5*w. Does 18 divide u(w)?
True
Let q = 3 + -1. Let s be (1 + 6/q)/1. Is 66/s*(-2)/(-1) a multiple of 23?
False
Let i = 17 - -4. Is i a multiple of 7?
True
Is 5 a factor of (-5)/(75/(-6)) - 113/(-5)?
False
Let h = 10 - 6. Suppose -3*t - 8 = -h*t. Suppose -i + 0 = -t. Is i a multiple of 4?
True
Suppose 41 = 6*q - 163. Is 13 a factor of q?
False
Suppose -4*h - 4*n - 216 = 0, h + 63 = -5*n - 11. Does 25 divide h/(-2) + 15/30?
True
Let d(x) = 6*x**3 - 4*x**2 + 2*x + 2. Let i be d(2). Suppose 0 = -j - 12 + i. Does 26 divide j?
True
Let c = 7 + 6. Let m(v) = -v + 19. Is 3 a factor of m(c)?
True
Is 6 a factor of (4 - 6)*162/(-12)?
False
Let c be ((-3)/1)/(6/(-16)). Suppose 0 = -p - 4*u + 30, 2*p - 2*u = 2 + c. Suppose 4*i - p = -2*b + 6, 4*b = -5*i + 38. Is 11 a factor of b?
False
Let j(y) = -y**3 - 3*y**2 - 2*y - 1. Suppose 0 = 3*g + 2*r + 11, 0*g = g + 2*r + 5. Is 5 a factor of j(g)?
True
Let l = 2 - 0. Let g(j) = 8 + l*j**2 - 5 + 3*j + 3*j. Does 13 divide g(-6)?
True
Let p be (132/(-1))/(14/(-35)). Suppose 2*v + p = -0*v. Is 3 a factor of v/(-35) - (-4)/14?
False
Let b(q) = -q**2 + 4*q + 3. Let z be b(6). Let t be (1 + -2)/((-3)/z). Let f(a) = -2*a**3 + 3*a - 4. Does 17 divide f(t)?
False
Let a(g) = g**2 - 6*g - 5. Let m be a(7). Let b(u) = -u**3 - 4*u**2 - 4*u - 9. Let i be b(-6). Suppose -m*y - i = -5*y. Is 17 a factor of y?
False
Suppose -3*q - 6*q = -1728. Does 32 divide q?
True
Let i = 13 - 19. Let j(k) = -6*k + 3. Let s be j(i). Suppose 2*y - 5*w - 67 = 0, -4*y - s = -5*y - 3*w. Does 21 divide y?
False
Suppose 3*m + 5*d = 2*d + 9, d = m - 7. Is 4 a factor of 3 + 0 + 5/m?
True
Let p = 151 + -217. Does 22 divide (28/(-12))/7*p?
True
Suppose 6*w + 46 = 460. Does 23 divide w?
True
Let r(m) = 3*m**3 + 0*m**3 - 2*m**2 + 4*m - 4*m**3 - 3. Let y(d) = d**3 + 12*d**2 - 4. Let s be y(-12). Does 7 divide r(s)?
False
Let b(j) = -4*j**2 - j + 1. Let r(i) = 9*i**2 + 2*i - 2. Let m(l) = -14*b(l) - 6*r(l). Let q be m(6). Suppose 3*n = 5*n - q. Is 15 a factor of n?
False
Let k(t) = -t**3 - 9*t**2 - 20*t - 8. Does 27 divide k(-8)?
False
Let a = 3 - 45. Is 0 - -45 - a/14 a multiple of 16?
True
Let m(o) be the third derivative of o**4/12 + o**3/6 - 4*o**2. Suppose 4*d - d - 3 = 0. Does 2 divide m(d)?
False
Let g = -62 + 32. Let s = 51 + g. Suppose -2*t - 3*j + 38 = 0, -j = -4*t + s + 41. Is t a multiple of 11?
False
Let t(l) = -5*l + 5. Does 5 divide t(-5)?
True
Let b = 38 - -32. Is 22 a factor of b?
False
Let u = -2 + 8. Let l(h) = h**2 - 4*h - 7. Is 2 a factor of l(u)?
False
Suppose -4*j + 24 = 2*h - j, 4*h - 48 = 5*j. Is h a multiple of 4?
True
Suppose 2*m - 6*m + 80 = 0. Is 15 a factor of m?
False
Suppose -w + p + 16 = -3, 44 = 4*w + 4*p. Does 6 divide (-8)/(-2) + 2*w?
False
Let h(n) = 12*n - 1. Let d be h(2). Suppose -4*p - s = -d, 3*p - 2*s = 2*p - 1. Suppose -p*u + 3*x = -33, 9 = -4*u - 2*x + 53. Does 6 divide u?
False
Let d(q) = q**2 + 11*q - 3. Let h be d(-12). Suppose -h*x + 4*x = -165. Does 10 divide x?
False
Let s be (-14)/(-42)*(2 + 1). Let a(r) be the third derivative of 3*r**5/20 + r**4/24 + r**2. Is 5 a factor of a(s)?
True
Suppose 5*l - 5*a = 4*l + 44, -30 = -l - 2*a. Is l a multiple of 17?
True
Let a(f) = f**2 - 13*f + 14. Let i be a(12). Suppose 2*b - 16 = -i*h, -2*b - 4*h + 39 = 3*b. Does 2 divide b?
False
Does 16 divide (3678/12 - 3) + (-3)/(-2)?
False
Let a(o) = -8*o. Let t(g) = -17*g + 1. Let j(w) = 13*a(w) - 6*t(w). Let p be j(-5). Suppose -44 = -5*h - b, 0 = -3*h - b - p + 30. Is h a multiple of 9?
True
Let p(z) = -1 - 1 + 0 - 4*z. Let b be p(-3). Is 4 a factor of 58/b + 5/25?
False
Suppose v - 5*r - 68 = 0, -5*r - 260 = 2*v - 7*v. Is v a multiple of 48?
True
Let h be (12/(-3))/(2*-1). Suppose -2*q - 2*o + 18 = 0, -5*o + o + 20 = 0. Suppose 112 = q*z - w - 0*w, h*w + 8 = 0. Is z a multiple of 12?
False
Let d(j) = -j + 23. Does 11 divide d(0)?
False
Let s = 1 - 3. Let k = 4 - s. Is k a multiple of 3?
True
Let b be 5 + 0 + (2 - 2). Suppose b = j - 4. Does 3 divide j?
True
Suppose -3*r = 4*x, 4*r - x - x + 22 = 0. Let y = r + 5. Is 9 a factor of (-1)/((-9)/(-10) - y)?
False
Let t(j) = -j - 1. Let p be t(6). Let m(k) = 4*k + 6. Let u be m(p). Let n = u - -36. Is n a multiple of 6?
False
Let a(f) = f**2 - 9*f + 2. Let q be a(9). Let n be (-18 - -1)*(-10)/q. Suppose 0*m + 2*m + 25 = x, 0 = 3*x + 4*m - n. Is x a multiple of 15?
False
Suppose 5 = -a - 0, 0 = -4*d - a + 15. Suppose 6*m - 44 = 2*m - 3*y, d*m - y - 36 = 0. Is 6 a factor of (-6)/m*(-2 + -6)?
True
Suppose -4*m = 158 - 526. Is m a multiple of 26?
False
Let y be ((-6)/(-15))/((-4)/860). Let b = y + 120. Does 34 divide b?
True
Suppose -7*y + 5*y + 84 = 0. Is y a multiple of 14?
True
Let u(i) = -i**2 - 15*i + 12. Is 2 a factor of u(-15)?
True
Suppose -69 = -4*j - 13. Is j a multiple of 2?
True
Suppose d - 31 = -0*d. Does 9 divide d?
False
Let n(l) = 0*l**3 - 6*l**3 - 3 + 2 + l**2. Is 5 a factor of n(-1)?
False
Suppose 2*m = 113 + 113. Does 13 divide m?
False
Let i(p) = 5*p**2 + p + 4 + p**3 + 4*p - 2*p. Does 4 divide i(-4)?
True
Let q = 24 - 15. Is 2 a factor of q?
False
Suppose 2 = 3*s + 3*x - 13, 4*s = -5*x + 22. Is 3 - (-1)/(s/198) a multiple of 19?
False
Let r(c) = c**3 - 10*c**2 - 7*c + 4. Does 8 divide r(11)?
True
Let v = -41 - -58. Is v a multiple of 9?
False
Let o = 0 + 4. Let b(p) = 34*p + 5 - 6 + o - 2. Does 15 divide b(1)?
False
Suppose 5*a + 5 = 0, -o + a = -8 - 22. Let h = 49 - o. Is h a multiple of 17?
False
Let p = 124 - 54. Is p a multiple of 14?
True
Let v(a) = 2*a + 10. Let b be v(-11). Is 4 a factor of 3/b - 42/(-8)?
False
Let j(x) = x**3 + 12*x**2 - 5*x + 8. Is j(-12) a multiple of 7?
False
Let r = -15 - -17. Suppose -6 = r*n - 5*b, -3*b = 5*n + 2*b - 20. Is 2 a factor of n?
True
Let b = -49 + 69. Is 20 a factor of b?
True
Let f(y) = -102*y**3 - 11*y**2 + 2*y - 11. Let l(r) = -68*r**3 - 7*r**2 + r - 7. Let w(v) = -5*f(v) + 8*l(v). Is 17 a factor of w(-1)?
True
Let g(d) be the third derivative of -d**5/60 + 5*d**4/8 - 4*d**3/3 - 6*d**2. Is 11 a factor of g(13)?
False
Suppose -2*j - f + 138 = 0, -2*j + f + 138 = -3*f. Is 23 a factor of j?
True
Let x = 190 + -113. Suppose -4*t = -221 + x. Is t a multiple of 9?
True
Suppose -1 - 2 = -3*q, -53 = -5*j - 3*q. Does 2 divide j?
True
Suppose -5*s + 1 + 14 = 0. Let d(c) = 0*c**3 + 2*c - 4*c**3 + 3*c**3 - 3*c - 2 + 4*c**2. Does 3 divide d(s)?
False
Suppose 2*j - 5*i + 21 = j, 3*i = 15. Suppose 4*t + o = 3*o + 12, -4*t + 24 = j*o. Suppose -v - m = -19, t*v - m - 79 = -2*m. Does 7 divide v?
False
Suppose 0 = -34*z + 38*z - 428. Is 8 a factor of z?
False
Let m(t) = 17*t + 63. Is 36 a factor of m(9)?
True
Suppose -2*f + 3*x = -145, -3*f + 102 + 112 = -x. Is 12 a factor of f?
False
Suppose -4*n + 72 = 4*m, 3*m + 3*n - 5*n = 54. Is 