d = 1587 + -1584. Suppose 5*m = -2*n - 215, 0*n + 5*n - 70 = m. Is 20 a factor of 10/6*(d - m)?
True
Suppose 2*n - 15*n - 104 = 0. Does 12 divide 2626/(72/n - -11)?
False
Let y = -17 + 6. Let d = 326 - y. Does 10 divide d?
False
Let r be (-8658)/(-15) - 2/(-15)*6. Suppose -592*q + r*q = -8568. Is 10 a factor of q?
False
Suppose 12*p - 29871 = 22701. Is p a multiple of 17?
False
Is 281 a factor of (-12)/(-15) + -2 + (11 - 4298467/(-85))?
True
Suppose 3*j + 43*z + 11 = 41*z, 4*z + 4 = 0. Is 14 a factor of (-2 - j)/((-26)/(-5616))?
False
Suppose 2*d = 4*n - 30, -5*n - 2*d = -0*n - 15. Suppose 2*o - n*p + p = 1308, -1992 = -3*o - 4*p. Does 33 divide o?
True
Let p(s) = -21 + 16*s + 10*s + 8*s - 19*s. Let f be p(19). Let d = f + -165. Does 13 divide d?
False
Suppose -a + 417*t = 414*t - 39261, 2*t = -a + 39286. Is 213 a factor of a?
False
Suppose 0 = 3*h + 3*f - 51, -3*h + 61 = 5*f + 12. Let s = -15 + h. Is 2 a factor of 11/((-33)/(-40)) + 2/s?
True
Let x be (3 - (1 - -1))/(2/54). Let k = x + -12. Suppose 0*i + 3*i = k, 4*w + 3*i - 547 = 0. Does 25 divide w?
False
Let j(w) = 66*w**2 + 6*w - 40. Is j(-6) a multiple of 12?
False
Let y be 0 + (-2 + (-12)/(-6))/(-4). Suppose y = 12*h - 23*h + 4004. Is h a multiple of 13?
True
Let j = 82 + -77. Suppose 0 = -0*f - 5*f + j, -72 = 2*v + 2*f. Let h = 19 - v. Does 6 divide h?
False
Let d = -12042 - -13175. Does 16 divide d?
False
Does 46 divide (-25 + 184)/((-3)/(-92))?
True
Let a = 4693 - 3109. Is 72 a factor of a?
True
Let n = 124 + -129. Is 5 a factor of 90/4 - (55/(-10) - n)?
False
Suppose -6*p = 16*p - 26132 + 4616. Does 9 divide p?
False
Let b be (-81)/(-6)*(-52)/(-117). Suppose 5160 = b*s + 37*s. Is 5 a factor of s?
True
Suppose -3*v + 12*v = 81. Let c(u) = -7*u + 11. Let d be c(v). Let k = 116 + d. Does 7 divide k?
False
Suppose 4*h - 12475 + 4787 = 0. Is 6 a factor of h?
False
Let q(s) = s - 2. Let k be q(16). Suppose -4*n + 46 = -5*p, -3*n + 2*p + k = -17. Suppose -1628 = -n*z - 539. Is z a multiple of 11?
True
Let p(n) = 19*n - 9. Let i be (2 + 0)/(4/(-16)). Let t = -5 - i. Is p(t) a multiple of 22?
False
Let w = 2434 - 364. Is w a multiple of 9?
True
Let i = -43 - -72. Suppose -238 = -3*d + i. Let p = d - -48. Does 32 divide p?
False
Suppose 11*c = 14*c - 12. Let l = 10 - -56. Let t = l + c. Does 12 divide t?
False
Let f(k) = -2*k - 20. Suppose -2*h = -3*g - 31, -3*g + h = 2*g + 61. Let c be f(g). Is 2/((2/160)/(3/c)) a multiple of 8?
True
Let r = -266 - -315. Is 15 a factor of -1*(-2 - 3) - (-12593)/r?
False
Suppose -z + 4*k = 2, -3*z - 2*k - 21 = 13. Let q = 60 + z. Suppose 3*f - q = 4*v + 143, 2*f + v = 147. Is f a multiple of 12?
False
Let w = -102 + 5. Let r = w - -104. Suppose r*m = 11*m - 124. Is m a multiple of 9?
False
Suppose -7*l + 8*l + 2*p - 6 = 0, -12 = -4*p. Is 11/(-22)*(-84 + l + -2) a multiple of 11?
False
Let z be 10/4*(-3368)/(-10). Let v = -633 + z. Is v a multiple of 11?
True
Suppose -c = 2*o + 11, 5*o - 2*c - 2*c + 47 = 0. Let s(p) = -p**3 - 8*p**2 - 9*p - 2. Let n be s(o). Suppose -n*x = -9*x - 390. Is x a multiple of 10?
True
Suppose -43*j = 2*m - 41*j - 55546, 2*m = 4*j + 55576. Is m a multiple of 86?
True
Let h(v) = -v**2 - 13*v + 102. Let b be h(-17). Suppose -3*q - 57 = -3*y, -3*q + 23 = 2*y - 0*q. Let c = y + b. Is 10 a factor of c?
True
Let h(k) = 10*k - 3. Let z be h(1). Suppose -z*o = -4*o - 96. Is -28*4/o*-2 a multiple of 2?
False
Is 8978 + (-4)/((-12)/(-27)) - -8 a multiple of 85?
False
Suppose -10*v - 43 = 87. Let p(u) = 4*u**2 - 30*u - 5. Let q be p(v). Let y = -727 + q. Is y a multiple of 56?
False
Let t be (14/10 + -1)/(16/43280). Suppose 0 = -5*k - 3*w + t, 0 = k + 2*k - 4*w - 655. Is 8 a factor of k?
False
Suppose -p + 168 = 5*o - 2*o, 0 = -5*o + 5*p + 260. Let c be (-4 + o/10)*26. Suppose 5*w = 5*j - 170, -2*w + c = j + 2*w. Is 7 a factor of j?
True
Let w = 12802 - -6368. Is 15 a factor of w?
True
Suppose 0 = 386*f - 42*f - 6907520. Is f a multiple of 251?
True
Suppose -4*x + 4 = -4*q, -3 = 3*x + q - 2. Suppose x = 5*c - k - 591, 2*k = -3*c - 3*k + 349. Let f = 200 - c. Is 16 a factor of f?
False
Let k = 33 + -5. Suppose v + k = 2*s, -2*s - 2 = -5*v - 46. Does 2 divide s?
True
Let d = 529 - 514. Let o(h) = h**2 + 20*h + 49. Is 16 a factor of o(d)?
False
Suppose -44 = -34*h + 12*h. Suppose -527 = -t + h*s, 4*t = s + s + 2120. Is t a multiple of 10?
False
Let c = -104 + 3800. Suppose 49*d - 61*d = -c. Is d a multiple of 3?
False
Let k(r) = 9*r**2 - 79*r - 14. Let f be k(9). Suppose f*j - 1280 = -5*v + 1212, -v + 506 = -3*j. Does 20 divide v?
True
Suppose 1332 + 16604 = 38*c. Is c a multiple of 15?
False
Let o(s) be the second derivative of -s**3 + s**2 - 10*s. Let x be o(0). Suppose -192 = -x*h + h. Is 28 a factor of h?
False
Let k(t) = 8592*t**3 + 8*t**2 - 11*t + 4. Is k(1) a multiple of 45?
False
Let o(s) = 61*s**2 - 67*s**2 + 9*s + s**3 - 14 + 0*s**3. Let p be o(5). Suppose -h + 125 = -3*j, p = h - 4*j - 124. Does 18 divide h?
False
Suppose 4*p + 5*n = 96, 30 = 3*n + 42. Let c(m) = 31*m**3 - 1. Let q be c(1). Suppose q*h - p*h = 141. Is 12 a factor of h?
False
Suppose -858626 = -38*q + 971682. Is 39 a factor of q?
False
Let a = 3210 + -648. Is a a multiple of 6?
True
Let k(y) = 4*y**2 - 127*y + 106. Is k(56) a multiple of 78?
True
Suppose 30608 = j + 4*l, 3*j = -3*l - 2*l + 91768. Is 91 a factor of j?
True
Let z(k) be the second derivative of -k**4/8 + 2*k**3/3 + 8*k**2 - 14*k. Let p(o) be the first derivative of z(o). Does 9 divide p(-12)?
False
Let n(i) = -i + 20. Let g be n(12). Let u be g - (-1 + 2 + 1). Is 9 a factor of 48/(-1*(-4)/u)?
True
Let r be ((-190)/(-20))/((-1)/(1 - 79)). Let p = r - 516. Let k = -161 + p. Does 7 divide k?
False
Does 5 divide ((-11)/33)/((-3)/17730)?
True
Let q(f) = 9*f**2 - 11*f + 6. Let b be q(8). Suppose 5*c - 526 = b. Is c a multiple of 17?
True
Suppose 4*b - 2*b = -2*h - 36, -30 = h + 5*b. Is 6 a factor of 2/((-30)/(-813)) + 3/h?
True
Let l = -2493 - -4617. Suppose 68*u - l = 9*u. Is u a multiple of 3?
True
Let q be (9/(-15))/(6/(-165))*10. Let y = q - 158. Is y even?
False
Suppose -a - 71 - 68 = 0. Let j = 234 + a. Is 48 a factor of 3 + -3 + j + 3 + -2?
True
Suppose -p + 3*l + 4413 = 0, 259 - 199 = -12*l. Is p a multiple of 13?
False
Let s = -8 + 18. Suppose 2*m = -3*y + 48, s*m + 4*y = 9*m + 19. Is m a multiple of 3?
True
Let m(d) be the first derivative of -5*d**2/2 - 8*d + 5. Suppose 3*a - 3*k - 8 = -41, -5*a - 5*k = 25. Is 16 a factor of m(a)?
True
Suppose 0 = 5*a + 15, 120*s + 3*a = 116*s + 34003. Does 16 divide s?
False
Suppose 20 = -87*u + 91*u. Suppose 384 = u*p + a, 0*a = 3*p - 4*a - 212. Let k = -51 + p. Does 20 divide k?
False
Let a be 3/2*(-50)/(-15). Suppose 2*f + 4*o = -196 + 686, -5*f = -a*o - 1240. Is f a multiple of 13?
True
Let u(j) = 29*j**2 - 30*j - 2. Let c be u(5). Suppose c + 636 = h. Does 93 divide h?
True
Let m(z) = 2*z**3 + 77*z**2 + 26*z - 97. Is 12 a factor of m(-37)?
True
Suppose 72*v - 135757 = 291203. Is 95 a factor of v?
False
Let y be (270/(-360))/((-2)/8). Let n be 1/2*(-1 + -1). Is (-284)/(-12) - n/y a multiple of 3?
True
Let x = -16478 - -17570. Is 7 a factor of x?
True
Let y(z) = 2*z**3 - 8*z**2 + 1. Let j be y(4). Let m be -111*(j/4)/((-6)/8). Suppose -a + 35 = -m. Is 6 a factor of a?
True
Let l(r) be the second derivative of 41*r**4/12 - r**2/2 + 2*r. Suppose -5*f - 4*f = -9. Is 25 a factor of l(f)?
False
Let y = -421 + 428. Suppose 0 = -y*h + 115 + 431. Is h a multiple of 2?
True
Let w be (-6)/(-45)*-21*-10. Let m be -4*(w/(-8))/7. Does 9 divide 5/(m - -3) + 49?
False
Is -8*(-1893)/18 + (-3)/9 a multiple of 16?
False
Let s = -7056 + 13890. Is 34 a factor of s?
True
Let h(p) = -10*p**3 + 5*p**2 - 4*p - 14. Let v(z) = -9*z**3 + 5*z**2 - 4*z - 15. Let n(w) = -6*h(w) + 5*v(w). Does 23 divide n(4)?
False
Let c(u) = -28*u - 11. Let j = 8 - 13. Does 43 divide c(j)?
True
Let p = -409 + 284. Let w be p - (-1 + -1 - 2). Let x = -44 - w. Is 15 a factor of x?
False
Let w be 2/(-3) - 5457/(-153). Let r(x) = -2*x**3 + 73*x**2 - 68*x - 75. Is 11 a factor of r(w)?
False
Suppose -205 = -42*w + 341. Suppose 0 = 7*r + w*r - 15400. Is 14 a factor of r?
True
Let d = 231 - 225. Let c = 41 - d. Is c a multiple of 5?
True
Let k(g) = -g**3 - 38*g**2 + 74*g + 18. Suppose 5*d = 5*j - 190, -5*j + 1 = 11