et z be 1400/(-24) + -2 + 14/6. Let l = z + 63. Let j(u) = 9*u - 5. Is 17 a factor of j(l)?
False
Suppose 18565 = 48*a - 65*a + 128878. Is a a multiple of 86?
False
Suppose -5*l = -45*l + 120. Suppose l*p + 1785 = 6*p. Does 41 divide p?
False
Let t(n) = n**3 - 8*n**2 - 10*n + 18. Let r be t(9). Let y(v) = r + 6*v - 10 + 158*v**2 - v - 2*v. Does 10 divide y(1)?
True
Let j(a) = -4*a**3 - 19*a**2 + 12*a + 8. Let g be j(-16). Is 108/810 - g/(-30) a multiple of 42?
True
Let y = -174 + 191. Suppose y*k - 163 - 2149 = 0. Is 34 a factor of k?
True
Suppose -3*h = f - 23101, 102*f + 5 = 107*f. Is h a multiple of 28?
True
Let c = 20 + -16. Let p(r) = -r**2 - 1 + 2 + c - 2*r + 25*r. Is 13 a factor of p(20)?
True
Let i be (-174)/14 + (48/14)/8. Let s(k) = -5*k**2 + 53*k + 13. Let j(n) = 2*n**2 - 18*n - 4. Let o(h) = -8*j(h) - 3*s(h). Is o(i) a multiple of 3?
False
Is 9 a factor of (193662/(-24))/(-7) + 3/(-4)?
True
Let s(c) = 296*c**3 - 4*c + 4. Let g be s(-2). Let w = g - -3460. Does 16 divide w?
True
Let d = -261 + 266. Suppose 0 = -0*g + 3*g + 4*a - 167, -2*g = -d*a - 119. Is 19 a factor of g?
True
Suppose 3047 = -4*n + q - 5242, -5*q = 3*n + 6234. Let l = n - -3017. Is l a multiple of 16?
True
Suppose 0 = 5*f - 5*p - 290, -187 = -3*f - f - 5*p. Let a be 0 - 9/(-3) - f. Let j = 56 + a. Does 2 divide j?
True
Let y be 12248/16 + (-1)/(-2). Suppose -3*i - 162 = -n, 0 = -4*n - 3*i + y - 193. Does 27 divide n?
False
Let m = 485 - 481. Suppose 0 = -m*p + 2821 + 635. Does 12 divide p?
True
Let y(k) = 2*k + 19. Let i be (2*(1 + -6))/1. Let b be y(i). Is 10 a factor of (b + -39)/(-4) - -1?
False
Suppose -2*b - 10 = -7*b, -3*b - 135 = j. Let z = j + 241. Let s = z + 185. Is 19 a factor of s?
True
Let n = -5696 - -8558. Does 54 divide n?
True
Let y be 42069/51 + (-14)/(-119). Let n = 143 + -80. Suppose -68*x + n*x = -y. Is x a multiple of 11?
True
Suppose 2*k = -4*z + 14754 + 12506, -3*z - 2*k = -20445. Is 7 a factor of z?
False
Let u(v) = -12*v + 348. Let y(o) = -o + 84. Let b(h) = u(h) - 4*y(h). Suppose w = -3*w - 60. Is b(w) a multiple of 18?
False
Is (5 + -1)/(12 + -28 - -15) - -21382 a multiple of 105?
False
Let f be (3/(-3))/((-1)/327). Suppose -2*m = 5*h - 846, 2*h + 0*m = 3*m + f. Suppose 3*g = -0*g + h. Is 8 a factor of g?
True
Let g(r) = 14*r + 3. Let n be g(0). Suppose 5*l + 5*j - 2720 = 0, n*j = -4*l + 864 + 1310. Is 11 a factor of l?
False
Let m = 41 + -71. Let k = -6 - m. Let h = 96 - k. Is h a multiple of 18?
True
Suppose 320*j - 319*j = 5*h - 41910, -5*h + 41910 = -4*j. Is h a multiple of 127?
True
Suppose -23968 = -59*c + 29842 + 47375. Is 16 a factor of c?
False
Let u = 23246 + 472. Is 134 a factor of u?
True
Let h(o) = 11387*o**2 + 19*o + 5. Is h(-1) a multiple of 195?
False
Let p = -4767 + 4882. Suppose 2*h + 146 = a, 0 = -5*h - a - a - 383. Let s = h + p. Is 8 a factor of s?
True
Suppose 0*z - 5*u = 3*z - 884, 0 = -3*z - 2*u + 890. Let x = -241 + z. Does 3 divide x?
True
Suppose -3*m - 39 = -5*a, -5*a + 2*m - 13 = -49. Suppose -2*l + 2 = -a. Suppose -l*w + 490 = w. Does 21 divide w?
False
Let q = -5976 - -9168. Is 19 a factor of q?
True
Let o = -39 - -42. Suppose p = -4*a + 396, -p - a = -o*a - 426. Is 48 a factor of p?
False
Let a = -2831 + 2833. Let l = -7 + 10. Suppose a*g - 596 = m, 2*m + 880 = 3*g - l*m. Is g a multiple of 44?
False
Let r be (-38)/8 + -10 - (-2)/(-8). Let l = 4 + 4. Is 10/r*(-852)/l a multiple of 20?
False
Let j(a) = -5*a + 7. Let w be j(-7). Is 153/6*280/w a multiple of 17?
True
Suppose 0 = 3*a - i - 222, -5*a + 6*i = 2*i - 363. Let c = -87 + a. Does 12 divide (4 - c/(-3)) + 63?
False
Suppose 15 + 19 = w - 4*u, 14 = 2*u. Is w a multiple of 7?
False
Let d(o) = 8*o**2 + 10*o - 513. Is d(17) a multiple of 6?
False
Suppose 71923 = 49*k - 38621. Is k a multiple of 5?
False
Let h be 46 - (-5 - (0 + 0)). Suppose 3*r = -5*o + 294, 5*o - 306 = -4*r + 91. Let a = r - h. Is a a multiple of 13?
True
Let d(r) = -r**3 + 35*r**2 - 13*r - 76. Does 13 divide d(28)?
False
Let i(x) = 11*x**2 - 7*x + 12. Let t(k) = -3*k - 31. Let m be t(-11). Is i(m) a multiple of 6?
True
Suppose 1689 + 3807 = 12*z. Suppose -11*f + z = -774. Does 56 divide f?
True
Is 188/(1542/3036 + 20/(-40)) a multiple of 42?
False
Let d be (1 + -5)/(-8)*-86. Let y = d + 46. Suppose -7*j = 5*r - y*j - 21, -14 = -2*r + 4*j. Is r a multiple of 5?
True
Let h(p) = -14*p - 40. Suppose 18*w - 5*w = -767. Let i = w - -51. Is h(i) a multiple of 24?
True
Suppose -393640 = 112*f - 177*f. Is f a multiple of 13?
False
Let u(b) = -244*b - 8348. Is u(-112) a multiple of 91?
False
Suppose 4*j - 528 + 12 = 0. Suppose 5*n - 882 = 3*p, j = -p - 2*n - 165. Let v = -138 - p. Does 26 divide v?
True
Let y be 2 - 3 - (1908 + -6) - -4. Is (-11)/(-110) - y/10 a multiple of 10?
True
Let q(h) = -h**3 - 9*h**2 - 9*h + 21. Let k be q(-11). Let x = k - 257. Is 25 a factor of x?
False
Suppose -3*t - 130 = -2*t. Let m = t + 85. Let h = -5 - m. Is 8 a factor of h?
True
Let g(u) = -u**3 - 4*u**2 + 16*u + 18. Let o be g(-6). Does 4 divide (9/o)/((-15)/(-5680)*-2)?
True
Let g be 9/21*301/2*-2. Let h = g + 224. Does 19 divide h?
True
Suppose -8 = -10*o + 12. Suppose -3*x + 18 = z, -3*z = o*z - 15. Suppose p + 5*b + 475 = 6*p, x*b = 3*p - 275. Is p a multiple of 10?
True
Suppose 2*h - 16 = h. Let r be 2/(2 + h/(-7)). Let y = r + 40. Is 7 a factor of y?
False
Let l(y) = -31*y**3 - 4*y**2 - 62*y + 1. Does 36 divide l(-7)?
True
Let w be 70/8 - ((-5)/20 - 0). Suppose -w*q + 264 = -465. Suppose -l - q = -328. Is l a multiple of 19?
True
Suppose 2222*h - 2228*h = -6486. Is 40 a factor of h?
False
Let n(c) = -29. Let z(m) = m - 27. Let i(h) = -3*n(h) + 2*z(h). Let r = 11 + -3. Is i(r) a multiple of 12?
False
Let q = -49 + 69. Suppose -2*b + 4*b - 5*y = 22, 0 = -3*b + y + q. Suppose -10 = -b*u + 4*u, -u + 173 = 4*l. Is l a multiple of 11?
False
Let n be 195/(-20) + 5 - 15/(-20). Does 10 divide 2/n - 1 - (-39)/2?
False
Is 63 a factor of (36*16/224)/(1/8841)?
False
Let p(y) = y**2 - y + 10. Suppose -3*w + 6 = 6. Let a be p(w). Let n(b) = 2*b**2 - 13*b + 2. Is n(a) a multiple of 9?
True
Suppose 0 = 4*o + z - 39958, 3*o - 8*z + 12*z - 29962 = 0. Does 222 divide o?
True
Is 113 a factor of (3277 + 0)*(8/256 - 155/(-160))?
True
Is 9*323/153 + 12815 a multiple of 18?
True
Suppose 63 = 5*v + 168. Is 42 a factor of ((-686)/v)/7*(-1 - -73)?
True
Suppose -7606 = -2*g + 2*z + 1766, g + z = 4686. Does 66 divide g?
True
Let w(b) = 8*b - 6. Let m be w(1). Suppose -x = 2*x + m*a - 260, -2*x + 148 = -5*a. Does 14 divide x?
True
Let h(t) be the third derivative of 3/2*t**3 + 1/60*t**6 - 5/24*t**4 + 0*t + 21*t**2 - 1/20*t**5 + 0. Is 9 a factor of h(4)?
False
Let k(c) = -102*c - 87. Let q be k(-8). Let a = q - 396. Does 32 divide a?
False
Let w(v) = -5*v**3 - 12*v**2 - 42*v + 85. Let l(a) = -12*a**3 - 25*a**2 - 85*a + 170. Let k(b) = -3*l(b) + 7*w(b). Is k(16) a multiple of 36?
False
Let i = -5411 + 9983. Does 4 divide i?
True
Suppose 36 = -8*n + 11*n. Suppose 14*b - 18 = n*b. Is 8 a factor of b?
False
Let p = -75 - -77. Suppose 3*f - 159 = p*d, -4*f + 40 + 170 = -2*d. Let u = f + 89. Is u a multiple of 10?
True
Let k(a) = -a**2 - 5*a + 15. Let j be k(-6). Let n(p) = -p**3 + 10*p**2 - 10*p + 23. Is 8 a factor of n(j)?
False
Suppose 1426195 + 799554 = 44*d + 155065. Is 12 a factor of d?
False
Let u = -82 + 86. Suppose 0*l = -u*l + 740. Suppose -67 = -7*j + l. Does 4 divide j?
True
Suppose 4*p + 20 = -n, -5*n + 5*p = -24 - 1. Suppose n = -65*c + 64*c + 632. Does 35 divide c?
False
Suppose 0 = 6*w - 376 + 58. Let i = w - 44. Is i/(-6)*((-112)/6 - -2) a multiple of 4?
False
Let p = -538 - -822. Suppose -p*k = -293*k + 11214. Is k a multiple of 11?
False
Let s(u) = -52*u**3 + 3*u**2 + 21*u + 46. Let w be s(-2). Suppose 0 = 5*i - 4*b - 0*b - 263, -3*i = 5*b - 180. Suppose w = 58*c - i*c. Is 12 a factor of c?
True
Let v = 193 - -465. Suppose -15*q + q = -v. Does 47 divide q?
True
Let f = -240 + 240. Suppose f = 5*y + 5*n - 1120, -3*y + 1100 = 2*y - 5*n. Is 6 a factor of y?
True
Suppose 2*h = -p + 21582 - 3691, -89455 = -5*p - 3*h. Does 67 divide p?
False
Let s(y) = 49*y**2 - 5*y + 30. Does 30 divide s(5)?
True
Let x = 19 + -25. Let y be (0/x)/((-3 - 0)/(-1)). Suppose -3*t + 4*g + 0*g = -443, y = -3*t - 5*g + 479. Does 22 divide t?
False
Su