1727. Is k a multiple of 66?
True
Suppose 2*k - k = 25. Suppose -3*z = -k - 20. Is (-4)/10 + 201/z a multiple of 9?
False
Let f be (-2)/(3 + -2)*39. Is f/(-2) + (-2 - -7) a multiple of 11?
True
Let h(y) = y**3 + 9*y**2 - 3*y - 11. Does 9 divide h(-4)?
True
Let j = 35 - 26. Let k(s) = s - 10. Let v be k(j). Is 7 a factor of 4/v + (-105)/(-7)?
False
Let z be (6/3 - -2) + 0. Is (1 - -2 - z)*-39 a multiple of 39?
True
Suppose 4*z + z = 30. Suppose -l = 2*f - 4*l - 84, 5*l = 20. Is 14 a factor of 1/z - (-2008)/f?
True
Suppose 4*i + z = 3, 2*z + 3 = -5*i + 9. Suppose 5*w + 280 + 120 = i. Is 6 a factor of (w/(-15))/((-3)/(-18))?
False
Suppose 9*w = 14*w - 795. Is 18 a factor of w?
False
Suppose -7*z = -8*z - 12. Let h = 32 - z. Is 9 a factor of h?
False
Suppose 0 = -3*t + 3*c + 1221, -t = -5*c - 45 - 378. Is 13 a factor of t?
True
Let a(b) = -3*b**2 - 10*b + 11. Let s(j) = -j - 1. Let z(m) = a(m) + 4*s(m). Let x be z(-8). Let q = x - -132. Does 13 divide q?
False
Let l = 55 + -77. Let c = l + 22. Suppose 2*d + 4*d - 114 = c. Is 13 a factor of d?
False
Let w(z) = -7*z**3 + 5*z**2 + 17*z + 105. Is w(-5) a multiple of 21?
False
Suppose 9*p = 6910 + 29387. Does 109 divide p?
True
Let f be -1*1 - (-918)/18. Suppose -746 = -3*h - f. Does 29 divide h?
True
Let b(o) = -16*o**3 - 45*o**2 + 69*o + 14. Let h(v) = 3*v**3 + 9*v**2 - 14*v - 3. Let a(j) = -2*b(j) - 11*h(j). Is a(-11) a multiple of 13?
False
Suppose 0 = 2*c - 440 - 702. Is c a multiple of 11?
False
Let q be 2 + 3 + 2 + -2. Let y(k) = 0 + 9*k**2 - q + 3. Is y(2) a multiple of 7?
False
Suppose -2*g + g - 16 = 4*s, -3*s + 2*g = 12. Does 28 divide 670/s*80/(-100)?
False
Suppose -29 = -7*r - 15. Suppose 0 = -5*x + t + r + 47, -3*x = t - 23. Does 2 divide x?
False
Suppose 0*c = c - 15. Let k(n) = n**3 - n**2 + 2*n - 4. Let u be k(2). Suppose u*z - 2*f - f = c, -6 = z - 4*f. Does 6 divide z?
True
Suppose 2*q - 3222 = -5*x, 3*x + 0*x + q = 1933. Does 46 divide x?
True
Let o be 40/(-4 - (-22)/6). Let p = o + 228. Does 36 divide p?
True
Let r(p) = 3*p**2 - 6*p + 9*p + 2*p**3 - 4*p**2 - 4. Let b be r(3). Let v = b - 15. Does 18 divide v?
False
Let d be (15/5)/(3/2). Suppose d = 3*l - 13. Suppose 4*b - 4 - 5 = 3*p, 2*b + l*p = 11. Is 3 a factor of b?
True
Let y(a) = a**3 - 7*a + 7. Suppose 3*r - 3 - 9 = 0. Is y(r) a multiple of 11?
False
Let b(i) be the second derivative of -11*i**3/6 - 23*i**2/2 - 40*i. Does 36 divide b(-18)?
False
Let v(o) = o - 6. Let j be v(8). Suppose -j*m = -3*m + 7. Suppose m*c = 2*c + 195. Is c a multiple of 13?
True
Suppose 11*n = 14*n. Suppose n = -g - s + 4*s + 5, s + 15 = 2*g. Is 3 a factor of g?
False
Suppose 4*c + 1306 + 1230 = k, c = -3*k + 7621. Is 13 a factor of k?
False
Let o = 1152 - 439. Does 32 divide o?
False
Suppose 32 - 73 = -2*d + 5*n, 2*d + 4*n = 14. Let a = 10 - d. Is -1 - (0 + (a - 2)) a multiple of 2?
True
Let q(w) be the first derivative of -w**4/4 - 11*w**3/3 - 3*w**2/2 - 11*w - 10. Let t be 1*(3 - 2)*-11. Is 6 a factor of q(t)?
False
Let u be ((-70)/(-25))/(1/10). Suppose -8*n = -9*n + u. Is 14 a factor of n?
True
Let g(a) = -a**3 - 5*a**2 + 5*a + 5. Let t be g(-5). Let m be (-44)/t - (-2)/(-10). Let r(n) = 4*n**3 - n + 2. Is 19 a factor of r(m)?
False
Let f(z) = -z - 237. Let t be f(0). Suppose -4 = -3*j + 2*d, 0 = 10*j - 6*j + d - 9. Is 20 a factor of 1/j - t/6?
True
Let m be (1 - 2)*(7 + -11). Suppose -452 = -8*c + m*c. Does 16 divide c?
False
Let x = -59 + 98. Let r(t) = 2*t**2 - t - 2. Let z be r(2). Suppose -3*p + x = -7*i + z*i, -4*p + i + 46 = 0. Does 8 divide p?
False
Let n be 16/6*(-42)/(-56). Suppose o = -c - 0*o + 99, n*o - 2 = 0. Does 14 divide c?
True
Suppose -l - 2*i + 32 = 2*i, 5*l - 285 = 5*i. Is 2 a factor of l?
True
Let k = -4 + -5. Let l = 22 - k. Let j = 3 + l. Does 17 divide j?
True
Let t be 5*((-21)/(-15) + -1). Let h(f) = 3*f - 2. Let j be h(t). Suppose 3*r - j = i + 14, 2*r + 2*i = 20. Is 2 a factor of r?
False
Let b = -421 + 482. Let t = -160 + 266. Let r = t - b. Is 35 a factor of r?
False
Suppose -3*q + 0 = 6. Does 24 divide 32 + ((-24)/(-3))/q?
False
Suppose -3*b - 10530 = -12*b. Is 12 a factor of b?
False
Let j(n) = n**3 - 51*n**2 - 268*n - 8. Is j(56) a multiple of 3?
False
Let q(x) be the first derivative of x**3/3 + 2*x**2 - 12. Is q(-12) a multiple of 24?
True
Let o(c) = -c**3 + 4*c**2 + 6*c + 5. Let m be o(7). Let y = 181 + -165. Is 25 a factor of m/7*(-56)/y?
True
Let l = 882 - -174. Is 22 a factor of l?
True
Let j = 211 - -23. Is 18 a factor of j?
True
Suppose -6*m + 429 + 87 = 0. Does 25 divide m?
False
Suppose 23 = 4*x - 1. Let k be (x*-2)/(12/(-8)). Let d(y) = -y**3 + 8*y**2 + 6*y - 3. Does 15 divide d(k)?
True
Suppose 5*b + 78 = -2*r + 3*b, 4*r - 2*b = -126. Let n = r - -45. Suppose -4*y + n + 357 = 0. Is y a multiple of 33?
False
Let t(g) = 8*g**2 + 9*g. Let v be t(-6). Let q be v + (-9)/6*2. Suppose 0 = 5*d, 5*d + q + 34 = 5*l. Is l a multiple of 14?
False
Let h = -429 + 646. Does 2 divide h?
False
Let x = 690 - 476. Suppose 1100 = -210*z + x*z. Is z a multiple of 25?
True
Let s = 162 - 32. Let c = -16 + s. Let t = c - 54. Is t a multiple of 15?
True
Let r = -2032 - -3001. Is 88 a factor of r?
False
Let o(v) = -3*v**3 - 7*v**2 - 5*v - 5. Let a(d) = -5*d**3 - 11*d**2 - 8*d - 7. Let h(x) = 5*a(x) - 7*o(x). Is 18 a factor of h(-4)?
True
Let z be (-4 - (-3 + 1))/((-7)/(-392)). Suppose -3*d + 34 + 557 = -5*q, d - 2*q - 198 = 0. Let j = d + z. Is 20 a factor of j?
True
Let i be -13*3/(-3)*-1. Let h = -12 - i. Suppose -4*z = -b + h - 31, 44 = 5*z + 2*b. Is z a multiple of 6?
False
Let d = 78 + -63. Suppose 3*g - 21 = 6. Let i = d - g. Is 2 a factor of i?
True
Does 19 divide -6 + (-6 - (-580)/4)?
True
Let v = 1297 - 714. Is 74 a factor of v?
False
Let k(q) = q**3 + 4*q**2 + q + 1. Let y be k(-4). Let g be ((-1)/1)/((-3)/(-9)). Is 15 a factor of (g - -2) + (-60)/y?
False
Suppose 9*b - 12 = 3*b. Is ((-345)/(-6) + b)/(4/16) a multiple of 18?
False
Let r(y) = -y**3 + 51*y**2 + 6*y - 261. Does 9 divide r(51)?
True
Let u(v) = -2*v + 8. Let d be u(-6). Suppose -5*n + 32 = -4*j - 7, 0 = 4*n + d. Let q = 16 - j. Does 8 divide q?
True
Does 4 divide (-15)/3 + 0 + 196/2?
False
Suppose -86*l = -79*l - 15099. Does 10 divide l?
False
Let z(y) = 10*y + 24. Does 43 divide z(31)?
False
Let n = 1861 - 1250. Does 42 divide n?
False
Let f be (-2 + 2)*(-1)/(-1). Let v be -4 + 11 + (-4 - -2). Suppose f = v*j - 48 - 17. Does 5 divide j?
False
Let a be ((-10)/(-8))/(8/96). Let n = a + 27. Is (n - 0) + (0 - 2) a multiple of 10?
True
Suppose -3*p = -127 - 1043. Is 26 a factor of p?
True
Let i = 1669 + -917. Is 16 a factor of i?
True
Let a(n) = -2 + 42*n**2 - 1 + 6*n**2 + 1 + 2*n. Is 22 a factor of a(1)?
False
Suppose -8111 = -31*u + 5436. Is u a multiple of 23?
True
Let r(w) = -3*w + 16. Let u(a) = 7*a - 31. Let v(q) = 5*r(q) + 2*u(q). Suppose 12 + 12 = 4*l. Is 9 a factor of v(l)?
False
Let v = 720 - 148. Is 44 a factor of v?
True
Let w(j) be the third derivative of j**6/120 + j**5/4 + 13*j**4/24 + j**3 - 14*j**2. Suppose 0 = -5*y, 2*m - 3*y + 0*y + 28 = 0. Is w(m) a multiple of 10?
True
Let l(c) = -2*c**3 - c. Let d be l(-1). Suppose -4*a = m + 144, 2*a + 62 = -0*a - d*m. Let q = 41 + a. Is 2 a factor of q?
True
Let j(t) = -t**2 - 4*t + 371. Does 8 divide j(0)?
False
Let t(h) = h**2 - 4*h - 35. Is t(-6) a multiple of 16?
False
Suppose -12 = -13*c + 10*c. Suppose 0 = 3*s - c*s + 112. Does 14 divide s?
True
Let v be 9/(-3) - (0 + -2). Suppose -3 + 0 = 3*n. Is n/v*-3 + 12 a multiple of 3?
True
Let p(o) = -o**3 + 9*o**2 + 3*o - 25. Let m be p(9). Suppose -5*h = -m*h - 252. Is 5 a factor of h?
False
Suppose 1872*t - 1296 = 1866*t. Is t a multiple of 13?
False
Let k be 8/5 - 4/(-10). Suppose 3*i + 0 - 9 = 0. Suppose 3*n + i*h - 121 = -4, 3*n - 116 = -k*h. Is 23 a factor of n?
False
Let d(g) = 39*g + 132. Is d(9) a multiple of 21?
True
Is 6 a factor of 1 - (-329)/(4 + -3)?
True
Suppose 0 = -20*h + 47*h - 8316. Is h a multiple of 22?
True
Is (22 - 0 - 20)/(4/4410) a multiple of 35?
True
Let m = -41 + 23. Is -180*-3*(-4)/m a multiple of 40?
True
Suppose 3*q = 4*q - 5. Suppose -j + 13 = -3*m, 3*m + q*j + 9 = -16. Let a(w) = w**2 + w + 4. Is a(m) a multiple of 8?
True
Let h(a) = 671*a - 1. Let o be h(1). Suppose -u - 4*l = -150, 0*u + 5*u = -4*l + o. Suppose 4