1898. Does 45 divide q?
False
Suppose -25*i + 13423 = -5677. Is 71 a factor of i?
False
Suppose -2*m = -4*k + 10, -k - m + 7 = -0. Let v(l) = k - 8*l + 26*l + 18*l. Does 16 divide v(3)?
True
Suppose 31*j - 33*j - 2*q = -1296, -2*q - 1959 = -3*j. Is 7 a factor of j?
True
Let u be (4 + -4)/(1*4). Let n(y) = y**2 - y + 158. Is n(u) a multiple of 15?
False
Suppose 6*w = 179 + 445. Let x = 115 - w. Does 8 divide x?
False
Suppose 3*o = 3*a - 276, 5*a + 2*o = -0*a + 460. Is 85 a factor of a?
False
Let f = -131 + 219. Let q = f - -52. Is 14 a factor of q?
True
Let u = -3 - 4. Let p = u + 6. Let k = 14 + p. Does 7 divide k?
False
Let s(d) = 194*d**3 + d**2 - 6*d + 3. Let o be s(2). Is (-45)/120 + o/8 a multiple of 13?
False
Let t(a) = 7*a - 10. Let x = -30 - -45. Does 19 divide t(x)?
True
Let n(y) = 2*y**3 + y**2 - 3*y - 2. Let g be n(-2). Suppose 14 = -290*d + 292*d. Let a = d - g. Is a even?
False
Let f = 362 + -308. Is f a multiple of 2?
True
Suppose -1283 - 717 = -16*o. Is 25 a factor of o?
True
Suppose 5*k - 531 = 2*k. Let d = k + -23. Is 19 a factor of d?
False
Let h(o) = -o**2 + 11*o - 21. Let x be h(6). Does 3 divide (-5)/(x - 4)*-3?
True
Suppose -2*m - 6 = 0, 0 = c + 5*m - 3*m - 360. Suppose c = 5*v - 609. Is v a multiple of 41?
False
Let q be -1*(-2)/(-14) + 742/49. Suppose -q*v + 320 = -10*v. Does 15 divide v?
False
Suppose 11*c - 9329 - 11186 = 0. Is c a multiple of 56?
False
Let b(z) = -29*z - 73. Let d(u) = -28*u - 74. Let r(g) = -3*b(g) + 4*d(g). Is 14 a factor of r(-7)?
True
Let z = 1770 - 643. Is 13 a factor of z?
False
Let c = 72 - 51. Suppose 777 + c = 6*h. Is 20 a factor of h?
False
Let g = -52 - -67. Is 21 a factor of ((-39)/15 + 3/g)*-80?
False
Suppose 0*m + 3*m = 276. Let r = 167 - m. Is 20 a factor of r?
False
Suppose 2 = -5*j + 12. Let q be ((-12)/42)/(j/(-14)). Suppose q*w = h + 5 + 4, -17 = 4*w + 5*h. Is w a multiple of 2?
True
Let m(k) = 88*k - 16. Suppose 0*n = -f - n, 3*f - 5*n = 32. Does 16 divide m(f)?
True
Let i(n) = -n**3 + 52*n**2 + 193*n - 114. Does 23 divide i(55)?
True
Is 26 a factor of 31/(-2)*(8 + -26) - 1?
False
Let v = 873 + -787. Is v a multiple of 7?
False
Let l(w) = 296*w + 16. Let t be l(-5). Let x be (-3)/5 + t/(-40). Suppose -y + 3 = -x. Does 13 divide y?
True
Let h(i) = 9*i + 126. Is 11 a factor of h(8)?
True
Let j be -1 + 3 - 8 - 1. Let f be (j*10 + -3)/(-1). Suppose -4*a - 31 = -2*q + f, q = -5*a + 38. Is 16 a factor of q?
True
Suppose -d - 2773 = -l + 756, -5*d = -2*l + 7046. Is 114 a factor of l?
False
Let h(i) = 42*i - 64. Is h(10) a multiple of 7?
False
Let m(b) = 6*b**2 + 4*b + 6. Let a be m(-4). Does 21 divide a - (3 - (5 + -4))?
True
Suppose 2*w = 4*d - 4, 4*d - 2 = 3*w + 6. Is 7 a factor of (-83)/d - (-1 + 5)?
False
Suppose 3*x - 321 = -114. Suppose 0 = -w - 3*d + x, -2*w = 2*d + 3*d - 139. Is 8 a factor of w?
True
Let i(p) = -p**3 + 8*p**2 - 2*p + 26. Let b(v) = -4*v - 56. Let o be b(-16). Does 2 divide i(o)?
True
Let q(v) be the third derivative of -v**5/60 - 5*v**4/24 - 11*v**3/6 - 8*v**2. Let l be q(-5). Let s = l - -36. Is s a multiple of 4?
False
Let g(n) = -2*n**3 - 2*n**2 - 2*n - 2. Let k be g(-2). Suppose 0*s = -2*s + k. Let u = s - -3. Is u a multiple of 4?
True
Let f(d) = 11*d**2 - 10*d - 25. Does 104 divide f(-3)?
True
Let q = -12 + 13. Is ((-8)/(-60)*5)/(q/93) a multiple of 23?
False
Suppose -3*z + 3402 = 3*b, -3*b - 3402 = -3*z + 2*b. Is z a multiple of 62?
False
Let b(j) = 19*j**2 - 16*j + 22. Is b(5) a multiple of 7?
False
Suppose 0 = y - 5*y - 5*n + 572, -5*n = -5*y + 760. Suppose 5*v - 4*s - 101 - 78 = 0, -4*v + 2*s + y = 0. Is 17 a factor of v?
False
Is 69 a factor of (-4*(-6)/(-18))/((-10)/5205)?
False
Let w(f) = 4*f + 1. Let m(x) = 2*x - 1. Let t(c) = -6*m(c) + w(c). Does 6 divide t(-9)?
False
Let r be (-7 - -4)/((-12)/28). Let m(t) = -t**3 + 10*t**2 - 10*t + 3. Does 20 divide m(r)?
True
Let b(w) = w**3 + 6*w**2 - 3*w + 14. Let s be b(-6). Let r be (s/(-80))/(2/(-230)). Is (-6)/2*r/(-3) a multiple of 14?
False
Let n(j) = -26*j - 178. Is 8 a factor of n(-18)?
False
Does 23 divide 5 + -5 + 41 + 5?
True
Let z(q) = -q**2 + 9. Let k be z(0). Let n be 12/k*(-12)/(-8). Suppose n*x = 4*c - 180, 4*c - 6*x - 174 = -x. Is c a multiple of 9?
False
Is 14 a factor of 909252/243 - 6/27*-1?
False
Let h(p) = p**2 + 16*p + 7. Let y be h(-17). Suppose 3*n + 20 = j - 2*n, 3*n = 3*j - y. Suppose d = 5, 4*d - 341 - 59 = -j*c. Does 21 divide c?
False
Let d = -5 - -10. Let m(c) = 5*c - 4*c + 9 + d*c - 4*c. Is m(7) a multiple of 15?
False
Suppose -4*u + 0*u - 4 = 0, 4*i - 7 = -u. Suppose 2*k - 3 = k. Suppose -k*v - 2*q + 90 = 0, i*v - q - 60 = -4*q. Does 10 divide v?
True
Let w be 3/2*56/(-2). Let h = 163 - 178. Let r = h - w. Does 9 divide r?
True
Let o = -269 - -631. Does 42 divide o?
False
Let y = -4 - 2. Let z(j) = -j**2 - 7*j - 6. Let w be z(y). Suppose -3*d = 3*n + 2*n - 88, -5*d - 3*n + 136 = w. Is d a multiple of 24?
False
Suppose 4*r = s + r - 61, 5*s = r + 347. Suppose -s*h = -71*h + 55. Is h a multiple of 11?
True
Let q(x) = 8*x**3 + x**2 + 7*x + 5. Let k be (-8)/(-8) + 3/(-1). Let r(v) = 4*v**3 + 3*v + 2. Let t(i) = k*q(i) + 5*r(i). Is t(1) a multiple of 3?
True
Let j(t) = t**3 + 3*t**2 + 2*t + 2. Let l be j(-3). Let o = l - -12. Is o a multiple of 3?
False
Suppose -2220 = -24*p + 19*p. Let a = -280 + p. Does 15 divide a?
False
Let m(d) = d**2 + 11*d. Let b be m(-6). Let k be ((-7)/(-21))/((-2)/b). Suppose -k*r - 5*q = -0*q, 0 = r + 4*q + 6. Is 2 a factor of r?
True
Let p = 26 - 21. Suppose 2*c + p*k = 223, 4*c - 228 = 2*c - 4*k. Does 44 divide c?
False
Suppose -3*j - 12 = -4*q, 2*q - 10 = 2*j - 0*q. Let b = 10 + j. Suppose 289 = 5*z - 4*x, b*z - x - 172 = -z. Is 12 a factor of z?
False
Let z = -1872 + 3156. Is z a multiple of 93?
False
Suppose 0 = -2*f + 7*f - 4*d - 438, 3 = d. Let h = -53 + f. Is 14 a factor of h?
False
Let m = -3 - -9. Let y(z) = -z**3 + 6*z**2 + 2*z - 8. Let i be y(m). Suppose 108 = -0*d + i*d. Is 12 a factor of d?
False
Suppose 15 = 5*h - 0. Suppose 0 = 4*d + h*c - 593, d - 121 - 46 = 3*c. Is 8 a factor of d?
True
Let a be 1 + -2 - (-39 + -7). Let d = 201 - a. Does 28 divide d?
False
Let t be (-63162)/(-45) - (-4)/10. Suppose -6*l = 7*l - t. Is 9 a factor of l?
True
Let k(n) = 2*n**2 - n - 8*n**2 + 6*n**2 + 7*n**2 - 4. Let s = -9 - -6. Is k(s) a multiple of 18?
False
Let j = 2 - 0. Suppose q - 16 = j*k - 4, -5*q - 3*k - 5 = 0. Suppose -190 = -q*o - 3*o. Is 10 a factor of o?
False
Suppose -116 = p - 2*p. Suppose -4*h + p = -160. Does 11 divide h?
False
Suppose 18*d - 35943 = -14937. Is 102 a factor of d?
False
Let v = -975 + 1621. Does 17 divide v?
True
Let f be (-34)/(-8) + (-7)/28. Suppose -y - 2*y - 6 = -f*u, 4*y = -5*u + 23. Suppose -u*s - 7 = -19. Is 4 a factor of s?
True
Suppose 0 = 3*o - 2*m - 2521, 0 = 27*o - 28*o + m + 842. Is o a multiple of 19?
False
Suppose -5 = -17*u + 12*u, 5*u + 815 = 5*g. Is 20 a factor of g?
False
Suppose q - 5*q = -8. Suppose -4*i - i + q*h - 4 = 0, -i - h + 2 = 0. Suppose -o + 18 = o + z, 2*o + 3*z - 18 = i. Does 2 divide o?
False
Suppose -a + 1275 = r, -3*r + 7*r - 5088 = -a. Is 41 a factor of r?
True
Let y = 137 + -89. Let n = 268 + -260. Let s = y + n. Does 14 divide s?
True
Suppose 156*v = 154*v + 120. Does 12 divide v?
True
Suppose -2*x + 3*c = -13 - 12, -c - 5 = 0. Suppose -4*v = 5*n - 158, 110 = 4*n - x*v - 41. Is 17 a factor of n?
True
Let r(o) = -2*o - 5. Let s be r(-15). Suppose -5*k = -4*m + s, -3*k - 23 = 2*m - 6*m. Suppose -m*d - 301 = -736. Does 21 divide d?
False
Suppose -3*i - 12 - 151 = -t, 5*t - i = 745. Suppose -27*l + 29*l - t = 0. Does 8 divide l?
False
Suppose 2*o - a - 271 = 0, -a + 272 = 2*o - 3*a. Suppose o = -10*f + 13*f. Is 9 a factor of f?
True
Let m be ((-120)/(-9))/((-4)/(-6)). Let t = m + -5. Is 13 a factor of t?
False
Suppose -21*z + 5*z = -32. Does 7 divide 1/((-255)/(-126) - (0 + z))?
True
Suppose 0 = -4*t + 76 + 2644. Is t a multiple of 85?
True
Suppose -4*c - 2*d + 526 = 0, 278 = 5*c - 3*d - 363. Does 3 divide c?
False
Let k be -65 + (-7)/((-21)/(-12)). Let q = 26 - k. Is 43 a factor of q?
False
Suppose 32*r + 16548 = 116*r. Is r a multiple of 3?
False
Let h(y) be the first derivative of y**4/4 - 8*y**3/3 + 9*y**2/2 - 10*y - 1. Let w be h(7). Let n = 24 - w. Is n a multiple of 7?
False
Let 