 - (3 - 51/18) a multiple of 21?
False
Let v = 31 - 27. Suppose 2*h = -n - n + 34, -3*h + v*n = -37. Is h even?
False
Suppose 515*i - 19488 = 507*i. Is i a multiple of 14?
True
Let p(t) = -t**2 + 5*t + 8. Let x be p(6). Suppose 0 = x*j - 15 - 315. Is j a multiple of 33?
True
Suppose 3*l + 0*l - 6 = 0. Suppose -2*y + 49 = 3*p, -y - 4 + 36 = l*p. Is p a multiple of 5?
True
Let o be 2/(-4) - 49/(-14). Suppose -3*n - o*k + 10 = -4*k, 0 = -2*n - 2*k + 12. Suppose 3*j + 2*w = 23, n = 2*j + 4*w - 6. Is j a multiple of 3?
True
Suppose 3*d + k = 105, 52 = 5*d - 2*k - 134. Is d a multiple of 30?
False
Suppose 0 = -3*j + 3*f + 300, -j + 6*f = 4*f - 104. Is j a multiple of 53?
False
Let m = 11 + -12. Suppose x + c + 4*c = 12, 5*x - 2*c = 6. Is 15 a factor of (m/x)/(4/(-256))?
False
Suppose 4*o + b - 45 = 8*o, -10 = o + b. Is (-6544)/(-176) - (-2)/o a multiple of 5?
False
Let o(i) = i**2 + 17*i - 31. Let t be o(-23). Suppose -t - 247 = -3*u. Is u a multiple of 20?
False
Suppose g = 2*l + 9, -3*g = -l + 4*l + 18. Let p be g/3 - 17/3. Is 3 a factor of (9/(-2))/(p/8)?
True
Let o(i) = i**2 + 4*i - 8. Let l be o(-6). Suppose b - 159 + 60 = -s, 93 = b + l*s. Suppose 0*d - 94 = -2*d + 4*r, 3*d + 4*r = b. Does 13 divide d?
True
Suppose 2*c = 4*j - 28, 0 = 4*j - 0*c + 5*c. Suppose 60 = -j*w + 300. Is w a multiple of 24?
True
Let g be (-319)/(-33) - (-1)/3. Suppose -g - 355 = -5*q. Is 27 a factor of q?
False
Suppose 3*k + 414 = -5*i, 4*i - k = 3*k - 312. Let g = i - -42. Is (g + 4)*(-2)/2 a multiple of 8?
False
Does 47 divide (1*2/(-4))/((-160)/195520)?
True
Let r(p) be the first derivative of 11*p**2/2 + 16*p + 4. Is 14 a factor of r(8)?
False
Suppose 5*c + 5*h - 55 = 0, 2*c + 5*h = 7 + 12. Let w = c - 8. Does 19 divide 2 - (-2 - (w - -47))?
False
Suppose 42 = 2*d + i, 0*d + i - 102 = -5*d. Let j(s) = 11*s**2 + 8*s - d*s**2 + 2 + 8*s**2. Is 11 a factor of j(5)?
False
Suppose 0 = 5*f - 687 - 78. Does 22 divide f?
False
Let o(i) = -2*i**3 - 8*i**2 - 9*i. Suppose 2*u = 4 + 2. Suppose v - 8 = u*v. Does 8 divide o(v)?
False
Let m be (-28)/(-182) - (-56)/(-26). Let g = 45 + -14. Let v = m + g. Does 8 divide v?
False
Let s be (-12)/10*100/15. Let v = -4 - s. Suppose k = v*k - 54. Is k a multiple of 10?
False
Suppose i + 2504 = 3*i. Is i a multiple of 6?
False
Suppose -17 + 5 = -2*c. Does 14 divide 977/c - 3/(-18)?
False
Suppose -p + 5*p - t = -16, -2*p + 3*t = -2. Let l = 805 - 795. Is 116/l + (-2)/p a multiple of 3?
True
Suppose 0 = 3*p - 2760 - 423. Is p a multiple of 7?
False
Suppose -1519 = -18*b - 259. Is 35 a factor of b?
True
Suppose -z = 3*a - 1062, -7*z + a + 5278 = -2*z. Is 32 a factor of z?
True
Let f = -21 - -25. Let i(r) = -5*r + f*r - 2*r - 5. Does 10 divide i(-7)?
False
Suppose 0 = -2*x - 4, 0 = 4*p - 2*x - 841 + 5. Is 11 a factor of p?
False
Let r(v) = v**3 + 21*v**2 - 25*v - 54. Let f be r(-22). Let u be 51/3 + 1 - 0. Does 25 divide f/u + (-356)/(-6)?
False
Let l(d) = d**3 + 9*d**2 + 5*d + 13. Let q be l(-9). Let v = q + -30. Let b = -8 - v. Is 18 a factor of b?
True
Is 37 a factor of ((126/(-15))/3)/(8/(-400))?
False
Suppose 2*n + 7377 = 3*k, 26*n - 28*n = 3*k - 7365. Is 9 a factor of k?
True
Let l = 10 - 13. Let d(q) = 20*q**2 - 9. Does 12 divide d(l)?
False
Let x(f) = f**3 + 8*f**2 + 7*f + 6. Let a be x(-7). Suppose -120 = -0*r - a*r. Does 10 divide r?
True
Let i(f) = -f**2 - 33*f - 50. Does 3 divide i(-29)?
True
Let s(y) = -146*y**3 + y. Let n = -14 + 13. Let z be s(n). Suppose a - z = -2*v + 36, 0 = 2*v - a - 191. Is v a multiple of 29?
False
Let j(o) = -o + 9. Let i be j(13). Let c = i + 43. Let l = c - -8. Is l a multiple of 10?
False
Let x(b) = b - 9. Suppose r - 3 = 0, 3*o - 5*r + 1 = 4. Let d be x(o). Does 9 divide 714/15 - d/(-5)?
False
Let t be 36/16*72/27. Let p(j) be the second derivative of j**4/4 - 7*j**3/6 + 9*j**2/2 - j. Is 25 a factor of p(t)?
True
Suppose u = -3*w + 41, -2*u - 5*w + 61 + 16 = 0. Let q = u - -40. Does 13 divide q?
False
Is (201/134)/(3/5098) a multiple of 98?
False
Let o(y) be the first derivative of -y**2/2 + 13*y + 5. Let h be o(8). Suppose i - 17 = -3*u + 2, h*u - 20 = 0. Is 7 a factor of i?
True
Let b(k) = -k**3 + 7*k**2 + 2*k - 10. Let d be b(7). Suppose 10 = -d*i - 2*n + 28, 3 = -n. Is 2 a factor of i?
True
Let x be (4 + (-3)/2)*2. Suppose -x*r = 5*d - 40, 2*d - 5*r + 6 - 1 = 0. Suppose -4*j + 210 = 2*u, 10*j - d*j - u = 245. Is j a multiple of 16?
False
Let w = 1780 - -196. Does 19 divide w?
True
Let q = -560 + 1110. Is q a multiple of 11?
True
Suppose 4*s + 4*m - 4644 = 0, 2*s - 2610 = 5*m - 281. Is 7 a factor of s?
True
Let r = 1558 + 1603. Is r a multiple of 29?
True
Is -1 - -554*1 - (-6)/2 a multiple of 18?
False
Let s = 558 - 342. Is 24 a factor of s?
True
Suppose -4*u + u + 1018 = 4*b, -5*u + 1718 = -4*b. Suppose -4*c = 6 - u. Is 14 a factor of c?
True
Let f(p) = -p**3 - p - 21. Let c be f(0). Let i = c - -33. Does 6 divide i?
True
Suppose -m - 3*m = 2*y - 176, 4*y - 127 = -3*m. Does 8 divide 80/(-6)*(-54)/m?
True
Let o = 8 - 6. Suppose 10 = o*z - 58. Is 19 a factor of z?
False
Suppose 0 = -15*t + 32*t - 1717. Is 4 a factor of t?
False
Suppose 651 = -n - 2*n. Let q = n + 329. Does 14 divide q?
True
Is (-2)/(-6) - (-29470)/42 a multiple of 54?
True
Let m be 18 + (4/(-8))/((-2)/(-8)). Does 30 divide 360/m*8/6?
True
Is (387/45 + -9)*-1095 a multiple of 4?
False
Let g be -14*((-3)/(-2) + -1). Let r = g - -9. Suppose r*h = 98 - 24. Is h a multiple of 11?
False
Suppose j + 51 = -4*d, -4*j - 5*d = -2*j + 108. Suppose 3*x + 42 + 0 = 0. Let z = x - j. Is z a multiple of 12?
False
Let p = -49 + 42. Let l = 15 + p. Does 4 divide l?
True
Let b(v) = -v**3 - 6*v**2 + 5*v + 4. Let d(a) = -a**2 + 7*a + 10. Let f be d(9). Does 23 divide b(f)?
True
Let s(y) = -21*y + 2. Let k(u) = u - 30. Let m be k(18). Does 22 divide s(m)?
False
Let k(p) = -p**3 - 20*p**2 + 21*p + 11. Let z be k(-21). Is 5 a factor of 4 + -2 - (-2 - z)?
True
Let o(m) = 24*m**2 - 3*m. Let z be o(-3). Suppose -3*p + 210 = -z. Suppose -3*a - 2*a = -j - p, -a = 3*j - 45. Does 15 divide a?
True
Let k be 246/(-22) - 6/(-33). Let n be 11/2*(13 + k). Suppose -i + n = -55. Is i a multiple of 16?
False
Let n = -230 + 270. Is n a multiple of 2?
True
Let v(j) = j + 7. Suppose 4*w = 3 + 13. Let x = w + 9. Is 10 a factor of v(x)?
True
Is (-1 - 178*-3) + -44 + 42 a multiple of 44?
False
Let y(a) = -121*a - 147. Is y(-5) a multiple of 64?
False
Let b be (-3)/4*-5 + (-5)/(-20). Suppose -5*l = -3*s + 381, b*l + 1 = 13. Is s a multiple of 16?
False
Let k = 8 - 28. Let v = k - -36. Is v a multiple of 16?
True
Let k(h) = 3*h**2 - 65*h - 144. Is k(32) a multiple of 53?
True
Suppose 5*x + 13*x - 2736 = 0. Does 8 divide x?
True
Suppose 0 = 3*j - 2465 - 2509. Does 82 divide j?
False
Let h = -42 + 51. Suppose -q = -4*q - h, -y + 60 = 5*q. Does 15 divide y?
True
Let t be -3 - (-13 + 10/(-5)). Does 7 divide (70/(-3))/((-16)/t - -1)?
True
Suppose 8*j - 636 = 2*j. Suppose 6*p - 32 = j. Does 5 divide p?
False
Suppose 5*v + 7 + 8 = 0. Is 21 + (-1)/(-3)*v a multiple of 5?
True
Suppose 38 = h - 0*h. Suppose -5*v = 2*q - h, 2*v + 32 = 5*q - 34. Suppose 0 = -3*j + q + 25. Is 13 a factor of j?
True
Let c(w) = 28*w**2 + 1. Let n be (2/2)/(-1*1). Let d be c(n). Suppose 0 = 5*j - d - 26. Is j a multiple of 6?
False
Suppose -p = 2*l, 0 = -4*l + 5*l + 5*p + 18. Suppose -5*d - r = -127, 0*d = l*d + 3*r - 43. Is d a multiple of 15?
False
Let a(x) = 4*x - 7. Let w be a(0). Let s(k) = 4*k**2 + 10*k + 8. Is s(w) a multiple of 23?
False
Suppose 4 = -5*y - 6. Let k(a) = -42*a + 11. Let r(o) = 105*o - 27. Let q(v) = -12*k(v) - 5*r(v). Is 13 a factor of q(y)?
False
Suppose -2*x + 0*x + 42 = 0. Suppose -16 - x = -q. Is q a multiple of 11?
False
Let a(j) = 7*j**2 - 11*j + 22. Let l be a(3). Suppose 5*y - 1877 = 33. Suppose -l + y = 5*r. Is r a multiple of 24?
False
Let v(r) = 2*r - 38. Let y be v(13). Let f(t) = 2*t + 2. Let w be f(8). Let m = w + y. Does 6 divide m?
True
Suppose -418 = s - 4*s + 4*u, 0 = s - 5*u - 132. Is s a multiple of 19?
False
Let x(q) = -q**3 - 12*q**2 - 2*q - 17. Let d be x(-12). Suppose -d*m + 129 = -53. Does 5 divide m?
False
Let j = 209 - 120. Let q = j - 63. Is 5 a factor of q?
False
Let v = -4 - -6. Is 9 a factor of (37 + -2 - -1)*v?
True
Suppose -4*d + 22774 = -2*m, -3*m + 