 4021. Is d a multiple of 44?
True
Let b = 41619 + -24686. Does 66 divide b?
False
Let s = 1228 - 89. Suppose -6*c + 3*c + s = o, 0 = 2*c - 4*o - 778. Is 11 a factor of c?
False
Let m(l) = 3*l**3 - 18*l**2 + 16*l. Let h be m(5). Suppose -2193 = -h*s - 12*s. Is s a multiple of 5?
False
Suppose 169*a = 167*a + 10. Suppose -5*d = 4*c - 2764, 2*d - 10*c - 1132 = -a*c. Is d a multiple of 4?
True
Suppose v + 8 = -n - 2*n, 40 = -5*n + 5*v. Let z(i) = 1 - 20*i**2 + 0*i - i**3 + 31*i**2 - 5*i - 2 - 14*i**2. Is 5 a factor of z(n)?
True
Suppose 12 = 4*c + 4*k, -15 = -5*c - 4*k + 6*k. Suppose 0*n + 5*n = 20. Suppose c*t - n*l - 128 = -0*t, -2*t = 2*l - 104. Is 8 a factor of t?
True
Is (28 - -2)*(-1190)/(-68) a multiple of 5?
True
Let x(o) = 119*o - 4. Let i be x(1). Let h = i - 90. Is h a multiple of 3?
False
Let g = 12517 + 41563. Is 338 a factor of g?
True
Suppose -q = 2*p - 36465, -31*p + 33*p = -5*q + 182309. Is 34 a factor of q?
False
Let x = 345 - 316. Is 14 a factor of x?
False
Let m(h) be the second derivative of -19*h - 1/12*h**4 + 0 - 1/20*h**5 + 70*h**2 + 0*h**3. Does 10 divide m(0)?
True
Let f be ((-8)/(-6))/(-2*(-1)/45). Let n = f + -30. Suppose 3*l + 24 = 4*l + 3*w, n = l + 2*w - 22. Does 4 divide l?
False
Let b = -111 + 190. Suppose 6 + 45 = -5*l - 2*k, -10 = -5*k. Let q = l + b. Is 34 a factor of q?
True
Let r(d) be the third derivative of -d**6/180 - 23*d**5/120 + 11*d**4/24 + 21*d**2. Let u(c) be the second derivative of r(c). Does 5 divide u(-11)?
False
Let a(q) be the first derivative of -q**3/3 + 2*q**2 + 129*q - 13. Does 3 divide a(-8)?
True
Let x be (2 + 20/(-8))*0. Suppose -4*g = -x*g - 40. Suppose -13*t = -g*t - 138. Does 15 divide t?
False
Let a = 45 + -27. Let v(h) = -h**3 + 14*h**2 - 14*h + 13. Let o be v(13). Let y = a - o. Is 8 a factor of y?
False
Suppose 0 = -3*a + 3*x + 159, -3*x - 23 + 92 = a. Let j = a + -56. Is (-1)/(-5) - ((-379)/5)/j a multiple of 8?
False
Is 156*(16/(-20))/(-2)*(-385)/(-14) a multiple of 132?
True
Suppose -5*k = 3*r - 86275, 14*r = -k + 12*r + 17248. Is k a multiple of 10?
False
Let r = 888 - 183. Let h = r + -420. Is 47 a factor of h?
False
Suppose 0 = -117*g - 1496077 + 4990633. Is 114 a factor of g?
True
Suppose -12 = m + 14. Let h(k) = 2*k**2 + 49*k - 23. Is h(m) a multiple of 6?
False
Let r(i) = -281*i**3 + 11*i**2 + 27*i + 6. Is 102 a factor of r(-2)?
True
Let t(v) = v**3 - 20*v**2 - 52*v + 75. Does 104 divide t(29)?
True
Let a = 1747 + -302. Is 102 a factor of a?
False
Let q = 2210 - -21617. Does 125 divide q?
False
Let z(x) = 0*x - 10*x + 18*x + 11*x. Does 2 divide z(4)?
True
Let a be 7/(-21) + (-234)/(-54). Suppose -3*o - 2*o + 534 = 2*j, o = -4*j + 1032. Suppose -t - j = -a*t - 5*m, 4*t + m = 371. Is 32 a factor of t?
False
Suppose 4*c - 60037 = -7*c + 55188. Is c a multiple of 85?
False
Let p = 679 - 609. Suppose -t = i - 116, -2*i + 48 = t - p. Is t a multiple of 3?
True
Let n = 11 + -6. Suppose 17*i - 6*i - 22 = 0. Suppose 0 = -n*k + i*k + 162. Is 4 a factor of k?
False
Suppose -3*h + 3*u = -7*h - 32, 16 = -2*h - 3*u. Is 13 a factor of (-1 - -123)/(7/((-364)/h))?
True
Let n = 17448 + -7976. Is 11 a factor of n?
False
Suppose 46*z = 5*k + 48*z - 1082, -4*z - 860 = -4*k. Does 3 divide k?
True
Let a(h) = 2*h**2 - 17*h + 10. Let n be a(8). Suppose 0 = n*p - 2*b - 764, 0 = -5*p + 38*b - 35*b + 1920. Does 60 divide p?
False
Let b be (-4)/(-14) - 1125/(-105). Let t = 25 + 25. Suppose -12*k + t = -b*k. Does 25 divide k?
True
Suppose 359*u = 330*u + 82998. Is u a multiple of 159?
True
Suppose 4*r = -k + 75472, 0 = k + 14*r - 11*r - 75464. Is k a multiple of 144?
False
Suppose -67*i - 26 = -69*i. Suppose -i*a + 14*a = 44. Is a even?
True
Let x be ((-6)/(-8))/(4*4/(-128)). Let b(g) = 4*g + 26. Let n be b(x). Suppose -q + 6 = 1, -n*i + 61 = 5*q. Is i a multiple of 4?
False
Let b = -312 - -316. Suppose 0 = 5*d + 10 + 5, -5*r = -b*d - 867. Does 3 divide r?
True
Let u(f) = -f**2 + f - 9. Let t(m) = 2*m**2 + 9. Let k = -120 - -123. Let z(p) = k*u(p) + 2*t(p). Does 9 divide z(-15)?
True
Let b = -114 + 118. Suppose -3*o = 5*d - 287, -266 = -3*o + b*d + 66. Is o a multiple of 4?
True
Suppose 0 = 180*d - 104289 - 2464311. Is d a multiple of 27?
False
Suppose -13*k + 317 = 83. Is -130*(45/k)/((-1)/2) a multiple of 5?
True
Suppose 0 = 2*j - 3*m - 4446, 331*j + 11089 = 336*j - m. Is 5 a factor of j?
False
Suppose 23*k + 17*k = 12*k + 1476384. Is k a multiple of 36?
False
Does 17 divide ((-5484)/10)/(30/(-225))?
False
Let o = -322 + 306. Is 59 a factor of (1 + 0 - 0)/(o/(-11328))?
True
Let u be (-19226)/(-12) + ((-33)/18)/11. Suppose m - g - 4*g - 550 = 0, 3*g + u = 3*m. Is 53 a factor of m?
True
Suppose 9 = 5*g - 6. Suppose -3*v - 334 + 19 = -4*n, 2*n + g*v - 153 = 0. Let w = n - -102. Is 30 a factor of w?
True
Is (-107837)/(-21) - (-14)/(-147) a multiple of 79?
True
Let a = -4040 + 9277. Is a a multiple of 88?
False
Is 104 a factor of 345/(-90)*-7947 - (-6)/4?
False
Let y = -73 - -393. Suppose 0 = 3*v - 1676 + y. Is 20 a factor of v?
False
Suppose -5923 = -3*i - 4*q, -3*q - 7361 = -5*i + 2530. Is 31 a factor of i?
False
Suppose 11*z - 81245 = 27721. Is z a multiple of 16?
False
Is (-41220)/120*32*29/(-6) a multiple of 82?
False
Let j = 129 + -130. Let m be 4/32 + j + (-92)/(-32). Suppose 5*u - 109 = -4*o, 5*u - 107 = -4*o + m*u. Is 26 a factor of o?
True
Let r be (-407)/(-88) + 9/(-48)*-2. Suppose h = s - 420, -r*s = -2*h + h - 2112. Is s a multiple of 50?
False
Let t(x) = -7*x + 2*x + 23 - x + x**2 + 0*x**2. Is t(-9) a multiple of 11?
False
Let w(o) = -2*o**2 + 118*o - 52. Does 16 divide w(33)?
True
Let w(a) = -3*a + a**2 - 12 - a + 2*a. Let d(s) = 203*s + 3847. Let k be d(-19). Is 18 a factor of w(k)?
True
Suppose -4*f - 4*a + 4220 = 1528, 0 = 2*f + 4*a - 1344. Is f a multiple of 2?
True
Let m(d) = -25*d**2 + d - 52. Let c be m(12). Is 11 a factor of ((-24)/(-10))/1*c/(-112)?
False
Suppose 0 = 4*s - 5*s - w + 21847, 0 = -2*s + 3*w + 43719. Is (-3)/(-5) + (-9 - s/(-30)) a multiple of 12?
True
Is 12 a factor of (-532490)/140*((2 - 1) + -3)?
False
Suppose -46*r + 66*r = 71280. Does 9 divide r?
True
Is (-18 - -6) + 11 + 3721 a multiple of 93?
True
Suppose -9 = 4*g - 21. Let b be (2 - g) + 4 + 50. Let a = -35 + b. Is a a multiple of 7?
False
Let t(m) = -32*m + 112. Is t(-36) a multiple of 79?
True
Let t = -3379 - -6115. Is 6 a factor of t?
True
Let a(x) = x**2 + 5*x + 9. Suppose 0 - 1 = 3*p - 5*u, -2*u - 8 = 0. Is 6 a factor of a(p)?
False
Suppose k = 3, i + 0*k = 2*k - 3. Suppose -17*d = -16*d + i. Let b = d + 13. Does 10 divide b?
True
Suppose 0 = -5*m + 9*f + 265105, 2*f - 171065 = -3*m - 12039. Is 25 a factor of m?
False
Suppose 7*j + 9500 = -16435. Let h be ((-2)/(-3))/((-38)/j). Suppose -4*f = -3*n + h, 4*f - f = -3*n + 51. Does 2 divide n?
False
Let b(t) = -t**3 - 29*t**2 - 14*t - 162. Does 6 divide b(-30)?
True
Let h(u) = 8*u. Let n be h(-3). Let y(d) = -2*d + 3*d - 4*d - d - 25 + d. Is y(n) a multiple of 4?
False
Let c be (-1255)/7 + (-13)/((-91)/2). Let y = c - -105. Let z = 150 + y. Is z a multiple of 13?
False
Let m = 35182 + -34911. Suppose -5*z - 4*s - 237 = 468, -5*s + 705 = -5*z. Let g = m + z. Does 25 divide g?
False
Let x = 13719 + 15979. Is x a multiple of 31?
True
Suppose -228*m + 22804 + 770412 + 872780 = 0. Is 31 a factor of m?
False
Let y(j) = -30*j - 58. Let d be y(-7). Suppose d = -14*h + 16*h. Does 9 divide h?
False
Let i = 348 + -346. Let m(r) = 10*r**2 - r + 1. Let w be m(1). Is 33 a factor of w/i + (349 - -7)?
False
Suppose 11*i - 8*i = 0. Suppose i = 5*l + 49 - 29. Is 2*l/(-8)*47 a multiple of 11?
False
Suppose -39*i - 29 - 88 = 0. Does 28 divide i/((-831)/1206 - (-2)/3)?
False
Suppose 2*s = -5*n + 7201 + 2584, -4*s - 9755 = -5*n. Does 41 divide n?
False
Suppose -4*k = 4*z - 168, 0*z = -2*k - 3*z + 83. Let n = -41 + k. Is 12 a factor of 2 + 8/n*(-2190)/(-40)?
False
Suppose -4 = -x, 5*q + 4*x - 10685 - 23571 = 0. Is 64 a factor of q?
True
Let k(o) = 2*o**2 - 6*o - 57. Let m be k(-15). Let u = m - 243. Is 15 a factor of u?
True
Let f = 7274 - 3965. Is 51 a factor of f?
False
Let a(z) be the third derivative of 31*z**5/30 + z**4/8 + 4*z**3/3 - 58*z**2 - z. Is 19 a factor of a(5)?
False
Let k = -8648 - -11070. Does 14 divide k?
True
Let z be (-3)/(-3)*3556/1. Let h = 2074 - z. Is 1