 o. Does 27 divide b?
False
Let i(d) = -d**2 + 86*d + 1470. Let s be i(98). Let g(f) = -4*f**2 + 2*f - 2. Let n be g(3). Let m = n + s. Does 38 divide m?
False
Is ((1/(-2))/(23 + -22))/((-3)/18288) a multiple of 12?
True
Let j(d) = -d**3 - 2*d**2 - 4*d - 2. Let o be j(-3). Let g be (-12)/(-8)*(0 - -22). Let i = o + g. Does 15 divide i?
False
Let u(o) = 19*o**3 + 4*o**2 - 2*o - 1. Let g be u(2). Let i(k) = -30*k - 4. Let w be i(-3). Let y = g - w. Is y a multiple of 11?
True
Suppose 3*y - 2*r - 19 = -2*y, 7 = -y + 4*r. Suppose 5*b - 7*t = -2*t + 1095, 1130 = y*b + 2*t. Is b a multiple of 4?
True
Suppose -14 - 12 = x. Let m = 25 + x. Is m + -2 - (-18 - 9) a multiple of 4?
True
Suppose -m = -2 - 0. Let f(l) = -3*l - 10*l + 12 + 2*l**m + 15*l. Is 16 a factor of f(-7)?
True
Does 8 divide -11 - (-12)/((-108)/(-639))?
False
Is 139 a factor of ((-1251)/(-36))/(-6 - -5)*-28?
True
Does 41 divide (-7 + 187/(-55))/((-1)/95)?
False
Does 15 divide (3 - 7)/2 + 11 + 3322?
False
Let y(w) = 2*w + 5*w - 22 - 2*w. Suppose -3*c + 38 = -4*n, -4*c + 5*c = 2*n + 14. Is y(c) a multiple of 7?
True
Let h = -17196 + 55145. Is 137 a factor of h?
True
Does 17 divide 1*(3 + -6)/(-3) + (30423 - -6)?
True
Let r be (-14)/6*32/(-56)*-12. Let u(p) = 4*p**3 + 64*p**2 - 13*p + 16. Does 28 divide u(r)?
True
Let d(w) = -2*w**3 + 20*w**2 + 21*w + 9. Let s be d(11). Is 15 a factor of (7 - (-143)/(-22)) + (-239)/s?
True
Suppose 5493 = -14*z + 355. Let w = -140 - z. Is 34 a factor of w?
False
Suppose 6*w = 7829 + 5698 - 3057. Is 15 a factor of w?
False
Let y(s) = -s + 34. Let r be y(32). Suppose -r*f = -4*w + 6*w - 726, 2*f = -3*w + 725. Does 28 divide f?
True
Suppose 4065 - 967 = 2*d - 4*r, -3*d + 4677 = -r. Is 40 a factor of d?
False
Let j be (6/4)/(((-6)/52)/(-1)). Suppose 4*r + j = l + 2*l, 5*l - 3*r = 18. Suppose -u + v - l*v = -20, 4*u = 2*v + 130. Does 5 divide u?
True
Suppose 0 = 50*p + 36*p - 291347 - 183373. Does 115 divide p?
True
Let c(r) = -r**3 - r**2 - r + 6907. Does 27 divide c(0)?
False
Suppose 60*t + 147307 = 1369867. Is t a multiple of 9?
True
Let t = 29362 + -15192. Does 65 divide t?
True
Let g be 9*5*16/24. Suppose -3*o - 13 = -4*p, -5*o + 5*p - g = -0*o. Let f(q) = 2*q**2 + 15*q - 26. Does 17 divide f(o)?
True
Let u be (-8)/(-4)*(-13)/(-2). Suppose 72 = -11*z + 15*z. Suppose u*y + 415 = z*y. Is y a multiple of 13?
False
Let c(s) = 2 - 3 + s - 5*s. Let o be c(-1). Suppose o*a + 161 = 10*a. Is a a multiple of 3?
False
Suppose 0 = -2*q + 4*s + s + 22, 2*q = -s + 10. Let t = 44 + 13. Let a = q + t. Is a a multiple of 20?
False
Let p(v) = 30*v - 218. Let w be p(6). Is 17 a factor of 7 + (-135)/19 + (-12126)/w?
False
Suppose -3*z = -15, 4*f + z - 41 = -4*z. Let s be 22/77 - f/14 - -35. Suppose 2*o - 4*u + 15 - 83 = 0, -u = -o + s. Is 4 a factor of o?
True
Let f = 223 - 125. Let w = f + -70. Suppose -17*i + w*i = 440. Is 20 a factor of i?
True
Let b(a) = 3*a - 4 + 1552*a**2 - 1549*a**2 - 15. Let z be b(6). Let y = z + -45. Does 17 divide y?
False
Suppose -13*u + 0*u = 13. Does 33 divide u/(-3)*(-2 + -1)*-198?
True
Suppose 4*o - 24 = -3*l + 9*o, -5*o - 40 = -5*l. Suppose -3*q = l*q - 2849. Is q a multiple of 27?
False
Suppose -15*w + 16 = -11*w. Suppose 0 = 2*u + u - 3*q - 855, 0 = -3*u - w*q + 820. Let x = u + -199. Is x a multiple of 8?
False
Let x be 0/(-3) + 3/(-1). Let h(w) = -102*w - 2163. Let u be h(-45). Is (-3)/((-54)/u) - x/18 a multiple of 27?
True
Suppose -19811 = -63*y + 6649. Is 5 a factor of y?
True
Let c = -264 - -988. Suppose c = 4*a + 4*p, 2*a - 4*p = p + 383. Is 8 a factor of a?
True
Let d = 141263 + -98144. Does 19 divide d?
False
Suppose 3*a = -2*u + 3515, 7027 = -4*u + 8*u + 5*a. Does 31 divide u?
False
Let t = -87 - 42. Let q = t + 149. Does 5 divide q?
True
Let j = 44 + -41. Suppose 13*l - 610 = j*l. Does 9 divide l?
False
Let a = -40 + 44. Suppose 0 = a*d - 5*d - 34. Let o = d + 112. Does 26 divide o?
True
Let o = 9835 + 46158. Is o a multiple of 61?
False
Let u(a) be the second derivative of -987*a**5/20 + a**4/6 + 7*a**3/6 + 7*a**2/2 - 24*a. Is u(-1) a multiple of 61?
False
Suppose -4*x + 10437 = 5*u + 1642, 0 = -2*u - 3*x + 3525. Is 45 a factor of u?
True
Suppose 7*t = -5*o + 4*t + 10338, -2*o + 4133 = -t. Suppose 2*y = 3*g + 1174 + 203, -o = -3*y + 3*g. Suppose y = 3*b + 102. Is 28 a factor of b?
True
Let o be (-684)/(-252) + 4/14. Let w(d) be the third derivative of d**5/60 - 5*d**4/24 + 4*d**3/3 + 4*d**2. Is 2 a factor of w(o)?
True
Suppose 2*l - 2*o = 46788, -9*l - 4*o - 116962 = -14*l. Is 15 a factor of l?
False
Suppose 7*z = -11*z + 702. Is 2 a factor of z?
False
Does 27 divide ((-13132)/10)/(-8 + (-117)/(-15))?
False
Let c be (-8*(-2)/(-3))/((-36)/(-3456)). Let w = 1112 + c. Is 75 a factor of w?
True
Suppose 25*c - 23 = 2*c. Is (-90)/18 - (-115 - -1 - c) a multiple of 11?
True
Let c(n) = n**3 + n**2 - n + 65. Let h be c(0). Let f = 65 - h. Suppose 6*d = d - 2*k + 64, 4*d - 2*k - 62 = f. Is 14 a factor of d?
True
Let w(y) be the third derivative of -41*y**4/12 - 4*y**3 - 199*y**2. Is w(-12) a multiple of 48?
True
Suppose 0 = -34*k + 86766 + 67084. Is k a multiple of 80?
False
Suppose 0 = 3*n + 2*h - h - 47, -n + 19 = -3*h. Suppose 1176 = -n*b + 37*b. Is 11 a factor of b?
False
Let h(q) = -2*q + 5*q + 8*q**2 - 9*q**2 + 9. Let d be h(7). Let k = 34 + d. Does 5 divide k?
True
Let k(h) = -h**3 + 3*h**2 + 5*h - 10. Let g be k(3). Let v be g/(2 - (-2)/(-6)). Suppose -474 = -v*z + 2*n + n, -5*z = -n - 782. Is z a multiple of 23?
False
Let t(b) = -b**3 + 8*b**2 + b. Let r be t(7). Let h = 56 - r. Suppose -4*l = n - 5*n - 240, l + n - 60 = h. Does 12 divide l?
True
Let z(w) = w**3 - 21*w**2 + 26*w - 31. Let q be z(19). Let k = -7 - q. Does 14 divide k?
True
Suppose 2*w = -z - 3*z + 390, z = 5*w + 81. Let h be 1/(2/28) - (12 + -11). Suppose 11*m + z = h*m. Is m a multiple of 8?
True
Suppose -5*y + n + 12 = -0*n, 0 = y - 3*n - 8. Suppose 980 = 3*a + y*k, a - k - 4*k - 355 = 0. Is a a multiple of 33?
True
Suppose 5*o + 20 = 0, -2*z + 9 = o - 1. Let v(c) = c**2 + 15*c - 73. Does 3 divide v(z)?
True
Let o be 12/(-16) - 150/(-8). Suppose 15*g - o*g = -657. Is 11 a factor of g?
False
Let f(y) be the first derivative of -1/4*y**4 + 7*y**2 + 7 + 20*y - 14/3*y**3. Is f(-15) a multiple of 6?
False
Suppose -277*y = -323*y + 310960. Does 260 divide y?
True
Let d(l) = -2611*l**3 + 23*l**2 + 48*l + 3. Is 8 a factor of d(-2)?
False
Let i = 3154 + -1157. Is 34 a factor of i?
False
Suppose 33*w - 128854 = 36*w - 25*w. Is 201 a factor of w?
False
Let r = -73 + 72. Let z be (-3 - -90*(2 + r)) + -2. Let g = 13 + z. Is g a multiple of 9?
False
Let o = -676 - 387. Let n = 1744 + o. Does 44 divide n?
False
Let b = 1 + 3. Suppose -4*l - 7 = -27. Suppose -4*t + 238 = l*i, -i - 10 = b*i. Does 15 divide t?
False
Let n = 265 - 401. Let p = 156 + n. Does 3 divide p?
False
Let z(c) = 63*c**2 - 1322*c + 6. Is 54 a factor of z(-6)?
True
Let x = 698 + 27308. Is 418 a factor of x?
True
Let t(h) = -291*h - 3385. Is 58 a factor of t(-99)?
False
Let k = -730 + 1011. Is k a multiple of 12?
False
Suppose 108*z - 72128 = 76*z. Suppose -113*v = -120*v + z. Is v a multiple of 10?
False
Suppose 238*x - 116*x - 134*x + 840 = 0. Is 29 a factor of x?
False
Suppose -3*l + 12077 = -4*k, 31*l + 5*k = 26*l + 20070. Does 4 divide l?
False
Let s(f) = -f**2 - 6*f - 7. Let b be s(-6). Let d be 0/b*(-4 + 3). Is -4*((-105)/6 + d) a multiple of 7?
True
Let h = 75 - 66. Suppose 5*t - 6 = h, -691 = -4*d - t. Does 18 divide d?
False
Let q(w) be the third derivative of -w**6/120 + w**5/10 + 7*w**4/24 + 5*w**3/6 - 11*w**2. Let u be q(7). Suppose -66 - 14 = -u*r. Is r a multiple of 3?
False
Let g = -26 + 3920. Is g a multiple of 11?
True
Let f be (-8 + 12)/(-2) - (-407)/1. Let r = f - 57. Is r a multiple of 14?
False
Let r(u) = -2*u**3 + 10*u**2 + 29*u - 15. Let k(f) = -f**3 + 5*f**2 + 14*f - 7. Let o(p) = 5*k(p) - 2*r(p). Is 3 a factor of o(-4)?
False
Suppose -5*k + 10 = 5*r, 35 = 5*k - k - 5*r. Let d(a) = 5*a**3 - 4*a**2 - 7*a + 16. Is 23 a factor of d(k)?
True
Let i(s) = -621*s - 54. Let g be i(-3). Suppose -8 = -4*k, 0 = -j - 4*j + 3*k + g. Does 11 divide j?
True
Let i = -775 - -1403. Suppose i = 3*h - 5*v + 4*v, -5*v = -5*h + 1050. Is h a multiple of 11?
True
Let m(y) = -y**3 + 15*y**2 + 43*y + 147. I