iple of 7?
True
Let f(q) = 5*q**2 + 14*q + 6019. Is 4 a factor of f(0)?
False
Suppose -2*z + 30505 = 4*g - 10319, 5*g = 4*z + 51056. Is g a multiple of 32?
True
Let j be (3 - 23/7)*-77. Suppose -3504 = -j*g + 1754. Is g a multiple of 18?
False
Is (-168)/(-42) + (2488 - (2 + 1)) a multiple of 64?
False
Suppose -5*r + 12364 = -3*r + 2*n, 5*n = -4*r + 24734. Does 36 divide r?
False
Suppose 110*l = -166*l + 71*l + 804830. Does 4 divide l?
False
Let k(i) = -2*i**3 - 9*i**2 - 53*i - 4. Let h be k(-7). Let d = h - 345. Is 10 a factor of d?
False
Suppose 4*b - 359 = -3*p + 273, 0 = -5*b + 2*p + 813. Is 72 a factor of (b/(-2))/(37/(-74))?
False
Suppose -2*z - 4*j - 5 = -1, -z - 4*j - 8 = 0. Suppose 0*w - 430 = -z*w + o, -4*o + 527 = 5*w. Does 12 divide w?
False
Let u(c) = c**2 - 50 - 4*c + 50 + 19*c. Let q be 17*(-1 - (0 + 0)). Is 17 a factor of u(q)?
True
Let g be 0 + 9/5 + (-2)/(-10). Suppose 0 = -5*t - 2*c + 24, 0*t + t = c + g. Let b = 52 - t. Is 35 a factor of b?
False
Is 5 a factor of ((-98265)/(-20))/(15*(-8)/(-800))?
True
Let m(t) = 8*t**3 - 12*t**2 + 14*t - 15. Let o be m(5). Let u = o + -536. Does 73 divide u?
True
Let x(y) = -y**2 - 6*y - 7. Suppose 0 = 2*w + 4, 4*w = 5*k + 5 + 7. Let f be x(k). Is 27 a factor of 131 + (2 + f - -1)?
True
Let p = 24147 - 11592. Is 9 a factor of p?
True
Let i = -6257 + 8093. Is i a multiple of 17?
True
Suppose 0 = 5*k + 5, 5*k - 2 + 5 = -w. Suppose -11*y + 2*a = -7*y - 506, 3*y - w*a = 382. Is y a multiple of 3?
False
Suppose -1372*y + 1364*y = -26880. Does 40 divide y?
True
Let c = -345 - -345. Suppose c = 16*j - 9*j - 833. Is j a multiple of 14?
False
Suppose -4*n - 4*p + 580 = 0, 1166 = 5*n - 3*p + 433. Does 13 divide -4 + 0/2 + n + 17?
False
Let w(l) = 20*l**3 - 5*l**2 + 18*l - 19. Let z be w(6). Suppose 0 = 19*x - z - 13403. Is 29 a factor of x?
True
Suppose 35*u + 8*u - 9*u = 0. Suppose u = -4*k + 3*o + 2185, 4*o + 1637 = 3*k - 0*o. Is k a multiple of 37?
False
Suppose -104*w - 18 = -101*w. Let c be 5525/45 + w/(-27). Let s = c - 96. Is s a multiple of 2?
False
Let s be -4 + 12/(-5)*(-20)/8. Does 9 divide s/(-6)*-12 - (-320 + 0)?
True
Let u be -9 + 122/14 + (-80)/14. Let t(c) = c**3 + 8*c**2 + 15*c + 8. Let g be t(u). Let m = g - -154. Is m a multiple of 48?
True
Let g be (1725/5)/(-5)*(-46)/6. Let v = 851 - g. Is v a multiple of 14?
True
Let d be ((-5)/(-4))/((-1)/(-4))*7. Suppose -d = 2*c - 7*c. Suppose -5*a + 240 = 5*m, -92 = -2*a - m + c. Is a a multiple of 7?
False
Is 64 a factor of 29744/(((196/35)/14)/1)?
False
Let m be (-8 + 4 + 5)*2426*1. Suppose 5*u - m + 231 = 0. Suppose -5*i = -u - 171. Is i a multiple of 18?
False
Suppose -12*f + 88 = 2*c - 10*f, -5*c = -5*f - 240. Let t = c + 192. Does 14 divide t?
True
Let h = -140 + 3761. Is h a multiple of 10?
False
Let f(p) = 9*p**2 - 5*p - 26. Suppose -65*q = -48*q + 85. Is f(q) a multiple of 6?
False
Suppose -25*u = -21*u + 96. Is (-6042)/u + -11 + (-10)/(-8) a multiple of 11?
True
Let n = 128 - 123. Suppose -401 = -n*j + c, -6*c = j - 8*c - 73. Does 9 divide j?
True
Suppose 3*p = f + 16692, 5*p + 252*f - 27824 = 253*f. Is p a multiple of 44?
False
Suppose c + 2*c = 0. Let b(x) = 76*x + 234. Let i be b(12). Suppose 6*j = -c*j + i. Is 11 a factor of j?
False
Let h be 38/6 - (-13)/(-39). Suppose -2*s = 4*z - h, -2*s - 5*z = -0*s - 2. Is s a multiple of 11?
True
Let n(u) = -u**3 + 22*u**2 + 113*u + 70. Is n(23) a multiple of 10?
True
Let j(v) = 51*v + 15. Suppose -a - 2*d - 130 = 0, -3*d - 375 = 6*a - 3*a. Let m be (-576)/a - 2/(-10). Is j(m) a multiple of 45?
True
Let k = -136 - -239. Let d = -193 + k. Let n = 1 - d. Is n a multiple of 22?
False
Let m be (-1 + 1 + -2)*65/(-26). Suppose 10*p = -m + 35. Suppose -p*o + 618 = 3*d, -9*d + 5*o + 860 = -5*d. Does 10 divide d?
True
Let q(i) be the third derivative of -i**5/60 + 3*i**4/4 + 7*i**3/3 - 23*i**2. Let t be q(18). Suppose t*b = 2*b + 468. Is 11 a factor of b?
False
Is 16785 + -13 + 8/(-1) a multiple of 28?
False
Suppose -198 = 6*z - 24*z. Suppose z*a = 4*a + 700. Does 5 divide a?
True
Does 17 divide 47583/(-2)*(-430)/645?
True
Let v(z) = -27*z + 21. Let n = -33 - -28. Let g be v(n). Let i = -98 + g. Is i a multiple of 39?
False
Suppose 0 = -9*s - 22*s + 124. Suppose 7*h - 249 = s*h. Is 14 a factor of h?
False
Let r(o) = -40*o**2 + 12*o + 4. Let c(a) = -a - 1. Let n(f) = -4*c(f) - r(f). Is n(3) a multiple of 41?
False
Let k = 12487 - 9340. Does 85 divide k?
False
Let b = 71811 + -51259. Does 8 divide b?
True
Let y = -4587 + 7730. Is 101 a factor of y?
False
Suppose 6*r + 5*y - 54479 = -5325, 5*r + 5*y = 40955. Is 3 a factor of r?
True
Let i = -3 - 2. Let o(s) = 6*s**3 - 3*s**2 + 14*s + 6. Let c(d) = -d**3 + 2*d**2 - 2*d. Let b(g) = 5*c(g) + o(g). Is 18 a factor of b(i)?
True
Let z(v) = v**2 + 23*v + 78. Let j be z(-19). Is 9 a factor of j*(-6)/(-24) - 969/(-6)?
True
Let n = 9362 + -4067. Suppose -11*o - n = -30045. Does 15 divide o?
True
Let k = -16288 + 37966. Is 9 a factor of k?
False
Let w be 26*(-68)/(-8) - (3 - 0). Let k = w + -107. Is k even?
False
Let p(a) be the first derivative of a**4/2 - 26*a**3/3 - 7*a**2/2 + 29*a - 103. Does 19 divide p(14)?
True
Let p(k) = 158*k - 7. Let y be p(2). Suppose -o - u + 32 + y = 0, 3*o + 5*u = 1021. Is o a multiple of 57?
True
Suppose 4*c - 21638 = 2*d, 230*d - 21659 = -4*c + 235*d. Is 17 a factor of c?
True
Let v(z) = -z**3 + 40*z**2 - 64*z + 647. Is 12 a factor of v(18)?
False
Let k(p) = -189*p - 1077. Is 6 a factor of k(-27)?
True
Let v = 3288 - 3274. Suppose -3*d + 112 + 11 = 0. Let h = v + d. Is h a multiple of 7?
False
Let u be -12 + 10 + 7 - 2/(-2). Let r(v) be the second derivative of v**4/3 - 2*v**3/3 - 2*v**2 + v. Is 29 a factor of r(u)?
True
Suppose -2688*c = -2672*c - 127328. Does 46 divide c?
True
Let w(f) = 800*f - 9688. Is 62 a factor of w(18)?
True
Let y = -6628 + 7067. Is y a multiple of 100?
False
Let i be (-3)/6*(0 - 6). Suppose -7*s - i = 11. Let h = s + 21. Is 3 a factor of h?
False
Let i be (-9)/24 - 4179/(-8). Suppose 34*a = 40*a - i. Is 28 a factor of a?
False
Let z(y) = -y**3 + 5*y + 180. Let p be z(0). Suppose 4*x + 5*a = 5*x - 36, -2*a + p = 5*x. Is 12 a factor of x?
True
Suppose 4*u + r + 0 - 1 = 0, 4 = 4*u + 4*r. Let h(i) = -i**2 + 7. Let f be h(u). Does 17 divide 2*(-1)/f - 4768/(-28)?
True
Let p = 63971 - 37373. Does 286 divide p?
True
Suppose 60*d - 57 - 187 = -4. Let w be -1 + 0/1 + 145. Suppose d*b - 5*b = -w. Does 24 divide b?
True
Suppose -4*q - q + 5 = 0, -2*g + 767 = -5*q. Suppose -g = -5*a + 3*a + 3*y, 0 = 4*a - y - 762. Is a a multiple of 19?
True
Let o(g) = 23*g - 7*g - 1 - 15. Let z = 4477 - 4473. Does 8 divide o(z)?
True
Let c = 5052 + -5060. Suppose p = 6 + 66. Does 4 divide (-222)/c - (-90)/p?
False
Let l(k) = -2*k**2 - 28*k - 5. Let z be l(-12). Suppose 4*t - z - 25 = 0. Let v = -8 + t. Does 9 divide v?
True
Let k = -71 + 75. Suppose -k + 9 = b. Suppose 2*m = b*m - 66. Is m a multiple of 22?
True
Let r = 169 - 219. Is 11 a factor of 10*(-56)/r*1860/24?
False
Suppose -2*z = -q + 6945, -q - 263*z + 6957 = -259*z. Does 3 divide q?
False
Suppose -p + 288 = -4*p. Suppose 13*v = 14440 - 11814. Let x = v + p. Is 20 a factor of x?
False
Let n = 29725 - -5023. Is 73 a factor of n?
True
Suppose -17*l + 436859 = 24*l - 446568. Does 32 divide l?
False
Suppose 0 = -31*l - 10*l + 8*l + 102960. Is l a multiple of 5?
True
Let j = 29 + -108. Let i = 451 + j. Suppose -1292 = -8*p - i. Does 26 divide p?
False
Suppose -6 = -6*o + 4*o. Suppose 25 + 23 = o*b. Is b a multiple of 4?
True
Let t be (1521/(-27))/(1/(-9)). Suppose -2*j = j - t. Suppose 3*k - j = -64. Does 5 divide k?
True
Let l = -472 - -486. Does 14 divide (-244)/((22 + -24)*2/l)?
True
Let n(b) = -5*b**3 + 9*b**2 + 26*b + 8. Let p be (256/12)/8*9/(-6). Is n(p) a multiple of 23?
True
Suppose 0 = 5*p + 3 - 73. Let g(r) = -r**3 + 20*r**2 - 4*r + 56. Is g(p) a multiple of 12?
True
Let o = -117 - -118. Let k be (o - (2 + 6))*-5. Let w = 14 + k. Is 3 a factor of w?
False
Suppose 13*i - 125*i + 271040 = 0. Is i a multiple of 11?
True
Suppose -a = -12 - 8. Let z = 26 - a. Is 5 a factor of 2/z*((-20)/4 - -41)?
False
Let n(q) = -59*q - 27. Suppose -3*m + 7 = 3*w - m, 3*w - 17 = -4*m. Is n(w) a multiple of 16?
True
Does 6 divide (-12 - -13)/(360282/(-60048) + 6)?
True
Let y be ((-