et f = d + 19. Is 12 a factor of f?
True
Let z(o) = o**3 - 3*o**2 - 5*o - 12. Let l = 43 + -37. Suppose 3*v - 2*v - l = 0. Is z(v) a multiple of 16?
False
Suppose -5*b + 4*q = -169296, 975*b - 980*b + 169314 = -q. Does 24 divide b?
True
Let a = 243 - 239. Suppose 4*k = -a*d + 5*d - 38, -44 = -d - 2*k. Is d a multiple of 21?
True
Let o(v) = 28 - 22 - v**2 + 28*v - 56 - 43. Does 11 divide o(20)?
False
Let k(l) = -3*l + 33. Let x be k(7). Let h be (-36)/10*(-20)/x. Is 1*10*((-155)/(-10) - h) a multiple of 19?
True
Let w be 20/(-6)*(-57)/38. Suppose 0 = -5*v + 3*s - 309, 3*s = w*v + 5*s + 294. Let c = -2 - v. Is c a multiple of 29?
True
Suppose -312*m + 250*m + 47120 = 0. Does 19 divide m?
True
Let y(a) = -4*a - 25 - 3*a + 0*a**2 - 6*a**2 + 7*a**2. Let u be y(10). Suppose f = 6*l - 7*l + 67, 0 = u*l - 2*f - 328. Is 22 a factor of l?
True
Let f = 723 + -726. Is 12 a factor of 12/f + 205 - -4?
False
Suppose -60 - 44 = -2*m. Let d(t) = 3*t**2 + 5*t + 9. Let f be d(-5). Let u = f - m. Is u a multiple of 7?
True
Suppose 169*n = 166*n + 132. Suppose -26*j = -n*j + 3294. Is j a multiple of 5?
False
Let b(z) = -3*z + 2. Let y be b(-9). Let j = y - 24. Suppose -2*q + 196 = 2*w + 3*q, -j*w + 532 = 2*q. Is w a multiple of 11?
False
Let t = -218 + 127. Let h = -65 + t. Let s = h - -231. Is 28 a factor of s?
False
Let u(c) = 296*c**2 - 32*c - 101. Does 3 divide u(-3)?
False
Let g = -2589 - -4175. Let w = 2278 - g. Suppose -w = -6*h + 3*h - u, 2*h = 5*u + 450. Is 35 a factor of h?
False
Let b(d) be the third derivative of -3/2*d**3 - 1/120*d**6 + 27*d**2 + 0 + 0*d - 7/12*d**4 - 1/6*d**5. Does 18 divide b(-9)?
True
Suppose -7*o + 5*x = -23006, -4*o + 5*x = o - 16440. Is 67 a factor of o?
True
Suppose 6*l + 4*r - 3636 = 4*l, -1801 = -l - 19*r. Does 14 divide l?
True
Suppose -11*t - 1690 = 2*t. Is 30 a factor of (1734/(-85))/(4/t)?
False
Suppose g = -4*m + 3*g + 210, -3*g = -15. Let z = 62 - m. Suppose 0 = -z*k + 8*k - 29. Does 3 divide k?
False
Let n = 162 - -58. Let z = n + -94. Does 18 divide z?
True
Let h(i) = -81*i**3 - 25*i**2 - 46*i + 8. Is 155 a factor of h(-2)?
False
Let a be -3 + 0 - (2 - 1)/1. Is (-9928)/12*6/a a multiple of 17?
True
Suppose -4*q - 3*u = -5*u - 6, 2*q - 3*u = -3. Suppose 0 = -q*n + 25*n - 11132. Is n a multiple of 23?
True
Let p = 74079 - 34910. Is 15 a factor of p?
False
Let r = -12640 - -14332. Does 6 divide r?
True
Is 2 a factor of 9282/11 - (-80)/440?
True
Suppose -3*m + 1060 = -4*k, 4*m - 5*m = 2*k - 370. Let u = m + -258. Is u a multiple of 4?
False
Suppose -h - 90 = -5*n + 3*h, 4*h = 4*n - 76. Let b(d) = 2*d**2 - 29*d + 27. Let j be b(n). Suppose -j*y + 6*y = -336. Is y a multiple of 4?
True
Suppose -v = 4*f - 184, v - 92 = -2*f - 3*v. Suppose -a = -4*g + 3*g - 2, -4*g = 5*a - f. Suppose 72 = -0*s + a*s. Is s a multiple of 12?
True
Let s = -1447 + 3673. Does 14 divide s?
True
Let l be (3/(-9))/(3/(-27)). Suppose 2*s = l*j - 354, -111 = 13*j - 14*j + 3*s. Does 30 divide j?
True
Let y be 576/(-40)*(34 + -4)/(-1). Let a = 891 - y. Does 8 divide a?
False
Suppose -k - 1 = -5*d + 6, -k - 2*d = 0. Let u be (-156)/(-6 - k) - 5. Suppose -6*g - u = -166. Is 11 a factor of g?
True
Let o(t) be the third derivative of -t**5/60 - 53*t**4/24 + t**3/2 - 3*t**2 + 29*t. Is o(-39) a multiple of 16?
False
Suppose 0 = -5*s + o - 5*o + 1194, -5*s = -4*o - 1186. Let a = -214 - -218. Suppose -5*p - s = -i - 84, p + 673 = a*i. Does 33 divide i?
False
Let v be (-5)/((-10)/8) - 213. Let q = v + 294. Is 17 a factor of q?
True
Let w = 2066 + -614. Suppose k = d + w, -8741 = -4*k - 2*d - 2909. Does 14 divide k?
True
Is 7295/6 - 3 - 640/768 a multiple of 4?
True
Does 65 divide (-488712)/(-48) + 5/(-2) + 3?
False
Let u = 6425 + -5873. Is 8 a factor of u?
True
Let f(d) = -130*d**3 - 2*d**2 - 2*d + 3. Let i be f(1). Let n = i + 531. Is n a multiple of 50?
True
Suppose 5*y - 1 - 14 = -5*t, 2*t - 5*y = 6. Suppose t*d - 12544 = -13*d. Is d a multiple of 16?
True
Suppose -2*q + 41442 = -4*d, -d = 23*q - 26*q + 62163. Is q a multiple of 14?
False
Suppose -2*c - c = -4*m - 993, 4*c - 245 = m. Let d = -112 - m. Does 24 divide d?
False
Suppose 4*x + v = 16643, 3*x + 36*v - 12462 = 42*v. Is x a multiple of 27?
False
Let s = 183 + -183. Suppose n - 344 = 2*o, -2*n - 2*n + 5*o + 1388 = s. Does 44 divide n?
True
Let g = 109 + -105. Suppose -5*i - g*i = 0. Suppose 0*w + 5*w - 610 = i. Is w a multiple of 10?
False
Does 27 divide (-19)/((-988)/89778) + 3/2?
True
Suppose -5*f + 61 - 5 = -4*l, 5*l + 4 = -2*f. Suppose -1014 = -f*t + 5*t. Is 10 a factor of t?
False
Suppose 183103 = 61*l - 246398. Does 11 divide l?
False
Let w(a) = 2*a**2 - 12*a + 30. Let f = -30 - -14. Let y be (-1)/(f/(-20))*4*-1. Is w(y) a multiple of 4?
True
Suppose 0 = 21*k - 17*k + 8. Is 3 a factor of (k/(-3))/(18/243)?
True
Let g(w) = -7*w**3 - 2*w**2 - 8*w - 4. Let j = -61 - -58. Is g(j) a multiple of 18?
False
Let l be (11 - 13)*(2 + -3). Let o(b) = 34*b**2 + 7*b - 6. Is 18 a factor of o(l)?
True
Suppose -2*x + 170 = -0*x. Let j = 229 - 224. Suppose 4*s + x = 2*k + 3*s, 0 = -k + j*s + 47. Is k a multiple of 14?
True
Let q = 507 - 167. Let o = q - 40. Is o a multiple of 25?
True
Is 19 a factor of (-8 - -13)*912/30?
True
Let o be (-2)/6 + 13/3. Suppose -27*m + 96 = 5*m. Suppose z + 4*a - m = 2*a, a = o*z - 12. Is z even?
False
Let l = -17 + -471. Let n = l - -584. Does 16 divide n?
True
Let v be 1*-2*(-19 + 20). Is 33 a factor of (3/6)/(v/(-456))?
False
Let u = -16134 - -24716. Does 31 divide u?
False
Let b(a) = 2*a - 42. Let w be b(20). Let t be -1 + 3/(-2)*w. Suppose -m = -2*c - t*m + 53, 4*c = -5*m + 103. Does 3 divide c?
True
Let h = -10406 + 18125. Is 139 a factor of h?
False
Suppose 10885 = c - 5*y - 7645, -2*c + y = -37087. Is 5 a factor of c?
True
Is 689554/102 - 2/(12/(-10)) a multiple of 69?
True
Suppose -4*q = -5*r - 55619, -2*q - 3*r - 6969 + 34762 = 0. Is q a multiple of 44?
False
Suppose 18*x - 5*x = 22360. Suppose -1448 - x = -11*b. Let r = -162 + b. Does 18 divide r?
True
Let w(c) = -c**3 + 18*c**2 - 77*c + 889. Does 31 divide w(16)?
False
Suppose -2*k - 259 = 5*o - 6, -2*o + 4*k = 106. Let r = -46 - o. Suppose -800 = -13*q + r*q. Does 20 divide q?
True
Let v be (-29)/(-7) + 1*(-3)/21. Suppose -4*i = -2*u - 12, u - v*u - 5*i - 40 = 0. Let c(z) = 2*z**2 + 3*z - 8. Is 27 a factor of c(u)?
True
Let w = 31848 + -24617. Does 13 divide w?
False
Suppose -9*t = -115 + 88. Suppose -4*n + 20 = 0, 3*v - n - 2902 = -t*n. Is 76 a factor of v?
False
Let b(i) = 72*i**2 + 35*i + 104. Is b(-6) a multiple of 88?
False
Suppose 24*z - 315 = 33*z. Let o = 274 + z. Does 13 divide o?
False
Let d = 574 + -16. Let h = -426 + d. Is h a multiple of 12?
True
Suppose 2*d + 31 - 1 = 0. Is 10 a factor of -50*((-384)/d)/(-8)?
True
Let f(t) be the first derivative of -t**3/3 + 3*t**2/2 + 4*t - 6. Let j be f(0). Let c = j + 46. Is 5 a factor of c?
True
Suppose 3 = b + 4*z, 5*z + 3 = -b + 6. Suppose -2*k - b*w - 310 = -992, -2*w = -4*k + 1364. Is k a multiple of 9?
False
Let r(m) = m**2 + 9*m + 19. Let f be r(21). Let h = -343 + f. Is 17 a factor of h?
True
Let a be (-271 + -7 - -6) + 4/(-1). Let q = 315 + a. Is q a multiple of 13?
True
Suppose 0 = 9332*l - 9322*l - 840. Is l a multiple of 3?
True
Suppose 365*i - 370*i = -15340. Is 26 a factor of i?
True
Is ((-2277)/(-506))/(2/(-516)*-1) a multiple of 27?
True
Let s(u) = 4*u + 2. Let d be s(-1). Let g be d - ((2 - 3) + 3). Is 2/(-3)*126/g a multiple of 6?
False
Let c = -16 + 11. Is 67 a factor of (-1)/c - (-71680)/100?
False
Let x(i) be the first derivative of i**5/20 + 11*i**4/12 + 2*i**3 + 7*i**2/2 - 21*i - 11. Let c(o) be the first derivative of x(o). Is 11 a factor of c(-9)?
False
Suppose 2*v - 4*v + 50 = 0. Let q = v - 23. Suppose -5*w + 150 = 4*o, 5*w - 131 = q*o + 19. Is 12 a factor of w?
False
Let z = 27 - 27. Suppose 2*p = -10, z = -h + 7*p - 5*p + 710. Is h a multiple of 20?
True
Let d = -928 + 3611. Does 18 divide d?
False
Let k(g) = -3*g**3 + 33*g**2 + 178*g - 16. Does 5 divide k(-5)?
False
Let v(g) = 3*g + 2. Let f = -3 - -4. Let m be v(f). Suppose -m*s + 229 = 5*h - 2*s, -5*h + 217 = -s. Is h a multiple of 44?
True
Let n(v) = -6*v + 5. Let z be n(0). Suppose 0 = -m - 5*d + 240, z*d - 942 = -4*m + 3*d. Is m a multiple of 13?
False
Let d(h) = 11*h**2 + 50*h + 2