. Let x be r(j). Suppose u - x = 5*k, -k - 366 = -5*u - 0*k. Is 13 a factor of u?
False
Let z(j) = -14*j**3 + 10*j**2 - 26*j - 97. Does 26 divide z(-5)?
False
Suppose -12*n + 18*n = -84. Is (-156)/n*(14 + 0) a multiple of 12?
True
Let u = 823 - 359. Does 17 divide 1*(u + (-4 - 1))?
True
Suppose 0 = -8*k - 24. Let w(u) = u**2 + 3*u - 1. Let g be w(k). Does 6 divide (g + 4 + -2)*(3 - -54)?
False
Suppose 0 + 8 = 4*f + 2*i, -f + 12 = -2*i. Suppose f*z = 3*p - 28, -4*z + 0*z - 24 = -2*p. Suppose -p*h = -37 - 3. Is h a multiple of 2?
True
Suppose 10529800 = 403*n - 61*n - 4281194. Is n a multiple of 57?
False
Suppose 78059 = -19*d + 249667. Does 26 divide d?
False
Let x be 20 + 8 + (-5)/((-25)/(-15)). Suppose -10014 = -x*c - 489. Is c a multiple of 31?
False
Suppose 74*l = 72*l + 10. Suppose -l*p - 2 = -22. Suppose 244 = 4*y - o, p = -4*o - 12. Does 6 divide y?
True
Suppose 5*r = -2*q + 24, -3 = -5*r + 17. Let f(j) = -8*j + 58. Let n be f(7). Suppose -h + n*s = -11, s + q = 2*s. Is h a multiple of 5?
True
Let y = 582 - 269. Let b = 188 - y. Let s = b - -210. Is s a multiple of 17?
True
Let m be (-646)/(-8) + 1/4. Let b be (5/(-2))/((-24)/(-48)). Is 27 a factor of 1*b*m/(-3)?
True
Suppose 0 = -4*f - 3 - 13. Is 32 a factor of f + 60 + (8 - (0 - -5))?
False
Let u be 22/6 + (-16)/24. Suppose 0 = -4*a - u*w - 427, 5*a + 417 + 112 = w. Let f = a + 341. Is 47 a factor of f?
True
Let j = 34 + -26. Does 9 divide 7 + (-6 - -1918)/j?
False
Is 74 a factor of (-6315)/((10/180)/(8/(-40)))?
False
Let m be 30 - (1 + 0) - (-2)/1. Let n = m + 19. Is n/(-2)*(0 + -2 - -1) a multiple of 19?
False
Let q be 1 - (-24)/(-4) - 3. Does 10 divide ((-75)/10 - q) + (-1842)/(-4)?
False
Suppose 1662 = -3*a + 35114 + 8737. Is a a multiple of 49?
True
Let g(b) = b**3 - 37*b**2 + 64*b - 168. Is 30 a factor of g(36)?
True
Let k = 568 + -660. Let v = k - -123. Is v a multiple of 2?
False
Let j be (-5)/(-15) + 170/(-6). Let q be -3*(-2 + j/(-12)). Let r(s) = -63*s**3 - 3*s - 2. Is r(q) a multiple of 5?
False
Suppose 0 = 455*m - 443*m - 164616. Is m a multiple of 18?
False
Let i be 3/((-3)/(-2)) - -48. Suppose -2*b + b + i = 0. Suppose -g + b = -2*a, -41 = -2*g + 3*a + 62. Is g a multiple of 6?
False
Let y(p) = -5*p**3 - 2*p - 12. Let b(n) = 131*n**3 - n**2 + 5*n - 2*n + 13 - 127*n**3 - n. Let a(u) = 4*b(u) + 3*y(u). Is a(8) a multiple of 32?
True
Is ((-80)/45)/4 + (-569546)/(-747) a multiple of 127?
True
Let c(z) = z**3 + 3*z**2 + 2*z. Let g be c(-2). Let o(l) = l**3 - 8*l**2 + 16*l - 1. Let k be o(5). Suppose k*i - i - 54 = g. Is 9 a factor of i?
True
Suppose -2*n + 2 = 2*g - 4, 5*n - 6 = 4*g. Suppose 0*h - 2*h + 4*x = -82, n*h - 91 = -5*x. Suppose 0 = -3*p + 229 - h. Is p a multiple of 18?
False
Let p = 183 - -7161. Suppose 0 = -4*c + 22*c - p. Is c a multiple of 44?
False
Let j be (1 - 2)/((-5)/225) + 1. Let x = j - 56. Does 36 divide 1/5 - 718/x?
True
Let w(d) = 14*d**3 + d**2 - d + 1. Let l be w(1). Suppose -h - 5 = -5*g, -3*h + 4*g - l = -0*h. Is (-1)/5 + (-381)/h a multiple of 30?
False
Let f(g) = -g + 50. Let s = 74 + -61. Is f(s) a multiple of 31?
False
Let q be (0 - 2)/((-8)/16). Let n(z) = -12 - 10*z + 2 + z**2 - q + 2*z. Does 17 divide n(12)?
True
Let w = -4746 + 8752. Is w a multiple of 40?
False
Is 6 a factor of ((-31520)/(-960))/((-26)/(-12) - 2)?
False
Let f(n) = -7*n**3 - 3*n**2 + 6*n + 8. Let i(d) = d**3 - d**2 - 2*d. Let v(h) = f(h) + 6*i(h). Is 64 a factor of v(-12)?
True
Suppose -8*y + 31 + 97 = 0. Suppose -24*x = -y*x - 4096. Is 12 a factor of x?
False
Let t(m) = 147*m**2 + 35*m - 188. Is t(6) a multiple of 15?
False
Let s(g) = g**3 - 6*g**2 + 7. Let y be s(6). Let v(o) = -17*o**2 + 4*o + 3. Let q(p) = -14*p**2 + 4*p + 2. Let l(n) = 6*q(n) - 5*v(n). Is l(y) a multiple of 13?
False
Suppose 247287 = 4*r - 5*g, 247327 = -74*r + 78*r + 3*g. Is r a multiple of 52?
True
Let q = 2732 - -1603. Suppose 0 = 17*s - q - 6545. Is 12 a factor of s?
False
Let b be 386/4 + 2/4. Suppose 3*d - 439 = -3*p - 661, -372 = 5*p + 3*d. Let z = p + b. Does 10 divide z?
False
Let z = -693 - -1083. Let v = z - 270. Is v a multiple of 15?
True
Does 38 divide (-1684)/((84/147)/((-3)/7))?
False
Is 161 a factor of 82/7*11200/64?
False
Let c be 38/4*(38 + -4). Let r = c - 190. Is r a multiple of 7?
True
Suppose -21*h - 7752 = -36*h + 11*h. Does 57 divide h?
True
Let z be (-21)/(-14)*(2 + 0). Suppose -9 = -z*p, 8*h + p - 23 = 3*h. Suppose 0*m - h*d - 208 = -2*m, 208 = 2*m - 2*d. Is 26 a factor of m?
True
Let t = -16776 + 19205. Does 4 divide t?
False
Suppose 3*x - 50 = 4*a - 13, 3*a - 4*x = -26. Let p be (-3 + 6 - 4)/(2/a). Suppose -2*s = 5*f - 365, p*s = 3*f - 34 - 216. Is 15 a factor of f?
True
Suppose 51*z = 59*z - 190496. Is 20 a factor of z?
False
Let b = -20 + 15. Let y = -133 + 172. Let i = y + b. Is i a multiple of 17?
True
Let q = -102 + 103. Let o(z) be the first derivative of 30*z**4 + z**3 - 3*z**2/2 + 9. Does 20 divide o(q)?
True
Let y(a) = 3*a - 64. Let d be y(26). Let i(x) = 49*x - 171. Is 5 a factor of i(d)?
True
Let o(i) be the first derivative of -36*i - 14 + 11*i**2 - 9*i**2 + 4*i**2 + 2*i**2. Is o(8) a multiple of 10?
False
Suppose -50 = -16*b - 9*b. Suppose b*l - 1341 = -3*d, l - d - 399 = 264. Is l a multiple of 74?
True
Let b = -135 + 13. Let t = -68 - b. Is t a multiple of 15?
False
Suppose -5*l - 4*u = -20, 4*l - 3*u + 8 + 7 = 0. Is l/4 - (3 - 6*11) a multiple of 9?
True
Let g be 18/2*3/9. Suppose 0*f = 3*m - 4*f - 1, -m = -g*f + 8. Does 7 divide m?
True
Let d(r) = 32*r**2 - 8*r + 17. Suppose -2*y + 98 = 94. Is 27 a factor of d(y)?
False
Suppose 0 = 8*p - 420 - 396. Is p a multiple of 34?
True
Suppose 3*n + 3*x - 21138 = 0, 2*n + 100*x = 96*x + 14084. Is 150 a factor of n?
True
Is 47 a factor of 10716 + (1 - -10) + -11?
True
Let h(f) = f**3 - 10*f**2 + 9*f. Let p be h(9). Suppose -25 = 5*i, -i - 80 = -3*v - p*i. Suppose o + v - 133 = 0. Is o a multiple of 17?
False
Let k = 230 - -4159. Does 33 divide k?
True
Let h(i) = -270*i - 18. Let l = -325 + 324. Is 42 a factor of h(l)?
True
Let p = -2248 + 3811. Does 9 divide p?
False
Let d = 27095 + -16049. Is d a multiple of 41?
False
Suppose 0 = p - 5*c - 28, 2*c = p + 3*c + 2. Suppose -9*r + 6 = -p. Does 19 divide (-3 - -3)/(r/(-1)) + 93?
False
Let n be (-1)/3*2 + (-46)/(-6). Let o = 179 - n. Let a = -57 + o. Is a a multiple of 23?
True
Let i = -16341 + 26855. Is i a multiple of 14?
True
Let r be ((-1)/(-2) - 0)/(16/64). Let n be (r + -1)/(11/(-231)). Is 6 a factor of 12/21 - 345/n?
False
Let p = 8776 - -1104. Does 130 divide p?
True
Suppose 0 = -197*f + 192*f + 13435. Suppose 3*t - 5*w = -6*w + f, -2*w = -3*t + 2690. Is t a multiple of 16?
True
Suppose 0 = 2*s - 2*p - 18268, 38*s - 41*s + 5*p + 27406 = 0. Is 6 a factor of s?
True
Is 821700/270*((-9)/(-3)*4)/5 a multiple of 83?
True
Suppose 3*x + 5 = -o, -5*o + 5 = -0*o. Is 7 a factor of x*5/60 + 2065/42?
True
Suppose -2383*d + 2390*d - 96614 = 0. Is 16 a factor of d?
False
Let k(o) = o**2 + 14*o + 6. Let c be k(-14). Suppose 0 = 49*i - 50*i + c. Is 22 a factor of ((-32)/10)/(i/(-165))?
True
Let h(o) be the third derivative of o**6/180 - o**5/8 - 7*o**4/24 - 8*o**3/3 + 16*o**2. Let q(i) be the first derivative of h(i). Is 18 a factor of q(11)?
False
Let r = 1696 + -986. Let j = r + -344. Does 17 divide j?
False
Suppose k + 2*k = -3*y + 234, -5*k + 5*y + 370 = 0. Let l be (-9*5/(-15))/((-9)/(-48)). Suppose 3*q + l = k. Is q a multiple of 9?
False
Let d be 4/16*2*30/(-3). Let s be (-12)/30 - (-1858)/d. Let k = s - -562. Is k a multiple of 10?
True
Is -15 - (-7)/(70/10440) a multiple of 7?
True
Let i = -295 - -299. Suppose -305 = -w + d, i*w - 1214 = -0*w + 2*d. Is 7 a factor of w?
False
Does 93 divide ((-30)/25)/((-21)/91140)?
True
Let p be (-3)/(-2) + 158/(-4). Let z(v) = -v**3 + 8*v**2 - 3*v + 4. Let n be z(4). Let x = p + n. Is 9 a factor of x?
True
Let n(p) = -15*p - 20. Let m be n(-2). Suppose 2*j + m = 376. Does 17 divide j?
False
Suppose 2*k + 3*p + 1472 = 7*k, 2*k = 4*p + 586. Let v = 407 - k. Is v a multiple of 18?
False
Let j(x) = -188*x - 253. Let a be j(-5). Let f = a - 211. Does 14 divide f?
True
Let w(x) = -x**2 + 16*x - 15. Let p be w(1). Suppose p = 9*g - 26*g + 1666. Is 14 a factor of g?
True
Suppose 2*a - 11 = q - 2*a, -2*a + 18 = 2*q. Suppose -q*p - d = -764,