 = 31488 + -18402. Is 11 a factor of j?
False
Suppose 0 = -r + 71 + 503. Suppose 5*l - r = 426. Suppose 4*n - 5*g = -3*g + l, 0 = -2*g + 4. Does 17 divide n?
True
Let m(q) = -8*q - 156. Let k be m(0). Let o = k - -184. Is 28 a factor of o?
True
Suppose 9*m - 12*m = -303. Let v = -37 + m. Let g = -1 + v. Is 9 a factor of g?
True
Let d be 1100/40*(-236)/(-5). Suppose 0 = -2*m - 0*h + 2*h + d, -20 = 4*h. Is 11 a factor of m?
False
Let c(s) = 2*s**3 + 28*s**2 + s + 30. Let v be c(-14). Is 4 a factor of 1*(-4)/v + (-963)/(-12)?
True
Let c = 9136 - 6008. Does 68 divide c?
True
Suppose 3*z = 5*f - 236980 + 35031, -4*z + 8 = 0. Does 62 divide f?
False
Let u = -8848 - -9730. Is 6 a factor of u?
True
Let x(n) = 3*n**2 - 11*n + 2. Let q(g) = g**2 - g - 1. Let m(l) = 5*q(l) - x(l). Let w be ((-3)/3)/(-1 + (-5)/(-10)). Is 13 a factor of m(w)?
True
Let t(a) = 276*a**3 + 2*a**2 - 3*a + 2. Let h be t(2). Suppose 0 = 3*p + 3*s + 475 - h, 3*p + s = 1745. Does 11 divide p?
True
Is (-12 - (-33 + 17))/(2/4564) a multiple of 56?
True
Let p = -22 - -25. Suppose -76 + 12 = -5*l - 2*y, 5*l + p*y - 66 = 0. Let z = 60 - l. Is z a multiple of 16?
True
Let v(i) = -343*i**3 + i**2 - 16*i - 16. Let j(f) = -f**3 - 5*f**2 - f + 11. Let p be j(-4). Does 43 divide v(p)?
True
Suppose -5*f + 2*j - 10 = 0, 2*f - j = -2*j - 13. Let v be 4*(646/8 - f). Suppose 0 = -4*d + z + 176 + v, 2*z - 250 = -2*d. Is 12 a factor of d?
False
Let h = 3359 + -2275. Is 51 a factor of h?
False
Let h(v) = 158*v + 2370. Is h(31) a multiple of 92?
True
Let d = 795 + -796. Is 38 a factor of (-1129)/(d*(-8 - -9))?
False
Suppose 0 = 3*w - 3*f - 29694, 5*w - 49481 = -15*f + 11*f. Is w a multiple of 20?
False
Let x = 424 - 310. Let k = x + 978. Is 24 a factor of k?
False
Does 8 divide (408/(-15))/((39/(-30))/13)?
True
Let q be 3 + -4 + -1 + 4. Suppose -3*z + 2354 = -o, 23*o = 22*o - q. Is z a multiple of 8?
True
Let r(i) be the third derivative of 0*i - 5/12*i**4 + 0 + 5/6*i**3 - 4*i**2. Does 28 divide r(-5)?
False
Suppose -5*k = 5*w, -w - 12 = -2*w + 5*k. Let b(y) = 62*y - 18. Is 17 a factor of b(w)?
False
Suppose y - 58 = -5*m, 0 = y + y + 4. Let x be 4/2 + -10 + m. Is 19 a factor of (x - (1 - -5))*(-186)/4?
False
Suppose 2131 = 12*b - 101. Let u = b - 98. Is 8 a factor of u?
True
Let z(q) = -214*q + 1782. Does 5 divide z(8)?
True
Is (2/6)/(84/1140804) a multiple of 20?
False
Let f(a) = -a - 5. Let l be f(-13). Let q be (-4 - -6)/((-4)/l). Is 22 a factor of (-88)/4*(q - 0)?
True
Let y be (238/(-35) - -6) + 24/5. Suppose 129 + 35 = y*w. Is 4 a factor of w?
False
Let o(y) = -89*y + 2. Let a(w) = 6*w + 4. Let r be a(-1). Is 10 a factor of o(r)?
True
Let p(z) = -7*z + 102. Let r be p(0). Let j = -103 + r. Is (-3 - (j + 1)) + 160 a multiple of 20?
False
Let a be (4/4)/((-4 - -3)/(-7)). Is 13 a factor of ((13209/6)/a + 1)*2?
False
Let d = 92 - 97. Let x be d + (-3)/(2 - 3). Does 24 divide (-1704)/(-24) + (-2)/x?
True
Let w(y) = -20*y + 6*y**2 + 26*y + 51 - 38. Does 17 divide w(-4)?
True
Let j(w) = -w**3 + 12*w**2 + 13*w + 21. Let c = 241 + -232. Is j(c) a multiple of 26?
False
Let l(f) = f**3 - 12*f**2 + 4*f - 17. Let q be l(12). Suppose 6*s = -3*t + 2*s + 32, q = 4*t + 3*s. Is (-200)/(-24) + t/6 a multiple of 9?
True
Suppose -4*g = -3*v + 51230, -253*v + 248*v = -3*g - 85387. Does 9 divide v?
False
Suppose 0 = 4*x - 2*c - 1158, 0 = 5*x - 306*c + 308*c - 1425. Does 42 divide x?
False
Suppose 0 = 18*m + 367 - 5317. Let r = 77 + m. Does 32 divide r?
True
Let i(a) = 7*a**2 + a + 1. Let l be i(1). Let u be (-6)/l*-2*-15. Let b = 37 + u. Is b a multiple of 17?
True
Suppose -3*b = -x + 15, b + 0*x = -2*x - 12. Is 3 + (b/(-11) - (-27300)/44) a multiple of 39?
True
Let k = 164 + -175. Does 8 divide -24*(k/6 - 2/(-4))?
True
Suppose -533 = -3*q + 4*y + 44855, 0 = -5*q + 2*y + 75614. Is 112 a factor of q?
True
Let c(v) = 5*v**3 - 39*v**2 - 11*v + 293. Is c(11) a multiple of 10?
False
Suppose 0 = 5*i - 0*d - 2*d - 75, -2*d = -i + 23. Suppose -3*z = -10 + i. Is 4 a factor of (11 - -2)/(z - (-12)/9)?
False
Let d(k) = -k**3 + 12*k**2 + 24*k + 52. Let q be d(14). Does 9 divide q/(-5) + (-107150)/(-125)?
False
Let k = 1227 + -670. Suppose k*u - 18 = 556*u. Does 6 divide u?
True
Let q = 1837 + -1172. Suppose -w - 2*j + 276 = 0, q + 174 = 3*w - 5*j. Is w a multiple of 7?
False
Suppose m + 3 = 2*o, 2*o = 4*m - 1 - 5. Suppose 0 = -11*l + 6*l + 20, -m*l = -3*i + 132. Does 2 divide i?
True
Let w(m) be the second derivative of 103*m**3/6 + 9*m**2/2 - 52*m. Is 14 a factor of w(1)?
True
Let r(u) = 1940*u**2 - 3*u + 83. Is 213 a factor of r(-5)?
False
Does 15 divide (2704/(-30) - (-20)/150)*(-28)/6?
True
Let w(n) = n**3 - 10*n**2 - 11*n + 4. Let t be w(11). Suppose -m + 5*a + 58 = 0, 67 = 3*m - t*a - 85. Does 4 divide m?
True
Suppose 5*m + 2*k - 46768 = 0, 5*k + 9332 = -37*m + 38*m. Does 7 divide m?
True
Suppose -15 = -7*r + 4*r. Suppose -2776 = -4*y - 8*p + r*p, -p - 1378 = -2*y. Is y a multiple of 28?
False
Let m(l) = -l**3 - 20*l**2 + 14*l + 358. Is m(-21) even?
False
Let f(t) = -t**2 - 3*t + 7. Let r be -8 + ((-5)/5)/(-1). Let s be f(r). Let d = s - -176. Is 10 a factor of d?
False
Suppose -11*z + 5*z - 234*z + 31920 = 0. Let q = -217 + 440. Let w = q - z. Does 9 divide w?
True
Let t(p) = -103*p - 74. Let u be t(4). Let j = u + 906. Is j a multiple of 35?
True
Suppose -190*j + 185*j + 25350 = 0. Suppose 9*o + 4*o = j. Does 39 divide o?
True
Is 856786/57 + 4/(-3) a multiple of 30?
True
Let u(l) = -42*l + 50*l**2 + 126205 - 52*l**2 - 126217. Suppose 0*v = 5*m - 3*v + 97, 2*m + 42 = 2*v. Is 31 a factor of u(m)?
True
Suppose -5*s - 14 - 1 = 0, 5*q = s + 13093. Let u be (q/455 + (-4)/26)*5. Is 2 a factor of (u/(-32)*2)/(3/(-36))?
False
Let h be -82 + (13/(-3) - (-12)/36). Let x = h + 76. Does 2 divide (-56)/70 - 238/x?
False
Suppose 0 = 20*r - 6*r - 168. Suppose -11*i = -r*i. Suppose i = -w - 43 + 103. Is 20 a factor of w?
True
Suppose 3*o - 2*o - 2*k - 4 = 0, 4*o + 2*k = 56. Let v be (-2)/4 + 0 + (-54)/o. Is 9 a factor of (-1227)/(-15) + (4/v - 0)?
True
Let l = 10363 + -6533. Does 153 divide l?
False
Let i(m) = -749*m + 18. Let q be i(-1). Suppose -q = 11*a - 2120. Is a a multiple of 18?
False
Let q be 44 + (-12)/30 + 36/(-10). Let i(k) = k**3 - 40*k**2 + 13*k + 74. Is i(q) a multiple of 72?
False
Suppose 0 = -3*v - 4*i + 12486, -25*i + 28*i - 58221 = -14*v. Is v a multiple of 42?
True
Let x(r) = r**3 + r + 9. Let k be x(7). Suppose -p + 2*t + 0*t + k = 0, 0 = 4*p - t - 1443. Does 7 divide p?
False
Let f = 3249 - -6834. Is f a multiple of 21?
False
Suppose -12*k + 7*k + 9716 = 9*k. Is k a multiple of 20?
False
Suppose 40 + 0 = 5*r - 5*o, -2*r + 8 = -4*o. Is 5 a factor of 0 + 213/(r/4)?
False
Suppose q - 3*d = 4*q - 6576, -4*d = 16. Is 9 a factor of q?
True
Let x(z) = -43*z - 111. Let q(l) = -22*l + 84. Let p be q(4). Does 3 divide x(p)?
False
Let j = 191 + -193. Does 45 divide (3 + -8 - j) + (306 - -12)?
True
Let n = 29 - 36. Let x(f) = -f**3 + 2*f**2 - 13*f - 41. Is 37 a factor of x(n)?
False
Let z(q) = q + 1. Let k(a) = 9*a + 11. Let f(w) = 3*k(w) - 24*z(w). Let n be f(9). Is 5 a factor of -5 + n/8 - 15/(-2)?
False
Let m(x) = -x**3 + x**2 - 5. Let k be m(-5). Suppose -4*i - k = 55. Is i/10 + (67 - -1) a multiple of 9?
True
Let v(w) = -26*w**3 - 6*w**2 - 8*w + 42. Is 178 a factor of v(-7)?
True
Let m = 38 - 20. Let y = m - 13. Suppose 0 = 5*x - 3*x + 6, -4*r = -y*x - 207. Does 8 divide r?
True
Let i = -415 - -817. Let n = i + -63. Is n a multiple of 5?
False
Let o(x) = 65*x + 6414. Is o(-96) a multiple of 10?
False
Let o(x) = -159*x**2 + x - 1. Let d be o(1). Let h = 1178 - d. Is 56 a factor of h?
False
Let k be (-460)/6*2079/(-35) - -6. Suppose 4*w + q = 4631, 5*w + 3*q - 1234 = k. Is 13 a factor of w?
True
Let r = 105 - -18. Suppose 115*x - r*x = -2688. Is x a multiple of 12?
True
Let o = 109 + -103. Suppose 0 = h + 2*y - 13, -4*y = -5*h + o*h - 21. Is 5 a factor of h?
True
Let i(q) = 2*q**3 - 10*q**2 + 5*q + 3. Let c be i(8). Suppose 0 = 2*r - 90 - 478. Suppose -3*b = 2*p - r, -b + c = 3*p + 4*b. Does 30 divide p?
False
Let i(y) = 64*y**2 - 96*y - 206. Is i(19) a multiple of 257?
True
Suppose -13*d + 121080 = 6*d + 21*d. Is d a multiple of 4?
False
Is (-455 - 5)*2/(1/((-450)/12)) a multiple of 103?
False
Suppose -2*c + 5*u = 3*c 