t**3 - t**2 - t - 1. Is k(i) a multiple of 17?
False
Suppose -v - 3*v - 17 = 5*m, -5*m = 25. Suppose 0 = o + z - v*z - 391, 0 = -o + 5*z + 371. Is 33 a factor of 1*4/(16/o)?
True
Let m(y) = y**3 + 26*y**2 - 25*y + 45. Let b be m(-27). Is 15 a factor of (-486)/b*3*(-5)/(-9)?
True
Suppose -5*q = -6*q + 2. Suppose 0 = -5*u - 5*c + 13 + 102, 72 = 3*u + q*c. Suppose -u = -4*a + 3*a. Is a a multiple of 13?
True
Suppose -2*i + 9 = 3. Let s(q) = -15*q + 6*q + i + 10*q. Is s(16) a multiple of 19?
True
Let z be 34/9 - 6/(-27). Is (2/z - 1)*(-190 - 4) a multiple of 12?
False
Let h = 6 + -1. Suppose 2*d - 3 = h. Is 14 a factor of 2*12 + d/1?
True
Let w = -49 + 53. Suppose -4*q = 3*t - 365 + 61, 380 = 5*q - w*t. Is q a multiple of 19?
True
Suppose -j = -220 + 151. Does 2 divide j?
False
Suppose 6*b - 4646 = 2938. Is 16 a factor of b?
True
Let b = -40 - 69. Let f be 3 + -3 + (-4 - 164/4). Let l = f - b. Does 14 divide l?
False
Let x(j) = j**3 - 3*j**2 + 5*j - 15. Let b be x(5). Suppose 0 = -5*y + b + 5. Does 5 divide y?
False
Let k(m) = 731*m**3 - m**2 - 4*m - 4. Let f be k(-1). Does 20 divide (f/(-24))/((-2)/(-4))?
False
Let a = -378 - -618. Is a a multiple of 5?
True
Let p = 13 - 9. Suppose 0 = -3*j + 3*h, -2*j + 3*j + 2*h = 9. Suppose 0 = -4*d - p*y + 348, -j*d - d = y - 336. Does 21 divide d?
False
Suppose 1538 + 1346 = 2*j - 4*i, 2*j + 2*i = 2914. Does 48 divide j?
False
Let a = 65 - 65. Let s(d) = 8*d**2 + d + 143. Is s(a) a multiple of 30?
False
Let d = 126 - 76. Is d a multiple of 25?
True
Suppose 0 = -54*a - 52*a + 59254. Is a a multiple of 19?
False
Let x = -45 - -49. Suppose x*t - 112 = -2*h, -h + 3*t + 59 - 18 = 0. Is 10 a factor of h?
True
Let j(f) = 220*f**3 - 13*f**2 - 13*f - 1. Let u(i) = 73*i**3 - 4*i**2 - 4*i. Let z(c) = -2*j(c) + 7*u(c). Is z(1) a multiple of 18?
False
Let l be (-5 - -8) + 3*209. Suppose 3*y + 2*w - 642 = 0, -2*y - y + 2*w + l = 0. Does 11 divide (-4)/(-5) - y/(-10)?
True
Let v(y) = -14*y**3 - 44*y**3 + y - y - y. Does 17 divide v(-1)?
False
Let g(u) = 13*u**2 - 21*u + 120. Is g(5) a multiple of 20?
True
Let b = -86 - -86. Suppose -5*f = 2*w - 99, b = 5*w + f - 0*f - 259. Is w a multiple of 26?
True
Let y(d) be the third derivative of 7*d**4/24 + 6*d**3 + 20*d**2. Is y(4) a multiple of 4?
True
Let g(o) = -2*o + 8. Let w(v) = -v + 18. Let l be w(15). Let f be g(l). Does 13 divide f + 4 + 113 + -2?
True
Let o(p) = -3 - 2*p**2 - 3*p**3 + p**3 - p + 3*p**2 + p**3. Is 11 a factor of o(-2)?
True
Let p(h) = -h + 13. Let t be p(8). Suppose -3*y + 0*o + o = -18, 0 = -t*o. Suppose 0*u + 240 = y*u. Is u a multiple of 10?
True
Let l = 5 - -190. Let v = 327 - l. Does 22 divide v?
True
Suppose 4*i - 1530 = 2*h, -2*i = -3*i + 4*h + 400. Suppose d = 4*g - i, -3*d = -4*g + 221 + 159. Is 19 a factor of g?
True
Let o(x) = 2*x - 3. Let m be o(0). Let p = m - -37. Is 7 a factor of p?
False
Let t = -281 - -2081. Does 26 divide t?
False
Let l(u) = 2*u - 4. Let y(s) = -3*s + 5. Let b(j) = 3*l(j) + 4*y(j). Suppose -k = 7 - 1. Does 9 divide b(k)?
False
Let f(a) = -2780*a**3 + 3*a**2 + 12*a + 10. Is f(-1) a multiple of 27?
True
Let f = 126 + -144. Does 57 divide (f - -20) + (1 - 567)/(-2)?
True
Let q(c) be the second derivative of -c**4/12 + 2*c**3/3 + c**2/2 - 7*c. Let u be q(3). Is 15 a factor of (u/6)/((-6)/(-747))?
False
Let y = 131 + -77. Let j = 107 - y. Suppose -g + 286 = 5*u, -3*g - j = -4*u + 172. Is 22 a factor of u?
False
Suppose -5*z = -3*z - 1152. Is 64 a factor of z?
True
Suppose u + 4212 = -2*u. Let b be ((-6)/(-9))/((-3)/u). Is 13 a factor of b/20*10/3?
True
Suppose -7*u + 28*u - 118755 = 0. Is 15 a factor of u?
True
Let m = 473 - 356. Is 39 a factor of m?
True
Suppose 0 = 2*r - b + 3*b - 336, 2*b = 4*r - 672. Is 8 a factor of r?
True
Suppose 0 = 57*l - 51*l - 9924. Is l a multiple of 58?
False
Suppose 6*b - 9*b = 0. Suppose b*o - 35 = -o. Suppose 5*y - o = 45. Does 14 divide y?
False
Let z(y) = -39*y + 65. Is z(-10) a multiple of 35?
True
Suppose -3*y + g = -4*y + 314, 2*g - 1258 = -4*y. Let u = y + -210. Does 18 divide u?
False
Suppose -r - r = -6. Suppose r*o - 5*h + 2*h - 24 = 0, 0 = -2*o - 5*h - 12. Suppose -o - 52 = -2*u. Is u a multiple of 19?
False
Let q = 1 + 2. Suppose 0 = q*k - 3*c - 162, 0*k - 4*c = -3*k + 165. Is (k - 0) + 3*1 a multiple of 13?
False
Let v = -9 - -13. Let r = v + -4. Does 3 divide (-77)/(-7) - (r + 2)?
True
Suppose -4*d + 9 = g, 4*d - 5 - 79 = -4*g. Let l be -127 + (-1 - 0) + 2. Is l/10*g/(-5) a multiple of 13?
False
Let z(x) = -3*x**2 - 4*x + 24. Let k be z(-6). Let c = 94 - k. Does 14 divide c?
True
Suppose 2*f - r - 733 = 2266, 5*f + r - 7508 = 0. Does 38 divide f?
False
Let x(s) = -3*s - 9. Let n(t) = t**3 + 7*t**2 + 8*t + 4. Let r be n(-6). Let w be ((-12)/r - 1)*-16. Is 15 a factor of x(w)?
True
Let a(t) = t**3 - 18*t**2 - 4*t + 61. Does 18 divide a(19)?
False
Is 10 a factor of (2458/8)/(209/(-44) + 5)?
False
Let r = -540 - -988. Is 8 a factor of r?
True
Let o be (24/9)/((-10)/(-135)). Let d be 2 - (-2 - (-2)/2). Suppose -t + o = d. Does 9 divide t?
False
Let r(n) = -7*n - 10. Let c(f) = -f**3 - 8*f**2 - 8*f - 13. Let h be c(-7). Is 3 a factor of r(h)?
False
Suppose -p + 0*p = -26. Suppose 50 = 2*q - p. Suppose 4*c + q - 182 = 0. Is c a multiple of 10?
False
Does 5 divide (52002/45)/3 + 8/10?
False
Let r = 27 + -13. Let w = r - 11. Suppose -4*l + 39 + 18 = -k, 0 = 3*l - w*k - 54. Does 13 divide l?
True
Let i(c) be the first derivative of 2*c**3 - c**2/2 - 6*c + 10. Suppose 0 = 3*u + 3 + 6. Is i(u) a multiple of 9?
False
Suppose -3*r - t - 321 + 1369 = 0, -2*r = 2*t - 700. Does 54 divide r?
False
Let i(n) = 4 + 2 + 2*n**3 + 1 - 10*n**2 - 5*n + 8. Is i(7) a multiple of 22?
True
Suppose -2*w - 16 + 38 = n, 3*w + 4*n - 43 = 0. Suppose 482 = w*o - 499. Is 30 a factor of o?
False
Let c = 115 - 73. Let s(l) = l**2 + 11*l - 9. Let f be s(-10). Let z = f + c. Does 16 divide z?
False
Let q(o) = o**2 + 7*o + 4. Let j be q(-3). Let p(t) = -5*t + 8. Let l be p(j). Does 9 divide (-1)/(-4) - (-2052)/l?
False
Is 34 a factor of (-88)/(-5)*205/82?
False
Suppose -11*n = -3*n - 1352. Is n a multiple of 19?
False
Suppose 5*x + 114 = 2424. Is 21 a factor of x?
True
Let s = -37 + 52. Suppose -s - 5 = 4*b. Is (2/b)/((-5)/750) a multiple of 12?
True
Let d = 13 + -10. Suppose -5*r = -d*k - 2*k - 390, 2*k - 282 = -4*r. Does 14 divide r?
False
Let a(q) = -q**3 + 27*q**2 - 24*q - 87. Does 27 divide a(25)?
False
Suppose -5*o + 31 = 6. Suppose 146 - 676 = o*a. Let i = a + 163. Is i a multiple of 20?
False
Let q = -57 + 82. Suppose 3 = o - q. Is 14 a factor of o?
True
Let w be ((-19)/(-5))/(2/10). Let u be 3/(-4) + (-8)/32. Let k = u + w. Does 6 divide k?
True
Let q(c) = 6*c**2 - 5*c - 5. Suppose 0 = -3*o + 2*j - 5, o - 6 = 5*j + 1. Does 4 divide q(o)?
True
Let n(u) = -3*u + 1. Let x be n(-6). Suppose 4*s = 233 + x. Does 21 divide s?
True
Let a(y) = 3*y**3 + 29*y**2 + 4*y - 16. Is 17 a factor of a(-8)?
True
Let r = -228 + 127. Let o = -5 - r. Does 4 divide o?
True
Let p = -2 - -5. Suppose p*y - 5*f + 4 = 0, y - 7 = -4*f + 3. Suppose -y*v + 0*v + 68 = 0. Is v a multiple of 17?
True
Suppose -2*a + 124 = 2*a. Let y = a + -17. Suppose -y*c = -18*c + 60. Is 5 a factor of c?
True
Suppose -4*i = 5*c - c + 28, 2*c + 18 = 2*i. Let y(t) = 2*t**2 + 22*t + 12. Let b(j) = 6*j**2 + 64*j + 35. Let m(s) = 6*b(s) - 17*y(s). Is 25 a factor of m(c)?
False
Let y(v) = 479*v**2 + 39*v - 6. Does 122 divide y(3)?
False
Does 4 divide (-1)/5 + 14*387/90?
True
Suppose 0 = 12*c - 1127 - 193. Is 10 a factor of c?
True
Let j(l) = l**3 - 11*l**2 + 15*l - 15. Let h be j(10). Suppose q - 8 = -q + 2*f, 2*f + h = 5*q. Is q a multiple of 2?
False
Let i be (-1)/(-4) + (-82)/8. Let j(p) = -p**3 - 10*p**2 - 3*p + 13. Is 5 a factor of j(i)?
False
Suppose q + 3*k - 28 = 0, -5*q - 2*k + 200 = k. Is 15 a factor of q + (2 - -1) + -2?
False
Let d(c) be the second derivative of -c**4/6 + 23*c**3/6 + 17*c**2 - c + 4. Is d(12) a multiple of 21?
False
Let t(b) = -1749*b**3 - b**2 + 7*b + 7. Let x be t(-1). Suppose x = 3*y + 2*y + 2*f, -2*f = y - 356. Does 12 divide y?
True
Let a = -6 - -21. Suppose -3*v + 2*n + 33 = 5*n, a = -3*n. Does 7 divide v?
False
Suppose 2*s + b - 172 = 0, 6*s - 2*s - 3*b = 324. Is 12 a factor of s?
True
Let u(d) = 3116*d**2 + 45*d + 46. Does 45 di