= -4*d - d + 1154, -u*d - 4*g + 689 = 0. Let q = 402 - d. Is q a multiple of 19?
True
Let v(b) = 2*b**2 + 3*b - 40. Let c be v(-5). Let a(w) = -5*w**3 - w**2 + 2*w - 5. Is a(c) a multiple of 30?
False
Let k be (-6)/(-4)*16/24*-19. Does 8 divide -16*k/(76/80)?
True
Let w(d) = 16*d**2 + 6*d + 4. Let k be w(8). Let u = 1566 - k. Is u a multiple of 5?
True
Let d(t) = t**3 + 12*t**2 - 14*t + 2. Let u be d(-13). Let v = -3 + u. Let g(q) = q**3 - 12*q**2 + q + 24. Is 36 a factor of g(v)?
True
Suppose 0 = 13*r - 15*r - 5*k - 9, 3*r = -4*k - 3. Suppose r*z - 7 - 380 = 0. Is 43 a factor of z?
True
Let z = 38 - 16. Let x(a) = -8*a + 5*a + 13*a + z*a. Is x(2) a multiple of 16?
True
Suppose -7200 = 301*t - 306*t. Does 144 divide t?
True
Let r(h) = h**3 + 11*h**2 + 5*h + 22. Let j be r(-11). Let d(f) = f**2 + 26*f - 43. Is 47 a factor of d(j)?
True
Let u be (-3440)/(-50)*(-70)/4. Let j be 2 - (u/30 + (-8)/(-60)). Let p = j - 15. Is p a multiple of 27?
True
Let f = -79 - -80. Is (f + -4)/((-9)/(-2376)*-4) a multiple of 6?
True
Let h(u) = 2*u + 123 - 14*u + 16*u + 31*u. Is h(10) a multiple of 43?
True
Let t be (-21)/63 + 32/6. Suppose t*d + 2*c - 46 = 0, 5*d - 45 - 9 = 2*c. Is 19 a factor of d/8*(9 + 27)?
False
Let k be (-44 + 50)/(1/464*1). Suppose -44*w = -15*w - k. Is 32 a factor of w?
True
Suppose 0 = 163*d + 175*d - 17705829 - 5158519. Does 12 divide d?
False
Suppose 0 = 53*d - 46*d - 21. Let n(a) = 37*a**2 - a + 5. Is 59 a factor of n(d)?
False
Let w = 57 + -58. Is 15 a factor of (-2523)/(-12) - ((-1)/4)/w?
True
Let w(z) be the first derivative of z**5/20 - 2*z**4/3 - z**3/3 - 7*z**2/2 + 13*z - 15. Let u(s) be the first derivative of w(s). Does 14 divide u(9)?
True
Let f be ((-10)/(-6))/((-4)/(-60)). Suppose 80 + 55 = 27*u. Let p = u + f. Does 8 divide p?
False
Let o(t) = t**2 + 5*t + 7. Let l be o(-4). Is 28 a factor of l/18 + 1511/6?
True
Suppose -38*l - 315 = -45*l. Suppose 2*u = 6*u + 192. Does 15 divide (l/(-4))/(9/u)?
True
Suppose 0 = -3*a - 497*o + 493*o + 136, -5*a - 4*o + 216 = 0. Suppose -2*k - 2*k + 1152 = 0. Suppose a*r - k = 34*r. Is r a multiple of 6?
True
Suppose 3787 = 9*p - 155. Suppose -3*q = -9*q + p. Let c = q + -52. Is c even?
False
Let x = 831 + -334. Suppose 5*j - x - 448 = 0. Is j a multiple of 2?
False
Let a(d) = 4*d**2 - 68*d - 371. Is 19 a factor of a(-69)?
False
Let g(h) = -h**3 - 47*h**2 - 9*h - 102. Does 21 divide g(-50)?
False
Let c = 21628 + -12026. Does 60 divide c?
False
Let y(v) = -3676*v + 1769. Is y(-7) a multiple of 92?
False
Let p = -4443 + 7570. Is 3 a factor of p?
False
Let x = -1542 - -3552. Is 183 a factor of x?
False
Let q be (-2)/12*-3*(6 - 6). Suppose q = -6*d + 915 + 261. Does 13 divide d?
False
Let f(o) = o + 14. Let y = 49 + -55. Is f(y) a multiple of 8?
True
Let q(w) = 2*w**2 - 18*w - 8. Let s be q(11). Does 9 divide (-14165)/(-45) + (-64)/s + 2?
True
Suppose 5*y + 404 = 9*y. Suppose -103*w + y*w + 1106 = 0. Is w a multiple of 77?
False
Suppose 1356 = 5*a - 4*u, -4*a - 4*u - 105 = -1197. Is 34 a factor of a?
True
Suppose -32910 = -5*c - 3*v, 2*c + 7*v - 10*v = 13164. Does 8 divide c?
False
Let s = -14 + 16. Suppose -j + s*h + 8 = 0, -4*h - 10 = j - 6*j. Does 17 divide 296 - (-5 + (-18)/j)?
False
Suppose -4*j + 44 = 4*r, 0 = -4*r + 8*r + 20. Is -1 + (-54)/(-48) - (-1630)/j a multiple of 2?
True
Suppose 47 + 1 = 3*y + 3*i, -i = 3*y - 40. Suppose 0 = 4*w - 16, 2*g + 3*w - y = -0*g. Suppose -3*x + 0*x + 4*c + 54 = g, -4*c = x - 18. Does 9 divide x?
True
Let b(r) = r**2 + 13*r + 45. Let t be b(-8). Suppose 3*q - 1585 = t*w, 4*q - 6*q - w + 1035 = 0. Does 40 divide q?
True
Let y(o) = -o + 16. Let p be y(16). Let d(g) be the third derivative of g**5/60 + 40*g**3/3 - 3*g**2. Is 20 a factor of d(p)?
True
Let f(w) = -92*w - 3110. Is f(-34) a multiple of 3?
True
Let g(d) = 7*d - 40. Let w be g(-12). Is 16 a factor of 1041/5 - (-6 - w/20)?
True
Let k(x) = 365*x - 25. Does 168 divide k(53)?
True
Let o be -1 + (6 - 2 - 1). Suppose -3*w + 2 = -u - u, -o = -5*w + 2*u. Suppose w = 3*t + 4*r + r - 142, r = -2*t + 83. Does 14 divide t?
False
Let j = -18 + 26. Suppose y = 3*c + j - 5, -2*y + 6 = c. Suppose -y*u + 6*u + 48 = k, 0 = -4*k - 3*u + 207. Is 17 a factor of k?
True
Let u(d) be the third derivative of d**5/30 - 5*d**4/24 - 16*d**3/3 - 3*d**2 - 20*d. Is 6 a factor of u(9)?
False
Let i = 82 - -170. Suppose -2*q + 4*q - 8 = 0. Suppose -q*a - i = -7*a. Does 14 divide a?
True
Let s = -43586 - -68442. Does 16 divide s?
False
Let u = 288 + -282. Suppose -8742 = -37*d + u*d. Does 22 divide d?
False
Suppose 3*z - 425*m = -423*m + 48043, -3*m - 16033 = -z. Is 127 a factor of z?
False
Let i = 5 - -4. Suppose -i*x + 3 = -1005. Does 14 divide x?
True
Let r(p) = 160*p + 311. Does 79 divide r(25)?
False
Suppose 36*o - 58*o - 298936 = -33*o. Is o a multiple of 158?
True
Suppose 109*d + 84*d - 4060278 = 2*d. Is 18 a factor of d?
True
Suppose 268 = -2*k + 6*k. Suppose 5*a = -4*z + 371 - 45, k = a - z. Suppose 260 + a = 2*d. Is d a multiple of 14?
False
Suppose 0 = -3*s - 4*w - 188 + 6224, 5*s = -4*w + 10068. Does 21 divide s?
True
Let u(y) = -2*y - 19 + 3*y + 18. Let z be u(6). Suppose -3 = -z*s + 22, 4*s - 196 = -2*b. Is 44 a factor of b?
True
Let s(v) = v**2 + 10*v + 28. Let d be s(-7). Suppose 2*l - b = -1, l + b + 1 = -d. Does 17 divide l/12 + 3/24*442?
False
Let c(i) = -4*i**3 - 2*i**2 + 1. Let x be c(-1). Suppose -3*o - 4*f + 2*f = -685, -x*o = -f - 670. Is -2 - 1 - 4/((-12)/o) a multiple of 18?
True
Suppose 0 = -0*w + 2*w - 184. Suppose -68 - w = -4*y. Suppose 2*c - 2*a + 14 = y, -5*c = -4*a - 65. Is c a multiple of 7?
False
Suppose 106*d = 537270 - 164468. Is 58 a factor of d?
False
Suppose 158055 + 21033 = 28*u. Does 39 divide u?
True
Suppose 18 - 15 = w. Suppose -4*i - 12 = 3*z, w*i + 0*i = -5*z - 20. Is 13 a factor of -78*(i - 1/3)?
True
Suppose 4*a + 1 = 3*t + 4, -4*a + 21 = 3*t. Suppose -2*x + a*i + 185 = 0, 2*x = -2*x - 3*i + 343. Let q = -16 + x. Is 12 a factor of q?
True
Let s = -1917 + 6921. Is s a multiple of 139?
True
Let d(q) = 89*q**2 - 56*q - 460. Does 82 divide d(-14)?
False
Let v(u) = u**3 + 31*u**2 + 66*u + 72. Suppose -6*f + 70 - 238 = 0. Is v(f) a multiple of 48?
True
Suppose -6 = -n + 3*c, -4*c + 3*c = -4*n + 13. Suppose 4*l + 138 = -o - o, n*o - l + 186 = 0. Let y = o + 126. Is y a multiple of 12?
False
Is 104 a factor of 8325 - 632 - (0/1 + -3)?
True
Let a be ((-90)/(-160))/((-6)/8)*-100. Suppose -12*l = -10*l + 92. Let s = l + a. Does 29 divide s?
True
Suppose 36*c - 249 = 12843 + 11532. Is c a multiple of 5?
False
Let t be (1/2)/(2/4). Let c(i) = 45*i**3 + 1 + 3557*i**2 - 3558*i**2 + 65*i**3. Is 10 a factor of c(t)?
True
Does 135 divide (4 + 0 + -5854)*1110/(-148)?
True
Let o(y) = y**3 + 14*y**2 - 15*y - 22. Suppose 4*r + 2*p + 44 = 0, -2*r + 0 = -2*p + 34. Is o(r) a multiple of 12?
False
Suppose 0 = -3*c + y + 17808 + 48257, c = 5*y + 22017. Does 77 divide c?
True
Suppose 258*t = 250*t - 864. Does 13 divide 5/(-2) + (-76086)/t?
True
Let r = -311 + 1363. Suppose -c + 2*q = -212, -3*c - r = -8*c + 2*q. Is c a multiple of 15?
True
Suppose -2*x + 9 = -a + x, 2*a = 4*x - 8. Suppose -a*z + 670 = -2066. Is z a multiple of 16?
False
Let f = -17 + 12. Let y(q) be the first derivative of -11*q**2/2 - 11*q - 8. Is 22 a factor of y(f)?
True
Suppose p - 6 = 0, k + 803*p = 799*p - 106. Let t be ((-4)/6)/(1/366). Let d = k - t. Does 8 divide d?
False
Let h(d) = 687*d + 53 - 348*d - 295*d. Is h(3) a multiple of 14?
False
Suppose 2*l - 77936 = -2*c - 10038, 0 = -3*c + 2*l + 101807. Is 35 a factor of c?
False
Suppose 17*l - 194 = 16*l. Suppose 0 = 2*c - 4, 3*a + 3*c + 44 = l. Is a a multiple of 4?
True
Let z(s) = s**3 - 15*s**2 + 59*s - 22. Suppose -v + 87 = 73. Is z(v) a multiple of 19?
True
Does 28 divide (1 + 4/(-20))/(127/1544955)?
False
Let y(h) = -h**2 + 19*h - 29. Let g be y(17). Suppose 7*l - 6 = g*l. Is 45 a factor of 2/l*(-810)/(-12)?
True
Suppose 24*p - 25*p + 4*a = -19, p + 4*a = 51. Suppose -p*t = -40*t + 960. Does 12 divide t?
True
Suppose -44 = -4*n - 2*r, -3*r - 29 = -n - 4. Let g(j) = -2*j**3 + 15 - 2*j**2 - 31*j + 3*j**3 - 8*j**2. Is g(n) a multiple of 21?
False
Let a(w) = 17351*w + 6146. Is 138 a factor of a(2)?
True
Let i(k) be the first derivative of k**3 - 5*k**2 + 8*k + 42. Is i(-8) a multip