)/12) - 686/(-10))/1. Suppose -4*x - 6*c = -c - 8, 3*c + 6 = 3*x. Suppose -t = -l - r - 21, -x*l - 430 = -5*t. Is t a multiple of 14?
True
Suppose -5*n + 10 = 0, 3 = -2*a + 2*n + 15. Suppose 3*o + a = o, 11 = k - o. Suppose k*b - 135 = -2*b. Is 15 a factor of b?
True
Let y = 195 + -189. Does 42 divide 21*(-69 + 2)*(-4)/y?
False
Let c(l) = 153*l**3 + l**2 + 2*l + 2. Let g be c(-1). Let o = g + 206. Is 8 a factor of o?
False
Let p = 33 - 29. Let j = 642 + -390. Suppose -p*a + j = 4*r, -4*r - 3*a + 117 = -140. Is 41 a factor of r?
False
Let q be (-1)/(3/(3/2))*6. Let k(w) = -11*w**2 - 15*w - 6. Let r(n) = n**2 + n. Let x(p) = q*r(p) - k(p). Is x(-6) a multiple of 37?
True
Does 24 divide 637051/209 + 2 + 138/(-66)?
True
Suppose 87*t = -52*t + 876673. Is t a multiple of 43?
False
Let w(y) = -y**3 - 4*y**2 + 4*y - 26. Suppose -4*f = -19 + 63. Is w(f) a multiple of 21?
True
Suppose 3*g + 2*z - 3416 = 0, z = -2*g + 2*z + 2268. Suppose -g = -3*d + 2*q, -1133 = 8*d - 11*d - q. Is 63 a factor of d?
True
Suppose 23 = 5*d - 17. Let j(y) = -2*y**3 - 2*y**2 + y + 1. Let p be j(-2). Suppose -d*i + 7*i + p = 0. Does 5 divide i?
False
Suppose -59278 - 189890 = -232*b. Is 3 a factor of b?
True
Let y = -6669 - -10268. Is 71 a factor of y?
False
Let x(z) be the third derivative of -z**6/120 + 19*z**5/30 + 11*z**4/24 - 14*z**3 + z**2 - 5. Is x(38) a multiple of 28?
False
Let n(k) = -2*k + 5. Suppose -12 = -z + 3*j, -4*z + j - 3 = 6*j. Suppose 0 = z*x + 7 + 29. Does 11 divide n(x)?
False
Suppose 0 = 226*h - 5325114 + 1249882. Is 54 a factor of h?
False
Is (8 - (12 - -3))*1732/(-7) a multiple of 4?
True
Suppose 92*h = 100*h + 504. Let s = h - -197. Does 10 divide s?
False
Suppose -9*g = -20*g - 2959. Let h = -197 - g. Is h a multiple of 9?
True
Let p(m) = m**2 - m + 65. Let l be p(0). Suppose 9*h - l = 70. Suppose 0 = 2*r - h - 119. Does 8 divide r?
False
Suppose -2*j - 8 = 5*v - 7*v, 3*v + 4*j = 5. Suppose -x - m = -3*x + 226, 0 = v*x - 3*m - 342. Does 8 divide x?
True
Suppose g = s + 1 + 4, 3*s = g - 9. Let b be (s + 1/((-16)/268))*8. Is 31 a factor of (-1*5)/(-1 + b/(-155))?
True
Let w(h) = 0*h - 10 - 2 + 3*h. Let u be w(4). Suppose -2*v + 251 + 13 = u. Is v a multiple of 12?
True
Suppose 2*h - 4*d + 957 = -3*h, -2*h + 5*d - 376 = 0. Let j = -111 - h. Is j a multiple of 18?
False
Let n(f) be the first derivative of -f**4/4 - 11*f**3/3 - f**2/2 + 84*f - 17. Is 79 a factor of n(-15)?
False
Suppose -8 = -h + 27. Let t be 1/((-5)/4) - (-3528)/h. Suppose 0 = t*y - 105*y + 285. Is y a multiple of 8?
False
Let d(o) = 2*o**3 + 15*o**2 - 7*o + 25. Let u be d(-10). Let q = u + 493. Does 4 divide q?
True
Suppose 4*r + 3*v = 96, -2*r - v + 120 = 3*r. Suppose -9*z = 41 - 725. Let k = z + r. Is 25 a factor of k?
True
Let c(j) = j**2 - 25*j - 1032. Does 25 divide c(52)?
False
Suppose -6*v + 3*v + 12 = -x, -3*v = 4*x - 12. Let k be (-2)/v*((8 - 4) + -4). Suppose k*y - 156 = -y - 4*s, 2*s = 2*y - 322. Does 16 divide y?
True
Suppose 0 = -h, -3*z + 9*h - 14*h = -672. Let a = 453 - z. Is 22 a factor of a?
False
Let a be (-15)/1*-2*259/42. Let q = a - 126. Let i = 99 - q. Does 20 divide i?
True
Does 15 divide 1 - 6907/(-1) - -12*4/16?
False
Suppose 21*h + 222*h + 49*h - 17116748 = 0. Is h a multiple of 11?
True
Let a be (-6)/(-4) + 4 + (-21)/6. Let s(q) = -a*q**2 + 24*q + 0*q**2 - 3*q**2 - 34 + 4*q**2. Is s(17) a multiple of 19?
False
Suppose 0*c - 44 = -4*m - 4*c, -5*m + 4*c + 46 = 0. Suppose m = f + 6. Suppose f*w = -3*h - 129 + 338, 76 = w - 4*h. Is 8 a factor of w?
True
Let m = 5592 + -3880. Is m a multiple of 8?
True
Let s(y) be the first derivative of -6*y**4 - 2*y**3/3 - 5*y**2/2 - 9*y + 15. Does 27 divide s(-2)?
False
Is 0 + 25300/24 + 14/(-84) a multiple of 19?
False
Let c = -37 - 22. Let m(u) = 2*u**2 + 23*u - 25. Let t be m(-15). Let w = c + t. Is 8 a factor of w?
False
Let v = -127 + 434. Suppose -5*a - 4*o + 142 = -v, -4*a = -5*o - 351. Does 5 divide a?
False
Let a(k) = -3*k**2 + 8*k. Let y be a(3). Let x(l) = -15*l + 10. Let s be x(y). Let w = 162 - s. Is w a multiple of 18?
False
Suppose 0 = -f - 14 - 39. Is 53 a factor of (1/(-4) - 114/24)*f?
True
Let r be 4/(-1)*4/(-8). Suppose -10 = -r*b - 3*b, 0 = -3*v - b + 17. Is (-2 - -3) + -4 + v a multiple of 2?
True
Let q be (-21)/7 - -885 - 8. Suppose -4*k + 5*n + q = -k, 0 = -4*k - n + 1196. Is 41 a factor of k?
False
Let t = -30 - -46. Let x = t + -14. Suppose -x*m + 0 + 10 = 0, -4*j = 3*m - 207. Does 13 divide j?
False
Let h(p) = p**2 - 76*p + 1449. Is 9 a factor of h(22)?
True
Let l(h) = -5*h + 8. Let y be l(-2). Let t(p) = -p**2 + 18*p + 1. Let i be t(y). Suppose -575 - i = -3*r. Is 24 a factor of r?
True
Let k(d) = -58*d - 343. Let y = 535 + -541. Does 2 divide k(y)?
False
Suppose -2*f - 2*f - 13 = -a, 5*f = 4*a - 19. Does 25 divide -1 + 297 + f + 7?
True
Let g = -37 + 25. Let i(s) = 5*s**2 - 10*s - 60. Does 12 divide i(g)?
True
Suppose 543 = -s - y + 1971, 5*s = 5*y + 7160. Does 2 divide s?
True
Let b(k) = 10*k - 13*k - 2*k**2 - 15 + 3*k**2 - 11*k. Let o be b(7). Let q = 52 - o. Is q a multiple of 20?
False
Let w = 47 - 67. Is (w + 40)*24/1 a multiple of 32?
True
Let i(v) = 2*v**2 + 4*v + 5. Suppose 15 = 3*r, c + 11 = r - 75. Let b be (-18)/c + 20/(-9). Is 3 a factor of i(b)?
False
Suppose 0 = 5*t - 3*v + 129, 3*t + t + 99 = v. Let x = -27 - t. Does 11 divide (x + (-21)/(-9))*-3 + 72?
False
Does 4 divide (14/(-3))/((-5)/870)*(-130)/(-52)?
False
Suppose 256*b + 2*b - 11099808 = -185*b. Is 9 a factor of b?
True
Let k(y) = 7*y**2 + 11*y**2 + 2 + y**3 + y - 4*y - 22*y**2 + 11*y**2. Is 8 a factor of k(5)?
False
Is (1113114/(-45))/((-28)/35) - 4/(-24) a multiple of 9?
False
Does 63 divide ((-50020)/1558 + 4/38)*-122?
False
Let c = -464 + 482. Is (-3)/(-6) + (-3)/c*-753 a multiple of 3?
True
Suppose -24*c + 25*c - 664 = 0. Suppose 4*r - 3*s - c = s, -2*r = 3*s - 332. Is 3 a factor of r/8 + (-3)/(-12) + 1?
False
Let s be 1 - 7/5 - (-574)/10. Let w = -50 + s. Let v(p) = -p**3 + 10*p**2 - 4*p - 1. Does 14 divide v(w)?
False
Let l(h) = h**3 - 13*h**2 + 9*h + 22. Let v be l(12). Let o = -3 + 22. Let s = v + o. Does 4 divide s?
False
Let y(t) = 2*t + 93. Let s = 9 - 7. Let z be ((-22)/4 + 5)*0/s. Is y(z) a multiple of 19?
False
Let p = 2808 + -708. Is p a multiple of 35?
True
Let z(c) = -3*c**3 - c**2 - 4*c - 5. Let f be z(-5). Let d = 1547 + -1366. Let r = f - d. Does 21 divide r?
False
Let y(d) = -d**2 - 13*d - 21. Let z be y(-11). Let s be z/4 - 1 - 1187/(-4). Does 19 divide 1/2*s + 4?
True
Let u = -61 - -92. Suppose 34*p = u*p + 219. Suppose 5*k = -3*i + p, 3*i = 3*k + 22 + 11. Is i a multiple of 4?
True
Let o = -97 + 197. Let k be (-5 + 6 + 389)*(-2)/(-4). Let c = k - o. Does 19 divide c?
True
Let s(j) = j + 3. Let r be s(-3). Suppose -y - 5*v = 32, 22 = -3*y - 4*v - 19. Is (199 - r) + 0*y/(-28) a multiple of 21?
False
Let j(n) = -4*n + 22. Let w be j(-5). Let h be 32*(-3)/(6/(-7)). Let t = h - w. Is t a multiple of 30?
False
Let q(p) = p**3 - 5*p**2 + 10*p - 3. Let f be q(7). Suppose 172*j - 315 = f*j. Is j a multiple of 45?
True
Suppose 4*c + 3*l = 159, -8*c + 9*c - 4*l - 35 = 0. Suppose 38*p + 278 = c*p. Is p a multiple of 10?
False
Let a = 32 - 51. Let j be 26/247 + (-416)/a. Suppose -3*u = j - 82. Does 20 divide u?
True
Let x(b) = 3*b**2 - 43*b - 46. Let j(c) = -3*c**2 + 42*c + 40. Let l(h) = 7*j(h) + 6*x(h). Let z be -5*(-4)/(-5)*-2. Is l(z) a multiple of 11?
False
Let f(m) = -m**3 - m**2 - 4*m - 2. Let o be f(9). Let s be ((-798)/19)/(((-6)/o)/(-1)). Does 21 divide (-8)/10 + s/70?
True
Suppose -6*u = -11*u + 85. Suppose -5*y = 28 + u. Does 28 divide (-3*(-12)/(-10))/(y/210)?
True
Let t = 14150 + 4452. Does 142 divide t?
True
Let v(r) = -r**3 + r**2 + 28*r - 2. Let w be v(6). Let t be (-1352)/(-12) + w/21. Suppose -q + 3*k + 118 = 2*k, -q + t = -4*k. Is 12 a factor of q?
True
Let f be 25*(-3 + 1)*(8 - 7). Is f/(-175) - ((-3762)/14 - -1) a multiple of 16?
False
Suppose -45 = -m - 66. Is (m/(-9))/((-1)/(-45)) a multiple of 3?
True
Suppose -11*b - 78 = -12. Let w(v) = -31*v - 2. Is w(b) a multiple of 10?
False
Suppose -5*t + 6 = -4*s, 3*t - 11 = -2*t - s. Let h(w) = w**3 - w**t + 0*w**2 - 9*w + 0*w**2 - 6*w**2 - 7. Does 37 divide h(9)?
True
Let x(v) = -v**3 - 19*v**2 - 24*v + 24. Let a(j) = 3*j**2 - 38*j + 6. Let h be 