/(-6) + -5)*(-6 + 1365/14)?
False
Is 6 a factor of ((-6)/(-4))/((-186)/(-352284))?
False
Suppose -2*k + 5*h + 11706 = 0, 4*k + 0*h - 5*h - 23402 = 0. Suppose -2*m + k = 15*m. Does 6 divide m?
False
Is (10 + -222)*(-2 + 15/10) a multiple of 7?
False
Suppose 4042 + 7940 = 6*y. Is y a multiple of 21?
False
Suppose 2*s - 126 = -7*s. Suppose -s*t - 15 = -15*t. Is 22 a factor of ((-7818)/(-30) - (-6)/t) + -1?
False
Let s be 1*(69/(-12))/(4/(-16)). Let o = s + -20. Suppose 19 = 2*n + 3*g - 128, -4*g = -o*n + 263. Is n a multiple of 12?
False
Suppose 54 = -10*l + 9*l. Let f = l - 97. Is f/(-3) + 16/24 a multiple of 17?
True
Suppose -79*n + 18*n = -35*n - 17238. Is n a multiple of 37?
False
Let a be (((-56)/21)/4)/(2/(-15)). Suppose -c + a*n + 62 = 0, 2*c = 5*n + 68 + 66. Is 8 a factor of c?
True
Suppose 55*b = 53*b - 56. Let a be 3 - b/(-10) - 728/(-10). Suppose -25 - a = -l. Does 22 divide l?
False
Suppose -401*c - 71104 = -4*w - 403*c, w - 17783 = 3*c. Is w a multiple of 40?
False
Is (-165425)/(-175) + 1*8/(-28) a multiple of 15?
True
Let k(l) = -l**3 - 17*l**2 + 4. Let m be (7 - 8)*(18 - 1). Let b be k(m). Suppose 13*t - 639 = b*t. Is 10 a factor of t?
False
Let h = 447 + -450. Does 24 divide 92*(h + 102/24)?
False
Let q be (-2)/((110/(-209))/(-5)). Let r(y) = -3*y**3 - 3*y**2 - 4*y + 2. Let c be r(3). Let f = q - c. Is f a multiple of 11?
True
Suppose 0 = 28*w - 19994 - 83593 + 6287. Is w a multiple of 5?
True
Suppose 28*n - 18 = 34*n. Suppose 1099 = -3*x - 5*s, -1374 = 4*x + 4*s + 94. Does 30 divide x*(n - -2)/2?
False
Let o(f) = 318*f**2 - 74*f + 6. Does 154 divide o(-4)?
True
Suppose 4*x - 3168 = -4*d, -1573 = -5*d + 3*x + 2451. Is 5 a factor of d?
True
Let n(c) = -1030*c + 203. Is 7 a factor of n(-5)?
False
Let z be ((-64)/(-80))/((-2)/(-25)). Suppose 0 = -5*f + z - 95. Let p = f + 53. Is p a multiple of 6?
True
Suppose 5*d + 15 = 25. Suppose 0 = -2*y - 4, -6*q - 36 = -7*q + d*y. Does 3 divide q?
False
Let a be 4 - (-1463)/63 - 4/18. Suppose -a*k + 15*k = -5616. Does 39 divide k?
True
Suppose 21*x + 42 - 14586 + 726 = 0. Does 4 divide x?
False
Let z(p) = 46*p - 38. Let c be z(3). Does 13 divide ((-325)/c)/((-1)/28)?
True
Suppose 18 = -99*u + 108*u. Suppose 5*z = -3 - 7, -4*a = u*z - 812. Is a a multiple of 17?
True
Is 19 a factor of ((-2)/(-3))/((-25)/(-88350))?
True
Let y = -434 - -806. Suppose -460*z + 457*z + y = 0. Is z a multiple of 11?
False
Suppose 3*a - 4*h + 1 = 0, -12 = -4*a - 0*a + 2*h. Suppose -3 = 3*q, -3*r + 28 = -a*q - 19. Let y = -8 + r. Is 2 a factor of y?
True
Let o = 147 + -158. Let r(l) = -54*l + 21. Does 70 divide r(o)?
False
Let o(w) be the third derivative of w**6/360 - w**5/60 - 11*w**4/24 - 2*w**3/3 - 5*w**2. Let l(i) be the first derivative of o(i). Is 15 a factor of l(-7)?
False
Suppose -4*t = 3*f - 30686, -64*f + 65*f - 99677 = -13*t. Is 11 a factor of t?
True
Suppose 24*x = 16*x + 2152. Let u = x + 544. Is 57 a factor of u?
False
Let h = -5363 + 15092. Does 22 divide h?
False
Let q be -10*(22/(-4))/11. Let c(b) = 2*b + b**3 - 2 - q*b + 23*b - 2*b**3 + 13*b**2. Does 29 divide c(14)?
False
Let x = 241 - 230. Is 22 a factor of (962/8)/(x/88)?
False
Suppose 3*l = 4*v + 3524, -4*l + 9*v - 6*v + 4701 = 0. Suppose 0*n = -7*n + l. Is n a multiple of 13?
False
Let m(v) = 191*v + 4474. Is m(19) a multiple of 111?
True
Let o(p) = -2*p**3 + 10*p + 8. Let n be o(-5). Suppose -195*a + n*a = 6279. Is 7 a factor of a?
True
Let q be ((-46)/(-10) - 5)*(-10 - 0). Is 275 - 0 - -4*q/16 a multiple of 12?
True
Suppose -4*c + 3*o = -67, -5*c = -3*o - 0*o - 83. Suppose -4*b = -28, -15*x = -10*x - 5*b - 35. Let d = c + x. Is d a multiple of 5?
True
Let z(w) be the third derivative of -3*w**4/8 - 23*w**3 + 2*w**2 - 22. Is z(-22) a multiple of 3?
True
Suppose 7*c - 19 - 23 = 0. Let x be (-1 - (-2 + 5)) + 5. Is -4 + c - (-2 - x) a multiple of 3?
False
Let h = 152 - 99. Suppose 4*w = -81346 + 81542. Suppose -h*c + w*c = -256. Is 6 a factor of c?
False
Let v(f) = f**2 + 6*f + 32. Let d be v(13). Let l(x) = -x - 1. Let m be l(-6). Suppose 0 = -3*n + 7*n + m*k - d, 4*n + 4*k - 280 = 0. Is n a multiple of 23?
False
Is 5 a factor of 4/58 - (-1567969)/2987?
True
Let c = -837 + 1850. Suppose 0 = 6*j - 469 - c. Is 9 a factor of j?
False
Let p(g) = 3*g**3 - 24*g**2 + 18*g + 27. Is p(11) a multiple of 219?
True
Let v(n) = -10*n - 654. Let i(x) = 2*x + 131. Let u(w) = 11*i(w) + 2*v(w). Is 8 a factor of u(-9)?
False
Let w(d) = -55*d**3 + d + 6. Let q(p) = p**3 + 5*p**2 + p + 3. Let s be q(-5). Is w(s) a multiple of 35?
False
Let x(i) = -7*i - 68. Let u be x(0). Let n = u + 23. Let t = n + 108. Does 21 divide t?
True
Is (-23859)/(-4)*76/19 a multiple of 99?
True
Let b be 6/(-24)*4 + 1653/3. Let j = 1044 - b. Is j a multiple of 30?
False
Let z be -1 - (39/12 - (-2)/(-8)). Let d be (184/(-12))/(z/12). Is d*2 + (6 + -2 - 6) a multiple of 21?
False
Suppose -28*w - 6*w - 48*w = -46576. Is 71 a factor of w?
True
Let m(q) = 223*q**2 + 48*q - 448. Does 128 divide m(8)?
True
Let l = -307 - -201. Let o = l - -105. Let q(s) = -178*s - 2. Is q(o) a multiple of 44?
True
Let p(c) = -812*c - 754. Is 8 a factor of p(-21)?
False
Let m(v) = v**3 + 10*v**2 - v + 6. Suppose 0 = 12*l + 100 - 16. Is m(l) a multiple of 4?
True
Let n be 56/(6 + 2) - 3. Suppose 0*p + 4*f - 620 = -n*p, 0 = 3*p + f - 461. Is p a multiple of 17?
True
Let q(u) = -2333*u - 71. Let y be q(-1). Suppose 465 = k - 5*f, 4*k = -k + 4*f + y. Is k a multiple of 15?
True
Suppose 0 = -2*o + 4*d + 36, 26 = 2*o - d - 7. Let j(g) = 5*g - 19. Is j(o) a multiple of 61?
True
Let u(b) = 2*b + 4. Let x be u(-3). Let y(j) be the third derivative of -17*j**4/24 + 4*j**3/3 - 504*j**2. Does 9 divide y(x)?
False
Suppose -6*w + 0 + 12 = 0. Let x be (-3)/w*(-9 + 11). Is 10 a factor of 478/8 - (52/(-16) - x)?
True
Let d = 1 - -11. Let f be (-3)/(-6) + d/8. Suppose f*w = 5*v + 2, 4*w = w + 2*v + 25. Is 2 a factor of w?
False
Let m(f) = 121*f**2 + 176*f - 1 - 71*f - 66*f - 123. Is m(3) a multiple of 35?
False
Let g be 14770/15 + (-26)/(-6) + -3. Suppose 5*t - 2952 = -3*p + 6*t, p - g = t. Does 14 divide p?
False
Let n be 16/24*(5 + -2). Is 12 a factor of (3/n*-61)/((-23)/46)?
False
Suppose 2*d - 50 = 40. Let l be (-30)/4*(-30)/d. Suppose -4*j + 5*y + 262 = 0, j - 2*y + l*y - 57 = 0. Is 9 a factor of j?
True
Let d = 112 + 12. Let t = d - 121. Suppose t*v + 58 = 196. Does 21 divide v?
False
Suppose 33 = 15*l - 57. Let t(o) = 22*o - 4. Does 32 divide t(l)?
True
Let w = -555 - -5045. Is 6 a factor of w?
False
Let y(s) = 3131*s**2 + 612*s + 1228. Does 24 divide y(-2)?
True
Let v = 425 - -925. Is v a multiple of 150?
True
Suppose -2*t + 22 = 4*d, -2*d - t - 31 = -6*d. Let o(i) = 21*i + 11. Let r be o(d). Suppose 11*v - 106 - r = 0. Is 12 a factor of v?
True
Does 10 divide 23/(46/(-12)) + 28701 + (-6 - -1)?
True
Is (-14)/(-2) + (11960/2 - 9) a multiple of 122?
True
Is 11 a factor of (-1 - -3)*(-2)/(-4) + (41 - -1416)?
False
Suppose 2*a - 7 = -3. Suppose 0 = -a*h - 2*h + 56. Suppose -t - h = -27. Is 2 a factor of t?
False
Let a = 19548 - 12783. Is 3 a factor of a?
True
Let d be (-1865)/(-20)*(-4 - -8). Let t be -3 + 8 - -3*1. Suppose -t*s = -491 - d. Is 27 a factor of s?
True
Suppose 5*j - 1440 = -35*j. Suppose -37*q = -j*q - 91. Is 4 a factor of q?
False
Suppose 10 = 4*v - q - 1, -2*q = -3*v + 7. Let r be (-2020)/(-8) - (-1)/(-2). Suppose v*k + r = 6*k. Does 14 divide k?
True
Suppose z = -3*h - 51023 + 155600, -4*z = -h + 34872. Is 5 a factor of h?
True
Suppose 5*r = -11 - 9, -563 = -3*s + 5*r. Suppose s = g - 175. Is g a multiple of 12?
False
Suppose t = -4*b + 91 + 103, -3*b + 3*t + 138 = 0. Suppose -10*h + b = -2*h. Is (24/(-10))/(h/(-45)) a multiple of 3?
True
Let o(m) = -91*m**3 + 8*m**2 + 26*m - 11. Is 13 a factor of o(-5)?
False
Suppose 329 = -2*u + c + 76, -5*c - 15 = 0. Let o be (232/1)/((u/(-72))/8). Suppose 4*f - o = -2*f. Is 29 a factor of f?
True
Let v(k) = 49924*k - 170. Does 13 divide v(1)?
False
Suppose 4 = -5*j - 1. Let k(i) = -3*i**2 + i. Let n be k(j). Does 8 divide (4 - 7 - n) + 100?
False
Suppose 37756 = 30*d + 17*d - 221919. Is d a multiple of 54?
False
Is (-1098 + (0 - (1 - 1)))*(-18)/4 a multiple of 81?
True
Is 2604310/813 - (-6)/(-27)*-3 a multiple of 178?
True
Suppose -5*u + 12685 = 5*g, 22*g = 2*u + 18*g -