 Suppose 2*j - x*k - 328 = 0, 4*j + 336 = 6*j - 2*k. Is 14 a factor of j?
False
Suppose 0 = d - 2*j - 431 - 2803, -5*j + 12975 = 4*d. Suppose -89*n = -69*n - d. Is 18 a factor of n?
True
Let l = 2720 + 1785. Does 17 divide l?
True
Suppose -9*d + 13*d - 9860 = 5036. Is 97 a factor of d?
False
Let t = 7625 - 7517. Let i = 0 - -3. Suppose -3*y - i*m + t = -93, -130 = -2*y - 3*m. Does 42 divide y?
False
Let p(d) = -3*d**3 + 424*d**2 + 294*d - 258. Does 7 divide p(142)?
True
Let a be 345*((-22)/6 + -10 + 14). Suppose 2*f - 246 = -4*s, a = 12*f - 11*f + 4*s. Does 3 divide f?
False
Let z = -6237 - -7018. Is z a multiple of 3?
False
Let b = -17 + 30. Suppose -16 = -4*y + q, 4*y + 5 - b = -q. Suppose y*c + 271 = 4*a, -2*a - 139 = -4*a + 5*c. Is 9 a factor of a?
False
Suppose 0*x = -2*x + 50. Suppose -i = -2*i + 5*p - 21, -p + x = 5*i. Suppose 2*v = i*d - 226, 3*v - 245 = -5*d - 2*v. Does 27 divide d?
True
Suppose 5*c - 5*q - 39 - 26 = 0, c + 2*q = 4. Suppose -5*n + 4*n = 50. Is 8 a factor of (-20)/n + 796/c?
True
Let k(q) = q**2 + 6*q - 3. Let y be k(-7). Suppose -4*f - d + 18 = 0, -3*d - 14 = -y*f - f. Suppose f = -b + 5*v + 16, -16 = -b + 3*v. Is b a multiple of 5?
False
Let b(h) = -h**3 - 66*h**2 - 504*h + 163. Is b(-63) a multiple of 41?
True
Suppose 0 = -13*c + 12*c + 4. Let i(v) = 53*v - 11 + c - 71*v. Is 4 a factor of i(-1)?
False
Let j(o) = -5*o**2 - o + 2. Let h(x) = -4*x**2 - x + 1. Let s(l) = -4*h(l) + 3*j(l). Let a be s(-4). Is 22 a factor of a/(-42) - (-448)/3?
False
Suppose -3*b = -4*g - 4, -3*g - 2 = -4*b + 15. Suppose -2*u - 296 = -2*f, f - 4*u = -b*u + 143. Is f a multiple of 9?
False
Let t(r) = -r**2 - 40*r + 13. Let s be t(-37). Let f = s + -122. Does 2 divide f?
True
Suppose -288*a = -216*a - 170640. Is 15 a factor of a?
True
Let d = -394 + 17. Let c = d + 660. Is 6 a factor of c?
False
Let o(m) = m**3 - 2*m**2 + 2*m + 41. Let f be o(6). Let c = f + -170. Is c even?
False
Suppose 5*l - 2*b - 10 - 16 = 0, -3*l = 4*b. Suppose -4*t + 4*y + 272 = 0, t + l*y - 59 = 19. Is 35 a factor of t?
True
Suppose 3*f - 45 = 18. Let w be (-6)/f + (-204)/(-28). Suppose w*t - 266 = 602. Is t a multiple of 31?
True
Let g(o) = o**2 - 3*o - 5. Suppose 2*a + 9*a = 132. Let f be g(a). Suppose -r + f - 32 = 0. Does 9 divide r?
False
Suppose 37 = z - 2*a + 5, 0 = -5*z - 3*a + 173. Let r = z + -30. Let m = r - -23. Does 4 divide m?
False
Let s be 0 - -4 - (-33 + -39). Suppose -3*q - q - 2*c + 326 = 0, -c - 77 = -q. Suppose -s*a - 128 = -q*a. Is 3 a factor of a?
False
Let h be -2 - (-3)/(3/8). Suppose 1014 = 12*t - h*t. Is 45 a factor of t + 7 - (-3 - 1)?
True
Let a be (-5616)/96*(-20)/18. Suppose 2*m - 2*h = -2*m + 22, 4*m + 8 = -4*h. Suppose -5*c + m*d + 133 = -a, 5*c + 5*d = 230. Does 12 divide c?
False
Suppose 14*d = 40*d - 101042 - 9874. Does 79 divide d?
True
Let d(o) = -12*o - 15. Let n be d(-10). Let h = -82 + n. Is 4 a factor of h?
False
Let k(v) = 163*v**3 - v**2 - 5*v + 15. Is k(2) a multiple of 29?
True
Is 11 a factor of ((-297)/5)/((-105)/875)?
True
Let h(b) = 9*b - 146. Let m be h(39). Let l = 230 - m. Is 2 a factor of l?
False
Is -40*((-507 - -4) + -5 + 0) a multiple of 32?
True
Let q = 4 - 4. Suppose 72 = 10*w + 52. Suppose -w*z - 3*p + 71 = q, 3*p = z + 2*p - 43. Does 10 divide z?
True
Suppose h = -5*l + 5 - 1, -8 = 5*h - 3*l. Let v(g) = 491*g**2 - 7*g - 5. Is v(h) a multiple of 29?
True
Is 66 a factor of (1 - (-16885 + 0))*(1830/(-60))/(-61)?
False
Let w = 58 + 67. Suppose 5*y + w = 975. Is y a multiple of 31?
False
Let c = -114 - -43. Suppose 35*z = 2082 + 2363. Let q = c + z. Does 8 divide q?
True
Suppose 5*b - 2*b = 18. Suppose 5*i + p - 2700 = 0, -4*i + b*p - 7*p = -2160. Does 30 divide i?
True
Let l = 11 + 8. Suppose 3*r = 746 + l. Let k = r + -145. Is k a multiple of 17?
False
Let z be 16/5 - (-15)/(-75). Suppose -z*q - 2*y + 0*y = -148, 5*q - 3*y - 234 = 0. Suppose 3*x = -n + q, -4*n + 5*n - 53 = -2*x. Is 9 a factor of n?
True
Let k(g) be the second derivative of -g**4/4 + g**3/3 + 21*g**2/2 - 16*g. Let o be k(9). Let h = o - -345. Does 38 divide h?
False
Let g = 709 + -709. Suppose 3*u + g*z = -5*z + 2034, 0 = 2*z - 6. Is 15 a factor of u?
False
Let b = 2207 - 1607. Is 15 a factor of b?
True
Let v(z) = -z + 18. Let f be v(15). Suppose -3*c + 5*c + g - 6 = 0, 0 = 3*g. Suppose -p + 82 = c*i, 5*i - 5*p + f*p - 133 = 0. Does 2 divide i?
False
Let f(u) = 13*u - 17. Let w be f(14). Let c = -25 - -28. Suppose -c*k + w = -258. Is 23 a factor of k?
False
Suppose 62 = 137*y - 212. Suppose 0 = -t + 3*t - 6. Suppose 3*j = 6*p - y*p - 29, t*j = -2*p + 19. Is p a multiple of 2?
True
Let l = -56799 + 27734. Is 13/78 - l/30 a multiple of 44?
False
Let h = 602 - 357. Suppose -2*g = -a + h, 3*a - 3*g = 508 + 224. Is a a multiple of 8?
False
Suppose 0 = 4*n - p - 13, 0*n - p + 7 = n. Suppose -514 + 94 = -n*z. Does 35 divide z?
True
Let l = -6977 + 7149. Is 86 a factor of l?
True
Suppose 2*c + 8 = 0, -5*b + 8*b - c - 19678 = 0. Is 109 a factor of b?
False
Let q be 82*((-2 - -5) + -5). Let d = q - -846. Is 15 a factor of d?
False
Let u(q) = -q**2 - 23*q + 2. Let s be u(-21). Suppose 48*d - 468 = s*d. Does 5 divide d?
False
Is (620/(-45))/(118/(-531)) a multiple of 3?
False
Suppose -35*s = 2*s - 212121. Does 130 divide s?
False
Let y(x) = 83*x**2 + 94*x - 201. Does 54 divide y(11)?
False
Let d = -102 + 116. Is (427/d)/((-4)/(-56)) a multiple of 14?
False
Let s be (-35)/(-20)*-12*8/(-12). Suppose 2*h - 6 = s. Is h - (18/(-3))/(-2) a multiple of 7?
True
Suppose -562*t + 548*t + 101528 = 0. Is 74 a factor of t?
True
Let k be 9602/16 + ((-75)/(-40) - 2). Suppose -17*w + 13*w + k = 0. Is w a multiple of 25?
True
Suppose 0 = 5*n - 15, 5*y - 13 = n - 16. Suppose 88*q - 78*q - 2080 = y. Does 52 divide q?
True
Suppose -6*s + 910 = -464. Let l = s - 211. Is l even?
True
Let q(x) = 4*x + 40. Let t be q(-7). Suppose 6*w = -0*w - t. Is w/17 + 5071/187 a multiple of 27?
True
Suppose -50*f + 415741 - 56347 + 252056 = 0. Is 15 a factor of f?
False
Is 23 a factor of ((-8)/(-2) + -1)/(257/1099446)?
True
Suppose -5*d = -4*m + 60797, 15198 = m + d - 2*d. Is m a multiple of 30?
False
Suppose 11*z - 1365 = 16*z. Let n = z - -507. Does 26 divide n?
True
Suppose 72*b + 199*b - 2989590 = 403059. Is b a multiple of 117?
True
Let w = -221 + 227. Suppose -v + w*v + 434 = 3*z, -2*z + 3*v = -288. Is 6 a factor of z?
True
Let z be 6*-2*(354/24 + -4). Let r = z + 255. Does 23 divide r?
False
Let k(h) = -h**3 + 26*h**2 - 2*h + 777. Is 294 a factor of k(21)?
True
Let w = 50 + -68. Let b be 2/w + (-3404)/(-18). Suppose 4*m + 37 = b. Is 10 a factor of m?
False
Let p(n) be the second derivative of 233*n**3/3 - 3*n**2 + 3*n + 6. Is 28 a factor of p(1)?
False
Let g be ((-6)/84)/((-4)/14)*20. Suppose g*b = 2*b + 768. Suppose v - 256 = -3*a, v + 0*v - b = 3*a. Is 40 a factor of v?
False
Suppose 4*k - 2326 - 1696 = 2*p, -5*k + p = -5035. Let f = k + -618. Is 5 a factor of f?
True
Does 27 divide (-42 + 4)*(162/(-4) + -2)?
False
Let d = -94 - -106. Is 4 a factor of d/30*(-30)/(-2) + 23?
False
Suppose 10*c + 0 + 20 = 0. Let z be 1/(-5) + c/(-10) + 2. Suppose 13 = z*m + 3. Does 3 divide m?
False
Suppose 0 = 6*h + 96*h - 1313266 + 196468. Is h a multiple of 16?
False
Is 131 a factor of (29 - 31)*(2 + 13186/(-4))?
False
Let d = -43 - -239. Suppose -5*o = -u - d, 2*u - u = -3*o + 124. Is o even?
True
Suppose 9164 = 5*l - i - 10741, -3*l + 11955 = -3*i. Does 10 divide l?
True
Let u(s) = 2*s**2 + 20*s + 50. Let w be u(-5). Suppose -2*r - 2 = 0, w = 3*v + 3*r - 33 - 66. Is v a multiple of 34?
True
Let d = -44 - -87. Suppose 0 = -42*p + d*p - 10. Suppose 280 = -p*a + 12*a. Does 14 divide a?
True
Does 14 divide -306*(7 + -2*19/4)?
False
Let a(s) be the second derivative of s**6/360 - s**5/120 + 5*s**4/6 - 11*s**3/2 - 41*s. Let d(i) be the second derivative of a(i). Is 20 a factor of d(0)?
True
Suppose -661*s - 3960 = -669*s. Let l = s - 341. Does 14 divide l?
True
Let l = -1913 + 4136. Is l a multiple of 23?
False
Let f(o) = -o**3 + o**2 + 5*o + 13. Let w be f(4). Is 57 a factor of w/12 - 6404/(-16)?
True
Suppose -76407 = -126*r + 541623. Does 136 divide r?
False
Let x(g) = -3*g - 24 + 0*g + 104 + 7*g + 19*g. Is x(20) a multiple of 15?
True
Let t = 191 - 186. Is (-488)/t*(-42 + 37) a multiple of 61?
True