 a multiple of 27?
True
Suppose -5*b = 4*x - 3076, 2*x + 1838 = 3*b + 10. Suppose 0 = 145*z - 157*z + b. Is z a multiple of 20?
False
Is 2812 - -172 - -4*4 a multiple of 40?
True
Suppose -112*x + 108*x = -r - 24751, 0 = -3*r + 3. Is x a multiple of 4?
True
Let g be (-2)/(-6)*(-1 - 8) - -871. Let b be (-2)/10 + 14/70. Suppose b = j - 8*j + g. Does 19 divide j?
False
Let o(x) = 7*x - 35. Let q be o(5). Suppose w + 3*k - 66 = q, 3*w + 3*k - 122 = 52. Is 11 a factor of w/90 + 107/5?
True
Suppose 371*x = -6*g + 376*x + 116899, 0 = -4*g - x + 77911. Is 27 a factor of g?
False
Let d be 3/(-18)*-45*18/(-15). Let o(y) = -32*y - 23. Does 23 divide o(d)?
False
Let u = 380 - 156. Suppose 0 = -o - 2*o - v + u, 5*o - 3*v - 350 = 0. Does 18 divide o?
False
Is 28 a factor of (-8)/6*(-503 + 41)?
True
Suppose 2124*s = 2110*s + 232806. Does 8 divide s?
False
Suppose 25*n = 15*n - 2860. Let x = 465 + n. Does 30 divide x?
False
Suppose 3*p - 2*p = 0. Suppose -l + 215 = -0*l + 2*s, 4*l + s - 895 = p. Let y = 467 - l. Is y a multiple of 32?
False
Suppose -7*u + 2649 + 5912 = 0. Suppose -7*a + 3533 - u = 0. Is 30 a factor of a?
True
Let a(t) be the second derivative of -t**5/20 - 4*t**4/3 - 17*t**3/6 - 8*t**2 - 21*t. Let z be a(-14). Let h = -90 - z. Does 20 divide h?
True
Is 3 a factor of 1378/((6 - -8) + -13)?
False
Let k be (-28)/6*(-474 + -6). Suppose -23*s - 285 = -k. Does 7 divide s?
False
Let y be 2*((-12)/(-72) + (-5)/3). Is (-6 + (-57)/y)*38 a multiple of 26?
True
Suppose 0 = -15*l + 47*l - 24000. Is l a multiple of 10?
True
Suppose -1 = 3*d + 2. Let l be -1*2844/(-6)*d/2. Let z = l + 402. Is 11 a factor of z?
True
Let c = 58 + 114. Let u be (-831)/(-15) + 12/20. Let v = u + c. Does 33 divide v?
False
Let d be -1 - 0 - (-72)/12. Suppose d*x - 3*u - 55 = 147, -x = -5*u - 58. Suppose 5*b - 88 = -x. Is b a multiple of 5?
True
Let t(l) = 48*l**2 - 4*l + 3. Suppose 5*s - 5*j = 20, -3*s - 9*j + 4 = -8*j. Does 11 divide t(s)?
True
Suppose 17*z - 7119 - 71582 = -13421. Is z a multiple of 48?
True
Let q(d) = -2*d - 10. Let h be q(-4). Let a = h - -317. Is a a multiple of 35?
True
Let k(w) = 19*w + 3. Let n(s) = 96*s + 16. Let t(v) = 14*k(v) - 3*n(v). Let i(b) = -b**3 - 2*b**2 - 3*b - 6. Let f be i(0). Does 14 divide t(f)?
True
Suppose -5*k = 3*j - 20, 2*j - 9 = -3*k + 4. Suppose 443 = j*t - 1242. Does 21 divide t?
False
Suppose -3*t = 4*z + z, 5*t = z. Suppose t = -32*x + 27*x + 820. Is x a multiple of 27?
False
Suppose -s - 9*s + 14420 = 0. Let o = s - 749. Is o a multiple of 77?
True
Suppose 3*p + 9 = 0, 2*p + 9 = -5*d + 13. Suppose -5*j + 7*j + d*h = 940, -h - 2356 = -5*j. Is j a multiple of 45?
False
Is 25 a factor of (0 + 3512/5)/(1284/9630)?
False
Is 30 a factor of (3281 - -8) + (-714)/(-51)?
False
Let s(c) be the third derivative of c**6/120 + 19*c**5/60 + 11*c**4/8 - 17*c**3/6 + 30*c**2. Let h be s(-17). Suppose -6 = -o - h. Is o a multiple of 4?
False
Let x be (-1)/(-3) - (-570)/(-9). Let d = x + 65. Suppose o = -y + 54, 0 = -d*o + 5 - 3. Is y a multiple of 19?
False
Let t(v) = 22*v**2 + 84*v - 1066. Is 21 a factor of t(38)?
True
Is 105 a factor of 2 + (-5)/2 + (11924793/(-54))/(-47)?
False
Let w(t) = t + 119 - 91 + t - 3*t. Let p be w(0). Is 12 a factor of p/210 - 1078/(-15)?
True
Let v = 404 - 655. Let l = -222 - v. Does 29 divide l?
True
Suppose 4*d - 864 = -4*n, 0 = -4*n - 2*d + 772 + 82. Let j be (-74)/(-14) + 8/(-28). Suppose 0 = -o + 5*c + 37, c - n = -j*o + o. Is o a multiple of 13?
True
Let l(w) = -78*w + 1009. Is 9 a factor of l(-6)?
False
Suppose 125 = 827*h - 832*h. Suppose 4*b + 68 = k, -4*k - 3*b + 340 = k. Let q = k + h. Does 30 divide q?
False
Suppose 6*q - 1272 - 432 = 0. Suppose 236 + 24 = 2*f - 4*d, 0 = 2*f + 2*d - q. Is 46 a factor of f?
True
Let q be (518*9/6)/((-6)/(-4)). Let g = q + -265. Is g a multiple of 6?
False
Suppose -2*r = 151*u - 147*u - 5660, -r + u = -2845. Does 40 divide r?
True
Let k(y) = -y**3 + 19*y**2 + 164*y - 26. Is k(19) a multiple of 50?
False
Is 8 a factor of (-133)/(-38)*80736/42?
True
Let i(t) = -78*t**2 + 5*t + 10. Let c be i(-3). Let k = c - -1006. Is 13 a factor of k?
True
Let v(i) = -i**3 + 13*i**2 + i - 13. Let f be v(13). Suppose 2*o - 3*s + 285 + 32 = f, 5*o = 2*s - 820. Let b = o - -532. Is b a multiple of 61?
True
Suppose 5*v = 4*j + 58, 0*v - 3*j = -3*v + 33. Suppose n + 5 = v. Suppose -3*o - 5*w + n = -55, 5*o + 2*w = 132. Is 28 a factor of o?
True
Suppose 4*h - 5 + 47 = 2*d, -4*d - 2*h = -54. Let p(v) = -3*v**3 - 32*v**2 + 10*v + 5. Let u be p(-11). Suppose -30 = d*a - u*a. Does 10 divide a?
True
Is 4/(-30) - (9 + (-419424)/180) a multiple of 11?
True
Let p(a) = -13*a + 56. Let l be p(4). Let z(n) = 18*n + 27. Does 11 divide z(l)?
True
Let p = 711 - 401. Let w = 564 - p. Does 13 divide w?
False
Let d be (-2)/(-11) + (101220/(-110) - -7). Let y = 1806 + d. Is y a multiple of 47?
True
Let c(v) = -v + 9. Let d be c(0). Let r = -13 + d. Does 32 divide -7 + 165 - (r + 2)?
True
Suppose 0 = p + 7, -3*p = -2*w - 12841 + 64852. Does 26 divide w?
False
Suppose 4*k + 509 = m, m = -2*k - 66 + 593. Is 9 a factor of m?
False
Let p(c) = 544*c**2 + 249*c + 1272. Is 186 a factor of p(-5)?
False
Let y(p) be the second derivative of p**6/120 + 7*p**5/60 - 3*p**4/8 + p**2/2 - 10*p. Let j(f) be the first derivative of y(f). Does 3 divide j(-8)?
False
Let t be 1*(-4 + 11) + -3. Let o = -10 + t. Is 59 - (2/o + 10/(-15)) a multiple of 30?
True
Let b(u) = -6*u**3 + 113*u**2 - 19*u - 1. Let p be b(19). Let r = -106 - p. Does 18 divide r?
False
Does 23 divide 0/(-15 + 23) + 6946?
True
Let l = -220 - -223. Suppose 2*m - 5*c + 781 = 5*m, -l*m + 3*c = -765. Does 24 divide m?
False
Suppose 0 = 17*u + 874 - 3849. Suppose 3*t + 5*l + 114 = 329, 2*t - 3*l = u. Is t a multiple of 20?
True
Let j = 33507 + 1469. Is j a multiple of 40?
False
Is 192*(-13 - (-1512)/32) a multiple of 137?
True
Let n(h) = -3*h**3 + 6*h**2 + 5*h. Let j(o) = -7*o - 89. Let p be j(-12). Does 25 divide n(p)?
True
Suppose 3*s + 53 - 11 = 2*h, -h = -s - 19. Let a(z) = 53*z - 135. Does 48 divide a(h)?
False
Suppose -5*j + 14 = 2*j. Suppose 3*d - 82 = -j*w, -4*d = -w - d + 59. Does 14 divide w?
False
Let l be (-3 - 0) + ((-15)/(-3))/5. Let k(z) = -7*z - 22. Let r be k(l). Is r/36 + 1109/9 a multiple of 13?
False
Let x(i) = -34*i + 58. Let d(g) = 35*g - 55. Let s(b) = -5*d(b) - 4*x(b). Does 14 divide s(-2)?
False
Let b be 2*8*(5 + (-18)/4). Suppose -b*a - 798 = -27*a. Does 29 divide a?
False
Let d = -421 - -430. Let m(r) = 6*r**2 - r + 27. Is 7 a factor of m(d)?
True
Let j(u) = -20*u + 21. Let a be j(-12). Suppose 5*o - 78 = z - 0*z, 4*z - 3*o + a = 0. Let v = z - -69. Is v a multiple of 6?
True
Suppose 0*v = 24*v + 43104. Let c = 2897 + v. Is 26 a factor of c?
False
Suppose -114 = 8*w - 210. Is (-128)/(3*w/(-126)) a multiple of 11?
False
Suppose -23070 = -2*l - 4*o + 21872, -2*o = -2*l + 44918. Is 46 a factor of l?
False
Let k be 48/((-2)/108*-9). Suppose 4092 = k*f - 282*f. Is 62 a factor of f?
True
Let a(o) = -o**3 - 4*o**2 + 11*o + 12. Let c(p) = p**2 - 2*p - 1. Let d(i) = -a(i) - 6*c(i). Is d(6) a multiple of 9?
True
Let v = 175 - 225. Does 8 divide 10/2 - (v + 3)?
False
Let x = -17466 + 40956. Is 61 a factor of x?
False
Let v(k) = 39*k + 33. Let z(g) = -38*g - 35. Let o(s) = 5*v(s) + 6*z(s). Is 20 a factor of o(-5)?
True
Suppose -21*c - 72768 = -187722. Is c a multiple of 18?
False
Let l(g) = -5*g**3 - 2*g**2 + 3*g + 1. Let q be l(-5). Let w = -201 + q. Is w a multiple of 20?
True
Let d(a) = -6*a**3 + 12*a**2 - 6*a - 26. Let z(s) = -5*s**3 + 11*s**2 - 6*s - 26. Let m(p) = 4*d(p) - 5*z(p). Does 85 divide m(8)?
False
Let c(j) = 30 - 12 - j**3 + 3*j - 17 + j**2. Is c(-2) a multiple of 2?
False
Let l(q) = -39*q - 108. Let a(z) = -19*z - 56. Let f(i) = 5*a(i) - 2*l(i). Does 16 divide f(-25)?
False
Is 7 a factor of (112/20*1)/((-48)/(-65400))?
True
Let q = -501 + 333. Let p = q - -858. Is 46 a factor of p?
True
Suppose 2*n + 3*l = 115, -3 = -l - 4. Let m = 69 - n. Suppose 100 = -m*r + 14*r. Is r a multiple of 7?
False
Let q(v) = 6*v + 20. Let d(r) = -1. Let i(c) = 24*d(c) - 3*q(c). Is i(-10) a multiple of 6?
True
Let u(y) = -y**3 - 183*y**2 - 311*y - 4010. Is u(-182) a multiple of 124?
True
Let h(r) = -4*r - 5. Let b be h(-8). Suppose 10*k = 59 + 771. Let z = k -