4/n a multiple of 36?
True
Let n(b) = 517*b - 365. Does 20 divide n(44)?
False
Suppose 0*n - 52618 = 3*t + n - 175198, -3*n = 0. Is 36 a factor of t?
True
Let v be 4*(-30)/(-24) - 174. Let h = v - -376. Is h a multiple of 35?
False
Let a be (-2)/(-2)*(-16 + 15). Let t be 4 + (a/(-2) - (-30)/(-20)). Suppose 2*i - 185 = 5*u, -u + t*u - 306 = -3*i. Is i a multiple of 16?
False
Let b = 26944 - 19148. Is 16 a factor of b?
False
Let p = -12 - -13. Let x be (-2)/8*409 + p/4. Let l = -42 - x. Is 15 a factor of l?
True
Let l = -775 + 708. Is 13 a factor of 1652 + 1 + l + 69?
False
Suppose 959 = 3*y + 4*l, 3*l = -0*y - 4*y + 1288. Suppose -2*q - 185 = 5*f + y, 0 = -2*q. Let n = 21 - f. Is 20 a factor of n?
False
Let o be 72/27*(-1 - 22/(-4)). Suppose 6 = o*g - 9*g. Is 10 a factor of (1 + g)/((-9)/(-159))?
False
Suppose 84975 = 5*o + 3*z, -5*o + 18045 + 66920 = z. Does 32 divide o?
True
Let l = -52 - -50. Let r be (-1)/l + 13/(-26). Suppose r = -4*k + 48 + 112. Is k a multiple of 40?
True
Let h = -858 + 1792. Let j = 2094 - h. Is 116 a factor of j?
True
Suppose -2*d + 8266 = -4*h, -3*h - h - 5*d - 8273 = 0. Is 43 a factor of h/(-7) - -2 - 16/56?
False
Let f(p) = p**3 + 8*p**2 + 4*p. Let x(g) = -2*g + 13. Let o = 61 - 53. Let u be x(o). Is 25 a factor of f(u)?
False
Does 23 divide (23*2)/(11 - 3/((-870)/(-3185)))?
True
Suppose -3*x - 6*x = -144. Suppose -22*h + x*h + 90 = 0. Is 12 a factor of h?
False
Let o = -775 + 518. Suppose 0 = 4*v + 3*z - 1754, 108*z + 1766 = 4*v + 105*z. Let p = v + o. Is 18 a factor of p?
False
Let i(y) = 3*y - 3. Let s be i(2). Let w be -10*(-2)/(-8) - s/(-6). Is (-40 + 6)/(w/2) a multiple of 11?
False
Suppose 7*o - 11*o + 20 = 0. Suppose 0 = -o*m + 5*h + 50, 5*h - h + 15 = -m. Is 2 a factor of m?
False
Suppose 4779 = 18*m - 9*m. Let z = m - 306. Does 9 divide z?
True
Suppose -1 = -2*t + 5*g, -4*t + 4 = -5*g - 3. Suppose -4*m = -0*m - 12. Suppose -5*a = -2*c - 185, m*a + 4*c - 111 = t*c. Is 12 a factor of a?
False
Suppose -3*h = 5*y + 15, h - 15 = -h + 5*y. Suppose -6*s + 33 + 39 = h. Let r(c) = 2*c**2 - 23*c + 8. Is 2 a factor of r(s)?
True
Suppose 13232 = 13*r - 2*i + 1949, i = -5*r + 4329. Is r a multiple of 120?
False
Let u = -3708 - -3713. Suppose 3*j + j = 0. Suppose -2*l + 311 = 2*t + l, j = u*t + l - 758. Is 11 a factor of t?
False
Suppose 4*k + 13140 = 35108. Suppose 17*c = 3943 + k. Does 37 divide c?
True
Let y(s) = -2*s**3 + 112*s**2 + 8*s - 16. Is 108 a factor of y(56)?
True
Let g(j) = 2306*j**2 + 15*j - 65. Is g(3) a multiple of 12?
False
Let f be (2 - (-18)/(-15))/(8/460). Let z be -4 + (-4 - -3) + 55. Let v = z - f. Is 3 a factor of v?
False
Let h(a) be the second derivative of -a**8/6720 + a**7/252 - a**6/72 + a**5/120 + a**4 - 9*a. Let w(q) be the third derivative of h(q). Is 30 a factor of w(8)?
False
Suppose -8*x + 215825 = -98855. Does 81 divide x?
False
Is 4 a factor of (4 + (7 - (-38)/(-6)))*336?
True
Suppose -7*s + 6*s - 17862 = -4*q, -2*q + 3*s = -8936. Suppose -q = -5*u + p, -2*u - 3*p = -5*p - 1786. Is u a multiple of 19?
True
Let c = 3801 + -3399. Does 67 divide c?
True
Let m(s) = 8*s**2 - 9*s - 8. Let f(k) = -8*k**2 + 10*k + 9. Let w(y) = -5*f(y) - 6*m(y). Let d be w(4). Let i = 149 - d. Is 40 a factor of i?
False
Let b = -30567 - -49399. Is 13 a factor of b?
False
Let a(d) = -166*d + 19. Let u be a(-3). Suppose -2*l = -u - 343. Is l a multiple of 10?
True
Suppose 2*o - 2*w = -0*w - 8, -3*o - 7 = -2*w. Suppose 0 = 16*f - 7*f. Is 3 a factor of (3 - 1 - f)/(o/5)?
False
Suppose -78615 = -29*t - 43520 + 121737. Is 4 a factor of t?
True
Is 11 a factor of ((-1694)/(-4))/(250/3500)?
True
Let h = 1094 + -2367. Let l = h + 3129. Suppose 3*o - 19*o = -l. Is 31 a factor of o?
False
Suppose -15 = -7*c - 15. Suppose 95*q - 90*q - 525 = c. Is 18 a factor of q?
False
Suppose -5*f = 20*v - 16*v - 15978, -f - 6 = 0. Is 26 a factor of v?
False
Suppose 0 = 5*p - 3*k - 8914, -p + 0*p = 5*k - 1794. Let h = p + -1068. Does 21 divide h?
False
Let f(n) = -176*n - 536. Is f(-10) a multiple of 6?
True
Let j be (-3)/(18/(-6385)) - (-2)/(-12). Suppose -9*l + j + 835 = 0. Is l a multiple of 18?
False
Suppose -240*b + 1261260 = 22*b - 31*b. Is 15 a factor of b?
True
Suppose -3*a - a - 1277 = t, 3*a = -5*t - 6368. Let v = -898 - t. Suppose n + 2*n = -4*w + v, -5*n = -3*w + 245. Does 30 divide w?
True
Let h = 4802 - -815. Is h a multiple of 41?
True
Let s = 16551 - 9886. Does 51 divide s?
False
Suppose 1957 = 5*n + o + 355, 0 = 4*n + 3*o - 1286. Is n a multiple of 4?
True
Suppose 3*z + 3*r = 4*z + 17, 4*z + 5*r = 0. Is 9 a factor of (-636)/(-6) + 0/(z - -3)?
False
Suppose -25*r - 568 = -27*r. Suppose 0 = 2*l + 5*q - r, -5*q = -q + 16. Does 8 divide l?
True
Suppose 5*h = -2*o + 19 + 26, 4*o = -3*h + 41. Suppose -11 + 4 = h*z. Does 9 divide -4 + z/(4/(-188))?
False
Let q(t) = t**3 + 22*t**2 + 30*t + 73. Is q(-13) even?
True
Suppose 3*t + c - 522 = 116, -854 = -4*t - 2*c. Let y = 300 - t. Is y a multiple of 3?
False
Let o(a) = -a**3 + 9*a**2 - 8*a + 10. Let t be o(8). Let n = 47 + -41. Suppose -t*u = -n*u - 116. Is 6 a factor of u?
False
Suppose 0 = 14*z - 19*z - 4*q + 60592, -3*q + 24234 = 2*z. Is 40 a factor of z?
True
Let k = -5410 - -10942. Is 51 a factor of k?
False
Suppose 20 = 5*l + 4*h, -5*l = -3*h + 1 + 14. Let s be 2/(-4)*l + 60 + -1. Is 10 a factor of s/((1/3)/(1/3))?
False
Let s = -10571 + 18713. Does 138 divide s?
True
Let f = 91 - -42. Let s = 242 - f. Suppose -5*v + 121 = -s. Is v a multiple of 5?
False
Let y(u) = -u**2 + 11*u - 4. Let i be y(3). Let v = i + -17. Suppose 4*h + 18 = -2*n + 76, v*n - 94 = h. Is n a multiple of 5?
False
Suppose -124*n + 131*n - 91 = 0. Suppose 0 = n*v - 14*v + 137. Is v a multiple of 12?
False
Suppose -46*s = 19 - 249. Suppose -3*l = -8*l. Suppose -153 = -4*v - p, l*v + v + s*p - 24 = 0. Does 8 divide v?
False
Let l = 3151 + 4049. Does 180 divide l?
True
Suppose -7*z + 8 = -6*z. Suppose z*t = 3*t + 3*a + 601, 5*a = 2*t - 229. Does 110 divide t?
False
Let s be 76/18 + (0 - (-4)/(-18)). Let t be (-24)/(-32) + 17/s. Suppose 3*z + 0*m - t*m - 203 = 0, 4*m = z - 70. Is z a multiple of 24?
False
Let d(c) = -c**2 + 10*c - 22. Suppose -27 = -2*v + 3*h, -6*v + v - 5*h = -30. Let j be d(v). Let t = j + 113. Does 25 divide t?
True
Suppose -364*z = 256*z - 39263360. Is 27 a factor of z?
False
Let b(m) = 3*m**2 - 1. Let t be b(1). Suppose 9*l - t*l - 6097 = 0. Does 19 divide l?
False
Let o(i) = i**3 - 12*i**2 + 12*i + 5. Let h be o(11). Is h/(880/216 + -4) a multiple of 18?
True
Let w = -3 + 5. Suppose -3*v - 657 = -w*l, 2*l = -2*l + 2*v + 1326. Does 31 divide l?
False
Suppose 124 = n - r + 10, 588 = 5*n + 4*r. Let l(c) = 30 + c**2 + n + 2*c**2 - c**2. Does 24 divide l(0)?
False
Suppose 40*q = 37*q + 120. Let i be (-5)/((0 - -1)/(-17)). Let k = i - q. Is k a multiple of 21?
False
Suppose g + 2*p = 6*g - 16, 2*g - 2*p = 10. Suppose -q = 2*x + 7, g*q - 25 = 5*x + 6*q. Is 28 a factor of (4/(-6))/(x/126)?
True
Let f = 154 - 97. Suppose 27*h = f*h - 3960. Is h a multiple of 57?
False
Let u(y) = -y**3 + 9*y**2 - y + 10. Let p be u(9). Let c be 0/((-3)/1) - -2. Is -2 + c/p + 115 a multiple of 23?
True
Let s = -95 - -89. Let g(x) = x. Let i(l) = -61*l - 1. Let k(q) = s*g(q) + i(q). Is k(-2) a multiple of 43?
False
Suppose -19*z + z = -72. Suppose -u = z*u - 855. Does 19 divide u?
True
Suppose -5*y + 5584 = 2*u - 13451, 0 = 4*y - 4*u - 15228. Is 13 a factor of y?
False
Let d(q) = q**2 + 2*q + 2. Let i be d(-1). Suppose p - 2 = i. Suppose -3*h = -p*f + 45, 3*h = -2*f - 1 + 11. Is f a multiple of 8?
False
Let n(v) = v**3 - 4*v**2 - 7*v - 6. Let k(c) = -c**3 + 4*c**2 + 8*c + 5. Let u(f) = 3*k(f) + 2*n(f). Let q be u(6). Does 7 divide 57 + 0 - (q + 5)?
False
Let b(o) = -30*o + 1396. Does 3 divide b(42)?
False
Let c = 1555 - 565. Let p = c - 670. Is 16 a factor of p?
True
Suppose 0 = -45*z + 48*z - 6. Does 22 divide 787/z - (-215)/86?
True
Suppose -4*f - 615 = 3*u, 6*f - 9*f - 3*u - 459 = 0. Let j = f - -566. Is j a multiple of 10?
True
Suppose 82*x = 15*x + 45*x + 95920. Is 20 a factor of x?
True
Suppose -14*g + 1146 + 940 = 0. Let p = g + -105. Does 8 divide p?
False
Let j = 30700 + -18181. Does 13 divide j?
True
Let d(i) = 23*i - 5. Let b be d(6). Suppose 397*u - b = 390*u. Is u a multiple of 13?
False
Let x(q