 Let d be f(7). Is ((-22)/4*5)/((-2)/d) a multiple of 5?
True
Suppose 10*r + 2547 + 2733 = 0. Let y = r + 661. Is 10 a factor of y?
False
Let r(s) = -28*s**2 + 12*s - 25*s + 15*s. Let h be r(-2). Is 11 a factor of 0 + (-12)/4 + (0 - h)?
False
Suppose -26*i + 14097 = -22*i - 3*q, 3*q = -3*i + 10578. Does 10 divide i?
False
Suppose 0*b + 5*t + 63 = -b, -2*b = 4*t + 96. Is 73 a factor of (1 - -3)/(-2)*10621/b?
False
Let t(y) = -y**3 + 7*y**2 + 7*y + 10. Suppose -d + 1 = -7. Let p be t(d). Suppose -3*g - 2*b = p*b - 112, -b - 225 = -5*g. Does 28 divide g?
False
Let q(g) = 80*g**2 - 19*g + 32. Let z be q(2). Suppose 5*b + 4*o - 2605 = 0, 0*b - 3*o = b - 532. Let m = b - z. Does 34 divide m?
False
Suppose 8*o = 9*o - 2332. Suppose 5*y = y - o. Let s = y + 818. Is s a multiple of 40?
False
Suppose 21*p = 27*p + 30. Let d be (-142)/(-8) + p/(-20). Suppose -d*o = -24*o + 828. Does 21 divide o?
False
Suppose -3*p - 1726 = 2*b, -3*b - p - 2588 = 3*p. Let t = b + 931. Does 11 divide t?
False
Let c be 12/5 - (-14)/(-35). Suppose 2*x + a - 23 = -c*a, -2*x - 17 = -5*a. Suppose 0*p = -x*z + 5*p + 572, -2*p = z - 130. Is 24 a factor of z?
False
Suppose 18 = -5*q + 28. Suppose j - 3*s - 434 = 0, 2*j + q*j - 4*s = 1736. Is j a multiple of 14?
True
Let z = 9158 - 3686. Suppose -27*l + z = -9*l. Is 16 a factor of l?
True
Let o = -33274 + 34230. Is 4 a factor of o?
True
Let b(h) be the third derivative of -7*h**4/12 - 215*h**3/6 + 3*h**2 - 1. Is 58 a factor of b(-34)?
False
Let i(r) = 259*r - 408. Is i(2) a multiple of 22?
True
Is 21 a factor of 417348/10 - (1/(-15))/((-598)/(-1794))?
False
Let o = 165 - 117. Suppose 7*h - n = 10*h + 103, 2*h = -3*n - 57. Let i = h + o. Is 11 a factor of i?
False
Let a = 8827 - 4823. Is a a multiple of 13?
True
Suppose 15 = -3*z + 54. Suppose -18*d + z*d = 15, -b + 4*d = -204. Is 6 a factor of b?
True
Suppose o = -4*b, -2*o - 3*o + 16 = 4*b. Let g(r) = -123*r - 21. Is g(b) a multiple of 17?
True
Suppose 6*x + 12 = 9*x. Suppose 2*d + x*k - 20 = -2*d, 17 = 4*d + k. Suppose 0 = -2*g - d*g + 354. Is 20 a factor of g?
False
Let f be (-50)/375 - 43/15. Let q(t) = -18*t**3 - 5*t**2 - 11*t - 4. Does 22 divide q(f)?
False
Let c = -2023 - -2295. Is c a multiple of 8?
True
Let h(p) = 3*p - 36. Let l be h(9). Let q be (-30)/20*(30/l - 0). Suppose -q*k + 106 = u, 2*k + 0 - 4 = 0. Is u a multiple of 23?
False
Let r be 36/(-27) - (-755)/(-3). Let d = 295 + r. Is 4 a factor of d?
False
Let z(l) = -l**2 + 52*l - 48. Let n(d) = d**2 - 54*d + 50. Let b(v) = 2*n(v) + 3*z(v). Is b(44) a multiple of 33?
True
Suppose -z = r - 3*r + 12633, 0 = r - 3*z - 6319. Does 104 divide r?
False
Suppose 0 = -5*t - i + 1855, -i = -t + i + 360. Let y = t + -205. Does 3 divide y?
True
Let c(l) = 71*l - 6. Let g(v) = 3*v + 2. Let n(a) = -16*a - 9. Let k(z) = 11*g(z) + 2*n(z). Let y be k(-2). Does 13 divide c(y)?
False
Let n = -13836 + 25884. Is 24 a factor of n?
True
Let t(k) = -232*k - 882. Is 41 a factor of t(-19)?
True
Is 80 a factor of (-1)/(9/(-65508)) + 32/24?
True
Suppose 5*k - 19599 - 21525 = -n, k - 8241 = -2*n. Is k a multiple of 2?
False
Let q(j) = -3*j**2 + 3*j + 2. Let k be q(-1). Is (-77 + -6)/(k - -3) a multiple of 18?
False
Suppose 58157*f - 58132*f - 12275 = 0. Is f a multiple of 15?
False
Suppose 50*i + 240 = 52*i. Suppose 0 = -2*m + 4*y + 40, -29 = 4*m + 3*y - i. Is m a multiple of 10?
False
Suppose 6*x = 3*x + 423. Suppose -210 = -5*f + 100. Let d = x - f. Is 25 a factor of d?
False
Is (-1275604)/(-132) + ((-28)/(-3))/7 a multiple of 73?
False
Let j = 89859 + -61015. Does 30 divide j?
False
Let p = 14246 - 10880. Does 28 divide p?
False
Suppose 38*r = 1947 + 6489. Is 24 a factor of (-3892)/(-18) - r/999?
True
Let i = -20 - -25. Let t = 132 + -82. Suppose i = n, -m = 4*n - 10 - t. Is m a multiple of 20?
True
Suppose 4*z = -3*a - 11, -4*a = -4*z + 3*z + 2. Does 9 divide 28 + -31 + a + 233?
False
Suppose 207907 = 48*a - 1232765. Does 12 divide a?
False
Let x(y) = -3*y**3 - 8*y**2 - 7*y + 27. Let z(d) = d**2 - 15*d - 22. Let h be z(16). Is x(h) a multiple of 11?
True
Suppose 2*d + 4*g - 103 = -g, 4*d + g - 251 = 0. Let s be 21/189 - 368/(-9). Let q = d - s. Does 23 divide q?
True
Let t be 0/10*1/(-1). Suppose 9*x - 375 + 6 = t. Does 7 divide x?
False
Let w = -23 + 78. Suppose -w*a = -50*a - 1295. Is 25 a factor of a?
False
Suppose f + 4 - 6 = 0. Does 6 divide 2/f + 294/7?
False
Is (-4 - -159)*(1 - (-654)/15) a multiple of 31?
True
Let p be (85/15 - 5)/(2/9). Suppose -g + 13 = -b, p*g - 4*g = 4*b + 32. Let w(k) = 4*k**2 + 11*k + 3. Does 12 divide w(b)?
True
Suppose -329 = 5*i + 381. Is 0 - i - (1 + 0)*4 a multiple of 23?
True
Let f(s) = -11*s + 7. Let j be (-6)/(-21) + 253/(-77). Does 8 divide f(j)?
True
Let c(g) = -g**3 + 3*g**2 - 3*g + 1. Suppose 0 = 2*l - 0 - 4. Let j be c(l). Is (-20 + 19)/(j/66) a multiple of 33?
True
Let t = -4182 - -11722. Is 29 a factor of t?
True
Suppose -238*i + 3766900 = 70*i - 2839700. Does 22 divide i?
True
Let n = -346 + 348. Suppose 0*f + f + q = 194, -3*f = n*q - 580. Is f a multiple of 32?
True
Let q(t) = -5*t**2 + t - 167. Let k be q(0). Let f = -118 - k. Is f a multiple of 49?
True
Let y(n) = 4*n**3 - 5*n**2 - 6*n + 33. Let u(g) = g**2 - 3*g - 6. Let p be u(5). Is 17 a factor of y(p)?
False
Suppose c + 79 - 84 = 0. Suppose -4*f + 248 = -5*g, -2*f = -c*f + 4*g + 185. Is f a multiple of 3?
False
Suppose -5*k = -5*n - 37525, 0 = 5*k - 14*n + 15*n - 37561. Is k a multiple of 29?
True
Let a(w) = w**3 + 4*w**2 - 3*w - 9. Suppose 2*o - 4*b = 6, -9 - 6 = 5*b. Let k be a(o). Is (-1 - (-365 - 2))*k/27 a multiple of 17?
False
Suppose 49*w - 23141 = -1091. Is 15 a factor of w?
True
Let z be 127204/(-6)*(5 - 8). Suppose -z = 15*b - 20627. Is b/(-9) - 3*(-2)/9 a multiple of 43?
False
Let s be 33/22 + (-2)/4. Let n = -2 - s. Is 3/(n/2) + (-11 - -35) a multiple of 4?
False
Suppose -2*i - 3*m + 0 - 284 = 0, -i = 4*m + 132. Suppose 5*t + w + 1667 = -0*w, 2*t - 4*w + 680 = 0. Let n = i - t. Is 34 a factor of n?
False
Let d be (8 + (0 - 3))/((-4)/40). Suppose 26*v - 28*v = 5760. Is 26 a factor of v/(-14) - d/175?
False
Suppose -40*r + 46*r = 4692. Suppose -r = -y - 158. Is 12 a factor of y?
True
Let y = -2744 + 7996. Does 120 divide y?
False
Suppose 0 = -85*d + 14101 + 13767 - 6363. Is d a multiple of 41?
False
Let i(o) = -17 - 16 - 53 + 58 + 6*o**2 - 18 + 122*o. Is i(-22) a multiple of 58?
True
Suppose 3*j - 1259 = t, 0 = -5*j + 3*t - 378 + 2483. Is j a multiple of 3?
False
Let n(p) = 2*p + 4. Suppose 3 - 6 = -d. Let s be n(d). Suppose -14*y + 500 = -s*y. Is y a multiple of 25?
True
Suppose 14 = 2*n - 3*w + 2*w, 0 = 2*n - 5*w - 22. Suppose 20*d + n*d = 15210. Is 13 a factor of d?
True
Suppose 0 = -2*k - 2, i + 5 = -i - 5*k. Suppose 3*q - 22*q + 2280 = i. Is q a multiple of 10?
True
Suppose -600 = -105*y + 101*y. Let o = y - -66. Is 36 a factor of o?
True
Suppose 0 = -7696*c + 7676*c + 487980. Is 58 a factor of c?
False
Suppose -14*w + 6 = -12*w. Suppose 0 = -3*t - 5*k + 225, -k + 239 - 14 = w*t. Is 4 a factor of t?
False
Let j(l) be the first derivative of 9*l**2/2 - 23*l + 14. Let c be j(8). Suppose 3*f - 73 = -6*x + x, 2*f = -3*x + c. Is f a multiple of 12?
False
Suppose -n = -63 + 60. Let r be ((-2)/n)/((-9)/27) - -23. Suppose -23*w = -r*w + 26. Does 4 divide w?
False
Let u(l) = l**2 - 30*l + 148. Let x be u(6). Let q(f) = -f**3 - 4*f**2 - 4*f - 3. Let y be q(-3). Suppose 9*r - x*r - 250 = y. Is r a multiple of 10?
True
Let i = 896 - 309. Suppose -211 = 2*b - c, -5*c = -4*b + 168 - i. Let t = -30 - b. Is 17 a factor of t?
False
Suppose 0 = -2*r - j + 32, 6*j - 2*j + 32 = 2*r. Let q(m) = -m**3 + 14*m**2 + 41*m + 7. Is 7 a factor of q(r)?
False
Does 30 divide ((-114)/(-76))/((-9)/(-19626))?
False
Suppose -146*r - 413242 + 1153170 = 0. Does 7 divide r?
True
Let m(n) = 64*n - 6. Let p(l) = 21*l - 2. Let y(c) = 4*m(c) - 14*p(c). Does 58 divide y(-6)?
True
Let x be 3 - (-7)/((-21)/(-6)). Suppose 429 = -3*d + 16*v - 13*v, -x*d - 2*v - 687 = 0. Let m = -106 - d. Is 17 a factor of m?
False
Let w = -2989 - -2077. Is 13 a factor of (-14)/(-2) - (53 + w)?
False
Let b = 6 + -3. Suppose 119 - 84 = -35*u. Is 36 a factor of 2/u*((-153)/3 - b)?
True
Let d(w) = -11*w**2 - 96*w - 4*w**3 + 6*w**3 + 39 + 108*w. Is 15 a factor of d(7)?
True
Let f(c) = 2