se r - v*s + 361 = 879, -4*s + 12 = 0. Is 29 a factor of r?
False
Let i(w) = w + 67. Suppose 75 - 27 = 6*h. Does 12 divide i(h)?
False
Suppose -387*d + 15846138 + 2094980 = -6747160. Is d a multiple of 191?
True
Let v(u) = -u + 8. Suppose -10*q + 3*q = -56. Let k be v(q). Suppose k = -3*h + 21 - 3. Does 6 divide h?
True
Is 95 a factor of (1/((-47)/(-94)))/(1/1113)?
False
Suppose -3*t + 0*t = -6*t. Suppose -5*c - 3*z + 314 = 0, 5*c + z = -t*c + 308. Suppose 3*o = c - 19. Is o a multiple of 7?
True
Suppose 15730 = -23*w - 2141. Is 38 a factor of 6*(3 + (w/2)/(-3))?
False
Let o(w) be the third derivative of -w**4/24 + 11*w**3/2 - 13*w**2. Let s be o(16). Is 13 a factor of 20/5*((3 - 2) + s)?
False
Let n(i) = -104*i**2 + 2*i + 1. Let q be n(-1). Let t be 1/(95/q + (-4)/(-7)). Is (1/4)/(t/12)*-301 a multiple of 43?
True
Let j be (-3)/(-4) + (-45)/12. Let o(k) = -4*k**2 - 5*k - 3. Let a(r) = -4*r**2 - 6*r - 2. Let y(q) = j*a(q) + 2*o(q). Is y(7) a multiple of 43?
False
Is 138 a factor of (-2)/(-15) - (((-42318408)/(-45))/(-22) + -2)?
False
Let h = 63 - 59. Let l(x) = x**3 - 6*x**2 + 7*x. Let m be l(6). Suppose -4*s + 7*s - m = -5*n, -70 = -5*s - h*n. Does 13 divide s?
False
Let i(r) = 14*r - 21. Let d be i(7). Let b = d + -46. Does 3 divide b?
False
Suppose 0 = 4*z - 3*q, -1 - 7 = -2*q. Let f be 24*345/(-40)*(-4)/z. Let t = f + -164. Is 22 a factor of t?
False
Suppose 9*u + 873149 = 29*u - 509611. Does 18 divide u?
True
Suppose -2*g = -4*b - 194, 4*g + b = 423 - 80. Let p = -6 + g. Is p a multiple of 2?
False
Is 17 a factor of (-18)/1872*-61912 + (-4)/13?
True
Let b(t) = -t**2 + 8*t + 20. Suppose k + 3*k - 8 = -2*x, -4*k = 4*x - 24. Let j be b(x). Let r = -16 + j. Is 4 a factor of r?
True
Suppose 4*z - z = -5*x + 25, 0 = 2*z + x - 5. Let k be (-4 + 4)/(z + 2). Suppose 0 = -4*d + 3*r + 236, -3*d + k*d + 5*r = -188. Does 28 divide d?
True
Suppose -15 - 5 = -z. Suppose y = -2*y - 2*q - 13, 0 = 4*q + z. Is 3 a factor of y/(-11)*-2 + 1998/99?
False
Let g(k) = -184*k + 1. Let f be g(5). Let d = f - -1358. Suppose 0 = -5*n + 5, 4*r + 2*n = 3*n + d. Is 22 a factor of r?
True
Is 7 a factor of (-64)/(-352) + 27861/11?
False
Let n = -5216 + 5904. Is 16 a factor of n?
True
Let q be (-1452)/14 + (-8)/28. Let g = q + 476. Let j = g + -222. Is j a multiple of 30?
True
Let s(r) = -2*r - 18. Suppose 0*w + w + 3*o + 2 = 0, -5*o + 10 = 0. Let i be s(w). Does 20 divide (1 + i + -24)*64/(-20)?
True
Suppose -2*c + 1698 = 4*a, 5*a - 8*c - 1921 - 170 = 0. Is a a multiple of 54?
False
Let s be (4/4)/((-3)/(-3))*196. Let j = s + -92. Is 26 a factor of j?
True
Let l(c) = -2*c**3 + 3*c**2 + 2*c + 7. Let m be l(3). Let y = -11 - m. Suppose y*o + 711 = 7*o + 3*n, -4*n + 168 = o. Is 45 a factor of o?
True
Suppose -189*n - 1970 = -184*n. Let m = -224 - n. Does 10 divide m?
True
Suppose 12*h - 14665 = -5*y + 15*h, 0 = -2*y + 4*h + 5852. Suppose 2*i - 4*w - y = 0, 31*w - 30*w + 4389 = 3*i. Is 16 a factor of i?
False
Suppose -q - 2 + 5 = 0. Suppose 10 = 2*p + q*p. Is 660/54 + ((-8)/18)/p a multiple of 3?
True
Let x(l) = 4372*l - 2433. Is x(8) a multiple of 200?
False
Let f = 241 - 45. Is f a multiple of 56?
False
Suppose -5*x = -22 + 7. Suppose -q = -2, -q = -2*s - x*q + 1688. Is 19 a factor of s?
False
Let o(t) = -t**3 - 46*t**2 + 6*t - 49. Does 31 divide o(-49)?
False
Let r(j) = 4*j**3 - 17*j**2 + 17*j - 23. Let n(d) = -9*d**3 + 35*d**2 - 35*d + 44. Let y(v) = 3*n(v) + 7*r(v). Is y(15) a multiple of 20?
False
Suppose -10*h - 88 = -18*h. Suppose -h*z + 3627 = -2841. Is 14 a factor of z?
True
Let j = -8522 + 17803. Does 17 divide j?
False
Suppose 4*o - 85649 + 29921 = -4*y, -o + 3*y = -13936. Is 234 a factor of o?
False
Let z be ((-86)/(-4))/((-6)/(-60)). Suppose -3*t - 11*j = -16*j - z, -t = -3*j - 77. Does 5 divide t?
True
Let z(p) = -p**3 - 5*p**2 - 3*p + 8. Let g be z(-4). Let f(s) = 88*s + 20. Is f(g) a multiple of 12?
True
Suppose 0 = 58*x - 69465 - 38009. Does 8 divide x?
False
Suppose -6*p + 18*p - 60 = 0. Suppose 0 = 2*j - p*j. Does 15 divide (j - (43 - 3))/(1/(-2))?
False
Let y(u) = 17*u - 63. Let z be y(4). Suppose -2*b + 5*l + 617 = 0, 0 = 4*b - z*l + 22 - 1251. Does 14 divide b?
False
Suppose 2*r + 5*b - 65 = 0, -24*r + 3*b = -21*r - 45. Let d = 174 - r. Is 7 a factor of d?
True
Suppose -6*q + 137 = -2*c - 3*q, 3*c + 206 = 4*q. Let x = c + 270. Is 20 a factor of x?
True
Let h(w) = 65*w**2 - 156*w - 382. Is h(26) a multiple of 21?
False
Let m = -13540 + 56990. Is m a multiple of 79?
True
Let o(w) = 48*w**2 + 55*w + 28. Does 35 divide o(-7)?
True
Suppose -o + 140 = 4*o - 2*b, 2*o = b + 57. Let u(w) = 8*w - 71. Let d be u(o). Let r = d + 41. Does 32 divide r?
False
Let j(f) = 29*f + 3. Let x be j(9). Suppose -6*q + 3*q = -x. Is 2*q + 1 + (2 - 3) a multiple of 44?
True
Let a = -22 + 54. Suppose -a = 4*w - v - 577, 277 = 2*w + v. Is w a multiple of 26?
False
Let a(i) = 4*i**2 - 2*i + 2. Let w be a(1). Suppose w*d = -5*h - 6 + 77, 4*d = 5*h + 121. Suppose -d - 38 = -2*u - 5*b, 2*u - 42 = 5*b. Does 17 divide u?
False
Let s(f) be the third derivative of f**7/2520 - f**6/90 - f**5/12 + 14*f**2. Let h(i) be the third derivative of s(i). Is h(25) a multiple of 7?
True
Let j(f) be the third derivative of -f**5/60 - 11*f**4/8 - 31*f**3/3 + 27*f**2. Let h be j(-25). Let u = h + -42. Does 8 divide u?
True
Let p be 495*(3 + 1 - 8/4). Let x be ((-4)/6)/((-4)/p). Suppose -901 = -16*j - x. Is 16 a factor of j?
False
Let q(r) = 1018*r**2 + 5*r + 3. Is q(-3) a multiple of 75?
True
Let q be (-2)/1*6/6. Let k = 692 + -1052. Does 9 divide k/(-5) - (q + (2 - 2))?
False
Let x = 235 - 235. Does 24 divide (2 + x - -151) + 2 + 0?
False
Let n be (-190)/(-15) + 6/27*-3. Let p be (-74)/n - 16/(-96). Is 4/(-2)*75/p a multiple of 5?
True
Suppose -10*y + 68 = -12. Let c(i) = 4*i**2 - 18*i + 14. Is 14 a factor of c(y)?
True
Let r be 8 + 9/(27/12). Suppose -g + r = 5. Suppose -3*u = 4*n - g*u - 420, -3*n - 5*u + 323 = 0. Does 23 divide n?
False
Let z be (64/16)/((-1)/(-234)). Let q = 1469 - z. Is 41 a factor of q?
True
Suppose 4*j + 5*s - 8716 = 0, -14*s + 10*s - 2200 = -j. Is j a multiple of 21?
True
Suppose -564*i + 579*i - 224580 = 0. Is 18 a factor of i?
False
Let t(y) = y**3 - 9*y**2 + 48*y - 240. Does 4 divide t(22)?
True
Suppose l = 5*a + 3439, 4*l - 7*l - 7*a + 10427 = 0. Does 196 divide l?
False
Let z be (-1 + 1)*2/4. Suppose 53*x - 54*x + 4 = z. Is 6 a factor of -75*((-16)/4)/x?
False
Suppose 0 = 35*w - 37*w - 190. Let r = w - -95. Suppose 6*j - 840 = -r*j. Does 20 divide j?
True
Suppose 0 = -3*t + 25*t - 37620. Suppose 0 = -55*f + 46*f + t. Is 6 a factor of f?
False
Suppose 4*o + j + 351 = 51, 0 = -4*j. Let l = 958 - o. Is l a multiple of 15?
False
Suppose 3*i = -4*o + 15595, 2*i - 10385 = 18*o - 23*o. Is 175 a factor of i?
False
Suppose 15*c - 20*c + 2415 = 0. Suppose -c = -15*u - 8*u. Is u a multiple of 2?
False
Let a(j) = 25*j**2 + 14*j - 22. Let x be a(4). Suppose 212 = u + 4*c, u + 3*c = -u + x. Does 20 divide u?
True
Is (3/(-9)*3)/(2*1/(-5730)) a multiple of 16?
False
Suppose 3*c - 207 + 45 = 0. Suppose 201*l - 204*l = -c. Is 18 a factor of l?
True
Suppose z - 3*o + 6 - 15 = 0, -3*z = -o - 3. Suppose -3*a + 3*j + 960 = -1167, z = 5*a + 5*j - 3495. Does 64 divide a?
True
Does 81 divide -885*(-70)/42 + (5 - (4 - 1))?
False
Suppose i - 6338 = -2*d, i - 132*d - 6335 = -131*d. Is i a multiple of 72?
True
Suppose 2*m = 12*m - 70. Suppose 5*a - 85 = -5*d, 5*a = m*a - 4*d - 52. Suppose 0 = 2*u - 4, 4*u - a = -2*o - u. Is 2 a factor of o?
False
Let h(x) = 19*x + 11. Let k(y) = 4*y + 39. Let r be k(-6). Let w be (8/10)/(1/r). Is h(w) a multiple of 42?
False
Is (114/(-95))/((-2)/10) - -31134 a multiple of 15?
True
Let g(a) = 25*a**2 + 2*a - 29. Does 110 divide g(-13)?
False
Let x be 4 + -18 + 9 + -5. Is (-7 + -14963)/x + -8 a multiple of 41?
False
Let h be -5*9/(45/(-16)). Suppose 5*k + 4 = -6, 2*i - 2*k + h = 0. Is (-305)/(-3) + i/15 a multiple of 25?
False
Suppose 3*b - 4*b = -457. Let k = -373 + b. Is 7 a factor of k?
True
Suppose -h + 1039 = 3*a, 4*a + h - 1372 = 3*h. Suppose -97 - a = -13*r. Is 34 a factor of r?
True
Let p be 115/(-3)*33/11. Let o be (-20)/(-15)*(p - -1). Let b = -50 - o. Is 14 a factor of b?
False
Let z = -4653 - -9310. Is z a multiple of 8?
False
Suppose -2251 = -d + 14*i 