?
False
Let m = 776 - -12646. Does 20 divide m?
False
Suppose -22 = 9*g - 49. Suppose g*x + 3*o = 168 + 381, 919 = 5*x + 3*o. Is x a multiple of 47?
False
Let j(t) = -4*t - 7. Let f(z) = z - 6. Let m be -3 + 0 + 3 + -6. Let d be f(m). Does 13 divide j(d)?
False
Let r(q) = q**3 + 23*q**2 + 14*q + 2. Let i be r(-22). Let a = -256 + i. Let l = a + 133. Is 30 a factor of l?
False
Let q(u) = u**3 - 25*u**2 - 73*u - 71. Does 129 divide q(31)?
False
Let c = 10474 - -21500. Does 146 divide c?
True
Let q(m) = -m**3 + 10*m**2 + 20*m + 22. Let r be (5 - (-30)/(-8))/(1/8). Does 17 divide q(r)?
False
Let l(h) = -38*h + 31. Let u = -105 + 96. Does 16 divide l(u)?
False
Suppose -444 = 7*f - 13*f. Suppose -f*u + 22*u + 27976 = 0. Is u a multiple of 11?
False
Let o = -7 - -15. Suppose f + f - 3*a = -315, 0 = 4*f + 4*a + 640. Is f/(-15) - o/(-20) a multiple of 5?
False
Let d(i) = 17*i + 1258. Let a be d(-77). Suppose 0 = -3*k + 7*k + 296. Let u = a - k. Is 4 a factor of u?
False
Let g be 1/5 + (-10 - (-18208)/(-40)). Let x = g + 937. Is 8 a factor of x?
True
Is 1913490/30*6/9 a multiple of 23?
False
Suppose q - 15415 = -5*j, 4*q - 61585 = 41*j - 36*j. Does 88 divide q?
True
Let f(n) = n**3 - 12*n**2 - 54*n + 991. Is f(31) a multiple of 52?
True
Let o be 4 + 1076 - 2 - -2. Suppose -32*r = -41*r + o. Does 12 divide r?
True
Let m = 11003 + -7264. Is 8 a factor of m?
False
Suppose -1638 = -2*z + 2*h, 3*h - 1487 = -4*z + 1831. Is 36 a factor of z?
False
Let d be ((-8)/6 - (-30)/(-45))*-1. Suppose 2*z - z - 5*m - 395 = 0, m = -d*z + 845. Is 5 a factor of z?
True
Suppose 5*u + 2*h + 23 = 3*h, -5*u = h + 27. Let o be 18/(-4)*((-78)/(-18) + u). Is 47 a factor of o + 279/(-99) - 3100/(-11)?
True
Let a = -32 - -165. Let t be (76/a)/(-3*(-2)/21). Suppose -t*m - 204 = 8*q - 10*q, -308 = -3*q + 5*m. Is q a multiple of 16?
False
Suppose -11*i + 12 = -10. Suppose -a + 4 = w + 6, i*a + 16 = 4*w. Suppose -w*n = -5*v - 503, 403 = 3*n + v - 394. Does 22 divide n?
True
Let m be 1 + (-9)/(27/(-123)). Suppose -m*p + 334 = -8738. Is 43 a factor of p?
False
Suppose 2*l + 2*o = l + 7, l - 2*o = 15. Suppose -15 = -2*u - l. Suppose -u*j + 3*t + 76 = 0, -3*t + 136 = 3*j - 2*t. Is 3 a factor of j?
False
Let p = 178 + -176. Suppose -3*n + 2828 = -0*n + 2*i, -2*i = p*n - 1886. Is n a multiple of 42?
False
Let u(p) be the third derivative of -p**5/60 + 59*p**4/24 - 137*p**3/6 + p**2 + 53*p. Is 5 a factor of u(44)?
False
Suppose f + 62 = 70. Suppose -f*s + 801 = -1039. Is s a multiple of 17?
False
Suppose 1918 = -5*z + 2*q + 11476, 3*z = -2*q + 5738. Does 31 divide z?
False
Let t = 142 + -139. Suppose 0 = -t*r + 4*f + 13, -2*r - f - 16 = -7*r. Suppose -4*g = 2*k - 702, k + r*k - 704 = -4*g. Is g a multiple of 25?
True
Let c = -381 - -384. Suppose -c*n + 1206 = 5*o, -820 - 1190 = -5*n + 5*o. Is 44 a factor of n?
False
Let s(f) = f**3 - 5*f**2 + 7*f - 6. Let u be s(4). Let m be u/(-3) + 0/4. Does 20 divide 2*m/(-8)*40?
True
Let x be (-11)/(121/22)*(1 + 45). Let s = 228 + x. Is 17 a factor of s?
True
Is 26 a factor of (19/19)/((-15)/(-384930))?
True
Let r(j) = -3*j**3 - 20*j**2 + j - 167. Is r(-16) a multiple of 11?
True
Suppose -10 = -v + h, 2*v + 3*v - 4*h - 46 = 0. Suppose 4*y = -3*a + v, 0 = y + 2*a - 3 - 1. Suppose y*s + 7*s - 777 = 0. Is s a multiple of 22?
False
Let l(b) = -b**3 + 7*b**2 - 7*b + 8. Let o be l(6). Let m = 2204 + -2201. Suppose j = -o*j, -m*h - 3*j + 501 = 0. Does 17 divide h?
False
Suppose -2*i = -2*b - 12, 2*i + 5*b + 68 - 38 = 0. Let v = 21 + -2. Does 14 divide v/2*6 - i/13?
False
Suppose -22572 = -7*i - 4*i. Suppose 89*q + i = 93*q. Does 21 divide (q/(-76))/((-1)/36)?
False
Let u(w) = 18*w**2 - 69*w - 651. Is 107 a factor of u(-11)?
False
Let j(x) = -x**2 - 30*x - 56. Let i = 272 + -285. Is 3 a factor of j(i)?
True
Let q be ((-27)/(-4))/(1/(-8)). Let m = 37 - -66. Let w = m + q. Does 14 divide w?
False
Let c be (-168)/32*(-8)/6. Let q be (-10 + c)*(-1 + 0). Suppose -2*w - z = -52, q*z - 23 = -w + z. Is w a multiple of 6?
False
Let k(s) = -35*s - 385. Let d(w) = 3*w + 32. Let b(q) = -50*d(q) - 4*k(q). Does 9 divide b(-20)?
False
Let k(j) = 4*j - 378. Let m be k(27). Does 36 divide ((-8)/(-5))/(1*(-1)/m)?
True
Suppose -3*c + 3 = 0, 0*a = -5*a - 5*c + 28005. Does 7 divide a?
True
Let l(p) = -35*p - 172. Suppose -5*f - 5*w - 115 = -w, -f + w - 14 = 0. Is l(f) a multiple of 29?
True
Suppose 0 = -3*t + 4*a + 17962, 2*t - 11963 = 174*a - 169*a. Is t a multiple of 74?
True
Let u(p) = -2559*p + 499. Is u(-3) a multiple of 14?
True
Does 34 divide 198 + -206 + 0/(-2) + 95?
False
Let s = -73 + 394. Let j = 525 - s. Is 5 a factor of j?
False
Suppose 52*k - 13979 - 5360 = 124597. Does 8 divide k?
True
Is 1/(10 + 390/(-40)) - -32199 a multiple of 17?
False
Suppose -3*t + 9*d - 10*d = -26177, 3*d = 5*t - 43661. Is 13 a factor of t?
False
Suppose 0 = 6*a - 5*a - 5. Let n(y) = y - 23. Let w be n(a). Let c(s) = -s**3 - 18*s**2 - 7*s + 33. Does 29 divide c(w)?
False
Suppose -x - 659 = -2*y, 7*x - y + 1952 = 4*x. Is 76 a factor of (-1 + 6 - x) + -3?
False
Let t be (273020/(-30))/(-11) + 2/3. Suppose i + 4*d = -3*i + t, -i = -2*d - 198. Does 6 divide i?
True
Suppose -q + z + 346 = 0, 5*q = -4*z + 1303 + 445. Suppose 4*b + 5*u - 424 = 0, 3*b + 41 = -u + q. Does 12 divide b?
False
Let d = -42198 + 62463. Is d a multiple of 35?
True
Suppose -34*y + 635327 + 424223 = -9*y. Is 142 a factor of y?
False
Suppose -2*g + 32 = 20. Suppose g*t = -2*t + 1176. Suppose 0 = -3*n - t + 591. Is n a multiple of 37?
True
Suppose 3*d + 5*z + 3 = 5*d, 4*d - 14 = 2*z. Suppose -4*c + 779 = -o, d*o + 229 + 352 = 3*c. Suppose 0 = -7*i + c + 330. Is i a multiple of 11?
False
Suppose 8*m + 572 = -18*m. Suppose 7 = 3*g + 352. Let s = m - g. Does 31 divide s?
True
Suppose -3*z = -q - 119 - 28, 2*z - 462 = 3*q. Let y = -101 - q. Is 3 a factor of y?
False
Suppose 3*x = -4*q + 11410 + 442, -5*q + 11845 = 3*x. Is 15 a factor of x?
True
Suppose -105*x = -100*x + 215. Let o(f) = -22*f - 129. Does 19 divide o(x)?
True
Is 27 a factor of ((-60025)/(-3) - 2) + 4945/(-129) + 39?
True
Let r = 27 + -22. Suppose 2*v - r*w + 5 = 0, -w = -5*v + v - 1. Suppose v = 4*t - 2*t - 148. Does 32 divide t?
False
Let s = 385 - 381. Suppose 258 = 2*h + s*h. Does 6 divide h?
False
Let k be 6*(-8)/(-6) - (-4 - -7). Suppose 0 = -k*m - 204 + 659. Let z = 168 - m. Is z a multiple of 11?
True
Suppose 0 = -1094*z + 1101*z + 3647. Let s = z + 715. Is 33 a factor of s?
False
Suppose 5*o = j + 12386, -5*o + 2*j - 1841 = -14233. Is 2 a factor of o?
True
Is 4 a factor of (-2162538)/(-105) + -1 + (-21)/(-15)?
True
Let m(y) = -y**3 + 8*y**2 - 9*y. Let p be m(7). Does 24 divide 282 - (-5)/((-35)/p)?
False
Let m(s) = 26*s**2 + 77*s + 107. Is 47 a factor of m(-30)?
True
Suppose -4*l + 51644 = 4*p, 9*p - 5*l - 51662 = 5*p. Is 13 a factor of p?
False
Let f(q) = -q**3 + 8*q**2 - 5*q + 18. Let h be (-70)/(-25)*5/2. Is 3 a factor of f(h)?
False
Let y(v) = -924*v + 5418. Does 21 divide y(4)?
True
Let v = 9000 + -8589. Is v a multiple of 13?
False
Suppose 0*q + 2*f = -5*q - 150, 3*f = -3*q - 90. Does 6 divide (-30)/18 - 16430/q?
True
Let x(s) be the second derivative of s**3/6 + 6*s**2 + s. Let c be x(-7). Suppose -n + 139 = -2*l + 397, -c*l + 3*n + 644 = 0. Is l a multiple of 10?
True
Let o(x) = 32*x - 162. Let n be o(6). Suppose -n*y - 710 = -31*y. Is 19 a factor of y?
False
Let r be (12/(-10))/(219/(-98185)). Let i(f) = -f**3 - f**2 + 2*f + 9. Let k be i(7). Let s = r + k. Does 13 divide s?
True
Let t(h) = 65*h + 2002. Does 86 divide t(-26)?
False
Let q(j) = -20*j**3 - j**2 - 44*j - 135. Is q(-5) a multiple of 10?
True
Let y(a) = -30*a + 153. Let n be y(5). Suppose -3*v + 7*v - 2*i - 70 = 0, 54 = n*v - i. Is v a multiple of 7?
False
Suppose 25 = -y + 6*y. Suppose y*p + 0 = -10. Is p + (-537)/(-12) + 2/8 a multiple of 12?
False
Let u(p) = -68*p**3 - 3*p**2 + 1. Let f be u(-1). Let t = f - 64. Suppose t*j + 133 = 3*j + 3*v, 4*j - 547 = 3*v. Is 8 a factor of j?
True
Let q(d) = -d**3 - 26*d**2 + 24*d + 2. Let k be q(-26). Let c = k + 1324. Is 18 a factor of c?
True
Let z = -154 - -66. Let x = -51 - z. Is x a multiple of 8?
False
Suppose 257217 = 44*b - 27*b - 162751. Is b a multiple of 32?
True
Let q(l) = 2*l - 8. Let d be q(5). Suppose f + 5 - 2 = d*m, -9 = 3*f. Suppo