23 divide k?
False
Let k(n) = -68*n**2 + 2*n + 1. Let f be k(-1). Let m = 66 + f. Is ((-1)/3*m)/((-2)/(-42)) a multiple of 13?
False
Suppose -2*c + 18 = -5*c, -4*c + 26212 = 4*a. Is 17 a factor of a?
False
Let j be 1/(-10)*2 - (-2855)/25. Is 24 a factor of 95950/j + (-1)/(-3) - 2?
True
Let q(p) = -29*p + 2. Suppose -6 = 3*o + 3*u - 2*u, -5*u = 0. Is 12 a factor of q(o)?
True
Suppose i = -3*o - 537, -179 = -15*o + 16*o + 5*i. Let p = o + 220. Is p a multiple of 10?
False
Let v(o) = 26*o**2 + o - 1. Suppose 318*l + 12 = 315*l. Is v(l) a multiple of 11?
False
Let v(u) = 2*u**3 - 4*u**2 - 2*u + 11. Suppose a + 4*r + 6 = 0, 2*a + 0*r - 2*r = 8. Suppose -2*d - a*s + 27 = 3*d, 4*d - 5*s - 15 = 0. Is 19 a factor of v(d)?
False
Let b = 22 + 11. Let j = 43 - b. Suppose -j = 3*u - 61. Is 4 a factor of u?
False
Suppose -3*h - 27 = 6. Suppose -4*k + 40 = b, b - 3*b = -2*k - 60. Let s = b - h. Is s a multiple of 5?
False
Let x(s) = 14*s**2 - 27*s + 123. Let p be x(10). Suppose -1012 = -4*q + 4*a, -4*a + 5*a = 5*q - p. Is q a multiple of 10?
True
Let h be (-1)/3*3*(1 + 0). Is 17 a factor of (-5081)/(-13) - h/((-78)/(-12))?
True
Let d(x) = -19*x + 11*x**2 + 9*x + 37 - 35. Is d(-5) a multiple of 54?
False
Let j = 7996 - -7133. Is 9 a factor of j?
True
Suppose 2134 = -2*l + 2*k, 0 = 3*k - 5 - 4. Let i = -479 - l. Is 45 a factor of i?
True
Suppose -4*k - 12 = 2*k. Let l be -3 - (-6 + 1 + k) - -3. Let c(t) = 19*t - 5. Does 32 divide c(l)?
True
Suppose 53065 - 80208 = -17*p + 128067. Is p a multiple of 20?
False
Let n be 21/(-35) + (-8226)/(-10). Suppose n - 297 = 5*t. Does 25 divide t?
False
Let p(h) = 252*h**2 - 355*h - 10. Is p(9) a multiple of 25?
False
Let u = 5063 - 4976. Let r(l) = 13*l + 5. Let g be r(4). Let n = g + u. Is n a multiple of 30?
False
Is (-20 - 75)/(-3*4/1752) a multiple of 73?
True
Suppose 3*p - 5*m - 854 = 0, -36*p = -41*p - 2*m + 1475. Suppose 0 = -16*t - p + 16917. Is 24 a factor of t?
False
Let z(g) = 35*g - 1. Let n(h) = 71*h - 2. Let c(u) = 6*n(u) - 13*z(u). Let w(i) = 7*i. Let d(p) = 2*c(p) + 9*w(p). Is 6 a factor of d(9)?
False
Let u(r) = -1125*r - 99. Does 78 divide u(-3)?
True
Let t(u) = 17*u - 125. Let x be t(7). Does 9 divide (-145 + 7)*3/x?
False
Let s(u) = -4*u + 1. Let f(t) = t + 6. Let j be f(-6). Let a be s(j). Does 34 divide (17 - -114) + 0 + (a - 1)?
False
Suppose -161108 = -33*z + 100318. Is 32 a factor of z?
False
Suppose -3*g + 759*q = 757*q - 25108, g - 5*q - 8365 = 0. Is g a multiple of 54?
True
Suppose -2*z - 4*q + 496 = 0, -6*z + 2*z = 2*q - 968. Let a = z - 185. Is a a multiple of 55?
True
Let w = 126 - -135. Suppose 3*l - 1133 = -5*j, 4*l - 2*j - 1241 = w. Does 55 divide l?
False
Suppose 30 = 8*z - 2. Suppose 0 = 2*x - 5*h - 567, -5*h + z*h + 1 = 0. Does 19 divide x?
False
Let v(k) = 9126*k**2 - 18*k + 19. Is 31 a factor of v(1)?
False
Suppose 0 = -v + 4*d - 2, -5 = 5*v - 4*d + 5. Let g be -1*(-40)/(-15)*(-36)/v. Is 65/26*g/(-10) a multiple of 2?
True
Does 17 divide (251/4 + -8)/(6/200)?
False
Let m be (-149)/3*1*60/(-10). Is m*(-35)/(-49) + 2/14 a multiple of 15?
False
Let r(u) = -u**2 - 5*u + 16. Let w be r(-6). Let s(h) = 17*h - 48. Is 7 a factor of s(w)?
False
Let t(j) = -j**3 - 2*j**2 + 19*j + 6. Let g be t(6). Let m(c) = -35*c + 4. Let i be m(-7). Let a = i + g. Is a a multiple of 15?
False
Let s(w) = w**2 - w - 717. Is s(48) a multiple of 11?
False
Let q be (25/(-2))/(1 - (-118)/(-116)). Is 13 a factor of -5*-1*(1 + 0) + q?
False
Let o(w) = 272*w**2 - 3224*w + 1. Does 13 divide o(12)?
True
Let i be ((-16)/(-32))/((-1)/2340 + 0). Let m = 2130 + i. Is 64 a factor of m?
True
Let c be (5 + -1)*(-8 - -2). Let p = c - -50. Does 13 divide (-7)/(-6)*p*3?
True
Suppose 2*o - 74 = -4*c, 195 = 5*o - 2*c + 7*c. Suppose -5*i = -11 + o. Is (i/18)/((-4)/696) a multiple of 6?
False
Let t = -15908 + 25233. Does 11 divide t?
False
Let z(j) = 4*j**2 + 2*j - 1. Let n be (-20)/(4 + -2) - 3. Let l(x) = -9*x**2 - 4*x + 3. Let c(a) = n*z(a) - 6*l(a). Does 7 divide c(6)?
False
Suppose 0 = -4*y + 2 + 2, h - 104 = y. Suppose 42 - h = -3*s. Suppose 10*m - 559 = s. Is m a multiple of 10?
False
Let k(y) = 1601*y - 549. Is k(4) a multiple of 68?
False
Let f = 36 - 16. Suppose h - 3*z = -f, h = z - 10 - 2. Let b = h - -108. Does 20 divide b?
True
Is 195 a factor of 7904 - -7*66/77?
False
Suppose 24 = -4*f + 872. Suppose 4*y - 319 = 5*j, 0 = -4*j - 4*y - f - 36. Does 25 divide (-3045)/j + (-5)/(-3)?
True
Let c = 494 + -489. Is 9 a factor of -2 - (c - (96 + 3 + -2))?
True
Let s(j) = 6*j + 36. Let c be s(-6). Let g be 2/(-6) + (-580)/(-12). Suppose c = 6*d - 3*d - g. Is 5 a factor of d?
False
Suppose 0 = 29*v - 37396 + 4336. Is 20 a factor of v?
True
Suppose -3*r + 3*g - 8 = 37, -3*r - 2*g = 70. Is (34/r + 13/65)*-40 a multiple of 17?
False
Suppose 32*l - 39*l = 51191. Is (0 + 28)*l/(-206) a multiple of 14?
True
Suppose g - 43416 = 100*a - 105*a, 4*g = a - 8700. Is 13 a factor of a?
True
Suppose 3*b + 3*z - 14 = 10, 0 = 2*z - 8. Suppose b*c + 12 = 28. Is 1352/9 - c/18 a multiple of 29?
False
Suppose 4*i - 3*x - 7 = 5, 5*x - 44 = -4*i. Suppose -57 = -2*o + 1. Suppose w - o = -i. Is 9 a factor of w?
False
Suppose 3*r + i + 5 = -r, -2*r - 4*i = 6. Is r*4/(-40) + 6476/40 a multiple of 5?
False
Suppose 20*p = 18*p + 2. Let h be 7 - (-1 - (-3)/p). Is (61 + -1)*(6 - 20/h) a multiple of 15?
True
Let m = -28684 - -41972. Does 22 divide m?
True
Suppose 76*y - 21199 = 10721. Does 84 divide y?
True
Let j(x) = -109*x + 100. Let d be j(-3). Suppose 0 = -3*o + 3 + 3. Suppose -b = -3*w + 468, -o*w + 4*b = -d + 105. Is 31 a factor of w?
True
Suppose 1751 = 20*o + 16451. Is 24/(-15)*o/6 a multiple of 12?
False
Let x(w) = -11*w - 678. Let j be x(-65). Let y(b) = 34*b**3 - b. Let s be y(1). Suppose 0 = -s*k + j*k - 792. Is 7 a factor of k?
False
Let t(j) = 91*j - 601. Is 8 a factor of t(53)?
False
Suppose 3*u = 2*z - 15, -z + 21 = -2*u + 11. Suppose z = 7*p - 14*p + 1561. Does 30 divide p?
False
Let q(o) = o**2 - 47*o - 1908. Is 5 a factor of q(-46)?
True
Let r(u) = 5061*u**3 - 5*u**2 + 47*u - 74. Is r(2) a multiple of 241?
True
Let s(a) = 5*a**3 + 2*a**2 - 4*a + 3. Let q be s(2). Let v = q + -34. Let z = 19 - v. Is 2 a factor of z?
True
Let c = -127 + 127. Suppose 11*j - 17*j + 564 = c. Does 23 divide j?
False
Suppose -f = 2*f - 4*n + 671, 3*n = -3*f - 699. Let b = f + 99. Let k = -31 - b. Does 33 divide k?
True
Suppose 5*i + 17*h = 20*h + 8987, 0 = -5*h + 5. Let r = i - 1087. Is r a multiple of 46?
False
Suppose 5*h + y - 445 = -4, -3*y + 3 = 0. Let j = h - 87. Is 3 a factor of 42*1 + -1 - j?
False
Let b = -3787 + 4705. Is 18 a factor of b?
True
Let a be 828/12 - (2/1)/(-1). Suppose -4*s = -a + 191. Is ((s/8)/5)/((-2)/192) a multiple of 8?
True
Let p(k) = -17*k**3 + 16*k**2 + 62*k + 215. Does 3 divide p(-7)?
True
Suppose -3*w + 185 = 34*w. Suppose w*p + 1767 = 8*p. Is 24 a factor of p?
False
Does 81 divide (-66861)/(-15) + (-1068)/445?
True
Suppose 4*r = -4*l + 19480, -2*l - r + 8369 = -1375. Does 10 divide l?
False
Let l be -6*7/189 + (-60)/(-27). Suppose 54 = l*o - 1350. Is o a multiple of 26?
True
Let f be 2725/10 + -4 + 5/2. Suppose 5*b = 2*z - 298 - f, -b = 5. Does 8 divide z?
True
Suppose -2*q + 540 = 2*z, -3*z = -3*q - 941 + 149. Suppose 3*v - 795 = 5*r, -z = -v + 6*r - 5*r. Is v a multiple of 27?
True
Let h = -498 + 803. Let s = 510 - h. Does 22 divide s?
False
Suppose r = 5*q - 12587, 4994 + 5069 = 4*q - 3*r. Is 63 a factor of q?
False
Let s = 2 - 1. Does 8 divide 1449/7 + (s - 2 - -1)?
False
Let c(k) = -3*k**3 - 77*k**2 - 100*k - 12. Is 32 a factor of c(-31)?
True
Suppose 360*t = 375*t - 87690. Is 79 a factor of t?
True
Let u(l) = -27*l**2 - 5*l - 47. Let f be u(7). Let x = f + 2258. Does 20 divide x?
False
Let n = 833 + 1068. Is 36 a factor of n?
False
Suppose 12440 - 136067 = -21*t. Does 74 divide t?
False
Let b = 111 + -105. Suppose 0 = 8*a - b*a - 360. Let l = a - 12. Does 20 divide l?
False
Suppose -5*t - 2*a + 17382 = 0, -4*t + 13900 = -13*a + 16*a. Is t a multiple of 37?
True
Let a(t) = t**3 + 2*t. Let g be a(-2). Let v(i) be the second derivative of i**5/20 + 7*i**4/6 + 11*i**3/6 + 15*i**2/2 + 563*i. Is v(g) a multiple of 9?
True
Let g = -269 - -195. Let r = 68 - g. Is 35 a factor of r?
False
Suppose -2*s + 2*i = -4550, 3285 = 2*s - 3*i 