ose 18*c - 15*c = 33. Let n(f) = 22*f - 98. Is 8 a factor of n(c)?
True
Suppose -22*x - 40 = -32*x. Let o(a) = 7*a**2 + 2*a + 6. Let r be o(6). Suppose x*f = -f + r. Is 6 a factor of f?
True
Let m = 480 - 482. Is (-19711)/(-46) + (-1)/m a multiple of 11?
True
Let m(o) = -65*o**3 - 26*o**2 - 32*o + 24. Is 9 a factor of m(-6)?
True
Let r = -1099 - -992. Suppose m + 5*c = 26 + 140, 2*m = 4*c + 318. Let q = m + r. Is 9 a factor of q?
True
Is 59 a factor of 650/(-260)*(-3 + 1) + 5011*3?
False
Let a be 107940/(-70)*4/6. Let y = -558 - a. Is 10 a factor of y?
True
Suppose -15 = 3*p + 3*m, 0 = -2*m - 5 + 7. Let k(l) = -l**3 + 9*l**2 + 10*l + 20. Does 11 divide k(p)?
False
Suppose 3*a - 36 + 15 = 2*t, 4*t - 5*a = -37. Let j be ((-24)/(-28))/(t/(-21)). Suppose 126 = -5*d + j*d. Does 21 divide d?
True
Suppose -2*s = -4843 - 3763 - 4228. Does 10 divide s?
False
Suppose 128 + 82 = -7*c. Let o = -12 + -43. Let i = c - o. Is 7 a factor of i?
False
Suppose 5*v + 0*j - 3*j = 8848, -v = 4*j - 1742. Is v a multiple of 12?
False
Let c = -155 - -159. Suppose c*r - 38 = 54. Is r a multiple of 3?
False
Let l be -2*(-2 - (-24)/(-8)). Is 16 a factor of (-13651)/(-170) + (-3)/l?
True
Suppose -241*b + 262*b - 119343 = 0. Is b a multiple of 118?
False
Suppose -3*o + 5*m + 23633 = 0, 4*o - 4*m - 31496 = -m. Does 301 divide o?
False
Let d(k) be the third derivative of -k**4/4 - 16*k**3/3 + 22*k**2. Let v be d(4). Is (-8*(-36)/v)/((-6)/28) a multiple of 4?
True
Suppose 3*k - c = 1267, -13*k + 2093 = -8*k + 3*c. Is 3 a factor of k?
False
Suppose 8*o = -6*o - 14476. Let q = 1450 + o. Suppose 4*g - 8*g + q = 0. Is g a multiple of 24?
False
Suppose -3*m = -3*v - 9, -4*v = -3 - 1. Let j(h) = 10*h**2 + m*h + 8*h**2 - 9*h**2 - 2. Does 19 divide j(3)?
False
Does 49 divide 15302*(-5)/(-40) - (-217)/(-124)?
True
Let k = -26 + 26. Suppose k = 5*m - 3180 + 300. Is 70 a factor of m?
False
Let m(q) = q**3 + 4*q**2 - 16*q - 19. Let y be m(-6). Suppose 4 = -3*c - y. Does 14 divide (-1446)/(-48) - c/(-24)?
False
Let b(r) = 3*r - 46. Let n be b(17). Suppose -n*g + 11*g - 672 = 0. Does 14 divide g?
True
Does 22 divide (5100/45)/(4/948) + 2/1?
True
Suppose -1717 = -4*x + 56*i - 51*i, -4*x + 1710 = 2*i. Let z = -183 + x. Does 29 divide z?
False
Let b(d) = 10*d - 170. Let a be b(17). Suppose u - 135 - 21 = a. Is 12 a factor of u?
True
Let q(a) = a + 14. Let g be q(-9). Suppose o - g = 1. Is 580/o + -5*8/(-120) a multiple of 9?
False
Suppose 137*t - 824674 = 96*t. Does 89 divide t?
True
Let c be (3 - 5)*3 + 358. Let i = c + -166. Is 41 a factor of i?
False
Does 14 divide (30/345 + 652/(-92))*-1688?
True
Let p be (-2 - -1)/(-3 - (-33)/12). Suppose 15 = s + p*s + 5*a, 2*s - 15 = -5*a. Suppose s = 76*d - 81*d + 810. Is 27 a factor of d?
True
Suppose -72*h + 1672940 = 161*h. Does 14 divide h?
False
Let h be (-96585)/94 + (-3)/2. Let i = h - -1460. Does 7 divide i?
False
Let p be -2*(-1)/2 + 1. Suppose 0 = 3*c + 3*i + 2*i + 20, 0 = 4*c + i + 4. Suppose c = q - 5 + p. Is 3 a factor of q?
True
Let f(r) be the second derivative of -r**5/20 + r**4/2 + 11*r**2/2 + r. Let x be 11 - (30/36*(1 + 5) + 0). Is 8 a factor of f(x)?
False
Let g = -40 - -45. Suppose 4*v = 0, 18 = g*m - 4*v + 3. Suppose -935 = m*j - 8*j. Does 43 divide j?
False
Let n = 4935 - 2771. Is 28 a factor of n?
False
Let a = -64 + 52. Let u be 2/(-4) + (1 - (-522)/a). Let t = u - -168. Is t a multiple of 14?
False
Suppose -77*f + 18 = -71*f. Suppose -f*w - 3*h = -1653, -h + 6*h + 1685 = 3*w. Does 11 divide w?
False
Let k = -61 + 69. Is (128/72)/k + 1636/9 a multiple of 14?
True
Suppose 0 = -5*p - 23 - 207. Let t be (-341)/(-4) + (-4)/(-32)*6. Let u = t + p. Is u a multiple of 5?
True
Suppose 16*j - 17527 = 729. Is 14 a factor of j?
False
Let s(q) be the first derivative of q**2 + 13/3*q**3 + 9*q - 22 - 1/4*q**4. Does 34 divide s(13)?
False
Let a(h) = -5*h**2 - 27*h + 3. Let p(s) = 6*s**2 + 26*s - 2. Let b(g) = 4*a(g) + 3*p(g). Let j be b(-15). Suppose -3*u + j*u = 471. Is 16 a factor of u?
False
Let o be -1 + (-14 + 15 - (0 + -3)). Suppose -q = o*s - 939, 56*q + 4675 = 61*q - 5*s. Is 52 a factor of q?
True
Suppose -19*z - 6*k + 25242 = -15*z, -k - 6298 = -z. Is 32 a factor of z?
False
Let x(b) = 2*b + 19. Suppose -d = -8*d - 112. Let v be x(d). Let r(f) = -4*f - 16. Is r(v) a multiple of 6?
True
Let a(q) = -q**3 - q**2 + 353. Let z = -212 - -212. Is a(z) a multiple of 63?
False
Suppose -24*x + 46956 - 13500 = 0. Does 11 divide x?
False
Let f(r) be the first derivative of r**4/6 - 10*r**3/3 + 3*r**2 + 29*r - 8. Let a(w) be the first derivative of f(w). Is a(10) even?
True
Let w = -283 + 282. Does 7 divide -2 - (-107 - w - 0)?
False
Let z = -17 + 19. Suppose -487 = -4*m - a, -130 = 4*m - z*a - 632. Is m a multiple of 16?
False
Does 86 divide 215*(-40)/150*-42?
True
Suppose 187*m - 143*m = 304920. Is 55 a factor of m?
True
Let g(j) = 2*j**2 - 37*j - 9. Let s be (32 - -1)/((-33)/(-22)). Is 38 a factor of g(s)?
False
Suppose 3*g + 16185 = 6*r - 10*r, 2*g = 2. Is 4*(-5 + r/(-12) + -4) a multiple of 13?
True
Suppose 3*k + 0*k = -6*k. Suppose k = 3*f + 5*w - 1082, 2*w - 348 = -f + 12. Is f a multiple of 52?
True
Suppose 796*d - 832*d = -117612. Is d a multiple of 11?
True
Let b = 15736 + -14372. Is 11 a factor of b?
True
Let p = 11493 - -183. Suppose 5*q - 11*q + p = 0. Suppose 0*b = -7*b + q. Does 17 divide b?
False
Let p(x) = -131*x - 26. Let u be (0 + -2)/(-3 + 276/84). Is p(u) a multiple of 31?
False
Suppose -111 = -6*y + 87. Is 5 a factor of y*(-5 + (7 - -1))?
False
Let t(j) = 7888*j**3 - j**2 + 38*j - 36. Does 161 divide t(1)?
True
Let x(n) be the second derivative of -12*n + 0 + n**2 + 1/6*n**3. Is x(11) a multiple of 8?
False
Let l be 231/(-35)*50/(-15). Suppose 9*f + 4654 = l*f. Does 12 divide f?
False
Suppose 7596 = 26*c - 2700. Is 9 a factor of c?
True
Is 24 a factor of (-90405843)/(-5556) - (1 - 5/4)?
True
Let r = 218 + -58. Suppose 146*s - r*s + 770 = 0. Does 5 divide s?
True
Suppose g = 2*o + 13601 + 5097, -10*o + 93490 = 5*g. Does 36 divide g?
False
Suppose p = 4*c + 16, -2*p = p + 2*c + 8. Suppose p = 6*h + 48 - 912. Suppose 69 + h = 3*t. Is t a multiple of 25?
False
Let p(z) = -z**2 - 154*z - 129. Is p(-105) a multiple of 2?
True
Let f(d) = -3352*d - 16. Let o be f(-1). Is 3/63*-6 + o/14 a multiple of 17?
True
Let l = 229 + -231. Is 11 a factor of l/(-9) - (-77)/(-126)*-772?
False
Let p(i) = -27 - i**3 - 15*i**2 - 36 - 23*i - 35 + 14 + 19. Is p(-15) a multiple of 20?
True
Let z be 68/(-85)*1*(-4 - 1). Suppose -782 = -z*t - 322. Is t a multiple of 7?
False
Is 12 a factor of (-14 - (-220)/15) + (-1654)/(-3)?
True
Let p(j) = 7*j**3 - 18*j**2 - 9*j + 9. Does 5 divide p(7)?
True
Let w = -117 - -147. Suppose -w*m + 210 = -27*m. Does 10 divide m?
True
Suppose -7*w + 1 = -27. Suppose -3798 = -w*u - 690. Is u a multiple of 44?
False
Let d(t) = 17*t - 14. Let b be -9 + 4 + 6 - -5. Is d(b) a multiple of 38?
False
Let v(i) = 2*i - 26. Let a be v(11). Does 20 divide 1*(165 + (a - 3))?
False
Suppose -3*u + s = -142, -2*u - 2*u - 2*s = -206. Suppose -4*x = -3*m - 12 - 25, 3*x + 2*m = u. Is 5 a factor of x?
False
Suppose 0 = 48*u - 140548 + 14260. Is u a multiple of 63?
False
Suppose 18 = 2*y, -2*n - 2*y + 84068 = -26594. Is n a multiple of 26?
False
Let a be 5/4 + (-30)/24. Suppose 0 = -5*v - 6*q + q + 710, -5*v + 4*q + 674 = a. Does 3 divide v?
True
Suppose 1353*i - 474600 = 1278*i. Is 113 a factor of i?
True
Let x be (-5)/(-20) + (-186291)/12. Does 17 divide x/(-16) + 5/4*-1?
True
Let a(v) = -v**2 - 1 + v**3 + 1 - 4*v + 3 - 1. Let s be a(-5). Let b = 362 + s. Is b a multiple of 13?
True
Let c(y) = -5*y**2 - 20*y - 109. Let n(u) = 2*u**2 + u - 1. Let b(g) = c(g) + 3*n(g). Is b(-7) a multiple of 13?
False
Let y(j) = -52*j + 107. Let p(c) = -17*c + 36. Let q(u) = -17*p(u) + 6*y(u). Is 27 a factor of q(-9)?
False
Let g(z) = z**2 + 5*z - 17. Let s be g(-8). Suppose 5*k - s = 6*k. Let u(p) = p**3 + 10*p**2 + 8*p - 6. Does 11 divide u(k)?
False
Suppose -3*a + 17 + 1 = 0. Suppose 0 = a*c + 152 - 1376. Is 74 a factor of c?
False
Let k(s) = 3*s**2 - 116*s + 630. Does 116 divide k(50)?
False
Suppose 3*p + 19487 + 11744 = 4*o, -4*p - 31236 = -4*o. Is o a multiple of 23?
False
Suppose -b = 3*h + 36, -2*b + 5*b = 5*h - 80. Let t be 2 + 6/(b/(-115)). Let j