e 12*k - 48 = f*k. Does 3 divide (-146)/(-10) - k/(-20)?
True
Let a(o) = 2 - 2*o - 76726*o**2 + 76734*o**2 + o**3 + 15. Let y = -16 + 9. Is 16 a factor of a(y)?
True
Suppose 4*t = g - 11, g = 5*t + 8 + 4. Suppose -g*o - 6*o = -18707. Is o a multiple of 61?
False
Let f be (21/(-6))/((-4)/40). Is 16 a factor of f*(1 - (-82)/14)?
True
Let g be 5 + -1 - 34/(-17). Suppose -2*q - 264 = -g*q. Does 6 divide q?
True
Let y(l) = l**2 + 13 + 18 - 30 + 10*l. Let g be y(-5). Is 126/4 + 2*18/g a multiple of 8?
False
Let c = -268 + 614. Let l = c + 70. Is 16 a factor of l?
True
Let p(t) = -4*t**2 + 2*t + 5. Let w be p(2). Let z(i) = 19*i**2 + 26*i + 10. Let s be z(w). Suppose -5*c + s = 3*g, -g + 253 = -0*c - 2*c. Does 14 divide g?
False
Let t = -1322 + 1606. Suppose -4*p = 2*r - 22, 6*p - 23 = 5*p - 4*r. Suppose -p*d = -4*d - 3*h + 67, -t = -5*d + 2*h. Is d a multiple of 29?
True
Suppose 8*x + 456 - 480 = 0. Does 10 divide (5/30*x)/((-4)/(-6376))?
False
Suppose -13*f + 11*f - 5*r = -12229, -3*f + 18352 = -r. Suppose 4*u - f = -5*n, 2*u - 3*n - 2424 = 651. Is u a multiple of 21?
True
Let g(i) = 182*i + 680. Is g(50) a multiple of 16?
False
Let q(n) be the second derivative of 2*n**4/3 + 5*n**3/3 + 20*n**2 + 2*n + 2. Is 16 a factor of q(-4)?
True
Suppose 4*v - 5260 = -4*a, 7*a - 12*a = -2*v + 2637. Let l = v + -712. Does 50 divide l?
False
Let i(h) = -2*h**2 - 3*h**2 + 6*h**2 - 2*h**2. Let t(g) = 15*g**3 - 5*g**2 - g + 2. Let l(s) = -3*i(s) + t(s). Is l(1) a multiple of 14?
True
Let l(q) = 2*q**3 + q**2 - 55*q + 10164. Is l(0) a multiple of 11?
True
Let y(z) = 125*z**3 - 39*z**2 + 220*z - 11. Is 35 a factor of y(6)?
False
Suppose -223 - 127 = -7*w. Suppose 0 = w*d - 48*d - 214. Is d a multiple of 2?
False
Let g(a) = a**3 - 3*a**2 - 14. Let v be g(4). Suppose p - 2*p - 31 = -l, -132 = -4*l + v*p. Does 4 divide l?
False
Let r be (6/(-8))/((-9)/24). Let z be 0*(-4)/16*1/r. Let o(q) = -2*q + 98. Does 17 divide o(z)?
False
Let n(t) = -5*t**2 - 5*t + 2. Suppose -4*j + 3 = -3*j. Let f be n(j). Let h = f + 116. Does 4 divide h?
False
Does 21 divide 28/(-210) - 13264064/(-330)?
True
Suppose 4*s + z - 680 = 0, 5*s - 510 = 2*s + 2*z. Suppose 0 = 7*y - 2*y - s. Let o = y - 6. Is 12 a factor of o?
False
Let w(t) = 9*t**3 + 3*t**2 - 3*t + 5. Let f be w(6). Suppose 6*r = f - 281. Suppose -7*s + 379 + r = 0. Is s a multiple of 24?
True
Let v = 662 - 657. Suppose -v*m - 1240 = -5*u - 3720, -m + 504 = -5*u. Does 19 divide m?
True
Let o(g) = -19*g**3 + 7*g**2 - 6*g - 28. Is o(-6) a multiple of 10?
False
Let i = -39 - -44. Let k(g) = -g**3 + 7*g**2 - 4*g - 1. Let n be k(i). Is 15 a factor of (n*1)/(-2 - (-7)/3)?
False
Let p = 54 + 9. Is (-18)/p - 240/(-7) a multiple of 9?
False
Suppose -4*b - 22 + 66 = 0. Suppose -4*q = -b - 381. Is 7 a factor of q?
True
Suppose 0 = 239*k - 2991115 - 2690154. Does 11 divide k?
True
Suppose 18*t - 61 = 11. Suppose 0 = 2*u + t, -v + 3*u = -u - 3. Does 6 divide v*((-72)/(-20) - 4) - -34?
True
Let q(m) = -4*m**3 + 173*m**2 + 65*m + 117. Does 130 divide q(43)?
False
Let j be (-2)/(5/(-310)*-8)*-18. Let i = 475 - j. Does 49 divide i?
True
Is 64 a factor of 5/(30/24) - 15/((-90)/179688)?
True
Let i(m) = -m - 3. Let s be i(22). Let x be (-20)/s - -122*1/10. Suppose -o = -2*y - 6*o + x, y - o = 3. Is y a multiple of 3?
False
Suppose -1970*n = -1947*n - 43263. Is 11 a factor of n?
True
Let q be 10/25 + 8/(-20). Suppose 5*s + 0 + 0 = q. Let j = 11 - s. Does 7 divide j?
False
Let o(i) = 19*i**2 + 18*i + 26. Suppose -3*m + 29 = -2*w + 2*m, -3*m + 15 = 0. Is o(w) a multiple of 6?
True
Suppose 17*c - 8375 = 22980 - 5685. Is c a multiple of 10?
True
Let r be (12/3)/((-4 - -2)/(-2)). Suppose 4*i + 0*t + r*t = 4, -i + 4 = -2*t. Suppose 0 = -5*d - 5*z + 135, -i*d - 103 = -6*d + z. Is 13 a factor of d?
True
Let u(x) = -x**2 + 29*x + 38. Let y be u(29). Suppose -6*h = -y - 28. Let o = h - -41. Is o a multiple of 4?
True
Suppose 27*k + 166819 - 545845 = 0. Is k a multiple of 17?
False
Let l = -33 - 193. Let b = -92 - l. Suppose j - b = -5*u - 2*j, u = 4*j + 13. Is u a multiple of 5?
True
Let v be ((-846)/360 + 6/10)*-172. Suppose -3*q = f - 107, 0 = 5*q - 4*f + 100 - v. Is q a multiple of 4?
False
Suppose -3*k + 153 = 6*k. Let o(b) = -b**2 + 20*b - 52. Let c be o(k). Does 42 divide c + -2 + 1 + 44?
True
Let t = -2982 + 3979. Does 7 divide t?
False
Suppose 4*s = 20273 - 1121. Suppose -s = -27*w + 2934. Does 8 divide w?
False
Suppose 0*q - 3*q - 5*f - 164 = 0, 0 = -2*q + 3*f - 84. Let p be (-3)/(-1) + -1 - q. Suppose -n = -2*u + 222, -u + 2*n + p + 61 = 0. Does 28 divide u?
False
Suppose -4131*d = -2*x - 4136*d + 12722, 25396 = 4*x + 4*d. Does 6 divide x?
False
Suppose 3*n = -t + 7, n - 18 = -4*t - n. Suppose t*q + 0*y = 5*y + 3, -15 = -5*q - 5*y. Suppose 0 = -q*h - 10*h + 1716. Does 23 divide h?
False
Let i be (27/(-21))/(-9) + (-2750)/(-7). Suppose -2*g + i = -0*g + 5*h, 2*h = -5*g + 951. Is 7 a factor of g?
True
Let u = 85668 - 49008. Does 65 divide u?
True
Suppose -425*y - 24864 = -869*y + 432*y. Is 7 a factor of y?
True
Suppose 116*u - 107*u = 189. Suppose -y + 4*x - u = -516, -490 = -y + 3*x. Is 19 a factor of y?
True
Let p(j) = 106*j + 84. Let s be p(-5). Let t = -251 - s. Is 13 a factor of t?
True
Let z be (-1)/((-3)/(-9)) + 23. Let x(o) = 3*o**2 + 19*o - 6. Let a be x(-7). Let v = z - a. Is v a multiple of 3?
True
Suppose -z + 182 = 5*s - 993, 5*z - 5*s = 5965. Let w = z + -681. Suppose 2*c = -77 + w. Is 14 a factor of c?
False
Suppose -3*p - 12*v + 17*v = -13130, 3*p = -3*v + 13074. Is p a multiple of 9?
True
Let z be 2/(-17) + 43326/(-493). Is 34 a factor of 2/(8/3) - 5918/z?
True
Suppose -16 = 6*q - 22. Is (-2 - -412*q/2) + -2 a multiple of 10?
False
Suppose -4*x - 45 + 53 = 0. Let a(n) = -51 - x*n + 53 - 2*n - 8*n. Is 10 a factor of a(-4)?
True
Let l be 0/(-9) + 3 - 2. Is ((-96)/(-240))/(l/85) a multiple of 17?
True
Let x(t) = -2*t**3 - 263*t**2 - 170*t + 426. Is x(-131) a multiple of 32?
False
Let b(v) = 5112*v - 11360. Is b(6) a multiple of 71?
True
Let v = 17957 + -10538. Does 104 divide v?
False
Let b = 83 - 80. Let m be ((-802)/b)/(6/(-9)). Suppose -9*n + 58 = -m. Is 3 a factor of n?
True
Let y be ((-80)/100)/((-10)/(-75)). Let q(d) = 2*d**2 - 4*d - 18. Let z(c) = 3*c**2 - 4*c - 19. Let b(p) = -6*q(p) + 5*z(p). Is 27 a factor of b(y)?
False
Let y(i) = 31*i - 22 + 5*i + 21*i. Let c be y(11). Suppose 0 = -11*n - 44 + c. Is 8 a factor of n?
False
Let y(m) = m**3 + 5*m**2 + 2*m - 2. Let b be y(-2). Let a(j) = 5*j**2 + 9*j - 7. Let n(q) = -2*q**2 + q + 1. Let u(o) = -a(o) - 4*n(o). Is 6 a factor of u(b)?
False
Suppose -6*s = -0*s - 6. Suppose -8*q + 1 - s = 0. Suppose q = -56*h + 57*h - 66. Is 15 a factor of h?
False
Let m(v) = 727*v + 11. Let t be m(1). Does 8 divide 78/(-6 + t/120)?
True
Suppose 1018 = 10*o - 2222. Suppose o = 10*c - c. Is c a multiple of 24?
False
Is 27/(162/(-12)) + (-30009)/(-3) a multiple of 130?
False
Suppose 2*n + 14*i - 11312 = 12*i, 0 = -2*n + 3*i + 11342. Is n a multiple of 149?
True
Suppose -2*i - 17 = -5*h, -2*i + 16 = 2*i. Suppose 14 + 286 = h*v. Is v a multiple of 4?
True
Suppose -c + 6*c - 55 = 0. Suppose 7*f + c*f = 918. Does 3 divide f?
True
Does 13 divide (144 - 162)/((-6)/5758)?
False
Let n = 77 + -76. Let t be n/(2/665)*2. Suppose 0 = 7*o - 3*o - 3*r - 532, -5*o + 5*r + t = 0. Is o a multiple of 13?
False
Let x(p) = p**3 + 7*p**2 - 8*p - 3. Let q be x(-8). Let a = 275 - 271. Is 31 a factor of ((-14)/a)/(2/(-112)) - q?
False
Let l be (-2 - ((-9)/3 - -4))*-8. Suppose 2*a = 5*a - l. Suppose a*k = 578 + 334. Does 22 divide k?
False
Let p(v) = 11*v**2 + 5*v + 10. Let u be p(-2). Let x = 7 + u. Let q = x + -33. Does 3 divide q?
True
Let v be 6096 - (8 + -4 - -2). Suppose 0*t = -21*t + v. Is 29 a factor of t?
True
Let m be 668 + ((-16)/(-6))/(18/27). Let r = 688 - m. Does 4 divide r?
True
Let h(w) be the first derivative of w**3/3 - w**2 + w - 9. Let k be h(3). Suppose -k*i + 9 = -11. Is 5 a factor of i?
True
Suppose 3*z - 7*z + 5060 = 0. Does 11 divide z?
True
Is 17 a factor of 19 + (-3507)/189 + ((-700724)/(-18))/2?
True
Let z(n) = -7746*n - 7226. Is z(-5) a multiple of 44?
True
Let k = 42428 + -22529. Is k a multiple of 24?
False
Let u = 5881 + -1345. Is u a multiple of 9?
True
Suppose 0*p = p - 24. Let u = 36 - p. Doe