 Let z(i) = -27*i - 55. Let n be z(j). Suppose 0 = y + 5*r - 207, 3*r = -2*y + n + 45. Is 58 a factor of y?
True
Let v = -33 + 59. Let p be v/10 - (-1)/(5/2). Suppose -127 - 209 = -p*m. Does 25 divide m?
False
Let y(n) = -11*n - 107. Let v be y(-33). Let c = 314 - v. Is 3 a factor of c?
False
Suppose -6*k + 5*k + 2*s = -8, 2*s + 8 = 4*k. Suppose -3*n + 29 - 17 = k. Suppose 0 = n*h + 59 - 307. Is h a multiple of 9?
False
Let x(h) = -20*h + 1264. Is x(49) a multiple of 4?
True
Suppose 8*m - 4*m = 24. Is 8 a factor of 2 + (127 + 2)/(m/4)?
True
Suppose 9*k - 17 - 1 = 0. Suppose 5474 = 4*o + 4*m + m, 4102 = 3*o + k*m. Is 15 a factor of o?
False
Let k(d) = -d**3 + 43*d**2 + 141*d - 411. Is k(37) a multiple of 63?
False
Let u = -73 - -93. Is 4 a factor of u*4*(-75)/(-40)?
False
Suppose 0 = -10*n + 13*n - 9. Suppose 0*w + 162 = o + n*w, -o + 5*w = -170. Suppose -18*k + 15*k = -o. Does 14 divide k?
False
Let y(o) = -o**2 - 8*o - 11. Let x(r) = -5*r**3 + 5*r - 5. Let j be x(1). Let d be y(j). Suppose -v - 1 - 7 = -2*k, -v = k - d. Does 4 divide k?
True
Suppose -22*c - 25*c + 211500 = 0. Is 75 a factor of c?
True
Let d(g) = -3*g**3 - 12*g**2 - 22*g + 333. Does 81 divide d(-18)?
True
Suppose -185*t + 732499 = 337271 - 1545792. Is 16 a factor of t?
False
Let v(o) be the second derivative of 4*o**3/3 + 105*o**2/2 - 121*o. Is 23 a factor of v(7)?
True
Let g be 2/(-7) - (-2 + (-28746)/63). Let b = g + 285. Is 72 a factor of b?
False
Suppose 0 = 5*y - 4*t - 690, -3*t + 138 = y - 8*t. Is y a multiple of 2?
True
Suppose -5*v + 5*r - 186 = -636, 3*r = -2*v + 155. Suppose -36*d - 19*d = -10945. Suppose 2*j = v + d. Is j a multiple of 31?
False
Suppose 0*p - 3*p - 25 = -5*k, 4*p + 10 = -5*k. Let b(z) = -z**3 + 5*z**2 + 10*z - 12. Let c be b(8). Let i = p - c. Does 17 divide i?
True
Let z(n) = -n**2 + 7*n + 13. Let j(c) = -c**2 + 7*c + 13. Let h(o) = -6*j(o) + 5*z(o). Let b(x) = x**2 - 11*x + 4. Let m be b(12). Is h(m) a multiple of 26?
False
Let g(s) = s**2 - 5*s - 5. Let p be g(6). Let j be (p - -9)*(1 - 0). Is 732/14 - (j/(-14) - -1) a multiple of 11?
False
Suppose t - 5122 = 3*v, -71*t + 75*t - 20537 = 5*v. Is t a multiple of 53?
False
Let t be (0*4/(-8))/(-1). Let q be (1 + t)*12 - -4. Does 23 divide 207/6*q/6?
True
Let w(o) = -2*o**3 - 26*o**2 + 34*o + 4. Let b be w(-14). Is (b/25)/(2/(-245)) a multiple of 88?
False
Suppose -i = -y, -y - 2*y = -5*i. Suppose 74 = n + 5*t, t - 112 = -2*n - y*t. Suppose 14*w = 12*w + n. Does 8 divide w?
False
Let l = 82 - 79. Is (l + 748/(-8))*(-2 + 0) a multiple of 90?
False
Let o = 206 + 24. Is o + -4 + (3 - 1) a multiple of 38?
True
Suppose 19*g - 432 = 803. Suppose -5*t + g = -1015. Is 6 a factor of t?
True
Let a be -179 + -2 + (-1 + 1 - 3). Let j = 280 + a. Is j a multiple of 3?
True
Suppose -22*l = -46*l + 21993 + 639. Is 38 a factor of l?
False
Let d be ((-55)/20)/((-3)/4 + 1). Is 2 a factor of (-14)/77 - 816/d?
True
Suppose 2*b = 5*b. Let j = -9 + 13. Suppose -k + j*t - 2*t = -25, b = -5*k + 4*t + 113. Does 9 divide k?
False
Let n = -1904 + 1022. Let k = n + -192. Is k/(-7) + (-32)/(-56) a multiple of 14?
True
Let y(o) = -7155*o**3 - 2*o**2 + 3*o + 3. Does 32 divide y(-1)?
False
Let h be (-2 - 1)*-1 - (1 + -7). Suppose -h*l + 441 = -2*l. Is 27 a factor of l?
False
Let d(y) = y**3 + 15*y**2 + 9*y - 11. Let q be d(-14). Let b = q + -46. Does 12 divide b + 0 + 0 + -1?
True
Suppose -6243 = -29*v + 29833. Is 9 a factor of v?
False
Let d(p) = -p**3 + p**2 + 8*p + 3. Let w be d(-3). Let s(r) = 4*r**2 - 17*r + 41. Does 46 divide s(w)?
False
Let n = 15 + -22. Let y(f) = 3*f - 12. Let w be y(n). Is ((-6)/(-6))/((-3)/w) a multiple of 4?
False
Let h = 117 - 55. Let v = h - 59. Is 14 a factor of ((-42)/(-4))/(v/4)?
True
Let i = 276 - 296. Is 24 a factor of (i/6)/(-12 + 31095/2592)?
True
Let y(m) = 135*m**2 - 218*m - 2990. Is 13 a factor of y(-13)?
True
Let o be (4/6)/((-4)/(-156)). Let v(z) be the second derivative of z**4/12 - 11*z**3/3 - 2*z**2 + z + 53. Does 9 divide v(o)?
False
Suppose 2 = 3*n - 4. Suppose 2*q - 18 + n = 0. Suppose -36 = -q*f + 7*f. Is 10 a factor of f?
False
Is 206 a factor of (270/35)/9 + (-253768)/(-28)?
True
Is (-15401)/(-3) + 5/(330/(-44)) a multiple of 87?
True
Suppose 64*q = 30*q + 23868. Suppose -15*k - 87 = -q. Is k a multiple of 41?
True
Let s(a) = 434*a**2 - 57*a - 156. Does 10 divide s(-6)?
True
Suppose -2*j - 2*l - 3*l - 74 = 0, 106 = -3*j - 5*l. Let f = j + 36. Suppose 0 = -2*v + h + 39, -3*v + 83 = -f*h + 17. Is 7 a factor of v?
False
Let f(p) = 18*p**2 + 15*p - 127. Is f(-15) a multiple of 86?
True
Suppose -12*p + 1019 = -2869. Let d = -195 + p. Is 3 a factor of d?
True
Suppose 2*f - t - 38 = -6*t, -f = -2*t - 1. Suppose f*y = -337 + 3919. Is y a multiple of 12?
False
Let h be -23 + 0/2 + -2. Let n = 210 + h. Does 37 divide n?
True
Suppose 2*k - 18 = -7*k. Let u be (-17)/(-4) - (k + 7/(-4)). Let g(p) = p**2 - 11. Is 5 a factor of g(u)?
True
Let y = 858 - 600. Suppose -4*b - 4*q = -4, 6 - 5 = 3*b + 4*q. Suppose -y = -b*f - 3. Does 13 divide f?
False
Suppose 0*b + 2*n = 3*b + 280, 3*b + 290 = 4*n. Let c = -88 - b. Suppose 3*d - 474 = 3*o, -c*d + 4*o - 25 = -337. Is 34 a factor of d?
False
Let z(t) = t**2 - 53*t - 3468. Is 9 a factor of z(94)?
False
Let f = -15515 - -37117. Is 101 a factor of f?
False
Suppose -5*m = 5*o - 2930, -1764 = -3*m + 2*o - 6*o. Is 3 a factor of m?
False
Suppose r = -5*y + 25, -6 = -y - 3*y + 2*r. Suppose c - 3*c - 2*u + 140 = 0, 0 = -y*c - u + 292. Is c a multiple of 37?
True
Let j(l) = 4*l + 15. Let u be j(-3). Let d(n) = -2*n - 22. Let v be d(u). Let o = 72 + v. Is 35 a factor of o?
False
Let z(b) = 2*b**2 + 23*b + 17. Let n be z(-12). Suppose -n*q = -12*q - 12580. Is 37 a factor of q?
True
Suppose -59*n + 56*n - 5*v = -25536, -2*n + 17020 = 4*v. Does 18 divide n?
False
Does 20 divide ((-1285)/(-20))/((-7)/(-1031 + -5))?
False
Let v(t) = -t**2 + 26*t - 114. Let a be v(20). Suppose 12716 = a*p + 11*p. Is 11 a factor of p?
True
Is 6 a factor of -2*7/7*-933?
True
Let p(k) = -204*k**3 + k**2. Let v be p(-1). Suppose 2*j + 169 - v = 0. Let i = j - 1. Is 9 a factor of i?
False
Let r = -176 - -246. Suppose -r - 46 = -a. Let n = a - 46. Is 10 a factor of n?
True
Let v(f) = f**2 - 25*f - 6. Does 48 divide v(43)?
True
Let h(r) = -2*r**3 - 12*r**2 + 3*r - 18. Suppose 0 = 67*t - 72*t - 45. Is h(t) a multiple of 21?
True
Suppose -492 = t - 531. Suppose -t*g - 480 = -27585. Is 16 a factor of g?
False
Suppose -24*i + 17*i - 57*i + 280256 = 0. Is i a multiple of 20?
False
Suppose 0 = -w - 0*w - 16. Let l be (28/w)/((-1)/(-8)). Does 7 divide (l/3)/(1*3/(-9))?
True
Let p(r) = 47*r**2 - 43*r + 25. Is p(26) a multiple of 11?
True
Let z = 117 - 95. Let o(p) = -p + 8 + 2 - 6 + z. Is 3 a factor of o(-17)?
False
Let b(a) = -a**3 - 2*a**2 - 3*a + 226. Suppose -16 = 2*p + 5*l + 4, 20 = -4*p - 5*l. Does 17 divide b(p)?
False
Is (4/12)/(6/138366) a multiple of 39?
False
Let k(g) = 2*g**2 + 2*g - 92. Does 26 divide k(-41)?
False
Suppose -y - 48*y + 272352 = -y. Is 7 a factor of y?
False
Let r be 6 - 4 - (-20)/4. Let s(x) = -2*x**2 + 119 + 17*x + 123 - 243. Is s(r) a multiple of 4?
True
Suppose -31*b + 5*m = -33*b + 1187, -5*b + 3*m + 2952 = 0. Let u(r) = -2*r**3 - r**2 + 5*r - 1. Let f be u(-6). Let z = b - f. Does 28 divide z?
False
Let i(v) = 11*v - 168. Let s = 629 + -599. Is i(s) a multiple of 71?
False
Suppose 36 = -i - 11*i. Let d(u) = -u**2 - u + 7. Let b be d(i). Is 9 a factor of ((27/(-2))/b)/(15/(-20))?
True
Let i be (21/(-15) - -2) + 306/(-85). Is 49 a factor of (10 + -38)*((-242)/8 + i)?
True
Let w be (24/48)/((-2)/(-744)). Let b = 342 - w. Is b a multiple of 26?
True
Let i(f) = 43*f - 27. Let g be 9/3 + (5 - 0)/5. Is 5 a factor of i(g)?
True
Is 46 a factor of 9775/10*(-12 + (-368)/(-20))?
True
Let k = 3536 + 545. Does 100 divide k?
False
Let o(h) = -8*h - 76. Let q be o(-10). Suppose 128 = d + q*v - 0*v, 5*d - 688 = -4*v. Does 20 divide d?
True
Let v be (-1)/15*-5*15. Let a = -492 - -1105. Suppose -a = -v*d + 142. Is d a multiple of 20?
False
Let c = -1120 + 3927. Is 7 a factor of c?
True
Let d(z) = 7*z**3 + 2*z + 3. Let u be d(-1). Is (-6)/14 + u/(-84)*860 a multiple of 13?
False
Let w = -120 - -132. Suppose 0 = w*a - 499 - 173. Suppose -2*l = -a - 124. Does 12 divide l?
False
Let w(