 = 0. Is j a multiple of 14?
True
Let l(b) be the first derivative of -1 + 4*b - 10/3*b**3 + 1/4*b**4 + 1/2*b**2. Is 14 a factor of l(10)?
True
Let f(z) = 4*z**2 - 17*z - 2. Is 2 a factor of f(-4)?
True
Let v be 1349 + (-1)/(4/(-12)). Suppose 2*m = -4*l + 1080, -2*l + 784 = 4*m - v. Is 19 a factor of m?
True
Suppose 5726 = y - 5*i, -2*y = 40*i - 42*i - 11500. Is 16 a factor of y?
False
Let k = 230 - 370. Let c = 145 - k. Is c a multiple of 39?
False
Suppose -68640 = -27*s + 31*s. Is (-6*(-3)/(-15))/(48/s) a multiple of 13?
True
Let h = 17334 + -15135. Is 16 a factor of h?
False
Suppose 3*x + 3*s = -2*s + 296, 4*x + 5*s - 393 = 0. Suppose -6*l + 65 = -13. Let y = x + l. Is y a multiple of 20?
False
Let h(d) = 51*d - 13. Let w be h(5). Let u = w - 89. Is u a multiple of 26?
False
Suppose -2*l - 10 = 0, -5*l = 7*i - 2*i + 5. Suppose i*j = 7*j - 936. Suppose 6*f + 3*q - j = 4*f, 3*f - 4*q = 485. Does 53 divide f?
True
Let g = -6352 - -8788. Is g a multiple of 203?
True
Let l be 4/(-2) + (0 + -1)*2. Let h(k) = -k**2 + 4*k + 4. Let a be h(4). Is 11 a factor of -2 + ((-512)/l)/a?
False
Let x(o) = 240*o + 329. Does 28 divide x(5)?
False
Suppose 303156 = 33*x - 132252 + 98775. Does 101 divide x?
True
Suppose -4*c = -u - 22128, c + 1231 - 6763 = -4*u. Is 75 a factor of c?
False
Let n = 120 + -121. Let r be n/(-3) + -50*1/6. Let t(y) = -y**3 - 5*y**2 - 6*y - 19. Is 13 a factor of t(r)?
True
Let b(v) = -v**2 - 4*v - 2. Let y be b(-3). Suppose 2*l = 3 - y. Suppose -l = -2*j + 43. Does 11 divide j?
True
Is 184 a factor of (-26086)/7*(-2 - 5)?
False
Suppose -3*h = 3*v - 96, 2*v - 10 = 2*h + 58. Is 3 a factor of 10 - 10 - (-11)/(v/54)?
True
Let k(u) = u**3 - 6*u**2 + u + 4. Let h be k(6). Suppose -h = -5*i - 0. Does 17 divide ((408/30)/2)/(i/5)?
True
Let d = -81 - -106. Let b be ((-4)/(-3))/(((-150)/(-504))/d). Let g = -6 + b. Is 13 a factor of g?
False
Let l = 1939 + -1666. Let t be -1 + (-2 - -1) - 150. Let a = l + t. Does 5 divide a?
False
Suppose 0 = 3*f - 18, 30*o - 35*o + 3*f + 225117 = 0. Is o a multiple of 64?
False
Let r(a) = 360*a - 125. Is r(23) a multiple of 64?
False
Let p(v) = 88*v**2 - 89*v**2 - 5 + 47*v**2 + v. Is p(-2) a multiple of 13?
False
Suppose 58*d - 61*d + 24307 = -i, -16 = 4*i. Is d a multiple of 65?
False
Suppose 27 = 15*q - 18. Suppose m + 2*x - 98 = 69, q*m - 515 = x. Does 35 divide m?
False
Let t(y) = y**2 - 26*y + 12. Let l(q) = 27*q - 12. Let c(w) = 3*l(w) + 2*t(w). Is c(12) a multiple of 12?
True
Is 3 a factor of (19588 + -50)*4/8?
False
Let f be ((-6619)/4 - 1) + (-12)/48. Does 46 divide ((-4)/(4/3))/(12/f)?
True
Suppose -10*n = -13*n + 15. Suppose -2*d - n*i + 64 = 0, 3*i + 2 = -4. Suppose 32*q + 255 = d*q. Is 10 a factor of q?
False
Let m be (-17)/(68/16)*(-3)/4. Suppose 4*y + 6*l - 2391 = 5*l, -m*l - 601 = -y. Is y a multiple of 13?
True
Let g be 13/(-39)*(-1)/((-1)/(-75)). Suppose -6*v - 3705 = -g*v. Does 17 divide v?
False
Suppose -9 = -2*h + 11*h. Is 38 a factor of -3 + (-83)/2*-12 + h?
True
Let g be (2 - (-1 - 0))*1. Suppose -g*v = 5*y + 317, 8*y - 4*y - 2*v = -258. Let i = y - -102. Does 9 divide i?
False
Let g(a) = a**3 + 13*a**2 + 8*a + 21. Does 57 divide g(-7)?
False
Suppose 0 = -127*j + 122*j + 60. Suppose j*p = -10*p + 6402. Is 100 a factor of p?
False
Let w = -18034 + 38383. Is 19 a factor of w?
True
Let c = -63 + 336. Suppose -4*l + 4*d = -876, 2*l + 3*d - c - 180 = 0. Is l a multiple of 14?
False
Let j = -20 + 32. Let r(v) = -v - 17. Let k be r(j). Does 16 divide -3 + (3 - k) + 3?
True
Suppose -x - 3*x = -3*z + 30318, -5*z + 2*x + 50516 = 0. Is z a multiple of 298?
False
Is 10 a factor of 2/(-9) - (-5 + 55433/(-9) - -4)?
True
Let y be (-47)/(-18)*-2 - (-10)/45. Is (-31248)/(-80) + 3/y a multiple of 39?
True
Is 2 a factor of (90/40 + -3)/(1/(-3 - 5125))?
True
Let r = -122 + 59. Let q = -63 - r. Does 24 divide q + (0 - -2) + (1 - -72)?
False
Let w(r) be the second derivative of 8/3*r**3 + 0 - 31/2*r**2 - 8*r. Is w(7) a multiple of 39?
False
Does 20 divide (-38)/171 + (-3 - (997446/(-54) + 5))?
False
Let c = -11497 - -28517. Is c a multiple of 185?
True
Let k be 6/(-4)*(-20)/30 - -35. Let i be k*(-42)/(-18)*(-1)/(-7). Suppose i*g + 28 = 13*g. Is g a multiple of 28?
True
Let j(f) be the third derivative of -4*f**2 + 5/3*f**3 - 5/24*f**4 + 1/120*f**6 + 1/15*f**5 + 0*f + 0. Is 10 a factor of j(-5)?
True
Suppose 3*g + 0*s + 5*s = 33, -5*g - 4*s + 42 = 0. Let b(v) = -v**2 - 5*v + 4. Let z be b(-4). Suppose -z*a + g*a + 54 = 0. Is a a multiple of 2?
False
Suppose -4*b + 28 - 764 = 0. Suppose 3*v = f - 265, -f - v + 263 = -3*v. Let o = b + f. Does 14 divide o?
False
Suppose 6*n - 13025 = 3277. Is n a multiple of 139?
False
Let m(p) = -p**2 + 19*p + 23. Let o be m(20). Suppose y + 362 = 2*a, -3*y = o*a - y - 536. Suppose -10*f - a = -15*f. Is f a multiple of 22?
False
Suppose -36*i + 170324 = -8*i. Does 18 divide i?
False
Suppose -3*z + 5 = p, z = -0*z - 5*p - 17. Let w be (-1 + 2)*(494 - z). Suppose 145 + w = 6*r. Is 19 a factor of r?
False
Suppose -5*k = -8*u + 13*u - 150, -u = -5*k - 6. Let w = 988 - u. Is 13 a factor of w?
True
Let a be 16/(-12) - 1135/(-3). Let u(y) = -y**3 + 3*y**2 - 4. Let t be u(2). Suppose 3*c - 4*q = 189 + 28, -5*c - q + a = t. Is c a multiple of 15?
True
Let t = -42 - -5. Let f(u) = -2*u - 37. Is 4 a factor of f(t)?
False
Suppose -4*z = f + 33, -2*z - 940*f = -943*f - 1. Let s be (-60)/(2/2) + -1. Let c = z - s. Is c a multiple of 18?
True
Let z(w) = 9441*w - 6257. Is z(4) a multiple of 49?
True
Is 189 a factor of (486/12)/(52/(-336) - (-3)/18)?
True
Let k(x) = 20*x**2 + 5*x - 36. Does 6 divide k(12)?
True
Let j(y) = 115*y - 4. Let g(v) = v + 1. Let a(l) = 4*g(l) - j(l). Does 19 divide a(-1)?
False
Suppose 27*i = -53*i + 16640. Is 2 a factor of i?
True
Let l = 432 + 713. Is l a multiple of 4?
False
Suppose -5*r - 2 = -122. Suppose 2*f = -r + 6. Is 15 a factor of 22 + f/(27/12)?
False
Suppose 0 = 5*s - 2*s - 3*w - 6981, s - 3*w - 2323 = 0. Is 13 a factor of s?
False
Suppose 5*g + 8*z - 13*z = 18600, -4 = -2*z. Is 9 a factor of g?
False
Suppose 24*q = 3*w + 23*q - 255, -2*q + 162 = 2*w. Suppose -y = -6*y + 280. Suppose -2*h = -3*l - 3*h + w, -3*h + y = 2*l. Does 14 divide l?
True
Let h(f) = 23 - 134 + 25 + 65*f - 89. Is 28 a factor of h(8)?
False
Let g(c) be the third derivative of c**5/20 - 3*c**3/2 + 3*c**2. Let v be g(-3). Suppose -n + v = 5*x, 3*n - 4*x + x = 90. Is 14 a factor of n?
True
Let n = 141 - 241. Let y = -1532 + 1751. Let z = y + n. Is 17 a factor of z?
True
Let y = 23 - 34. Let n = 29 + y. Does 3 divide 309/n + 2/(-12)?
False
Let a(u) = -78*u**2 + 2159*u - 10. Does 10 divide a(12)?
False
Let q = -40 + 42. Suppose o = q*o - 12. Let c(d) = 5*d - 20. Is 9 a factor of c(o)?
False
Suppose 2*w - 5*x - 765 = 0, 0 = -4*w - 2*x + 1850 - 284. Is w/4*((-28)/35 - -2) a multiple of 9?
True
Let j(w) = 107*w**3 - 2*w**2 + 73*w - 317. Does 43 divide j(5)?
True
Does 78 divide (-4)/(-12)*(-4893)/28*-52?
False
Let h be (142/(-6))/(((-39)/(-18))/13). Let l = h - -141. Let z(n) = -59*n**3 + 2*n**2 + 6*n + 5. Does 4 divide z(l)?
True
Suppose 39*g - 36*g = -3*x + 20025, 3*g = -2*x + 20025. Is 11 a factor of g?
False
Let c = 30 - 30. Suppose 0 = 3*j + p - 203, c*p - 343 = -5*j + 3*p. Let s = 123 - j. Does 18 divide s?
False
Let o(p) = 35*p**2 + 10*p. Let t(j) = 104*j**2 + 31*j - 1. Let z(w) = -8*o(w) + 3*t(w). Is z(-3) a multiple of 6?
True
Suppose -6*g + 9 = -21. Suppose -g*a = -20, 11 + 1 = -4*q + 4*a. Is 13 a factor of ((q - 1) + -7)/(12/(-96))?
False
Let n(v) = v**2 + 27*v + 227. Let o be n(0). Let t be 0/(-1) + 64 + 3. Suppose -s - 4*b = -t, 0 = 3*s - 2*b - o + 40. Is s a multiple of 7?
True
Let r(u) = 2 - 4 + u**2 - 33*u**3 + 34*u**3. Let q be r(1). Suppose -4*z + q*z + 168 = 0. Is 14 a factor of z?
True
Let h(d) = d**3 - 47*d**2 - 84*d + 318. Does 16 divide h(52)?
False
Let n = 40 - 40. Suppose -3*f = v + 20, v + n*f - 2*f = 0. Let x = 12 + v. Is x a multiple of 4?
True
Let h(y) = -490*y - 5602. Does 46 divide h(-15)?
True
Suppose -5*d - 100 = -5*h, -3*h + 5*d + 58 = 3*d. Let b = h + 87. Does 45 divide b?
False
Let l(y) = y - 28. Let g(n) = n - 28. Let h(f) = -2*g(f) + 3*l(f). Let i be h(8). Is 15 a factor of i*2*(1 + 44/(-16))?
False
Let q be (-4 - -4 - 0)/(0 + -1). Suppose -2*d - 9579 = -5