953 = -5*p - 5*s + 31382. Is 9 a factor of p?
True
Let c = -9309 - -28587. Suppose -c = -3*n - 15*n. Is 63 a factor of n?
True
Let x be ((-6)/(-7))/((-8)/(-15064)). Suppose 0 = -4*h + g + x, 11*h = 16*h - 2*g - 2019. Is 23 a factor of h?
False
Suppose 17*b = 6*b + 12*b + 5*z - 28385, 0 = -5*z. Does 26 divide b?
False
Suppose -4*d + 3*y + 963 = -3902, 2*d - y - 2433 = 0. Is 3 a factor of d?
False
Suppose -5*g + v = 337, 5*g = v - 3*v - 346. Let y = 71 + g. Is (y - 10/4)*28 a multiple of 7?
True
Let r be ((-3)/9)/(2/(-30)). Suppose r*k - 2*g = 76, -3*k + g + 26 = -19. Suppose -k = 4*s - 74. Is s a multiple of 5?
True
Let i(o) = -4*o - 45. Let k be i(-12). Suppose k*t - 182 = -158. Is t a multiple of 2?
True
Suppose 3*y + 24 = -3*f - 3, -f - 5*y = -7. Let w = 18 + f. Suppose 280 = 5*u + 5*q, -5*q + 0*q = -w*u + 270. Does 8 divide u?
False
Let z be 204 + (-3)/(0 - 1). Let s = z - 27. Is 16 a factor of s?
False
Let v = 12584 + -4559. Is v a multiple of 75?
True
Suppose -2322*a + 2296*a + 191100 = 0. Is 10 a factor of a?
True
Let t = -39250 + 70537. Is 48 a factor of t?
False
Suppose -24*l = -46*l - 9988. Let r = l - -688. Is 9 a factor of r?
True
Let a(r) = -3*r**3 + 7*r**2 + 19*r - 11. Let q(t) = -t**3 + t**2 + 1. Let b(z) = a(z) - 2*q(z). Let f be b(-9). Suppose -g - f = -11*g. Does 9 divide g?
False
Let o(p) = -51*p - 23. Let k(s) = s**2 - 9*s + 21. Let j be k(6). Let z be -1 - (7 - 8) - 1*j. Is o(z) a multiple of 26?
True
Suppose 0 = 2*s + 4*a - 3894, 2*s - 4*a + 9759 = 7*s. Suppose -8*u + 277 = -s. Does 18 divide u?
False
Suppose -t - 3*v + 74 = -152, 4*t + 5*v = 890. Suppose 3*g - t = 17. Let y = g - 37. Is y a multiple of 14?
True
Let o = 256 + -90. Let f = -16 + -69. Let s = f + o. Does 9 divide s?
True
Let t = 139 - 31. Let l = t + -78. Suppose y = -4*z + l, z + 53 = y + 8. Does 9 divide y?
False
Suppose -34*s = -32*s - 3*u - 51918, -259488 = -10*s - 2*u. Is s a multiple of 93?
False
Is 128/4*63*(-9)/(-6) a multiple of 108?
True
Let h be (-4)/(-22) - (2 - (-2745)/33). Let d = -87 - h. Is 4 + (d - 52*-1) a multiple of 16?
False
Let p = -160 - -163. Suppose -5*k + 90 = p*v, -3*k - 15 = -v - 83. Does 6 divide k?
False
Suppose 3*a + 15337 - 4510 = 2*f, f - 5415 = a. Does 86 divide f/4*(1 - 12/(-36))?
True
Suppose -79 = 4*v + 177. Let s = -44 - v. Suppose 25 = 3*r - s. Is 2 a factor of r?
False
Let n(h) = -h + 14. Let x be n(2). Let f = 8 - x. Is (-6)/((-72)/(-255))*f a multiple of 15?
False
Suppose 0 = 5*v - 9*v + 32, -a + 3*v = -38118. Is a a multiple of 26?
True
Let o(z) = 231*z**2 + z. Let w be o(-1). Is ((-64)/(-10))/(((-4)/w)/(-1)) a multiple of 11?
False
Let j(q) = -33*q - 328. Let n be j(-10). Let g = 722 - n. Is 37 a factor of g?
False
Suppose -25872 + 4947 = 31*h. Let r = h + 702. Is r a multiple of 5?
False
Let t(g) = -2*g**3 + 5*g**2 + 5*g + 2. Let h be t(-1). Let u(c) = 35*c**2 - 29*c + 100. Is 8 a factor of u(h)?
True
Suppose -4 - 24 = b. Is 23 a factor of b/(-16) - (-8436)/16?
True
Let s(v) = v**3 - 6*v + 24232 - 4*v**2 - 12111 - 12115. Suppose 5*b - 8 = 2*p, -4*p - 7*b + 44 = -2*b. Is s(p) a multiple of 21?
True
Let o(w) be the second derivative of w**6/360 - 13*w**5/120 - 2*w**4/3 - w**3/2 - 16*w. Let m(x) be the second derivative of o(x). Is 14 a factor of m(15)?
True
Let r(j) = -j**2 + 5*j - 2. Let w be r(4). Suppose -5*v = -4*o + 2, -2*v + o + w - 4 = 0. Does 23 divide (-11)/22 + v/(8/(-278))?
True
Is 42550*(-31 + 26 - 5/(10/(-11))) a multiple of 6?
False
Suppose 169*d + 4 = 171*d. Is 42 a factor of ((-6)/24)/(d/(-2096))?
False
Suppose -7442 - 225224 = -5*j - 2*g, 3*g - 232659 = -5*j. Is j a multiple of 8?
True
Suppose 473 + 148519 + 99777 = 9*t. Is 86 a factor of t?
False
Let o(w) be the third derivative of -275*w**4/24 + w**3/3 + 20*w**2. Is 12 a factor of o(-2)?
True
Let m be 16*(-57)/42 - 2/7. Let j = -20 - m. Is 20 a factor of (-478)/(-8) - j/(-8)?
True
Suppose 896 + 8212 = 11*l. Does 2 divide l?
True
Let c = -24 - -25. Let o be (-87)/(-1 - 2) - (-1 - c). Suppose o + 101 = q. Does 20 divide q?
False
Is 20*(658728/48)/21 a multiple of 109?
False
Does 65 divide 64452933/13583 - (1 + (-15)/17)?
True
Let n be (15/(-10))/((-1)/8). Suppose d = -d + n. Suppose -d*z = -z - 480. Does 16 divide z?
True
Let w(a) = 37*a**2 - 6*a + 1. Let z be w(2). Let g = z + -146. Does 25 divide 4 - (-6)/g*-444?
True
Suppose -5*f - 41981 = -4*s - 7118, 0 = 3*s + 7*f - 26158. Is s a multiple of 23?
True
Let r(n) = -n**3 - 7*n**2 - 4*n - 22. Let j be r(-7). Suppose b - 60 = -3*b. Suppose -5*c = -j*c + b. Is c a multiple of 5?
True
Let f be ((-264)/9)/(15/45). Let x = 685 + f. Is 26 a factor of x?
False
Let w(k) = -29*k - 11. Let r be w(-3). Suppose -z + 2 = -5*b, -4*z - b = -4*b - r. Does 10 divide z?
False
Is 21 a factor of ((64/(-24))/((-2)/231))/(4/98)?
False
Is 1620 + -1 - (-43 + 62) a multiple of 16?
True
Suppose -5*n + t = -54604, 3*n + 5*t = 19299 + 13497. Is n a multiple of 23?
False
Suppose 30544 + 28196 = 31*m - 62842. Is 53 a factor of m?
True
Suppose 9*i - 239 - 3037 = 0. Let a = 618 - i. Does 26 divide a?
False
Let m be (-18480)/(-297) - ((-2)/(-9) + 0). Suppose -168 = m*l - 69*l. Is 8 a factor of l?
True
Let j be -2 + 3 + -5 - -6. Suppose 0*v + 2*v - 61 = -3*a, -j*a + 60 = 2*v. Is v a multiple of 3?
False
Suppose m + 2*m - 3*y + 228 = 0, -m - 72 = 3*y. Let n = m - -45. Is 20 a factor of (-468)/n - -4 - 2/(-5)?
True
Let w(s) be the second derivative of 3*s**3 + 23*s**2/2 - 80*s. Is 12 a factor of w(3)?
False
Suppose -4*g = 5*g - 5418. Let v = g + -390. Is 18 a factor of v?
False
Let o = -4400 - -9272. Is 2 a factor of o?
True
Suppose 4*i - 21*n + 13 = -16*n, 4*n = 3*i + 11. Suppose 19 = -4*q + 5*h - 0*h, 2*q - 3*h + 11 = 0. Is 4 a factor of q/((-2)/14) + i - -2?
True
Suppose -322 = -u - 82*h + 87*h, 2*h + 8 = 0. Is u a multiple of 48?
False
Let y(t) = t**3 + 21*t**2 + 13*t + 17. Let x be y(-21). Let u = x + 153. Let l = u + 205. Does 11 divide l?
False
Suppose 5*p + 5414 = 3*o, 90 = 3*p + 93. Does 3 divide o?
True
Let l = -285 - -302. Suppose -l*x = -21*x + 9820. Is 13 a factor of x?
False
Let a(m) = 4*m - 7. Suppose 6 - 10 = -2*f. Let s be a(f). Is 4 a factor of (s + 2)/(-3)*-12?
True
Suppose 8*v = 4*v + 464. Suppose 10*u - 23 = 7. Suppose -4*k - k + 204 = 2*p, 2*p + v = u*k. Does 40 divide k?
True
Suppose 15 = 3*o + 6. Suppose -o*i + 3*m = m + 9, 2*m = -6. Let s(q) = -2*q**3 - 5*q**2 + 9*q - 4. Is s(i) a multiple of 13?
False
Suppose -2*d = -4*f + 3*d + 23, 12 = -4*d. Suppose 0 = -5*z - 25, 0 = -3*v - f*v + 4*z + 1150. Let i = v - 65. Does 41 divide i?
False
Is (6*(-5 - 1547/105))/(4/(-1880)) a multiple of 25?
False
Suppose 5*r - 3 = 7. Suppose -2*v - r*v + 3*u + 2 = 0, -4*u = v - 10. Suppose -4*n + v*p = -208, -p - 2*p = -5*n + 261. Is n a multiple of 37?
False
Let s(a) = -189*a + 441. Does 147 divide s(-21)?
True
Suppose 21592 = 13*d - 7619. Is d a multiple of 107?
True
Suppose 0 = -9*h + 4*h - 4*p, 0 = 5*h - 4*p. Suppose h = 3*l - 4*w + 158 - 500, 0 = 2*l + 3*w - 211. Does 47 divide l?
False
Let d = 438 - 411. Suppose d*j + 11035 = 39547. Does 11 divide j?
True
Let b = -467 - -183. Is 12 a factor of 1/(2 + b/138)*-12?
False
Suppose -3*n = -l + 303, n + 153 - 1300 = -4*l. Does 17 divide l?
False
Let u = -17725 - -21750. Is u a multiple of 115?
True
Suppose 0 = -l + 2*z, -4*z + 20 + 4 = 2*l. Suppose 0 = 12*w - 116 - 4. Is 1365/45 + w/l a multiple of 12?
False
Let p = -11636 + 22696. Is p a multiple of 116?
False
Is 7 a factor of 26775/300 + (-3)/(-4)?
False
Let g(b) = -b**3 - 11*b**2 - 28*b + 52. Is g(-12) a multiple of 133?
True
Let w = 75 + -39. Suppose 0 = w*j - 39*j. Suppose j = -3*y - y + 208. Is 26 a factor of y?
True
Let k be (-6)/(-27) - 3315/(-27). Suppose k = g - 4*g. Is 2 + (3 - -1 - g) a multiple of 14?
False
Suppose 52*w + 28579 = 75691. Is w a multiple of 45?
False
Let p = -5166 - -8267. Does 18 divide p?
False
Suppose 3*h - 2*u - 7 = 0, 0 = -3*h - 2*u + u + 19. Suppose 2*b = 1 + h. Suppose -330 = -4*w + i + i, -w + b*i = -90. Does 9 divide w?
True
Let r(q) = 7*q - 21. Let w be r(26). Suppose -18*p + 17*p = -w. Suppose -159*f - 308 = -p*f. Does 22 divide f?
True
Is (-3 - 4)/((-52)/39104) a multiple of 14?
True
Let t = -32 - -35. Let u be (3 + -2)/(t/12). Is 12 a factor of u/(-16) + ((-6740)/(-16))/5?
True
Let m be