 = 55221 - 30275. Is 56 a factor of b?
False
Let a(n) be the second derivative of 1/12*n**4 - 7*n**2 + 0 - 2*n**3 - 22*n. Does 23 divide a(16)?
False
Let f = -4 + 7. Suppose 5*j = 2*o + 3*o - 15, 5 = -f*j - o. Does 25 divide (11 + 400)*(-1)/6*j?
False
Let r(b) = -b**2 + 59*b - 49. Let s be r(57). Let a = s - -290. Is a a multiple of 71?
True
Let i = -475 - -479. Suppose 2*p = -i*z + 686, -2*z - 5*p - 64 = -411. Does 19 divide z?
True
Let n(w) = 495*w - 2150. Does 7 divide n(10)?
True
Let n = -877 - -7881. Is 38 a factor of n?
False
Let b(z) be the first derivative of -3*z**4 + 2*z**3/3 - z**2 + 2*z + 121. Does 9 divide b(-3)?
False
Let m be -6 - (-461 + (5 - -1)). Let y = -229 + m. Is y a multiple of 11?
True
Let o = -53 - -57. Let l be 161 + 0 - (o + (-8)/2). Suppose 4*b = -5*m + l, -247 + 80 = -4*b - 3*m. Is b a multiple of 3?
False
Suppose -6*s + 5*f + 214348 = -13697, 2*f = s - 38018. Is 38 a factor of s?
True
Let r(q) = 2*q - 10. Let t be r(4). Let s = 5 + t. Suppose -5*a - s*b = -264, b - 105 = a - 3*a. Is 11 a factor of a?
False
Let w = -32391 + 33758. Does 108 divide w?
False
Suppose -49*o = -26*o - 410136. Is 24 a factor of o?
True
Suppose 4*y = 3*m + 36332 + 41833, -3*m = -3*y + 58626. Is y a multiple of 13?
True
Let c be 1062/(-48)*2*4. Let b = c + 410. Does 9 divide b?
False
Suppose 0 = 3*w - 3*b + 6, -3*w + w + 5*b = 19. Suppose 5*z + 2*f = -2*f - 12, w*f = 5*z - 9. Suppose 2*n - 12 - 38 = -4*l, 3*n + 3*l - 75 = z. Does 9 divide n?
False
Does 158 divide (22 + -17 + 18/(-4))*6044/2?
False
Suppose -j - 4*h = -6886 + 1753, -3*j + 10*h = -15509. Is j a multiple of 23?
False
Suppose 28 = -42*v + 112. Is 25*((-174)/(-5) - v/(-10)) a multiple of 35?
True
Is 15 a factor of 222497/4 + 4/22 + (-2268)/1584?
False
Suppose 5*v = 2*p + 8217 + 13005, v + 3*p = 4224. Is 42 a factor of v?
True
Let c(f) = f**2 - 9*f - 4. Let u be c(0). Let y(d) = d**2 - 9*d + 3. Does 11 divide y(u)?
True
Suppose 0*j + 15 = -3*j, 3*h + 2*j - 4406 = 0. Is h a multiple of 19?
False
Let j be (-14)/21 + 56/12. Suppose -2 = m, 0*x + j*m = -3*x + 187. Is 65 a factor of x?
True
Let l(m) = -m**3 + 13*m**2 - m + 24. Let b be l(13). Suppose 3 = -2*f + b. Suppose 0 = -0*a + 3*a - f*t - 216, t - 360 = -5*a. Does 12 divide a?
True
Suppose 3*q - 15198 = 5*m - 78456, -4*m - 5*q + 50636 = 0. Does 45 divide m?
False
Suppose 4*r - 4*c = 384, 273 = -3*c + 276. Does 22 divide r?
False
Let o = 22679 + -22208. Does 13 divide o?
False
Suppose -236*g + 62*g = -1924440. Is g a multiple of 28?
True
Let n be (-2 + (0 - -4))*13. Let z be n/(3*8/276). Suppose -2*k + 75 + z = 0. Is k a multiple of 17?
True
Let r be (-5416)/(-10) - 8/(-20). Suppose 2649 = 545*u - r*u. Is u a multiple of 56?
False
Let q be (-3 - 0)/(1/(2/3)). Let a = q - -79. Suppose 2*n = -3*j + 163, -j - n - 24 = -a. Does 19 divide j?
True
Suppose 2*l = -b + 15228, -39*l + 41*l = 6. Does 14 divide b?
False
Suppose -4*t = 4*f - 32224, 3*f - 5*t + t = 24196. Does 12 divide f?
False
Suppose -5*d - 2188 - 2017 = 0. Is 60 a factor of (-3)/(6/2) - d?
True
Let i(g) = g**3 - 26*g**2 - 31*g + 108. Let p be i(27). Suppose 0 = 3*l + 5*s - 88, 2*l - s - 9 - 54 = p. Is l a multiple of 3?
False
Let q = -2680 - -3358. Is 6 a factor of q?
True
Suppose -n - 13 = -0*a - 4*a, a + 8 = 4*n. Suppose 3*l + a*j + 12 - 41 = 0, j = 5*l - 10. Is (l/((-12)/152))/(4/(-6)) a multiple of 19?
True
Let j(f) = 743*f**2 - 42*f + 275. Does 233 divide j(5)?
True
Let z(u) = -u**3 - 6*u**2 - u + 14. Suppose 0 = 5*v + 5*h + 20, -h - 7 - 5 = 3*v. Let m be 2*(30/(-4) - v). Is z(m) a multiple of 7?
True
Let a = 6681 + -2825. Does 159 divide a?
False
Suppose 4*x + x - 155 = 0. Suppose -7*i + 8*i - x = 0. Is 12 a factor of i?
False
Suppose -26*z + 12781 + 11165 = 0. Suppose 0 = -38*d + 1625 + z. Is 8 a factor of d?
False
Let v(c) = 6*c**2 - 45*c - 2. Let w be v(8). Does 54 divide (w/6)/((-32)/(-5184))?
True
Let y(c) = 15*c**2 + 316*c - 28. Does 9 divide y(-40)?
False
Let s(i) = 1858*i - 14267. Is s(12) a multiple of 31?
True
Suppose 784*k - 776*k + 408 = 0. Let w be (6/2)/((-7)/(-175)). Let i = w + k. Does 12 divide i?
True
Suppose -78*d + 1226034 = -9486. Is d a multiple of 96?
True
Let n(c) = c**3 - 6*c**2 + 4*c + 4. Suppose -2*m + 16 = 2*u - m, -12 = -3*m. Does 28 divide n(u)?
True
Let q = 21 - -16. Let w = -839 - -904. Suppose w = 2*c - q. Is c a multiple of 15?
False
Does 9 divide 11/((-858)/(-12)) + (-340104)/(-13)?
False
Let m = 63 + 9667. Does 3 divide m?
False
Suppose 0*o = 5*o + 5. Let j be 1 + (14 - (o - -3)). Suppose -1 = 4*p - j, 3*h = p + 75. Is 13 a factor of h?
True
Suppose 4*v = -4*s + 424, -12*s + 16*s + v - 427 = 0. Suppose a + s = 359. Does 13 divide a?
False
Suppose -411*i = -404*i - 8708. Is i a multiple of 62?
False
Let f = 6 - 8. Let y(c) = -24*c - 8. Let g be y(f). Is 3 a factor of (-30)/4*(-112)/g?
True
Let t = 1468 - 709. Suppose 8*v = 5*v - t. Does 26 divide -2 - 0 - -2 - v?
False
Does 160 divide -70*((-25381)/119 - -19)?
True
Suppose 31*u = 28*u + 9. Suppose -2*x + 4*d + 54 = 0, 60 = u*x - x - 2*d. Is x a multiple of 11?
True
Let a be (-12)/(-6) + -6*(-4)/8. Suppose -3*f - f + 5*t + 309 = 0, -4 = 4*t. Suppose 3*g = -2*w + f, -3*g + 30 + 74 = -a*w. Is 15 a factor of g?
False
Let o be (-89)/4 - -1 - 4/(-16). Is (-2 + -46 + 0)*o/1 a multiple of 12?
True
Let h = -210 + 280. Let b be (0 - 22) + (-2 - -2). Let u = h + b. Is u a multiple of 6?
True
Let i(x) = -x**2 - 10*x - 13. Let v be i(-5). Suppose v*f - 9*f = 267. Suppose -a - 22 = u - 2*u, f = 4*u - 5*a. Is 5 a factor of u?
False
Suppose -9*z = 13*z - 1386. Suppose j + 31 + z = 2*l, 5*j + 56 = l. Does 17 divide l?
False
Suppose -j + 0 = 20. Let v(i) = 2*i + 2. Let r be v(-6). Is (-18)/j*16 - (-4)/r a multiple of 7?
True
Let m(u) = 5*u**3 - 3*u**2 - 19*u - 9. Let o be m(5). Suppose -26*q + 490 + o = 0. Does 18 divide q?
True
Let n be (360/(-16))/((-3)/56). Suppose s - 3*s = -n. Suppose -4*p = -2*u + s, 7*u - 2*u = 3*p + 525. Is 21 a factor of u?
True
Let j = -73 + 133. Let a be ((-2)/3)/((-8)/j). Suppose 2*h = -3*y + 75, 0*y - a*y = 2*h - 85. Is h a multiple of 12?
False
Suppose 0 = -3*o + 2*v + 2721, 4557 = 5*o + 32*v - 28*v. Is 9 a factor of o?
True
Let n be 1/(2/4*-1). Let o(c) = -26*c - 11. Let r be o(n). Suppose r*y + 660 = 45*y. Is y a multiple of 33?
True
Let d(b) be the second derivative of 80*b**3/3 + 3*b**2 - 8*b + 2. Is d(1) a multiple of 18?
False
Let i(x) = -41*x - 6. Let b be i(5). Suppose -1576 + 6 = -5*o - 5*w, -5*o + 2*w = -1549. Let q = o + b. Does 25 divide q?
True
Suppose 0 = 4*b - g - 0*g - 28, -4*g = 5*b - 35. Suppose -b*j - 33 + 180 = 0. Suppose -j = -p + 21. Does 14 divide p?
True
Let i(a) = 28*a**3 + 3*a**2 + 2*a + 5148. Is i(0) a multiple of 198?
True
Let d be (-8 + (-120)/(-16))*-6. Is 10*(d/(-2))/((-6)/86) a multiple of 3?
False
Let j(a) = -151*a - 6. Let z be j(3). Let b = z - -1083. Suppose -11*y = -b + 184. Is 20 a factor of y?
True
Let c = -37 + -93. Let p = c + 270. Is p a multiple of 20?
True
Let l = -44 - -56. Suppose 0 = -4*o - l, 2*z - 216 = -3*z - 3*o. Suppose -6*d + 7*d - z = 0. Is 15 a factor of d?
True
Let n = -11762 - -17738. Suppose 19*f = n + 3220. Is 17 a factor of f?
False
Suppose 0 = -1156*s + 1028*s + 794496. Does 9 divide s?
False
Suppose 0 = -14*b + 7*b - 14. Let s(a) = 6*a**2 - 2*a - 7. Is 21 a factor of s(b)?
True
Suppose q + 8362 = 3*b - 8103, 3*b - 2*q - 16469 = 0. Let i = -7788 + b. Is 2/(-5) + i/(-15) a multiple of 17?
True
Let v(t) = -2633*t + 70. Is 35 a factor of v(-3)?
False
Let l(v) = 89*v - 21. Suppose 0 = k - 1 + 3. Let o(m) = 18*m - 4. Let g(z) = k*l(z) + 11*o(z). Does 23 divide g(6)?
False
Let b(x) = x**3 + 8*x**2 - 6*x - 45. Let u be b(-8). Suppose 3*w = u*d - 2031, 4*w - 1881 - 1459 = -5*d. Is d a multiple of 12?
True
Let i(r) = -r**2 - 12*r + 16. Let h be 54/(-4) + 7/14. Let n be i(h). Suppose 0 = -2*s - n*q - 1, -3*s - q + 0*q + 9 = 0. Does 2 divide s?
True
Let g = -799 + 1135. Suppose 0 = -0*n + n + 2*z - 177, 2*n - 5*z - g = 0. Does 5 divide n?
False
Does 8 divide ((-5)/4)/(-1 + 8950/8960)?
True
Suppose -2*d + 3*d - 4*v = 837, 3268 = 4*d + 4*v. Let h = 1254 - d. Does 49 divide h?
False
Suppose -13*o + 45760 + 6855 = 72*o. Is 4 a factor of o?
False
Let f = 400 + -615. Let x = f + 246. Is 2 a factor of x?
False
Let d(j) = -j