 15 = 3*y, -2*y + 11 = 4*z - 19. Does 2 divide z?
True
Let k be (6/4)/(3/6). Suppose -3*d + 4*f = -237, 92 = d + 2*f + k. Is d a multiple of 15?
False
Let o(f) = 12*f + 7. Let d(k) = -1. Let g(r) = 4*d(r) + o(r). Suppose w + w - 6 = 0. Is g(w) a multiple of 17?
False
Let z(n) be the second derivative of -5*n + 1/6*n**3 + 1/6*n**4 + 0 - 3/2*n**2. Is z(-3) a multiple of 12?
True
Suppose -78 + 18 = -3*s + 4*w, -5*s + 100 = -2*w. Let r = s - 17. Suppose i + 30 = 2*i - r*a, 0 = 5*i - 4*a - 161. Does 11 divide i?
True
Let p = 1798 + -931. Is 17 a factor of p?
True
Let s(d) = -d**2 - 3*d + 44. Let a be s(0). Let j = a - 39. Is 5 a factor of j?
True
Let s(q) = q**2 - 9*q + 1. Let y be s(6). Let n = -4 + 33. Let r = n - y. Is 23 a factor of r?
True
Let v(r) be the first derivative of 9/2*r**2 - 3*r - 5. Does 2 divide v(1)?
True
Does 15 divide (1196/(-8))/(-13)*(62 + 0)?
False
Suppose 4*k = 0, 7*k + 800 = 2*b + 4*k. Is 10 a factor of b?
True
Is (-35)/56*-4*322 a multiple of 35?
True
Let g be (-2)/4*-6 + 53. Let a be 0/((7 - 8)/(1/2)). Suppose a = -4*r + r - i + 42, -g = -4*r + i. Is 3 a factor of r?
False
Let h be (40/25)/((-2)/(-40)). Suppose -2*w + h = -w. Is w a multiple of 16?
True
Let i be 177/4 - 9/36. Let y = i - 20. Does 4 divide y?
True
Suppose -13 = -t - 3*f, 3*f = 3*t - 2*f + 3. Suppose -2*k - 177 = -t*a + 121, 3*a = 3*k + 216. Is 19 a factor of a?
False
Let q be -1 - 157/(-2)*4. Let u = q - 171. Is 38 a factor of u?
False
Suppose 0 = -2*o + 5*b + 15, 3*b = -3*o + b + 70. Let u = o + -17. Suppose -3*d + 131 = u*h - 16, 146 = 3*d + 2*h. Is 16 a factor of d?
True
Let r(g) be the first derivative of 2*g**3/3 - g**2/2 - 7. Let i be r(-1). Suppose 2*h - 3*h + 100 = 4*s, -i*h + 36 = s. Is 8 a factor of s?
True
Suppose -4*b = -5*i + 4775, 0 = 3*i + 2*b - 7*b - 2878. Does 12 divide i?
False
Let m = 122 - -35. Let b = m - 107. Is b a multiple of 3?
False
Let b be 5/(5/(-2)) + 4. Suppose -9*u = 7*u - 1152. Suppose b*d - u = d. Is 12 a factor of d?
True
Suppose -5*u + 4 = -2*p, 8 = 4*u - 0*p - 4*p. Let o be (0 - u)*(-3)/(-3). Does 27 divide o/(-3) + (-225)/(-3)?
False
Let h(a) = -2*a + 15. Let p be h(18). Let b be (10/(-3))/(2/p). Suppose 9*n - 325 - b = 0. Does 10 divide n?
True
Suppose -13*b = -16730 - 22985. Is 65 a factor of b?
True
Let c(b) = 9*b**3 + 4 + b**2 + 0*b**2 - 15*b**3 + 4*b. Is 16 a factor of c(-2)?
True
Suppose -5*q + 2175 = -5*s - 5405, 6070 = 4*q - s. Does 11 divide q?
True
Suppose 0 = 4*n + 4*t - 1092, -4*n + t = -3*t - 1076. Is 24 a factor of n?
False
Suppose 4*r - 3*v = -79, v = 2*r - 2*v + 35. Suppose -l = -0*l + 37. Let w = r - l. Is w a multiple of 4?
False
Suppose 4*g + 5 + 23 = 4*h, 18 = -h - 4*g. Suppose 41 = 3*v + q, 3*q - 5 = -v - h. Does 15 divide (-9)/v - (-446)/10?
False
Let q(a) be the third derivative of -31*a**4/24 - 5*a**3/6 + 3*a**2. Let n be q(-2). Let u = n - 19. Is u a multiple of 16?
False
Let o(c) be the second derivative of 7*c**3/6 + 13*c**2/2 - c. Is 16 a factor of o(7)?
False
Suppose -4*g - y + 72 = -3*y, 0 = -y + 2. Suppose -g*j = -17*j - 104. Is j a multiple of 13?
True
Does 88 divide (396/15)/(-6)*-340?
True
Let h be 1 + 1 - (-888)/6. Let b = h + -139. Does 11 divide b?
True
Suppose -5*g - 4*n + 4727 = -5409, -5*g - 5*n = -10135. Does 15 divide g/15 + (-7)/35?
True
Let x = 3009 + -1324. Suppose 0 = 11*m - x - 218. Is m a multiple of 30?
False
Let c be ((-68)/(-8))/(5/10). Let d = c - 13. Is 4 a factor of d?
True
Suppose w - 2 = 2. Suppose -w*q = -0*q - 12. Does 19 divide (-3 - (-160)/12)*q?
False
Let q be 266/(-3) - (-18)/27. Let b = q - -13. Let s = -36 - b. Is 13 a factor of s?
True
Suppose -5*z = -4*h - 43, -3*z + h + 4 = -26. Let l = z + -7. Suppose 0 = 4*n + 3*p - 155, 2*n - 20 = l*p + 52. Is 13 a factor of n?
False
Let r be ((-18)/(-12))/((-3)/(-8)) - 5. Is 5 - (-86)/(1 - r) a multiple of 7?
False
Let g(f) = f**2 + 20*f - 150. Is 26 a factor of g(-32)?
True
Let g = 996 - 342. Does 5 divide g/30 + (1 - (-8)/(-10))?
False
Suppose -4*g - 50 = -5*y, 30 = 3*y - 4*g + 3*g. Let u = -6 + y. Suppose 5*t = -3*q + 49, 0 = -4*q + u*t - 2*t + 74. Is q a multiple of 9?
True
Let v = -7023 - -10389. Is 51 a factor of v?
True
Let z(q) = q**2 - 8*q + 57. Is 4 a factor of z(6)?
False
Let j(r) = -r**3 - 8*r**2 + 18*r + 19. Let m be j(-10). Let g = -13 + m. Is g a multiple of 7?
False
Suppose -3*b + 33 = u, -b + 5*b - 20 = 0. Let k = u - 13. Suppose -s + 26 = -k. Is s a multiple of 8?
False
Suppose -5*s = -7*s + 290. Let h = s + -57. Does 5 divide -4 - h/(-4) - 2?
False
Let q be 3/(-6)*(1 + -1). Suppose -5*y - 2*m = -q*y - 19, 5*m = -2*y + 16. Suppose -y*p - 2*p = -160. Is 16 a factor of p?
True
Let p be (-6)/(-10) + -1 + 14460/25. Is p/17 + 2*-1 a multiple of 8?
True
Suppose 0 = 2*s - 7*s - 10, 4*o = -2*s + 340. Let n = o + -14. Does 15 divide n?
False
Let d(l) = 13*l**2 + 15*l + 6. Suppose c = b - 1, -2*c - 23 = 3*c + b. Is 35 a factor of d(c)?
False
Let i(f) = 2*f**2 + 8*f + 17. Let g = -68 - -63. Is 9 a factor of i(g)?
True
Let f = 49 - -44. Let w = 177 - f. Suppose -3*q + 4*c + w = c, -c - 3 = 0. Does 8 divide q?
False
Suppose 28 = -3*c + 4*c. Suppose 0 = -3*o + 34 - c. Is 24 a factor of 16/3*9/o?
True
Suppose 6*d = 3011 - 221. Does 31 divide d?
True
Is 26 a factor of (-2 - 0)/(-1*(-24)/(-8244))?
False
Let r(h) = h**2 + 4*h + 2. Let w be r(-4). Suppose -208 = -w*s + 4*g, -6 + 2 = -4*g. Is s a multiple of 20?
False
Let p(u) = u**3 + 13*u**2 + 1. Let w be p(-13). Suppose w = -d + 7. Is d a multiple of 2?
True
Let j = 13 - 20. Let o be 119/j - 3*1. Is o/((-1 - 0) + -1) a multiple of 5?
True
Does 10 divide (7 - 189/35)*150/1?
True
Let u = -132 - -150. Does 2 divide u?
True
Suppose 3*q + 0*q - 60 = 0. Let s(a) = a**3 - 21*a**2 + 24*a - 28. Is s(q) a multiple of 26?
True
Suppose 4 + 74 = -3*z. Let b = 40 + z. Suppose -b*a + 23 = -13*a. Is a a multiple of 11?
False
Suppose 0 = -2*u + 5*u - 9. Suppose 54 - u = j. Is j a multiple of 8?
False
Suppose 5*t = 3*o - 96, 0 = 4*o - t - 93 - 35. Is 13 a factor of o?
False
Suppose -i + 3 = 6, 2*i = 5*f - 591. Let o = f - 102. Is 5 a factor of o?
True
Let f(y) = -34*y + 2. Let r be f(-3). Let u = -74 + r. Is u a multiple of 15?
True
Let g(h) = -6*h**3 + h**2 - 6*h - 4. Let i(u) = -5*u**3 + 2*u**2 - 5*u - 4. Let f(p) = 3*g(p) - 4*i(p). Is 4 a factor of f(3)?
False
Suppose 21*u + 519 = 10284. Does 3 divide u?
True
Is ((-9480)/(-45))/(2/3) a multiple of 15?
False
Suppose -5*j = -g + 7, 3*g + 7 + 5 = 4*j. Suppose b - 79 = -4*h + h, -5*b - 3*h + 395 = 0. Is 5 a factor of g/44 - b/(-11)?
False
Suppose 4*a = -17 - 251. Let s = a - -113. Is 23 a factor of s?
True
Suppose 0 = 12*s - 6*s - 12. Let q(a) = 16 - 3*a - a**2 + a + 46 + 0*a**s. Is 31 a factor of q(0)?
True
Suppose 3*g - 3*o = 18, -o - 2*o = -g + 4. Let m = g + -5. Suppose -t = m*y - 25, -4*y - 3*t + 59 = -4*t. Is y a multiple of 13?
False
Let s(z) = z**2 + 9*z + 8. Let v be s(-8). Suppose v = -5*w + 3 + 577. Is 24 a factor of w?
False
Let i(r) = -r**2 + 8*r - 8. Let n be i(6). Suppose -n*z - 14 = f - 80, 2*z = 8. Does 9 divide f?
False
Is 4/(-4) - -545 - (-13 - -17) a multiple of 36?
True
Suppose 617 = -44*k + 47*k - 2*a, 5*k + a - 1011 = 0. Does 35 divide k?
False
Let h = -15 - -7. Is 6 a factor of 1156/32 + 1/h?
True
Suppose b + 5*b = 0. Suppose -y - 4*y + 10 = b. Does 27 divide 1/(y + 428/(-216))?
True
Let r be 1 + -3 + 0 + -2. Let i(p) = 46 - 130 + 42 - 12*p + 48. Is i(r) a multiple of 17?
False
Let t(i) = -4*i**3 - i**2 - i + 2. Let q be t(2). Let r = q - -50. Is 8 a factor of r?
False
Suppose -5*z + 225 = -2*f, -z + 208 = 3*z + 4*f. Let x be (11/(-4) - -7) + (-2)/8. Suppose 0*q = -3*q - 4*i + z, -3*q + x*i + 31 = 0. Does 3 divide q?
False
Let v be (60/18)/((2/81)/2). Suppose -v = 3*r - 9*r. Does 15 divide r?
True
Let r = -257 - -277. Is 4 a factor of r?
True
Suppose -a = 5*w + 12, 5*a + 2*w - 18 = 3*w. Let k be -4 - (-2 - 0) - -4. Suppose 0 = 3*g + 9, 3*g - 5 = -a*m - k. Is m a multiple of 4?
True
Let r(d) = 56*d**3 + 5*d**2 - 4*d - 9. Is 64 a factor of r(3)?
True
Let a(x) = 2*x - 1 + 3*x + 0 - 7*x. Let k be a(-1). Is 20 a factor of 0 - -1 - k - -94?
False
Let z(k) = -2*k**3 - 19*k**2 + 4*k - 31. Is z(-11) a multiple of 72?
True
Let d = 1 + 6. Let a be (4/7)/(2/d). Suppose 1 = t, -23 - 6 = -3*h - a*t. Does 6 divide h?
Fa