 4*g = -2*s + 66482, 2*g - 4845 = -3*s + 28406. Does 13 divide g?
False
Let d = -755 + 760. Suppose -l - 2*u + 466 = 0, d*u + 466 = -12*l + 13*l. Is l a multiple of 42?
False
Suppose -3*q + q + 10 = 0. Suppose 4*u - 23*d - 508 = -27*d, 5*d + 413 = 3*u. Suppose 4*p - u = -5*n, -q*n + 4*p + 31 = -68. Does 23 divide n?
True
Let o(s) = -s**3 + 4*s**2 - 2*s. Let c be o(5). Let x be (-2 + 386)/(-4)*10/15. Let k = c - x. Is 8 a factor of k?
False
Let a be (39/(-26))/((-2)/(-4)). Does 23 divide ((-783)/2 + a)/((-6)/12)?
False
Let d = 7931 - 6441. Is d a multiple of 9?
False
Let r(d) = 5*d**3 - 61*d**2 - 17*d - 107. Let c(i) = 3*i**3 - 40*i**2 - 11*i - 71. Let o(u) = -8*c(u) + 5*r(u). Is o(-14) a multiple of 5?
False
Is 11 a factor of 5 + 23034 - 16*3/(-6)?
False
Suppose -10*r - 27684 = -13*r - 3*k, 36917 = 4*r + 5*k. Is r a multiple of 5?
False
Suppose 10*f + 7*f = 0. Suppose f = -10*n + 2766 + 114. Is n a multiple of 9?
True
Let s = 28 - 0. Let r = 7 + s. Does 33 divide (-3 - -8 - r)*(-6)/2?
False
Let l = 160 - 159. Is 12 a factor of 7 + -7 + 648/l?
True
Suppose 21*z - 17*z - 276 = -4*h, 4*h = -8. Is z a multiple of 71?
True
Suppose 117 - 123 = -x. Suppose -8*n = -x*n + 20. Let t(h) = 2*h**2 + 19*h + 11. Does 21 divide t(n)?
True
Suppose 27 = 4*b - 2*c + 5, 25 = 4*b + c. Suppose -v = b*v - 28. Suppose 11 = -v*l + 139. Does 16 divide l?
True
Let a(h) = -h**3 + 59*h**2 - 248*h - 368. Is 2 a factor of a(54)?
True
Let t = 40 + -37. Suppose q - 25 = -m + 139, q = t*m - 476. Is 6 a factor of m?
False
Suppose 106*t + v = 103*t + 300, -5*v = 5*t - 510. Does 11 divide t?
True
Let b be (-1)/(1/(-4)) + -4. Suppose -4*s - 3*x - 240 = b, -2*s - 84 = -3*x + 36. Is (s/9)/(-5)*9 a multiple of 12?
True
Is 42 a factor of (-117718)/(-16) - 294/784?
False
Let h be (472/14)/((-2)/(-7)). Suppose 0 = r + 65 - h. Is r a multiple of 3?
False
Let o be (2/10)/((-17)/(-85)). Let a be (2 - o)*1*(-77 - -26). Let v = a - -102. Is v a multiple of 17?
True
Let b(q) = 3155*q + 8. Let l be b(3). Suppose -l = -20*t - 1253. Is t a multiple of 17?
False
Does 66 divide -4 - (16 + (-16 - 796))?
True
Let m(c) = 2*c**2 + 23*c - 152. Does 5 divide m(8)?
True
Suppose -2*r - 64 + 18 = 0. Let c(n) = -6*n - 79. Does 8 divide c(r)?
False
Suppose 2*l - 10 = 0, o + 3*l - 2*l = -355. Is 7 a factor of ((o/(-16))/(6/16))/1?
False
Is (-2)/(-14) - (-6725415)/903 a multiple of 14?
True
Let t be ((-15)/(-6))/((-2)/(-4)). Let o be 7/3*3 - (-191 - -10). Suppose 4*h + o = t*u - u, -h - 235 = -5*u. Is 22 a factor of u?
False
Let v = 6199 + -5203. Does 3 divide v?
True
Let b be 20/15*(-45)/(-20). Suppose -1 + 13 = -b*w. Let x(y) = -6*y - 14. Does 5 divide x(w)?
True
Let t(l) = 8*l**2 + 392*l + 114. Is 145 a factor of t(35)?
False
Suppose -7*w = -0 + 119. Let g be 4*(w/(-4) - 4). Let t(m) = 34*m - 1. Does 24 divide t(g)?
False
Let o(a) = -a**2 + 22*a + 4951. Is o(0) a multiple of 11?
False
Let r = 42 - 98. Is 66 a factor of 18/(-4)*7392/r?
True
Let j be (138/(-3))/(0 - 2). Let m = -7 + j. Suppose 5*n - m = 134. Does 13 divide n?
False
Suppose 0*l = 4*l + 3*d - 64644, 64648 = 4*l + 2*d. Is 15 a factor of l?
False
Suppose -3*m + 685 = -563. Suppose v - m = -2*j, 2*j - 4*v = 275 + 131. Suppose -5*y + 6*y - 3*l - 56 = 0, 5*l - j = -4*y. Is 23 a factor of y?
False
Is 1/((-52)/(-2156540)) - (-53)/689 a multiple of 24?
True
Suppose 3*x - 8 = 2*c - 22, -2*x = 8. Is c/(-5)*-3 - (-810)/25 a multiple of 11?
True
Let d = 93831 + -53371. Is d a multiple of 35?
True
Let p(q) = q**3 + 4*q**2 - 5*q + 4. Let n be p(5). Let w be (4/(-10))/((-3)/(-30)*1). Is 7 a factor of n/3 - (0 + w + 4)?
False
Suppose -4*c - 1760 = -4*t, -c = 2*t - 516 - 373. Let f = -310 + t. Does 19 divide f?
True
Is 45/20*43320/19 a multiple of 16?
False
Suppose -32 = -5*j - 3*j. Let r be (3*j - 3) + (-9)/3. Let z(d) = -d**3 + 8*d**2 - 2*d + 12. Is z(r) a multiple of 12?
True
Let i = 486 - 481. Suppose 5*c - 2*c - 5*v - 3596 = 0, -1192 = -c - i*v. Is 63 a factor of c?
True
Let i be (-2 + 136/56)*77. Does 33 divide i/((2/6)/1)?
True
Let v(x) = x**3 + 7*x + 28. Let q be v(-3). Let f = -8 - q. Is 12 a factor of f?
True
Suppose -1344 = -7*n - 34580. Let l be 6/(-16) + n/(-32). Suppose l = 3*y - f, -2*y + 2*f - 16 = -108. Is y a multiple of 25?
False
Let z(f) = 39 + 76*f - 185*f + 83*f. Let i be z(-14). Suppose -p + i = 23. Does 35 divide p?
False
Suppose -32*p - 11*p + 890166 = -1080954. Is p a multiple of 48?
True
Suppose -3*i + 14 = 2*s, 0 = -s + 3 - 5. Suppose 2*r - 2*z - 96 = 0, i*z - z - 260 = -5*r. Suppose 0 = -8*c + 470 + r. Does 15 divide c?
False
Suppose 2*o = 3*a - 7 - 6, 0 = o + 5. Let d be a + (126 - -3)/3. Let x = d - -208. Is x a multiple of 42?
True
Let w be 852 - (2/2 + (2 - -1)). Suppose -2*u + 2*n = -436, -9*u + w = -5*u + 2*n. Is 6 a factor of u?
False
Suppose -3*q = -3*k - 1182, -5*k + 446 = 2*q - 363. Is q a multiple of 19?
False
Suppose -4*h = l + 781, 5*l - h - 784 = 6*l. Let x = -586 - l. Is x a multiple of 36?
False
Let t be (3590/20)/(3/(-2) - -1). Let g = t - -415. Does 41 divide g?
False
Let u(g) = -6*g**2 + 874*g + 219. Does 11 divide u(114)?
True
Suppose 33462 + 282907 = 94*k + 16321. Is k a multiple of 56?
True
Suppose c = -0*c + 2. Let q = -9330 - -9322. Does 19 divide q/32 + 1362/8 - c?
False
Suppose -184 = 8*m - 2392. Does 26 divide (91/28)/(3/m)?
False
Suppose 5*h - 3*d - 96 = 72, d = 2*h - 67. Suppose -4*q - 5*s = 23, h = -q + 2*s + 11. Let u = 24 + q. Is 6 a factor of u?
True
Does 92 divide (8/2 + -3)/((-5)/(-13260)) - 1?
False
Let u = 1631 - -129. Suppose -13*k + 5*k = -u. Does 48 divide k?
False
Suppose 498*v = 514*v - 288896. Is 244 a factor of v?
True
Suppose 25*k - 185976 = -38*k. Is 36 a factor of k?
True
Suppose 23*y = -14*y + 206571. Is y a multiple of 43?
False
Let w be 2/5*(18/9 + 3). Suppose 0 = 3*o + 2*v + 1 + 3, 11 = -w*o - 3*v. Suppose 0 = 2*j + 2*j - 5*m - 51, -4*j - o*m + 30 = 0. Does 9 divide j?
True
Let z be 2/13 + (-460)/(-52) + -6. Is 23 a factor of ((-20)/(-100) - 3197/(-15))*z?
False
Is 2/(-5) - (555/777 + 35739/(-35)) a multiple of 31?
False
Suppose -4*i = -20*z + 23*z - 78099, -22*z = -5*i + 97495. Is 9 a factor of i?
True
Suppose -5*w - 164 = -o - 2*w, -852 = -5*o - w. Suppose 9*q - 100 = o. Does 5 divide q?
True
Let d be ((-90)/4)/((-86)/1892). Let b = d + -454. Is 41 a factor of b?
True
Suppose -4*u + w = 5*w - 160, -116 = -3*u + w. Suppose 3*t + 316 = 2*g + 2*t, 0 = t - 2. Suppose u - g = -2*a. Is a a multiple of 20?
True
Let s(n) = -16*n**3 - 8*n**2 - 7*n - 14. Let h be s(-6). Suppose -k = -f + 1201, -4*f + k + h = -1605. Is f a multiple of 48?
True
Suppose 3*s = 14*j - 11*j - 960, 5*s + 970 = 3*j. Let b = 442 - j. Is 4 a factor of b?
False
Let p be 22/66 + ((-16)/(-6) - 2). Let c be (p - (1 - 1 - 1)) + -26. Does 7 divide c*((-231)/(-12))/(-7)?
False
Let r = -24795 + 40106. Is r a multiple of 61?
True
Let y = -135 + 73. Let v = y - -84. Suppose 0 = 3*w - 130 + v. Is 4 a factor of w?
True
Let n = 6 + -2. Suppose -2*s = s - w + 2, -3*w = -n*s + 4. Is 0 - (-4)/(-2) - 52/s a multiple of 8?
True
Let w(y) = y**2 - 16*y + 11. Let u be w(16). Let c(g) = -g**3 + 15*g**2 - 13*g + 6. Is 21 a factor of c(u)?
False
Suppose -6*v + 3148 - 97 = -5*i, -3*i = v - 497. Does 11 divide v?
True
Suppose -2*j + 6 = -5*a - 3, -12 = -2*j + 2*a. Let y(g) = 0*g + 8*g + 0*g**2 + j*g**2 - 8 - g**3 + 9*g**2. Does 20 divide y(16)?
True
Let d(v) = 25*v**3 - v**2 + 3*v + 8. Let r be d(3). Suppose -9*x = -r - 253. Suppose -4*n + x + 36 = 0. Is 10 a factor of n?
False
Let k(q) be the third derivative of 6*q**2 + 0*q + 4/3*q**3 + 5/12*q**4 + 1/20*q**5 + 0. Is 16 a factor of k(-4)?
True
Suppose -8*o + 4*o = -n + 12, 0 = -2*n - o + 24. Suppose -n*i + 2445 - 417 = 0. Does 84 divide i?
False
Let v(j) = 6*j**2 - 3*j + 9. Suppose -3*y - 12 = -2*i - i, 5*i + 4*y = 47. Suppose -5 = 3*r + i. Is 17 a factor of v(r)?
False
Suppose 3*l + 14 = -0*h + h, -14 = 3*h + 5*l. Let o be (146/(-6))/(h/(-6)). Suppose 5*c + 0*y = y + o, 1 = -c - 5*y. Is 14 a factor of c?
True
Let m be ((-3)/(-9) + 3)*18/12. Let l(f) = -6*f - 9. Let s be l(m). Let x = -20 - s. Does 3 divide x?
False
Let p be (-20)/(-70) - 261/7. Let t = p + 40. Suppose -t*u = -11*u + 176. Is 11 a factor of u?
True
Let x be (-9*4/12)/(-1). Suppose 4*m + 4640 = 4*d, -3*d - d + x*m + 4644 