)*((4 - 0) + -3)?
True
Let v = 167 - 386. Let k(t) = -130*t**2 - t + 2. Let j be k(1). Let n = j - v. Does 18 divide n?
True
Suppose -10*y - 27 = -137. Suppose 9*n - y*n + 4*a + 860 = 0, -2*a = n - 450. Is n a multiple of 10?
True
Let q(k) = k**2 + 74. Suppose 2 + 1 = x. Suppose m - 4*v = -0*v, 0 = -x*m + 3*v. Does 8 divide q(m)?
False
Let z = -37131 - -39827. Does 2 divide z?
True
Suppose 2922 = k - o - 3613, -2*o = -3*k + 19599. Does 28 divide k?
False
Let r = 4990 + -1203. Is r a multiple of 3?
False
Suppose -2*n = -3*a + 3*n - 134, -3*a - 2*n = 169. Let r = a - -1143. Is 14 a factor of r?
False
Let m = -54 + 161. Let f = m - 20. Suppose f + 105 = 4*i. Is i a multiple of 16?
True
Suppose 7756 = 52*q - 38*q. Is q a multiple of 3?
False
Suppose -27*c - 11122 = 14096. Let s = -591 - c. Is 16 a factor of s?
False
Let a(d) = -66*d - 58. Let u be a(-5). Let q = u + -64. Is q a multiple of 11?
False
Is 55 a factor of (7 - 235)*495/(-10)?
False
Let t(q) = -q**3 + 8*q**2 + 18*q + 4. Let k be t(14). Let s = -812 - k. Does 5 divide s?
False
Suppose u = -j - 2, -j + u - 6 = 2*j. Suppose 493*a - 352*a = 423. Is (-268 - 2)*j/a a multiple of 9?
True
Let n(o) = -8*o**2 + 5*o + 45. Let y be n(0). Suppose -57469 + 2029 = -y*m. Is 56 a factor of m?
True
Let h(a) = -2122*a + 2324. Does 38 divide h(-3)?
False
Let k = -95 - -113. Let g = 289 - k. Suppose -4*h + c = -g, -h - 2*h + 187 = -4*c. Is 23 a factor of h?
True
Let r be (0 + 4/10)/(7/350). Suppose -370 = -10*p + r. Suppose -b + 2*b = p. Is b a multiple of 14?
False
Let k(m) = 369*m - 723. Is 23 a factor of k(38)?
False
Suppose -139 = 7*k - 496. Suppose -k*o = -45*o - 564. Does 19 divide o?
False
Let y(p) = -58*p - 62. Let f(n) = -2*n**2 - 5*n + 110. Let s be f(-9). Does 78 divide y(s)?
False
Let g(t) = 3 - 19*t - t**2 + 7 + 19*t. Let v be g(0). Suppose -2*a + v + 62 = 0. Is 18 a factor of a?
True
Let j(u) = u**3 + 7*u**2 + 10*u + 3. Let q be j(-5). Suppose q*y = -0*y + 900. Is 60 a factor of y?
True
Let v(m) = -3 - 8 - 14 + 1 - 19*m. Let t be v(-9). Let j = t - 104. Does 8 divide j?
False
Suppose 144*z - 2*z - 1601760 = 0. Is 47 a factor of z?
True
Suppose 5*m - 3*d - 4260 = 0, -125*m + 130*m - 5*d - 4260 = 0. Does 9 divide m?
False
Let v(f) be the second derivative of 341*f**3/6 - 19*f**2/2 + 3*f - 5. Is v(1) a multiple of 23?
True
Suppose -2*b + 11169 = -3*c, -2*b - 163*c + 11129 = -158*c. Does 169 divide b?
True
Suppose -210*l = -215*l + 13420. Is 8 a factor of l?
False
Suppose 52*q - 68*q = 0. Is (19/(-1))/(q + 6/(-240)) a multiple of 20?
True
Suppose q - 6*w - 450 = -2*w, -q - 2*w + 456 = 0. Is 2 a factor of q?
True
Let q(s) = 15*s + 172. Let v(b) = -2*b**3 - 7*b**2 + 7*b + 12. Let h be v(-4). Is q(h) a multiple of 43?
True
Let s(a) = -402*a + a**3 + 12 - 2*a**2 + 382*a + 17*a**2. Does 61 divide s(-14)?
True
Let i(v) = -v**3 - 10*v**2 + 11*v + 16. Let j be i(-11). Suppose -11*k = -j*k + 105. Is k a multiple of 11?
False
Does 30 divide 750/(-45)*(-218 - -2)?
True
Let y be (3/6*1)/((-1)/2). Is (-244)/y - (-20 + 27) a multiple of 6?
False
Let g(j) = 19 - 7*j**2 + j**3 - 2*j - 6*j - 14. Let a be g(8). Suppose -810 = -14*p + a*p. Is p a multiple of 9?
True
Suppose 3*i - 34 = -o, o + 2*o - 12 = 0. Suppose -4 = 3*h - 37. Suppose -h*f = -i*f - 8. Is 2 a factor of f?
True
Let h(v) = 13*v**2 - 20*v + 39. Let a(t) = -22*t**2 + 39*t - 78. Let c(o) = 3*a(o) + 5*h(o). Does 6 divide c(13)?
False
Let p(i) = -20*i**3 + 1 + 0*i**3 - 5*i + 2*i**3 + 7*i**3 + 4*i**3 - 5*i**2. Suppose -3*f - 2*r - 8 = 3, 5*r - 1 = 2*f. Is 20 a factor of p(f)?
True
Let z = -37 + 43. Suppose z*k - 3*k - 123 = 0. Suppose -k - 31 = -3*i. Does 8 divide i?
True
Let b(r) = -13*r**2 + 18*r**2 + 34 + 10. Is b(6) a multiple of 12?
False
Let q(i) = -i**3 + 9*i**2 + 9*i + 7126. Is 14 a factor of q(0)?
True
Let l = 62 + -4. Suppose -4*d - 26 = -l. Let t(n) = -2*n**3 + 17*n**2 + 7*n + 2. Is t(d) a multiple of 28?
False
Let k(c) = -c**3 - 5*c**2 - 3*c - 4. Let r(z) = 2*z**3 + 6*z**2 + 3*z + 4. Let n(b) = 4*k(b) + 3*r(b). Let v be n(4). Let h = 160 - v. Does 40 divide h?
True
Let i = 12465 + -8165. Is 10 a factor of i?
True
Suppose -8*x + 2216 = 184. Suppose -d - 2*w = -4*w - x, 4*d + 5*w = 1081. Does 24 divide d?
True
Suppose f + 48*x - 47*x - 26396 = 0, 15 = 3*x. Does 49 divide f?
False
Let j be (-2)/6 - 11242/(-66). Is (-34)/j - 1101/(-5) a multiple of 22?
True
Let q = -166 - -342. Let x = 555 - q. Is x a multiple of 30?
False
Let i be (-26)/(-39) - (-236)/6. Suppose 3*f - 65 = 5*s - 269, f = s - i. Is 6 a factor of (40/6)/(s/567)?
True
Let y be (-1)/2 - ((-150)/(-4))/(-3). Let h be (-16)/y*39/2. Does 29 divide (221/h)/((-2)/76)?
False
Suppose 33*d - 168 = 27*d. Suppose 7*o - d = -7. Suppose -2*i + 2*q - 46 = -o*i, i - 43 = -5*q. Does 11 divide i?
False
Suppose -13*l + 22*l - 14544 = 0. Suppose -6*k + 2662 = -l. Is 24 a factor of k?
False
Suppose -4213*z - 17172 = -2*h - 4217*z, 4*z = 3*h - 25728. Is 20 a factor of h?
True
Let m be (-2)/(-21) - 610/(-210). Suppose -v - 3*p = 26, -3*v - m*p - 68 = -2. Let r(a) = -a + 39. Is 8 a factor of r(v)?
False
Let h(q) = q**2 + 6*q + 8. Let z be h(-6). Let k be (-1)/((6/16)/((-708)/z)). Suppose t - k = 77. Is t a multiple of 21?
False
Let u = -16637 - -27087. Is 22 a factor of u?
True
Does 127 divide (-1905)/4*((-4368)/(-18))/(-13)?
True
Let l(v) = v**3 - 6*v**2 + 5*v - 6. Let w be l(5). Let n(k) = k**3 + 11*k**2 + k - 14. Let h be n(w). Let a = h + -106. Is a a multiple of 18?
True
Suppose 12 + 8 = 5*y. Suppose -y*b = -57 - 43. Suppose -9 + b = 2*h. Does 8 divide h?
True
Let n(f) be the third derivative of -f**5/60 + 41*f**4/24 - 13*f**3 - 24*f**2. Is n(32) a multiple of 15?
True
Let w be (3 + -3)*5/((-40)/(-8)). Suppose 9*a - 5512 - 194 = w. Is 44 a factor of a?
False
Suppose -1250 = 34*f - 4276. Let s = 67 + f. Is 13 a factor of s?
True
Let w(v) = 86*v**2 + 184*v + 95. Is w(-21) a multiple of 131?
False
Let i(a) = a**3 - 11*a**2 + 4*a + 8. Let m(k) be the first derivative of k**3/3 + k**2 - 4*k + 22. Let b be m(3). Is i(b) a multiple of 13?
True
Let f(c) = 705*c + 1058. Is 8 a factor of f(7)?
False
Let q(n) = n**3 - 13*n**2 - 69*n - 76. Is q(26) a multiple of 5?
False
Let k = -246 + 449. Let g = k + -82. Let m = g - 80. Does 28 divide m?
False
Let i(q) = -q**2 - 3*q + 15. Let h be i(-6). Let k be (h - 0)*1 - -35. Does 4 divide (-58)/(-3) - k/24?
False
Suppose 259*s - 8328837 = -474921. Is 33 a factor of s?
False
Suppose 0 = -3*n + 5*i - 0*i - 35, -2*i + 2 = 0. Let h(w) be the second derivative of -w**5/20 - 3*w**4/4 + 3*w**3/2 - 2*w. Does 5 divide h(n)?
True
Let r(o) = o**2 + 3*o - 1. Let v = -16 - -77. Suppose 12 = 59*s - v*s. Is 6 a factor of r(s)?
False
Suppose -11*y + 24 = -5*y. Suppose -g = -5*g + 5*b - 1645, -1600 = 4*g + y*b. Is (g/75)/(3/(-10)) a multiple of 5?
False
Suppose -5*f = -f - 20. Suppose -5*v - f*b + 335 = 0, v - b + 259 = 5*v. Is v a multiple of 32?
True
Suppose 62*m - 13*m = 622251. Does 12 divide m?
False
Let m(n) = n**3 + 21*n**2 + 39*n. Let y be m(-18). Suppose -y = 10*s - 19*s. Is s a multiple of 15?
True
Let i(j) = 459*j + 323. Is 19 a factor of i(5)?
False
Is (-264)/(-5)*345/46 a multiple of 7?
False
Let o = 34 + -32. Suppose 2*y = m + o*m - 1, 0 = -5*m + 3*y + 3. Suppose 4*k + r - 82 = 0, -5*r = -m*r + 4. Does 21 divide k?
True
Is 6 a factor of 37297 - (6 + 12 + (-216)/9)?
False
Let q(p) = -p**3 - 17*p**2 + 25*p + 24. Let a(f) = f**3 + 16*f**2 - 25*f - 25. Let m(u) = -4*a(u) - 5*q(u). Is 7 a factor of m(-22)?
False
Let l be 3/5 - (-34)/10. Let u be 3/(-2)*(-18)/(-27)*0. Suppose -l*s - 2*c + 510 = u, 3*s - 5*s + 243 = -3*c. Does 21 divide s?
True
Suppose 5*w - 1545 = 4*p, -w - 318 = -2*w - p. Suppose -a = -3*o + 2*o + w, -2*o + 640 = 5*a. Is o a multiple of 35?
True
Let s(k) = -9*k + 147. Let x be s(16). Suppose x*v - 4*f - 1048 = v, 5*f = -4*v + 2161. Does 22 divide v?
False
Let b = 35 + -39. Let u = -144 + 188. Does 22 divide u/((-27)/(-6) + b)?
True
Let n be ((-6)/(-9))/((-2)/3). Let k be (-4 - 6) + (3 - n). Does 18 divide k/(-27) + 1600/90?
True
Let c = -765 - -770. Suppose 4*y - 6*y + 4 = 0, -c*y = -2*o + 2510. Is 84 a factor of o?
True
Suppose -4*p + 60 = z - p, 5*p - 60 = -z. Let v = z + 40. Is v a multiple of 20?
True
Let b(d) = 154*d**3 - 5*d**2 + 19*d - 21. Is 19 a fact