 (-2)/((-7)/280*4). Let t(u) = 2*u**2 - 24*u + 30. Does 10 divide t(j)?
True
Let u(c) = -23661*c - 1629. Does 162 divide u(-1)?
True
Let i be 2/(2 + 0/(-9)) + -83. Suppose 5*h = 5*c + 80, 0*h = h - 2*c - 18. Let q = h - i. Is q a multiple of 16?
True
Let y(d) = -11*d + 63. Let i be y(15). Let j = i - -104. Suppose c = -5*u + 155, j*c = -5*u + 90 + 225. Does 40 divide c?
True
Let f = 23 + -41. Let b be ((-15)/45)/((-2)/f). Is -6 - -80 - (-1 - b) a multiple of 18?
True
Let s(f) = 5*f**3 + 8*f**2 + 5*f - 2. Let j be s(5). Suppose -j = r - 5*r. Is 14 a factor of r?
False
Suppose -75*w - 637259 = 51*w - 3181451. Is 16 a factor of w?
True
Let i = 27 + -24. Let x(m) = -m**2 - 7 - 10 + i + 2*m**2 - 6*m. Does 11 divide x(-7)?
True
Let i(w) = -131*w**3 - 3*w - 4. Let q(v) = -392*v**3 + v**2 - 8*v - 12. Let c(h) = 7*i(h) - 2*q(h). Suppose 14*k - 23*k - 9 = 0. Is 11 a factor of c(k)?
True
Let h(q) = 9*q - 1. Let g be h(1). Suppose -7*d = -g*d + 2. Suppose -d*p = p - 504. Is 21 a factor of p?
True
Suppose -5*s = -7*z + 4*z + 1682, 3*s + 5*z + 1016 = 0. Let x = s - -519. Is x a multiple of 12?
False
Suppose -18 + 3 = -5*r, -3*x - r = -4983. Is x a multiple of 20?
True
Suppose 29*v = 22*v + 77. Suppose -653 - 1041 = -v*u. Does 60 divide u?
False
Let c(i) = 160*i**2 - 81*i + 670. Is c(7) a multiple of 13?
True
Suppose -o - 3*i = 47 - 997, -3*i - 2790 = -3*o. Does 3 divide o?
False
Suppose -3*q + 3*y = -9607 - 7013, 4*q = 3*y + 22159. Is 191 a factor of q?
True
Suppose 5069857 + 1964758 + 4039793 = 433*i. Does 46 divide i?
True
Let l(p) = -p**2 + p + 2. Let g be l(-2). Suppose -3*z + 242 - 236 = 0. Is 10 a factor of 2317/14 - z/g?
False
Let u be (-88)/(-11)*(-18)/(-8). Suppose 2 = -2*l, 4*l = 5*o - 52 + u. Suppose o - 43 = -3*t + h, -2*h = -5*t + 62. Is 4 a factor of t?
True
Suppose -40182 + 60948 - 608088 = -134*f. Does 15 divide f?
False
Let l(h) = -h**2 + 9*h - 19. Let d be l(6). Is 2 a factor of 26 + 4 + -5 + d + 2?
True
Suppose -243180 = -269*r + 134*r + 121*r. Is r a multiple of 85?
False
Let z = 137 - 38. Let l be (0/(-2))/2 + (32 - 3). Let s = z - l. Does 22 divide s?
False
Let n be (4/10)/(1/30)*1. Let s = 266 - n. Suppose s = 2*h - 116. Is h a multiple of 40?
False
Let u be ((-2)/6)/(30/(-180)). Suppose -u*f + 1399 = 5*l - 760, 3*l = -4*f + 1301. Does 7 divide l?
False
Suppose 4*u - 4*l - 4174 = 2126, 5*u = 3*l + 7875. Does 5 divide u?
True
Let u(f) = 1091*f - 3340. Is u(30) a multiple of 190?
False
Is (8/84 - 2252/21)/(3/(-252)) a multiple of 10?
True
Let k(w) = 10*w**2 - 9 - 9*w - 1 + 8. Let u be k(-3). Let p = u + -86. Is p a multiple of 7?
False
Let n = 46991 + 1545. Is n a multiple of 15?
False
Let z(n) be the first derivative of 19*n**2/2 + 3*n - 389. Let g = -3 - -6. Does 15 divide z(g)?
True
Let u(k) = k**2 - 8. Let l be u(8). Let a = l + -55. Is 16 a factor of 17*a*(2 + -2 + 1)?
False
Let c = -994 + 290. Let x = -338 - c. Is x a multiple of 18?
False
Suppose -25*c = -10*c + 9930. Let f = -412 - c. Is f a multiple of 25?
True
Suppose 8*z + 9*z - 6130 = 7*z. Does 22 divide z?
False
Let u(d) = 227*d**3 + d**2 + 2*d - 3. Let m be u(1). Let o = 435 - m. Is 8 a factor of o?
True
Let k = 332 - 305. Is k*(-66)/(-18) + (-3)/(-1) a multiple of 17?
True
Let x(s) = 5*s - 30. Let w be x(8). Let d(n) = -2*n + 23. Let c be d(w). Suppose m = -c*m + 1412. Is m a multiple of 36?
False
Let r(t) = 4*t - 48. Let y(z) = 2*z - 3. Let h be y(26). Is 4 a factor of r(h)?
True
Let o(x) = 6*x**2 - 22*x + 47. Is 74 a factor of o(-24)?
False
Let f be (67 - 1) + (-6 + 5)*2. Let w = -36 + f. Suppose w*n - 284 = 26*n. Is n a multiple of 35?
False
Suppose -2*w + w + 6 = -l, 0 = 2*w + 2*l - 20. Let j(f) = 14*f + 98. Let m(u) = 9*u + 65. Let q(o) = w*m(o) - 5*j(o). Is 5 a factor of q(-10)?
True
Let b be 8*(-21)/(-28) + -1627. Let t = -921 - b. Does 89 divide t?
False
Suppose -2*b + 7 + 1 = 0. Suppose 5*r = -5*f + 2895, -2311 = -b*r - 2*f + 3*f. Is r a multiple of 34?
True
Let g = 133 + -131. Suppose 2*t = x - 914, -g*x = -3*x - t + 899. Is x a multiple of 27?
False
Suppose 40177 = 45*v - 54098. Is v a multiple of 7?
False
Let l = -377 + 355. Let z(c) = -c**3 - 25*c**2 - 69*c + 30. Is z(l) a multiple of 8?
True
Let z(p) = 2*p + 3. Let a(g) = -78*g + 35. Let n(r) = -a(r) + 4*z(r). Does 47 divide n(9)?
False
Suppose -7*w + 21861 = -55661 - 51852. Is w a multiple of 15?
False
Suppose -5*z - a = 1 + 9, -z = 2*a + 2. Let i be z + (-5 - -4) + -4. Is 4/((14/(-3))/i) a multiple of 5?
False
Suppose 4*t + 10 = 6*t. Suppose 0*b + b = -3*a + 207, t*b = -3*a + 219. Suppose -3*g + 512 = a. Is g a multiple of 37?
True
Suppose 17281 = 5*w + i, 10*i - 15 + 5 = 0. Does 96 divide w?
True
Suppose 129 = 26*c + 1039. Does 47 divide 1/((-2)/12) - 21350/c?
False
Let r(t) = t + 5. Let n be r(-3). Let f(o) = o**2 + 17*o - 11. Let v(x) = 3*x**2 + 50*x - 32. Let p(a) = n*v(a) - 7*f(a). Is 10 a factor of p(-17)?
False
Let m(j) = j**3 + 6*j**2 - 7*j. Let w be (-2)/1*((-9)/(-1))/(-3). Let o be ((-3)/w)/((-44)/48 - -1). Does 17 divide m(o)?
False
Let u(p) be the second derivative of 8*p + 0 - p**2 - 7/6*p**3. Does 22 divide u(-16)?
True
Let s(h) = 155*h**3 + 17*h**2 - 35*h - 5. Is s(5) a multiple of 45?
True
Suppose -366*o + 218633 + 3630 = -61387. Is o a multiple of 2?
False
Suppose -4*m = -2*o - 214, 2*m - 3*m - 107 = o. Let f = 247 + o. Is f a multiple of 14?
True
Let t(n) be the third derivative of 17*n**4/24 - 2*n**3 + n**2 - 4. Does 21 divide t(18)?
True
Let q = 36746 - 5066. Does 64 divide q?
True
Does 10 divide (-5)/(3/(67176/(-20)))?
False
Suppose -1211*y + 1275*y = 397696. Is 26 a factor of y?
True
Suppose -2*n - 3*y - 551 = 0, 8 = 2*y + 2. Let b = n - -575. Does 27 divide b?
False
Let k(c) = -27*c - 22. Let o(j) = 108*j + 87. Let i(t) = 9*k(t) + 2*o(t). Is 15 a factor of i(-7)?
True
Let t(v) = -2*v**3 + 60*v**2 + 83*v - 40. Is t(26) a multiple of 71?
True
Suppose 0 = -5*r - 3*z + 94, 4*r - 82 = 5*z - 4*z. Let t(v) = v**3 - 21*v**2 + 18*v + 58. Does 5 divide t(r)?
False
Suppose 472 = 3*j - c + 100, 2*c + 375 = 3*j. Is 123 a factor of j?
True
Let u = -28 + 19. Let f(r) be the first derivative of -r**4/4 - 7*r**3/3 + 9*r**2/2 - 9*r - 51. Is 36 a factor of f(u)?
True
Let k(v) = -20*v**3 - 55*v - 94. Is 80 a factor of k(-6)?
False
Suppose 0 = 20*j - 19*j - 232. Let n = j + -199. Is 12 a factor of n?
False
Suppose -204*u + 173*u + 844564 = 0. Is 49 a factor of u?
True
Let p(w) = -5 + 29*w - 13*w**2 + 12*w**2 - 32. Does 12 divide p(24)?
False
Suppose 57*q = 52*q - 15, y - 3*q - 5003 = 0. Does 102 divide y?
False
Suppose -3*a = -39 - 9. Let d be 0/(5*(-9)/(-15)). Suppose 5*g + 2*m + m - 378 = 0, d = 4*m + a. Is g a multiple of 13?
True
Suppose 2*u + 3*u + 2 = -z, 3*z - 13 = 4*u. Suppose -6*n + 441 = -z*n. Is n a multiple of 21?
True
Suppose o - 30*o + 16333 - 1398 = 0. Is o a multiple of 8?
False
Does 6 divide -2991*1*22/(-3 - 8)?
True
Let k(i) be the second derivative of i**5/60 - 13*i**4/24 + 13*i**3/6 + 5*i**2 + 2*i. Let j(y) be the first derivative of k(y). Is 2 a factor of j(13)?
False
Let i = 22563 + -15923. Suppose -356*f + i = -351*f. Is f a multiple of 89?
False
Suppose -15*h + 5228 = 428. Suppose 0 = -3*l - 145 - 302. Let s = l + h. Does 30 divide s?
False
Let g(b) be the second derivative of -b**4/12 - 23*b**3/6 + 3*b**2 + b + 14. Does 21 divide g(-15)?
True
Let z = 848 - 841. Suppose z*k - 3890 = 2900. Does 47 divide k?
False
Let a(s) = 39*s**2 + 14*s + 33. Let l = -210 - -206. Is 49 a factor of a(l)?
False
Suppose 990 = 8*c + 3*c. Let b be c*(39/(-9))/(-1). Suppose -a + 96 = x - 34, 3*a - x = b. Is a a multiple of 10?
True
Suppose -4*g + 737 = x, 10*x - 12*x + 1499 = 3*g. Is 4 a factor of x?
False
Let h(d) = d + 8. Let m be h(-5). Let a(n) = -8*n**2 - n + 0*n**3 + 11 + 0*n**m - n**3 + 0*n**3. Does 16 divide a(-8)?
False
Suppose 0 = 2*n - 2, 0*n + 5*n - 30 = -5*d. Suppose 0 = -d*r + 545 + 115. Does 11 divide r?
True
Suppose 67823 - 665875 = -31*c. Does 30 divide c?
False
Let k(m) = m + 40. Let h(r) = -14 + 38 - 17 - 8. Let g(f) = 2*h(f) + k(f). Does 4 divide g(-12)?
False
Suppose 0*d = -6*d - 6. Let a = 4 - d. Let s(m) = 7*m - 5. Is s(a) a multiple of 11?
False
Let f be (134 - 1)*(-4)/14. Suppose -3*b + 588 = -4*c, -b + 3*c - 183 = -2*b. Let z = b - f. Is 46 a factor of z?
True
Suppose 126