-19797040 = -30*j - 316*j + 3446548. Does 22 divide j?
False
Let j be (-84)/(-10)*10/3. Let s be j/(-7) - -1*8. Suppose -3*i = 3*d - 258, 5*d = s*d + 5*i + 74. Is 28 a factor of d?
True
Let q(k) = -k + 4. Let s be q(-11). Suppose -2*p + s = 3. Suppose 4*r + p*r - 100 = 0. Is r a multiple of 5?
True
Suppose 302*m + 256 = 301*m. Let u = 346 + m. Does 9 divide u?
True
Let a be 3/18*-2*(-2290 + 1). Suppose -14 = 7*m + a. Let w = 195 + m. Does 4 divide w?
True
Let d = 12344 + -2116. Suppose 0 = 12*i - d - 2972. Is 44 a factor of i?
True
Suppose -2*g = 4*j - 21196 - 28468, -2*g + 49745 = -5*j. Is 25 a factor of g?
True
Let z be (-1 - (3 + -3))*(9 - 13). Suppose l - 404 = -3*i, 0 = 7*i - z*i - 3*l - 408. Does 3 divide i?
True
Let j = 5 - 2. Suppose 1047 = j*h - 5*r + 141, 3*h - 924 = -r. Is 13 a factor of h?
False
Suppose -5*x = -283 - 52. Suppose -218*b = -232*b. Is (b - -1) + 1 + x a multiple of 23?
True
Let t = 4116 + -3284. Does 5 divide t?
False
Let n(u) = 6*u**3 - 12*u**2 + 52*u + 26. Is 20 a factor of n(7)?
True
Is 490/(-28)*17/(255/(-10674)) a multiple of 7?
True
Let z = 10703 - -2807. Is z a multiple of 7?
True
Suppose -y + 5*i + 233 = 0, -5*y = 3*i - 816 - 293. Let m = y - -927. Is m a multiple of 28?
False
Let q(j) = 668*j**2 - 10*j - 7. Let f be q(-2). Suppose -4*a + 5*w + f = -a, 3*a - 2658 = -4*w. Does 73 divide a?
False
Suppose 0 = -486*l - 169*l + 4381295. Is 6 a factor of l?
False
Suppose 0 = -2*i - 8, 4*i + 468 = 5*x + 32. Suppose 3*k - 8 = 10. Let a = x - k. Is a a multiple of 6?
True
Let j(x) = -x**3 - 26*x**2 - 40*x + 32. Let q be j(-24). Let d = 268 + q. Is 6 a factor of d?
True
Let c = 2586 - 1819. Let p = 1097 - c. Is p a multiple of 10?
True
Let d be (795/2 - -1)/((-9)/(-18)). Suppose s + 2*x = x + 807, -s - 3*x = -d. Is s a multiple of 14?
True
Suppose 3*n = -w - 312, -w + 2*n = 356 - 34. Let d = w + 449. Is 8 a factor of d?
False
Suppose 78817 = 57*b - 53537. Is 2 a factor of b?
True
Suppose 13*k = 5*k + 40. Suppose k*o = 5*j - 480, 0*j + 288 = 3*j + 3*o. Suppose -y + 4*y = j. Is y a multiple of 10?
False
Does 17 divide (701*-10)/(-2)*((-1638)/105 + 21)?
False
Suppose 306*i + 10242301 = 845*i + 2386915. Is 42 a factor of i?
True
Let x(r) = -r**3 - 9*r**2 - 29*r + 76. Is 15 a factor of x(-17)?
False
Is 17 a factor of (25/(-10) - -1 - (-8703)/(-12))*-12?
True
Let i(w) be the third derivative of 0*w + 0 - 3*w**2 - 59/6*w**3 + 1/4*w**4. Is 33 a factor of i(30)?
False
Let w(t) = t**3 + 13*t**2 - 3*t - 5. Let a(f) = f**3 + 7*f**2 + 2*f + 4. Let i be a(-7). Let m be w(i). Suppose -8*r + 155 = -m. Is r a multiple of 5?
True
Suppose 2412 + 672 = 4*a. Suppose -a*w - 2224 = -775*w. Is w a multiple of 14?
False
Suppose 31*z - 82843 + 5126 = 0. Does 109 divide z?
True
Let u = -74 - -71. Is u/1 - (-17 + -1048) a multiple of 59?
True
Suppose 0 = 6*h + 2*h - 32. Suppose -r = -5*q + 178, 78 = 2*q + 5*r - h. Is 9 a factor of q?
True
Let s(w) = -3*w + 7. Let t(v) = 2*v - 4. Let i(r) = 3*s(r) + 5*t(r). Let g(c) = 35*c + 31. Let a(h) = g(h) + 5*i(h). Is a(5) a multiple of 27?
False
Suppose 2*l = 6, -3*o + 4*l = 26 + 1. Does 9 divide 1/(o/(-2430)*3)?
True
Does 23 divide (-3)/(-81)*-63*7452/(-1*2)?
True
Let s be 31680/(-210)*3990/(-4). Is 61 a factor of s/308 - (-8)/(-14)?
True
Suppose c = -3*j + 2*j, -5*j + 18 = -4*c. Suppose 4*a = j*m + 728, -3*a + 2*m + 553 = -3*m. Let o = -76 + a. Does 17 divide o?
False
Let b(c) = -c - 114. Let r be b(12). Let j = r - -775. Does 77 divide j?
False
Suppose t - 24 = -20. Suppose 15*p + t*p - 1178 = 0. Is 47 a factor of p?
False
Suppose 8*s + 156 - 180 = 0. Is 7 a factor of (-3)/s*7 + 292?
False
Suppose 12*b - 32 = 10*b. Let g be (b/14)/(2/7). Suppose g*x = 158 + 2. Is x a multiple of 6?
False
Let z(l) = l**3 + 3*l**2 + 18*l - 11. Let i = 329 - 322. Is 11 a factor of z(i)?
True
Suppose -677642 - 541486 = -24*h. Is 16 a factor of h?
False
Suppose -4*q + 62703 + 15124 = f, 5*q - 97286 = -2*f. Is q a multiple of 16?
True
Does 20 divide 316*(-17)/476*-889?
False
Let a = 120 - 116. Suppose -8 = a*i - 12, -q - i + 4 = 0. Suppose u - 8 = -q*u, -3*k - u = -44. Is k even?
True
Let n = -394 + 2145. Does 103 divide n?
True
Suppose -35*n + 43*n - 48 = 0. Is 14 a factor of -1*2 + 2 + n + 652?
True
Let t be (-3)/(-7) - (-6 - (-31)/7). Suppose -5*c + 3*u + 735 = 0, -75 = -t*c + 5*u + 238. Is 24 a factor of c?
True
Does 171 divide (-798 - 0)*(-2)/7*30?
True
Let m(y) = 6*y**2 + 468*y + 432. Is 3 a factor of m(-83)?
True
Let y be 6/(-2) - (-9 + 8 + -2). Suppose y = -2*v + 3*v + 1. Is 6 a factor of -9 + 10 + ((-22)/2)/v?
True
Suppose -6*r = 19*r - 600. Does 57 divide ((-99)/(-5) - (-56)/(-70))*r?
True
Let c(z) = 2*z**3 + 45*z**2 + 98*z + 2673. Does 7 divide c(-22)?
True
Let w(z) = 219*z - 1207. Does 20 divide w(13)?
True
Suppose -5*i + 5 = -10. Suppose 5*m - 25 = 0, -i*p - 5*m + 200 = -29. Suppose -b + 5*n = -4, 0 = -5*b + 3*n - 2*n + p. Is 5 a factor of b?
False
Let i = 2024 + 6965. Suppose 25*y + 464 = i. Does 15 divide y?
False
Suppose 105*z - 422 = 93*z + 38242. Is 31 a factor of z?
False
Let g(k) = 820*k - 1740. Is g(13) a multiple of 77?
False
Let u = -33 - -35. Suppose -233 = -q + x, -u*q + 3*x - 7*x + 448 = 0. Does 18 divide q?
False
Let z(f) = 2085*f + 85. Does 6 divide z(2)?
False
Suppose 6*x + 852 = 2*x. Let z be (x + -1)/((-3)/3*1). Suppose -3*d + d = 4*h - z, -5*d + 553 = 4*h. Is 19 a factor of d?
False
Is 1404/(-42)*(-228 - -18) a multiple of 65?
True
Suppose 52098 = 17*o - 57497 + 6371. Does 25 divide o?
False
Let b = 23995 - 16697. Is 9 a factor of b?
False
Does 196 divide 228015/30*(-52)/(-39)?
False
Suppose -y = 28 - 31. Does 38 divide 4/(16/y)*(627 - -5)?
False
Is 11 a factor of 408463/55 - (-32)/(-20)?
True
Suppose 0 = -5*h + 2*l + 8104, -2*h + 1617 = l - 1621. Is h a multiple of 18?
True
Let m(b) = -b**2 - 23*b + 60. Let i be m(-33). Is 12 a factor of (154/55)/(-1 - 273/i)?
True
Let o(b) = -b**3 - 38*b**2 + 72*b + 6. Let l be o(-40). Suppose l = 4*h - 2138. Is 11 a factor of h?
True
Let k be (-272)/(-44) + 3/((-66)/4). Suppose -k*r + r = -920. Suppose 24 - r = -8*f. Does 4 divide f?
True
Suppose -3*z + 349 = 2*o, -z + 0*z = o - 117. Let a(b) = -292*b - 4084. Let d be a(-14). Suppose h - 90 = 5*m, -2*h - d*m + z = -m. Is h a multiple of 11?
False
Suppose -250 - 121 = 7*a. Let c = a - -58. Suppose -3*y - 445 = -c*o - 0*y, -4*y + 410 = 5*o. Is 17 a factor of o?
False
Let j(x) = -10*x**3 + 148*x**2 - 16*x - 8. Does 78 divide j(7)?
False
Is 4 a factor of -16*((-6285)/(-50))/((-44)/20 + 1)?
True
Suppose 4*v = 5*x + 6540 + 440, 6*x + 5226 = 3*v. Does 25 divide v?
True
Let o(d) = -26*d + 10413. Is 13 a factor of o(0)?
True
Let c = 8 - 4. Let a be ((-2)/(30/(-9)))/(c/(-20)). Is 44 a factor of a + (-18)/(-4)*(-236)/(-6)?
False
Let c = -31 + 42. Let l(h) = 4*h**2 - 21*h - 3. Is l(c) a multiple of 54?
False
Let m be 356 + (24/14)/((-30)/(-105)). Suppose -4*s = -4*i + 1452, 2*i = s + 364 + m. Does 17 divide i?
False
Let b be (0 - (-248)/(-10))/((-14)/595). Suppose -b*d + 1055*d - 145 = 0. Does 11 divide d?
False
Let k(s) = s**2 + 41*s - 64. Let h be k(-36). Let y = 342 + h. Is 49 a factor of y?
True
Let k(u) = 42*u + 15. Let b be k(-6). Let m = 334 + b. Suppose 382 = 3*d + m. Does 26 divide d?
False
Suppose -u - 4*a = -a - 14, 3*u = 5*a. Suppose -2*s = 2*g - 142, 2*s + 256 = u*g - 92. Is g a multiple of 10?
True
Let j(k) = 61*k**2 + 10*k - 27. Let l = 43 - 40. Is j(l) a multiple of 8?
True
Suppose 0 = 24*i - 18*i - 204. Suppose 0 = -i*m + 24*m + 1060. Does 7 divide m?
False
Suppose u + 125 = x, -6*u + 10*u + 484 = -4*x. Let i = u + 675. Does 32 divide i?
False
Let q = 9 - -30. Let j = -107 + q. Let p = j - -152. Does 23 divide p?
False
Let w(v) = 2*v + 250. Let o = -118 - -118. Let c be w(o). Does 25 divide (c/6)/(4/12)?
True
Suppose 14*d - 53716 = 26924. Does 16 divide d?
True
Suppose 5*o - o - 2*u + 620 = 0, -4*o - u = 632. Let g = o + 63. Let r = g - -308. Is 30 a factor of r?
False
Suppose -105*x + 38739 = -2273046. Is 12 a factor of x?
False
Suppose -c + 7*v - 3 = 4*v, 2*v = 4*c + 2. Let b be c - (-4 + 1 + (-3)/(-1)). Suppose 5*x - 3*n = 27, b*n + n - 7 = -x. Does 6 divide x?
True
Let o(i) = -11*i**3 + 38*i**2 + 25*i - 18. Is 15 a factor of o(-9)?
False
Let k(d) = -d**2 - 3*d + 4. Let c be k(1). Suppose -7*b + c