64. Does 11 divide -10*(-1)/2 - (o + 1)?
False
Let y(w) = w**3 - 45*w**2 + 3*w - 81. Is 2 a factor of y(45)?
True
Let m = -50 - -56. Suppose -9 = -3*y + m. Does 50 divide 7 + (-3828)/(-20) - (-3)/y?
False
Let w = -271 - -1005. Let u = 224 + -586. Let a = u + w. Does 34 divide a?
False
Suppose -5*y + 10 = 5*c, 5*c = 2*y + 3*y - 10. Suppose 3*x + 9 = c, 2*p - 5*x - 89 = 412. Suppose -3*g + 0*g + 2*a = -p, -329 = -4*g + a. Is g a multiple of 12?
False
Let o(q) = -q - 1. Let n(u) = 3 + 18*u - 34*u + 20*u. Let i(z) = -n(z) - 2*o(z). Is i(-7) a multiple of 5?
False
Let c be (-4)/(-12)*-4*-18. Suppose 6*i + 0 - c = 0. Suppose -i*o = -2*o - 104. Is o a multiple of 13?
True
Suppose -3*d + 44*b + 14871 = 41*b, 0 = 3*d + 5*b - 14871. Does 22 divide d?
False
Suppose -447485 = -71*f + 195988. Is f a multiple of 171?
True
Suppose -34*f - 127*f + 8169817 = 2136664. Does 148 divide f?
False
Suppose 0 = -3*t - d + 34, -3 = -2*t + 4*d + 29. Let v be 3*248/t*-1. Let k = v - -103. Is 41 a factor of k?
True
Let r(s) = 122*s**2 - 1416*s - 8519. Is 17 a factor of r(-6)?
True
Suppose -2*f + 3*s + 22 = 2*f, 2*s - 12 = -4*f. Suppose -f*d + 216 = 4*k - 3*d, -2*k = 4*d - 94. Is 23 a factor of k?
False
Let c be ((-4 - -2) + 3)*5. Suppose 237 = -c*w - 153. Let f = w + 111. Is 20 a factor of f?
False
Let z(o) = 9*o**2 + 107*o - 2249. Is 133 a factor of z(86)?
False
Let z(g) = -3*g**3 - 9*g**2 + 7*g + 2. Suppose -4*o = 2*p + 34, -21 = 5*o - 5*p + 14. Let y be z(o). Suppose 5*q - y = -16. Does 20 divide q?
False
Let g = 3 - -29. Suppose 0 = 10*w - 6788 - g. Suppose -11*o + 0*o + w = 0. Is 8 a factor of o?
False
Suppose 0 = m + 448*c - 451*c - 1629, 0 = -4*m + 5*c + 6467. Is m a multiple of 56?
False
Suppose 0*y - 36 = -4*y + 5*n, -45 = -5*y - n. Suppose 4*g + 1390 = y*g. Suppose -4*d = -g - 334. Is d a multiple of 22?
False
Let t = -32735 - -52021. Is t a multiple of 169?
False
Suppose 7*b - 3*b - 53 = -3*r, -52 = -4*b - 4*r. Let u(z) = 3*z**2 + 9*z - 78. Is 6 a factor of u(b)?
True
Let m = -1951 - -4305. Is m a multiple of 22?
True
Suppose 273 + 42 = 3*k. Let o = 114 - k. Is o a multiple of 9?
True
Let a be 9 + 10*(-6)/(-15). Let x(j) = 6*j**2 - 43*j + 9. Does 16 divide x(a)?
True
Let v be 3 + -1*(-3 - -6). Suppose u + 2855 = 4*t, v*t + 2880 = 4*t + 4*u. Suppose 0 = 3*a + 2*a - t. Is 20 a factor of a?
False
Suppose 0 = -3*d - 371 + 518. Suppose 5*i = -2*f + 18, -2*i + 0*f + 10 = -2*f. Suppose -d = -i*o + 2*z + 39, -3*o + 65 = -z. Is o a multiple of 7?
True
Let h be ((-3)/(9/364))/(26/117). Is (h/8)/(15/(-40)) a multiple of 14?
True
Suppose 5*n - 61172 = -7*c, -n + 2*c + 24440 = n. Is 163 a factor of n?
False
Suppose 3*d = -5*o + 905, o - 15*d = -11*d + 181. Suppose o = 3*w + 28. Is 4 a factor of w?
False
Suppose -m - 96 = -46. Let i = 52 + m. Suppose -5*u - i*j + 200 = 0, -2*u + 5*j = -0*u - 51. Is u a multiple of 38?
True
Let i(m) = -15*m - 6. Let f be i(0). Is ((-8)/(-12))/(f/(-171)) a multiple of 3?
False
Let i(p) = 3*p**2 - 5*p. Let d be i(2). Let l(k) = k**3 - 12 + d*k - 26*k**2 + 5 + 0. Is l(26) a multiple of 9?
True
Suppose k + 5*a = 5635, -3*k - 5*a + 8*a = -16815. Does 22 divide k?
True
Suppose 0 = 22*u - 27*u. Suppose u = 10*r - 11*r + 424. Is r a multiple of 53?
True
Suppose 45*l - 48*l = -303. Suppose 84 = -l*k + 105*k. Does 5 divide k?
False
Let t(b) = -23*b + 70. Let a be t(4). Let r = a + 154. Is 11 a factor of r?
True
Let b be (-50)/4*28/35. Let o(v) be the first derivative of -v**2 - 2*v + 9. Does 6 divide o(b)?
True
Let b = -11551 + 16281. Does 16 divide b/77 + (-6)/14?
False
Let q = -29 + 30. Let y be q*-281 - 19/19. Let w = -181 - y. Is w a multiple of 10?
False
Is 78 a factor of ((-3)/((-27)/(-228)))/(2/(-117))?
True
Let a(m) = 2*m**3 - 8*m**2 + 2*m + 11. Let t be ((-28)/8 - 1)*-2. Suppose -40 = -17*v + t*v. Is a(v) a multiple of 3?
False
Suppose -3*k = 3 - 3. Suppose k = -0*w - w. Suppose w = 3*l + 2*c - 126 - 257, 246 = 2*l - c. Does 27 divide l?
False
Suppose 0 = -5*b - 2*p + 8, 2 = 2*b + 4*p - 14. Suppose -5*y + 245 = 3*s, 5*s - 445 = -b*y - y. Is s a multiple of 9?
True
Is (-1583985)/(-325)*3*20/12 a multiple of 74?
False
Suppose 92 = -4*c + 8*c. Let u(o) = -c*o**2 + 9 - 19*o + 8*o**2 + 4*o**3 - 5*o**3 - 2*o**2. Is 4 a factor of u(-16)?
False
Suppose -116*a + 1210911 = -410653. Is 18 a factor of a?
False
Let b(i) = 3*i - 10*i - 2 - 3 - 11*i. Let y be b(-1). Suppose -1386 - 525 = -y*c. Is c a multiple of 11?
False
Let k(a) = 11*a - 2. Let z be k(3). Suppose -t = -z - 15. Suppose 0 = 3*d - 4*x - t, d - 3*x = -d + 32. Is d a multiple of 5?
True
Suppose 0 = 46412*j - 46437*j + 52500. Is 81 a factor of j?
False
Let y be (-120)/50*(-3 + -2). Does 17 divide (4 - 0 - 7)/(y/(-728))?
False
Let o be (-6)/9*18 + 3. Let c be (-1)/o + (-185)/45. Is 4 a factor of (-183)/(-9) + -2*c/12?
False
Suppose 5*r + 2*j - 20023 - 133722 = 0, 3*r - 4*j - 92221 = 0. Does 31 divide r?
False
Suppose 5*k + 2*r = 761, 0 = -4*k + r + 152 + 449. Suppose -4*a = -24 + 8. Suppose -a*q + 1 + k = 0. Is 19 a factor of q?
True
Suppose 4*j - 239 = f, -41*f = j - 43*f - 51. Suppose 3*i - 30 = x + 9, 4*i = -5*x - 138. Let o = j - x. Does 13 divide o?
True
Let b(j) = 49*j + 1324. Is b(-14) a multiple of 51?
False
Suppose 2*l - 3 = 7. Suppose -14*z = -13*z - l. Suppose -3*r = -2*t - 43 - 45, -z*r = -2*t - 140. Is 17 a factor of r?
False
Let t be -2 + 4 + 10 + (0 - -1). Suppose 4*g = 4*o + 5*g - t, o + g - 1 = 0. Suppose 4*c = -o*s + 1092, c = -3*c - 3*s + 1093. Is 40 a factor of c?
False
Let q be (-8 - -6)*(2 - 3). Suppose -2*s = h - 294, -5*h = -3*s + q*s + 136. Let m = s - 91. Is m a multiple of 11?
True
Suppose -2*m = 7*b - 10*b - 6906, m + 3*b - 3462 = 0. Does 6 divide m?
True
Suppose 7 = 5*f - 73. Suppose -z - 7 = f. Let p = 73 - z. Does 12 divide p?
True
Suppose 3*j - 1945 = -j - 5*t, 0 = -5*j + 3*t + 2385. Suppose 3*z - j = -g, 0 = 2*g - z - 1419 + 487. Is g a multiple of 13?
True
Suppose -5*q + 4*f = -105, -4*f = 4*q + q - 145. Let d be -4 + 3 + -2 + q. Suppose d*h + 105 = 27*h. Is 2 a factor of h?
False
Let x = -4665 - -5730. Is 8 a factor of x?
False
Suppose 118334 = 92*b - 9252 - 25318. Is b a multiple of 4?
False
Let s = 19 - 9. Suppose s*i - 315 = 13*i. Let o = -49 - i. Is 8 a factor of o?
True
Suppose -40*x = 78*x - 169*x + 2517768. Does 51 divide x?
True
Suppose 4*d = -4*i + 32, -3*i + 21 = 3*d - d. Suppose 0*u - d = -u, -2*p - 5*u = -1119. Is p a multiple of 23?
True
Let l = 94 - 94. Suppose l*u = -12*u + 3192. Does 14 divide u?
True
Let p be (1 + -9)*5/40*-2. Suppose p*l - 10 = -0*l. Is 3 a factor of ((-6)/(-5))/(2/l)?
True
Let s(r) = -24*r + 10. Let c(b) be the second derivative of 23*b**3/6 - 9*b**2/2 - 4*b. Let x(d) = -7*c(d) - 6*s(d). Does 5 divide x(-1)?
True
Let g(m) = 26*m**3 - 8 - m - 68*m**3 + 9*m**2 + 20*m**3 + 23*m**3. Is 4 a factor of g(-4)?
True
Suppose -4*u + 12 = -0. Let d(k) = u*k - 6 - k**3 + 16 + 6*k - 7*k**2 - 2*k**2. Is d(-10) a multiple of 4?
True
Let l be 2 + 2/(-4) + 36/8. Suppose l*z = -4*z + 3780. Is z a multiple of 21?
True
Suppose 24 = 5*r - r. Let g(w) = -w**3 + 8*w**2 - 11*w - 1. Let b be g(r). Suppose -255 = -4*a + 3*m, b*m + 5 = -0. Is 10 a factor of a?
False
Let i = 98 + -183. Is 11 a factor of (-2)/(-5) - 16626/i?
False
Suppose 5*w - 4*p - 38 = 2*w, w = 4*p + 2. Does 16 divide -12*((-2280)/w)/5?
True
Let p(f) be the first derivative of f**3/3 - 5*f**2 + 13*f - 29. Let u be p(9). Suppose 2*z - 2*o - 218 = -54, -o + 333 = u*z. Does 14 divide z?
False
Suppose -10*k - 10602 = -16*k. Is k/9 + (-20)/(-12) a multiple of 20?
False
Suppose -2*z = -0*z - 2*c + 16, z + 2 = 4*c. Does 13 divide (-20)/(-2) - (z - -8 - 1)?
True
Suppose n - 2 = 0, -6*n = 4*v - 2*n - 3044. Is 16 a factor of v?
False
Does 11 divide 6 + 3/1*(-14450)/(-150)?
False
Let l(k) = 11*k + 1420. Is 8 a factor of l(-80)?
False
Suppose 12673 = -5*y + 5*j + 95058, -j + 65923 = 4*y. Is y a multiple of 74?
False
Let o(b) = -153*b - 11. Let w be o(-2). Suppose -5*l + 440 = -w. Suppose 6*f - 777 = l. Is 14 a factor of f?
True
Let z = 22 - 22. Suppose z = d - 3*d + 6. Suppose d*i - k = 56, 5*k + 51 = 4*i - 20. Is 10 a factor of i?
False
Suppose -p + 3*w + 180 = 0, -2*p + w + 70 + 265 = 0. Is 30 a factor of p?
False
Let i be (-4)/((-4)/3) - -83. Suppose 4*s + 74 = i. Is 14 - 4/(s + -4 + 3) a m