 = 30*g - 11277. Is g/((-3 + 1)*(-14)/28) a multiple of 9?
False
Let h be 1418/32*-38 - (-27)/(-216). Let q = 2377 + h. Is q a multiple of 20?
False
Let o = -110 + 492. Suppose 8*g - 13*g = 2*z - 940, 2*g + 2*z = o. Is 62 a factor of g?
True
Is (237/(-2))/((-15)/6690) a multiple of 289?
False
Let k = -54 + 32. Let r be ((-4)/6)/((-228)/20178). Let l = r + k. Does 5 divide l?
False
Let o = -545 - -549. Let m(i) = 4*i**3 - 9*i**2 + 4*i + 4. Is 66 a factor of m(o)?
True
Suppose -21 + 1 = -2*b + 3*k, b = -k. Suppose -19502 = -147*l + 133*l. Does 41 divide l/21 - b/(-6)?
False
Suppose 0 = -b - 14 - 0. Let s(d) = -32*d. Is 14 a factor of s(b)?
True
Let r = 30278 - 17156. Is r a multiple of 37?
False
Suppose -i - 96 = -3*i. Suppose 2*d + 4*q + i + 30 = 0, 0 = -4*d - 4*q - 152. Does 16 divide (d/(-2) - -1)*32/6?
False
Let w(i) = 11*i**2 - i - 2. Let p be w(-1). Suppose -2*m - 4*z = 282, p*z = 3*m + 12*z + 423. Let s = 27 - m. Does 24 divide s?
True
Let j(c) = c**3 + 14*c**2 - 21*c - 132. Let f(a) = a**3 - 23*a**2 - 28*a + 85. Let b be f(24). Is j(b) a multiple of 33?
True
Let u(c) = c**3 - 16*c**2 + 16*c - 19. Suppose -90 = 34*k - 40*k. Let j be u(k). Does 28 divide (44/55)/(j/(-1390))?
False
Does 10 divide ((-633)/(-844)*(-1616)/(-9))/((-1)/(-255))?
True
Let u(j) = 9*j**2 - 10*j + 17. Let z = 120 - 110. Does 43 divide u(z)?
True
Suppose 16263 = 4*n + 10*y - 9*y, 8163 = 2*n + 5*y. Is 16 a factor of n?
True
Let g be (-4 + 0)*(5 - 4)/(-1). Suppose 0 = -g*q + 3*q + 2. Suppose -4*t = -2*s + 312, 173 = s + q*t + 21. Is s a multiple of 23?
False
Let i(p) = p**2 - 9*p - 624. Is 21 a factor of i(54)?
True
Let v(l) = -496*l - 293. Is 35 a factor of v(-8)?
True
Let f(d) = -91*d**3 - 4*d**2 + 21*d + 25. Does 13 divide f(-1)?
True
Let j = 845 + 23. Is 14 a factor of j?
True
Suppose 0 = 3*r + 12*h - 17*h - 11456, -3*r + 11458 = -4*h. Is 26 a factor of r?
True
Let h = -99 + 102. Suppose -5*w = 5*y - 3215, -1283 = -5*y + h*y - w. Is y a multiple of 9?
False
Let n = -546 + 1024. Suppose n - 162 = 4*d. Suppose 3*h = 5*y + h - 398, -y + h = -d. Is y a multiple of 16?
True
Let u(z) = 277*z**2 - 11*z + 10. Let i be u(1). Suppose 7*y - i = 319. Does 6 divide y?
False
Suppose 7*y - 3*y - 60 = 0. Suppose 15*m - y = 10*m. Is 12 a factor of -3 + 80/(15/m)?
False
Let s(f) = 106*f - 1150. Does 10 divide s(38)?
False
Let l be 2253/5 - (-12)/(-20). Suppose -8*j = -11*j + l. Is 25 a factor of (j/4)/((-1)/(-2))?
True
Let t(u) = -19*u**3 - 3*u**2 + 16*u + 54. Does 7 divide t(-5)?
False
Let v(l) = -l**2 + 34*l - 133. Let r be v(5). Suppose -r*n = -8*n + g - 7205, -4*g = -n + 1814. Is n a multiple of 34?
True
Let v be -1 + 3 - (16 - 17). Suppose -34 - 8 = -l + q, -v*q = 4*l - 161. Is l even?
False
Let m(l) = l**3 + 34*l**2 + 66*l + 63. Let h be m(-32). Is 16 a factor of -12 + h + 12 + (-1 - -576)?
False
Suppose -5*q + 27 = 7. Suppose -q*f = -2*v - 1120, f - 23 - 257 = 4*v. Is 14 a factor of f?
True
Suppose 19*k = 15*k + 8. Suppose 4 = k*g, 4*u + 3*g + 180 = 706. Let y = u + 5. Is 39 a factor of y?
False
Let d = 870 + -526. Let k = 374 - d. Is 5 a factor of k?
True
Let s = 130 + -116. Let y be (-2536)/(-56) + (-4)/s. Suppose 2*a + y = 163. Is a a multiple of 25?
False
Let h(z) = 2694*z**2 - 31*z + 1. Let p be h(1). Suppose 21*j - p = 12*j. Is 16 a factor of j?
False
Let v = -359 + 613. Suppose 3*a - p = 3*p + v, -5*a + 375 = 3*p. Does 13 divide a?
True
Is 64 a factor of -200748*(-5)/30 - -8?
False
Let t(m) = 351*m**2 - 94*m + 473. Is 59 a factor of t(5)?
False
Let p(c) = 162*c**3 - c**2 + 6*c - 13. Let x be p(2). Suppose 4171 = 3*t + x. Does 33 divide t?
False
Let t = 32 + -32. Suppose t = -4*x - 3 + 19. Suppose -2*z = -6*z + j + 299, -x*j + 4 = 0. Is z a multiple of 8?
False
Suppose 0 = 13*p - 209 - 701. Suppose 3*y + 4*u = p, 0 = 2*y - 6*y + 4*u + 112. Suppose 1710 = 32*w - y*w. Is w a multiple of 43?
False
Does 77 divide (-20 + 223)*(-4384)/(-56)?
False
Let p = -3658 - -4586. Is 116 a factor of p?
True
Let b = 7379 + -3568. Is 8 a factor of b?
False
Let a = 353 + -351. Suppose -15*z + 18*z + 4*f - 108 = 0, a*z - f = 61. Does 8 divide z?
True
Let k = -30 + 33. Let i be k*63 - ((-9)/(-3) + 0). Suppose -5*l = -3*z + z + i, -2*z + 186 = -l. Does 31 divide z?
True
Let k(p) = 3*p + 3. Let v be k(-2). Let u(s) = s**3 + s**2 - 2*s + 5. Let h be u(v). Let l(w) = -14*w - 11. Is 29 a factor of l(h)?
True
Suppose 0*f - 6944 = 8*f. Is (-15)/(-3) + f/(-4) a multiple of 24?
False
Let w(v) = 2*v - 2. Let i be w(-3). Let h(a) = a**3 + 13*a**2 + 8*a - 16. Is h(i) a multiple of 16?
True
Let r = 11782 + -7485. Is r a multiple of 24?
False
Suppose 6*x + 15 = 9*x. Suppose t - x*v = -0*t + 81, 3*v = 2*t - 148. Suppose -3*p + 269 = o, -t = -p - 9*o + 4*o. Is 13 a factor of p?
True
Let i = -60 - -42. Let z be (3/2)/((-4)/(-8)). Does 12 divide i/z*(-24)/6?
True
Let n(j) = 4590*j**3 - 21*j**2 + 17*j + 4. Is 10 a factor of n(1)?
True
Let b(q) = 2*q**3 - 6*q**2 - 3. Let z be b(3). Is (z + 54/15)*(8 + 22) a multiple of 18?
True
Suppose 0 = -t + 1581 - 586. Suppose -1917 = -7*b + t. Does 32 divide b?
True
Let r(q) be the first derivative of -q**4/4 + 10*q**3/3 + 13*q**2/2 - 22*q - 59. Does 24 divide r(-5)?
True
Is 8 a factor of ((-80)/(-6))/(2 + 7/((-735)/208))?
False
Suppose 3*i = -2*s + 7874, -1126 + 3751 = i + s. Does 14 divide i?
False
Let d(w) = w**3 + 10*w**2 - 13*w - 1. Suppose -15*s + 14*s - 10 = 0. Let c = s + -1. Is d(c) a multiple of 4?
False
Let a(f) = 11*f - 2. Let p be (-4 - (-7 + 2))*1. Let j be a(p). Let l(q) = 11*q + 19. Is 11 a factor of l(j)?
False
Let t(i) = 5*i - 5*i - 15*i**2 + 2 + i - i**3 - 5*i. Let w be t(-15). Let p = w - -72. Does 35 divide p?
False
Let u(f) = 53*f + 186. Is 7 a factor of u(30)?
False
Let d = -333 - -2415. Is d a multiple of 29?
False
Suppose 35*b = 40*b - 2*q - 36935, 0 = 5*b - 5*q - 36920. Does 7 divide b?
False
Let g = 52 + -77. Let b(z) = -17*z - 484. Let h be b(-33). Let r = g + h. Is 13 a factor of r?
True
Let g be ((-2)/7 - 99/21)/(-1). Suppose -4*j + 896 = 2*f, j + g*f = 341 - 117. Is j a multiple of 16?
True
Suppose -4*a + 4095 = -3*v, -3*a + 0*v + 3069 = -3*v. Suppose -28*o = -22*o - a. Is 12 a factor of o?
False
Suppose 99 = f - 0*f + z, -389 = -4*f - 5*z. Is f a multiple of 37?
False
Suppose 0 = -2*r - 3*h - 320 + 1863, -4*r - 4*h + 3096 = 0. Let b = r + -367. Is 18 a factor of b?
False
Let c(n) = 41*n + 67. Let o(k) = 40*k + 69. Let m(v) = -3*c(v) + 2*o(v). Does 13 divide m(-6)?
True
Suppose 0*d + 2*d = -14. Let i(u) = 5*u**2 + u + 15. Let z be i(d). Suppose 4*b - p = z, -268 = -4*b - 4*p - 0*p. Is b a multiple of 8?
True
Let x = 9939 - 5220. Is x a multiple of 5?
False
Suppose -8*p + 254 = -2626. Suppose -8*x + 10*x = p. Is 15 a factor of (4/6)/(4/x)?
True
Let m(r) = -r**2 - 5*r + 3. Let t be m(-5). Suppose t*c - 497 - 33 = -4*g, 5*g + c = 668. Let f = g - 47. Does 29 divide f?
True
Let s(x) be the second derivative of 17*x**4/2 + 7*x**3 + 111*x**2/2 - 251*x. Does 11 divide s(-3)?
False
Let l = 738 + -1998. Let v = l + 2052. Is 44 a factor of v?
True
Suppose -2*l + 4318 + 10511 = -5429. Does 8 divide l?
False
Suppose 29760 = 52*v - 51*v - 2*s, 0 = -3*v + 5*s + 89282. Does 113 divide v?
False
Suppose 4*h - 3*q - 2418 = -883, 0 = 5*q - 15. Let s = -261 + h. Does 19 divide s?
False
Let q = 262 + -295. Does 28 divide 306/9*q/(-6)?
False
Let y(k) = -k**3 + 4*k**2 - k - 4. Let p be y(3). Suppose -2*r - 4*u = -3*u + 28, -5*u = -p*r - 28. Does 29 divide ((-2626)/r - 4) + 6/14?
False
Suppose 5*x - o - 2647 = -4*o, -1063 = -2*x + 3*o. Suppose 8*a - 14 = 90. Suppose 11*k + x = a*k. Does 53 divide k?
True
Is (-8 + -6 - (-6672)/480) + 451582/20 a multiple of 114?
False
Suppose -267*y + 278*y = 30162. Is 27 a factor of y?
False
Let l(q) = q**3 + 22*q**2 + 22*q - 43. Let j be l(-21). Let i = j - -120. Does 10 divide i?
False
Let y(z) = z**3 + 3*z**2 + 7*z + 16. Let v be y(-5). Does 14 divide (v/(-6) - 12)/(2/(-268))?
False
Is 41 a factor of 82/(7 - (-6276)/(-900))?
True
Let g(u) = 9*u**2 - u - 8. Let m be g(-2). Suppose -2*t = -8*t + m. Suppose 0*h + 3*h - 4*l - 51 = 0, -t*l = -15. Is 3 a factor of h?
True
Is 7 a factor of (((-81351)/46)/(-27))/((-1)/(-14))?
True
Is 10236*((-75 + 3)/9 - 26/(-3)) a multiple of 4?
True
Suppose 15 + 109 = 4*z. Suppose 10*q + z - 651 = 