 b(19)?
False
Let k = 0 + 1. Let h(x) be the second derivative of 31*x**4/12 - 2*x**3/3 + 3*x**2/2 - 5*x + 19. Is 4 a factor of h(k)?
False
Does 62 divide -2 + 19/((-247)/(-23894))?
False
Suppose 30150 = 4*r + 2*b - 49162, 2*r = -3*b + 39672. Is r a multiple of 56?
True
Let q = 119 - -133. Suppose -84*b + 80*b + q = 0. Is 2 a factor of b?
False
Let q(c) = -1576*c - 22. Let n be q(-1). Let v = 2822 - n. Does 17 divide v?
False
Is 2/13 - (-21 - (-238500)/(-325)) a multiple of 5?
True
Suppose -26*a + 155655 = -35523. Does 9 divide a?
True
Suppose 0*i + i - 3107 = -3*n, -2048 = -2*n + 4*i. Is n a multiple of 94?
True
Let x be 4/22 - (-477)/99. Let o = 4 + x. Suppose -3*z - 210 = -o*z. Is z a multiple of 35?
True
Suppose 0*u + 2*u + 554 = -2*a, 4*a + 1126 = 5*u. Let c = -139 - a. Suppose -2*o + 5*v = -c, 5*o - 106 = -4*v + 244. Is o a multiple of 5?
True
Let u(h) = 73*h**2 - 30*h - 89. Is u(6) a multiple of 47?
False
Suppose -104*g + 105*g + 5*j = 3340, 3*j = 15. Is g a multiple of 195?
True
Suppose 68*d = 2*n + 69*d - 3198, -n = -3*d - 1592. Does 47 divide n?
True
Suppose 0 = -5*n - 10, 0 = 3*u - 2*n - 5 + 4. Let o be (-84)/(-9)*((-165)/(-10))/(-11). Does 13 divide 36/((3/o)/u) + -2?
False
Let w = 69704 + -44811. Does 233 divide w?
False
Let l(n) be the second derivative of 0 - 25*n - 9/2*n**2 + 1/6*n**4 - n**3. Is 11 a factor of l(-4)?
False
Suppose 55*u + 51*u + 188583 = 1144279. Does 20 divide u?
False
Suppose 0 = -71*b + 122934 + 32201. Does 115 divide b?
True
Suppose p + 36 = -f, 8*f - 5*f - 3*p = -90. Is 22/f - (-3921)/9 a multiple of 19?
False
Suppose -4*f = 4*i - 6852, 12*i - 16*i = -f - 6842. Does 5 divide i?
False
Let y(x) = 62*x**2 - 13*x - 30. Let u be y(8). Suppose -4*l + u = 2*p, -945 = -l - 0*l - 5*p. Is l a multiple of 15?
True
Let g be (84/(-18) + 5)*30 - 6. Suppose -4*w = 2*h - 1780, g*h + w - 2262 - 1333 = 0. Is h a multiple of 12?
True
Suppose -4*j + 5*j + 3*d = 8009, -2*j + 5*d + 15996 = 0. Is 109 a factor of j?
False
Does 7 divide 615*(3/9 - 416/(-48))?
False
Let v(k) = 13 - 12*k**3 - 15 - 14*k**2 + 36*k**3. Is 67 a factor of v(2)?
True
Suppose -160*j = 161*j - 328*j + 20447. Is 33 a factor of j?
False
Is (576/81)/(2/4062) + 56/42 a multiple of 46?
True
Let y = 1764 - 188. Is 8 a factor of y?
True
Let d(j) = -48*j + 111. Let s(c) = 3*c - 85. Let g be s(25). Does 36 divide d(g)?
False
Suppose -3*z = -6*z - 5*i + 115, 2*i + 80 = 3*z. Let x(u) = -u**2 - 8*u - 25. Let k be x(-10). Does 18 divide (z/k)/(1/(-108))?
True
Let i(h) = h**3 + 17*h**2 - 6*h - 1. Let l = 570 + -578. Does 45 divide i(l)?
False
Let t be ((-21)/(-7) + 13)*2/2. Suppose 11*d = t*d + 40. Does 35 divide (-11 + d)*32/(-2)?
False
Suppose -180 = 4*s - 10*s. Suppose -5*b = 5*p + s, 3*p + 5*b = 8*p - 20. Does 17 divide 9 + -12 - (2 + p - 38)?
True
Suppose -72 = -0*j + 9*j. Let t(v) = -54*v - 23. Does 54 divide t(j)?
False
Let a = 0 + 26. Let c(j) = -30 - 6*j - 26*j + a. Is 10 a factor of c(-2)?
True
Let b(s) = 2*s**2 + 4*s + 7. Suppose -5*t + 22 = 5*c - 7*c, 5*c + 5*t + 20 = 0. Does 2 divide b(c)?
False
Suppose 20*g + 23*g + 793092 - 1893978 = 0. Is g a multiple of 51?
True
Let i(b) = -b**2 + 12*b + 1. Let p be (168/72)/(2 + 10/(-6)). Does 2 divide i(p)?
True
Suppose 830 - 872 = -6*j. Suppose -j*c + c + 3348 = 0. Is c a multiple of 15?
False
Suppose -5*i + c = -208, 4 = 5*c - 6. Suppose -91 = 7*t + i. Let d = t - -52. Does 11 divide d?
True
Suppose -747 = -12*m - 27. Suppose -5*k = 2*b - 23 - 9, -2*b + 2*k + m = 0. Is b a multiple of 26?
True
Let g = -192 + 196. Suppose -g*a = -5*d - a + 1535, -3*a - 915 = -3*d. Does 12 divide d?
False
Suppose -4*p + 5032 = 4*q, -8*p = -4*p + 3*q - 5030. Is p a multiple of 59?
False
Suppose 0 = -6*u + 1601 - 287. Let j be 2*((-6)/(-4) + -2). Is 13 a factor of j*u/(-6 + 3)?
False
Let o = 41964 + 21582. Does 34 divide o?
True
Let c(s) = 10*s. Suppose -9*a + 33 = -588. Let j = a + -68. Is 10 a factor of c(j)?
True
Suppose -2*p - 5*o = -390, 4*p - 3*o + 207 = 987. Is 4 a factor of p/8 + 12/(-32)?
True
Suppose 427 + 3803 = 9*a. Suppose 2*l - 106 = a. Is 48 a factor of l?
True
Is 8 a factor of (2785/7 + 9/(-1))/(10/35)?
False
Let y(s) be the first derivative of -s**7/840 - s**6/40 - s**5/15 - 5*s**4/8 + 3*s**3 - 9. Let x(q) be the third derivative of y(q). Does 11 divide x(-9)?
False
Let i(v) = 2*v**2 + 33*v - 4. Let k be i(-17). Suppose k*p - 19 + 71 = 0. Is (-9 - 23)*(10/p)/1 a multiple of 16?
True
Let t be (0 - (-4)/(-1))*(-15)/(-4). Let m be t/45*1/(1/6). Is 12 a factor of (20/(-12))/(3/324*m)?
False
Let y be 10/6*18/5. Let b = 6 - y. Does 23 divide (-75)/(-3) - b - (-4)/(-2)?
True
Does 166 divide (21 - 2830/6)*1*-6?
False
Let z(v) = 2*v**2 + v + 14. Let y be z(6). Let x = 207 + y. Does 17 divide x?
False
Let q(j) = -2*j**2 - 73*j + 172. Suppose -z - 38 + 6 = 0. Is 10 a factor of q(z)?
True
Is 16 a factor of (-166)/747 - (16931/(-9) - -2)?
False
Suppose 5 = -5*a + 5*m, 2*a + 3 = 5*m - 8. Suppose -i - a*c = -486, 2*i + 2*c - c - 984 = 0. Does 38 divide i?
True
Let b(x) = 27*x**2 + 9*x + 24. Is 12 a factor of b(-4)?
True
Suppose 4*k + 1 - 9 = 0, 2*g = -4*k + 4. Let i(m) = -175*m - 26. Is i(g) a multiple of 54?
True
Suppose -3*n = 5*j + 5, -j - 14 = -3*j + 2*n. Let p(f) = 19*f**3 + f**2 + 4*f - 3. Is 31 a factor of p(j)?
False
Suppose -57 = -j + 5*q, -j + 3*q = -4*j + 261. Let f = j + -72. Does 3 divide 25/(-10)*(-64)/f?
False
Suppose -176557 = 42*d - 2418349. Is 22 a factor of d?
False
Does 15 divide ((-12512)/644)/(4/(-1022))?
False
Let a = -4984 + 14184. Is a a multiple of 92?
True
Let d = -19494 - -33618. Is 44 a factor of d?
True
Let b(v) = -65*v**3 - v**2 - 3*v - 2. Let l be b(-1). Suppose l*q = 64*q + 709. Is 14 a factor of q?
False
Let p be ((-1)/(6/(-2676)))/(-2). Let y = 283 + p. Is y a multiple of 6?
True
Suppose -401*p - 89*p = -20383020. Does 223 divide p?
False
Let r be 51 + 4 + -10 + 4. Let x = 21 + r. Does 18 divide 6/2 - 9/(-6)*x?
True
Let m = 202 - 201. Does 19 divide (-8394)/(-21) + (-2)/(-7)*m?
False
Let z(u) = 10773*u**2 - 33*u - 3. Is 45 a factor of z(-2)?
True
Let i = -291 + 1992. Is i a multiple of 17?
False
Suppose 2341 - 15051 = 5*i - 2*v, -5065 = 2*i + 3*v. Is 2*1/(-11) + i/(-55) a multiple of 22?
False
Suppose 0 = 98*d - 103*d - 3*a + 45385, -d - 4*a + 9060 = 0. Is d a multiple of 14?
False
Suppose -3*n + 4*r = 48, 0 = -8*n + 7*n + r - 16. Does 16 divide ((-1)/((-20)/n))/((-3)/4260)?
True
Let w = -127386 - -179020. Is 73 a factor of w?
False
Let q = -17301 - -29682. Is 22 a factor of q?
False
Suppose -181*z + 172*z + 5847 + 15033 = 0. Does 70 divide z?
False
Let x = 17989 - 15788. Is 99 a factor of x?
False
Suppose g + 158 = 4*r, 3*g - r + 253 = -210. Is 11 a factor of -3 + 8 + 1 - g?
False
Suppose -2*j = 5*h - 77 - 186, 5*j - 692 = -h. Let r be -92*((-1)/1)/1. Suppose -j = -3*l + r. Is 22 a factor of l?
False
Suppose 5*s = r - 25, 0 = 2*r + 4*s + 6 - 0. Let h = -3 + r. Suppose 2*c + 196 = 5*u, h*u = u - 3*c + 46. Does 10 divide u?
True
Suppose -28 = -f + 2*k, -3*f + 64 = -3*k + 7*k. Suppose -4*d - f = -176. Is d a multiple of 17?
False
Suppose -21 = 5*r - 6, -4*y + 259 = -r. Suppose -w = -2*h + y, 6*h = 2*h - 2*w + 136. Is 5 a factor of h?
False
Is 66 a factor of (90/40)/((-17)/(-112200))?
True
Let o(t) = -5*t**2 - 18*t + 39. Let c(z) = 2*z**2 - z. Let j(p) = 3*c(p) + o(p). Does 17 divide j(23)?
True
Let m = 30 + -10. Suppose 2*b - 3*b + m = 3*z, 3*b = 5*z - 10. Let x(j) = 9*j**2 - 5. Is 20 a factor of x(b)?
True
Is ((-484)/(-20) + -2)*55 a multiple of 31?
False
Suppose 167440 = -128748*b + 128762*b. Is 10 a factor of b?
True
Let w(d) = -4*d**3 - 26*d**2 - d - 32. Let s(c) = -9*c**3 - 53*c**2 - 2*c - 64. Let z(t) = -3*s(t) + 7*w(t). Let o be z(-23). Does 19 divide -2*o/(-6) + 82 + 1?
False
Does 52 divide (-43369)/(-3) - 2/42*(-24 + 31)?
True
Let l = -441 - -441. Let h(q) = 2*q**2 + 15*q + 37. Is h(l) a multiple of 18?
False
Let z(h) = h**3 - 4*h**2 + 9*h - 14. Let j be z(3). Is j*6/24 + 742 a multiple of 63?
False
Let b(c) = -c**3 - 4*c**2 - 8*c - 10. Let o be b(-11). Suppose -3*n + 0*g + 545 = 5*g, 5*g = -5*n + o. Let x = -34 + n. Is 26 a factor of x?
True
Let a = 120120 - 67416. Does 31 divide a?
False
Suppose 66*n - 61*n - 4*x = 225, -3*x = 0. Suppose 0 = -4*q + 8, -3*b = 5*q - 46 - n. Is 2 a factor of