2 + w - 3. Let o(b) = 6*p(b) - 5*u(b). Is o(6) a multiple of 6?
False
Suppose -10 = -9*h + 17. Suppose 0 = 2*i - g - 696, -277 = -h*i - g + 757. Is 21 a factor of i?
False
Suppose -55*k - 250559 = 29*k - 635699. Is 10 a factor of k?
False
Let q be 4 + 3/(3 + -6). Let p be q*((-21)/9)/7. Is 3*15 + p - (15 - 15) a multiple of 9?
False
Let a(t) = t**3 + t**2 - 13*t - 2. Let j(x) = -19 - 4 - 2*x - 9. Let s be j(-14). Does 2 divide a(s)?
True
Let o(k) = -356*k - 71. Let x be ((-12)/(-8))/(2 - 57/24). Is 33 a factor of o(x)?
True
Suppose 4*w - 4*n + 5*n + 122 = 0, 0 = -w - 4*n - 38. Let a = 98 + w. Let j = a + 57. Does 48 divide j?
False
Let q(y) be the third derivative of 10*y**2 + 0*y + 0 + 3*y**3 - 1/4*y**4. Does 11 divide q(-10)?
False
Suppose -7836 - 27480 = -36*q. Is q a multiple of 4?
False
Does 153 divide -9 + (-1162)/(-126) + 51946/9?
False
Suppose w + 2*n - 26 = -n, 5*n = 2*w - 74. Let r(x) = 1 + w*x - 11*x + 13*x. Does 7 divide r(1)?
True
Let z = 15213 - 11019. Is z a multiple of 2?
True
Let v(a) = -5 + 10 + 8 + 182*a + 1. Does 37 divide v(1)?
False
Suppose 10 = -4*n + 3*j, -4*j = 14*n - 12*n - 6. Is 667 + -1*(n - -2) a multiple of 37?
True
Let v(u) = 3*u - 10. Let y(h) = h + 15*h + 0*h - 38*h - 8. Let s be y(-1). Does 13 divide v(s)?
False
Is 18 a factor of (15 + -11)/((-3)/4671*-2)?
True
Let x be ((-5)/1 + 5 - -135) + 4. Let a = x - -106. Is 35 a factor of a?
True
Let n = 984 + -385. Suppose -3521 = -6*b - n. Does 38 divide b?
False
Suppose -8 = 15*r - 17*r. Suppose r*h + f - 2350 = 412, 0 = 5*f - 10. Suppose -h = -11*q - 250. Is 11 a factor of q?
False
Is 42 a factor of ((-42)/(-12)*3/14)/((-33)/(-227304))?
True
Let f = 424 - 346. Suppose 135 = 2*a - 0*y - y, f = a + 3*y. Is a a multiple of 23?
True
Suppose -t - 5*t = 96. Let y(w) = w**3 + 17*w**2 + 18*w + 40. Let u be y(t). Suppose 156 = -6*c + u*c. Is 16 a factor of c?
False
Let n = 61 + -36. Let x be 157/((-5)/n*-5). Let p = x - 98. Is p a multiple of 15?
False
Is (-60)/(-42) + 851568/56 a multiple of 31?
False
Let b = -90 - -2291. Is 31 a factor of b?
True
Suppose -147*f = -2*l - 148*f + 92138, -3*l = 2*f - 138204. Is 169 a factor of l?
False
Let q be 3864 - ((-3 - -12) + -6). Suppose -4*s + q = -5*c, 4*c - 6*c + 4851 = 5*s. Is s a multiple of 57?
True
Suppose 8157 + 10014 = 2*r + 3*h, -r + h + 9073 = 0. Does 17 divide r?
True
Let j = 17475 - 12275. Suppose -37*y + 11*y = -j. Is 20 a factor of y?
True
Let k(r) = r**2 - 2153*r + 23766. Is k(0) a multiple of 17?
True
Let w(l) be the third derivative of l**7/1260 - l**6/72 + l**5/10 + 13*l**4/24 + 9*l**2. Let s(o) be the second derivative of w(o). Is 12 a factor of s(6)?
True
Let a(k) = -4*k - 9. Let p be a(-4). Let o be -1 + (-2*(-4 - p) - 3). Suppose -13*t - 665 = -o*t. Is t a multiple of 19?
True
Suppose -8*h = -13*h + 4*b - 5, -2*h - 4*b - 2 = 0. Let d be (-3)/((h*4/22)/2). Suppose 990 = 38*o - d*o. Does 22 divide o?
True
Does 31 divide (12/(-42) + (-7581)/49)*352/(-10)?
True
Does 14 divide (-29)/((-203)/(-14)) - -307*1?
False
Suppose -60*l + 58*l + 2713 = -y, -2*y = -3*l + 4070. Does 21 divide l?
False
Suppose 5*m + 170 = 5*s, 2*s + 5*m - 33 = 28. Suppose s = 3*j - 0*j - 3*x, 76 = 5*j + 2*x. Is 2 a factor of j?
True
Suppose 5*i - 18 + 84 = -2*x, -3*x - 22 = 2*i. Let m = i - -16. Is 11 a factor of 133 - (-3 + m)*-1?
True
Let j(d) = -32*d - 12. Suppose -16*z = -4*z + 12. Is j(z) even?
True
Suppose 3690 = 347*a - 344*a. Let t = a + -690. Does 20 divide t?
True
Let r = -87 - -22. Let h = r - -65. Suppose h = -7*w + 4*w - 5*l + 547, -5*w - l + 919 = 0. Is w a multiple of 61?
False
Suppose -427*a + 149568 = -386*a. Is a a multiple of 64?
True
Let v = -5844 + 8556. Is v a multiple of 8?
True
Let m = 1267 + 9992. Is 27 a factor of m?
True
Suppose 0 = -3*x - 2*m + 68 + 880, 5*x - 1585 = -5*m. Let z = x + -50. Does 8 divide z?
True
Suppose -3*h = -3*m - 4812, 9*h = 6*h + 4*m + 4813. Is h a multiple of 17?
False
Let x be (0 - 33/9)/(8/(-24)). Suppose -x*s = -31*s + 680. Is 16 a factor of s?
False
Let b(s) = -3*s**2 + 2*s**2 - 10703 - 7*s**3 + 10704. Suppose -9 = -4*f + 5*r + 7, -f - 2*r - 9 = 0. Is 2 a factor of b(f)?
False
Suppose 961 = 2*p + 5*f, 2*f = 2*p + 3*f - 973. Does 31 divide p?
False
Let g(v) = 3*v**3 + 3*v**2 + 3*v + 1. Let o be g(-2). Let h = o + 24. Suppose h*q + 100 = 12*q. Is 3 a factor of q?
False
Let b(w) = w**3 + w**2 - 11*w + 3. Suppose 5*m + 10 + 5 = a, 4*m - 17 = -5*a. Is b(a) a multiple of 49?
True
Suppose -2*n + 79 + 87 = -5*r, -3*n + 4*r = -242. Let a = n + -22. Is a a multiple of 5?
False
Let q be 4232/((-399)/(-49) + -8). Suppose -23704 = -33*u + q. Is 96 a factor of u?
False
Let d = 1095 - 775. Is 5 a factor of (d/(-50))/(2/(-25))?
True
Let m be 77/(-21) + (-2)/6 - -22. Suppose 0 = 8*t - 17*t + m. Suppose 158 = 5*i - 0*v - t*v, 4*v = -5*i + 134. Does 6 divide i?
True
Let m = -26 - -44. Suppose 23*x = 14*x - m. Is 2 a factor of 14 - 1/(2/x)?
False
Let k be ((-5)/(-4))/((-3)/(-12)). Let x = 35 + -32. Suppose -154 = -2*n - k*m, 5*n + x*m + m = 368. Does 25 divide n?
False
Suppose -5*a = -3*a - 24. Let l be 14/5 - a/15. Suppose 0 = l*c - w - 50, 5*w = 5*c - 0*w - 130. Is 17 a factor of c?
False
Let a(p) = -p**3 + 9*p**2 + 13*p + 10. Let f be 324/(-63) - (-1)/7. Let m be a(f). Let d = m + -96. Is 56 a factor of d?
False
Suppose -3*a + y - 1 + 3 = 0, 5*y = 2*a + 3. Let d be -15*a - 0 - (4 + -1). Does 20 divide (-8 - -21)/((-2)/d)?
False
Let u = 10855 - 4449. Is 14 a factor of u?
False
Let z(k) = 7*k**2 - 6*k + 7. Let h(v) = 2*v + 5. Let b be h(0). Suppose -8*j = -2*l - 3*j - 23, -b*l + 4*j = 32. Is z(l) a multiple of 37?
False
Let i(s) = 207*s - 1922. Is 34 a factor of i(74)?
True
Suppose -4*u - 2*x = -22, -2*u + 6*u + 4*x - 28 = 0. Let f be (-23)/u + 6 - 11/(-4). Suppose 0 = f*i + 5*g - 166, -2*i + 0*i = -2*g - 84. Does 5 divide i?
False
Suppose -132*c = -108*c - 11520. Is c a multiple of 20?
True
Let o(h) = -h + 15. Let k be o(15). Suppose 0 = 5*v - k - 5. Is (9 - (8 - 4))/v a multiple of 2?
False
Let a = -73 + 94. Suppose -13*g - 32 = -a*g. Suppose -4*j + 148 + 102 = r, -g*r = j - 940. Does 39 divide r?
True
Let w = -2396 - -3466. Suppose -3*s - 128 + w = 0. Suppose -304 - s = -6*o. Is o a multiple of 14?
False
Let u be 62/8 - (-9)/(-12). Suppose 1619 = -u*p + 4342. Is 19 a factor of p?
False
Let u(p) = 2*p**2 + 158*p + 4607. Is 19 a factor of u(0)?
False
Suppose 0 = -0*u + u - b + 1690, 0 = 4*b + 16. Is 3 a factor of -4 - u/7 - 7?
True
Is 12 a factor of 4200/(4/8*5 + -4 + 2)?
True
Let w = -165 + 207. Suppose -w*c + 46*c - 4960 = 0. Is c a multiple of 31?
True
Let p = -57577 - -97827. Does 33 divide p?
False
Let p(i) = 103*i**2 - 20*i - 132. Does 21 divide p(8)?
True
Suppose -3*u - m + 12 = -0*u, -u + 3*m + 14 = 0. Suppose u*a - 2*s + 8 = 43, 5*s + 30 = a. Suppose 2*l - 122 = -2*g, 10*g = 5*l + a*g - 285. Is 9 a factor of l?
False
Let f = -8600 - -10860. Is f a multiple of 6?
False
Let g(s) = 5*s**2 - 51*s - 572. Does 50 divide g(-39)?
False
Suppose 4*u = 3*v - 36, 19*v = 24*v - 4*u - 52. Is 2466/3*v/16 a multiple of 26?
False
Let w = -1009 + 1531. Does 18 divide w?
True
Is 72 a factor of (1 - -1 - 18)/((-362)/118917)?
True
Let d(g) = 256*g + 374. Does 58 divide d(3)?
False
Suppose 0*p + 3 = 3*p. Let h be p - 4/1*(-430)/4. Let k = h + -297. Is 11 a factor of k?
False
Let x be 30/15 - ((-6)/3 + -12). Suppose -64 = x*j - 384. Does 10 divide j?
True
Suppose 8*p + 5*p = 14*p. Suppose p = 5*f + 3*n - 2595, 2*f + 44*n - 1064 = 48*n. Is 13 a factor of f?
False
Let g(h) = h**3 + 10*h**2 - 11*h + 5. Let f be g(-11). Suppose -f*z = -3*r - 15, 3*r - 25 = -3*z + 8*r. Suppose -4*d + 50 + 42 = z. Is 12 a factor of d?
False
Is (-1)/(2/5) + (-296946)/(-156) a multiple of 5?
False
Let g = -13389 - -16064. Is g a multiple of 13?
False
Let h be 18/((-18)/(-9))*(2 - -105). Let s = -623 + h. Does 20 divide s?
True
Let a = -12 + 14. Suppose 0 = 2*f + a*f - 2*v + 10, 0 = -2*f + 5*v - 25. Suppose n + q - 82 = -2*q, f = -n + 5*q + 42. Is 25 a factor of n?
False
Let k(g) = -135*g - 83. Let d be k(7). Let o = -528 - d. Is 32 a factor of o?
False
Suppose 23*y = y + 154. Suppose -10*f + 1530 = y*f. Does 10 divide f?
True
Let h(m) = m**3 - 28*m**2 + 5*m - 169. Is 89 a factor of h(30)?
False
Suppose 158 + 1268 = 3*n - 4*j, 3*n - 2*j - 1418 =