*v + 1. Let p(b) = 7*k(b) + 6*r(b). Let f(t) = -3*t**2 - 52*t - 99. Let x be f(-2). Does 24 divide p(x)?
False
Let d(g) = g**2 + 7*g - 8. Suppose 12 = 6*c - 24. Is d(c) a multiple of 15?
False
Let x(l) = -776*l - 3379. Is 41 a factor of x(-8)?
True
Let m = -380 - -4099. Does 64 divide m?
False
Let d(n) = 864*n + 6136. Does 13 divide d(14)?
False
Let q be -3*(-2)/(-4)*496/(-12). Let t = q + -53. Is 2 a factor of 245/t - -1 - 4/18?
True
Let b = 1145 + 14266. Is b a multiple of 33?
True
Suppose -4*p - 3*v + 1495 = 0, -326*p - 1551 = -330*p + 5*v. Is p even?
False
Suppose 58*r - 43033 = 36485. Does 8 divide r?
False
Let j(u) = u + 23. Let s be j(-7). Let f(m) = -m**3 + 15*m**2 + 15*m + 7. Let y be f(s). Let b(h) = -h**3 - 10*h**2 - 12*h - 4. Is b(y) a multiple of 4?
False
Let u(z) = 50*z**3 + 8*z**2 + 59*z - 67. Let v be u(1). Suppose 2*q + 5 + 3 = 0, 0 = -3*m - q + 17. Let y = m + v. Is y a multiple of 19?
True
Suppose -151*l = -141*l - 17260. Let r = 2576 - l. Is 17 a factor of r?
True
Is 10/2*13/13*534 a multiple of 30?
True
Let i = 31 - 31. Suppose -2*d + 3*q - 7 = i, -5*d - 2*q = -2*d - 22. Suppose d*b - 3*b = 73. Does 31 divide b?
False
Is (-1108)/(-6)*(2145/910)/((-1)/(-7)) a multiple of 3?
False
Suppose -20*v = -15*v - 450. Let n = v + 65. Suppose -8*p = -n + 51. Is p a multiple of 2?
False
Suppose 281 = o + 4*m, -3*m - 540 = -o - o. Let r = o + -123. Does 6 divide r?
True
Is 5 a factor of 4/(-2) + 12/7 + (-1092548)/(-497)?
False
Let m = -2199 - -2211. Let a be (-8)/(-5) + 2/5. Suppose 5*y - m = -w, a*y - 123 = -4*w + 7*y. Is 9 a factor of w?
True
Let a(y) = 384*y + 2094. Is a(10) a multiple of 15?
False
Let y = -11537 + 13720. Is y a multiple of 9?
False
Let k(u) = -20*u**3 - 300*u**2 - 15*u + 23. Does 11 divide k(-15)?
False
Is 99 a factor of (32175/375)/(3/90)?
True
Let p = 58 + -54. Suppose -2*z + 12 = p*j, 2*j + 3 = 4*z - 1. Suppose -j*r - 9 = -t - 79, -2 = -t. Does 3 divide r?
True
Let z = 51679 - 35946. Does 11 divide z?
False
Suppose 1259*x - 1249*x = 570. Does 19 divide x?
True
Let q(i) = i - 2. Let n be q(11). Suppose n*o - 144 = 6*o. Is o a multiple of 6?
True
Let x(z) = -z + 178. Let a be x(0). Suppose 5*n = -3*y - 192, 56 = -2*y - 3*n - 72. Let l = a + y. Is 22 a factor of l?
False
Let s(c) = -c**3 - c**2 - 10*c. Let m = 519 - 526. Is 28 a factor of s(m)?
True
Does 209 divide (-45 - 575/(-23))*24312/(-10)?
False
Suppose -8*j + 53 = -59. Let z = -56 - j. Let g = z + 106. Is 12 a factor of g?
True
Let g(h) = 5*h - 19. Let c be g(13). Suppose -c = 5*y - 6. Is (285/(-9) - -1)*(y - -5) a multiple of 17?
False
Does 20 divide 51/34 - (-12675)/2 - 1?
False
Suppose 26*o - 110*o = -32*o - 419328. Is 8 a factor of o?
True
Does 6 divide (-1563)/4*(2665/(-123) - 5)?
False
Suppose 8*r - 3 = 13. Let w be (145 - 0)/5 + r. Let d = w - -3. Is d a multiple of 6?
False
Suppose 0 = 8*q - 11*q, -4*q + 3625 = 5*b. Does 11 divide b?
False
Suppose 9*n = 3*n + 6012. Suppose -3*f = -9*f + n. Let g = f - 113. Is g a multiple of 7?
False
Let w be ((-6)/(-9))/(4/(-18)) + 1. Let r be (-24)/6*(15/6 + w). Is 133 + 15/(-10)*r a multiple of 34?
True
Let a(r) = -2*r + 4. Let k(q) = 10*q - 19. Let p(o) = -11*a(o) - 2*k(o). Let t be p(3). Suppose -b - 2*s - 2*s + 185 = t, 2*b + 3*s - 345 = 0. Does 21 divide b?
False
Suppose -42 = 7*v, -4*z + v + 5846 - 32 = 0. Is z a multiple of 4?
True
Let m(p) = 5*p - 7. Let r be m(7). Let t be (1 - 27/21) + 148/r. Suppose -3*d + 42 = t*l, -4 + 26 = l + 4*d. Is l a multiple of 6?
True
Let d be (-3902)/6 + (-64)/96. Let g = 948 + d. Does 27 divide g?
True
Is 16 a factor of -1200*(-25)/((-1250)/(-40))?
True
Suppose 12 = -2*a, n - 3*a - 4256 = -325. Is 10 a factor of n?
False
Suppose -5*i + 10102 = 2*h, -10104 = -5*i - 31*h + 27*h. Is i a multiple of 96?
False
Let v(k) = -394*k + 1. Let a be v(-8). Suppose -5*n + 4*m - 3*m + 3147 = 0, -m + a = 5*n. Is ((-2 - -1)/(6/n))/(-1) a multiple of 15?
True
Suppose 11*a - 21*a = -10600. Suppose 4*q = -0*q + a. Is 5 a factor of q?
True
Let f = -1143 - -3239. Is f a multiple of 9?
False
Suppose -u = 5*i - 37594, 14*i + 22548 = 17*i + 2*u. Does 44 divide i?
False
Does 5 divide (15/45)/((-2)/(-15222))?
False
Is (-1)/(-17) + 6965723/3349 a multiple of 40?
True
Let c(n) = n**3 - 10*n**2 - 16*n + 230. Is c(10) a multiple of 4?
False
Suppose 8*f - 28*f + 340 = 0. Suppose -5*b = -f*b + 9516. Is b a multiple of 17?
False
Let p(m) = m**2 + 11*m - 8. Let z be p(-12). Suppose -u = -z*u, u - 120 = -3*o. Is 20 a factor of o?
True
Suppose -o = w - 51, -2*w - 3*o + 4*o + 114 = 0. Does 7 divide (66/w)/(6/920)?
False
Let q(w) = -627*w + 74. Let g be q(-11). Suppose -4*b - 5*s + g = 0, 9*b - 5*b - 2*s - 6978 = 0. Does 41 divide b?
False
Does 10 divide 1/(15/(-30)) + 9180?
False
Let t = -2560 - -5590. Is t even?
True
Suppose 34584 - 53111 - 122709 = -67*y. Is 2 a factor of y?
True
Let l(y) = -8*y**3 + y**2 - 28*y - 11. Is l(-6) a multiple of 47?
False
Let i be -20*1962/(-225)*-5*1. Let b = -501 - i. Does 51 divide b?
False
Suppose -52*x = -53*x - 5*b + 8111, -4*b = -x + 8093. Is 23 a factor of x?
False
Suppose -3*w - s = -68505, -64*w - 114208 = -69*w + 2*s. Is w a multiple of 14?
False
Let k = 91831 + -49765. Is k a multiple of 19?
True
Let j(s) be the third derivative of -s**6/120 + 11*s**5/60 + s**4/4 + s**3/6 - 25*s**2. Let h = 32 - 22. Is 54 a factor of j(h)?
False
Let p(l) = 1 + 12*l + 3 + 2*l**3 + 3*l**2 - 12*l. Let d be p(-2). Suppose -5*f + 212 + 93 = d. Is 10 a factor of f?
False
Let j be 24 - 10/35*21. Let x(b) = 41*b + 1. Let p be x(1). Is 15 a factor of (192/j)/(4/p)?
False
Let r(g) = -3*g**3 - 311*g**2 + 16 + 314*g**2 + 10*g**3 - 13*g. Does 20 divide r(4)?
True
Let b(y) = 17 - 14 - 10 - y + 10*y**2. Let l be b(3). Let s = l + 42. Is 35 a factor of s?
False
Let x = 28816 - 2688. Is x a multiple of 108?
False
Let r = 517 - 526. Is 63 a factor of 23842/126 - (-2)/r?
True
Let s be 37/((-2)/8 - (-77)/196). Let g(t) = -s - 11*t + 218 + 62*t. Is 14 a factor of g(3)?
True
Let x(d) = 17*d**3 - 22*d**2 + 33*d. Is x(3) a multiple of 7?
False
Suppose -1291 = -3*a - y, -16*y + 20*y = -a + 445. Does 3 divide a?
True
Suppose 2*v + 3 + 3 = 0, 3*v = -4*h + 7. Suppose -c + 60 = h*c. Suppose -c*b = -4*b - 216. Does 15 divide b?
False
Let o(c) = 7*c**3 - 10*c**2 + 12*c + 321. Is o(6) a multiple of 15?
True
Let n = -4 - -4. Let i be 1 + -5 - (55 - -5)/(-10). Suppose 2*y - i*z - z - 16 = 0, n = -y + 3*z + 5. Is 3 a factor of y?
False
Is 4 a factor of 142555/140 + (-28)/(-16)?
True
Let s(i) = 503*i - 4930. Is s(12) a multiple of 7?
True
Let t = -6658 + 6648. Suppose -16 = -4*d, -3*c + 2*d + 22 = -c. Does 11 divide ((-162)/c)/(2/t)?
False
Suppose 2*d - 6902 = -4*t, 0 = -3*t + 2*d + 3*d + 5170. Suppose -4*o = -2*q - 1370, 10*q = 5*o + 5*q - t. Is 10 a factor of o?
True
Suppose -3*z + 10 = 2*z. Let l(v) = -3*v**2 - 476160 + 476167 - 3*v**2 - 5*v + 21*v**2. Does 57 divide l(z)?
True
Let u be 2/(-4)*-2*(-33 + 36). Suppose -708 = -u*p + 228. Is p a multiple of 18?
False
Suppose -2944 = -72*r + 26*r. Is r a multiple of 64?
True
Suppose 0 = 3*v - 2*o + 3523, 4*v + 3*o = -0*o - 4703. Let a = -750 - v. Suppose 3*m - 262 = -2*h, -5*m - 4*h + a = -3*h. Does 21 divide m?
True
Let g = 5285 + -9635. Is -3 + g/(-17) + (-8)/(-68) a multiple of 11?
True
Suppose 2*v = -2*d + 84, 5*v - 3*d - 262 = -92. Does 22 divide v?
False
Let s(j) = -79*j - 819. Is s(-12) a multiple of 3?
True
Suppose -3*t - k + 146695 + 5284 = 0, 2*t = -k + 101319. Does 340 divide t?
True
Let f be -1 + 14/8 + 84/(-112). Suppose 32*m - 254 - 2242 = f. Is 6 a factor of m?
True
Suppose 3896*m - 756525 = 3863*m. Does 7 divide m?
True
Let q = 15647 - -2210. Is q a multiple of 5?
False
Suppose 0 = -27*s + 25*s. Suppose -2*r + 4*r - 4*u + 12 = 0, s = -3*r - 5*u + 15. Suppose 0 = -5*p - r*p - l + 122, 4*p + 5*l = 106. Is p a multiple of 3?
True
Let u = -56 + 57. Is (u - 10/6)/(41/(-4305)) a multiple of 5?
True
Let w = 425 - -141. Suppose -10*k + 4246 - w = 0. Does 8 divide k?
True
Is 198 a factor of 2402184/120 + -20 + (-1 - (-12)/15)?
True
Suppose -2*c + 2904 = -0*a + a, 0 = -5*a + 20. Is c a multiple of 25?
True
Suppose 0 = 4*h + 2*y - 578, 4*h + 0*y = -3*y + 575. Suppose 174 - 37 = -u. Let g = h - u. Is 35 a factor of g?
False
Let l = 166 - 76. Let h = l + -190. Let o =