 Does 39 divide a(h)?
True
Suppose -u = -5*f + 19687, -3*u + 15761 = -2*f + 6*f. Is f a multiple of 179?
True
Let l(r) be the third derivative of -r**4/24 + 23*r**3/2 - 35*r**2. Does 13 divide l(0)?
False
Let a be 31/(-4) + (-1 - 27/(-36)). Let h(u) = 3*u**2 - 22*u + 21. Does 6 divide h(a)?
False
Let s(i) = -i**3 - 11*i**2 - 11*i + 6. Let j be s(-10). Suppose 0 = 2*l + 4*o - 24, l = 2*o - 1 + 5. Is -35*((l - 6) + j/(-5)) a multiple of 16?
False
Let c be 1/(-8 + 9 + 2/(-4)). Let z(u) = 33*u**2 - c - 4*u + 3*u + 3. Is z(1) a multiple of 6?
False
Let h(w) = -w**3 - 16*w**2 - 13*w + 225. Is h(-24) a multiple of 105?
True
Is 9 a factor of (-3)/(-21) + (-14)/(1764/(-890802))?
False
Suppose -83*b + 17080 = -76*b. Is 7 a factor of b?
False
Suppose g = v - 11, 3*v - 7*v = -3*g - 40. Suppose 3*i = -4*u + 1984, -9*u - i + 994 = -v*u. Does 17 divide u?
False
Suppose 3*n - 10*k = -7*k + 2460, -k = -4*n + 3292. Let j = -349 + n. Is j a multiple of 16?
False
Let y = -359 + 361. Suppose -6*d = y*q - 10*d - 346, -5*d = -5*q + 860. Does 6 divide q?
False
Let o(a) = a**3 + 19*a**2 + 15*a + 26. Let g be o(-8). Suppose 2*w + 62 - g = -k, -2*k - 8 = 0. Does 12 divide w?
True
Suppose 0 = -7*i + 25 + 94. Suppose i*r + 243 = 14*r. Is 10 a factor of (-4)/16 + r/(-4)?
True
Suppose -11053 = -4*p + 3*t, 140*t = -3*p + 144*t + 8281. Is p a multiple of 6?
False
Suppose -3*r - 5*p - 17 - 8 = 0, -r - 3 = -p. Let x(j) = -j**3 + j**2 - 14*j - 67. Does 34 divide x(r)?
False
Let a(z) = -179*z + 14395. Is a(47) a multiple of 2?
True
Let a be (-24)/84*(-15 - -1). Suppose 12 = 4*u - 5*k - 26, a*k + 52 = 5*u. Is 13 a factor of (-721)/(-28) + 3/u?
True
Let l(k) = 5*k - 31. Let u be l(7). Suppose -2*c - 544 = -2*f - 2*f, u = c. Suppose 62 = r - f. Does 28 divide r?
False
Let n be 130 + 3 + -3 - -1. Suppose z - 19 - n = 0. Is 10 a factor of z?
True
Does 19 divide 442*42/12 + -1 + 1 + -5?
False
Let n be (-5)/(-15) - 55/3. Let l = -71 - -39. Let z = n - l. Is 14 a factor of z?
True
Suppose 1017 = -8*c + 70*c - 228321. Is c a multiple of 27?
True
Let j = 2639 - 1343. Is 27 a factor of j?
True
Let l = -18719 + 20266. Is l a multiple of 34?
False
Let u = 57 - 55. Suppose -3*h + 820 = s, -1210 = -3*h - u*s - 389. Does 24 divide h?
False
Let p(d) be the third derivative of -1223*d**4/24 - d**3/2 + 44*d**2 + 2*d. Does 13 divide p(-1)?
False
Does 133 divide 10798*((-13)/((-156)/(-126)) - -11)?
False
Suppose 105*h - 107*h = -3*l - 34, 4*h - 32 = 3*l. Let q be ((-152)/(-10))/((-5)/50). Is (q/l)/(((-12)/9)/(-2)) a multiple of 15?
False
Let c(y) = -y**2 - 55*y + 322. Does 14 divide c(-55)?
True
Suppose 5*n - 3*t = 216 + 1572, -3*t + 372 = n. Does 45 divide n?
True
Let d(b) be the third derivative of -b**4/3 - 5*b**3 + 9*b**2. Let k(i) = 17*i + 60. Let s(n) = -13*d(n) - 6*k(n). Does 13 divide s(0)?
False
Suppose 50*y - 47*y = -1251. Let c = -291 - y. Suppose -c = -8*h + 5*h. Is 11 a factor of h?
False
Let p(i) = -17*i**2 - 16*i + 4. Let d(b) = 6*b**2 + 5*b - 1. Let c(y) = 11*d(y) + 4*p(y). Let s be c(-6). Let t = 75 - s. Is 11 a factor of t?
True
Let h = 3606 + -1820. Suppose 0 = f - t - 590, -5*f + h = -2*f + t. Is 54 a factor of f?
True
Suppose -48*z = -43*z - 37100. Is 17 a factor of z?
False
Let i = -9150 - -15124. Is 58 a factor of i?
True
Suppose -3*y = y. Suppose 11*n - 7*n - 20 = y. Suppose 0 = -2*f + 7*s - 3*s + 158, n*s + 390 = 5*f. Does 10 divide f?
False
Suppose 8*q + 156 = -1084. Let o = q + 255. Is o a multiple of 20?
True
Suppose 2*b + 2*b - 704 = 0. Let k(i) = i**3 - 13*i**2 + 33*i - 25. Let l be k(10). Suppose 390 = 5*n - l*t, -4*n + 2*t = -6*n + b. Is n a multiple of 23?
False
Suppose -262*w + 21*w = -3604396. Is w a multiple of 94?
False
Suppose -14 = 6*w + 28. Is w + (-16890)/(-18) - (-2)/3 a multiple of 11?
False
Suppose u = -q + 14195, 68*u - 65*u = 5*q - 70967. Does 66 divide q?
False
Let r(f) = 117*f**2 - 4*f - 82. Is r(-7) a multiple of 131?
False
Let z be (-47)/(-1) - (-22 - -23). Suppose -56*x + 180 = -z*x. Is 4 a factor of x?
False
Let r be ((-4)/6)/((-5)/((-8625)/(-2))). Is r/46*(-112)/(-10) a multiple of 14?
True
Is 67 a factor of -32 - -31 - (-7298 - 1)?
False
Let q be -235 + (-2 + 5 - 0). Suppose 3*h = -3*s - h - 383, -4*h = -5*s - 617. Let f = s - q. Is 10 a factor of f?
False
Let n(m) = -12*m**3 + 30*m**2 + 187*m + 220. Does 55 divide n(-11)?
True
Let d(f) = 984*f - 3665. Is d(5) a multiple of 5?
True
Let d(n) = n**3 + 12*n**2 - 19*n - 78. Let t be d(-13). Suppose -4*b + 594 + 518 = t. Is 82 a factor of b?
False
Let n = 562 - 570. Let h(v) = -67*v - 190. Does 10 divide h(n)?
False
Let y(k) = -k**3 + 9*k**2 + 2*k + 183. Is 21 a factor of y(-6)?
False
Let d(j) = 9*j**2 + 44*j - 418. Does 74 divide d(12)?
True
Suppose 3145 = 4*y + 5*c, -2*c - 485 = -y + 285. Does 37 divide y?
False
Let g(t) = 3*t + 41. Let y be g(-12). Let l be (24/16)/((5/74)/y). Let b = l - 87. Is b a multiple of 3?
True
Let f = -45 - -49. Let r be f + -2 - (-9)/(5 + -2). Suppose r*k - 15*k + 840 = 0. Is 7 a factor of k?
True
Suppose -2*t = 5*t - 6*t. Suppose -5*f - 11*c + 1 = -14*c, t = 2*f - c. Is 24 a factor of (54/4)/(-3*f/16)?
True
Let d(a) = a**3 - 10*a**2 + 7*a - 9. Let s(u) = u + 25. Let o be s(-16). Suppose -n - o = l - 5*l, -5*l - 19 = -4*n. Does 27 divide d(n)?
True
Let x be 6/(-4) - (-115)/2. Let u = x - 53. Suppose -d = u*p - p - 210, -3*d = -6. Does 9 divide p?
False
Suppose -2*o - 100 = 3*t, -4*t - 108 = -o + 29. Is 3 a factor of (-4)/34 + 64/t - -126?
False
Suppose 1188 = 4*b - 0*b. Suppose -4*g - b = -5*d, 0 = -d + 5*g + 40 + 32. Let h = d + -27. Is h a multiple of 17?
False
Suppose -5*x = 4*q + 2853 + 1257, 0 = -4*x - q - 3299. Let i = x + 910. Is 28 a factor of i?
True
Let i = 353 - 150. Suppose -6*z + 317 = i. Does 4 divide z?
False
Let f be 5/((-5)/2) - -4. Suppose f*d = -0*d - 8. Is 78 - 10/d*40/50 a multiple of 20?
True
Let b(t) = 4*t**2 - 6. Let u be b(4). Let s = u - -50. Is 17 a factor of s?
False
Suppose 4*d = 51 + 129. Is 13 a factor of (-230)/(-15)*1*d?
False
Is (11/(-3))/((-127)/54483) a multiple of 71?
False
Let t(o) = -26*o + 1156. Does 14 divide t(-11)?
True
Suppose 70*i - 307058 - 311182 = 0. Is i a multiple of 92?
True
Suppose 2*f + 538 = 4*a - 3862, 0 = 3*f - 6. Is a a multiple of 10?
False
Suppose 5*b - 8 - 12 = 0. Suppose -192 = -4*u - b*u. Let t = u + 6. Is 15 a factor of t?
True
Let q = 41 + -22. Suppose -q + 63 = 2*p. Let g = 77 + p. Is 11 a factor of g?
True
Let c(w) = 33*w**3 - 11*w**2 + 8*w + 36. Is 33 a factor of c(7)?
False
Suppose 0 = 4*s - 3*y - 7252, s - 789 = -3*y + 1054. Is s a multiple of 19?
False
Let x(u) be the first derivative of u**4/4 - 2*u**3 - 11*u**2/2 + 19*u + 13. Let q be x(10). Suppose 2*o + 187 = 5*o - m, 5*o = 3*m + q. Does 21 divide o?
True
Is (-81926)/65*(-1 - (-7 - -1))*-1 a multiple of 137?
True
Let i = -5959 + 6374. Is 83 a factor of i?
True
Let n(t) = 29*t + 178. Let d be n(-6). Is 32 a factor of 13823/46 + 2/d?
False
Suppose 0 = 49*s - 86503 - 529201 - 64024. Is 34 a factor of s?
True
Let d(g) = 3*g + 52. Let q(t) = -3*t - 26. Let k(a) = -4*d(a) - 7*q(a). Let c = -22 + 36. Is 13 a factor of k(c)?
False
Let x be (529 + (-4)/(-2))/(-3 + 2). Let d = 765 + x. Is 25 a factor of d?
False
Suppose -126*p = 268*p - 139870. Is 7 a factor of p?
False
Let a = -103 + 109. Suppose a*v = 87 - 231. Does 4 divide 191/8 - 3/v?
True
Let h(p) = -14*p + 1. Let c be h(-1). Suppose -318 = -t - 2*r, 4*r = 3 - c. Is 27 a factor of t?
True
Let g be ((-18)/(-10))/(-3) - 597/5. Let r be 7/((-7)/g) + (-10)/(-5). Let s = 201 - r. Does 17 divide s?
False
Let a = 135 + -133. Suppose -5*y + 415 = -0*r + a*r, -r + 4*y = -227. Suppose 3*x = 4*b - r, -2*x - 12 + 130 = 2*b. Is b a multiple of 12?
False
Let k(b) = 11*b**2 + 4*b + 6. Let x be k(4). Suppose -4*l + l + 2*m - 148 = 0, 3*m = 4*l + x. Is 8 a factor of 2*2/(-4) - l?
False
Let j be 4/((-56)/(-6)) + 9/(-21). Suppose j = 4*r + 12, o = 2*o + 3*r - 1855. Is o a multiple of 14?
False
Let j = -663 + 660. Is 20 a factor of (-4)/(-18) - ((-13584)/108 + j)?
False
Suppose 5*k + 3*u + 53 = 212, 2*k + 5*u = 75. Let h = 44 - k. Suppose 0 = -2*q + 2*z + 60, -4*z = 3*q + h - 118. Is 5 a factor of q?
False
Suppose -5*p - 5*c = -45, 2*p - 27 + 25 = 2*c. Suppose -p*x - 273 + 38 = -3*t, -t + 60 = 2*x. Does 10 divide t?
Tr