 2/(((-143)/(-2464748))/(2/8 - 0)) a multiple of 147?
False
Suppose 21045 = -2*x + 24147. Is x a multiple of 28?
False
Let c(n) = -n**3 + 43*n**2 - 79*n - 37. Let x = 127 - 86. Is 10 a factor of c(x)?
False
Suppose 88*v + 5321 = 71*v. Let j = v + 418. Is j a multiple of 15?
True
Let q = -78 + 71. Let w be -1*q/(14/(-6)). Does 8 divide (w + 1)/(((-8)/(-4))/(-118))?
False
Let b be 5 - (6 - 6)/5. Suppose -2*u = -b*t + 1090, t = -2*u - 2*u + 240. Does 44 divide t?
True
Suppose 8*o - 5*o = 3*n + 27051, -4*o + 36038 = 2*n. Does 29 divide o?
False
Suppose -12*q + 14*q = 4. Suppose -6 = 3*s, -5*s = q*n - 401 + 135. Does 23 divide n?
True
Is -187*(-1 + 0 - 9) a multiple of 17?
True
Let t be (-90)/150 + (-21)/15. Does 6 divide (-8158)/(-10) - ((-44)/20 - t)?
True
Suppose -5*w = -4*l - 1363, 4*l = 4*w + 8*l - 1112. Let y = -119 + w. Suppose 0 = -6*n + 12*n - y. Does 13 divide n?
True
Does 40 divide (59412/9 - 1) + (96/(-36))/8?
True
Let o(h) = -4*h - 33. Let k be o(-7). Let c(y) = 15*y**2 + 8*y + 17. Let u be c(k). Suppose -2*a + u = 78. Is a a multiple of 15?
False
Let g = 7 - 81. Let s = g + 108. Does 12 divide s?
False
Suppose 7*r = -12 + 33. Let j(g) = 70*g**2 - 6*g + 32. Does 69 divide j(r)?
False
Let o be ((-78)/(-5))/(2/360). Suppose 6*x - 39*x = 5*x - 456. Suppose -t + o = x*t. Is t a multiple of 14?
False
Let u(z) = 12023*z**2 + 84*z + 21. Is u(2) a multiple of 281?
False
Does 4 divide 3105/7 - (28/49 + 0)?
False
Suppose 4*o = -2*v - 3*v + 41, 4*v - 40 = -4*o. Suppose o*p = 2*p - 98. Let m = 25 - p. Is 8 a factor of m?
False
Let b(w) = -w**2 + 12*w - 8. Let v be b(11). Suppose -10 = -2*z + 5*i, 5*z - 13 = v*i + 12. Does 2 divide z?
False
Let i = -14655 + 22491. Suppose -i = -9*p - 1635. Is 53 a factor of p?
True
Suppose 5*f = -23*f - 12012. Let z = f + 453. Is 8 a factor of z?
True
Suppose 17*g = -27*g + 5851 + 19845. Is 6 a factor of g?
False
Let y(v) = 20*v + 24. Let l be y(1). Suppose 1485 = 49*o - l*o. Is o a multiple of 33?
True
Let m(j) = j**3 - 9*j**2 - 51*j + 183. Let h be m(12). Let k(s) = -29*s - 5. Let l(g) = 14*g + 2. Let a(c) = 3*k(c) + 7*l(c). Is a(h) a multiple of 8?
True
Suppose -2*h - 4*h + 42 = 0. Let r(k) = -k**3 + 7*k**2 - 2*k + 3. Let i be r(h). Let p = 20 + i. Is p a multiple of 3?
True
Let d be -2 - (24 + 3)/(-3). Let n be d*27/(-42)*4. Let l = n - -21. Does 3 divide l?
True
Let j = 15098 + -7520. Is 18 a factor of j?
True
Let q(k) = 8*k**2 - 8*k - 1. Let x(l) = 8*l**2 - 7*l - 1. Let m be 1*(-5 - -4 - 4). Let f(v) = m*q(v) + 6*x(v). Is f(-1) a multiple of 6?
False
Let t = -573 + 917. Let n = t + -195. Does 6 divide n?
False
Let q(u) = 72*u + 12. Let w(z) = -11 - 8*z + 9 - 4*z. Let c(j) = -6*q(j) - 34*w(j). Is c(-3) a multiple of 11?
False
Let d = -5914 - -9874. Is 22 a factor of d?
True
Let x(z) = -2*z**3 - 24*z**2 + 16*z - 6. Let i be x(-13). Suppose 0 = 3*u - 155 - i. Is u a multiple of 7?
False
Let a(j) be the second derivative of -j**5/20 + 13*j**4/12 + 13*j**3/6 - 27*j**2/2 + 72*j. Is 21 a factor of a(13)?
False
Let t = 215 + -193. Suppose 20*n = t*n - 36. Is n a multiple of 4?
False
Let a(d) be the second derivative of d**3/6 + 15*d**2/2 - 94*d. Does 6 divide a(28)?
False
Let h = -441 + 442. Let t(m) = 813*m**2 - 3*m + 3. Is t(h) a multiple of 35?
False
Suppose 102 + 59 = 7*t. Suppose -36 = -x - t. Is 8 a factor of x?
False
Suppose 6*d + 35 = d. Let b be 14/(-84) - d/6. Is (4/1 + 1)/(b/13) a multiple of 17?
False
Let q(y) = 3*y + 13. Let a be q(-3). Let m be 47/5*(1 + 0 + a). Let d = -42 + m. Is 3 a factor of d?
False
Let a be 1804*(-4)/(-32)*(-16)/(-2). Suppose -15*h + a = 7*h. Is h a multiple of 9?
False
Suppose 128*x = 1727354 + 78086. Is 13 a factor of x?
True
Let w(d) = 11*d - 32*d**2 + 22*d**2 + 12*d**2 + 5*d + 200. Does 14 divide w(-25)?
True
Let s(y) = -7*y**3 + 5*y**2 + 70*y + 254. Is 9 a factor of s(-10)?
False
Let o(a) = a**3 + a**2 - 3. Let k be o(0). Let w = -10 + 16. Is 8 a factor of 20/w*-9*(k - -2)?
False
Let a be 54/((-10773)/3600 - -3). Suppose -25*c + 21*c + a = 0. Is 90 a factor of c?
True
Let i be 1245/3 - (3 - (3 - 0)). Suppose -2*a - i = -5*q + 4295, q - 955 = 3*a. Is q a multiple of 47?
True
Is (-810)/(14 + (-93)/6) a multiple of 38?
False
Let y(u) = -u**3 - 8*u**2 - 132*u - 16. Is 104 a factor of y(-8)?
True
Let k(d) = -6*d**2 - 30*d + 3. Let v be k(-5). Suppose -b - 2*t + 525 = -t, b - v*t - 533 = 0. Is 44 a factor of b?
False
Let k be -8*(-4)/16 - -3. Suppose -39*y + 2371 = -37*y - f, k*y - 5895 = -4*f. Is 37 a factor of y?
False
Let y(q) = -q**3 + 9*q**2 + 10*q + 4. Let r(w) = 10*w**2 + w - 1. Let g be r(1). Let t be y(g). Suppose -43 = -4*x - 4*j - 7, t*x - j = 51. Does 12 divide x?
True
Let h(t) = -2*t**2 + 20*t - 2. Let k be h(9). Suppose -4*l + x + 7 = -l, 2*l + 5*x = k. Suppose b + l*w - 66 = 51, -5*b + 549 = -3*w. Does 10 divide b?
False
Let r = 461 - 449. Suppose 431 = 3*i - v, 3*i + 4*v = -2*i + 690. Suppose -r + 2 = -2*a, -i = -u - 5*a. Does 13 divide u?
True
Suppose -6*d - 1263*r + 1259*r + 231778 = 0, r + 193118 = 5*d. Is 25 a factor of d?
True
Let y(k) = 2*k**2 + k - 9. Let j be y(0). Let x be -1 + 24 + 1 + 7 + j. Suppose 76 - x = 2*o. Is 12 a factor of o?
False
Let w(g) = -g**3 - 9*g**2 + 22*g + 3. Let r be w(-11). Let v(h) = h - 3*h**2 + 13*h**2 - 2 + 0*h**2 - r. Does 17 divide v(3)?
False
Let i(k) = -2*k**2 + 27*k + 18. Let n be i(14). Suppose -n*z - 4*v + 96 = 0, 3*z + v - 66 = -4*v. Is z a multiple of 17?
False
Suppose -4*s - 2*t - t + 31 = 0, 5*s + 4*t - 40 = 0. Let c be 253/44 + 1/s. Suppose 5*n = 4*g + c*n - 68, 4*g + 5*n - 68 = 0. Does 4 divide g?
False
Let q(k) = -222*k + 1100. Is q(-30) a multiple of 20?
True
Let l = -441 + 446. Suppose -3*q = -l*v + 4*v - 376, 0 = 5*q - v - 628. Is q a multiple of 10?
False
Suppose 0 = -r - 1, 35*r - 30*r + 13 = -2*p. Let m = 25 + -4. Is 28 a factor of (m*(p + 3))/(6/(-8))?
True
Suppose 6*w - 5*j - 1040 = 8*w, -w - j - 517 = 0. Let f = 749 + w. Is f a multiple of 24?
False
Let i = 3577 + -1476. Is 35 a factor of i?
False
Is 36 a factor of 2/5 + ((-20196)/(-10) - (13 - 1))?
False
Let z = -434 + 108. Let g = 406 + z. Is g a multiple of 20?
True
Let k(w) = 0*w**2 - 3*w**3 - 2*w + 14 - 3*w + 22*w**2 + 4*w**3. Is k(-11) a multiple of 100?
True
Suppose 4*s = -2*z + 10014, -3*s + 23*z + 7514 = 25*z. Is 5 a factor of s?
True
Let b(o) = 635*o**2 + 5*o - 47. Is b(4) a multiple of 12?
False
Let z be (-6)/(-10) - 30/50*1. Is 1026/9 - (z - 0) a multiple of 18?
False
Let s = 183 - 171. Suppose s = -0*r + 2*r. Is 6 a factor of r?
True
Let v(c) = -272*c**3 - 37*c**2 + 22*c + 40. Is 46 a factor of v(-2)?
True
Let j be ((-18)/4)/(5*(-5)/(-1000)). Does 18 divide (-3*j/(-6))/(2/(-4))?
True
Suppose -59*s = -54*s - 5*c - 70015, 5*s - 70023 = 3*c. Is 29 a factor of s?
True
Let u be 2/(-5) - (-3 + (-590)/(-25)). Is 27 a factor of (u/42)/((-1)/408*1)?
False
Let o(f) = -12*f**3 - f**2 - 2. Let j = -47 + 47. Suppose -4*b + 8 - 16 = j. Is o(b) a multiple of 10?
True
Suppose 9*z - 21 = 4*z - 2*g, 3*g + 11 = z. Suppose -z*t + 16 = -4*a, -13 - 3 = -t + 4*a. Suppose 4*l + 7*l - 132 = t. Is l a multiple of 12?
True
Let l = -12173 - -15693. Does 11 divide l?
True
Let h = -14231 + 18830. Is 39 a factor of h?
False
Let m(a) = 56*a - 97. Let u be m(-6). Let r = u - -611. Does 8 divide r?
False
Let g be (-9)/3 + (0 - -6) + -3. Suppose g*s = s + 2*u - 30, -5*s - u + 195 = 0. Is 4 a factor of s?
True
Let o = 27 - 35. Let a = o + 14. Suppose -s + a*s - 165 = 0. Does 17 divide s?
False
Let o(x) = 7*x**3 + 11*x**2 - 8*x - 5. Let u(c) = -4*c**3 - 5*c**2 + 4*c + 3. Let k(m) = 3*o(m) + 5*u(m). Let w = -911 - -903. Is k(w) a multiple of 4?
True
Let v(w) = -42*w**3 + 17*w**2 + 36*w - 1. Is 17 a factor of v(-6)?
False
Suppose -q + 41545 = 5*x, q - 28678 - 12811 = 3*x. Is 14 a factor of q?
True
Suppose 31*a - 70858 = -195*a + 1716576. Does 5 divide a?
False
Suppose -125*s = -3005263 - 3041987. Does 66 divide s?
True
Suppose -5*s + 6*s + t = -34, 3*s + 78 = 3*t. Let u = s - -60. Suppose 32*z = u*z + 62. Is z a multiple of 21?
False
Let p = -32988 + 46721. Is 31 a factor of p?
True
Let d(m) be the second derivative of m**3/2 - 27*m**2/2 - 2*m. Let a be d(12). Let h = a - -13. Does 22 divide h?
True
Let i = 182 - 182. Suppose i = -4*b + 17*b - 104. Is 8 a factor of b?
True
Let h(