Let n = i - z. Is 27 a factor of n?
False
Let w be 0 - (-3)/(-2)*-614. Let f = -631 + w. Is f a multiple of 29?
True
Let o(j) = -j**3 + 67*j**2 + 127*j - 2207. Does 75 divide o(31)?
False
Let n(a) = -a**3 + 39*a**2 + 47*a - 63. Is 28 a factor of n(39)?
False
Is 7 a factor of (14/(-6))/(-7)*3 - (0 - 4653)?
False
Let n(t) = 49*t**2 + 4*t + 2. Let h(o) = 50*o**2 + 3*o + 2. Let w(r) = -6*h(r) + 5*n(r). Let s be w(1). Is 11 a factor of (-226)/(-5) - (-11)/s?
False
Suppose 11*t = 173414 + 121054 + 163495. Is 107 a factor of t?
False
Let f be (2/4 + 850/60)*-36. Let y = f - -311. Let x = -115 - y. Is x a multiple of 21?
False
Let y be (-2)/4 - 198/(-36). Is (3 - 1302/(-3)) + y a multiple of 34?
True
Does 128 divide (22371*(-2)/(-9))/(37/111) + 4?
False
Suppose -50 = 9*q - 68. Suppose -2*k = q*k - 3*w - 825, -5*w - 815 = -4*k. Is k a multiple of 21?
True
Is (-22854)/(-8) + (-12 - (-270)/24) a multiple of 68?
True
Suppose -8*g = g - 1440. Is 67 a factor of (-1 - 1419/12)/((-30)/g)?
False
Is 286 a factor of (1 - 2133)*(221 + -232)?
True
Suppose -6*w + 218 = 56. Suppose 2*p - p = 2, -w = -5*t - p. Suppose t*k - 75 = -0*k. Is 7 a factor of k?
False
Let p(h) = 860*h**2 - 75*h - 315. Is p(-6) a multiple of 45?
True
Let o(g) = -15*g - 40. Let c be o(-3). Suppose c*v - 761 = -4*x, -x = -4*v + 547 + 66. Does 16 divide v?
False
Let w be (-72 + 758)*2/4*2. Suppose 25 = 5*h - 30. Suppose 0 = h*q - w - 898. Is q a multiple of 12?
True
Suppose 0 = -x - 3*q - 7, -9*q + 12*q = 2*x - 13. Suppose -x*h + 321 = -h. Is h a multiple of 38?
False
Let p = -23 - -33. Let x(n) = -p*n**3 - 10*n**2 - 5*n**2 + 11*n**3 + 4 - 14*n. Is 36 a factor of x(16)?
True
Let c = -29 - -62. Let v be 8/(-6) - (-4169)/c. Does 23 divide (v/10 + -1)*2?
True
Is 20 a factor of -14 - -2*5715/30?
False
Let n(o) = 12*o - 36. Let y be n(3). Suppose -8*d - 6*d + 2730 = y. Is 9 a factor of d?
False
Suppose -377382 = -143*l + 80*l - 21999. Does 5 divide l?
False
Suppose 329 = 4*b + 293. Let p(h) = h**3 - 6*h**2 - 16*h - 16. Is p(b) a multiple of 8?
False
Suppose n - 3 = -2*h + 2*n, -2*h = -4*n + 12. Let b be (80/100)/(h/30). Suppose 0*s = b*s - 462. Is s a multiple of 13?
False
Suppose -60*d + 51*d + 45 = 0. Suppose 10 = 5*j, 2*r + 119 - 535 = -d*j. Is 20 a factor of r?
False
Let m(y) = -y**3 - 5*y**2 - 2*y - 6. Let c be m(-5). Let u(j) = j**2 - 542*j + 3781. Let p be u(7). Suppose r = -c*v + p, 2*v - 3 + 1 = 0. Does 16 divide r?
True
Suppose -7*c = 12*c - 13*c - 26208. Is 42 a factor of c?
True
Let r(s) = -s**3 - 82*s**2 - 735*s - 278. Is 6 a factor of r(-77)?
False
Is 15 a factor of (88/132)/((-3)/(-19539))?
False
Let r be (-2 + -2)*(-280 - 1). Let n = 1964 - r. Is n a multiple of 42?
True
Let s = -319 - -439. Is 20 a factor of 1/(s/16) - 57772/(-60)?
False
Let g(c) = -48*c + 92. Let h be g(-6). Suppose -80 + h = 5*v. Is v a multiple of 12?
True
Let p be (-130)/(-26)*29*3. Suppose 2*i = i - 5*n + 213, -2*i - n = -p. Does 12 divide i?
False
Let m = -122 - -121. Is (-151)/(-1) + m/1 + 0 a multiple of 15?
True
Let v be (-3)/(-2)*-2 + 8. Suppose v*u + 5 = -0. Is 38/(-4)*(u - 1) a multiple of 2?
False
Let k(p) = -p**3 + 7*p**2 - 9*p + 6. Let a be (-6)/(-2)*(-16)/(-12). Let v be k(a). Suppose 27*l = 24*l + v. Does 6 divide l?
True
Let r = -95 + 101. Let o(z) = -2*z**2 - 8*z + 2. Let h be o(r). Does 10 divide 1/(3 - (-353)/h)?
False
Suppose 0 = -x - b + 59, -3 = -b + 2. Suppose -5*w + x = -4*w + 4*z, 4*w - 4*z - 196 = 0. Is w a multiple of 25?
True
Suppose 1941316 = 217*k + 241121. Is k a multiple of 19?
False
Let h(w) = -263*w + 1. Let t(x) = 131*x. Let f(l) = -4*h(l) - 7*t(l). Does 19 divide f(2)?
True
Suppose -31*j + 73*j + 108990 = 346458. Is j a multiple of 23?
False
Suppose -d + 9 = 4*a, -a + 4*a - 18 = 3*d. Suppose -14 - 16 = a*z - 5*q, 0 = 4*z + 3*q + 69. Is 11 a factor of ((-975)/45)/(-2 + z/(-9))?
False
Let n be 8 + 33/(-3) + 8. Suppose -7*k + 5*u = -5*k - 156, u = -n*k + 390. Is 2 a factor of k?
True
Let k = 23 - 47. Let h = -24 - k. Suppose j + 2*s - 39 = -3*s, 4*j - s - 51 = h. Is 7 a factor of j?
True
Let n = 4284 + 735. Is n a multiple of 2?
False
Suppose 3*o + 3 = 12. Suppose -9 = -o*j + 6. Suppose 0 = -2*z - 4, -j*f + z + 94 = -253. Is f a multiple of 9?
False
Suppose 0 = 4*p + 3*w - 47785 + 12973, -2*p = -5*w - 17406. Is p a multiple of 111?
False
Suppose -3*m = 4*j - 25817, 35*m - 19341 = -3*j + 40*m. Is j a multiple of 95?
False
Let n be (-12)/3 - -1 - -4. Let f be 850/25 + (-8)/2*n. Let k = -22 + f. Does 2 divide k?
True
Let z = -291 + 108. Let o = z + 122. Let p = 80 + o. Does 3 divide p?
False
Suppose -8*h + 206 + 634 = 0. Is (-5262)/(-21) - -1 - (-45)/h a multiple of 18?
True
Let a(r) be the second derivative of r**4/12 - 5*r**3/6 - 6*r**2 - 2*r. Let b be (2 - 0)/((-27)/108). Is a(b) a multiple of 23?
True
Let y(n) = 30*n + 12. Let q(a) = -2*a + 1. Let w(m) = 10*q(m) - y(m). Is w(-1) a multiple of 7?
False
Let m(o) = -5489*o + 49. Does 71 divide m(-1)?
True
Suppose 69*r - 65*r = 400. Suppose -5*j - r - 85 = 0. Let n = 32 - j. Is n a multiple of 6?
False
Suppose 3*g = -0*g - r - 3, -3 = -g + r. Suppose 6*d - 4*d - 12 = g. Is -2 + 54/(d - 4) a multiple of 5?
True
Let n be (-2 + 8 - 6)/(-5). Suppose n = -3*i, -2*k - 3*k - 5*i + 525 = 0. Is 4 a factor of k?
False
Let i = 3 - 53. Let d = i + 52. Suppose u = -3*w + 269, -d*u + 190 = 4*w - 170. Is 19 a factor of w?
False
Is 7 a factor of (2871/(-1))/(300/(-24) + 11)?
False
Suppose -2*w + 9 - 27 = 0. Let a(u) = 19 - 53 + u**2 + 11*u + 32 + 24. Is 3 a factor of a(w)?
False
Is 6 - -1 - (13 - -900)/(-1) a multiple of 10?
True
Let z(n) = 34*n - 118. Let t be z(-4). Is 40 a factor of (3 - (t + 2)) + -2?
False
Let x be 108/(-270) - (332/(-5) + -2). Is (x/6 + 52/(-39))*21 a multiple of 6?
True
Let r = -211 - -216. Suppose r*a - 96 + 61 = 0. Is a a multiple of 4?
False
Let s(f) = 22824*f**2 + 69*f + 67. Does 188 divide s(-1)?
False
Let g(a) be the third derivative of a**6/120 - 2*a**5/5 + 5*a**4/24 - 4*a**3/3 + 6*a**2 - 7*a. Suppose -t = t - 48. Is g(t) a multiple of 16?
True
Let y be (557/2)/(1/36*3). Suppose 0 = -20*f + y + 3798. Does 17 divide f?
True
Let p be ((-18)/(4/2))/((-73)/2993). Let n = p - 167. Does 19 divide n?
False
Suppose 5*k + 4*n = -3268, 4*k + 57 = -n - 2564. Let d = 456 + k. Let i = 362 + d. Is 27 a factor of i?
True
Let s(d) = d**3 + 11*d**2 - 29*d - 16. Let t be s(-13). Suppose 17*q = t*q - 2076. Does 36 divide q?
False
Let h = 19543 - 18103. Does 16 divide h?
True
Suppose 2*h = 3*t + 4122, -503*t + 2068 = h - 508*t. Is 147 a factor of h?
True
Suppose l - 4*p + 2253 = 6562, -2*l - 3*p = -8607. Is 21 a factor of l?
True
Suppose -3*x = -4*a - 6492, -386*x + 383*x - a + 6462 = 0. Does 8 divide x?
False
Let r(p) = -622*p - p**3 + 627*p + 18*p**2 + 2*p**3 + 22. Does 86 divide r(-12)?
False
Suppose 79*b - 23*b = 174664. Is b a multiple of 41?
False
Suppose 169*v - 171007 + 40763 = 174294. Is v a multiple of 32?
False
Let f be ((-50)/5)/(-1 - 1). Suppose -f*m - 3*y = 1443 + 47, -3*y = 2*m + 605. Let b = m + 475. Is 12 a factor of b?
True
Suppose 0 = -n - 9 + 13. Let w be 906 - (-2 - -4 - n). Suppose -32 = -5*a + w. Is 25 a factor of a?
False
Let z = 360 + 1055. Does 39 divide z?
False
Let s(g) be the first derivative of -g**4/4 + 4*g**3 + 12*g**2 + 17*g + 37. Does 8 divide s(13)?
True
Suppose -21942 = -5*f + d, 0 = 4*d - 14 + 2. Let k = f + -3097. Does 96 divide k?
False
Does 3 divide 4/(-12) + ((-11230)/(-12) - (-51)/34)?
False
Let k = -28743 - -48847. Is 28 a factor of k?
True
Let r(q) = 17*q + 116. Let l be r(10). Let f = 446 - l. Does 32 divide f?
True
Let a = -11 - -16. Let r = a + -3. Suppose -5*t - 20 = 0, r*t - 6*t - 54 = -2*v. Is 11 a factor of v?
False
Let g(x) = -8*x + 7. Let y be g(7). Let n = y + 54. Suppose 0*w - n*w - 2*u + 1330 = 0, 2*u + 782 = 3*w. Does 12 divide w?
True
Suppose 4*p = 3*l - 199, -5*l - 5*p = -2*l - 163. Suppose l*t - 96 = 58*t. Suppose -2 - 5 = -c - 2*w, -5*w - t = -2*c. Does 2 divide c?
False
Let c be 10 + (-12 + 15 - (8 + 0)). Suppose -500 = -2*b - 4*k, -c*b - 2*k = 2*k - 1256. Is b a multiple of 12?
True
Let h(t) be the second derivative of t**4/12 - t**3/2 - 6*t. Let y be h(7). Does 7 divide y*(294/56 + 1 + -4)?
True
Let z(w) = -6*w**3 + 25*w**2 + 5*w - 9. Let m(c) = -5*c**3 + 27*c**2 + 6*c - 9