a?
True
Let c(o) = -10*o**3 + 3*o - 2. Let h = 96 + -98. Does 18 divide c(h)?
True
Let r = 70 + -71. Let d(w) = -22*w + 3. Let c be d(r). Suppose 37 = u + c. Is 3 a factor of u?
True
Suppose -575 = -2*d - 595. Does 16 divide 306 - ((0 - -1) + (d - -11))?
True
Let p = 1038 - -99. Is p a multiple of 3?
True
Let b(n) = n**3 - 2*n**2 + n. Let l be b(2). Suppose -3*p = 2*g + g + 33, -l*g - 18 = 4*p. Let z(v) = v**3 + 13*v**2 - 2*v + 14. Is z(g) a multiple of 10?
True
Let s(r) = -9*r**3 + 44*r**2 + 136*r - 2. Is s(-3) a multiple of 5?
False
Let y = -24319 + 12475. Does 82 divide (-3)/2 - y/24?
True
Let m be 1/3*0/(-5). Suppose m = -2*b - 2*z - 2, 0*b + 5*b = -2*z + 7. Suppose -4*d - b*d = -252. Is d a multiple of 12?
True
Let c(z) be the second derivative of 13*z**7/2520 - z**4/12 + 14*z. Let a(y) be the third derivative of c(y). Is 13 a factor of a(-2)?
True
Let s(b) = 3*b - 3*b + 76 + b. Suppose -4*x + 2*u + 4 = 0, 8*x + 5*u + 10 = 12*x. Is 38 a factor of s(x)?
True
Let q(j) = 3 + 3 + 24*j - 7 + 5. Suppose w + 3*g = -0*w - 1, -2*w + g + 5 = 0. Is 18 a factor of q(w)?
False
Suppose -h - 33 = -458. Suppose -a + h = 139. Is a a multiple of 11?
True
Let i be ((-63)/(-2))/(-9)*-2. Suppose 0 = 2*x + 4*r + 8, -i*x + 2*x + 2*r + 40 = 0. Is (4 - -18)*(x - 4) a multiple of 9?
False
Suppose -34*u - q - 8597 = -36*u, u - 4281 = 3*q. Is u a multiple of 96?
False
Suppose 5*w - 7*w + 292 = 0. Let s = 30 + -51. Does 7 divide (s/(-6) - 4)/((-1)/w)?
False
Let a = 371 - 369. Suppose -13*j + a = -362. Is j a multiple of 4?
True
Does 29 divide 3135 + (6 - (7 + 2))?
True
Suppose -12 = 7*p - 26. Does 4 divide 18/p + 4452/12?
True
Let q = -7913 - -11113. Does 32 divide q?
True
Let r = 11732 + -11432. Is 30 a factor of r?
True
Let x(b) = -9*b - 105. Let y be x(-13). Is 3938/6 + (92/y - 8) a multiple of 17?
False
Suppose -3*s - 4 = 4*k + 6, 0 = -3*s + 5*k - 55. Let n be (-8)/s*-10*2/(-8). Suppose -52 = -a - d, -6*a + 274 = -a - n*d. Does 9 divide a?
True
Suppose -1848842 = -48*u + 316*u - 7298086. Is u a multiple of 47?
False
Suppose -305 = 16*w - 1223 - 346. Is 5 a factor of w?
False
Let b(f) = -f**3 - 7*f**2 - 7*f - 8. Let o be b(-6). Let l(x) = -28*x + 4. Let h be l(o). Let z = -50 + h. Does 2 divide z?
True
Suppose 4*v - 2*n = 43822, 0 = 4*v + 2*n - 67951 + 24093. Does 8 divide v?
True
Does 67 divide (-5 + 23)/((-58)/(-1943))?
True
Is ((-76)/8)/((-3*6/(-207))/(-92)) a multiple of 117?
False
Let y(s) = -6*s - 7*s + 15*s. Let h be y(-1). Does 27 divide (-167 - (-12)/4)*h?
False
Let l be (-18 - 0)*(-4)/1. Let i = -2369 - -2385. Let z = i + l. Is 12 a factor of z?
False
Let i(n) = n**2 + 18*n - 17. Let w be i(-19). Suppose w*p + 3*p - 2330 = -2*r, -p + 453 = 3*r. Does 12 divide p?
True
Let a = 39432 + -3702. Is 30 a factor of a?
True
Let s = 89610 - 60761. Is s a multiple of 59?
False
Let a(l) = -l**3 + 11*l**2 + l - 15. Let k be a(11). Does 25 divide (-602)/k + (-9)/18?
True
Let h = 745 - 673. Is (h/(-16))/((-9)/30) a multiple of 5?
True
Suppose -75 = 2*o + 3*o. Let s be (-13)/(-7) + o/(-105). Suppose 6 = -3*p + l + 65, -s*p + 3*l + 51 = 0. Does 16 divide p?
False
Let i = -92 + 92. Suppose -4*w + 81 + 115 = i. Suppose 0*y + w = y - 2*r, -3*y = 4*r - 97. Is y a multiple of 3?
True
Suppose 3*q - 261 = -4*n, 54 = -4*n + 3*q + 297. Suppose -67*f + n*f + 392 = 0. Is 2 a factor of f?
True
Let k(s) = -9*s**2 + 4*s - 9*s**3 - 8 - 12*s + 10*s**3. Let f be k(10). Suppose o - 90 = f. Does 53 divide o?
False
Suppose 6*o - 7*o - 18 = 2*q, 3*o - 4*q + 44 = 0. Is ((-30)/(-8))/(o/(-192)) a multiple of 9?
True
Let u(v) = v**2 - v. Let b(h) = h**3 + 22*h**2 - 23*h - 24. Let f(o) = -b(o) - 3*u(o). Does 8 divide f(-26)?
True
Is 9 a factor of ((-1437240)/(-88))/15 + (-4)/(-22)?
True
Suppose 4*s + 2*t = 470, -3*s - t + 51 = -300. Let k = -80 + s. Is 3 a factor of k?
True
Let u = -204 - -191. Is (3/(-6))/(((-91)/(-980))/u) a multiple of 25?
False
Let d(z) = z**2 + 8*z + 1. Let i be d(4). Suppose 0 = i*a - 58*a + 243. Does 9 divide a?
True
Suppose s + 11 = 50. Suppose 4*i - 3*f = 165, s = i - 6*f + 3*f. Is 3 a factor of i?
True
Let r(q) = -13 + 21 + 6*q**3 + q + 12*q**2 - 13*q**2. Does 19 divide r(4)?
True
Suppose 1917*k - 960*k = 963*k - 102312. Does 98 divide k?
True
Suppose 21311 + 3841 = 4*m - 2*g, m - 5*g - 6315 = 0. Is 15 a factor of m?
True
Suppose -5*k - 44 = -q, 2*q - 3*k - 41 = 19. Let w(j) = -j**3 + 7*j**2 - 3*j - 3. Let p be w(5). Let h = p + q. Is 14 a factor of h?
True
Suppose -13*s = -16*s - 5817. Does 8 divide 277/s - 9*(-904)/14?
False
Suppose -65*h = 80766 - 702166. Is h a multiple of 9?
False
Let u = 6156 + -1076. Is 10 a factor of u?
True
Suppose 412*z = 462*z - 209750. Does 56 divide z?
False
Let i(v) = v**2 + 2*v - 13. Let s be i(-5). Let o(r) = -6 + 2 + 20*r**s - 13*r**2 - 14*r. Does 28 divide o(-4)?
False
Suppose -4*h = m - 86, 6*m = m + 5*h + 555. Is 4 a factor of 25 + -29 - (-1 - m)?
False
Let z(u) = u**2 - 17*u + 74. Let q be z(9). Suppose f + 1557 = 4*t, q*f + 150 = -5*t + 2106. Is t a multiple of 39?
True
Suppose 43*a + 1339866 = 98*a + 46*a. Is 13 a factor of a?
False
Suppose 0 = -u + 4*u - i - 2, -2*i - 4 = 5*u. Let c be 0/(3 - u) + 30. Suppose c*k - 294 = 28*k. Is k a multiple of 36?
False
Suppose 4*b + 409489 = 111*b. Is 11 a factor of b?
False
Suppose 0 = z - 4*x - 3743, 2*x - 155 + 167 = 0. Is 18 a factor of z?
False
Let w(l) = 6*l**2 - 39*l - 1. Suppose -3*p + 10 = -14. Is 9 a factor of w(p)?
False
Suppose 0 = -4*h + 3*h + 207. Let p = -9 + h. Is p a multiple of 11?
True
Let f = -8 + 13. Let v(s) = 125*s - 48. Let k be v(8). Suppose 3*a + f*a = k. Does 12 divide a?
False
Let t(r) = r**3 - 21*r**2 + 20*r + 21. Let g be t(20). Let z be ((-702)/g)/(-2) - 4/(-14). Is 11 a factor of (0 - (0 + -1))*0 + z?
False
Let o = 42 + -30. Let p be 16/o*(-9)/(-2). Does 4 divide -12*(-4)/16*8/p?
True
Suppose 12*o - 40342 = 17822. Is o a multiple of 76?
False
Suppose 6*a + 40 - 34 = 0. Does 40 divide a/((-1)/404) + -1 + -3?
True
Let l(n) = -5*n - 24. Let f(x) = x - 15. Let q be f(9). Let u be l(q). Does 23 divide (-2)/(-6) + 1 - (-130)/u?
True
Let o be (1 + -4)/((-33)/22) + 401. Let f = -291 + o. Does 7 divide f?
True
Let s = 2749 - 985. Is s a multiple of 21?
True
Let z(h) = -9*h**3 - 12*h**2 + 55*h + 26. Does 120 divide z(-9)?
False
Let a(k) = k - 8. Let v(j) = 1. Let u(o) = -a(o) + 3*v(o). Let x be u(-12). Suppose 1345 = -18*r + x*r. Does 37 divide r?
False
Let k(o) = 17*o**3 + 7*o**2 - 13*o - 3. Is 27 a factor of k(2)?
True
Let x = -64 + 69. Suppose b + 3*c = -19, -x*b + 0*c - 3*c - 47 = 0. Is (-682)/b - (-4)/((-56)/6) a multiple of 18?
False
Suppose 56*z = 69*z + 91. Is 16 a factor of (-2)/1*(-1 - (88 - z))?
True
Is ((-16)/5)/(1200/(-840) + (-3793)/(-2660)) a multiple of 16?
True
Let x = 2429 - 1802. Is x a multiple of 14?
False
Let o(u) = 2*u - 22. Let s be o(13). Let x be (s - 1)*(55/(-3))/(-1). Let l = -27 + x. Is 4 a factor of l?
True
Let d(u) = 7*u**2 + 4*u + 52. Let r be d(-5). Suppose r - 73 = o. Is 8 a factor of o?
False
Suppose -n + 7 = 2*b, 3 + 4 = 5*b - n. Suppose b*o + 5*r = 24, -2*o + o = -r + 2. Suppose 3 = -o*w + 135. Is 11 a factor of w?
True
Let l be 122/(-8)*(-11)/((-55)/(-20)). Let f = -23 - -5. Let b = f + l. Is 7 a factor of b?
False
Let z(t) = -t**3 + 8*t**2 - 8*t + 10. Let m be z(7). Suppose 5*j = -m*j + 4648. Does 54 divide j?
False
Does 21 divide ((-174)/(-9))/((-2)/(-1608)) - 3?
False
Let p(b) = 48*b + 124. Let t be p(-12). Let g = t + 532. Does 5 divide g?
True
Let g = 23 + 81. Suppose 4*f + 4*c = -315 - 53, -4*c = f + g. Let a = -32 - f. Does 8 divide a?
True
Suppose g = 2*h - 5, -3*h - 4*g - 13 = -37. Suppose 37 = h*z - 3. Suppose 964 = z*o + 44. Is 12 a factor of o?
False
Let j(z) = -z**2 + 106*z - 274. Is 35 a factor of j(68)?
True
Does 86 divide (-1587 - (-7 - -11))*-1*2?
True
Suppose 3*w + 4*d = 2952, d = w + 2*d - 983. Suppose 3*j + 396 = 3*a - 192, 5*a = -4*j + w. Is 4 a factor of a?
True
Let f(h) = -8*h + 49*h - 7 - 5*h + 27*h. Is 98 a factor of f(11)?
True
Let b be (-148)/(-52) - 3 - (-2856)/312. Let f(h) = -h**2 + h - 1. Let k(u) = u**3 - 14*u**2 + 19*u - 7. Let p(s) = 2*f(s) - k(s). Is p(b) a multiple of 4?
False
Let i(h) = h**2 - 3*h + 482. Let j be i(0). Suppose 2*m - j = 538. Does 30 divide m?
True
Suppose 3*l = 3*m + 7788, 16*