et t = k + 774. Does 79 divide t?
True
Suppose -5*d + 4*a + 63049 = -4*d, -5*d - a + 315413 = 0. Is d a multiple of 43?
True
Suppose -87*f + 411033 = -613305. Is f a multiple of 20?
False
Suppose -10*n - 404 = 216. Let q = 102 + n. Does 16 divide (-30)/q*336/(-2)?
False
Suppose 0 = 2*k - 18*k + 16. Let g be 1 - k - (16 - 16). Suppose 0 = -5*f - g*f + 525. Is f a multiple of 5?
True
Let q = 27833 - -6787. Does 20 divide q?
True
Suppose 3*u + n - 73393 = 0, -7801 + 130122 = 5*u + 2*n. Is 163 a factor of u?
False
Suppose 484 = a + 17*d - 15*d, -5*d - 2375 = -5*a. Suppose -3*w + a = 46. Suppose -p - w = -2*i, 49 + 105 = 2*i + 4*p. Does 10 divide i?
False
Suppose 5*q = -4*z + 22, -6*q = -2*q + 2*z - 20. Suppose -q*b + b = 70. Is 25 a factor of 0/b + 146 + 0 - -4?
True
Suppose -2*x = -3*r - 382, 3*x - 481 = 4*r + 6*x. Let l = -121 - r. Suppose 2*w - 352 = -l*d, 5*w = -d + 5*d - 454. Is d a multiple of 29?
True
Let f(n) = n**2 + 7*n + 9. Let g be f(-6). Let x be 5 + -427*(-4 + g). Suppose 0 = -7*t + t + x. Does 24 divide t?
True
Let j(d) = 8*d**3 - d**2 - 3*d + 5. Let i be j(2). Let k(r) = -8*r**2 - 1. Let f be k(2). Let m = i + f. Is m a multiple of 4?
False
Let z(q) = -q**3 - 10*q**2 + 13*q + 12. Let w = -661 - -649. Is z(w) a multiple of 16?
True
Suppose -2*n + 5*s = 2*n - 287, -n = -2*s - 74. Let b = 64 + n. Is 4 a factor of b?
True
Suppose 0 = -3*j - 5*l - 482, -j + 2*l + 0*l - 157 = 0. Let i = -98 - j. Is i a multiple of 28?
False
Let r = 409 - 414. Is (-1296)/(-6) - r - 8 a multiple of 8?
False
Let m(z) = z**3 + 7*z**2 + 12*z + 39. Let t be m(-6). Let h(v) = 19*v**2 - 5*v + 24. Does 15 divide h(t)?
True
Suppose z = -26 - 32. Let k = -28 - z. Does 7 divide (-1 - -4) + k + 3?
False
Let a(i) = -6*i - 53. Let d be a(-10). Let l = 214 + d. Is l a multiple of 9?
False
Let l(k) = -2*k**2 - 2*k + 272. Let n be l(0). Suppose 1092 = 278*f - n*f. Is 8 a factor of f?
False
Let l(o) = o**3 + 3*o**2 - 31*o - 3. Let y be l(6). Suppose -124*i - 1419 = -y*i. Is i a multiple of 3?
True
Suppose 21*s + 25700 = 5*i + 17*s, 5*s + 25 = 0. Does 8 divide i?
True
Let c = 43 + -143. Let t be (360/(-75))/(6/c). Suppose 2*b + 4*k = 6*b - t, b - 5*k = 24. Is 12 a factor of b?
False
Let c(k) = 80*k + 18. Let r(s) = -s**3 - 24*s**2 - 19*s + 94. Let o be r(-23). Is 89 a factor of c(o)?
True
Let t(v) = -v**3 - v**2 + 35*v + 107. Let b be t(-4). Let z = -8 + 27. Suppose -z*j + 672 = -b*j. Does 24 divide j?
True
Let i be 27261/(-390) + (-2)/20 + 0. Is (0 - -11)*14 + (-140)/i a multiple of 39?
True
Let v(b) = -b - 22. Let a be v(-22). Suppose -11*h + 5*h - 432 = a. Is (-5 + 4)/(1/h) a multiple of 24?
True
Let l = 214822 + -120770. Is l a multiple of 14?
True
Let l(q) = 1741*q - 3611. Is 12 a factor of l(14)?
False
Let a be 12/15 - 12/15. Let r be (1 - a) + -124 + 0. Let f = 128 + r. Is f even?
False
Does 28 divide ((-383016)/(-9))/((-6)/9)*(-1)/4?
False
Let f(u) = 2*u**2 - 13*u - 10. Suppose 14*l - 81 = 45. Does 7 divide f(l)?
True
Let t = 172 + -180. Does 29 divide (0 - -1)/(t/(-3248))?
True
Let o = -78 - -81. Let x be -1 + 10/o + (-49)/147. Suppose -5*w - 15 = 0, -311 = -2*s + 3*w - x*w. Is s a multiple of 8?
False
Suppose 3*n = 4*q - 15, -4*q + 5*n = -11 - 6. Suppose 0 = -i - 2 + q. Does 5 divide ((-4)/6 - i)*-3?
True
Suppose 0 = 19*p - 2072 - 17688. Let k = p - 422. Is k a multiple of 35?
False
Suppose 0 = -s - s - 2*b + 8, -s - 6 = -4*b. Suppose 2*x - 1322 = -4*a + 3*x, s*x - 1659 = -5*a. Is 20 a factor of a?
False
Let a(n) = -2*n**2 + 7*n + 4. Let g be a(-6). Let q = -66 - g. Does 4 divide q?
True
Let q(o) = o**3 - 39*o**2 - o + 63. Let c be q(39). Is 3/((81/(-2070))/(c/(-5))) a multiple of 46?
True
Let s = -17402 - -27724. Does 30 divide s?
False
Let f(h) = 39*h**2 + 37*h - 313. Is f(9) a multiple of 86?
False
Does 76 divide (-12 + 325/26)*4256?
True
Let b(f) = -5*f**2 - 90*f + 3. Let j be b(-18). Suppose -j*a + 12 = 2*n - 44, 4*n - 2*a = 80. Is 2 a factor of n?
True
Let d = -13403 + 36219. Does 36 divide (2/(-4))/((200/d)/(-25))?
False
Let o = 14611 + -7681. Does 113 divide o?
False
Let o = 210 - 150. Let p be (-7296)/o - 4/10. Let l = p + 274. Is 38 a factor of l?
True
Suppose 20*u - 180931 - 26766 = 54743. Is u a multiple of 145?
False
Let o(i) = 5761*i - 30. Does 120 divide o(2)?
False
Suppose -2*f + 6987 + 3389 = 0. Is 30 a factor of f?
False
Suppose 42 = -4*z - 70. Is 31/(-7) + (-12)/z - -390 a multiple of 12?
False
Suppose 0 = -2*l + 142 - 38. Let j = l - 41. Suppose 114 = j*n - 9*n. Is 16 a factor of n?
False
Suppose 73*j = 72*j + 3, -5*g - 3*j = -16639. Is g a multiple of 15?
False
Let c(r) = 5*r + 127. Suppose -5*t = 17*t - 330. Does 26 divide c(t)?
False
Let o(n) = -19*n + 100. Let v be o(5). Is 14 a factor of v*(-3 - -2) + 19?
True
Does 44 divide -153*(-11 - (-658)/(-21))?
False
Suppose -5*t + 35 = -0*t. Let f(y) = -5*y - 25. Let v(d) = d**2 + 11*d + 49. Let m(s) = t*f(s) + 3*v(s). Does 35 divide m(-6)?
False
Let h be (-6)/(-15) + (-118)/(-5). Suppose -5*u = -10, 22*r - 2*u + 2398 = h*r. Does 40 divide r?
False
Let s(r) = r**3 - 3*r**2 - 17*r + 39. Let a be s(5). Suppose -4*d - 4*v + 305 = -v, 20 = -a*v. Is 27 a factor of d?
False
Let g be -2*(-4 + 6)*(-3)/4. Let u(r) = 47*r**2 - 4*r - 1. Let v be u(g). Is 4 a factor of (2 - 4/3) + v/15?
True
Let v = -554 + 312. Let r = -140 - v. Is 25 a factor of r?
False
Let n(d) = 75*d - 27. Let a(z) = -z - 2. Let g(o) = 4*a(o) + n(o). Is g(5) a multiple of 5?
True
Let b(j) = 3*j**3 - 7*j**2 + 15*j - 1. Let a(u) = u**3 - 10*u**2 - 4*u + 42. Let l be a(10). Is 10 a factor of b(l)?
False
Let l be 3 - 36/(2 - 0). Let m be l/(-5)*(-8)/(-12). Is (26 - m)/((-10)/(-45)) a multiple of 26?
False
Suppose 0 = -r - 3*r + 3*y + 1053, 4*y = 3*r - 788. Suppose -5*f = -4*f - 18. Is ((-6)/(-4))/(f/r) a multiple of 7?
False
Suppose 1707 + 69 = 16*y. Does 40 divide ((y/(-4))/(-1))/(38/1216)?
False
Let k(r) = -51*r + 11. Let y be k(-7). Suppose 3*p - 5*b - y = 226, 0 = 2*p + 4*b - 374. Let v = p - 89. Is v a multiple of 13?
True
Let y = 40981 + -23899. Does 234 divide y?
True
Suppose 2*y + 19 = 3*a - 11, 4*a - 2*y = 38. Suppose -7*t = -a*t - 5. Is (-240)/(-2) + 15/t a multiple of 20?
False
Is 39 a factor of (73/((-8030)/(-15444)))/(123/60 + -2)?
True
Let q(i) = -244 - 280 + i - 21*i**2 - i**3 + 553. Is 28 a factor of q(-22)?
False
Let w(x) be the first derivative of 10*x**3/3 + 14*x**2 + 42*x + 43. Does 78 divide w(-13)?
False
Let n(x) = 143*x**2 + 9*x + 70. Does 5 divide n(-7)?
False
Let c = 71 - -2. Suppose -900 = c*d - 78*d. Is d a multiple of 9?
True
Let g(d) = -d**2 + 3*d - 3. Let n be g(1). Is 7 a factor of 0 - (0 + n)/(9/1377)?
False
Suppose 941*f - 935*f - 18 = 0. Suppose -5*s = -f*h + 795 + 3410, -2*h + 2*s = -2810. Does 10 divide h?
True
Let d(s) be the second derivative of -s**4/12 - 13*s**3/6 + 11*s**2 + 45*s. Is d(-9) a multiple of 46?
False
Suppose -c = -3*a + 5268, -3*a + 2907 = -3*c - 2355. Suppose -667 + a = 10*n. Is n a multiple of 42?
False
Suppose 76*j - 33957 - 47667 = 0. Is 6 a factor of j?
True
Suppose -5*u + 8298 = -1162. Is u a multiple of 11?
True
Let k be 1689/4 + (-6)/(-8). Suppose -k = -2*f + 631. Is 17 a factor of f?
True
Suppose -61 = 2*m - 1. Is 11 a factor of (-5)/m - ((-130)/12)/1?
True
Let q be (-9)/(-2) - 6/12. Suppose 4*l = 3*g - q*g, 3*g = 5*l + 68. Does 15 divide (168/g)/(1/10)?
True
Let k(u) = u**3 - 8*u**2 + 12*u - 3. Let i be k(6). Let f(r) = 21*r**2 + 11*r + 32. Is 13 a factor of f(i)?
False
Suppose -5*y + 25 = 0, -19*y + 14*y = 5*l - 575. Let m = l + -64. Is 29 a factor of m?
False
Let n(o) = o**3 + 4*o**2 + 2*o + 1. Let r be n(-3). Let h be (307450/(-20))/(-11) - (-6)/4. Suppose 7*s = 2*s + 4*a + h, -a = r*s - 1115. Is s a multiple of 15?
False
Is 86 a factor of 170/(-20)*(-174)/(-7)*189/(-3)?
False
Suppose 17*r - 10808 = 12583 - 4691. Is 44 a factor of r?
True
Suppose -y - 9 = 5*m, -21 = -5*y + 2*y - 3*m. Let i(t) = t**2 - 10*t + 1. Does 9 divide i(y)?
False
Let q(w) be the third derivative of 25*w**2 - 3/2*w**3 + 2/3*w**4 + 0*w + 0. Is q(4) a multiple of 11?
True
Let j(h) be the first derivative of -1247*h**4/4 + h**3/3 + 7*h**2/2 + 6*h + 300. Is j(-1) a multiple of 19?
False
Suppose -2*h + 3*n + 23856 = 7393, -4*n = -4*h + 32928. Is h a multiple of 43?
False
Suppose -38*f - 26*f + 676260 = -4