 Suppose 5 = 5*c - 5, z - 5*c - 74 = q. Is 21 a factor of z?
True
Let r = 5189 + -1961. Is r a multiple of 20?
False
Suppose 1061*m - 60750 = 1031*m. Is 27 a factor of m?
True
Is (-88)/16*-526 - (-18)/9 a multiple of 108?
False
Suppose -18*r + 14*r + 6 = -w, 4*r = -3*w - 2. Let t(p) = -1 - p + 32*p**2 + 2*p + 4*p**2. Does 9 divide t(r)?
True
Let z(k) = k**2 + 6*k - k - 15 + 9*k + 56. Does 6 divide z(-15)?
False
Suppose -19015 = -12*h + 21509. Is h a multiple of 110?
False
Suppose -17*u + 4*u = -260. Suppose -25*y + u*y = -480. Does 32 divide y?
True
Suppose 12*h + 20 = 8*h, 0 = -i + h + 11. Suppose 2*y + 1300 = i*y. Is 13 a factor of y?
True
Is 52250/6*1926/1070 a multiple of 15?
True
Suppose -4*b = 4*t + 52, -35 = 3*b - 2*t - 6. Let y(h) = h**3 + 10*h**2 - 10*h + 15. Let j be y(b). Does 22 divide (-9)/(-18) - (-726)/j?
False
Let c(i) = 2483*i - 308. Is 17 a factor of c(2)?
True
Let c(t) be the second derivative of -3*t**3 - 8*t**2 - 9*t. Let y be c(-10). Suppose 0 = 4*u + 5*l - y, -4*l = u - 3*u + 56. Is 12 a factor of u?
True
Suppose 4*q + 3*d + 19 = 0, 2*q - 15*d - 8 = -13*d. Is (330/25)/(((-3)/105)/q) a multiple of 5?
False
Suppose -27*u + 24*u = 4*v - 1393, -2*u + 937 = v. Is 6 a factor of u?
False
Suppose 5*f - 139 + 1339 = 5*m, -5*f = -m + 232. Is m a multiple of 4?
False
Let b(k) = -79*k + 7. Let z be b(-2). Suppose 5*t - 2*o - 396 = 0, 5*o + z = 2*t + 2*o. Suppose 5*y - t + 43 = 0. Is y a multiple of 5?
False
Suppose -70501 = 16*i - 46*i + 10379. Is 19 a factor of i?
False
Suppose 276 = 4*u + 2*d, -3*u + 207 = -13*d + 16*d. Suppose p = s - u, -s - 7*p + 2*p = -87. Does 21 divide s?
False
Let z(g) = g + 11. Let l be z(-16). Does 37 divide 1*(116 + l + 3)?
False
Suppose -52*a + 77 + 79 = 0. Let o(i) = 4*i**2 + 5 - 4*i + 2*i**3 - 3*i + i. Does 9 divide o(a)?
False
Let r = 147 - 36. Let q = 143 - r. Is q a multiple of 8?
True
Let y(d) = 357*d**2 + 7*d + 1. Does 40 divide y(-4)?
False
Let c be 6 - 45/(-18) - (-2)/4. Suppose -2*k + 820 = 4*j, 25 = -c*j + 4*j. Does 70 divide k?
True
Suppose 5*r = 5, -5*r = 2*s - 2 - 13. Is -3 - (-70 - (-4 - -4 - s)) a multiple of 11?
False
Is (-1)/(2/6) - (47152/(-14) - 20) a multiple of 107?
False
Suppose v = -4, 6*p - 3*p + 4*v + 4 = 0. Suppose -5*c - t = -2099, -p*c - 1259 = -7*c - t. Is 45 a factor of c?
False
Let p = -5300 - -12860. Is p a multiple of 27?
True
Let q = 13927 - 11654. Does 5 divide q?
False
Let d(m) = -38*m - 8. Let x(n) = -1. Let w(k) = d(k) - 3*x(k). Is w(-1) a multiple of 14?
False
Let t(p) = 6853*p - 2747. Is 102 a factor of t(5)?
True
Does 5 divide 2302272/784 + (-3)/(-7)?
False
Let k(s) = 4*s**3 + 40*s**2 + 7*s + 6. Let l be k(-10). Is 10 a factor of (l/(-5))/(1 - (-99)/(-100))?
True
Let u = 65 - 65. Suppose u = -0*q - q. Let b(s) = 3*s + 279. Is 12 a factor of b(q)?
False
Let q(o) = -62*o + 62. Let a be q(1). Suppose a = -4*t - 5*c + 1143, -5*t - 5*c + 584 = -841. Is 3 a factor of t?
True
Suppose 5*i - 5*w - 7 = -37, 0 = -2*i - 4*w - 18. Let m(x) = 10*x**3 - x**2 - 2*x + 3. Let u be m(1). Is 30 a factor of i/((-21)/u)*18?
True
Let v be 0 + -1 + 22 - (-2 - -6). Suppose 69 = -16*z + v*z. Is z a multiple of 9?
False
Suppose -62130 = 1060*y - 1064*y + 2*l, -4*l = -2*y + 31086. Does 53 divide y?
True
Suppose 5*n + 8 = 3*a - 0*n, 0 = -3*n - 12. Let b(h) = 22*h**2 - 15*h - 43. Is 14 a factor of b(a)?
False
Suppose -l + 2083 - 622 = -3714. Does 75 divide l?
True
Let g(j) = 2*j**2 + 219*j + 14208. Does 16 divide g(0)?
True
Suppose 0 = -13*s + 3240 + 3468. Suppose 13*p + s = 14*p. Is p a multiple of 11?
False
Let q = 3600 + -1567. Is q a multiple of 19?
True
Suppose o - 334133 = 176*o - 1345283. Is o a multiple of 9?
True
Is 40 a factor of ((711765/6)/5)/(48/32)?
False
Is 62 a factor of ((-5804)/(-10))/(48/480)?
False
Let d = -1862 + 1996. Does 3 divide d?
False
Does 67 divide (6/12*14/(-21))/(1/(-24366))?
False
Suppose -3*k - 10 = 5. Let y(g) = g**3 + 5*g**2 + 8*g + 12. Let a be y(k). Let i = a + 168. Is 10 a factor of i?
True
Suppose -101*f + 100 = -81*f. Suppose f*k + 2330 = -5*l + 7130, 4*l = -3*k + 3843. Is l a multiple of 25?
False
Let w be (0 - 1) + 40/(-48)*-6. Suppose -2*a + 266 = -4*l, -665 = -4*a - a + w*l. Is a a multiple of 6?
False
Is 410*((-10)/2 - -8 - (-45)/(-18)) a multiple of 11?
False
Let l be ((-3)/(1 + -7))/((-1)/(-10)). Suppose 0*b = -l*p - b + 35, -3*p + b = -13. Is 224/(-40)*(1 - 21/p) a multiple of 2?
True
Let l(w) = w**3 - 8*w**2 + 8*w + 16. Let q(d) = 2*d**2 - 10*d - 4. Let m be q(6). Let u be l(m). Let a = u + -18. Does 5 divide a?
False
Let p = -4883 - -4974. Is 2 a factor of p?
False
Suppose 4*b + 14 = 5*q - 12, 2*b - 3*q + 14 = 0. Is 165/(1 + b)*(-54)/15 a multiple of 22?
True
Let f be 5/5*(-1 + 3 + 0). Suppose 5*x + c - 3144 = 0, 6*x - 2517 = f*x + c. Does 17 divide x?
True
Let v = -199 - -200. Is 6 a factor of (4 - 2) + v + (5 - 2)?
True
Is 13 a factor of (-6)/(-27) + (-1457718)/(-1026)?
False
Let z(f) be the second derivative of f**4/4 + 13*f**3/3 - 29*f**2/2 + 57*f. Is z(-15) a multiple of 2?
True
Let l = -51 + 149. Suppose 3*v = -15, z - 2*v = v + l. Does 25 divide z?
False
Let j = 12223 - 7823. Does 11 divide j?
True
Let w = -86 + 39. Let p be 179*(0 - -1) + -2 + -4. Let s = w + p. Does 21 divide s?
True
Let n = 120 + -117. Suppose -2058 = -4*w - 3*s, n*s = -s - 8. Does 55 divide w?
False
Let h = -135 - -40. Let g be ((-342)/h)/(592/295 + -2). Suppose 3*l - g = -129. Does 16 divide l?
False
Let v = -90 + 94. Suppose -5*o + 1388 = -v*u, -4*u = 5*o + u - 1370. Let y = -174 + o. Does 15 divide y?
False
Does 3 divide 2/(-6) - (-170004)/279?
True
Suppose 71550 = 526*p - 451*p. Is p a multiple of 6?
True
Suppose -5*p + 4*u + 969 + 2955 = 0, -2*p = -5*u - 1556. Is p a multiple of 27?
False
Does 21 divide 12576936/48*(-10)/(-95)?
False
Let a be (-9)/45 + 26/5. Suppose -4*n + a*n = 3. Suppose u = n*u - 108. Does 18 divide u?
True
Let r = 85804 + -57346. Does 27 divide r?
True
Let v(n) = -3*n - 15. Let a be v(-11). Suppose -a = -f - 15. Does 3 divide f?
True
Let q(i) be the first derivative of 2*i**3 + 10*i**2 + 96*i + 141. Does 30 divide q(-12)?
True
Let z = -419 + 703. Suppose 226 + 48 = -3*n - j, 3*n - j + z = 0. Let w = n - -168. Is w a multiple of 15?
True
Let s be (8/1)/((-2382)/(-396) - 6). Suppose s = -7*l + 9*l. Does 11 divide l?
True
Is ((-13 + 12)*-4267)/(1 - 0) a multiple of 40?
False
Suppose 0 = 29*k - 5*k - 18768. Suppose -15*i + 2473 = -k. Is 7 a factor of i?
True
Let s be 2/(-7) + (-4 - 60/(-14)). Suppose 0 = 4*i - 4*f - 1033 + 185, -5*i + 4*f + 1058 = s. Does 13 divide i?
False
Let a be (24/9 + -2)*3. Let f(l) = 15 - 3424*l + 25*l**2 - 8*l**2 + 3417*l. Is 36 a factor of f(a)?
False
Suppose 1973*z - 1988*z = -47580. Is 17 a factor of z?
False
Suppose t - 19865 = 2*s - 1397, -t - 5*s + 18510 = 0. Is t a multiple of 216?
False
Let t = 33706 + -5366. Is t a multiple of 20?
True
Let d(m) = -m**2. Let q(x) = -7*x**2 + 3*x - 29. Let j(r) = -3*d(r) - q(r). Does 90 divide j(-7)?
True
Suppose d - 5*w + w + 115 = 0, 0 = -d - 5*w - 124. Let t = -69 - d. Let r = 98 + t. Is r a multiple of 22?
False
Let n(i) = 4*i**3 + 8*i**2 - 11*i + 19. Suppose -4*m = 4*g - 40, 2 = 2*m - 5*g + 10. Is n(m) a multiple of 17?
True
Suppose 0 = 5*d - 29 - 16. Suppose 883 + 2267 = d*f. Is 12 a factor of f?
False
Let b(l) = -37*l - 1. Suppose 3*z + 11 = -4, g - 6 = z. Let t be (g - -1)/(-9 + 7). Is b(t) a multiple of 4?
True
Let y(r) be the second derivative of 47*r**4/6 + 3*r**3 - 15*r**2 - 44*r. Does 16 divide y(2)?
False
Let h = -158 + 160. Suppose -h*s - 2*w + 398 = -6*w, 3*s - 557 = -4*w. Is 17 a factor of s?
False
Let t = -204 - -1121. Let i = t + -742. Does 25 divide i?
True
Does 86 divide (122024/(-280))/((-1)/15) + 1/(-1)?
True
Suppose 0*m = 8*m - 136. Let i = m - -43. Suppose -i = -8*t + 2*t. Is t a multiple of 3?
False
Let h(g) be the second derivative of 2/3*g**3 + 0 - 8*g + 11*g**2. Does 15 divide h(17)?
True
Let i(q) = -1 - 257*q + 128*q + 132*q. Let t be i(1). Suppose 2*s - 2*y = 5*s - 37, y - t = 0. Is 11 a factor of s?
True
Let w(x) = 8*x**2 - 3*x**3 + 42*x**2 + x - 10 + 3*x**3 - 2*x**3. Let y(g) = 3*g - 32. Let p be y(19). Does 2 divide w(p)?
False
Let z = 1754 - -1166. Is z a multiple of 10?
True
Let c = 0 + 0. Suppose 65*k - 413 = -218. Suppose r - 29 = w, r