0171. Is 201 a factor of x?
True
Suppose 0 = 36*m - 16699 - 8105. Suppose -679*x + m*x = 4560. Is x a multiple of 19?
True
Let c = 5 + -11. Let x(j) = 44*j - 15*j - 18*j - 22*j + 1. Is 31 a factor of x(c)?
False
Let d be ((-55)/(-22))/(3/6). Suppose 0 = -d*b + m + 2*m + 3282, 0 = 4*b - m - 2620. Is b a multiple of 18?
False
Let o = -14032 + 19050. Is 64 a factor of o?
False
Suppose 0 = -g - 4*s + 280, -3*s = 5*g - 1077 - 340. Let b(z) = z**3 - 4*z**2 + 1. Let q be b(5). Suppose 5*y - q = g. Does 41 divide y?
False
Suppose -32*b = -16*b + 62*b - 304512. Is 8 a factor of b?
True
Let g = 19 + -20. Let u(m) = m + 4. Let l be u(g). Suppose l*c - 48 = 216. Is c a multiple of 44?
True
Suppose 1969 - 5224 = -7*z. Suppose 0 = -3*v, 0 = 4*w + 4*v - z - 183. Is w a multiple of 6?
True
Suppose -4*f - 4 = -4*q, -4*f - 20 = 2*q - 46. Suppose 39 = -q*d - 26. Does 15 divide d - -16 - 86/(-1)?
False
Let m = 143 - 86. Let c = -39 - -42. Let w = m + c. Is 12 a factor of w?
True
Suppose 25*h = 5614 + 36186. Is 38 a factor of h?
True
Let k = 572 + -458. Suppose -k + 225 = 3*t. Is t a multiple of 12?
False
Suppose -291*m + 294*m = v + 231, 2*v + 158 = 2*m. Is 2 a factor of m?
True
Suppose -336 = -9*d - 66. Is 13 a factor of 9146/16 - d/(-80)?
True
Suppose 5*x = 5*d + 10, -3*x + x = 8. Let k(i) be the second derivative of -5*i**3/2 - 3*i. Does 10 divide k(d)?
True
Let x = 223 - 219. Let d(k) = 108*k - 50. Is 9 a factor of d(x)?
False
Let v(x) = 53*x**3 + 3*x**2 - 12*x + 5. Let w be (-12)/2 - (-1 - 8). Is v(w) a multiple of 18?
False
Suppose 121*q - 5*l + 20100 = 123*q, -q + l = -10078. Does 19 divide q?
True
Let z(q) = -23*q**3 + 10*q**2 - 16*q - 389. Does 85 divide z(-8)?
True
Let f(v) = -133*v**2 + 4*v + 3. Let i be f(-2). Let s be 4 + i*(-4)/6. Suppose 4*w + 98 = s. Does 6 divide w?
True
Is (38 - -4)/7 - -49422*(-3)/(-6) a multiple of 21?
True
Let i be (102/10)/((-42)/(-7140)). Suppose 41*x - 152 = i. Is 23 a factor of x?
True
Let i be (-48 + 324/18)*(-38)/(-4). Let p = i + 687. Does 10 divide p?
False
Let z = 1815 + 3818. Is z a multiple of 129?
False
Let f(m) = m - 13. Let w(z) = z + 20. Let x be w(-5). Let h be f(x). Suppose 2*j - 4*u - 34 = 0, -h*j + j = u - 23. Is 4 a factor of j?
False
Suppose 2*q = -0*q + 20. Suppose 2*o = -0*o + q. Let w(j) = 7*j - 2. Is w(o) a multiple of 26?
False
Let m = -25364 + 34499. Is m a multiple of 203?
True
Let b = 169 + -127. Suppose -b*x - 925 = -47*x. Is 14 a factor of x?
False
Let r(d) = -d**3 + 61*d**2 + 145*d - 477. Is 281 a factor of r(56)?
True
Let m(v) = 3*v - 90. Let k(a) = -a + 92. Let p(w) = 5*k(w) + 4*m(w). Is 15 a factor of p(35)?
True
Let c(n) = 455*n + 23. Let y(q) = -453*q - 24. Let t(h) = -4*c(h) - 3*y(h). Is t(-2) a multiple of 41?
True
Suppose 0 = 7*t + 67 - 165. Suppose 16*g = t*g + 782. Is g a multiple of 12?
False
Suppose 0 = d - 5*j - 13, 5*d - 2 = -2*j + 9. Suppose -d*a = -3*f - 2*a + 648, -5*f = a - 1088. Is f a multiple of 7?
True
Let w = 177 - 157. Suppose 0 = -o - 15*a + w*a + 484, -5*o - a = -2472. Does 13 divide o?
True
Suppose 0*u - 4*h + 25 = 3*u, -u + 3 = -4*h. Let g(l) = -l**3 + 8*l**2 - 9*l + 9. Let s be g(u). Let q(b) = -17*b + 11. Is 9 a factor of q(s)?
False
Let r = -2466 - -2811. Does 115 divide r?
True
Let n(q) = 48*q - 149. Let y(z) = -24*z + 75. Let w(u) = 7*u + 33. Let x be w(-5). Let t(m) = x*n(m) - 5*y(m). Is t(12) a multiple of 13?
False
Suppose 3*o + 0*o - 6 = 0. Let n(d) = 18*d + 198. Let u be n(-11). Suppose -334 = -2*g - 0*g - o*f, 3*g - 4*f - 515 = u. Is g a multiple of 40?
False
Let r(h) = 9168*h + 2517. Is 25 a factor of r(6)?
True
Let n = -42 - -220. Let z = 202 - n. Is 9 a factor of z?
False
Suppose 344*j - 1137*j = -29696264. Does 31 divide j?
True
Suppose -4*t - 227*g + 52396 = -223*g, -2*t - 5*g = -26219. Is 12 a factor of t?
True
Let b be (-6)/5*15/(-2). Let s = 222 - b. Is 41 a factor of s?
False
Suppose -t + 11496 = -3*v - 2861, 2*v = -3*t + 43027. Does 95 divide t?
True
Let h(u) = 3405*u + 456. Does 12 divide h(8)?
True
Let b be (-2)/(-8) + 51/(-12). Let p(d) = 178 - 549 - 10*d + 179 + 187. Is 5 a factor of p(b)?
True
Suppose -68*i = -69*i + 8. Let g(a) = a**3 - 8*a**2 + 4*a + 5. Does 12 divide g(i)?
False
Let o(i) = 1092*i**2 + 125*i + 4. Is o(-1) a multiple of 2?
False
Is 23568 + -4 - -5*(18/15)/(-3) a multiple of 119?
True
Let q(p) = 5*p**2 + 9*p + 1. Let n be q(-7). Suppose -2*w + 2*s = 3*s - 119, -3*w + n = -3*s. Is 3 a factor of w?
True
Suppose 3*u + 663 = 4*g, u - 154 - 175 = -2*g. Suppose g = -2*q + j, -2*q - j - 177 = 2*j. Let f = 37 - q. Is f a multiple of 11?
True
Let f(x) = 5 - 82*x + 9*x**2 + 0 + 120*x. Is f(-7) a multiple of 20?
True
Let s = -798 + 1482. Is s a multiple of 18?
True
Suppose -6*l + l = 3*f - 117, 0 = f + 1. Suppose 12 = 6*m - l. Let r(x) = -x**3 + 7*x**2 - 4*x + 15. Is r(m) even?
False
Suppose -3*v + 64756 = r + 3384, r + 8 = 0. Does 10 divide v?
True
Let c = -551 + 545. Is c/12 - (-31437)/18 a multiple of 85?
False
Let o(w) = -8*w + 11. Let f be o(-3). Let g be 94/14 - (-10)/f. Is 4/8 + g/(-2)*-17 a multiple of 10?
True
Let d(u) be the third derivative of 11*u**4/8 - 4*u**3 - 427*u**2. Let h = 14 - 10. Is d(h) a multiple of 27?
True
Let y(m) = -59*m**3 - 5*m**2 - 21*m - 67. Is 79 a factor of y(-4)?
True
Suppose -7 = 4*b - 95. Suppose 20*l - b*l = 0. Suppose l = 3*y - 9*y + 282. Is y a multiple of 17?
False
Let n(f) = -24*f - 132. Let c be n(-24). Suppose -86*k = -90*k + c. Does 22 divide k?
False
Let h(p) = 6*p - 9. Let n be h(2). Let o(g) = -3*g**2 - 4*g**3 + 4*g + 19*g**n - 4 - 2*g. Is o(2) a multiple of 6?
True
Let w(u) = -5*u**2 + 32*u - 10. Let b be w(6). Suppose 0 = j + h - 122 - 49, b*h = -8. Is 6 a factor of j?
False
Let d = 1949 + 3668. Does 42 divide d?
False
Suppose 12047 - 40911 = -11*c. Is c a multiple of 6?
False
Suppose 5*x + 4*i - 84193 = 12328, -2*x - 2*i = -38608. Is x a multiple of 13?
True
Let j(g) = 7*g**2 - 4*g - 6 - 5*g**2 + 3*g**2 + 23*g. Let k be j(-5). Suppose k*m = 21*m + 192. Is 19 a factor of m?
False
Suppose 68 + 401 = -7*u. Let l = -65 - u. Suppose -h - 5*y + 98 = 0, 5*h + 4*y - 272 = l*h. Is h a multiple of 22?
True
Let k(g) = 2 - 2 - 8 + 20*g. Let x be k(6). Suppose 380 = 117*a - x*a. Is 19 a factor of a?
True
Let r(a) = 15*a**2 + 57*a + 109. Let z(n) = -4*n**2 - 19*n - 36. Let p(b) = 2*r(b) + 7*z(b). Is 26 a factor of p(12)?
True
Suppose 28*r - 25*r + 33 = 0. Let t be r/(-33) - (-1)/(-3). Does 37 divide 4 - t - (-107 - 0)?
True
Let g = -71 - -103. Suppose -4*m + 2*p = -22, -p + 3 + 1 = 3*m. Suppose -3*b + 0*r + 42 = m*r, 0 = -2*b - 4*r + g. Is b a multiple of 4?
True
Let n be (-3 - -5)/(-2 + 1516/757). Suppose 2*l = -3*o + 381, -4*l = -8*l - o + n. Is l a multiple of 13?
False
Let f = 17598 + 8938. Is f a multiple of 31?
True
Suppose -361298 + 81200 = -6*c - 8*c. Does 262 divide c?
False
Let p(f) = -f**3 + f. Let y be p(0). Suppose -244*k = -223*k - 63. Suppose 0*z + k*z - 336 = y. Is z a multiple of 28?
True
Suppose 11*d = 4*d + 7. Suppose -5*u = 3*x + d, 5*x - 4*u - 14 = 3*x. Suppose -4*q + 123 + 324 = -f, 451 = 4*q + x*f. Does 11 divide q?
False
Let d = 15458 - -11383. Is d a multiple of 69?
True
Suppose -5*c = -2*y - 146170, -4*c + 9*c - 4*y = 146180. Is 21 a factor of c?
True
Suppose 5*o - 1 - 1 = 3*v, 2*o - 2 = 0. Let c be 15/v*(-1)/(-3). Suppose -3*a = a - 3*i - 88, c*a - 2*i - 110 = 0. Is 4 a factor of a?
False
Is 6 a factor of 4/10 - 4219896/(-360) - 15/(-9)?
True
Let u(f) = 386*f**2 - 389*f + 40. Does 66 divide u(-7)?
False
Let y = 833 - 786. Suppose 0 = 35*d - y*d + 252. Is 21 a factor of d?
True
Suppose -2*b = 3*a - 5*b - 13743, -5*a + 22935 = 5*b. Suppose -72*g = -64*g - a. Is 39 a factor of g?
False
Suppose 3*n + t + 136 = 492, 0 = -n + 2*t + 121. Suppose -n = 12*a - 659. Is 45 a factor of a?
True
Let a(m) = m**2 - m - 45. Let r be -4 + 0/(-5) - 2. Let h be a(r). Let q(l) = -3*l**3 + l**2 + l - 6. Does 27 divide q(h)?
True
Suppose -7*n - 5542 = -1328. Let j = -525 - n. Is 4 a factor of j?
False
Suppose -6*c + 9 = -9. Let u be (-6 + c)*5/(-15). Suppose t + u = -2*i - 0, 3*t + 3*i - 9 = 0. Is 5 a factor of t?
False
Let d be (3 - -3)/((-5)/(-5)). Let c be ((-20)/6)/(d/180*-1). Is 230*8/c*5 a multiple of 7?
False
Let m be (-4)/(-8)*213*42/9. Let x = -219 + m. Does 15 divide x?
False
Let u