. Is 165 a factor of n?
False
Suppose -18*w + 15*w = 606. Let b = 300 + w. Suppose -293 = -5*t - b. Is t a multiple of 6?
False
Suppose 2*b = 9*b - 28. Suppose -b*o + 4*q - 19 = -287, 0 = o + 3*q - 63. Suppose 4*n - 102 = o. Does 21 divide n?
True
Let v be 39/2*(-9)/(243/(-558)). Suppose v*h - 13149 = 394*h. Is h a multiple of 61?
False
Let a = -183 - -181. Is 2 - (0 - a - (-5 - -164)) a multiple of 24?
False
Let y = -331 - -297. Let u = y - -610. Is 18 a factor of u?
True
Suppose -2566 - 1328 = -6*c. Let t = 438 - c. Let k = 10 - t. Is k a multiple of 17?
True
Let p be 9/6*((-3)/(-9) + -1). Let k be p/((6/4)/(-3)). Suppose -6*m = -k*r - 2*m + 12, -4*r + 51 = m. Does 6 divide r?
True
Suppose -4*n + n + 2*w = -7, -w + 1 = 0. Let v be -6 + ((-24)/(-9) - n)*-9. Is 7 a factor of (-1059)/(-18) + v*(-3)/54?
False
Suppose -3*u - g + 3 + 1 = 0, 0 = -5*u - g + 8. Let l be (2 - -1) + 3 - 8/u. Suppose 96 = l*t - 0*t. Is t a multiple of 12?
True
Suppose 0 = -3*c - 2*h + 3466, 7*c = 2*c - h + 5786. Is c a multiple of 12?
False
Suppose -4*p - 293 - 427 = 0. Suppose 2*m = z + 4, -2*m + 7*m + 5 = -5*z. Is z*167/(-10) - 108/p a multiple of 3?
False
Suppose 3338*f - 3452*f = -574104. Is f a multiple of 15?
False
Suppose -201*m + 27040 = -197*m + 2*h, 6758 = m + h. Is 46 a factor of m?
True
Suppose -152*o + 1141668 = -59*o. Is o a multiple of 99?
True
Does 11 divide ((-158970)/(-245))/((-10)/(-35))?
False
Let o be (-34)/(-9) - 8/(-36). Suppose o*q = 5*u - 254, -3*u + 5*u - 112 = -q. Suppose -5*i - 20 = 0, 4*w + i - 62 = u. Is 9 a factor of w?
False
Let f = 153 + -151. Suppose -4*n + 4*q = -38 - 26, -f*q + 8 = 0. Does 3 divide n?
False
Is ((-7)/(14/4))/((-23)/180389) a multiple of 8?
False
Let n = 485 + -483. Let i(u) = 44*u**2 + 13*u - 26. Is i(n) a multiple of 16?
True
Let a(s) = 205 - 220 + 30*s**2 + 0*s + 9*s. Let w be a(3). Suppose -w = -18*r + 12*r. Is r a multiple of 2?
False
Let g = 534 + -223. Let n = -198 + g. Does 20 divide n?
False
Suppose -2*w + 8 = -0*m + m, 5*m = -3*w + 5. Let z be 3/(-6)*(2 + m). Suppose z = -4*t + 13 + 67. Is 5 a factor of t?
True
Suppose -2*r - 80*r + 426880 = 34*r. Is r a multiple of 30?
False
Let f(d) = 2*d + 15. Let g be f(-7). Let i be (g - -2)*35/21. Suppose 0*z + 2*m - 195 = -i*z, -195 = -5*z + 3*m. Is 10 a factor of z?
False
Suppose 4*x - 2623 = 3*r + 2087, x + 2*r = 1172. Let f = x + -828. Is 13 a factor of f?
False
Suppose -850 = 2*m - 1821 - 2805. Does 16 divide m?
True
Suppose 1257*n - 22480 = 1249*n. Suppose -560*j = -550*j - n. Is j a multiple of 49?
False
Let t(r) be the second derivative of r**5/20 + r**4/2 + r**3/2 - r**2 - 5*r. Let c be t(-6). Is -1*c/(-2)*-5 a multiple of 12?
False
Let t be 4/(-6) + ((-76)/(-6) - 7). Suppose t*q + 563 = 3*s, 3*s + 5*q + 382 = 5*s. Is s a multiple of 10?
False
Let w(n) = -n**2 - 15*n - 16. Let c be w(-14). Is 17 a factor of 355 + 0 + c/(-2)*-2?
False
Let u = -76 + 110. Suppose -u + 10 = -6*h. Suppose 8*d = 4*d + h*y + 88, 4*d - 76 = y. Does 18 divide d?
True
Suppose k - 5*q - 3005 = 0, 21*q = -2*k + 19*q + 6046. Suppose 2*c - 713 - 501 = -5*g, -k = -5*c - 5*g. Does 8 divide c?
False
Let x(t) = 159*t - 1124. Is x(8) a multiple of 5?
False
Let r = 44 - 52. Let n be (-6)/r*1 - 33/(-4). Is 128/5 - (n/(-5))/(-3) a multiple of 4?
False
Let p(i) = 12*i**2 - 69*i + 19. Is 16 a factor of p(-13)?
True
Suppose -2*f + 205481 = 59*f - 37177. Is f a multiple of 11?
False
Suppose -2*q + 1045 = 3*n, 4*n - 2*q = 3*n + 359. Let z = -135 + n. Is 7 a factor of z?
False
Let k be (-57)/76*-1*4. Suppose -363 = -k*f - 78. Does 8 divide f?
False
Let s = 9 - 7. Let n(y) = y**3 + 23 - s*y + 16*y**2 + y**2 - 3*y**2. Does 14 divide n(-14)?
False
Suppose 2*n + 143*t - 138*t - 2500 = 0, 0 = 5*t + 30. Is n a multiple of 39?
False
Suppose -930*g + 1840*g + 720912 = 922*g. Does 10 divide g?
False
Let s be 549 - -1 - (-213)/(-71). Let d = s - 154. Is 6 a factor of d?
False
Let m = 8 + 4. Suppose 7*b = 3*b + m. Suppose c - h = b*h + 106, c - 108 = 5*h. Does 14 divide c?
True
Let l(x) = 290*x**2 + 8*x + 8. Let j be l(-4). Let w be j/30 + 14/105. Suppose 3*u + 4*i - 138 = w, 4*i + 308 = 3*u. Is u a multiple of 25?
True
Suppose 156*j - 152*j = 3*p + 58024, 5*j + p = 72568. Does 220 divide j?
False
Suppose 29*l - 11*l = 0. Suppose y - a - 981 = l, -14*a - 1956 = -2*y - 18*a. Is y a multiple of 49?
True
Let w(h) = 16*h**3 + h**2 + 12*h - 24. Is w(8) a multiple of 17?
False
Let t be (-3)/(-2)*-2 + 568. Suppose 0 = -10*l - t - 85. Let r = -29 - l. Is r a multiple of 9?
True
Let i(p) = -10*p**2 + 61*p - 112. Let y(d) = -3*d**2 + 20*d - 37. Let m(j) = -2*i(j) + 7*y(j). Let q be m(4). Let n = 35 - q. Is n a multiple of 14?
True
Suppose 29*k - 68 = 28*k. Suppose -5*t = -b - 183, 3*t + 2*b - k - 34 = 0. Does 5 divide t?
False
Let q = 141 + 19. Let z = -89 + 83. Does 8 divide (q/(-15))/1*z?
True
Let s(x) = 193*x**2 - 328*x - 3281. Is s(-10) a multiple of 12?
False
Let y(k) = k**3 + 16*k**2 + 19*k + 29. Let j = 53 + -55. Let w be 2*(-6 + (4 - 3) + j). Does 24 divide y(w)?
False
Let l = -281 - -139. Let m = 422 - l. Does 47 divide m?
True
Let b = 8 + -5. Suppose 151 + 841 = 62*j. Suppose z - j = -2*v, 2*v - 4 = b*v. Is z a multiple of 6?
True
Does 3 divide 10107/2*468/351?
True
Suppose 0 = -10*f - 4 + 64. Let k be (-396)/(-15) - (-2)/(-30)*f. Is (2*1)/(4/k + 0) even?
False
Suppose -2*h + 77 = -11. Suppose 24*b - 4*j - 191 = 27*b, -4*b - 2*j = 248. Let t = h - b. Does 38 divide t?
False
Let k(a) = 4*a**2 + 19*a - 17. Let y be k(1). Does 47 divide ((-1684)/y)/((-19)/57)?
False
Is (-37266)/(-8) - 6/24 - 0 a multiple of 34?
True
Let t(j) = -74*j - 2. Let w be t(1). Let n = w - -81. Suppose 55 = n*h - 35. Is h even?
True
Suppose 13*l + 380 = 20712. Is l a multiple of 26?
False
Let m = -110 + 111. Let s(g) = 70*g. Let f be s(m). Suppose 0*v - f = -v. Is v a multiple of 14?
True
Does 45 divide ((-722 - 34)/42)/(-1*1/270)?
True
Suppose 18 = 17*q - 8*q. Is (-20)/(-15)*171/q a multiple of 9?
False
Suppose 12*d - 214333 = 170665 - 56582. Does 44 divide d?
True
Suppose -2*n + 1787 + 2705 = 0. Suppose 2*p + 8*g = 6*g + n, -3 = -3*g. Does 34 divide p?
True
Suppose 72*i - 580500 = i - 4*i. Is i a multiple of 44?
False
Suppose 0 = -19*y - 7 - 221. Suppose -6*b + 2*b - 124 = 0. Let s = y - b. Is s a multiple of 11?
False
Let r(d) = 2146*d**2 - 418*d - 419. Does 65 divide r(-1)?
True
Let a(z) = 26*z + 11 - 2*z**2 - 11*z - 8*z**2 + z**3. Let p(o) = -5*o - 27. Let c be p(-7). Is a(c) a multiple of 3?
True
Let y(z) = -22*z - 5. Let t be y(-4). Let d be (-48)/4 + -20 - 7. Let k = d + t. Is k a multiple of 40?
False
Let d(r) = 1. Let t(f) = 65*f - 43. Let p(h) = -4*d(h) - t(h). Let a(k) = -k. Let g(z) = 39*a(z) - p(z). Is 51 a factor of g(6)?
False
Let l(h) = -65*h**3 - h**2 - 3*h - 2. Let s be l(-2). Suppose 7*a = -s + 1367. Is a a multiple of 14?
False
Let z(v) = 3*v**2 - 134*v - 46. Let k be z(45). Does 24 divide -3 - ((-5)/k + (-181 - -8))?
False
Let b be 10*15/(-20)*(-8)/3. Suppose -t + 123 = -4*u, b*t = 25*t + 4*u - 687. Does 15 divide t?
True
Suppose 103362 = 17*d + 16*d - 10*d. Is d a multiple of 14?
True
Let t be 525/(-42)*4/(-10). Suppose 5*c = a + t, -2*a + a = 2*c - 9. Suppose c*i + 4*l - 132 = 0, 3*i - 6*l + 2*l - 168 = 0. Is i a multiple of 10?
True
Let r(p) = 19*p**3 - 12*p**2 + 87*p - 439. Is 16 a factor of r(7)?
False
Let t(h) = h**3 - 35*h**2 + 21*h - 117. Let k be t(34). Let s = -251 - k. Is 44 a factor of s?
True
Let g(d) = 48*d**2 - 4*d - 65. Suppose -30 = 58*m - 52*m. Does 21 divide g(m)?
True
Let p(y) = 101*y + 2 - 1 - 33 - 109*y. Let u be p(-4). Suppose 0 = j - 2*f - 92 - 47, u = 3*j + f - 396. Is 13 a factor of j?
False
Is (-740 + -2)/((-170)/(-90) + -2) a multiple of 7?
True
Is 3 a factor of (325 - 3) + 14/(-14)?
True
Let n be ((-110600)/(-45))/8 - 4/18. Suppose -4*j - 1572 = 2*w, j - 5*w = -n - 97. Is j/(-10) - (-48)/(-120) a multiple of 13?
True
Suppose 0 = 4*y - 5*w - 42271, 5*y + 56*w - 52808 = 52*w. Is 38 a factor of y?
True
Let x be ((-189)/14 - -3)/((-9)/(-12)). Let s(r) = r**3 + 14*r**2 - 9*r - 19. Is 8 a factor of s(x)?
False
Let j(s) be the first derivative of s**4/4 - 3*s**3 + s**2/2 + 12*s - 19. Let c be j(8). Let a = c + 67. Is 3 a factor of a?
False
Let x = 3081 + -2703. Does 17 divide x?
False
Let o(b) = 6