tiple of 17?
True
Suppose -4*d = -4*a - 16, -23 = 2*a - 2*d - 3*d. Let l = a + 4. Is 2 a factor of l?
False
Does 8 divide 3/18*45*(-224)/(-5)?
True
Suppose 15*n + 5*n - 720 = 0. Is n a multiple of 18?
True
Let y(b) = -4*b - 3. Let n be y(-8). Let m = n + -34. Does 12 divide ((-2)/m)/((-16)/(-1520))?
False
Let s be (-170)/(-12) - 7/42. Let l = s - 19. Is 4 a factor of (-2)/l - (-28)/5?
False
Is 9 a factor of 1355 - 20/(-12)*(-3 + 0)?
True
Let w = 75 - 175. Let c = w + 128. Is c a multiple of 28?
True
Let g(k) be the first derivative of k**2 + 10*k - 6. Let a(f) = -4*f - 19. Let b(x) = -3*a(x) - 5*g(x). Is 17 a factor of b(6)?
False
Let v(h) = -h**3 + 16*h**2 - 17*h + 29. Let u be v(15). Is 25 a factor of ((-6)/(-4))/(764/(-776) - u)?
False
Let k be (44/(-6) + -2)/(12/(-18)). Suppose k*h = -h + 2145. Does 11 divide h?
True
Let s(p) = 31*p**2 - 55*p - 10. Let w(d) = -6*d**2 + 11*d + 2. Let i(j) = -2*s(j) - 11*w(j). Suppose 2*o - 7 = 5. Does 18 divide i(o)?
False
Let r = 400 + -166. Does 13 divide r?
True
Suppose -4*k - 14 = -3*x + 3, 3*x - 13 = 2*k. Suppose -15 = x*h, 2*u + 4*h = -0*h + 40. Is u a multiple of 30?
True
Let i(d) = -d**3 + d**2 - 1. Let y be i(-1). Let f be (-2 - -5)*1 + y. Suppose 0 = f*o - 66 - 18. Does 13 divide o?
False
Let v = 15 - -4. Let q = 22 - v. Suppose -q*d = -9 - 9. Does 3 divide d?
True
Let h(o) be the third derivative of o**6/120 - o**5/20 + o**4/3 - 5*o**3/3 - 13*o**2. Does 20 divide h(5)?
True
Let a = -68 + 60. Is 31 a factor of (-2*6/a)/((-3)/(-372))?
True
Suppose 0 = 5*c - 2*v - 2802, -4*c + 3*v + 2241 = 2*v. Is 14 a factor of c?
True
Let r(d) = d**3 - 10*d**2 - d + 18. Let w be r(10). Suppose w*i - 340 = 172. Does 12 divide i?
False
Is 1428/(-34)*(-10)/12 even?
False
Let b be 1088/51 + (2/(-3))/2. Let g = 5 + -1. Let q = b - g. Is 7 a factor of q?
False
Let v = -219 + 339. Does 12 divide v?
True
Suppose 26 = 3*v + 4*b - 11, 2*b = v - 19. Let c(j) = j - 13. Let p be c(v). Suppose -5*m + 15 = 2*h, 0 = p*h + 3*m - 8*m - 45. Is h a multiple of 11?
False
Let y(r) = -25*r + 41. Let k be y(4). Let i = k - -65. Is 2 a factor of i?
True
Let b = -268 + 428. Is b a multiple of 20?
True
Let a = 0 - -6. Suppose -4*f + a*o - o = -155, 0 = -2*f + 2*o + 78. Suppose -2*p + 9*l + f = 4*l, -40 = -2*p + l. Does 10 divide p?
True
Let q(m) = 28*m + 1. Let b be q(10). Suppose 4*f = b - 45. Is 22 a factor of f?
False
Let h = -1145 + 1289. Is 8 a factor of h?
True
Suppose 14 + 1 = 3*p, 0 = 3*w + p - 1076. Is w a multiple of 17?
True
Let v = 37 + -20. Suppose -5*g - v - 103 = 0. Let b = g + 48. Does 5 divide b?
False
Let d(i) = -i**3 - 2*i**2 + 2*i + 1. Let c be d(-3). Suppose 5*n = -c*o + 216, 2*n - 2*o - 60 = 3*o. Suppose 2*m - 6*m = -n. Does 5 divide m?
True
Let a = 528 - 325. Suppose 7*h - a + 42 = 0. Is h a multiple of 10?
False
Let z(s) = s + 29. Let u be -5*5/((-50)/24). Does 21 divide z(u)?
False
Let p = -67 - -223. Is 22 a factor of p?
False
Suppose 6*j - 9*j - 191 = -h, -2*h + 5*j = -379. Is 10 a factor of h?
False
Is -7 - ((-902)/11)/((-2)/(-44)) a multiple of 10?
False
Suppose 5*u - 5*d = 135, 3*d + 12 = -d. Suppose 34*j - u*j = 1560. Does 13 divide j?
True
Suppose 4*i = 4*p - 4, -2*p = -7*i + 2*i + 1. Let w(z) = 3*z + z**p + 3 - 8*z + z. Does 24 divide w(-5)?
True
Let p(w) = -4 - w**2 - 13 + 3*w**2 + w**2. Is 26 a factor of p(-7)?
True
Let m(n) be the second derivative of n**4/12 + 3*n**3/2 + 27*n**2/2 + 11*n. Suppose 4*v + 66 = -2*v. Is 27 a factor of m(v)?
False
Let v(d) be the second derivative of d**4/12 + 7*d**3/6 + d**2/2 + 15*d. Is v(7) a multiple of 16?
False
Suppose 0 = -4*b + 2*x + 8, -x + 2 = -3*b + 8. Suppose 4*s + t = 174, -6 = 2*t - b. Does 11 divide s?
True
Suppose -2*j = -5*o - 21, 12 = 3*j - o - 26. Suppose j + 3 = m. Is m a multiple of 11?
False
Let x = 774 - 400. Is x a multiple of 34?
True
Suppose -5*i = -13 - 17. Let p(d) = 5*d**2 - 5*d + 8. Does 13 divide p(i)?
False
Is 4 a factor of 6681/(-34)*4/(-6)?
False
Let w(s) be the third derivative of -3*s**4/8 + 3*s**3/2 + 57*s**2. Suppose -2*v + 4*p = 14, 2*p - 5 - 8 = 3*v. Does 18 divide w(v)?
True
Let y(v) = -2*v + 27. Let x be y(12). Suppose 0 = -7*s + 4*s - x, 4*g = 4*s + 116. Does 7 divide g?
True
Let a(m) = -371*m**3 + 9*m**2 + m - 3. Is a(-2) a multiple of 70?
False
Let w = 125 + 67. Is w a multiple of 8?
True
Suppose 0 = 4*j + 4, b = -2*j + 2 - 0. Is 10 a factor of (-4)/b - (117 - 1)/(-2)?
False
Suppose -5 = -2*t - 5*o, 0 = -5*t + 5*o - 7 + 72. Suppose -180 = t*w - 16*w. Is 5 a factor of w?
True
Suppose 3*z - 211 = -4*f, -2*f + 4*f = 2*z - 164. Does 15 divide z?
False
Let z be (1 - 3)*882/12. Let p(c) = -5*c**3 + 5*c**2 - 4*c + 3. Let r be p(3). Let l = r - z. Is 13 a factor of l?
False
Let n be ((-8)/(-3))/(((-40)/165)/8). Is (-25)/(-10)*n/(-5) a multiple of 3?
False
Is (-4516)/(-28) + (-16)/56 a multiple of 11?
False
Suppose 87 = 3*a - 60. Let i be a/(-63) - (-4)/(-18). Is 3 a factor of ((-2)/i)/((-6)/(-9))?
True
Does 4 divide ((-1)/(-2))/(3/(5901 + 3))?
True
Is -6*(-709)/10 - (-46)/(-115) a multiple of 25?
True
Suppose 0 = 62*w - 60*w - 128. Is 7 a factor of w?
False
Let t = 7288 - 4915. Does 23 divide t?
False
Let i(p) = 58*p**2 + 6*p + 7. Is 66 a factor of i(2)?
False
Let d(t) = t**2 - 14*t - 21. Suppose 72 = -9*z + z. Is d(z) a multiple of 31?
True
Let s(z) = -z + 2. Let v be ((-6)/(-9))/(10/45). Let x be s(v). Does 4 divide x/(8/20)*-2?
False
Suppose 6*a - a + 5 = 0. Does 8 divide 3/(-4) + (441/(-12))/a?
False
Suppose -540 = -5*b - 5*t, 0 = -5*b + 3*t - 0*t + 540. Is b a multiple of 54?
True
Let g(n) = n + 8. Let q be g(0). Suppose 0 = -5*r - s + 55, 3*r + 4*s - 8 = q. Is 12 a factor of r?
True
Suppose -i = -144 + 35. Is i a multiple of 3?
False
Is 43 a factor of (22 - 63)/(3/9*-1)?
False
Let f(z) = -126*z + 5. Let j be f(-2). Suppose -j - 109 = -5*y - 3*i, 3*i + 66 = y. Is 12 a factor of y?
True
Let a = 57 + -27. Is 6 a factor of a + (24/2)/(-4)?
False
Suppose -2*s + 8 = -2*j, -s = -2*s + 5*j + 20. Suppose s = 3*a - 163 - 29. Is a a multiple of 8?
True
Let x be 0/((-3)/((-12)/8)). Suppose 3*y - 243 - 12 = x. Does 17 divide y?
True
Suppose -7*j = -3*j - 16. Suppose -2*u + 10 - j = 0. Let p = 30 + u. Does 11 divide p?
True
Suppose -2*z = v - 1453, -z + 3*v + 722 = -v. Suppose h - 3*k + 363 = -5*k, 0 = -2*h - 3*k - z. Is h/(-12) + (-2)/8 a multiple of 15?
True
Suppose 3*n + 11 + 7 = 0. Let x(s) = 4*s**2 + 5*s - 2. Let z be x(n). Let f = -28 + z. Is f a multiple of 12?
True
Suppose 2*i = 4, 0*y - 170 = -4*y + i. Suppose -y = -4*c + 37. Is 9 a factor of c?
False
Let p = 794 + -439. Is 5 a factor of p?
True
Does 20 divide 268/3*(12 - 30/(-10))?
True
Let k be -62*3/66 + (-10)/55. Let q(n) = 12*n**2 - 7*n - 9. Is q(k) a multiple of 12?
True
Let k = 1169 - 569. Is 10 a factor of k?
True
Suppose 0 = 3*c - 3*o, -2*c + 12 = 4*o - 3*o. Suppose -c*n = -2*v - 222, 5*n - 281 = -0*v - v. Is n a multiple of 7?
True
Suppose 9*k - 2458 = 134. Is 8 a factor of k?
True
Let h(z) = -z**2 - 15*z + 112. Is h(-17) a multiple of 19?
False
Let c = 390 + -81. Suppose c = 6*j - 117. Is j a multiple of 9?
False
Let t be 2748/20 - 6/15. Suppose p + 5*j - 62 = -7, 0 = -3*p - j + t. Does 9 divide p?
True
Let b be -3 + 9 + -2 + -1. Suppose 0 = b*w + 3*i + 63, w - i = 2*i - 33. Is 6 a factor of (-6)/4*464/w?
False
Let h(d) = -8 - d - 2 - 5 + 4. Let v be h(5). Is -15*(v/3)/4 a multiple of 20?
True
Suppose 4*q - 76 = 3*b + 3, 0 = -3*b - 3. Suppose u - h = 62 + q, -h + 5 = 0. Is 27 a factor of u?
False
Let w = 798 + 25. Is w a multiple of 28?
False
Let w(o) = -o**2 - 2*o - 2. Let z be w(0). Is 13 a factor of (1/z)/((-5)/230)?
False
Let k(z) = -16*z - 8 + 10*z - 25. Is 11 a factor of k(-16)?
False
Suppose -i + 5*p + 18 = -25, -4*p + 244 = 4*i. Let o = 78 - i. Is 20 a factor of o?
True
Suppose 74 + 376 = 3*z. Let d = z + -100. Suppose i = -4*i + d. Is i a multiple of 5?
True
Let c(q) be the third derivative of q**7/1008 - q**6/90 + q**5/12 + 6*q**2. Let k(z) be the third derivative of c(z). Does 22 divide k(6)?
True
Let g(t) = -2*t**2. Let d be g(-2). Let z be (-219)/9 - d/(-12). Let b = -14 - z. Is b a multiple of 9?
False
Suppose 0*q - q - 5 = 0, p - 3*q - 11 = 0. Is 14 a factor of 2/(1150/285 + p)?
False
Let t be 58 - (-4)/(-8)*6. Let y = 101 - t. Does 14 divide y?
False
Let y(