 41 a factor of w?
False
Let t(g) = 2*g**3 - 21*g**2 + 16*g - 40. Let v be t(15). Is 42/30*v/5 a multiple of 7?
True
Suppose 0 = -u + 4*u - 12. Let m = -11 + 16. Suppose u*r = -m*k + 104, k - 2*r = -k + 56. Is 4 a factor of k?
True
Let g(z) be the first derivative of 4*z**3/3 - z**2 + 1600*z - 283. Is 20 a factor of g(0)?
True
Let a be (9/(-6))/(6/32). Let b(k) = -2*k**2 - 7*k - 3. Let v be b(a). Let m = v - -119. Is 16 a factor of m?
False
Let d = 106 + -452. Let k = -178 - d. Is (k/15)/(10/75) a multiple of 12?
True
Suppose 0 = -3*u + 5*v + 13771 - 3312, 6*u - 20843 = -5*v. Does 37 divide u?
True
Suppose -10*f - f + 44 = 0. Suppose -4*c + 4666 = 5*v + 446, f*v - c = 3355. Is 19 a factor of v?
False
Suppose 0 = 7*a - 601 - 64. Let s = 279 - a. Is 47 a factor of s?
False
Suppose s = 2*v - 55352, -s = s + 4. Suppose -4*y + 19*y - v = 0. Does 34 divide y?
False
Let t(o) = 20*o**2 - 80*o + 152. Let h(q) = -7*q**2 + 27*q - 51. Let b(u) = -17*h(u) - 6*t(u). Suppose -10*x + 8 = -161 - 11. Does 4 divide b(x)?
False
Suppose -9*k + 18 = -11*k. Let d(s) = -37*s - 157. Is d(k) a multiple of 8?
True
Suppose 9 = 5*u + g, 3*g - 7 = -5*u - 0*g. Suppose o + 75 = -u*q, -5*o - 2*q - 3*q = 380. Let f = -12 - o. Is f a multiple of 13?
True
Let b(s) = -170*s - 2922. Is b(-76) a multiple of 8?
False
Let w(a) = 6*a - 45. Let l be w(12). Suppose 0 = -l*f + 30*f + 66. Let t = 105 + f. Does 12 divide t?
False
Is (-203 + -10323)*1*2/(-4) a multiple of 19?
True
Suppose 2*q + 9958 = 15*q. Is q a multiple of 131?
False
Suppose -3814587 - 40674 = -579*h + 314118. Is 19 a factor of h?
True
Let k(c) be the second derivative of -13*c + 0 - 5/6*c**3 + 2/3*c**4 - 1/20*c**5 + 0*c**2. Is k(5) a multiple of 12?
False
Suppose -11105 = -12*f + 55. Is 10 a factor of f?
True
Let q(l) = 50*l - 374. Is 11 a factor of q(26)?
False
Is (-75)/100 - (57777/(-12) + -2) a multiple of 172?
True
Let d = 277 - 277. Is 30/(-285) + (d - (-20655)/19) a multiple of 56?
False
Let k be ((-24)/(-28))/(-6) - (-86)/14. Suppose 16*a - 1408 = -k*a. Is 12 a factor of a?
False
Let b be (24/16)/((-9)/(-1140)). Suppose 0 = 5*m + 15, -6*y + 3*m = -3*y - 102. Suppose -26*z = -y*z + b. Is z a multiple of 19?
True
Let q(x) = 26*x - 6. Let b(t) = 5*t - 1. Let k(n) = -16*b(n) + 3*q(n). Let s be k(-9). Is 30 a factor of (-1479)/(-12) + (-4)/s?
False
Suppose a - 76 - 132 = 5*x, 10 = -2*x. Let r = -94 + a. Does 10 divide r?
False
Let i(d) = 14687*d**2 - 413*d - 414. Is i(-1) a multiple of 3?
False
Let c = 1245 + 9519. Is 47 a factor of c?
False
Let p(o) = 70*o**2 - 72*o + 383. Is 5 a factor of p(6)?
False
Let m = 94836 - 66147. Does 12 divide m?
False
Let s(u) = -2*u**2 - 20*u + 3. Let p be s(-10). Is 1150/8 + (15/p)/20 a multiple of 16?
True
Let c be 6/(1/(-13)*1) + 6. Is 542 + (c/(-9) - 6) a multiple of 16?
True
Suppose r - 3*q + q = 3950, 12*q = 24. Is r a multiple of 53?
False
Let t(k) = 2*k**3 + 21*k**2 - 18*k - 25. Is t(-10) a multiple of 17?
True
Suppose 0 = 5*f + x - 2312 - 433, 3*x = -3*f + 1659. Is 3 a factor of f?
False
Let h = -2 + 7. Let t(p) = 2*p. Let x(r) = 3*r + 7. Let q(n) = t(n) + x(n). Does 8 divide q(h)?
True
Suppose -18 = 6*y + 18. Let j(l) = 8*l**2 - 8*l - 10. Is j(y) a multiple of 13?
False
Let r(h) = 14*h + 14. Let z be r(-1). Suppose -100*d + 94*d + 5460 = z. Does 14 divide d?
True
Suppose r - 3 = 0, 3*p + r - 93 = 75. Suppose 5*u + 40 = 3*i, -5*i - u - p = -159. Is 20 a factor of i?
True
Let s(j) be the third derivative of j**5/15 + 29*j**4/24 + 58*j**3/3 - 268*j**2. Does 3 divide s(-6)?
False
Let s(b) = 0*b - b**2 + 14*b**2 + 5 - 4*b. Let u be s(1). Let w(k) = 15*k + 11. Is 13 a factor of w(u)?
True
Let z be 233*4/(-15) + (19 - (-566)/(-30)). Let m be (-2)/(-9) + 2372/18. Let a = z + m. Is a a multiple of 10?
True
Suppose 10*v - o = 29753, 0 = 4*o - 9 - 19. Is v a multiple of 12?
True
Let l = 1143 - 719. Let w = 379 + l. Is w a multiple of 28?
False
Suppose 2 + 38 = -8*c. Is 7 + (1 - 48)*c a multiple of 22?
True
Suppose 2*v + g - 971 - 868 = 0, 3*v - 2790 = 3*g. Does 4 divide v?
False
Suppose -3*q = -2*o - 3541, -3*q + 1313*o = 1312*o - 3545. Is 2 a factor of q?
False
Let q be 2 - 4953/(-6) - 6/(-4). Suppose 497 = 4*u - u - s, 5*u - 2*s = q. Suppose 34*z - 37*z = -u. Does 15 divide z?
False
Let o(k) = -94*k + 26. Let r be o(9). Let t = r + 1239. Suppose 5*x + 5*j = 440, -5*x - j + t = -3*j. Does 13 divide x?
False
Let r(o) = -2*o**3 - 8*o**2 - 11*o + 1. Let l be r(-5). Let p = l + -109. Does 32 divide (p - 13)*(0 + 1 - 3)?
True
Suppose 0 = -3*l - 6*l + 27. Let m be (0 - (0 - -3)) + l. Does 13 divide 92*(m - 1/(-1))?
False
Let j = 8418 + -2816. Is j a multiple of 86?
False
Let s = -42 - -81. Let o(j) = -2*j**3 + 28*j**2 + 70*j - 66. Let d be o(16). Let k = s - d. Is 3 a factor of k?
True
Suppose 3*r = 7*r + 64. Let q(v) be the second derivative of -v**5/20 - 5*v**4/4 + 17*v**3/6 + 17*v**2 + 14*v + 10. Does 9 divide q(r)?
True
Is 7 a factor of (-72)/(-420)*26655 - ((-16)/(-7))/(-4)?
False
Is -4 + (1/(-3))/(11 + 506488/(-46044)) a multiple of 97?
False
Let p(d) = d**2 - 2*d. Let l be p(3). Let j(m) = 39*m**2 - 6*m - 3. Is 22 a factor of j(l)?
True
Suppose 2*f + i = 13032, 2*f - 104*i = -101*i + 13016. Does 44 divide f?
False
Suppose 29*o = 26*o + 81. Suppose f - o = 17. Is f a multiple of 22?
True
Let j = -38190 - -66746. Is j a multiple of 121?
True
Let b(m) = -2*m - 43. Let j be b(-21). Let n(s) = 18*s**3 + s + 2. Let t be n(j). Is 46 a factor of 3162/t*(6/(-4) - 0)?
False
Suppose 14*v - 12*v - 4241 = 5*t, 0 = -4*v - 3*t + 8417. Does 11 divide v?
False
Suppose 288 = -6*r - 102. Let c = 125 + r. Is 3 a factor of c?
True
Let i = -209 - 495. Is 1 - i - 30/(-5) a multiple of 9?
True
Suppose 4*c - 2*t - 232 = -4*t, 2*c - 4*t = 136. Suppose 5*x + 25 = 0, 19*x - 15*x + 54 = -j. Let r = j + c. Is r a multiple of 13?
True
Let y = -678 + 5253. Does 224 divide y?
False
Let q = -63 + 71. Let v = q - -4. Suppose 26 = 5*y + 3*f - v, -3*y + 34 = -f. Does 4 divide y?
False
Let a(l) = -3165*l - 2279. Is a(-6) a multiple of 34?
False
Let o(g) = 9*g + 33. Let l be (4 + -2 - 7)*(-1 + -1). Does 14 divide o(l)?
False
Let t be -7 - (243/108 + (-6)/(-8)). Is 47 a factor of (408/t)/((-150)/500)?
False
Suppose 21*g = 6*g - 45. Does 3 divide 27 - (-11 + 8 - g)?
True
Suppose 6*r = 18*r. Suppose -y + 3*m + 23 = 0, 2*m = -r*m. Is 7 a factor of y?
False
Let d be 814/4 - (-1)/(-2). Let r be (-3)/12 - 0 - 1780/(-16). Let q = d - r. Does 17 divide q?
False
Suppose 3*i - 3*a = -8*a + 148, 90 = 2*i - a. Is 3 a factor of i?
False
Let k = -163 + 171. Let l(s) = -10*s**2 + 38*s - 9. Let c(u) = 11*u**2 - 38*u + 9. Let t(m) = -3*c(m) - 4*l(m). Is t(k) a multiple of 17?
True
Let b = 3574 + -1981. Let v = b + -360. Suppose -18*k = -9*k - v. Is 21 a factor of k?
False
Suppose 0 = -2*f - 5*b + 3187, -145*f = -147*f - b + 3207. Is f a multiple of 22?
True
Let i = 20172 + -9253. Is i a multiple of 12?
False
Does 31 divide (7 + 58311/(-11))/(-1)?
False
Let h(x) = 34*x**3 + x - 8*x**2 - 24*x**3 + 3 - 7 + 2*x. Let y be h(4). Suppose -19*f + 24*f = y. Does 10 divide f?
False
Let n = 25 - 23. Suppose -n*p - 13 = 2*f - 3*p, -5*f = 5*p + 10. Let h(g) = g**3 + 5*g**2 - 6*g - 3. Is 9 a factor of h(f)?
True
Let m be (0 - -5*6/45)*1203. Let j = m - 617. Does 17 divide j?
False
Suppose -4*g = 2*j - 113 + 1695, -5 = -5*j. Is (g/(-90))/(1/15) a multiple of 13?
False
Suppose -3*i + 18 = 6*i. Suppose -o + 5*o - 8 = -4*d, -3*d + 6 = i*o. Suppose -g + o*g + 100 = 0. Is g a multiple of 20?
True
Suppose 26*c = 24*c + 10. Suppose 7*p - c*p = 390. Suppose -3*z - 5*k = -289, 5*k = 4*z - p - 167. Does 21 divide z?
False
Let z = -215 + 230. Suppose -z = -61*c + 60*c. Does 5 divide c?
True
Let p = 13782 - 9750. Does 28 divide p?
True
Suppose -47*a = -53*a + 12. Suppose -a*c = 3*r - 487 - 23, 4*r - 680 = -c. Is r a multiple of 10?
True
Let b = 82 + -1419. Let y = b + 1981. Is 14 a factor of y?
True
Suppose 20*n - 2124 = 2*n. Suppose -114*g = -n*g + 1924. Does 37 divide g?
True
Suppose 31*i = -54*i - 8*i + 1123719. Is 23 a factor of i?
False
Suppose -820 = -5*h - 4*c, c - 3*c = 2*h - 326. Suppose -164*j - 4012 = -h*j. Is j a multiple of 43?
False
Let k(p) = -4*p - 4. Let t be k(-2). Suppose -4*c = 2*j - 676, 3*c - 533 = t*j + j. Let n = 261 - c. Does 18 divide n?