161 - b. Is r a multiple of 6?
False
Suppose -121*a - 10 = -116*a, 0 = -4*v + a + 75202. Is 55 a factor of v?
False
Let a(t) = 575*t**3 - t**2 + 19*t - 25. Does 114 divide a(3)?
False
Let h(z) = z - 55. Let s(c) = 53. Let n(x) = 7*h(x) + 6*s(x). Is 26 a factor of n(14)?
False
Let u be 234/42 - (-9)/21. Is ((-555)/u - 0)/(1/(-2)) a multiple of 17?
False
Suppose -20 = 5*z - 9*z. Suppose 0 = -2*u - z*o + 156, -2*o = 5*u - u - 280. Suppose -2*q + 236 - u = 0. Is q a multiple of 21?
True
Let m = -2923 + 3637. Is m a multiple of 17?
True
Suppose 4*p - 134 = 326. Let c = 20 + p. Suppose 444 = 5*a + 4*y, 2*a - 39 = 2*y + c. Does 13 divide a?
False
Let h = 13 - 9. Let c(v) = -2*v**3 + 8*v**2 + 3*v + 2. Let o be c(h). Suppose -o*k + 100 = -4*k. Is k a multiple of 9?
False
Suppose 0 = -8*m + 53 + 35. Let w = 128 - m. Suppose 4*n - w = 495. Is n a multiple of 17?
True
Let i(b) = -10*b**2 - 548*b - 43. Is i(-39) a multiple of 30?
False
Suppose 798*w = -3*p + 794*w + 12354, 5*w = -4*p + 16470. Is p a multiple of 9?
False
Is 15 a factor of (-288 + 2043)*(-2)/(-2)?
True
Suppose -3*v - 3*n = -5894 - 1438, 8*v - 19528 = -2*n. Is 5 a factor of v?
True
Let u = -7285 + 19009. Is 4 a factor of u?
True
Suppose 0 = 11*t - 52*t + 260760. Is t a multiple of 20?
True
Let i be -10*18/45 + 5. Let q(n) be the third derivative of 7*n**4/24 - n**3/6 - 3*n**2. Is q(i) a multiple of 2?
True
Suppose -k + 3*c = -9, 0*k + 5*k = -4*c - 12. Suppose -3*i - 5*u + 3 = i, -4*u - 4 = k. Suppose 3*z - 33 = -w, -6 = i*z - 4. Does 6 divide w?
True
Let w = -6875 + 9866. Is 4 a factor of w?
False
Suppose -398680 = -40*o + 216000. Does 121 divide o?
True
Let d(k) = -18*k + 262. Suppose b + 5*t + 7 = 0, b - 15*t + 19*t + 3 = 0. Does 14 divide d(b)?
True
Let t be 2/(-11) - 138/(-33). Let f be (-1)/t + 5/4*1. Let d = f + 51. Is 9 a factor of d?
False
Let i(o) = 41*o - 417. Does 56 divide i(60)?
False
Let u = 77 + 54. Suppose 0 = -z + 160 - u. Is 4 a factor of z?
False
Suppose 9*f + 3096 = -3*f. Let a = f - -290. Is 8 a factor of a?
True
Let r(o) = o**3 + 12*o**2 + 19*o + 4. Let l = 9 + -17. Let x be r(l). Let f = x + -47. Does 10 divide f?
False
Let z(v) = 42*v**2 + 217*v - 2665. Is z(13) a multiple of 26?
True
Is 101 a factor of 8/6*1663698/328?
False
Let c(q) = 54 + 2*q - 3 - 28. Does 7 divide c(-8)?
True
Suppose -2*z = -9*z - 63. Let g be (-12 - -2)*(z/(-3) + -2). Is 0 + g/(-5) + 110 a multiple of 28?
True
Suppose 4 = 3*q - 2. Suppose w + 1339 = y, 2682 = -2*w + y + q*y. Is 2/(-8) + w/(-60) a multiple of 11?
True
Let x = 47592 + -21384. Does 117 divide x?
True
Suppose 4*a + 138 - 3631 = 3*y, 3*a + 2*y = 2624. Is a a multiple of 5?
False
Suppose 0 = 5*o + 4*o + 27. Let q be -1 - (-7 + (0 - o) + -107). Let w = q - -93. Is 29 a factor of w?
True
Let h = 1156 + 239. Is 31 a factor of h?
True
Suppose -3*z - 3*h = -12591, 68*z - 20994 = 63*z - 2*h. Is 70 a factor of z?
True
Let f(v) be the second derivative of -v**3/6 + 73*v**2 + 87*v. Is 46 a factor of f(-38)?
True
Let j = 2320 - 112. Is j a multiple of 48?
True
Let g be (1 - (-8)/(-10)) + (-52795)/(-25). Suppose 6*c - g = -10*c. Does 10 divide c?
False
Suppose 0*i = 13*i - 57201 - 21787. Is i a multiple of 124?
True
Let b(a) = -a**3 - 16*a**2 - 29*a + 8. Suppose 73 = 3*c + 31. Suppose 2*t + c = t. Is 3 a factor of b(t)?
False
Let v(o) be the first derivative of -33*o**2 - 33*o - 68. Is v(-3) a multiple of 11?
True
Suppose -1199 = 5*r + 186. Let c = r - -321. Does 20 divide c?
False
Let c be 4 - (10 - (-1 + 1)). Let h be ((120/(-25))/4)/(c/140). Let x = 33 - h. Is x even?
False
Suppose 684 - 458 = 2*n. Suppose -12*s = -151 - n. Is 3 a factor of s?
False
Let i = -689 + 712. Suppose -k - 2*y + i = 3*y, 4*k + 2*y - 56 = 0. Is 13 a factor of k?
True
Suppose 26*z + 6309 + 2739 = 0. Let k = z + 362. Is 6 a factor of k?
False
Let x = 90 + -89. Let v be (x/3)/(4/48*-1). Does 33 divide (3/v)/(2/(-88))?
True
Let y be (4 - 0) + 3/(-3). Let b(z) = z**2 + 13*z + 3. Let o be b(-13). Suppose o*s + y*s = 750. Does 25 divide s?
True
Suppose -4*a + 11 = 19. Let m be a + 2*(-26)/(-4). Suppose 10*w = m*w - 40. Is w a multiple of 10?
True
Let j = 7946 + -5726. Is j a multiple of 10?
True
Suppose -5*r + 4*j - 1215 = 0, 474 = -3*r + 5*j - 268. Let t = r + 890. Is 93 a factor of t?
True
Suppose -2*o + 0*o + 6 = 2*k, 4*k - 15 = -o. Let y = -4 + k. Suppose -3*c + 252 = -y*c. Is c a multiple of 28?
True
Let s = 297 + -294. Suppose 4*a - 5075 = -s*a. Does 29 divide a?
True
Let d = 2758 - -23692. Is 25 a factor of d?
True
Let j(q) = -q**2 + 10*q + 701. Is 14 a factor of j(31)?
False
Let u(m) = -m**2 + 3*m + 9. Let s be u(4). Suppose 5*z = -s*z + 180. Suppose -2 = 4*a - z. Is a a multiple of 3?
False
Suppose 95 = 2*q + 5. Suppose 33*a + 14*a - 2867 = 0. Let p = a - q. Does 5 divide p?
False
Let f(c) = c**3 + 4*c**2 - 4*c - 8. Let t be f(-4). Let z be (-2)/(8/(-95)) + 2/t. Is 13 a factor of z/36*39/2?
True
Suppose -3*u - 3*n = -30, -2*u + 7*u - 3*n - 34 = 0. Let t = 393 - u. Is 16 a factor of t?
False
Suppose 12*t + 8825 = 84941. Suppose -t = -32*f - 455. Is 8 a factor of f?
True
Let j(a) = -358*a**3 + 6*a**2 + 23*a + 7. Does 13 divide j(-3)?
False
Suppose 2*j - 3087 + 818 = 3*d, -3*j + 3375 = 5*d. Does 28 divide j?
False
Suppose 0 = 5*g - 3*r - 18915, -5*g + 5*r = -2214 - 16711. Is g a multiple of 42?
True
Suppose -4*z + 4*k = -32, 14 = 5*k + 34. Suppose z*f + 3*s - 1952 = 0, -3*f = -5*s - 567 - 868. Does 13 divide f?
False
Does 48 divide (13 - -7477) + (-6 - -11) + 21/(-3)?
True
Let o(z) = -72*z - 1. Let u(w) = -24*w. Let h(a) = 6*o(a) - 17*u(a). Let b = 444 + -448. Does 15 divide h(b)?
True
Suppose 22*r - 17*r = 15, -j - 3*r + 1536 = 0. Let v = -918 + j. Does 12 divide v?
False
Suppose 89 = -s - 5*n + 650, -n = -1. Suppose 5*o + 3*f = 1338, 0*f + 4*f + s = 2*o. Is o a multiple of 15?
True
Suppose 13*a - 10*a + 2*s = 21889, -2*a - 4*s = -14582. Is 25 a factor of a?
False
Let b(j) = -2*j**3 - 139*j**2 + 182*j + 869. Is 12 a factor of b(-73)?
False
Let w(d) = 1159*d - 1651. Is w(10) a multiple of 92?
False
Suppose -3*w - 18 = 3*t, 2*t + t - 6 = 5*w. Let q(y) = -y**2 - 4*y. Let u be q(w). Suppose -4*g - u*g = -168. Does 24 divide g?
True
Suppose -2*a - 4*k = -23852, 544*k - 47691 = -4*a + 549*k. Is 43 a factor of a?
False
Let s(d) = 4*d**2 + d + 9. Suppose -i = 3*g - 10, 2*g + 0*i - 5 = i. Is 12 a factor of s(g)?
True
Let c(p) = -2*p**2 + 3*p + 60. Let l be c(-6). Does 17 divide (-267 + -2)/(15/l)?
False
Suppose -3646*y - 319124 = -3698*y. Is y a multiple of 7?
False
Suppose -16*a + 30 = -21*a. Suppose 0*i - 5*i = -110. Is 23 a factor of (-368)/a + i/(-66)?
False
Let v be ((-7)/3 - -2 - -1)*144. Is 21 a factor of 167/(-4*(-4)/v*3)?
False
Suppose 3*p = -v - 18 - 126, 3*v = -3*p - 150. Let t = p + 6. Let k = t - -183. Does 26 divide k?
False
Suppose -20*z = -25*z. Suppose z = 3*c - 9*c - 960. Let g = c + 274. Is 38 a factor of g?
True
Let w = 89 + 523. Is w/24*(-38)/(-3) a multiple of 24?
False
Is 12 a factor of 7/21*-21*(-502 - 1)?
False
Let q(z) = 8*z**2 - 10*z + 12. Let s be q(-8). Suppose -s = 2*p - a, -6*p - 3*a = -2*p + 1188. Let h = 474 + p. Is h a multiple of 16?
False
Let i(g) = -g**2 + g + 42. Let w be i(-6). Suppose -3*t - 2*u + 3*u + 846 = w, u - 559 = -2*t. Is 9 a factor of t?
False
Suppose -1298 = -9*b - 389. Suppose -28*y = -27*y - b. Does 38 divide y?
False
Let r = 13620 - 7067. Does 4 divide r?
False
Suppose 5*p - 21105 = -m, -5*m + 25421 + 79915 = 4*p. Is m a multiple of 26?
True
Let f = -144 - -289. Does 55 divide f - 0 - (0 + (0 - -5))?
False
Suppose -112*m - 232*m + 3128467 = -5443325. Does 113 divide m?
False
Let y = -2479 + 12094. Does 58 divide y?
False
Suppose -61881 - 56886 = -33*o. Does 59 divide o?
True
Let w be (-8)/20 + (-8720)/(-50). Suppose -4*v = 4*u - 344, 4*v - 164 = -u + w. Is 28 a factor of v?
True
Let t be (-3516)/(-24) - (-2)/4. Let j = 124 + t. Does 52 divide j?
False
Let w(c) = -c**2 + 4*c + 58. Let z be w(-6). Is 27 a factor of (-10 - -768 - 0) + 0 + z?
True
Suppose 361*m + 364*m = 723*m + 25620. Is m a multiple of 5?
True
Let r be (4/(-3))/((-4)/6). Let o = -10680 - -10863. Suppose -u = -r*p + 2*u + o, -2*u = p - 88. Is 15 a factor of p?
True
Let q(i) = -2*i**3 + 15*i**2 - 124*i - 197. Does 48 divide q(-24)?
False
Let o(t) = 15*t**3 