0)?
True
Let l = 5300 + -3347. Is 21 a factor of l?
True
Suppose 5*h + 205 = 2*c - 7*c, -5*c + 3*h = 237. Let k = 67 + c. Suppose -4*d + 58 = -k. Does 3 divide d?
False
Is 178 a factor of ((-667323)/636 + 2 + 1)/((-3)/12)?
False
Suppose 22*f - 168510 = -3*f - 5*f. Is 41 a factor of f?
True
Let k(n) = 9*n**2 + 2*n + 2. Let r be k(0). Suppose -4*t = 3*q - 1153, 4*q - 4*t = r*q + 802. Is 15 a factor of q?
False
Let z(h) = -266*h + 4072. Is z(12) a multiple of 10?
True
Suppose -4*p = -19 - 1. Suppose p*m - 523 = -138. Suppose -4*y + 7 = -m. Is y a multiple of 4?
False
Let u(v) = -110*v**2 + 4*v - 4. Let d be u(3). Let c = -170 - d. Is 46 a factor of c?
False
Let v = 7838 - 4310. Is v a multiple of 12?
True
Let x = 659 + 2163. Does 83 divide x?
True
Let v be (5*37)/(11 - 10). Suppose -5 = 5*y, -p - 4*y + v = -2*y. Is p a multiple of 39?
False
Let h = 83 - 80. Suppose -350 = -2*p + 2*j, h*p - 2*j - 510 = -4*j. Let i = -80 + p. Does 15 divide i?
False
Let a = -29 + 42. Let z = -13 + a. Suppose 4*x = 16, -p + z*x = 2*x - 20. Does 5 divide p?
False
Suppose 0 = 16*p - 15682 - 21190 - 14248. Is p a multiple of 5?
True
Suppose k - 25671 = 3*g - 4*g, -3*k - 7*g = -77037. Is k a multiple of 177?
True
Suppose -44*b + 27*b = 2680 - 63829. Is b a multiple of 58?
False
Let n(g) = 234 - 4*g - 111 + 197. Let f be n(0). Suppose f + 30 = 5*a. Is a a multiple of 10?
True
Let v(a) = -2*a**3 - 2*a**2 + 9*a + 6. Suppose 22 = -4*p + 10. Is v(p) a multiple of 5?
True
Let i(f) = f**3 + 8*f**2 + 5*f - 8. Let s be i(-8). Let j be (-12 + -6)*2/(-3). Let w = j - s. Does 11 divide w?
False
Let z(j) = 12*j - 6. Let k be z(1). Let d(y) = 3*y**2 - 4*y - 2*y - y**2 - 5. Is d(k) a multiple of 4?
False
Let x(d) = -15*d - 64 - 50 - 54 + 154. Does 4 divide x(-12)?
False
Let h = -327 + 335. Is -45*(-4 - h/(-10)) a multiple of 12?
True
Suppose 2*b = 3*a + 4271, 118*b + a - 4267 = 116*b. Does 13 divide b?
False
Let a be (-3)/((4/32)/(372/(-9))). Suppose 4*o + 270 = f, 3*f - 3*o + 155 = a. Is f a multiple of 4?
False
Does 18 divide 4 + 1 + -1 + (6 - (-68718)/6)?
False
Let y(m) = -m**3 - 8*m**2 - 13*m + 11. Let q(o) = o**3 + o**2 - o + 1. Let x(a) = -2*q(a) - y(a). Is 11 a factor of x(6)?
True
Let n(c) be the second derivative of 0 + 1/6*c**3 - 1/2*c**2 + 13*c + 31/12*c**4. Is n(1) a multiple of 31?
True
Let p(d) = -d**2 - 89*d + 804. Is 52 a factor of p(-69)?
True
Suppose -5*q - 7 = 63. Let u = 26 - q. Suppose d + u = 2*r + 2*d, -5*d = -2*r + 28. Is 9 a factor of r?
False
Let l be (29/4 + (12 - 12))*24. Suppose 3*d = -2*t + 139, -7*d - l = -2*t - 3*d. Does 11 divide t?
True
Suppose 0 = h + 45*y - 46*y - 7444, 4*y = -5*h + 37220. Is 9 a factor of h?
False
Does 208 divide (-256)/40*(-63440)/32?
True
Let v = -482 + 486. Suppose -12 - 192 = -2*c - v*a, -5*a = 3*c - 310. Does 8 divide c?
False
Suppose h - 3*p = 15, -2*h - 3*h + p + 19 = 0. Suppose 11 = -3*z + 2*f + h*f, -2*f - 4 = -4*z. Suppose 8*j - z*j = 910. Is 13 a factor of j?
True
Is (478 + (28 - 15))*23 a multiple of 15?
False
Suppose 11 = z + 21. Let c be (-455)/14*8/z. Is 7 a factor of c/(-39) + 88/6?
True
Let y(q) = 2*q**2 + 83*q - 4. Let k be y(-42). Suppose -4*h = -h - 30. Does 32 divide (-3 + k/h)*40?
True
Let u(q) = -10*q + 45*q**2 - 21*q**2 - 27*q**2 + 220 + 12*q. Is u(0) a multiple of 11?
True
Suppose -2*k - 2*l = -0*l - 4, -2*l = -3*k + 26. Suppose 37 = -2*c - a - k, 83 = -4*c + a. Is 1 + (-1865)/(-35) - (-6)/c a multiple of 27?
True
Suppose -18*j - 6*j = 120. Is 65 a factor of ((-2348)/(-8) + j)*2/1?
False
Suppose 3*f = 2*z - 8 - 3, z - 3*f - 4 = 0. Is (z/6 - (-4)/(-6))*72 a multiple of 36?
True
Let u(c) = -66*c + 19. Let d be (0 - (-15)/(-5))/((-12)/(-16)). Does 10 divide u(d)?
False
Let g be (-18)/(-12)*-2*(1 - 2). Let t be 416/12 - (-1)/g. Suppose t = -0*u + 7*u. Does 2 divide u?
False
Suppose 5137 - 48817 = -27*d - 5*d. Is 9 a factor of d?
False
Let z(b) be the second derivative of 0*b**2 - 3*b**3 - 8*b + 0 - 1/12*b**4. Is z(-8) a multiple of 8?
True
Suppose -10*n + 48 = -13*n. Let j(s) = -s**2 - 17*s - 22. Let b be j(n). Is (-4)/b + 710/6 a multiple of 29?
False
Suppose -77*p + 98052 = -7053. Is p a multiple of 13?
True
Let f(c) = -11 + 30*c + 54 + 13*c**2 - 27 - 21. Does 17 divide f(-5)?
True
Suppose 0*k + o + 10 = k, -4*k = 4*o - 32. Suppose 0 = -i - 5 + k. Suppose 0 = 6*d - i*d - 16. Is 4 a factor of d?
True
Is (-34113 + 0/(-1))*(190/57 - 4) a multiple of 83?
True
Suppose -5*n + n = -20, 2*y + 3*n = 39. Suppose 0 = 8*x - y*x + 24. Is (-1539)/x*(-6)/9 a multiple of 35?
False
Suppose 12*d = -26 - 10. Is 15 a factor of (186/(-9) + -3)*d?
False
Let s = 13708 - 9730. Is s a multiple of 51?
True
Let f(w) = 232*w - 4. Let o be f(1). Let y = o - 48. Is 15 a factor of y?
True
Suppose -93*t + 44*t = -590499. Is 13 a factor of t?
True
Suppose -190 = 2*o - 2910. Suppose -2*q + o = 6*q. Is q a multiple of 14?
False
Let k(l) = 10*l + 55. Let d(u) = -5*u - 27. Let h(j) = -5*d(j) - 3*k(j). Let i be h(-10). Suppose 4*a = -r + i, 56 + 30 = 3*r - a. Is 5 a factor of r?
False
Suppose -9*b + 66900 = 2*b - 100652. Is b a multiple of 56?
True
Does 11 divide (-968230)/(-135) - (-3)/(-324)*8?
True
Suppose 1288*r - 1290*r = -44. Suppose 2*l - 7*l = -1750. Suppose 29*h - l = r*h. Is 10 a factor of h?
True
Let p be 270/(-63)*(-56)/24. Let z(o) be the third derivative of -o**5/60 + 11*o**4/24 + 10*o**3/3 - o**2. Is z(p) a multiple of 15?
True
Let c = -127 + 190. Let y be 6*(c/6)/7. Is 10 a factor of 129/(-2)*-6*3/y?
False
Let y = -17 + -29. Let x = y + 50. Suppose -270 = -x*b - b. Is b a multiple of 27?
True
Suppose -3*a = 3*p - 15, -1 = -4*a + 3*a. Suppose 2*w + w = 5*q + 350, -3*q - 474 = -p*w. Is w a multiple of 40?
True
Is ((-59090)/15)/(-19)*93 a multiple of 31?
True
Suppose -3*m + 88570 = 143*w - 141*w, 5*w - 3*m = 221446. Is 346 a factor of w?
True
Suppose -2*c + 3*h = -7043, 3*c - 7930 = h + 2631. Is c a multiple of 32?
True
Suppose 1224 = 4*v + 5*w - 1767, 5*v + w - 3744 = 0. Is 2 a factor of v?
False
Let w = -9971 + 18923. Does 12 divide w?
True
Let h = -44 - -49. Suppose -3*d - 564 = 3*m, 1 = -h*d + 26. Is m/(-2) + -9*4/(-24) a multiple of 14?
True
Suppose 4*f + 9 = 13. Suppose 10 = 9*q + f. Is 20 a factor of (4 - (3 - q))/((-6)/(-591))?
False
Suppose 0 = -36*f + 9*f + 270. Let m(s) = -s**3 + 9*s**2 + 23*s - 25. Does 3 divide m(f)?
True
Let q(z) = -50*z**3 + 48*z**2 + 30*z + 12. Does 8 divide q(-4)?
False
Suppose 0 = -3*m - 9, 3*g + 0*g - 4*m - 24 = 0. Suppose -3*p = 2*h - p - 162, -h + g*p = -106. Suppose -4*y - h = -262. Does 24 divide y?
False
Let f be (2 - (3 - 1))/(-4 + 3). Suppose -5*w + 7*w = f. Suppose -455 = -5*u - w*u. Is u a multiple of 19?
False
Suppose -282 = -21*o + 19*o. Is 3 a factor of o?
True
Let m be 1 + 22/(-4) + (-4)/(-8). Is (-418)/m + (-16)/(-32) a multiple of 7?
True
Let u be (-1 + -668)*2/3. Let x = -245 - u. Does 2 divide x?
False
Let c(n) = -n**3 - 25*n**2 - 34*n - 42. Let m be c(-24). Is 2/7 + m/42 - -268 a multiple of 39?
True
Suppose 39*r + 205897 = 2263147. Is r a multiple of 50?
True
Let x(h) = -8*h**2 + 32 + 21*h + 25*h**2 - 12*h**2 - 4*h**2. Is x(-26) a multiple of 9?
True
Suppose 47220 = 3*j + 3*u, 4*j = 5*j - 4*u - 15760. Is 24 a factor of j?
True
Let q(n) = -n**3 + 17*n**2 - 19*n - 23. Let x be -6*((-8)/(-32))/((-2)/20). Let i be q(x). Let t = i - 84. Is t a multiple of 6?
False
Suppose -4*v + 210 = 10*v. Let n(i) = 12*i + 80. Is 20 a factor of n(v)?
True
Let f(w) = w**3 - 19*w**2 - 16*w + 19. Let r be f(20). Is ((-16)/18)/4 - (-319)/r a multiple of 3?
True
Let w be (-10 - (-1716)/154)/(2/7 + 0). Let j be (-281)/(-9) + (-6)/27. Suppose 5*p = -3*k - j + 587, -743 = -w*k - 5*p. Does 19 divide k?
False
Suppose -6*k + k - 3*m + 5 = 0, 2*m + 6 = -k. Suppose -12 = 3*w + 48. Does 28 divide (k - (-64)/w)*70?
True
Let v(f) = f**2 - 4*f + 5. Let d be v(4). Let s(o) = 0 + d*o - 6 - 6. Is 3 a factor of s(5)?
False
Suppose -2980 = -68*s + 73418 - 12818. Does 17 divide s?
True
Let c(y) = -28*y - 4. Let m(p) = p**2 - 8*p - 10. Let t be m(9). Let l be c(t). Does 8 divide (-584)/(-12) - -4*(-4)/l?
True
Suppose 17*q - 728157 + 208195 = 0. Does 15 divide q?
False
Suppose -3*g + 9962 = -34*u + 39*u, 5*g - 5*u = 16670. Is g a multiple of 4?
False
Suppose 745 = -6*z - 563. Let m = 254 + z. Does 18 divide m?
True
Let