)?
False
Let z(h) = 9*h**2 - 2*h - 4. Let j be z(-2). Let f = -123 - -189. Let m = f - j. Is 4 a factor of m?
False
Suppose 4*r = 4*v - 16, -7*v = -2*v + r - 8. Let d(j) = 34*j**3 + j**2 - 4*j - 1. Is d(v) a multiple of 13?
False
Suppose -33*q + 20*q = -52. Suppose 0 = 2*i + 3*b - 1, -i = -4*b - 3 - 14. Suppose 5*h = q*l - 927, l + i*h = -3*l + 937. Is 32 a factor of l?
False
Suppose 2*x = 787 + 403. Let d = -410 + x. Suppose 2*j = -59 + d. Is j a multiple of 21?
True
Suppose -4*t - 5*l + 9617 = -0*l, -5*l + 25 = 0. Let h = t + -1214. Does 16 divide h?
True
Let w be (-60)/(-14) + (-4 - (-234)/63). Is (-6)/w - (-21675)/50 a multiple of 24?
True
Suppose 73*l = -68*l + 2915316. Does 12 divide l?
True
Suppose 4*f - 105124 = 2*j, -52538 = -2*f + 4*j - 0*j. Does 26 divide f?
False
Suppose -2*a - 2*d = -45440, -2*a - d + 14127 = -31319. Does 12 divide a?
False
Let p be 33*((-174)/18 + -2). Let a = 805 + p. Suppose 6*f = -f + a. Is f a multiple of 6?
True
Suppose -2*s - 8 = -g, 0 = g - 4*s + s - 11. Let f(v) = 40 - 50 - v**2 + 2*v**g + 12*v. Does 19 divide f(9)?
False
Let y(u) = -207*u + 874. Is y(-29) a multiple of 23?
True
Let c be -1*(-1)/((-7)/(-84)). Does 21 divide (8/c)/((-8)/(-1452))?
False
Suppose 159 + 92 = 3*t + k, -t - 3*k + 89 = 0. Suppose t = 3*i + 4*o + 16, 8 = 2*o. Let w = 207 - i. Is w a multiple of 10?
True
Let q(r) = -r**3 - 10*r**2 - 5*r - 6. Let j be q(-8). Let m = j - -176. Is 20 a factor of m?
False
Let a = -12 - 42. Let l = a - -55. Suppose 2*n - l = 59. Is 18 a factor of n?
False
Let a(g) = 19*g**3 + 32*g**2 - 246*g + 7. Is a(6) a multiple of 6?
False
Suppose -496*w = -940225 - 5330207. Does 21 divide w?
True
Suppose -2*o - 3*g = -3243, 0 = 2*o - 5*g - 2002 - 1297. Is 12 a factor of o?
True
Suppose -4*j = -5*y - 14328, 0 = -2*j - 526*y + 523*y + 7208. Does 13 divide j?
False
Let i be 60648/68 - (-1 + 15/17). Suppose -5*m - 1179 = -4*w, 2*m = -3*w - 2*m + i. Is w a multiple of 74?
True
Let p(x) be the second derivative of -x**4/12 + 19*x**3/6 - 15*x**2/2 + 45*x. Let k be p(18). Suppose 2*d - 13 - 67 = 2*g, g = -k*d + 100. Is d a multiple of 3?
False
Let y(o) = 3911*o + 1587. Is y(4) a multiple of 16?
False
Let d = -2435 + 9259. Does 12 divide d?
False
Let j(z) = -z**2 + 18*z - 17. Let m be j(20). Let q = -38 + m. Let o = -53 - q. Does 17 divide o?
False
Suppose 2*c - 2539 = -w + 1961, 4512 = w - 2*c. Does 51 divide w?
False
Suppose 0 = 35*c + 118629 - 738444. Is 203 a factor of c?
False
Let p(y) = y. Let d be p(2). Let t(r) = 12 + 14*r + 14*r**2 + 3*r**d + r**3 - 7*r - 3*r**2. Is t(-13) a multiple of 17?
False
Let g be 6816/9 - 3*1/9. Let p = g - 250. Is 39 a factor of p?
True
Let z(s) = -s**2 + 22*s + 138. Let o be z(-5). Suppose 3*c = 8*c - 2*y - 731, c - 153 = -o*y. Is 3 a factor of c?
True
Let d(q) = -q**2 - 50*q - 33. Let w be d(-22). Suppose w = -11*z + 5588. Does 28 divide z?
False
Let i = -204 + 531. Let l be 6/66*11 + 7. Suppose 1239 = l*n + i. Is 58 a factor of n?
False
Let p be ((-21)/(-9) + -1)*(-6)/(-4). Suppose p + 1 = c. Suppose -c*y + 2*m = -114, 0 = 2*y - y + 5*m - 55. Does 8 divide y?
True
Suppose 4*g = 4*c - 13124, -4*g = 2*c - g - 6522. Does 26 divide c?
False
Suppose -5*l - 154 = -9*f + 8*f, -828 = -5*f - 4*l. Does 40 divide (f/(-8))/(9/(-90))?
False
Let r(u) = 24*u**2 + 3*u + 2. Let j be r(-4). Let t = j + -62. Is t a multiple of 26?
True
Let z = -93 - -92. Is 12 a factor of (z*45/10)/3*-56?
True
Let o(f) = -26*f**2 + 5*f + 11. Let b(t) = 2*t + 1. Let a(v) = 4*b(v) - o(v). Is a(-5) a multiple of 12?
False
Let c be (-589 - -1)*(-54)/162. Let k = c - -250. Does 33 divide k?
False
Is -17 - -36 - -22506 - 10 a multiple of 285?
True
Let m(p) = 168*p**3 - 2*p**2 + 3. Let r be m(1). Let o = r + -127. Is o a multiple of 10?
False
Suppose 2*g - 5*a - 11 = 0, 0 = 4*g - 29*a + 31*a - 10. Suppose 0*i + 167 = g*i + r, 4*i + 5*r - 241 = 0. Does 15 divide i?
False
Let g = -120 - -129. Suppose 4*w - g*w = 0. Suppose 3*d = 3*c - 4*c + 93, w = -d - 5*c + 17. Is d a multiple of 7?
False
Let w be ((-1)/(3/4))/((-10)/45). Suppose -4*i = -3*a + a, 0 = -2*a - 2*i + w. Suppose 392 = 3*k + 2*c, -a*k - 4*c + 171 = -93. Is 13 a factor of k?
True
Let r(l) be the third derivative of 5*l**5/12 - 7*l**4/24 + 4*l**3/3 - 3*l**2 + 4. Is r(4) a multiple of 76?
True
Is 36 a factor of ((-20412)/(-180))/(1 - (-177)/(-180))?
True
Suppose -5*m + 48 = m. Let u = -1 + m. Suppose -k = -2*a - u - 57, -208 = -3*k + 2*a. Is k a multiple of 18?
True
Suppose 0 = 55*n + 4*n - 413. Suppose -n*x + 304 + 613 = 0. Does 14 divide x?
False
Suppose -5*v + 665 = 2*u - 392, -4*u + 2*v = -2054. Is u even?
True
Suppose -4*z - 53 = -3*z. Let b = z + 319. Suppose b = 5*c + 2*c. Does 7 divide c?
False
Let d be -7 - -9 - 3/(-2)*198. Is (-36)/54 + d/3 a multiple of 64?
False
Let o = -17 - -26. Let j(b) = -6*b**3 + 6*b**3 + o*b**3 - 1 - 3. Is j(2) a multiple of 9?
False
Let w(q) = q**3 + 17*q**2 - 17*q - 1. Let s be w(-18). Let v = 61 + s. Suppose 0*u - 6*u = -v. Is 2 a factor of u?
False
Let z(q) = q**3 - 7*q**2. Let g be z(7). Suppose -4*i + 2*t + 83 = -113, g = -2*i - 4*t + 88. Does 14 divide i?
False
Suppose 5 = -214*i + 215*i. Let j(r) = 23*r + 44. Does 20 divide j(i)?
False
Is 257 a factor of 187668/108*12/(6/3)?
False
Let q = 0 + 3. Suppose -5*z + 177 = -q*y - 429, 2*z + 3*y = 255. Is z a multiple of 3?
True
Let y(s) = -s**3 - 2*s**2 + 7*s + 12. Let d(o) = -4*o**3 - 5*o**2 - o + 2. Let m be d(-2). Suppose -2*f = -4*w - f - m, 3*f - 12 = 3*w. Does 8 divide y(w)?
True
Suppose -3*k + m - 3*m + 12 = 0, m = 5*k - 20. Suppose 14*x + 8*x - 9790 = 0. Suppose k*l - x = -85. Is 30 a factor of l?
True
Let t = -496 + 518. Is (-8 - t)*(-21)/9 a multiple of 14?
True
Let n be 6/3*-1*(-1137)/(-6). Let y = -253 - n. Let o = y - 30. Does 6 divide o?
True
Let d(h) = -h - 3. Let c be d(-8). Suppose -3*f = n - 190, -n - 8*f + 193 = -6*f. Is 10 a factor of 3/15*n - (-1)/c?
True
Let j be (-16 - -36)*316/(-10). Let h = j + 952. Does 40 divide h?
True
Suppose n + 328 = -g - 929, -5*n = 2*g + 6294. Let f = n - -2397. Does 39 divide f?
False
Suppose 0 = k - 4*k - 420. Let l(h) = 7*h**3 + 6*h**2 - 7. Let b be l(3). Let c = b + k. Is c a multiple of 12?
True
Suppose -2325895 = -82*q - 942473. Is q a multiple of 67?
False
Suppose 28*z + 141*z - 32*z = 4411811. Is 120 a factor of z?
False
Let g be (-8915)/(-85) - (-2)/17. Let w = 269 - g. Does 41 divide w?
True
Suppose 0 = -r + 2423 - 2387. Suppose z - 27528 = -r*z. Is 8 a factor of z?
True
Let p = -3106 - -3112. Suppose 32 = -4*s + 152. Suppose s = p*l - 4*l. Is l a multiple of 6?
False
Suppose 0 = -3*d - 2*p - 10, -d = -p + 2*p + 4. Let z = 0 - d. Does 12 divide (-5)/(-4)*(z + 2 + 56)?
False
Let a(i) = 3*i - 14*i - 3 + 8*i - 18*i**3 + 2*i**2 - i**2. Let r be a(-2). Suppose 2*k = -y + r, -k + 82 - 11 = -y. Is k a multiple of 37?
True
Let w(m) = 6*m + 1. Let x be w(6). Suppose -4*z - 21 + x = 0. Suppose 2*q - 150 = -3*f, -30 = 2*f + z*q - 138. Does 16 divide f?
True
Let f be (-48)/(-8) - (-5 + 2). Suppose -a + 157 = 4*z, 5*z = f - 4. Is a a multiple of 3?
True
Suppose -2*g + 4 + 4 = 0. Suppose 0 = a + 4*x - 238, 0 = -g*a - x + 957 + 55. Suppose 5*u + h = 590, a = 2*u + 2*h + 2*h. Does 12 divide u?
False
Let m(j) = -5*j + 23. Let t be m(4). Suppose 0 = -2*g - t*r + 2120, 0 = 2*g + 7*r - 3*r - 2120. Is 19 a factor of g?
False
Let s(n) = n**3 + 19*n**2 - 19*n + 12. Let f be s(-20). Let y = 11 + f. Suppose k - 26 = -b - y*k, 31 = b + 3*k. Is 13 a factor of b?
False
Let i(c) = c + 5. Let d be i(12). Suppose 0 = -d*l + 13*l + 1088. Suppose -2*z + y + 105 = -98, -3*z - 5*y = -l. Does 36 divide z?
False
Suppose -10*o + 350 = -100. Let x = o - -90. Is 79 a factor of x?
False
Suppose -11*h + 4745 = -6695 + 1342. Is 102 a factor of h?
True
Suppose -1 = p, -4*p = -6*o + o + 89. Let a(k) = 193*k + 1. Let g(m) = -611*m - 2. Let r(b) = 19*a(b) + 6*g(b). Does 2 divide r(o)?
True
Suppose -276 = -13*c + 10*c. Suppose 5*o = -4*r + c, -4*o + 2*o = 5*r - 47. Is 6 a factor of o?
False
Let n be (-2)/(-6) + (-1482)/(-9). Let k = n - 4. Let d = -56 + k. Is 21 a factor of d?
True
Suppose 4*g = 10492 + 12556. Is 142 a factor of g?
False
Let d = 82879 + -48847. Does 37 divide d?
False
Suppose -c + 2 + 2 = 0. Let l(t) be the first derivative of 2*t**2 + 13*t + 8. Is l(