ose 266 = -p - 3*y, 5*p = y - 2*y - 1288. Let i = f - p. Is 25 a factor of i?
False
Suppose 16*m - 282 = 10*m. Suppose -h = -15 - m. Suppose -3*o + h = -2*o. Is 16 a factor of o?
False
Let j = -66 - 6. Let g = j - -75. Suppose 5*i - 578 = -5*t + i, 0 = -g*t + i + 340. Is t a multiple of 38?
True
Let l = -118 - -266. Suppose 2*a - 222 = 5*a. Let j = l + a. Is 17 a factor of j?
False
Let c(r) be the third derivative of r**5/10 + 5*r**4/24 + 9*r**3/2 + 51*r**2 - 2. Is 26 a factor of c(-7)?
True
Suppose 356 = -22*k + 92. Let h(o) = -10*o - 58. Is 9 a factor of h(k)?
False
Let i be (0 + -5)/(125/(-150)). Let r be (3/6*i)/(-5 - -6). Suppose 3*a + 0*k = k + 604, -3*a + r*k + 600 = 0. Does 37 divide a?
False
Let a(v) = 66*v**2 - 10*v - 13. Is a(-5) a multiple of 7?
True
Let p(j) = j + 5. Let x = 58 + -63. Let a be p(x). Suppose 5*m - 2*i - 285 = i, a = -m + 2*i + 50. Does 15 divide m?
True
Let i = 15152 + -11924. Is i a multiple of 31?
False
Suppose 4*a - 19*a = -51518 - 19042. Is a a multiple of 98?
True
Let o(l) = 7*l - 7. Let w be o(1). Suppose -4*q - 4*u - 36 = w, -2*q + 2*u + 7 = -u. Is 18 a factor of -6*((-125)/10 - q)?
False
Let a = 5131 - 3167. Is a a multiple of 2?
True
Let r = 3716 - -22354. Is 55 a factor of r?
True
Let b(v) = 8*v**2 - 25*v + 9. Let w(s) = s**2 - s - 1. Let z(f) = b(f) - 2*w(f). Does 18 divide z(7)?
True
Let t(d) = 68*d**2 - 17*d + 168. Is 32 a factor of t(7)?
False
Let f(j) be the first derivative of 11*j**2 + 263*j - 169. Does 45 divide f(24)?
False
Suppose -6684 - 20398 = -a + w, -3*a - 3*w = -81282. Does 16 divide a?
True
Suppose r - 1 = 2. Suppose 2*a = -4*z + 5570, -z + 3*z - r*a = 2797. Is z a multiple of 38?
False
Let o = 109 + -195. Let h = -83 - o. Suppose -2*n + h*v + 242 = 75, -338 = -4*n + 2*v. Is 41 a factor of n?
False
Suppose 0*c - 106839 = -18*c + 9*c. Is 10 a factor of c?
False
Suppose s + s = 4*y + 16, 0 = 3*s + 2*y. Suppose i - s*j = 0, 0 = 3*i + 3*j - 5*j - 8. Suppose i*q + 68 = 2*z, 4*q = 2*z + q - 69. Does 18 divide z?
True
Suppose q - 4*t - 2832 = 0, 3*t - 206 = 5*q - 14417. Does 3 divide q?
True
Let t(q) = q**2 - q - 54. Let l be t(8). Suppose -4508 = -l*d - 12*d. Does 46 divide d?
True
Is (1 - (14/(-4) + 5))*(-32 + -12) a multiple of 8?
False
Let u(h) = 885*h**3 - 2*h**2 + 18*h + 20. Is 43 a factor of u(3)?
True
Suppose 18 - 38 = -4*b. Suppose -b*l = -8*l + 156. Let x = -4 + l. Does 8 divide x?
True
Let b(o) = -o**3 - 2*o**2 + 18*o - 40. Does 20 divide b(-15)?
False
Suppose 48*l - 55*l + 20188 = 0. Is 26 a factor of 12/36 + l/6?
False
Let h be ((-4)/(-3))/((-2)/(-3)). Let m be (-3 - (0 + -9)) + h/(-2). Suppose -4*d + 4*b + b + 341 = 0, m*d - 418 = -2*b. Is d a multiple of 28?
True
Let s(l) = 3*l - 4. Let z be s(7). Suppose 58 = -w - z. Does 4 divide (-1)/(3/w) - -2?
False
Suppose 0 = -1153*a + 1096*a + 49558 + 308174. Does 3 divide a?
True
Suppose 135*k + 945748 = 2228851 + 5934807. Is k a multiple of 34?
False
Let o be (-4)/2*(-13 + -24). Let l = o + 122. Does 5 divide l?
False
Let h = -41 - -73. Suppose -5 - 17 = b + 2*l, -5*b - 2*l - 102 = 0. Let f = b + h. Is 4 a factor of f?
True
Suppose 3*u + 71 + 189 = -5*f, -u + 4*f = 81. Let l = 87 + u. Suppose -j - 2*v + 97 = 0, -12 = -l*v - v. Does 22 divide j?
False
Is 3 a factor of (250/75)/((-5)/(-18825))?
False
Let b(z) = -1 - 20*z**3 + 2 + 28*z**3. Let p be b(1). Let k = 29 - p. Is 10 a factor of k?
True
Suppose -251*g + 126*g + 1890 = -124*g. Does 70 divide g?
True
Let j be (-36)/(-21) - (-12)/42. Suppose x - 1 = j. Suppose -x*y + 108 = -69. Does 8 divide y?
False
Let j be ((-18)/12)/(2/(-4)). Let k be 225/6 - (-3 + (-15)/(-6)). Suppose -114 = -0*b - j*b + 5*m, -4*m = b - k. Does 34 divide b?
False
Let j be 0/(-1)*(-27)/(-108). Suppose -q - s = -191, 5*s + j*s - 577 = -3*q. Is 27 a factor of q?
True
Suppose -3*d - 4797 = 5*k - 42704, 0 = 2*k + 2*d - 15162. Does 201 divide k?
False
Suppose 97009 + 10552 = 15*r - 42424. Does 9 divide r?
True
Suppose -k - 12 = -5*w, -k = w - 6 - 0. Does 46 divide (182/(-52))/((k + -2)/(-72))?
False
Suppose -41513 = -21*o - 11903. Is o/12 + 6/4 a multiple of 21?
False
Suppose 0 = -3*z + 15, 0 = -3*t + z + 61 + 9. Suppose -5*k + t = 0, 5*k - 33 = -2*q - 2. Suppose -238 = -q*u + 47. Is 19 a factor of u?
True
Let h(d) = -d**2 - 8*d + 65. Let m be h(-13). Suppose i - 372 = -m*i + 3*t, 1081 = 3*i - 2*t. Is 17 a factor of i?
True
Let q = 19112 - 12810. Is 46 a factor of q?
True
Let v = -713 - -3273. Is v a multiple of 40?
True
Let b = 7810 - 5514. Is 56 a factor of b?
True
Suppose 2*j + 20 = 3*z + 2*z, z - 4*j = 22. Does 38 divide (18 - 0)*38/z?
True
Let k be -2 + 0 + 0 - 43. Let p(g) = g**3 + 14*g**2 - 5*g - 21. Let i be p(-14). Let u = k + i. Is u a multiple of 4?
True
Let w be ((-9)/2)/((20/(-8))/(-5)). Let m be (-5)/15 + 15/w. Is -15 + 51 + m*1 a multiple of 7?
False
Let f = -15289 + 17940. Does 11 divide f?
True
Suppose -7791 = -3*g - 2*r, 3726 = 2*g + 3*r - 1468. Is 63 a factor of g?
False
Suppose -31 = 2*q - 37. Suppose -q*u = -u - 8. Suppose -23 = -o - 4*j, u*o - j - 12 = 29. Does 4 divide o?
False
Suppose 1387*q = -4*y + 1385*q + 38016, q - 47511 = -5*y. Is 87 a factor of y?
False
Let k = 43131 - 20706. Is k a multiple of 23?
True
Suppose 0 = -49*z + 168058 + 85811. Is z a multiple of 33?
True
Let l = 123656 - 64877. Does 9 divide l?
True
Let c be 4 + -4 + 8 - 1. Let q(i) = 4*i**2 - 5*i + 41. Is q(c) a multiple of 33?
False
Let u(d) = -4*d**3 - 2*d**2 - 4*d + 6. Suppose w - 1 = -4*s - 14, 3*w = s. Is u(s) a multiple of 54?
True
Let c = 6385 + 5605. Is c a multiple of 11?
True
Let q = -211 - -320. Suppose 3*k - 532 + q = 0. Suppose 5*w + 2*n = 530, 3*w = -2*n + 173 + k. Is w a multiple of 27?
True
Suppose -21 + 89 = 4*u. Let j = 25 - u. Is (-34)/(-4) - (-4)/j a multiple of 2?
False
Let p(f) be the first derivative of 4*f + 6*f**2 - 3*f**3 + 1/4*f**4 + 12. Is p(9) a multiple of 14?
True
Suppose -5*l + 15*l - 80 = 0. Suppose -4*o + 80 = -7*z + l*z, 4*o + 172 = 2*z. Does 5 divide z?
False
Suppose 6*o + 14 = 230. Suppose 4*w = -2*f + 54, -o = -3*f + 8*w - 5*w. Is 3 a factor of f?
False
Let x(q) = q + 8. Suppose r - 84 = 5*r. Let n = r - -25. Does 12 divide x(n)?
True
Let t(r) be the second derivative of 3*r**5/20 + r**4/4 - r**3/2 + r. Let p be t(2). Does 27 divide 10/p - 484/(-6)?
True
Let t(b) = -338*b + 79. Let i be t(-3). Suppose -2*h - 653 = -3*z, 4*h - i = -5*z + 32. Does 12 divide z?
False
Let j(g) = 5*g**2 - 6*g - 3. Let a be j(8). Let l = 294 + a. Suppose l = 7*f - 172. Does 8 divide f?
False
Suppose -24 = -3*m - 0*m. Let z(c) = 0 - m*c + 4*c - 8*c**3 + 2 + 11*c**3. Is z(4) a multiple of 23?
False
Let y(n) = -11*n - 54. Let v be y(-6). Suppose v*z = 773 - 113. Is z a multiple of 2?
False
Let q(h) = 19*h - 3. Suppose -12 = -39*x + 43*x. Let f be q(x). Does 28 divide (-24)/(f/16 - -3)?
False
Suppose 84*x + 26250 = 105*x. Is 10 a factor of x?
True
Let d be (-1)/(2/24*-3*1). Is 5/20*d + 101 a multiple of 13?
False
Suppose 5*z = 4*f, 3*f + 0*f + z = 0. Let n be 102/969 + (-93)/(-19). Suppose f*x - 150 = -n*x. Is 4 a factor of x?
False
Let k = 248 - 244. Suppose x - g = 78, 0 = g + g + k. Is x even?
True
Suppose -4*o - 5*t = 2282, 10*o + 2274 = 6*o - t. Let w = 2547 + o. Does 19 divide w?
False
Let i be 2/(-10) - 148/10. Let c be (-5)/i*(0 + 3). Does 11 divide (c + -247)*(-5)/15?
False
Let l = 2753 + 2533. Is 7 a factor of l?
False
Suppose -3*g = -i - 29, -g + 3*g + 5*i = 25. Suppose w - 4*z = -g, -w = 3*w + 5*z - 2. Does 15 divide (3 - 76/16)*(-94 - w)?
False
Let x(o) = -o**2 + 11*o - 24. Suppose -l - 4*s = 5, -5*l + 12 = -2*s - 7. Let i(z) = z**2 - 10*z + 23. Let q(j) = l*x(j) + 2*i(j). Does 7 divide q(8)?
True
Suppose -22*d = -18*d + 21*d. Does 22 divide d/(-6) + (-792)/(-6)?
True
Let f(d) be the first derivative of -43*d**5/60 - d**4/24 - 17*d**3/3 - 17. Let b(t) be the third derivative of f(t). Does 17 divide b(-1)?
True
Let r(l) = -9*l - 135. Let n be r(-26). Let t = n - 69. Is 10 a factor of t?
True
Let n(d) = 1894*d - 83. Is n(2) a multiple of 6?
False
Let r be ((-1)/(-2))/((-17)/(-1122)). Let q = -1 + r. Let u = q + -17. Does 10 divide u?
False
Let i = -327 - -338. Suppose -r - 3*f = -6*r + 55, -r = -3*f - i. Is r a multiple of 3?
False
Let g(s) = s**3 - 6*s**2 - 14*s - 5. Does 31 divide g(12)?
False
Let