). Suppose -16*h + 5*h + s = 0. Is 10 a factor of h?
False
Let z = 43726 + -16567. Does 11 divide z?
True
Let y(t) = 23*t + 18*t - 3*t - 64*t. Let b be y(-8). Suppose -10*p - 8 + b = 0. Is 10 a factor of p?
True
Suppose -5*i = 2*s - 25260, 0 = 5*i - 14 + 4. Is 25 a factor of s?
True
Suppose -3*g + 301 = 2*i, 503 = -g + 6*g + 2*i. Let q be (-2 - (-1 - 4)) + (51 - 26). Suppose t + q = g. Is 7 a factor of t?
False
Let o(w) = -w**2 - 15*w - 53. Let m be o(-8). Suppose 4*n - 885 + 193 = -m*c, 356 = 2*n + 4*c. Is n a multiple of 17?
True
Suppose 15*w = 4*w + 7788. Let m = w + -328. Is 19 a factor of m?
True
Let f be (-3)/2 - 1833/26. Let n = 215 + f. Does 13 divide n?
True
Let k = 20 + -14. Suppose -2528 = -5*u - 8*x + k*x, 0 = -u - 4*x + 520. Is u a multiple of 8?
True
Suppose 0 = -0*h + 2*h + 3*k + 87, -2*h + 3*k = 81. Let d = 46 + h. Suppose 0 = -2*j - 5*b + 137, -d*j = 9*b - 6*b - 239. Is j a multiple of 8?
True
Let g = -24354 + 33087. Does 18 divide g?
False
Suppose 307*l - 2548691 - 3889731 = 1017994. Is 66 a factor of l?
True
Let w(x) = 2*x**2 - 24*x - 22. Let h be w(13). Is 10/h + (-2492)/(-56) a multiple of 19?
False
Let w(o) = -10*o - 8. Let s = 102 - 146. Let p = 38 + s. Is 13 a factor of w(p)?
True
Suppose -4*w + 7*w + 5*z = -37, -3*z = 5*w + 35. Let k(f) = -f + 2. Let y be k(w). Is (y*4)/(13/((-39)/(-6))) a multiple of 10?
False
Let p(i) = 28*i**2 - 3*i**2 + 2 + 518*i + 14 + 2*i**3 - 524*i. Does 29 divide p(-12)?
True
Does 4 divide 6*(-3 - -2) + 1/((-3)/(-2946))?
True
Let u = 3782 + 3341. Let c be u/34 - (-2 - (-3)/2). Suppose -222 = -3*x + c. Does 16 divide x?
True
Let n be (-8)/(-4)*(-8)/(-4). Suppose 0 = 2*i - 3*u - 251, 9*i - 4*u - 624 = n*i. Suppose -17*j = -13*j - i. Does 10 divide j?
False
Suppose 21*j = -16*j + 23680. Suppose 152 = -4*t + j. Is 15 a factor of t?
False
Let i(b) = 144*b**2 + 179*b + 1091. Is i(-6) a multiple of 23?
False
Suppose -3*s - 15 = 0, -7*u - 5*s - 29 = -8*u. Suppose 0 = 4*o + 5*t - 1887, u*t = -2*o + 6*o - 1896. Is o a multiple of 11?
True
Let f(s) be the third derivative of 1/30*s**5 + 0*s + 5/24*s**4 - 4*s**3 + 0 - 20*s**2. Does 7 divide f(-10)?
True
Suppose -5*c - x - 2*x - 17942 = 0, -c - 3574 = -3*x. Let l be (-6)/(-10) - c/(-110). Is 19 a factor of (-12)/l + 447/24?
True
Let a(g) = g**2 + 9*g - 5. Let z be a(-22). Suppose 5*x - 5*c = 70, 4*c + 4 = x + 5*c. Suppose -10*f = -x*f - z. Is f a multiple of 44?
False
Let v(m) = m**2 + 10*m - 6. Let s be v(-10). Does 14 divide (-4771)/(-8) + (-4)/((-64)/s)?
False
Let p(g) = -g**3 + 14*g**2 + 13*g + 35. Let n be p(15). Suppose -2*q = -8, 0 = s + s - n*q - 484. Does 14 divide s?
True
Suppose 0 = -63*o + 61*o - 886. Let t = 766 + o. Does 37 divide t?
False
Let u = 1316 - 1170. Is u a multiple of 8?
False
Let w(g) = 3*g + 2. Let k(u) = -7*u - 15. Let z(x) = k(x) - 4*w(x). Does 2 divide z(-8)?
False
Suppose -28 + 18 = -5*q. Let i(h) = 9*h**2 - 7*h + 8. Let z be i(4). Suppose z = q*f - 58. Is f a multiple of 15?
False
Suppose 95 = 10*u - 2385. Is 21 a factor of u?
False
Let c = -26 - -31. Suppose -b + c*n = -2 + 23, 2*b + 12 = 4*n. Suppose b = s - 6. Does 10 divide s?
True
Let c(u) = 39*u - 36. Let m be c(1). Suppose -2*s - 4*t + 310 = -2*t, -145 = -s - m*t. Is s a multiple of 8?
True
Suppose -8*g = -26*g - 10350. Let z = 666 - g. Does 73 divide z?
True
Suppose 0 = 18*v - 29*v - 1848. Let a = 182 + v. Is a even?
True
Suppose 3*u - g - 15 = 0, 2*u = 4*u - 3*g - 3. Suppose 2*w - u*p + 7*p = 334, 4*w - 682 = 5*p. Is 7 a factor of w?
True
Let n(x) = 188*x**3 + 4*x**2 - 2*x + 13. Let p be n(-6). Is (16/(-20))/(p/13475 - -3) a multiple of 55?
True
Is 2383/7 + (-267)/623 a multiple of 5?
True
Suppose -h - 3*j = -2543, -3*h + 0*j + j = -7569. Is h a multiple of 9?
False
Let t = 363 + -142. Let s = -161 + t. Is 20 a factor of s?
True
Let o = -40 - -42. Suppose -378 = -3*m + o*k + 3*k, 504 = 4*m - 2*k. Let b = 243 - m. Does 13 divide b?
True
Suppose y - 3*w - 8 = 28, 4*w + 20 = 0. Let p = y + -21. Suppose p = 3*c - 4 - 68. Does 8 divide c?
True
Let g(x) = 0*x + x**2 + 5*x - 17 + 0*x. Suppose -5*t + 4*c + 43 = 0, -3*c = 24 - 18. Is 9 a factor of g(t)?
False
Let b(w) = w**2 - 12*w - 5. Suppose -4*r + 5*m + 63 = 0, -4*r + 0*r - 5*m = -33. Let o be b(r). Let u = o + 60. Is u a multiple of 55?
True
Let z(v) = 2*v**2 + 2*v + 636. Is z(53) a multiple of 60?
True
Let s be (-2)/10 - -11*(-1)/(-5). Let h(r) = -5*r**s + 1 - 3*r**2 - 3*r**2 - 6*r - 2*r**3 + 6*r**2. Is 39 a factor of h(-5)?
True
Is 29 a factor of (-12 + (-55)/22)*10*-209?
True
Let q be 1156/(-102) - (2/(-6) - -1). Is 5 a factor of 4/((-32)/(-418)) + 3/q?
False
Suppose -2*g - 16955 = -5*g - 4*r, -g + 2*r + 5665 = 0. Is 159 a factor of g?
False
Does 4 divide (-8*(-150)/72)/(-4 + (-1630)/(-405))?
False
Let b(z) = 5*z**3 + 128*z**2 + 2*z + 201. Does 101 divide b(-21)?
True
Let t(r) = 20*r + 83. Suppose 194 - 66 = 8*a. Does 13 divide t(a)?
True
Let n be 8/(-10) + 84/105. Suppose n = i + k - 74, k + 260 = 4*i - 4*k. Suppose 0 = -2*u + i + 106. Is 20 a factor of u?
False
Suppose 128*n = 46385 + 66895. Is 156 a factor of n?
False
Let a(b) be the first derivative of -11*b**5/40 + 5*b**4/24 - 7*b**3/3 + 12. Let f(r) be the third derivative of a(r). Is 20 a factor of f(-2)?
False
Suppose 4*b - 5*a - 111 = 0, -b = -3*a - 2*a - 9. Suppose 2225 = b*l - 2705. Does 29 divide l?
True
Suppose 0*q = -c + 4*q + 12132, -48567 = -4*c + 3*q. Suppose 0 = -38*n + 15*n + c. Does 33 divide n?
True
Let t be (4 - 45/10)/((-8)/32). Let b be (-2424)/(-10) - 2/5. Suppose -4*a + b = -t*a. Is a a multiple of 17?
False
Suppose 0 = -229*v + 51*v - 128095 + 625249. Is 49 a factor of v?
True
Let r(k) = 52*k + 32. Let m(v) = -51*v - 36. Let j(y) = 4*m(y) + 3*r(y). Does 16 divide j(-3)?
True
Suppose 0 = 2*m + 3*m - 30. Does 15 divide 141*(-3)/(-2) + m/(-4)?
True
Suppose -287 = 14*d - 315. Suppose 5*i - 5385 = -g, -d*i - 3*g + 2333 - 192 = 0. Does 30 divide i?
False
Suppose -4 = r + 3*r, 5*r = -2*s + 7. Let g(k) = k**3 - k**2 + 3*k + 6. Is 50 a factor of g(s)?
False
Let p be 3/5 - (56/10)/(-4). Suppose p*z - 10 = -2. Suppose -297 = -5*q - 3*i, 6 = -z*i + 2. Does 20 divide q?
True
Let w = -44 - -44. Suppose -4*v + 0*i = -4*i - 1908, 2*v - 4*i - 948 = w. Suppose -j = -9*j + v. Is 17 a factor of j?
False
Is 80 a factor of (8749/(-2))/((-231)/(-21) + (-23)/2)?
False
Let k = -82 + 295. Suppose -k = -a + 65. Does 32 divide a?
False
Let u(l) = 2223*l - 3347. Is 245 a factor of u(9)?
True
Let h(q) = -q**2 + 5*q - 114. Let m be h(-12). Let s = -297 - m. Is 7 a factor of s?
True
Is 17 a factor of 2 + -3 + 6995 + 16 + -5?
False
Let y(i) be the first derivative of i**3/3 - 10*i**2 + 6*i - 29. Let o be y(20). Suppose o*g - 672 = -g. Is 24 a factor of g?
True
Let b = 55601 - 35187. Is 8 a factor of b?
False
Suppose -18*z = -13*z. Does 3 divide -4 - (z + (0 - 1)*79)?
True
Let f(j) = 25*j + 3. Let x be f(-9). Is 20 a factor of (-150)/20*x/5?
False
Let h = 12318 - 5606. Suppose -3*d - 1987 + h = 0. Suppose -5*i = 4*i - d. Does 25 divide i?
True
Let g(c) = c**2 + 2*c - 16. Let i be g(3). Suppose -11*u = -6*u - 185. Let b = u - i. Does 7 divide b?
False
Suppose -2761249 - 6711296 = -513*r. Is r a multiple of 18?
False
Let u(i) = -10*i**2 + 8*i + 17. Let q be u(7). Let k = q - -734. Does 13 divide k?
False
Let w = 416 - 384. Suppose -30*q - 8 = -w*q, -416 = -4*r + 3*q. Is r a multiple of 5?
False
Let j = -10 + 28. Let g = j - 15. Is 13 a factor of 555/(2 + g) + 5 + -2?
False
Let c(f) be the third derivative of -f**6/60 + 7*f**5/30 + 7*f**4/24 + f**3 + 36*f**2. Does 11 divide c(7)?
True
Does 8 divide -7*(-5)/7 - -5155?
True
Let u = -119 + -53. Let m = 312 + u. Does 14 divide m?
True
Is 17 a factor of 1155/(-1 - -2) - (30 + -30)?
False
Suppose -3*c + 3*s + 550 = -2123, 6*c - 3*s = 5334. Is 3 a factor of c?
False
Let s(u) = -u**2 - 13*u - 4. Let f be s(-13). Let i be (0 - -3) + (-1 - -38). Does 5 divide (f/(-8))/(1 + (-39)/i)?
True
Suppose -r + 70 = 5*c, 0*c + 154 = 2*r + 3*c. Suppose 0 = 78*s - r*s + 130. Let h = 94 - s. Is 29 a factor of h?
True
Suppose -2*r = 3*b - 86288, -24*b = -r - 25*b + 43143. Does 45 divide r?
False
Let h(q) = q**3 + 62*q**2 + 59*q - 125. Let u be h(-61). Let s = 41 - -33. Is 6 a factor of s*(5 + u + -1)?
False
Let d(x) be the third derivative of -x**