6*j - 28. Let u be d(-7). Let n be u/(-21) - (-434)/3. Is 24 a factor of (-6)/(-8)*(0 + n)?
False
Is 21 a factor of (8 - (8 - 3))/((-3)/(-5249))?
False
Let m(v) = 5*v**2 - 14*v + 13. Suppose 0 = -2*n - 4*a + 22, 0*n + 4*a = 4*n - 32. Does 25 divide m(n)?
False
Let c(j) = j**2 - j + 8. Suppose 3*v = 13 - 10. Suppose 0 = w + 2*q - 8, v = -2*w + q - 3. Is c(w) a multiple of 2?
True
Suppose 22*y - 17959 = 37481. Is 84 a factor of y?
True
Let r(c) = -15*c - 33. Let b(m) = 2*m**2 + m. Let i(x) = b(x) - r(x). Is i(-10) even?
False
Suppose -16*t + 10*t + 522 = 0. Does 23 divide (-88)/((9/t)/(6/(-4)))?
False
Is -58 + 70 - (1 + -592) a multiple of 3?
True
Does 204 divide -60*((-12)/15)/(-9*16/(-3672))?
True
Let c = 1403 - 54. Let i = -887 + c. Is i a multiple of 14?
True
Suppose -3*o + g = -50991, 0 = 3*o + 2*g - 63474 + 12501. Is o a multiple of 15?
True
Let m(d) = d**2 - 3*d + 5. Let j be m(8). Suppose -41*c = -j*c + 480. Suppose -11*l + c = -9*l. Is l a multiple of 15?
True
Let v(f) = -69*f + 4579. Is v(25) a multiple of 40?
False
Suppose l + 96 = 33*l. Suppose 5*m = -l*b + 561 + 2754, -3*m - 2*b = -1989. Is 48 a factor of m?
False
Let x(g) be the first derivative of 6*g**3 + 3*g**2 - 9*g - 8. Is x(2) a multiple of 6?
False
Suppose -u = 4*t - 38, u - 7 = -t + 19. Let h = 156 - 80. Let p = h - u. Is p a multiple of 9?
True
Let u(b) = -b**2 - 28*b + 14. Let n(q) = -q**2 - 28*q + 13. Let m(o) = 4*n(o) - 5*u(o). Is 5 a factor of m(-30)?
False
Let a = 7554 + -3329. Is a a multiple of 26?
False
Let v = 2893 + 12742. Is 125 a factor of v?
False
Suppose -14*u = 35*u - 23*u - 504426. Does 37 divide u?
False
Let s(v) be the third derivative of v**5/60 - 17*v**4/24 + 17*v**3/6 - 2*v**2. Let d be s(20). Let f = d + -8. Does 17 divide f?
False
Let o(z) be the second derivative of -59*z**3/6 + z**2/2 + 2*z. Suppose 32*t - 7 = 39*t. Is 10 a factor of o(t)?
True
Let b(a) = -14*a**2 + 31*a + 98. Let f(s) = -5*s**2 + 10*s + 33. Let x(w) = -4*b(w) + 11*f(w). Does 13 divide x(-10)?
False
Let z(l) = l**3 - 6*l**2 - 2*l + 22. Let m be z(0). Suppose 37 = 2*s - i, 2*s - 22 = m*i - 18*i. Is 4 a factor of s?
False
Suppose -2*z = -20*z - 21*z + 1225926. Is z a multiple of 169?
True
Let h(r) = r**3 + 76*r**2 - 315*r - 59. Does 24 divide h(-74)?
False
Let n(t) be the third derivative of t**5/30 - 17*t**4/24 + 11*t**3/6 - 33*t**2. Let i be n(8). Is i - 1 - 0 - (-19 + 1) a multiple of 5?
True
Does 26 divide 19/228*37276 + 2/3?
False
Let s be 1 + (-16)/12 + 1047/9. Suppose 0 = -5*a + 7*a - s. Suppose -2*m = 2*m - 4*y - 92, -2*m - 2*y = -a. Is 13 a factor of m?
True
Is ((-4)/(-6))/((-134)/34237*(-14)/750) a multiple of 73?
True
Suppose 0 = -i - 4*z + 8, 0 = 88*i - 83*i + 3*z - 23. Let d(n) = 7*n**2 - 6*n - 3*n**2 - 8 + 2*n**2. Is 16 a factor of d(i)?
True
Suppose 3*d - 41 = -248. Let i = -56 - d. Suppose 0 = 5*r - i - 67. Does 16 divide r?
True
Let c(b) = -b**3 + 19*b**2 - b + 35. Let a be c(19). Let u(w) = -w**3 + 15*w**2 + 16*w - 3. Let d be u(a). Is 11 a factor of (4 + -2 - -37)/(d/(-4))?
False
Let r be 1550/4*(13/5 + -1). Suppose r = -63*o + 64*o. Is o a multiple of 33?
False
Let u be 6*(-4)/6*1. Let p(f) = f**3 + 26*f**2 - 84*f + 15. Let m be p(-29). Is 5 a factor of 4*u/m + 97/9?
False
Let m(n) = -74*n**3 - 2*n**2 + 3*n + 4. Let y be m(-1). Let b = y + -70. Suppose 0*d + 2*d = b*x + 479, 240 = d - x. Is 11 a factor of d?
False
Let u = 94 + -60. Let h = u - 4. Is h a multiple of 5?
True
Suppose u + 4*r = -0*r + 8, -3*r + 23 = 5*u. Suppose 24 = -2*f - u*y, 4*y + 58 - 18 = -4*f. Does 15 divide -4 + f*(38/(-4) + 3)?
False
Let o(n) = -5*n**2 + 3*n - 2. Let u be o(4). Let w be -20*28/(-50)*(-50)/4. Let d = u - w. Is d a multiple of 35?
True
Suppose -7 = -3*x - q, 8 - 3 = -x - 4*q. Suppose k - 64 = -x*y, -y - 245 = -4*k - 2*y. Let d = k + -23. Does 19 divide d?
True
Let y be (-3)/(-6) + (-248)/(-16). Suppose 17*p + y = 21*p. Suppose 211 = -k + 3*k - 5*x, -p*k + 352 = 4*x. Does 31 divide k?
True
Let z(j) = j**3 + j**2 - j - 148. Let r be z(0). Let p(t) = 9*t**2 - 45. Let a be p(7). Let l = r + a. Is 18 a factor of l?
False
Suppose 3*g - 5 = 8*g, 4*g + 22 = 2*b. Let l(h) = b*h**2 - 2*h**3 + 0*h - 5 + h**3 + 0*h + 10*h. Does 11 divide l(9)?
False
Suppose 3*k + 4*r - 1244 = 0, -2*k + 2*r - r = -833. Suppose -40 - k = -3*w. Suppose -i = 3*j - w, 3*j - 4*j + 34 = -3*i. Is 25 a factor of j?
False
Let d = -4702 + 7331. Does 24 divide d?
False
Suppose 9*o = o + 15688. Suppose -o = -8*r - 569. Let q = 266 - r. Does 23 divide q?
True
Let k(i) = 52*i**2 - 97*i + 565. Is 15 a factor of k(7)?
False
Suppose 0 = -8*q + 3 + 13. Suppose -2*i = 2*i - 420. Suppose -i = -u - q*u. Does 5 divide u?
True
Let v be 1 + (3 - 4) + -2 + 8. Suppose 3*u - 28 = 11. Suppose -v*k = -u*k + 1225. Does 25 divide k?
True
Let z(p) = -p**3 - 12*p**2 - 15*p + 16. Let b be (-8228)/612 + (-4)/(-9). Does 76 divide z(b)?
True
Let z be (-1 + (-60)/(-9))*3. Let q = z + 29. Suppose -3*g - q = -2*p, 4*g = -p + 2*p - 28. Does 3 divide p?
False
Let y(c) = c**3 - 5*c**2 - 4*c + 8. Let j = 103 + -94. Suppose j*h = 70 - 7. Is 6 a factor of y(h)?
True
Is 64/(((-60)/368)/(-15)) a multiple of 92?
True
Is 7 a factor of 6411/4 + (-9 - 666/(-72))?
True
Suppose 8*q = q + 3500. Let a = q - 180. Does 41 divide a?
False
Suppose 1122*w + 8505 = 1131*w. Is 5 a factor of w?
True
Let u(j) = j**2 + 13*j + 33. Let f be u(-3). Suppose p + 48 = 2*p + 5*c, 4*c = -f*p + 133. Let l = p + -18. Is l a multiple of 5?
True
Suppose 35971 + 61856 = k + 27702. Does 25 divide k?
True
Suppose 2*y = -4*c + 1313 + 199, 0 = 2*c - 4*y - 776. Let w = c - 353. Does 9 divide w?
True
Let f = -50 + 120. Suppose 12*o = -f + 682. Is 3 a factor of o?
True
Let i be (-1)/(-7) - (-9)/(-63). Suppose -3*b + 8*b = i. Suppose -2*m + 86 - 42 = b. Does 2 divide m?
True
Let f = -32755 + 75434. Is 67 a factor of f?
True
Suppose 7*g - 9*g + 10 = 0. Let c(h) = 47*h + 25. Does 22 divide c(g)?
False
Suppose 3*l - 2*l = 80. Let g = 56 - 11. Suppose 0 = 2*s - 3*q - g, 4*s + 7*q - l = 3*q. Does 21 divide s?
True
Suppose 112*w - 121*w + 57420 = 0. Does 44 divide w?
True
Suppose 0 = 2*c + 200 - 198, -3*d + 5*c = -20. Suppose 45 = 5*g + 4*q, -q = q - 10. Suppose d*m - 608 = 4*b, -4*m + 324 + 146 = g*b. Is m a multiple of 20?
True
Does 21 divide (6822 - 3) + 5 - (1 - 0)?
False
Let k = 27 + -24. Suppose 0 = -k*s + 6. Suppose s*h = -2*v - 3*v + 209, 5*v - 224 = 3*h. Is 39 a factor of v?
False
Let h be 26/9 + (-13)/(-117). Suppose -d + 8 = h*t, -t - 8 = 4*d + 4. Suppose t*m = 23 + 77. Is 11 a factor of m?
False
Let q = 8253 + -5845. Does 43 divide q?
True
Let r(z) = 639*z - 182. Let u be r(28). Does 10 divide (-3)/(-9) + (u/33 - 9)?
False
Let n = -2596 - -2610. Suppose 8*w - 5 = 3*w. Does 21 divide (-21)/w*(-15 + n)?
True
Suppose 391*s - 378*s = 37024. Is s a multiple of 8?
True
Suppose 5*o + 14 = -3*g + 165, 3*o = 3*g + 105. Suppose i - o = -5*r, -2*r + 31 = 2*r - i. Is r a multiple of 7?
True
Suppose -9*q - 36 = -72. Suppose 25*a - 10411 = -q*a. Is a a multiple of 18?
False
Let d be 16/(-96) + (-7)/(-63)*(-474)/(-4). Let f(s) = -4*s - 5 + 5*s + 14. Is f(d) even?
True
Let w(p) = p**3 + 26*p**2 + 52*p - 80. Is 16 a factor of w(-20)?
True
Suppose h = -5*m + 16030, -3*h + 18667 = 5*m - 29373. Is h a multiple of 39?
False
Let y = 253 - 249. Does 13 divide (-196 - -1)*(26/(-6) + y)?
True
Let q be (-20)/9 - ((-6)/(-27))/(-1). Let n be 9*3 - 0/q. Suppose y - g = -3*g + n, -4*g - 61 = -3*y. Is y a multiple of 4?
False
Let c(y) = -9*y - 27. Suppose 4*q = 2*o - 24, -4*q + 2*q + 2*o - 12 = 0. Let v be ((1 - q) + 0)/(-3 + 2). Does 24 divide c(v)?
False
Suppose -11073 = -6*b - 3*o, 5*b - 5*o - 13210 = -3945. Does 21 divide b?
True
Let l = -7426 - -11322. Is 33 a factor of l?
False
Let b(f) = -104*f - 1881. Is 15 a factor of b(-54)?
True
Does 47 divide 16/(-44) + (-15510192)/(-528)?
True
Suppose -16*u + 1200 = -40*u. Let z = -33 - u. Is z a multiple of 3?
False
Suppose 95*k = 69*k + 48*k - 219186. Does 223 divide k?
False
Suppose -3*z = -4*r - 0*z - 23, r = 4*z - 22. Let q be ((-36)/(-21))/(r/21). Let p = q - -41. Is 23 a factor of p?
True
Suppose 8*u + 1220 - 6540 = 0. Let s = u + -342. Does 19 divide s?
True
Suppose 3*c = -o + 32905, -5*c - 121*o + 126*o = -54815. Is 32 a factor of c?
False
Let z(s) be the f