0))/(-4)). Suppose 56*n = 49*n + b. Does 14 divide n?
False
Suppose -h = -4*v + 484, 2*v + 364 = 5*v - h. Let l be v/45 - (-2)/(-3). Suppose -n = 4*p - 87, 4*n - 214 = -l*p + 92. Does 4 divide n?
False
Suppose l - 3699 = 3*j + 3655, -3*l = j - 22062. Is 7 a factor of 38/(-95) + l/10?
True
Suppose -5*k - 111 + 16 = 0. Let n = k + 58. Suppose -8*t = -u - 10*t + 42, -n = -u + t. Is u a multiple of 10?
True
Does 10 divide (-7182)/(-56)*(-415 - 5)/(-5)?
False
Suppose r - m + 8222 = 4*r, 5*m = r - 2730. Is 18 a factor of r?
False
Let h(f) = -f**2 - 2*f + 26. Let n be h(-6). Suppose -r = 2*r - 2*b + 2, -2*b = -2*r + n. Does 14 divide -56*((-6)/r)/(-1)?
True
Suppose 303*u - 470 + 9628 = 322*u. Does 5 divide u?
False
Suppose 0 = -8*o + 2*o + 2994. Let m = -269 + o. Does 23 divide m?
True
Let r be (32/6)/((-4)/(-66)). Let f be (-6 - 2) + (8 - -5). Let o = f + r. Does 30 divide o?
False
Let l(r) = -636*r + 6882. Is l(-20) a multiple of 76?
False
Suppose 3*x - 70 + 28 = 0. Let w(d) = d**3 - 12*d**2 - 19*d + 42. Is w(x) a multiple of 12?
True
Let w = -135 - -204. Let u = w - 30. Is u a multiple of 3?
True
Does 48 divide (-10972)/(-2) - (-9 + 80/5)?
False
Let j = -394 + 2438. Suppose -673 = -y + 4*a, 0 = 4*y - 5*a - j - 604. Is 30 a factor of y?
False
Let g(k) = 4*k**3 + k**2 - k - 1. Let b = -2 - -3. Let x be g(b). Is ((-1)/x)/((-1048)/1044 + 1) a multiple of 10?
False
Suppose -2*d = -3*r - 138, -4*d - 2*r + 260 = -4*r. Is 9 a factor of d/(-147) + (-1420)/(-14)?
False
Let j(n) = -2*n + 12*n - 29*n + 85 + 3. Is j(-9) a multiple of 37?
True
Let q(s) = -s**3 + 82*s**2 - 40*s + 540. Is 33 a factor of q(81)?
True
Let w(z) be the second derivative of 17*z**3/6 + 111*z**2/2 + 20*z. Does 4 divide w(-6)?
False
Suppose -1 + 38 = -3*h - j, -3*h = -j + 35. Let w(t) = 8*t**2 + 31*t - 48. Is 42 a factor of w(h)?
False
Is (-7*(-3)/(-21))/(2/(-2188)) a multiple of 2?
True
Let v(s) be the first derivative of s**5/30 - 7*s**4/24 - 11*s**3/3 - 15. Let b(o) be the third derivative of v(o). Is b(4) a multiple of 3?
True
Suppose -3*a + 932 + 436 = -4*v, -5*v = 2*a - 912. Is 4 a factor of a?
True
Let f(o) = o**3 - 17*o**2 - 15*o + 15. Let q be f(-12). Is -1*3/(-12) + q/(-12) a multiple of 36?
False
Suppose c - 10*w - 13 = -9*w, 2*c = 3*w + 22. Suppose -12*j = -c*j + 2940. Is 14 a factor of j?
True
Let g(c) be the second derivative of 5*c**3/6 - c**2 + 10*c. Let u be g(1). Is 9 a factor of (-1 - u)*(-6)/8*9?
True
Let t(w) = -w**3 - 14*w**2 + 19*w + 61. Let m be t(-15). Is -4 + (m - ((-1265)/5 + -2)) a multiple of 42?
True
Does 6 divide (-13)/(-4) + -3 - (-1880694)/72?
False
Let b = -275 - -134. Let m be ((-1018)/(-4) - 1) + 60/40. Let l = b + m. Does 19 divide l?
True
Suppose -14 = -18*y + 22. Suppose -2*l + 900 - 178 = 3*j, y*l + 1198 = 5*j. Is j a multiple of 30?
True
Suppose 5*w = 6*w. Suppose u = -3, -2*u - 55 = -k - 0*u. Suppose w = -g - k + 180. Is g a multiple of 31?
False
Let a = -93 + 48. Let j = -43 - a. Is (-2)/20*-54*(j - -3) a multiple of 27?
True
Let v = -3230 - -1804. Let w = -878 - v. Does 25 divide w?
False
Suppose 3*l - 4*l = -150. Suppose 0*q + 3*q + l = 0. Does 4 divide (-180)/q*-20*2/(-6)?
True
Let b be (-624 - -2)*(-27)/18. Suppose -3141 + b = -12*z. Is 8 a factor of z?
True
Let g = 26065 - 13669. Is 171 a factor of g?
False
Is 79 a factor of 1/2 + (-60513)/(-2)?
True
Let d = -3368 - -5161. Does 9 divide d?
False
Let g(i) = -i**2 - 15*i + 7. Let v be g(-15). Suppose -5*o + v = p, -3*p - 34 = -5*p - 5*o. Let t = 77 - p. Does 5 divide t?
True
Suppose -3*u + 5*g = 1436 - 28011, 5*u - 44285 = 5*g. Is 19 a factor of u?
False
Suppose 2*o = 7*b - 2*b - 522, 0 = 4*b - 16. Is -8 - o - 4/(8/6) a multiple of 16?
True
Suppose -67*w + 69*w - 121692 = -3*k, 304248 = 5*w + 3*k. Does 12 divide w?
True
Let y = 14189 + -4893. Is 83 a factor of y?
True
Let s be ((-22)/33)/(1*(-2)/(-3)). Let x be 1358/4 - s/2. Suppose 5*r - 65 - x = 0. Is r a multiple of 27?
True
Suppose -242*j + 24 = -236*j. Suppose j*l - 320 = -4*p, 4*p + 0*p = 3*l - 233. Is 2 a factor of l?
False
Does 7 divide (-43712)/(-6) + 1 - 49/((-2352)/32)?
True
Let a be 414/90 + 4/10. Let n be (4/a)/(24/(-60)). Is 18 a factor of (0 + 2 + 71)/((-1)/n)?
False
Suppose 3*o = -4*x - 508, 16 = -2*o - 2*o. Is 16 a factor of (-44)/(8/60 + x/480)?
True
Suppose 4*l + 1371 + 805 = 0. Let d = -349 - l. Is d a multiple of 17?
False
Suppose 0 = -v - 4*v + 5. Suppose 0 = -s - 4, -3*m = s + s - v. Suppose 0 = m*j + 3*o - 15, -j + 15 = 2*j + 4*o. Is j even?
False
Let o(x) = x**2 + 9*x - 69. Let v be o(5). Is 19 a factor of (-7 - 3 - -286) + 5*v?
False
Is 53356/26 + (-8)/(-130)*15/(-6) a multiple of 18?
True
Let u(f) = 3*f**2 + 71*f - 23. Let o be u(-24). Is 9/(o*(-6)/(-72)) a multiple of 6?
True
Suppose -k + 186 = 6*c, -4*k + 820 = -5*c + 10*c. Is k a multiple of 105?
True
Let m(k) = -k**3 + 2*k + 2. Let r be m(0). Suppose 5*t = -5*u + r + 28, -5*u + 10 = t. Suppose -t*s + 3*p + 475 = 0, 4*s + 3*p - 261 = s. Is s a multiple of 10?
False
Let b(j) = 16 + 38*j + 44*j + 13 - 57*j. Let x(n) = 8*n + 10. Let g(m) = 6*b(m) - 17*x(m). Is g(9) a multiple of 7?
False
Suppose -6*j = 11*j - 9078. Let o = 845 - j. Does 13 divide o?
False
Let p = -3602 + 10113. Does 17 divide p?
True
Suppose 5*k - 5*t = k + 50832, 2*k = t + 25416. Is k a multiple of 75?
False
Suppose 3*k - 486 = -0*k. Suppose -5*s = 5*p + 450, p - 192*s = -191*s - 94. Let o = p + k. Is o a multiple of 7?
True
Suppose -5*l = -0*l + 3*h - 283, -3*h - 277 = -5*l. Let p(z) = 29 - l - 7 + 18*z. Is p(7) a multiple of 23?
True
Let k(q) = -353*q + 293. Is 8 a factor of k(-11)?
True
Suppose 0 = -s + 3, -4*v = -3*s - 0*s - 3. Suppose 5*n - v*n + 12 = 0. Does 8 divide ((-24)/(-20) - 3)*(n - -1)?
False
Let d(t) = 79*t**2 - 241*t + 39. Does 16 divide d(12)?
False
Let b(p) = 15*p - 102. Let w be b(7). Suppose 7*t = -n + w*t + 854, -3*n + 2534 = -2*t. Does 94 divide n?
True
Let t(m) = -m**3 + 34*m**2 + 39*m - 138. Let v be t(35). Suppose g - 893 = 4*s, 12*g - 15*g + v*s + 2629 = 0. Does 31 divide g?
False
Let y be 180/252 + 2/7. Is ((-4)/10)/((-1)/120*y) a multiple of 7?
False
Suppose -5*h + 420246 = 3*a, -3*a = 3*h + 169233 - 421383. Is 24 a factor of h?
True
Let j = -4046 + 8133. Does 5 divide j?
False
Let t(s) = -s**3 - 10*s**2 - 8*s + 10. Let c be t(-9). Let i be (-7 + 6)/(c/3). Is (2/2)/(i/(-195)) a multiple of 9?
False
Is 21 a factor of (3681/818)/((-2)/(-19316))?
False
Let s = -32 + 33. Let z(o) = 4*o**2 - o + 1. Let v be z(s). Suppose 120 = 7*m - v*m - r, -4*r = 3*m - 120. Does 10 divide m?
True
Let p(v) = v - 13. Let j be p(17). Suppose j*h + 2*f = 3*f + 274, 3*f = -3*h + 198. Does 12 divide h?
False
Let g(j) = j**2 + 16*j + 17. Let n be g(-15). Suppose -4*p - 1584 = -4*r, 113*r - 112*r - 396 = n*p. Is 33 a factor of r?
True
Suppose 7*w = 8*w + 7. Let u be (-14)/4*(w - -11). Let v(g) = g**2 + 10*g - 7. Does 19 divide v(u)?
False
Let s = -303 + -641. Let v = -270 - s. Is v a multiple of 16?
False
Let u(y) = -8*y + 1. Let c(k) = -8*k. Let d(o) = 3*c(o) - 4*u(o). Let j be d(9). Let m = j + -58. Is 2 a factor of m?
True
Let c(z) = 32*z**2 + 116 - 82*z**2 + 25*z**2 - 25*z + 24*z**2. Does 6 divide c(-14)?
True
Let k(f) be the first derivative of 3*f**4 + 7*f**3/3 - 5*f**2/2 - 3*f - 72. Is k(3) a multiple of 48?
False
Suppose 2*s - 37611 = -5*o, 4*s - 37219 = -3*o - 14644. Is o a multiple of 23?
True
Let g be 1/(-4)*2 + 22530/(-20). Let x = g + 1715. Is x a multiple of 41?
False
Is 7 a factor of 2172/8 + 24/16?
True
Suppose 0 = -4*t - 3*r - 3329, -6*t + 5*r - 2475 = -3*t. Is 7 a factor of t/(-40) + 1/4?
True
Let h(m) be the third derivative of -2*m**4/3 + 5*m**3/6 + 24*m**2. Is h(-2) a multiple of 6?
False
Suppose m - 7 = -n, -3*n - 5*m + 26 = -3. Suppose -12 = -f + n. Is 5 a factor of f?
True
Let s = -54 + 55. Suppose 15 + s = o. Let z = o - -3. Does 2 divide z?
False
Let i(h) be the third derivative of h**6/120 - h**5/12 + 3*h**4/8 - 3*h**3 + 14*h**2. Is 41 a factor of i(8)?
True
Let n be 310/(-4)*56/70. Let v = n + 65. Suppose -2*t - 3*d + 250 = 0, -v*d - 117 = -t - 1. Is t a multiple of 9?
False
Is 12 a factor of ((-47040)/(-360))/(1/27)?
True
Suppose -14 = 2*x - x + 2*y, 3*y = -5*x - 49. Let j(c) = 5*c**2 - 2*c + 19. Let z(g) = -4*g**2 + 2*g - 19. Let k(s) = 5*j(s) + 6*z(s). Does 7 div