 8 = 2. Suppose 8*d + 165 = o*d. Let t = 64 + d. Is t a multiple of 4?
False
Let x(d) = d**3 - 14*d**2 - 61*d + 6. Let j be x(18). Let u(q) = -105*q - 4. Let i be u(-3). Let w = i - j. Is w a multiple of 18?
False
Let q = -11023 + 15775. Does 72 divide q?
True
Is (989/46 - 25) + (-14018)/(-4) a multiple of 9?
True
Let o(v) = v**2 - 13*v - 15. Suppose -l - 2 + 4 = 0. Suppose 5*s - 80 = -5*f, 0*f + 35 = l*f + 5*s. Is 15 a factor of o(f)?
True
Is 114 a factor of (610/244)/((-5)/(-14364))?
True
Let c be (3 + (-36)/8)/((-24)/(-128)). Let a(i) = 13*i**2 + 14*i + 6. Does 26 divide a(c)?
False
Let w(c) = 16*c**2 + 284*c + 8411. Is w(-28) a multiple of 55?
False
Let u(y) = 4*y - 15. Let g be u(5). Suppose -g*b = n - 63, -5*n + 3*n = -3*b - 113. Is 11 a factor of n?
False
Is 9 a factor of (319 - 28)*(-528)/(-9)?
False
Let w(v) = v + 51*v**2 + 7*v - 3*v. Let a be w(-3). Suppose a = 7*i - 501. Is i a multiple of 15?
True
Suppose 0 = -5*u + 11060 + 3795. Does 19 divide u?
False
Suppose 0 = 5*h - 2*k - 17, 0*h = -2*h + k + 7. Suppose o + h*o = -o. Suppose o = -7*b + 30 + 26. Is b even?
True
Suppose 2*m - 14 = 2*p, -m - 3*p - 26 = -5*m. Suppose m*g - z = 806, 3*g - 105 = -2*z + 389. Suppose -g - 27 = -3*r. Does 21 divide r?
True
Let s(m) = -615*m - 411. Is 17 a factor of s(-12)?
False
Let y(j) = -2*j**2 + 23*j - 30. Let d be y(16). Let i = 181 + d. Does 7 divide i?
True
Suppose -28 + 16 = -4*y. Suppose -402 = -y*z - 150. Does 12 divide z?
True
Let z(g) = 109 + 38*g - 15*g - 13*g - 13*g. Is z(14) a multiple of 4?
False
Does 33 divide -8*6/((-864)/88218)?
False
Suppose 9*c + 8*c = 223754. Is c a multiple of 22?
False
Suppose -4*x - 12 = 0, x + 0*x + 24 = 3*d. Let a(q) = 5*q**2 + 16*q + 119. Let l(h) = 3*h**2 + 11*h + 78. Let m(c) = -5*a(c) + 8*l(c). Does 7 divide m(d)?
False
Let c(a) = -1571*a - 125. Does 10 divide c(-2)?
False
Let k = 15163 + -10205. Suppose -14*b + 2434 = -k. Is 16 a factor of b?
True
Let g(y) be the first derivative of y**4/4 + 2*y**3/3 - 3*y**2 - 9*y + 19. Let m be g(-3). Let b(h) = 4*h + 16. Is b(m) a multiple of 6?
False
Let h = -324 + 419. Does 22 divide (h - 9) + (-1 - -2 - 2)?
False
Let r(f) = -f**3 - 53*f**2 - 134*f + 30. Is 120 a factor of r(-54)?
False
Let i(h) = 79*h + 3. Let t be ((-1)/(-2))/((12/(-8))/3). Let j be i(t). Let g = j + 92. Is 10 a factor of g?
False
Let z = -2535 + 4416. Does 38 divide z?
False
Let l(j) = j**3 - 6*j**2 + 5*j - 24. Let o be l(6). Suppose 550 = -4*h + o*h - a, 285 = h - 3*a. Is 17 a factor of h?
False
Let c be 40 - (-8 + 6) - (-6)/3. Suppose 5*r = -o + c, -4*o + 81 = -2*o + 3*r. Does 3 divide o?
True
Suppose 0*f + 4*f + 20 = 0. Let d(h) = h**2 + 7*h + 12. Let v be d(f). Suppose -4*q = -v*q + r - 18, 0 = -2*q - 2*r + 20. Does 4 divide q?
True
Suppose 5*a + 3*k = 207, -3*a + 0*a + 133 = 4*k. Suppose -132 + a = -l. Let w = l - 62. Is w a multiple of 13?
False
Suppose -4*v - 4*k = -232, -4*v + 289 - 97 = -4*k. Suppose -v*i = 4*i - 47937. Is i a multiple of 7?
False
Let p = -48 + 118. Is 25 a factor of (600/(-35))/((-4)/p)?
True
Let w = -190 - -334. Let s = w + -94. Let a = 10 + s. Is a a multiple of 30?
True
Let a(w) = -5*w**2 + 25*w + 21. Let h(l) = 11*l**2 - 51*l - 43. Let v(i) = 13*a(i) + 6*h(i). Let x be v(-19). Let j(g) = -g + 24. Is j(x) a multiple of 9?
True
Let i(t) = -7*t - 45. Suppose 0 = 15*q - 10*q + 35. Let o be i(q). Is ((-3)/(-5))/(595/(-150) + o) a multiple of 9?
True
Let n be (-22209)/(-77) - (-12)/21. Suppose 4*z - 2*w - 732 = -194, -5*w - n = -2*z. Is z a multiple of 4?
True
Suppose 7*m + 4*m - 962676 = 0. Is m a multiple of 18?
True
Let x(j) = -1381*j - 215. Let r be x(-7). Suppose -9748 = -20*i + r. Is i a multiple of 24?
True
Let n = -56 - -80. Suppose 5*r = -3*w - n + 235, r - w = 39. Let m = r + 7. Is 12 a factor of m?
True
Suppose -25*y = -27*y - 4*f + 6986, -5*y + 17390 = -5*f. Is 10 a factor of y?
False
Suppose -527245 = -44*z - 2369. Does 8 divide z?
False
Let a = 843 - 489. Let o = 86 + -294. Let w = o + a. Is w a multiple of 7?
False
Let m = 10 - 86. Let v = -70 - m. Suppose 4*c - v = -2*w + 162, -5*c = -2*w + 123. Is 29 a factor of w?
False
Let g(w) = 440*w**2 + 168*w + 1318. Does 18 divide g(-8)?
True
Let a(q) = -q**3 - q**2 - 5*q + 2. Let t be a(0). Suppose 5*d - 1953 = -2*v - 272, 2*v + t*d = 1666. Does 9 divide v?
True
Let s be -2 - 32/(-17) - 11228/(-68). Suppose 279 + s = -4*d. Let i = 73 - d. Is i a multiple of 16?
False
Let z be (-26)/1*((-33)/(-6) + -6). Let o(y) be the third derivative of y**6/120 - 11*y**5/60 - 5*y**4/12 - y**3/3 - 5*y**2. Is o(z) a multiple of 38?
False
Let u be 2/(8/4)*-1. Is 6 a factor of 3/((u/4)/(175/(-60)))?
False
Let u(c) = -c**3 + 10*c**2 - 9*c + 10. Let d be u(9). Suppose 2*q = 10*q + 736. Is 426/d - (-5 - q/20) a multiple of 3?
False
Let k(z) = 3*z**2 - 15*z + 3. Let x be k(5). Suppose g - x*c - 1 = -g, -4*c = g - 6. Suppose g*l + 3*t - 4*t = 200, -530 = -5*l - 5*t. Is 34 a factor of l?
True
Does 40 divide (9 + -1 - (-70 + 68))*(-2531)/(-5)?
False
Suppose 59*n - 36 = 56*n + 4*a, 0 = 4*n - 5*a - 49. Suppose -n*m - 2*m = -8298. Does 37 divide m?
False
Let j(n) = 64*n**2 - 18*n + 51. Does 76 divide j(-5)?
False
Suppose 6*j - 42 = -12. Let b be 24/10*(0/(-3) + j). Let y(r) = r**3 - 11*r**2 - 7*r + 3. Is 41 a factor of y(b)?
False
Let r = 277 - 163. Let o = -138 + r. Let z = -7 - o. Does 5 divide z?
False
Let d(j) = 1 - 8 - 83*j - 2*j**2 - 19 - 22. Is d(-27) a multiple of 49?
True
Let m(i) = 9*i - 305. Let u be m(-6). Let s = 501 + u. Is 15 a factor of s?
False
Suppose 0 = -4*s + 5 + 3. Suppose 0 = s*p + 4, 3*h - h + 2*p - 2 = 0. Suppose a = 4*y + 327, -h*a + 673 + 342 = 5*y. Is a a multiple of 24?
False
Suppose -16*r - 3*s + 504315 = -253266, 3*r - 3*s - 142050 = 0. Is r a multiple of 15?
False
Suppose 743 + 657 = 5*w. Suppose -9*b - w = 503. Let n = 170 - b. Does 25 divide n?
False
Let v(z) = 2*z + 17. Let q be v(6). Suppose q*o = 28*o. Suppose o*n = 2*n - 134. Is n a multiple of 7?
False
Suppose 14*z + 27789 = 17*z - 5*u, 2*z - u - 18526 = 0. Is 157 a factor of z?
True
Suppose 248 = 2*a - 132. Suppose 0 = -2*b + b + a. Suppose b = 4*u + 14. Does 11 divide u?
True
Let d(q) = -2*q**3 - 20*q**2 + 53*q + 28. Is 15 a factor of d(-13)?
False
Suppose -3*n - 182208 = -51*n. Is n a multiple of 27?
False
Suppose 5*d + 15 = 5*j, -4*d + 2*d = -10. Suppose -4*q + j*b + 232 = 4*b, -182 = -3*q - b. Does 15 divide q?
True
Let f(d) = 167*d**2 - 1602*d - 10. Is f(12) a multiple of 166?
True
Is (-2712)/(-2)*3/2 a multiple of 18?
True
Suppose -2*r + 43501 = 5*o, 3*r - 1761 + 36548 = 4*o. Is o a multiple of 31?
False
Is 13 a factor of (86/(-172))/(1*2/(-335140))?
True
Let y be 108/30 - (2 + (-12)/5). Suppose -y*o + m = -127, 5*m - 6*m = -3*o + 94. Let j = o - 0. Is 3 a factor of j?
True
Let n(f) = -f**3 - 4*f**2 - 7*f - 8. Let g be n(-3). Let k(h) = h**3 - 4*h**2 - 3. Let l be k(g). Does 11 divide 48/15*(-45)/l?
False
Suppose 12 = 78*v - 72*v. Suppose 3*m = 4*n - 4194, -v*n + 3*m = -4*n + 2106. Is n a multiple of 42?
True
Does 3 divide (-1512273)/186*1/(14/(-24))?
True
Let v(b) = 479*b - 3. Let y be v(1). Suppose -115 = -q - 2*l, 4*q + 10*l = 6*l + y. Is q a multiple of 3?
True
Let s = -11126 + 13522. Is s a multiple of 7?
False
Suppose -4*z - 10817 = 4*q + q, -15 = 3*q. Does 29 divide (-116)/(-348)*(-1 + z/(-1))?
True
Let a(k) be the third derivative of 11*k**4/8 - 5*k**3/6 - 18*k**2. Suppose 7*g = -0*g + 21. Does 15 divide a(g)?
False
Let n = 62 + -60. Suppose 2*m + n*r - 100 = 0, -17*m + 99 = -15*m + 3*r. Is 3 a factor of m?
True
Let x be (-3 - 3)*(2 + -1 + 0). Let i(m) = 6 + 4*m**2 + 9*m + 10 - 2*m**2 + 2*m. Is 10 a factor of i(x)?
False
Let u(y) = -7*y**2 + 13*y + 8. Let q(m) = 8*m**2 - 15*m - 9. Let x(s) = -5*q(s) - 6*u(s). Does 6 divide x(-7)?
False
Let c(u) = 11*u - 66. Let b(w) = -w**2 - 6*w + 8. Let l be b(-4). Does 3 divide c(l)?
False
Let k = -204 + -221. Let y = -249 - k. Does 8 divide y?
True
Does 32 divide (-102914)/(-16) + (-222)/1776?
True
Suppose -4*w = 262*j - 258*j - 120496, -w + 30123 = 2*j. Is w a multiple of 9?
False
Suppose -2*q + 2710 = -i - 4001, -3*q + 2*i = -10067. Is q a multiple of 10?
False
Let z = 311 + -311. Suppose 5*m - 1703 = -3*s, z = -5*m + 2*s + 1734 - 36. Does 14 divide m?
False
Let a(m) = m**2 - 38*m + 5. Let c be 