 -1*6/1 - 56/(-7). Suppose -5*u + 4*m + 1309 = 0, 0*u = 3*u - 4*m - 787. Suppose -5*l = -0*j - 4*j - 642, k*l = 3*j + u. Is 14 a factor of l?
True
Does 162 divide -45*(-292 - -22) + 0?
True
Suppose -4*b + 5526 = 2*s - 32828, -b - 5*s = -9593. Is b a multiple of 68?
True
Let p = -127 + 888. Is 8 a factor of p?
False
Let c be 7/2 - 4/8. Suppose 2*j - y - 571 = 0, 5*j - 2*y = c*y + 1415. Is 36 a factor of (-2 - -3)*j/4?
True
Let r = -9863 - -11034. Does 13 divide r?
False
Let r be 6 - 3/2*(-3 + -17). Is 40 a factor of (24*320/r)/(2/15)?
True
Let l(y) = -2001*y + 6640. Does 115 divide l(-14)?
False
Let b be 2/18*2 - (-666)/(-81). Let l(u) = 2*u**2 - 3*u - 36. Is 29 a factor of l(b)?
True
Let c(j) = 4*j + 16. Suppose -5*i = -2*h - 0*h - 10, -2*h + 2 = i. Let g be c(h). Suppose -g = 13*n - 15*n. Is 8 a factor of n?
True
Is (-6)/4*20648/(-261)*54 a multiple of 50?
False
Suppose -5*a = -4*m - 3729, 6*m = 11*m - 20. Is 2 a factor of a?
False
Let j = 60 - 64. Let n be 6004/30 - j/(-30). Suppose 0 = s + s - n. Is 28 a factor of s?
False
Suppose 3*x = 5*t - 22960, 0 = 5*t - 72*x + 67*x - 22950. Is 13 a factor of t?
False
Let o(t) = 3*t**3 + 30*t**2 + 3. Let p be o(-10). Is 91538/111 - 2/p a multiple of 51?
False
Let z(i) be the second derivative of 47*i**3/6 - 2*i**2 - i. Let r be (4 - 14/3)/(2/(-6)). Is z(r) a multiple of 10?
True
Let d = -514 + 1456. Does 28 divide d?
False
Let p(s) = 193*s - 817. Does 87 divide p(43)?
True
Is ((-99144)/36)/((-4)/10) a multiple of 9?
True
Let l = 233 + -269. Is 3300/108 - 16/l a multiple of 2?
False
Suppose 0 = -137*f + 134*f + 5*g + 10555, 5*f + 2*g = 17540. Does 54 divide f?
True
Let b(d) = 126*d**2 + 99*d - 1387. Is 47 a factor of b(18)?
True
Let a(o) = 17*o**2 + 7*o + 4. Suppose 3*m = -10 - 2. Let d be a(m). Suppose 2*p + n - d = 0, -4*p - p + 2*n + 638 = 0. Is p a multiple of 9?
True
Let i = 235 + -211. Suppose 4*p - p - 23 = -4*z, 5*p - 33 = -4*z. Suppose g - i = -z*g. Does 8 divide g?
True
Let h(i) = 5*i - 4. Let c be h(5). Let f(s) = 8*s - 104. Is 4 a factor of f(c)?
True
Suppose -301 = 43*o - 36*o. Let w = o + 311. Is w a multiple of 24?
False
Suppose t + 1 + 4 = 0, -4*w + 2*t + 17130 = 0. Suppose -3*o - w = -13*o. Is 31 a factor of o?
False
Suppose -17*w + 13791 - 16209 = -49083. Is 59 a factor of w?
False
Let m = -92 - -154. Suppose -3*q + 0*f = -4*f - m, q - 10 = -4*f. Is 9 a factor of q?
True
Let o be (-1 + 1)/(-1)*(-2)/6. Suppose o = -7*g + 2*g + 5, -10 = -4*b + 2*g. Suppose -5 = b*v - 77. Does 12 divide v?
True
Suppose -9*z + 14*z + 3*s - 11 = 0, -2*z + 20 = -4*s. Suppose -663 = -21*f + z*f. Is f a multiple of 28?
False
Let d(t) = -t**3 - 5*t**2 - 3*t - 11. Let z be d(-5). Let o be (2 - 3)/(z/(-292)). Suppose -k - a + 67 = -2*a, -3*a = -k + o. Is k a multiple of 8?
True
Let t(r) = -r**3 + 14*r**2 - 10*r - 38. Let a be t(13). Is (-1816)/(-32)*a*8 a multiple of 21?
False
Let w(d) = 8*d**2 - 59*d + 374. Is w(25) a multiple of 5?
False
Let i be 16/12 - (70/21 - 4). Suppose -303 = -i*c + 393. Does 14 divide c?
False
Let w(d) be the second derivative of d**3/6 - 5*d**2/2 - 28*d. Let n be w(3). Does 15 divide n - (1 + -125) - 2?
True
Is (-2850)/(-2 + (-54)/(-12) + -3) a multiple of 19?
True
Let b be (-16)/(-72) + (-32)/(-18). Let f(y) = y**2 - 1 + y**2 + 2*y**2. Is f(b) a multiple of 15?
True
Let g(l) = l + 1. Let s(n) be the third derivative of 41*n**4/4 + 287*n**3/6 - 21*n**2. Let m(y) = -1148*g(y) + 4*s(y). Is m(-1) a multiple of 17?
False
Let i be (-2)/(-6) + (1 - 5/(-3)). Let j be i - (-9)/(27/6). Suppose 0 = -4*s - j*a + 28, -7*a = 2*s - 3*a - 8. Is s a multiple of 6?
True
Let w = 10264 + -7079. Is w a multiple of 24?
False
Let w = 23008 + -20248. Does 40 divide w?
True
Suppose -p = 2*k + 80, -2*k - 68 = -0*k - 2*p. Let b = -21 - k. Suppose 18 = r - b. Is 13 a factor of r?
False
Suppose 0 = -330*x + 6042290 - 2370380. Is 25 a factor of x?
False
Suppose -9*d + 3645 = -3*w, -1416 + 195 = -3*d + 2*w. Is 31 a factor of d?
True
Let z(u) = 13*u**2 - 85*u + 16. Does 4 divide z(8)?
True
Is (3/12)/(0 - 2/(-21656)) a multiple of 18?
False
Let d(x) be the third derivative of 0*x + 41/24*x**4 + 0 + 13*x**2 - 2*x**3. Is 26 a factor of d(6)?
True
Let h(z) be the first derivative of 29*z**2 + 4*z + 33. Is 15 a factor of h(3)?
False
Suppose -4*q = 5*u - 96, -3*q = q - 4*u - 96. Is -102*(-4)/q*2 a multiple of 15?
False
Suppose -131*z - 6030 = -137*z. Suppose 5*m + z - 4085 = 0. Is 14 a factor of m?
True
Let m(k) = -26*k + 46*k**2 + 55*k - 20 - 70*k**2 + k**3. Let r = -59 + 82. Does 15 divide m(r)?
False
Let o(r) = 7*r**3 + 4*r**2 - 2*r - 3. Let w be o(-3). Let l = -64 - 146. Let x = w - l. Is 8 a factor of x?
False
Let n(l) = 69*l**2 - 22*l + 234. Is n(12) a multiple of 26?
True
Let s(l) = -67 - 46*l + 45*l + 171. Is s(6) a multiple of 14?
True
Let x be (186/(-31))/(2/2585). Is 14 a factor of (-1 - -2)/((-15)/x)?
False
Let w = -6614 + 9386. Is w a multiple of 18?
True
Let v(i) = 17*i + 4399. Is v(0) a multiple of 13?
False
Let a(l) = -9*l - 323. Let y be a(-37). Suppose -3*p + 3*n + 34 = 2*n, 5*p - 54 = n. Does 5 divide 702/y + 48/p + -5?
True
Suppose 4*f = -4*g + 62356, -4*f - 31166 = 6*g - 8*g. Does 109 divide g?
True
Suppose 50 = -13*m + 167. Let h(p) = -8 - 4 + 4*p - 2. Is 22 a factor of h(m)?
True
Let z be 17955/30 + 2/4. Let l = z + -364. Suppose -10*p + 5*p + l = 0. Is p a multiple of 6?
False
Let w(b) = -11*b + 23*b**2 + 4 + 24 + 12*b**3 - 13*b**3. Does 30 divide w(22)?
True
Suppose 22533 + 26022 = 14*d + 577. Is 107 a factor of d?
False
Suppose 0 = 4*n - 5*d - 12683, 11*d + 6340 = 2*n + 9*d. Suppose -12*v + n + 1729 = 0. Is 24 a factor of v?
True
Suppose 0 = 5*t - 4*p + 198 - 1005, 0 = t - 2*p - 165. Let w = t - 85. Suppose -u = -w - 71. Does 21 divide u?
False
Let g(n) = 105*n**2 - 7*n - 9. Let r = -79 + 77. Does 10 divide g(r)?
False
Let q = -10975 - -21072. Is 23 a factor of q?
True
Suppose 4*h = 10*h. Suppose h = -17*z + 2442 + 3049. Is z a multiple of 19?
True
Suppose -4*g = 20, 3*g + 25 = 3*s + 2*s. Let u(n) = -n**3 + n**2 + n. Let t be u(s). Does 16 divide -96*t*2/(-2 + 8)?
True
Let h(r) = -40*r - 566. Let p be h(-17). Let j be 1/2*0/(-1). Suppose j = -c + p + 36. Is 15 a factor of c?
True
Let u(l) = -l**3 + 9*l**2 - 8*l + 5. Let p be u(8). Suppose -p*v + 4 = -3*v. Suppose 6*k + 3*w - 160 = 2*k, -3*k + v*w + 120 = 0. Does 8 divide k?
True
Let c = 175 - 10. Let b = c + -136. Is b a multiple of 8?
False
Suppose 159*f - 140*f = -7923. Does 18 divide 4/3*f/(-4)?
False
Suppose 5*r + w = -4*w + 125, -3*r = w - 83. Suppose 2*f = -4, 0 = -5*m - 24*f + r*f + 105. Is m a multiple of 19?
True
Suppose 3*l = 3*z - 78, -2*z + l + 0*l + 47 = 0. Suppose z*c - 5427 = -1143. Is 56 a factor of c?
False
Let z(j) = 31*j - 101. Let t be z(11). Let x = t + -84. Does 9 divide x?
False
Suppose 4*w - 6 = -3*x + 7, x = 3*w + 26. Suppose -2*k = -x*k. Suppose k = -28*a + 25*a + 108. Is 18 a factor of a?
True
Let k(w) = w**2 - 10*w + 16. Let o(r) = -2*r**2 + 20*r - 32. Let n(v) = 5*k(v) + 2*o(v). Let g be n(4). Let q(f) = -18*f + 2. Does 32 divide q(g)?
False
Suppose 5*h - 37*l = -32*l + 19485, -3*h + 2*l = -11689. Is 52 a factor of h?
False
Let d(k) = 11*k**3 - 5*k**2 + 6*k + 37. Let m be d(-4). Let z be (-3)/((9/(-501))/(-3)). Let i = z - m. Is i a multiple of 15?
True
Let d(k) = 143*k + 114. Let a be d(4). Let c = a + -483. Is c a multiple of 9?
False
Suppose 94*i - 95*i = 0. Suppose i = -2*r + 129 + 291. Is r a multiple of 35?
True
Is 16 a factor of (1/7)/((-286)/(-11521510))?
False
Suppose 3*r + r = 3*t - 587, -4*t + 4*r = -780. Does 10 divide (t + -1 + -2)*(0 - -1)?
True
Suppose -5 = -3*z + 4*z. Let h be (6/z)/((-24)/60). Suppose t - h*t + 24 = 0. Is 2 a factor of t?
True
Let n = 269 + -245. Let c = n + 36. Is 15 a factor of c?
True
Let z = 3625 + -1693. Does 21 divide z?
True
Let w(g) = -16*g - 13 + 0*g - 1. Let y be w(-6). Suppose 5*q = -j - 2, -y - 20 = -4*j + 2*q. Is j a multiple of 12?
False
Is 48/(-36)*14568/(-16) a multiple of 3?
False
Let z(v) = 21*v**2 - 3*v + 4. Let x be z(3). Suppose 2*l - 8*b = -7*b + 521, 0 = -5*l - b + 1299. Let f = l - x. Is f a multiple of 13?
False
Suppose p = -w - 40, 12*p = 7*p + 3*w - 192. Let n be -36*19*52/p. Suppose -y = 5*i - n, -5*i + 2*y + 909 = 4*y. Does 18 divide i?
False
Let f(v) 