 Is 13 a factor of (m/8)/((-109698)/15672 - -7)?
False
Let q be 3/(-1) + (1 - 0). Let b be 2 + (6 - (0 - q)). Is (8/b)/(4/72) a multiple of 8?
True
Let c = -432 - -416. Is 61 a factor of (-365)/(-2) + (-8)/c?
True
Let a(n) be the third derivative of -3*n**5/40 - 2*n**4/3 - 5*n**3/2 + 19*n**2. Let p(s) be the first derivative of a(s). Is p(-5) a multiple of 11?
False
Let h = -538 - -542. Suppose -f + 1504 = 3*d, 5*f + h*d = 1845 + 5708. Is f a multiple of 17?
True
Let z(m) = -m**3 + 16*m**2 - 2*m + 12. Let u be z(8). Let q = -76 + 171. Suppose x = 5*g + 5*x - u, 3*x - q = -g. Is 8 a factor of g?
True
Let o(v) = -6*v**2 - 42 + 23*v + v**2 + 4*v**2 + v. Let h be o(17). Let w = h - 23. Does 10 divide w?
False
Let r(n) = -2*n**3 - 7*n**2 + 4*n - 1. Let d be r(-6). Let g = d + -41. Does 8 divide g?
False
Let k(o) = -o**3 + 3*o**2 + o + 8. Let n(s) = 6*s - 2. Let d be n(1). Let z be k(d). Is ((-4)/3)/(z*4/216) a multiple of 9?
True
Let j(f) = f**3 + 155*f**2 + 191*f - 3656. Is j(-153) a multiple of 21?
False
Let f = -3818 - -15902. Does 11 divide f?
False
Suppose 0 = 11*x - 2*x - 144. Let h = x - 8. Suppose -h - 10 = -2*k + 2*i, 18 = k + 2*i. Is 3 a factor of k?
True
Suppose -32*z + 37*z - 229460 = -23*z. Is 55 a factor of z?
True
Let h(u) = -u**3 + 3*u**2 - 16*u - 7. Let b(r) = r**3 - 3*r**2 + 14*r + 5. Let w(s) = 5*b(s) + 4*h(s). Let k = 10 + -7. Is 13 a factor of w(k)?
False
Let z = 7024 + -5471. Is 3 a factor of z?
False
Suppose k = -2*k - 12. Is 14 a factor of 83 + (3 - (-8)/k)?
True
Suppose 0 = -29*a - 92328 + 267575. Is 97 a factor of a?
False
Let w(c) = 36*c**3 - c**2 - 2*c + 2. Let h be w(1). Let v = 368 - 325. Suppose v*m = h*m + 1328. Is m a multiple of 26?
False
Suppose 0 = 86*f + 8752 - 40486. Is 3 a factor of f?
True
Let d be (-96)/(-18)*(6/8)/1. Suppose -21 = -p - 3*k + 15, 0 = 2*p + d*k - 72. Does 9 divide p?
True
Suppose -4*m + 150 = 2*v, -m = 5*v - 63 + 21. Let o = 39 - m. Suppose 5*f - 105 = -o*a, 3*a + 4*f - f - 171 = 0. Is 12 a factor of a?
True
Let w(m) = m**3 - 5*m**2 - m - 6. Let g(o) = -11*o - 18 - 5*o**2 + 3*o**2 - 3*o**2 + 4*o**2. Let s be g(-8). Is w(s) a multiple of 4?
True
Suppose 35*k - 32*k - 3107 = -5*u, -5*u - 1049 = -k. Is k a multiple of 19?
False
Suppose -107 - 679 = 3*x. Let s = 612 + x. Is s a multiple of 55?
False
Let m = 18340 + -10845. Is 54 a factor of m?
False
Let q be -22 + (-192)/80 + 3/(-5). Let d = -1 + -48. Let f = q - d. Is f a multiple of 7?
False
Suppose c - 6*c + 11 = m, -5*m = -2*c - 1. Suppose 2*r - c*o = -r + 617, 5*o - 652 = -3*r. Let n = r + -149. Is n a multiple of 10?
True
Suppose 4*f + 2*c = f + 24, 0 = 3*f - 5*c - 45. Suppose -3*a = -5*a - f. Does 33 divide (-736)/a - (-20)/(-100)?
False
Does 20 divide 7466 - (-1)/(-1) - (-60)/(-12)?
True
Let x = 3964 + -2845. Does 58 divide x?
False
Suppose -7*z + 98 = 7*z. Suppose z*s - 8*s = -101. Does 6 divide s?
False
Let l(r) = 7*r + 3. Let t be ((-6 + 0)/(-6))/(1 + -2). Let p be (1 - (1 - 4)) + t/1. Is 4 a factor of l(p)?
True
Suppose -f + 559 - 1087 = 0. Let h = 744 + f. Is 9 a factor of h?
True
Let u be (-13758)/(-54) - (116/(-36) + 3). Suppose -u = -2*s - 69. Does 9 divide s?
False
Let s(i) = i**2 + 5*i + 2. Let u be s(-4). Let p be -20*(-3)/((-12)/u). Suppose -t - 126 = -p*t. Is t a multiple of 7?
True
Let c = 4389 - -918. Does 66 divide c?
False
Let h = 56 + -53. Let c(k) = 6*k + 7*k**2 + 0*k + 6 - h. Does 12 divide c(3)?
True
Suppose 28*y + 207 = 31*y. Let m = 74 - y. Suppose 3*x - 4*x = -m*r + 985, -3*r - 4*x = -614. Does 33 divide r?
True
Let t = -4 + -105. Let i = t + 209. Does 4 divide i?
True
Let y be (-58320)/(-56) - 9/21. Is 1*y*6/18 a multiple of 48?
False
Suppose 2*h + 5*f = -7, 0 = 5*f + 7 - 12. Let t(z) = -10*z - 22. Does 13 divide t(h)?
False
Is 136 a factor of ((-39)/30)/(2/(-10004)) - (-15)/(-25)?
False
Suppose -19661 - 6874 = -29*j. Does 14 divide j?
False
Suppose 0 = -31*w + 29*w + 986. Suppose -4*f + 2*h - 135 + w = 0, -h + 444 = 5*f. Does 10 divide f?
False
Let c = 143 - -89. Suppose c = 3*d - 80. Is d a multiple of 3?
False
Let o = 66695 + -30184. Is 29 a factor of o?
True
Let l(x) = x**3 - 9*x**2 + 12*x - 9. Suppose 6*i - 6 - 30 = 0. Suppose i*k - 5*k - 44 = -5*g, -4 = -g + k. Is 15 a factor of l(g)?
False
Let m(o) = 110*o**3 - 2*o - 3*o**2 - 106*o**3 + 16 - 2*o. Does 5 divide m(3)?
True
Let a be (1 - 4/4)/2. Suppose 2*u - 5*r = 981, a = -5*u - 2*r + r + 2412. Does 23 divide u?
True
Suppose -2*w + 183 + 576 = -5*i, -3*i = -15. Is w a multiple of 14?
True
Let a be 28/8 - 3 - (-262)/(-4). Let b be (-766)/(-8) - (a/20 - -3). Suppose -b = -n - 5*c, 5*n = n + 5*c + 284. Is n a multiple of 21?
False
Suppose 5*m + 251 = 33*g - 30*g, 0 = -3*g - 4*m + 269. Does 35 divide 1/3*g*35?
True
Let f(t) = -9*t**3 + t**2 - 87*t - 733. Is f(-11) a multiple of 316?
True
Let a(r) = -r**3 + 20*r**2 + 23*r + 30. Let p be a(21). Is (-2322)/p*(-4)/3 a multiple of 3?
False
Let c be (1 - (-5)/(-6))/(3/18). Suppose -64*w = -65*w - c. Let h(j) = 25*j**2 + 1. Is h(w) a multiple of 10?
False
Suppose 380 = 6*s + 4*s. Let j = -20 + s. Suppose 0 = -t + j + 132. Does 15 divide t?
True
Let j(t) = -35*t**2 + 4*t - 5. Let b be j(-4). Let p = 1161 + b. Is 19 a factor of p?
False
Suppose -79*w + 2749349 = 724421. Is w a multiple of 24?
True
Let v(l) = l**3 - 11*l**2 + 39*l - 63. Let z be v(18). Suppose 47*t - 38*t = z. Is t a multiple of 17?
True
Let y(s) = 23*s + 28. Let b(i) = 8*i - 38. Let v be ((-40)/(-30))/((-6)/(-27)). Let c be b(v). Is y(c) a multiple of 43?
True
Suppose -t = -3*s - 15826, -2*t + 5*s + 30050 + 1609 = 0. Does 23 divide t?
True
Let m be (-16)/(-3 + 1) - -2. Let h(f) = -f + 17. Let o be h(m). Suppose 320 = 11*g - o*g. Is 10 a factor of g?
True
Let s = -5016 + 6441. Is 15 a factor of s?
True
Let v(p) = -16*p**2 + 91*p + 8. Let y be v(5). Suppose 57*l = y*l - 4176. Is l a multiple of 8?
True
Suppose -3*r = -r + 7*r. Suppose r = 5*v + 4*y, 5*y = v + v. Suppose 2*a - a - 28 = v. Is 13 a factor of a?
False
Let m(k) be the first derivative of k**3/3 - 2*k**2 + 4*k + 31. Let v be m(11). Is v + -2 + 0 - (-1 - -2) a multiple of 11?
False
Let t(g) = -g**2 + 8*g + 4. Let r be t(8). Suppose 3*q + 2*b - 1289 = 0, 0 = -r*q - 3*b - 889 + 2608. Does 13 divide q?
True
Suppose 0*c = -3*c + 15. Let f(i) = -2*i. Let z(b) = 5*b - 5. Let o(g) = -3*f(g) - z(g). Is o(c) a multiple of 6?
False
Suppose -16*v + 30*v = 616. Suppose 4*x - 79 = 3*z, 0 = 3*x + 3*z + 11 - v. Does 4 divide x?
True
Let m be 1/(-2)*-190*-4. Let h = m + 425. Does 15 divide h?
True
Let x(u) = -4*u - 32. Let z be -31 + 0 + 20/(-4). Is 8 a factor of x(z)?
True
Suppose -6*f - 2 = -5*f, 0 = -5*o + 3*f - 1859. Let h = o - -431. Is 3 a factor of h?
False
Does 41 divide (17 - 45786)/(33/(-9)) + (-6)/(-11)?
False
Let z(m) be the first derivative of 3*m**4/4 - 3*m**2 - 3*m + 1. Suppose -2*t + 10 = 0, -206*o = -203*o - t - 7. Is 15 a factor of z(o)?
True
Suppose 5*u - 23845 = -5*s, -4*u - 3*s + 3691 = -15388. Suppose 15*x - u = 3628. Is x a multiple of 80?
True
Is 10 a factor of 21/(-2)*((-22132)/22 - -6)?
True
Suppose 144*a = 848 + 2176. Is a a multiple of 2?
False
Let c = -186 + 239. Let x = 163 - c. Is x a multiple of 22?
True
Let x(j) = -88*j + 42*j - 1 + 35*j**2 + 35*j**2 + 47*j - 13*j**2. Suppose -5*p - 2*o = 2*o - 9, -4*p - 1 = -5*o. Is 19 a factor of x(p)?
True
Let u be (114/30 - 2)/((-2)/(-10)). Suppose -12*q + u + 63 = 0. Suppose -146 + 386 = q*s. Is 10 a factor of s?
True
Is 356 a factor of ((-672)/64*9256/(-3))/1?
True
Suppose 14*a - 360939 = -55*a. Does 107 divide a?
False
Let c be (-5)/((-1)/(-6) - (-6)/(-9)). Let t be c*(20/(-8) - 3). Let a = t + 121. Does 12 divide a?
False
Suppose 15 + 215 = 23*g. Let r(w) be the second derivative of w**5/20 - 2*w**4/3 - 17*w**3/6 + w**2 + 2*w. Is 16 a factor of r(g)?
True
Let p(u) = 2*u + 54. Let a be p(-18). Let t(s) = 3*s - 11*s**2 - 35*s + 10*s**2 + 55 - a. Is 33 a factor of t(-24)?
False
Suppose -5*p - 732 = -6*p - t, -5*t + 2927 = 4*p. Let f = -688 + p. Is 31 a factor of f?
False
Let i(g) = 5*g + 18. Let l be i(5). Does 26 divide 2186/6 + l/(-129)?
True
Let h be ((-24)/(-20))/(((-36)/(-1365))/6). Let o = 429 - h. Is o a multiple of 2?
True
Does 16 divide (-32)/(0 - -3*9/(-1755))?
True
Suppose 5*i + 3*c = -28, 5*c + 21 = -5*i + 9*c. Let o be 406/