se 3*m + 2*z = 3*z - 105, -30 = m - 2*z. Let u = m + 33. Is (-75)/u - (-12)/3 a multiple of 3?
False
Is 45328 + (-93 + 103 - (0 - -20)) a multiple of 166?
True
Let g(j) = 3*j**2 + 3*j - 3. Let r be g(-2). Suppose -3*q + 369 = -r*y, 3*q - y - 394 = -3*y. Does 30 divide q?
False
Let t(u) = -u**2 - 211*u + 66. Does 24 divide t(-37)?
True
Let g = -98 + 849. Suppose -5*v + 84 = -g. Is 13 a factor of v?
False
Let q = 219 - 229. Does 8 divide 852 + (30/q)/(6/8)?
True
Suppose -3*s + 15 = -0*s. Suppose -a + 2*o + 4796 = 4*a, s*a = -o + 4802. Suppose 2*w + 2*w = a. Is 12 a factor of w?
True
Suppose -5*o + 1171 = 2*v, o + 563 = 3*v - 1151. Is 31 a factor of v?
False
Let c = -17265 + 34739. Does 7 divide c?
False
Let v(x) = -48*x**2 - 5*x - 7. Let o be v(-3). Suppose -20*p - 164 - 916 = 0. Does 8 divide p/189 + o/(-14)?
False
Let f = 119 + -124. Let l be (f - -23)*-23*2/(-3). Let n = l - 163. Does 9 divide n?
False
Suppose 0 = -75*q + 81*q - 960. Let j = 1028 + q. Does 18 divide j?
True
Suppose 1674 = 12*a - 726. Let s = a + 550. Is s a multiple of 15?
True
Let h(i) = 17*i - 15. Suppose -19*s - 40 = -27*s. Is 12 a factor of h(s)?
False
Let d = 179 - 110. Suppose -3 - 57 = -4*b. Suppose -o + d = -b. Is o a multiple of 21?
True
Let m = 38 + -61. Let n = -31 - m. Is 3 a factor of 369/12 + (-2)/n?
False
Is 14/(-6 - 36) - 204052/(-12) a multiple of 118?
False
Let r be 41 - (-9)/(9/2)*2. Suppose 2*w = -13*w + r. Suppose 2*t - 60 = -w*f - t, 0 = -t + 5. Is 2 a factor of f?
False
Let i = -844 + 9431. Is 103 a factor of i?
False
Suppose 4*m + 7*j - 36422 = 9*j, 0 = 4*j - 20. Suppose 0 = -19*w + m + 6928. Does 30 divide w?
False
Let w = 1 + 3. Suppose -2*q + 18 = -w*q. Is (-30)/q + 3 + (-8)/(-12) a multiple of 3?
False
Let q(x) = x**3 + 13*x**2 + 26*x - 292. Is q(8) a multiple of 63?
True
Suppose 2*m + 42884 = 4*q, -m - 32160 = -48*q + 45*q. Is q a multiple of 69?
False
Suppose 3233 = 5*h - 3*f, 4*h + 1287 = 6*h + 5*f. Suppose x - t - h = -5*t, -3*x + 1863 = -3*t. Is 38 a factor of x?
False
Suppose 0 = 5*j + 15*j - 140. Let k(r) = -2*r**3 + 14*r**2 + 15*r + 3. Does 9 divide k(j)?
True
Let r(z) = 26*z**2 - 6*z - 20. Let o(n) = 2*n**3 - 5*n**2 + n - 4. Let i be o(2). Is r(i) a multiple of 34?
True
Suppose -2*x = -3*z - 17900 - 2292, 4*x - 40372 = 3*z. Is 102 a factor of x?
False
Suppose 17*x - 89348 = 79156. Suppose -9*v = -30*v + x. Is v a multiple of 59?
True
Let v = 1267 - -2473. Is 58 a factor of (-1 - (-9)/6)/(11/v)?
False
Let v(j) = -j**3 + 2*j**2 + 2*j + 14. Let d be v(5). Let n = d - -51. Is 2 - (n - 1) - -52 a multiple of 25?
False
Let r(t) = -6*t - 18. Let q be r(-4). Suppose -q = 3*z - 156. Is 25 a factor of z?
True
Suppose -13*p - p + 1174800 = 46*p. Does 20 divide p?
True
Let i = 11911 + -10073. Is 123 a factor of i?
False
Let i = -7206 + 8655. Is i a multiple of 19?
False
Is 58 a factor of -18 - (-18065 - (-27 + 18))?
True
Suppose -2*f + 33922 = 3*x - 31545, x - 3*f = 21815. Is 13 a factor of x?
False
Let c be 6 - -6*2/(-3). Suppose 0 = -3*l - c*r + 526 + 29, 2*r - 738 = -4*l. Is l a multiple of 61?
True
Let m = 22 - 18. Suppose m*i - 65 = -i. Suppose -4*s = -0*h - h - 52, 0 = -s - 3*h + i. Is s even?
False
Suppose 1613 = 2*d - 3*h - 1276, 3*d = -2*h + 4314. Does 40 divide d?
True
Let l(w) = w**2 - 13*w - 18. Suppose z - 4*r - 6 = -z, -4*z + 67 = 3*r. Let m be l(z). Does 14 divide ((-245)/21)/(1/m)?
True
Is 4/3*344313/402 a multiple of 13?
False
Let i(j) = 22*j**3 + 7*j**2 + 4*j + 60. Is 111 a factor of i(7)?
False
Suppose 5*s + 3*n = 50, 3*s = -n + 35 - 9. Let a be (4/(-3))/(78/(-8541)). Suppose s*o - 3*o + 2*u - a = 0, 0 = o - 2*u - 24. Is o a multiple of 10?
False
Suppose -3062 = -118*y + 18886. Does 6 divide y?
True
Suppose 4*n - 12 = n. Suppose n*x + 4 = -3*l + 25, -3*l = 5*x - 21. Suppose k + 2*t - 76 = 0, -13 = 5*t + l. Is k a multiple of 28?
True
Suppose -2*c = u - 15023, 4*c - 38512 - 21568 = -4*u. Does 98 divide u?
False
Suppose -3*x - 40 + 10 = -2*f, -5*f + 75 = 5*x. Suppose f*a + 1911 = 8406. Is 9 a factor of a?
False
Let y = 197 + -83. Let z = -59 + y. Let o = z - 12. Is 14 a factor of o?
False
Suppose 3*g = -5*c - 139, -4*g + 2*g - 100 = -4*c. Let y = 43 + g. Is 34 a factor of 4*y/(20/(-179))?
False
Let u = 434 + -431. Suppose -3*q = 2*v + q - 816, -u*v - 4*q = -1222. Is v a multiple of 21?
False
Let g = -37535 - -62573. Does 39 divide g?
True
Suppose -c = -3, 0*c = t + 3*c + 141. Let q = 80 + t. Let b = q - -142. Is b a multiple of 15?
False
Suppose 265*x - 269*x = -20128. Suppose 23*s = -11*s + x. Is 22 a factor of s?
False
Let u(r) = 90*r**2 + r - 11. Suppose -8*t + 4*n = -4*t, 0 = t - 5*n - 8. Does 14 divide u(t)?
False
Suppose -26*q + 29*q - 195 = 0. Suppose 12*y - q = 43. Is y a multiple of 5?
False
Let i be (328 - (-6)/(-6))*1/3. Let d = i + -184. Does 23 divide ((-126)/(-27))/((-2)/d)?
False
Let w(j) = j**3 + 10*j**2 - 33*j - 111. Let g be w(-12). Let s(f) = 5*f**2 + 1 + 0*f**2 + 5 + 9*f. Is s(g) a multiple of 24?
True
Let h(s) = -16 + 52030*s**3 - 19*s**2 - 8 - 52029*s**3 + 7*s. Let d = 59 - 40. Does 4 divide h(d)?
False
Let s(v) = 2*v**2 - v - 1. Let i be s(3). Suppose -314 = -7*c + 57. Let d = c - i. Does 13 divide d?
True
Suppose -1283*k = -1284*k - 370. Let z = k - -609. Does 14 divide z?
False
Let g = 4157 + -3043. Does 51 divide g?
False
Is 176 a factor of 3 + -4 + 13 - -14179?
False
Let u be (39/(-6))/((-3)/(-36)*-3). Let w = u - 22. Suppose -3*q + 72 = d, 0*q + w*d = 3*q - 87. Does 5 divide q?
True
Suppose 3*c = 4*v + v - 322, 5*c - v = -566. Let g be (-1)/(-3*2/c). Is 17 a factor of (-176)/28*g - 9/21?
True
Let q be (-775)/4 + 10/(-40). Let s = 272 + q. Let i = -6 + s. Is 9 a factor of i?
True
Suppose 9*o - 49315 + 612 - 9617 = 0. Does 39 divide o?
False
Let s(m) = 30*m + 1383 - 13*m + 75*m - 1395. Does 21 divide s(3)?
False
Let y(a) = 2186*a**2 - 4*a - 3. Does 7 divide y(-1)?
False
Suppose 0 = -13*m - 13980 + 43087. Is m a multiple of 167?
False
Does 9 divide (12 - -533)/((-5)/(-45))?
True
Is ((-1016)/10)/(278/(-13205)) a multiple of 19?
True
Let x = -12964 + 28012. Is 9 a factor of x?
True
Let i(r) = 2*r - 23. Let b be i(14). Suppose 81 = -3*h + b*j, 5*h = 7*j - 2*j - 145. Is 15 a factor of (-7 - h) + 2 + -2?
False
Let m(y) = 3*y - 9. Let j be m(6). Let q(t) be the third derivative of t**5/60 - t**4/24 + 3*t**3 - 177*t**2. Does 30 divide q(j)?
True
Let l(z) = 706*z**2 + 92*z - 391. Is l(5) a multiple of 6?
False
Does 102 divide (-2)/9 + 1388070/243?
True
Let v = 13048 + -8824. Is 49 a factor of v?
False
Let w(j) = 7 - 10 - 8*j + 30 + 11*j. Let k be w(-5). Let u(o) = -o**2 + 22*o - 20. Is u(k) a multiple of 20?
True
Let y = -2860 - -4994. Let u = -1462 + y. Is 48 a factor of u?
True
Suppose 8*f + 15 = 11*f. Suppose 5*u + f*u = 10. Does 21 divide (-8)/(40/(-45))*(u + 13)?
True
Let g(b) = b**2 + 3*b - 46. Let a(n) = -n**3 - 21*n**2 + n + 12. Let w be a(-21). Is 7 a factor of g(w)?
False
Let f = -1267 + 2823. Does 19 divide f?
False
Let u(x) = x**3 + 15*x**2 + x + 18. Let q be u(-15). Suppose -q*t + 12 = w, 12 = 5*t - 5*w + 4*w. Suppose -s = 5*l + 4*s, -t*l + 3*s = -30. Is 5 a factor of l?
True
Let q(d) = d**3 + 37*d**2 + 45*d - 365. Is q(22) a multiple of 17?
False
Suppose 3*w = -6*w + 2520. Suppose -4*l = 2*v - 112, -3*l = -11*v + 6*v + w. Is 4 a factor of v?
True
Let u(p) = p**2 + 8*p + 16. Let y be u(-3). Suppose 0 = -k + y - 91. Let x = k + 214. Is 16 a factor of x?
False
Suppose 0 = 16*m - 30*m + 182. Suppose 4*c - 147 = 93. Suppose -8*x = -m*x + c. Is 12 a factor of x?
True
Suppose 0 = -5*m - 5*u + 73945, 0 = 13*m - 8*m + 4*u - 73946. Does 170 divide m?
True
Let j = -358 - -363. Suppose 2*c = -b + 231, 3*b + 1155 = 8*b + j*c. Is b a multiple of 16?
False
Let s(a) = a**2 - 18*a - 12. Let y be s(20). Let l(z) = z**3 - 29*z**2 + 33*z - 63. Does 77 divide l(y)?
True
Let r(u) = -11*u - 19. Let p(m) = -2*m - 3. Let d(j) = 34*p(j) - 6*r(j). Let n be 6/(-9)*(-1 - -28). Does 24 divide d(n)?
True
Suppose 2*y - 24 = 2*z - 20, 2*z - 4*y + 4 = 0. Suppose -3*a - 23 = 5*g, -a = a - 5*g + 7. Does 4 divide (-186)/a + 2/z?
False
Suppose 42*h + 22520 - 151584 = -62*h. Is 8 a factor of h?
False
Let k(s) be the first derivative of 8*s**2 - 10*s - 16. Does 16 divide k(8)?
False
Let u(d) = -5*d**3 + 184*d**2 - 90*d + 7. Is u(33) a mul