w*p + 352, p - 4 - 1 = 0. Is s a multiple of 15?
False
Let c = -19 - -33. Does 4 divide (48/c)/(12/42)?
True
Let n be ((-1)/(-3) + 1)*6. Suppose 37 = -9*r + 1. Is 3 a factor of (0 - n)*(3 + r)?
False
Suppose -g + 55 = 3*w - 7*w, -2*w + 120 = 2*g. Let q = -14 + g. Is q a multiple of 11?
False
Let p(c) = -6*c - 38. Let g be p(-9). Let f be ((-67)/2)/(1/(-2)). Let a = f - g. Does 13 divide a?
False
Suppose -2*x - 2*x = -24. Let r be (-56)/x*(-360)/28. Let f = -67 + r. Is 21 a factor of f?
False
Let t(m) = 4*m**2 + 89*m - 49. Does 5 divide t(-24)?
False
Let i(n) = 82*n**2 + n + 1. Let y be i(-1). Is 18 a factor of y*1 - (-2 - -4)?
False
Is 3204/20 - 8/40 a multiple of 40?
True
Let o(f) = -2*f**3 - 10*f**2 - 20*f - 15. Is o(-10) a multiple of 13?
False
Let k be (-3 + (10 - 2))*(-1 + 0). Let y(n) = 3*n**2 + 3*n + 6. Is 36 a factor of y(k)?
False
Suppose -136*w = -134*w - 5146. Is w a multiple of 48?
False
Let l = 169 + -103. Does 16 divide l?
False
Let n = -10 - -16. Suppose 2 + n = -4*o. Does 12 divide ((-2)/(-4))/(o/(-172))?
False
Suppose -17136 = -8*q - 9*q. Is 26 a factor of q?
False
Does 19 divide 1646/(-8)*(-6 + -2 - -4)?
False
Let o(l) = 0*l - 22 - 11*l + 0*l + 5*l**2. Does 19 divide o(9)?
False
Let o(z) = 5*z + 259. Is 14 a factor of o(21)?
True
Suppose 17*x + 13 = 1033. Does 4 divide x?
True
Suppose 3*n = 2*f + 8*n - 417, -1020 = -5*f - 5*n. Is 6 a factor of f?
False
Suppose 12*t - 19928 = -35*t. Is t a multiple of 87?
False
Let g(y) = -2*y - 17. Let l be g(-10). Suppose -3*m = -l*k - 6*m + 339, 592 = 5*k - 4*m. Does 21 divide k?
False
Let w be 44/(1 - (0 + 2)). Let b = w - -89. Suppose 4*y + 30 = 2*n, n + y + 3*y = b. Is n a multiple of 5?
True
Let k(g) be the third derivative of -g**5/30 - g**4/4 - 2*g**3 + 7*g**2. Let n be k(-11). Let m = n + 282. Is 26 a factor of m?
False
Let m(g) = g**3 + 9*g**2 + 14*g - 6. Let x be m(-6). Let o = 52 - x. Is o a multiple of 9?
False
Suppose -2*u + 11 = 5*t, u - t = 2*t. Suppose u*g = -2*g + 525. Is g a multiple of 21?
True
Is 15 a factor of 179 - 6/(-7 - -1)?
True
Suppose -6 = -f + 38. Suppose -3*u + f = -5*a, 3*u - 2*u - 16 = 3*a. Does 13 divide u?
True
Let w be -3 + 5 - (0 - 0). Suppose -25 = -5*y - 3*f + w*f, 4*y - 36 = -4*f. Let h(k) = -k**3 + 4*k**2 + 5*k + 1. Does 8 divide h(y)?
False
Suppose -2*g = -109 - 251. Does 12 divide g?
True
Does 16 divide (-291)/(-3) - (-1 + 2)*3?
False
Let o(c) = c - 1. Let d be o(8). Suppose -2*p + d*p = 260. Is p a multiple of 8?
False
Let t = 127 - -63. Suppose 7*d - 482 = t. Is 14 a factor of d?
False
Let w(t) = -t**3 - 2*t**2 + 2*t - 4. Let q be w(-3). Let u(c) be the second derivative of -9*c**3/2 + c**2 + 4*c. Is u(q) a multiple of 20?
False
Let l = 5 + -1. Let j = 18 - l. Suppose 5*o - r + 3*r = 31, j = 4*o - 2*r. Is o a multiple of 5?
True
Let h = 383 - 703. Does 45 divide (-12)/((-4)/(h/(-12)))?
False
Is 34 a factor of (45/(-12) + -3)/((-3)/168)?
False
Is 462/18*(12 - -6) a multiple of 14?
True
Suppose -42*l = -34*l - 384. Is l a multiple of 48?
True
Does 12 divide (-5 - 66/(-18))*3 + 448?
True
Let m be 17/5 - (-6)/(-15). Suppose 6 = -0*d + m*d. Does 4 divide 1/(d + 21/(-11))?
False
Is (139/3)/((-33)/(-396)) a multiple of 15?
False
Suppose -448 = -3*c + 5*i, 5*c + 3*i - 8*i = 750. Does 9 divide c?
False
Let k(v) = -v**3 + 7*v**2 + v - 4. Let t be k(7). Let w(d) = -2*d + 8*d - 1 - 2*d + 4. Is 10 a factor of w(t)?
False
Let l(k) = 3*k + 75. Is l(10) a multiple of 7?
True
Suppose -5343 = -10*r + 897. Is 39 a factor of r?
True
Let p(o) = 4*o**2 + 10*o + 19. Let b be p(-8). Let t = -144 - -50. Let g = t + b. Is g a multiple of 13?
False
Suppose 0*n - 2*n = -44. Let w = n - 29. Let x = 115 - w. Does 28 divide x?
False
Let l be ((-504)/35)/((-6)/(-20)). Is 22 a factor of 33/(-2)*l/9?
True
Let h(t) = 4*t**2 + 15*t + 1. Is 39 a factor of h(5)?
False
Suppose 0 = 25*p - 19*p - 180. Does 4 divide p?
False
Suppose -42*x = -37*x - 395. Let h = -50 + x. Is 12 a factor of h?
False
Let s be 0/((-60)/(-27) + 4/(-18)). Suppose s*p = 14*p - 238. Does 2 divide p?
False
Let n be (-1476)/(-9) - 1*-5. Let p = n - 36. Is 11 a factor of p?
False
Suppose 3*x - 11 = 16. Let d be ((-6)/7)/((-8)/28). Is 9 a factor of (-6 - x/d)*-1?
True
Suppose 3*v + 0*v + 12 = 0. Let a be (-14)/v + (-17)/(-34). Suppose 0 = a*i - 5*k - 389, 0*k + 2*k = -5*i + 478. Is i a multiple of 32?
True
Suppose 2084 = 3*t + 5*w, 0 = -5*t + 2*w + 2*w + 3535. Is t a multiple of 18?
False
Let h(f) = 69*f - 3. Suppose 7*m = 5 + 2. Is h(m) a multiple of 12?
False
Let c(b) = -b**2 - 45*b + 9. Let x be c(-12). Suppose 3*l - x = -2*l. Is l a multiple of 9?
True
Let b(p) = 41*p**2 - p + 1. Suppose -5*f - 3*t + 3 = -1, 3*f + 12 = 3*t. Let u be (f/(-4))/(2/8). Is b(u) a multiple of 12?
False
Let l = -347 - -647. Is 20 a factor of l?
True
Let g(l) = -l**3 + 6*l**2 - 3*l + 3. Let n(f) = f. Let p be n(4). Suppose -3*x - 22 = -p*k, 2*k + k = 2*x + 16. Is 4 a factor of g(k)?
False
Let p = 27 - 17. Suppose 4*c + 4*f + 229 = 7*c, 3*f = -3. Is ((-54)/p)/((-15)/c) a multiple of 9?
True
Is 3*(-2)/9 - 3496/(-6) a multiple of 21?
False
Let i(v) = -v**3 + v**2 - v + 5. Let d be i(0). Suppose 73*a - 15 = 68*a. Suppose -d*t + 10*t - 135 = 2*w, a*t + 3*w - 81 = 0. Is t a multiple of 8?
False
Suppose 0 = 29*n - 27*n - 40. Suppose -7*o + n*o = 546. Is 42 a factor of o?
True
Let h(g) = 4*g**2 - 2*g + 8. Let s be h(4). Suppose -495 = -s*i + 61*i. Is i a multiple of 43?
False
Let p = 95 + -21. Suppose 0*q = -2*q - p. Does 4 divide q/(-3) - 5/15?
True
Let t be (3 - (-28)/(-10)) + 42/15. Let j(k) = k - 1. Let f be j(1). Suppose -c - 4*p - 7 = f, c + p = t*c - 22. Is c a multiple of 5?
False
Suppose 0 = -13*v - 35*v + 8496. Is 4 a factor of v?
False
Let l(o) = -o**2 + 18*o + 11. Let j be l(19). Suppose -2*k + 106 = 5*p, -4*k + 9 = -4*p + 77. Let z = p + j. Is 3 a factor of z?
True
Let a = 62 - 58. Suppose -a*h - 43 = -395. Is 22 a factor of h?
True
Let q(h) be the third derivative of h**5/10 - h**4/8 - h**3/6 + 6*h**2. Let k be q(2). Let r = k - -16. Is r a multiple of 12?
False
Suppose -4*b - 43*b = -55037. Is 30 a factor of b?
False
Suppose 0 = j + 2 - 213. Is 63 a factor of j?
False
Suppose -8*c = -6*c - 722. Let d = c + -132. Suppose -4*u + 3 = -u, -4*k = u - d. Is 19 a factor of k?
True
Let h be (1 - -1)*24/(-16). Let g(p) = 2*p**2 - 10*p. Is 14 a factor of g(h)?
False
Is 26 a factor of (-14 - -1)/((-19)/2128)?
True
Let s be 3232/12 + 1/(-3). Let q = -87 + s. Suppose -3*b + 2*h = b - 224, 3*b - 5*h = q. Does 9 divide b?
True
Let f be ((-1884)/3)/(-1) - -3. Suppose 4*c = 5*d - f - 44, -c = -4*d + 529. Is d a multiple of 32?
False
Let g(u) = -111*u**3 - 2*u**2 - 3*u. Let t = -57 - -56. Is 14 a factor of g(t)?
True
Does 4 divide (-4)/2 + -8 + 20 + -6?
True
Let x(s) be the second derivative of s**4/2 - s**3/3 + s**2 - 12*s. Is x(3) a multiple of 12?
False
Let w = 230 + 580. Does 15 divide w?
True
Suppose -5 = 4*o + n, 5*n + 13 = 3*o - 12. Suppose o = -3*h + 55 + 20. Is 19 a factor of h?
False
Let c be 1/((8/10)/4). Let g = c + -12. Does 11 divide 9/(-21) + (-143)/g?
False
Let q(k) = k**3 - 15*k**2 + 13*k + 11. Let w be q(14). Let f = w - -6. Let c(r) = 10*r + 2. Is 7 a factor of c(f)?
False
Let j(h) = -h**3 + 11*h**2 - 3*h + 25. Let n be j(11). Is 16 a factor of 180/5 - n/(-2)?
True
Let u be (-48 + 42)*(2/(-4) + 1). Let k(o) = -o**3 + o**2 + 5*o. Is 7 a factor of k(u)?
True
Let r = 37 + -30. Is -7*(-1560)/50*5/r a multiple of 29?
False
Let s(k) = -6*k**2 + 6 + 18*k + 8*k**2 - 5*k + 0*k**2. Is 13 a factor of s(-7)?
True
Let w(z) = 102*z + 4. Let n be w(6). Suppose 3*k + k + n = 0. Let g = -94 - k. Is g a multiple of 10?
True
Let t(p) = p + 1. Let u be t(5). Suppose -9 = 3*a - 0. Is 10 a factor of 11 - (1 - (a + u))?
False
Suppose 0*p = 2*p - 834. Suppose 77 + 13 = 30*l. Suppose -i + p = 5*q, -l*i + 240 = 3*q + i. Does 11 divide q?
False
Suppose -40082 + 3787 = -35*q. Is 5 a factor of q?
False
Is 18 a factor of -7 + (-2 - 6/(-1)) - -57?
True
Let a = 213 - 25. Is 5 a factor of a?
False
Let f(c) = 405*c**2 + 2. Does 9 divide f(-1)?
False
Let h = 1667 + -1173. Does 19 divide h?
True
Suppose 0 + 4 = a - k, 4 = -3*a - 5*k. Suppose 0 = h + 3*f - 9, 5*h - 100 = -2*f - a*f. Does 24 divide h?
True
Let b(y) be the third derivative of 7*y**4/24 - 5*y**3/6 -