
Let o(l) = -7*l + 16*l - 5 - l**2 + 2*l. Let n be o(11). Let u(s) = -9*s + 7. Does 27 divide u(n)?
False
Suppose -3*f - 588 = -o, 5*o + 4*f - 6*f = 2888. Is o a multiple of 16?
True
Suppose -2*z - p - 15 = -7*z, 4*z + 3*p = 31. Suppose z*u - 44 = -5*h, 0 = -2*u + 5*u + 4*h - 34. Suppose -f + 30 = u. Does 6 divide f?
True
Let l = -18024 + 31380. Is 128 a factor of l?
False
Suppose 0 = 4*y + 9 - 29. Suppose -4*l + 684 = 4*c + c, -y*c = 2*l - 342. Is l a multiple of 19?
True
Suppose 0 = 6*r - 331 + 97. Let a = -36 + r. Suppose a*q - 2 = -3*x + 103, 2*x - 3*q - 75 = 0. Is x a multiple of 9?
True
Let v(p) = p**2 + 32*p - 30. Suppose -9*z + 112 = 13. Is 6 a factor of v(z)?
False
Suppose 6*k - 10*k - 36 = 0. Let d be (-4)/(-18) + (-565)/k. Suppose -2*n + 9 = -d. Is 16 a factor of n?
False
Suppose -4*u - 4*r + 6 = -5*u, -4*u + r = -6. Is 12 a factor of (-1)/((u - (-1515)/(-759))/(-1))?
False
Suppose 4*v = -0*h + 2*h + 218, 2*v - 99 = 3*h. Let n(j) = 24*j - 108. Is 14 a factor of n(v)?
True
Suppose 0*d = 4*d + 2*y - 52, 3*y = 0. Suppose 20*r = d*r + 1372. Is r a multiple of 11?
False
Let x be 18/(-12) + (-9)/6 + 13. Suppose 582 = -x*h + 16*h. Is 32 a factor of h?
False
Let t(v) = -62*v - 928. Is t(-44) a multiple of 300?
True
Let c = 6325 - 3137. Does 20 divide c?
False
Let j be (-15)/(-10) + (2/(-4) - 1). Suppose j*k - 92 = -5*b - k, -3*k - 84 = -5*b. Let z = b - -27. Is z a multiple of 15?
True
Let z = 19 - 9. Let w = -41 + z. Let b = w - -87. Is b a multiple of 14?
True
Suppose -264*u = -265*u - 10. Is 16/(-20) - 1568/u a multiple of 8?
False
Let q(a) = -177*a**3 - 15*a**2 - 39*a - 3. Does 9 divide q(-4)?
True
Suppose 3*n + 73 = 4*b, n = -3*n - 12. Suppose -5*x = i + 2 - 16, b = -2*x + 5*i. Suppose 525 = 5*m + s, -m = -0*m + x*s - 105. Does 19 divide m?
False
Let u be -8 - (6 - (-78)/(-12))*2. Let q be -19 + 0 + 0/(-1). Is -1*q*u*3/(-3) a multiple of 28?
False
Let v(k) = -10*k - 5*k - 10*k + k**2 - 27 + 18*k. Is v(13) a multiple of 5?
False
Suppose 6619 = 9*f - 26213. Suppose -6*t = -f + 1260. Is 13 a factor of t?
False
Suppose -37 = -4*o + 7. Suppose -37*r + o*r + 5460 = 0. Is 42 a factor of r?
True
Let v = -291 + 288. Let m(s) be the third derivative of -s**6/60 + s**3/2 - 3*s**2. Does 19 divide m(v)?
True
Suppose -2*l - 5*y = -13, 66*y = -3*l + 69*y + 9. Suppose -4*c - 636 = -6*c + l*b, -3*c = -2*b - 974. Is c a multiple of 11?
False
Suppose -6*t + 8*t = -122. Let o = 161 - t. Is 6 a factor of o?
True
Suppose -357341 = 203*v - 1491299. Is 57 a factor of v?
True
Suppose -14377 = -a + d, 20 = -9*d + 13*d. Is a a multiple of 153?
True
Suppose -23*s - 3*x = -24*s + 696, 3*s - 2068 = -x. Is 13 a factor of s?
False
Does 12 divide (7 - 0) + (-61)/(976/(-125280))?
False
Let b(j) = -21*j + 115. Let r be b(5). Suppose -2*q - 18 = -l - r, -q + 11 = 2*l. Does 3 divide l?
True
Suppose -14*q = -37*q + 13*q + 52380. Does 97 divide q?
True
Let f = 22 - 17. Suppose 5*z - f*o + 6 + 9 = 0, 4*z - o = -3. Suppose -j - 4*j + 95 = z. Is j a multiple of 3?
False
Suppose -t + 5*t = 3*s + 308, -4*t - 2*s = -328. Suppose 0 = 103*i - 99*i - t. Does 4 divide i?
True
Let f be 2/((-4)/(-44) - (-25)/330). Let x(g) = 3*g**2 + 43*g - 9. Is x(f) a multiple of 12?
False
Let o be (-156456)/(-14) - 20/(-35). Is o/14 - (270/63 + -4) a multiple of 21?
True
Let w(p) = -2*p - 13. Let h be w(-10). Let y(x) = -x**3 + 5*x**2 + 14*x. Let m be y(h). Suppose -a = -3*l - l - 8, 5*a + l - 19 = m. Does 4 divide a?
True
Suppose -m = -5*u + 111265, -3*u - m + 65402 = -1357. Is 187 a factor of u?
True
Suppose 0 = 6*f - 3*f - 1050. Suppose -4*w - f = -5*s, s - 7*w + 2*w - 91 = 0. Does 33 divide s?
True
Suppose 23*z - 29*z = -6. Is (z - 3213/(-12)) + (-15)/(-12) a multiple of 9?
True
Suppose 0 = 175*z - 349756 - 258569 + 62325. Is z a multiple of 78?
True
Suppose 24*u - 1618 = 22*u. Let o = u + 331. Is 20 a factor of o?
True
Is -253 - -243 - (-5798 - -1) a multiple of 33?
False
Suppose -649729 = 391*h - 5091489. Is 32 a factor of h?
True
Let i = 27899 + -17399. Is i a multiple of 84?
True
Let i be -3*(0 + 883/(-3)). Let l = -721 + i. Is 27 a factor of l?
True
Suppose 22224 = 25*c - 2676. Does 4 divide (-1*3)/((-9)/c)?
True
Let l(s) = 3349*s**2 - 17*s + 7. Does 21 divide l(1)?
True
Let b(d) = 41*d - 153. Let s be b(9). Is ((-57)/76)/((-1)/s) a multiple of 3?
True
Let a(g) = -g**2 + 27*g + 4. Let u be a(14). Let c = u + 5. Suppose -5*h + 480 = -4*p - p, 2*h - c = 3*p. Does 25 divide h?
False
Suppose 0*a - 49142 = 244*a - 1532906. Is 41 a factor of a?
False
Let k(g) = -9*g - 51. Let s be k(-6). Suppose -s*c + 2631 = 855. Is c a multiple of 45?
False
Suppose 214*y - 2*x = 216*y - 17230, y + 5*x - 8611 = 0. Is y a multiple of 248?
False
Suppose 7*w = 73 - 38. Suppose -2*x = 4*j - 3272, 0 = 2*j + w*x - 7*x - 1636. Does 33 divide j?
False
Let x be 11/(77/(-168)) + -6. Is 15/x + 31/2 a multiple of 5?
True
Let q(k) = -52*k**3 - 5*k**2 + 2*k - 12. Let f(s) = -26*s**3 - 2*s**2 + s - 5. Let b(g) = -15*f(g) + 6*q(g). Does 28 divide b(1)?
False
Suppose -60*q - 63157 = -75*q + 338. Is 51 a factor of q?
True
Suppose 148*y + 14 = 150*y, -5*j = -3*y - 52619. Is 11 a factor of j?
False
Let a be 6/(-18)*-3 + 6. Let f(y) be the third derivative of -y**6/120 + y**5/10 + 2*y**4/3 + y**3/2 + y**2. Does 10 divide f(a)?
False
Let t(o) = 167*o**2 - 3*o - 18. Is t(-10) a multiple of 184?
False
Let u(q) = 35*q - 105. Let j be u(6). Does 7 divide j - ((-4)/(-2))/(6/(-15))?
False
Suppose 5*c = -4*x + 64, 5*c - 42 = -4*x + 2*x. Suppose 35150 = x*w + 26*w. Is w a multiple of 19?
True
Let g = 2119 - 1128. Suppose -2*r + 0*k = -3*k - 999, g = 2*r + 5*k. Is 83 a factor of r?
True
Suppose -40 - 195 = f + 3*k, 3*k = 15. Suppose -83 + 518 = -3*n. Let h = n - f. Is h a multiple of 35?
True
Let z(y) = 2*y**2 + 2*y - 9. Let f be z(-5). Let b = 35 - f. Let m(k) = 3*k**3 - 5*k**2 + 4*k + 4. Is 19 a factor of m(b)?
False
Let y be -5 + (-7)/(7/(-64)). Suppose -2*w + y + 133 = -3*l, -2*w + 4*l = -194. Does 4 divide w?
False
Suppose 6*d - 13*d = -42. Suppose -14 = d*q - 14. Suppose 3*z - 2*z - 2*n - 46 = q, -230 = -5*z + n. Is z a multiple of 6?
False
Let z = -25 + 32. Suppose -4*x - 3*h = -z*h - 20, -h - 15 = -2*x. Is 3 a factor of 200/x + 6/2?
False
Let w(u) = -2*u + 17. Let i be w(-6). Let k(p) = 2*p + i*p**2 - p**3 - 6*p - 27*p**2 - 5. Is 18 a factor of k(-2)?
False
Let n be ((-2)/(-4))/((-5)/(-470)). Let i = n + -43. Suppose -d + 5*h = -64, -4*d = -5*d + i*h + 61. Is 10 a factor of d?
False
Suppose -146*j + 161*j - 77350 - 54395 = 0. Is j a multiple of 26?
False
Let s(k) = -k**2 + 9*k + 114. Let d be s(0). Let x = 160 + d. Is x a multiple of 12?
False
Let s(r) = r**3 + 15*r**2 - r - 13. Let y be s(-15). Suppose y*g + 0*g = h + 87, -15 = -3*h. Suppose 2*z = 2*b + g, -3*z + 4*b + 30 = -37. Is 6 a factor of z?
False
Is 14 a factor of (11536/10)/((-54)/(-675))?
True
Let a = -272 + 572. Let f = 454 - a. Is f a multiple of 68?
False
Let w = 333 - 27. Let o be (-2)/(-14) - w/(-63). Suppose a = -o*a + 1158. Does 9 divide a?
False
Let h be (80/(-32))/((-2)/(-44)). Let w = -37 - h. Suppose w = g - 4. Does 11 divide g?
True
Suppose -108*h = -110*h + 6. Suppose -h*n + 2*s + 3226 = 0, 0 = n + 3*n - 2*s - 4298. Does 8 divide n?
True
Suppose t - 627 = -3*q, 2*t - q + 414 - 1661 = 0. Does 3 divide t?
True
Let v(r) = -r + 2. Let m(f) = -4*f + 1. Let c(l) = -3*m(l) + 21*v(l). Suppose -g = 5 + 4. Is 40 a factor of c(g)?
True
Let o = -163 - -297. Let s = 158 - o. Is 6 a factor of s?
True
Is ((-393)/(-1179))/((-4)/18 + 273651/1231389) a multiple of 16?
False
Let m = -23 + 27. Let n(v) = m*v + 26*v**2 + 16*v**2 - 11*v**2 + 5*v**2. Is 34 a factor of n(-2)?
True
Let h be 0*((-9)/(-6) - 2). Suppose 0 = -4*b - h*b. Suppose 2*o - 94 = -4*r - b*o, 4*o - 83 = -3*r. Does 2 divide r?
False
Suppose 0 = -3*l + f - 18, 28 = -5*l + 2*f - 3. Suppose 0 = 5*h + 301 - 311. Is 7 a factor of 3*3 + l/(5/h)?
True
Let s = -76 - -76. Suppose s = -2*j - 44 - 20. Is 20 a factor of j/48 - (-662)/3?
True
Suppose 4*c - 30 = -2. Suppose 4*w - 8 = 0, -5*z + 11*w - 13*w = -49. Suppose -z*d = -c*d - 350. Is 25 a factor of d?
True
Let d be (4 + 25/(-10))*22. Let v = -27 + d. Let n = v - -26. Is n a multiple of 16?
True
Let c = -14090 - -21528. Is c a multiple of 88?
False
Let l(f) = 26*f**2 