4422/251802) a multiple of 283?
False
Let m be 9 - 3*(0 + 4 + -3). Suppose 0 = -3*l - t + 10, -t = l + 4*t + m. Suppose -3*w - l*q = -551, -q - 27 = 3*w - 572. Is 23 a factor of w?
False
Suppose 10*u = -2*u + 60. Suppose -u*d = -1301 - 379. Let k = d + -140. Does 13 divide k?
False
Is 11 a factor of (-1 - 24/(-15)) + 54512/80?
True
Let m be 584/(-6)*(-4)/((-48)/(-90)). Suppose 2407 = 3*o + m. Is 13 a factor of o?
True
Let y be (40/16)/((-1)/(-2)). Suppose y*v + 855 = -3*c + 6*c, -5*v - 295 = -c. Suppose -14*b + c = -9*b. Does 21 divide b?
False
Suppose -2*y + y - 6216 = -3*t, 4*t = 12*y + 8288. Is 7 a factor of t?
True
Is (3402/(-648))/((-1)/1672 - 0) a multiple of 25?
False
Let o = 121 + -119. Suppose -m + 3*a + o = 0, 4*m + m = 4*a + 21. Is m a multiple of 4?
False
Let k = -800 - -1133. Let n = k + -245. Does 13 divide n?
False
Suppose -40*y + 18465 = -35*y - 5*d, 4*y + 2*d - 14766 = 0. Does 71 divide y?
True
Let f = -206 - -210. Suppose -6*y - 4*t + 78 = -5*y, -y + 102 = -f*t. Is 18 a factor of y?
True
Is 14 a factor of (-5)/7 - (-67351072)/2408?
False
Let n be (-16)/(-28)*10941/6*1. Let a = n - 483. Is 35 a factor of a?
False
Suppose 3*i - 3*t = 9 + 15, 0 = -2*i + 3*t + 20. Suppose -i*b + 18 + 70 = 0. Does 22 divide b?
True
Let c(d) be the second derivative of -2*d**3/3 + 27*d**2 + 35*d - 2. Is c(9) a multiple of 17?
False
Let u(d) = 6*d - 17. Let b be u(4). Suppose -2*i + 3*v + 13 + b = 0, 2*i - 20 = v. Suppose i*t = 4*t + 360. Does 10 divide t?
True
Let j(g) = g - 15. Let x be j(13). Is x/6 - (-2064)/36 a multiple of 19?
True
Suppose -119 = 5*n - 474. Let j = n - 35. Does 19 divide j?
False
Let l(g) = -389*g - 1. Let y be l(-1). Suppose 0 = -7*r - 10 + 24. Suppose r*j + 50 = y. Is 27 a factor of j?
False
Let k(a) = 3*a**2 + 28*a + 17. Let n = -36 - -23. Is 40 a factor of k(n)?
True
Let g = 449 - 443. Suppose 0 = -4*k - 20, -2*k = g*m - 3*m - 170. Is m a multiple of 10?
True
Suppose 14*z = 18*z - 24. Suppose -494 = -3*n + 4*x - z*x, 0 = 5*n - 4*x - 794. Does 21 divide n?
False
Suppose -32*y = -4134 - 12058. Is y a multiple of 11?
True
Let p be (-5 - 1253/(-28)) + 1/4. Suppose -5*x - p = -4*h, h - 13 + 0 = 2*x. Suppose -h*d = -5*b - 25, 4*d + 0*b = b + 32. Is 3 a factor of d?
True
Suppose 30353 = 69*s - 199767 - 65890. Does 26 divide s?
True
Let o(y) = -2*y**3 + 19*y**2 - 34*y + 272. Is 291 a factor of o(-25)?
False
Suppose -11*g + 18*g = 28. Suppose -g*k - 42 = -3*k. Is 14 a factor of k*((-14)/6 + 1)?
True
Let d be 17*1/(-1) + 2. Let f = 97 + d. Suppose -5*j + f = -248. Is j a multiple of 22?
True
Is 50 a factor of -129*((-10)/(-75) - (-756)/(-45))?
True
Let z(w) = -w + 7. Suppose -2*i - i + 5*p = -58, 25 = -5*p. Let f be z(i). Is 88 - (-1 - -1 - f) a multiple of 28?
True
Is ((-10)/15)/((-20)/(-21) - (-1)/(-1)) even?
True
Let k = 28729 - 28293. Is k a multiple of 3?
False
Let k = 37 + -25. Let q = k - -7. Let v = 67 - q. Is 24 a factor of v?
True
Does 10 divide -4 - (-4050 + (-1 - 13))?
True
Let x = -26 + -82. Is 6 a factor of 179/6 - 18/x?
True
Let o be (((-480)/56)/6)/(10/(-35)). Is 27 a factor of (-1667 + (-15 - -12))*(-2)/o?
False
Let i be (2 - 32/14) + (-800)/(-56). Let z(q) = 72*q + i - 53*q - 34*q + 4*q**2. Does 15 divide z(7)?
True
Let z = -159 - -159. Suppose z = 3*w + 2*w - 2145. Is w a multiple of 15?
False
Let d = -551 - -1668. Suppose -2*x + 536 = 6*i - 2*i, 4*x - d = i. Is x a multiple of 17?
False
Let o(v) = v**2 - 21*v + 12. Let h be o(8). Let z = h - -96. Suppose -b - 1 = 0, -3*x + 1004 = 2*x - z*b. Is 20 a factor of x?
True
Let c = -345 + 713. Let r be (-10)/(-4)*(-72)/(-45). Suppose 5*m = -o + 530, -r*m + 55 + c = o. Does 17 divide m?
False
Suppose 2*q + 27 - 67 = 0. Let z = q + -18. Suppose -3*a = -z*v + 2*a + 302, -v = 4*a - 151. Does 20 divide v?
False
Let c be (-4)/16*0 + 1*284. Suppose 2*f - c = -2*p, 540 = 10*p - 6*p - 3*f. Is 20 a factor of p?
False
Let t(q) be the third derivative of q**4/8 + 28*q**3/3 + 2*q**2. Let a(o) = o**2 + 12*o + 18. Let k be a(-7). Is t(k) a multiple of 3?
False
Suppose -10*m + 17*m = 70. Suppose 0*l + 2*i = l - m, 0 = 2*l - i - 8. Is 17 a factor of 272 + -3 + (-1 - (4 - l))?
False
Suppose 3*u = -z - 0*z - 28, 0 = -4*u + 8. Let c be z/51*(142 + -1). Is 10/(-25) - c/10 a multiple of 8?
False
Suppose 0 = -4*k - 10 - 6. Let a be 3/(-1) + 6 + (k - -3). Suppose -x + 60 = a*o, 2*o - 150 = -3*o - x. Is o a multiple of 10?
True
Let s be 0 + 237 + 48/8 + -9. Is (-2)/12*(15 + -25)*s a multiple of 17?
False
Let t = 27352 - -896. Does 88 divide t?
True
Let m(i) = -i**2 - 9*i + 38. Let l be m(-12). Suppose 7*w + 92 = d + 2*w, -d = l*w - 92. Is d a multiple of 12?
False
Let i(b) = -24*b - 5*b + 3 - 5*b. Let q = 4 + -5. Does 13 divide i(q)?
False
Let b(j) = -17*j + 62. Suppose 0 = -4*l - 4*a - 4, 24*a - 22*a - 33 = 5*l. Does 88 divide b(l)?
False
Let o = -5443 + 11137. Does 6 divide o?
True
Suppose 10895 + 11025 = -5*b. Is 2/5 + b/(-40) a multiple of 5?
True
Let y(c) = c**3 - 9*c**2 - 8*c + 8. Let x = -3 - -43. Suppose 4*g - x = 2*v, v - 3*v = g - 10. Is y(g) a multiple of 14?
True
Let m(b) = b**3 - 2*b**2 + 64*b + 805. Does 7 divide m(0)?
True
Let s(t) be the first derivative of -t**3/3 + 7*t**2/2 - 8*t + 17. Let i be s(5). Suppose 0 = -0*a - a + i*z + 82, 5*a + 2*z - 386 = 0. Is a a multiple of 26?
True
Let b(j) = j**3 + 7*j**2 - 11*j + 13. Let m be b(-9). Let t = -41 - m. Suppose -t*v = -12*v + 120. Is 20 a factor of v?
True
Suppose -49*i + 50*i = 865. Let l = -129 + i. Is l a multiple of 32?
True
Suppose -v = 3*b - 6*v - 24, -4*b - 4*v + 64 = 0. Let f(o) = 6*o + 106. Is f(b) a multiple of 8?
True
Suppose 383 = 99*o - 13873. Does 3 divide o?
True
Is 79840/20 + 12 + -2 a multiple of 13?
False
Let k = 84 - 129. Let y = 58 + k. Let l(c) = 2*c + 19. Is l(y) a multiple of 4?
False
Let r(m) = 262*m**2 - 143*m - 19. Is r(6) a multiple of 59?
True
Let w = -307 + 310. Suppose 2*a - 2187 = -3*d, -w*a - 2*d + 1371 = -1907. Does 106 divide a?
False
Suppose -7*q + 2*q + 2*a - 1259 = 0, -768 = 3*q + 3*a. Let c = -163 - q. Is 2 a factor of c?
True
Let v = 95 + -91. Suppose v*o - 139 = 3*o. Does 11 divide o?
False
Suppose 3*v - 1767 = g - 2*g, -3*g + v + 5311 = 0. Is g a multiple of 20?
False
Suppose 11*u - 14*u - 235298 = -2*o, 4*o - 78436 = u. Does 43 divide ((-4)/6)/(76/u)?
True
Suppose 34*v + 1718 = 2337 + 4311. Is 2 a factor of v?
False
Is 50 a factor of 3307/3 + 2408/(-1032)?
True
Let f(o) = o**3 - 11*o**2 - 7*o - 53. Let s be f(12). Suppose -j + 433 = -n, -j + 0*n + 430 = 2*n. Suppose -s*x = -x - j. Does 12 divide x?
True
Is ((3 + -1)*-3)/((-609)/121800) a multiple of 24?
True
Suppose 3*j = 2*j + 5*v - 17, 0 = 3*j - 5*v + 1. Is -161*((-72)/63)/j even?
False
Let h = -4490 - -9792. Does 7 divide h?
False
Suppose -14 = -2*n - 6. Suppose -n*h - 1106 = -11*h. Is h a multiple of 31?
False
Suppose 70 = o + 78. Is (225/(-36) - o)/(2/248) a multiple of 27?
False
Let p be (5*28/80)/((-2)/(-104)). Suppose 10*w = 23*w - p. Is 2 a factor of w?
False
Let h(c) = 1358*c + 273. Is h(1) a multiple of 19?
False
Let n(a) = -556*a - 378. Is n(-3) a multiple of 8?
False
Let t be 1/(-6)*-6 + (-1)/1. Is 187953/235 + (-1)/(-5) + t a multiple of 80?
True
Let i = -43 - -49. Suppose 4*h - 280 = 4*v, 0 = -3*h + 3*v - i*v + 198. Let n = 78 + h. Is 22 a factor of n?
False
Suppose -b = b - 5*p - 6675, -2*p = 2*b - 6640. Is 25 a factor of b?
True
Let i(v) = 9*v - 87. Let a be 19/(-38) + 29/2. Is i(a) a multiple of 4?
False
Let a be -13 + 3 - (3 - 2)*-4. Does 9 divide (746/a)/(8/(-24))*1?
False
Let l be -4 + 0/2 + -1. Let m(v) = -3*v**2 - 7*v + 8. Let k be m(l). Let c = 53 - k. Does 14 divide c?
False
Suppose 3*f + 2*f = w - 308, 3*w - 3*f = 972. Suppose 8*v = n + 6*v - 162, -5*v - w = -2*n. Is n a multiple of 14?
True
Suppose 0 = -58*w + 538539 + 359533. Is 196 a factor of w?
True
Let y(c) = c. Let x be y(7). Let b(k) = -3*k - 18. Let w(r) = 3*r + 18. Let o(n) = x*w(n) + 6*b(n). Does 3 divide o(5)?
True
Let f(m) = -16*m + 110. Let q(p) = p - 3. Let t(r) = f(r) + 10*q(r). Is t(0) a multiple of 16?
True
Let o(x) = -7*x**3 - 64*x**2 - 10*x + 68. Does 59 divide o(-12)?
True
Suppose -3*a - 20 = -4*a. Suppose -5*o = 2*o - 14. Suppose 4*l = a, -22 = o*g - 2*l - 112. Is g a multiple of 8?
False
Let x(o) be the third derivative of o**6/120 - 3*