 - 2775186/(-162)) + (-4)/(-18) a multiple of 68?
False
Suppose 98*l + 2*a - 1767 = 93*l, -709 = -2*l - 3*a. Is l a multiple of 4?
False
Let q be (6 + -3)/((-12)/(-1084)). Let c = 331 - q. Is c a multiple of 12?
True
Let d = 17 - 13. Suppose -1 = -g, 4*k - 31 = g - d. Suppose -k*p + 56 = 2*y - 3*p, 0 = 2*p + 8. Is y a multiple of 8?
False
Let a = 4225 - 4224. Suppose -3*f - 5*i = -1, -3*f + 2*f + 5 = -3*i. Suppose f*u - a = 69. Does 4 divide u?
False
Let l = -109 - -109. Suppose -6*o - 18 + 60 = l. Does 7 divide o?
True
Suppose 142730 = -11*w + 27*w - 96870. Is 84 a factor of w?
False
Suppose -3*o - 4*j - 3924 = -25613, 2*j = -5*o + 36139. Is o a multiple of 9?
True
Let l = 42068 + -33252. Is l a multiple of 29?
True
Let d be 4/(-6)*15/2. Let r be 2/((50/(-415))/d). Suppose y - 19 = -2*u, 5*u + 28 = -4*y + r. Does 7 divide u?
True
Let g = -26 + 28. Let w(o) = -4*o**2 - 56 + 21 + 20*o + 5*o**g + 2*o. Is w(-24) a multiple of 2?
False
Let u(d) = 3*d**2 - 80*d + 713. Does 5 divide u(43)?
True
Let b = -5852 - -12020. Is b a multiple of 11?
False
Let z(t) = 11*t**2 + 39*t - 206. Suppose -2*a - 12*m = -10*m - 8, 0 = 4*a + m - 19. Is z(a) a multiple of 12?
True
Suppose -h + p = -3, 5*h + 4*p - 12 = h. Suppose 3*q - 1779 = -2*q - 3*m, -h*m = -2*q + 720. Does 17 divide q?
True
Let m(j) = -j**2 + 9*j - 17. Suppose 4*y = -3*c + 39, y - c - 1 = -0*c. Let w be m(y). Does 23 divide w/(-5) + 9324/45?
True
Let o be (-293)/((8/12)/((-6)/9)). Let d = -155 + o. Is d a multiple of 6?
True
Let n(h) = -h**3 + 4*h - 1. Let u be n(-2). Let m be (u/2*-2)/((-5)/(-1865)). Suppose 3*x + m = 2*v + 76, -4*v = -2*x - 582. Is v a multiple of 24?
True
Let n = 42592 - 19947. Is n a multiple of 167?
False
Suppose -2988 = -q + 3*w, -3*w - 5071 - 920 = -2*q. Is 44 a factor of q?
False
Let h(w) = -2*w**2 - w + 33. Let r(j) = 3*j**2 + j - 50. Let k(s) = 7*h(s) + 5*r(s). Let o(d) be the first derivative of k(d). Is 4 a factor of o(25)?
True
Suppose 13*m = 2096 + 25984. Is m a multiple of 18?
True
Let f be 0 - (-7)/((-21)/(-12)). Let x be ((-77)/f)/(13/52). Is 13 a factor of x/(-3) + (-3 + 6)/9?
True
Let n(c) = 2248*c - 768. Is n(5) a multiple of 7?
True
Let c(z) = z**3 + 3*z**2 - 13*z - 6. Let k be c(-4). Suppose k + 14 = t + 4*r, 0 = -4*t - 4*r + 224. Is t a multiple of 10?
True
Suppose -25*f - 12963 = -243713. Does 130 divide f?
True
Let x be 0/5 - (0 - 55). Let f be (-48)/(-8) + -6 - -47. Let v = x - f. Does 8 divide v?
True
Let u be -54*(3/(-12))/(1/6). Suppose 2*d + 5*w - 165 = -3*d, 0 = -2*d + 3*w + u. Let c = 113 - d. Is c a multiple of 12?
False
Suppose 0 = 6*u + 6 - 18. Let i(l) = -3*l - 5 - 4 + l**u + 10. Is i(10) a multiple of 22?
False
Suppose 102 + 123 = 5*t. Let b = t - 45. Suppose -1320 = -10*q - b*q. Is q a multiple of 11?
True
Let m = -211 - -488. Let k = m + -201. Is k a multiple of 4?
True
Is (15 - (17 + -3))*1994 a multiple of 9?
False
Let l(d) = -d**2 - 55*d - 24. Let n be l(7). Let h = 896 + n. Is h a multiple of 23?
False
Let u be (12/(-14))/(6/(-28)). Suppose u*f - 4*d + 40 = 0, 4*d = -f + 4*f + 35. Does 21 divide f + 245 + -4*(-1)/2?
False
Let t be (-20)/8 + 2/12*3. Let k be 4 - (2/2)/(3 + t). Suppose -285 = -3*b + k*v, 5*b + 3*v - 191 = 252. Is 13 a factor of b?
True
Let s(t) = -1176*t + 6. Let q be s(-4). Suppose -5*c - 10*d = -6*d - 4713, 5*c + 5*d - q = 0. Is c a multiple of 15?
True
Let u be 90/(-12)*(-3 - 471/(-9)). Let y = 713 + u. Is y a multiple of 7?
True
Let o(z) be the third derivative of z**6/120 + 7*z**5/30 + z**4/2 - 3*z**3/2 + 37*z**2. Let h be o(-13). Is 1/(h/(-5) - -1) a multiple of 5?
True
Suppose 5*q - c + 16 - 136 = 0, -2*c - 24 = -q. Let j(y) = -y**3 + 23*y**2 + 25*y + 24. Is 7 a factor of j(q)?
False
Let w be (-3 + 1)*8/((-48)/(-399)). Let p = -20 - w. Suppose 2*f - 513 = -p. Is f a multiple of 40?
True
Let b be -2*9/((-9)/2). Suppose -b*p = -178 + 34. Does 19 divide p?
False
Let f(j) = -4*j - 47. Let p(r) = -r + 18. Let o be p(17). Let c be 328/(-16) + o/(-2) + -3. Is f(c) a multiple of 13?
False
Let x = -2682 + 4572. Does 35 divide x?
True
Suppose 4*j - 5*k = 19242, 2*k + 13 = 1. Does 47 divide j?
False
Suppose 2*w = 5*m + 3572, 815 = -2*m - 3*w - 610. Let q = 462 + m. Let r = -140 - q. Is 29 a factor of r?
False
Let l(q) = q**3 - 23*q**2 - q - 19. Let d = -216 - -240. Is 25 a factor of l(d)?
False
Let z(y) = -12*y**2 + 12*y - 20. Let u(l) = -11*l**2 + 11*l - 19. Let r(q) = -7*u(q) + 6*z(q). Let a be r(7). Is 40 a factor of a - 8/(8/3)?
False
Suppose -5*s + 10*s = -235. Let g = 49 - s. Is 16 a factor of g?
True
Suppose -2*z + 1514 = 4*p, 2*z + 3*p - 158 = 1360. Suppose -3*o + f = -z, 5*o + 119 = f + 1394. Is o a multiple of 15?
True
Suppose -14*d = -3*d + 1540. Is (-1792)/d*(-10)/(-4) + 4 a multiple of 4?
True
Suppose -12 = 4*k, -2*q + 182 = 2*k - 292. Suppose -3*a + q = -24. Is a a multiple of 18?
False
Let b(m) = 6*m - 2*m + 7*m + 4*m + 12. Does 22 divide b(9)?
False
Let d(z) = 4*z**2 - 5*z - 10. Let v(c) = -78*c - 13. Let o be v(-2). Let f be o/26 - 1/(-2). Is 25 a factor of d(f)?
False
Suppose -q = 3*c - 1056 - 781, -3*c = -3. Does 35 divide q?
False
Let j = 99 + -87. Suppose 0 = -j*x + 395 - 11. Suppose -2*c = -42 - x. Does 10 divide c?
False
Let z(i) = -i**2 - 14*i + 15. Let j be z(-14). Suppose -3*o + j = -0. Suppose -o*l + 40 + 60 = 0. Is 10 a factor of l?
True
Does 66 divide 2793 + -9 + (-36)/3?
True
Let q = 63 + -81. Let v(t) = -9*t - 91. Is v(q) a multiple of 12?
False
Let h(l) be the third derivative of l**5/60 + l**4/3 + l**3/2 + 23*l**2. Let t be h(-6). Does 4 divide (-10)/45 + (65/t)/(-1)?
False
Let b = -279 + 254. Let h be (1 - -1)*75/10. Let w = h - b. Is w a multiple of 10?
True
Suppose 4*v = 5*g + 25, 9 = 4*g + 3*v - 2. Let y be (5/3)/((-12)/(-9) + g). Suppose -2*j + a = 2*a - 46, a = y*j - 129. Is j a multiple of 2?
False
Let z(d) = -3*d**3 + d**2 + 5*d - 2. Let f(i) = -25 + 26 - 3*i + 5*i. Let u be f(-2). Is z(u) a multiple of 17?
False
Let v = 19903 - 17521. Is 18 a factor of v?
False
Suppose 3 = -0*w - w - 3*d, 5*d = -w - 5. Suppose w = 29*c - 1187 - 10471. Is 37 a factor of c?
False
Let k = -4019 - -4833. Is 74 a factor of k?
True
Let f(c) = -21*c - 75. Let m be f(5). Does 52 divide 578/(-3)*(-9 - m/24)?
False
Let o be 0 + 5*-1 - 130/(-10). Suppose -o*q - 4590 = -25*q. Does 3 divide q?
True
Let a = 6288 + -4935. Is a a multiple of 11?
True
Let u(z) = 33*z**2 - 67*z - 855. Does 54 divide u(-13)?
False
Let c = -342 - -342. Suppose -10*y + 1763 + 1107 = c. Is 41 a factor of y?
True
Let y be ((84/(-9))/2)/((-4)/6). Suppose 0 = -y*o - 95 + 25. Does 13 divide (-24)/o*50/3 + 0?
False
Let t be (8/(-10))/(8*5/2700). Let g = 69 - t. Does 9 divide g?
False
Let b = 3921 - 618. Suppose b = 20*s - 297. Is s a multiple of 9?
True
Let l(d) = -51*d. Suppose 3*p = 3*x - 27, 21 = p - 0*p + 5*x. Let i be l(p). Suppose -3*s - 4 = -10, 4*s = v - i. Is v a multiple of 17?
False
Let f be 5*(4/(-10))/(-1). Let h be (14/(-4))/(f/112). Let i = 58 - h. Is 38 a factor of i?
False
Suppose 3*a - 6808 - 3195 = -4*v, 0 = -3*a - 2*v + 10001. Does 33 divide a?
True
Let f = 34822 + -19390. Is 181 a factor of f?
False
Suppose -4*m = 16, 2*d - 15*m + 18*m = 0. Suppose -3*r = -12, -2*r + 1194 = 5*u - d*r. Is 22 a factor of u?
True
Let n be -3 - 1 - 315/(-5 - -12). Let l = 61 + n. Suppose 0 = l*q + 571 - 1927. Is 18 a factor of q?
False
Let o = 51 - 48. Let p(y) = 35*y**2 + 3*y - 4. Let v be p(o). Suppose 26*w - 22*w = v. Is w a multiple of 14?
False
Suppose -2*j - 5*v = -9662, 0 = 5*j + 4*v - 7598 - 16540. Does 40 divide j?
False
Let m(z) = 2*z + 12. Let f be m(0). Suppose f = 9*p - 5*p. Suppose p*n - 300 = -2*n. Is 10 a factor of n?
True
Let c(i) = 6*i**2 - 2*i + 10. Let p be c(16). Suppose -1069 = 7*y + p. Let h = -208 - y. Does 23 divide h?
True
Suppose -d - d - 4*d = 0. Let t(h) = 36*h + 933. Is 31 a factor of t(d)?
False
Is 60 a factor of ((-20704)/(-8) - 2) + -6?
True
Let f = -13315 - -14683. Is f a multiple of 18?
True
Let t(x) = 1537*x**2 - 22*x + 27. Is t(2) a multiple of 172?
False
Let k = 537 - 518. Suppose 367 = -k*w + 12812. Is w a multiple of 9?
False
Let a be (-65 - 0)*(-1 - 0). Suppose -233 - 79 = 4*j + 4*x, j + 4*x = -81. Let z = a - j. Is 10 a factor of z?
False
Let c = -256 - -760. Suppose 9*h = 2*h + c. Is h a multiple of 24