2635. Suppose -2*f = h, 3*b - 534 = -4*f + j. Is b a multiple of 45?
False
Suppose l = -2*t + 35631, 4*t - 71280 = -2*l + 6*l. Suppose -429 = 12*d - t. Is 13 a factor of d?
False
Let q = 10370 + 9466. Is 87 a factor of q?
True
Let c(i) = 9*i + 60. Let b(f) = -18*f - 114. Let u(z) = 2*b(z) + 5*c(z). Is 64 a factor of u(7)?
False
Let v(i) = -2*i**3 - 45*i**2 - 8*i. Let r be v(-19). Let q = r + 3335. Does 42 divide q?
False
Let h(r) be the first derivative of -36*r**2 - 344*r - 33. Is 19 a factor of h(-9)?
True
Suppose 7 = -2*j - 5*z, -4*j = 4*z + z + 9. Let q be (-28)/8*6/(j - 2). Suppose 2640 = -q*v + 23*v. Is 11 a factor of v?
True
Let q(a) = 39*a + 8. Let k(z) be the second derivative of 19*z**3/3 + 7*z**2/2 - 6*z. Let w(m) = -5*k(m) + 4*q(m). Is w(-1) a multiple of 19?
False
Does 53 divide 384/(-1440) - (-21499)/15?
False
Let f(l) = l**2 - 4*l + 1. Let h be f(3). Let d be h + 2 - (-4 + -87). Does 26 divide 2 + 0 - 1*d/(-1)?
False
Suppose 5*n + 5*h - 9555 = 0, -2*n - 183 = 3*h - 4001. Does 161 divide n?
False
Let l = 10762 - 7593. Is 52 a factor of l?
False
Let p(i) = -6*i - 7. Let s(l) = -l. Let r(o) = 2*p(o) - 14*s(o). Let f be r(7). Suppose 10*n + f*n - 150 = 0. Does 3 divide n?
True
Is 1/5 + 19974/30 a multiple of 3?
True
Let z = 82 - 82. Suppose z*x - 59 = -c - 4*x, 3*x + 160 = 4*c. Let w = c + -5. Does 13 divide w?
False
Let h be (-2)/9 - 87/(-27). Suppose h*n - 14*n - 572 = 0. Let q = n + 88. Is q a multiple of 12?
True
Let u be ((-510)/9)/((-18)/27). Suppose 31 = -4*v - u. Let z = 95 + v. Does 23 divide z?
False
Is (10 + -18 - -2911) + (-5 - -6) + -2 a multiple of 4?
False
Let u(l) = l**3 - l**2. Let h(x) = -5*x**3 + 2*x**2 + x + 49. Let z(g) = h(g) + 4*u(g). Is 2 a factor of z(0)?
False
Suppose -4*s = -2*o + 26, 12*s = -o + 8*s - 11. Suppose -2970 = -o*j - 910. Does 33 divide j?
False
Suppose -3*o + 14387 = 4*x - 2*x, -o + 3*x + 4792 = 0. Is 101 a factor of o?
False
Let w(g) = 65*g**2 - 20*g + 241. Is 47 a factor of w(6)?
False
Let s(b) = 34*b**2 - 17*b - 9. Let t be s(8). Suppose 16*r - 16881 - t = 0. Is r a multiple of 14?
False
Let q = -134 - -345. Let x = 308 - q. Suppose -x = 2*k - 317. Is 22 a factor of k?
True
Suppose 5*f + u - 2069 = -0*u, -401 = -f + 3*u. Let w = -3815 + 4084. Let p = f - w. Is 16 a factor of p?
True
Is 51064510/3010 + (-2)/(-43) a multiple of 15?
True
Let l(n) = 5*n**2 - 18*n + 70. Is 3 a factor of l(7)?
True
Suppose 0*o - 37*o + 61346 = 0. Is o a multiple of 4?
False
Let l(g) = -967*g**3 + 8*g**2 + 6*g - 1. Does 15 divide l(-3)?
False
Let s = 555 - 346. Let y(v) = -v**3 - 14*v**2 + 14*v + 17. Let n be y(-16). Let f = n - s. Does 10 divide f?
False
Let v be (-24)/(-42)*21/6. Suppose -k + v*k = -5*c + 21, -2*c + 76 = 3*k. Suppose 22*l - k*l = -68. Is l a multiple of 2?
False
Let m be -3 + (1 - 52)/(36/(-384)). Let k be (-4)/(-22) + m/(-11). Let z = -29 - k. Is z a multiple of 3?
False
Suppose -99*f - 63547 = 53*f - 485347. Is 5 a factor of f?
True
Let i(z) = -z**2 + 10*z - 7. Let k be (32/80)/((-1)/(-15)). Let y be i(k). Suppose -y*u + 16*u = -126. Is u a multiple of 21?
True
Suppose -45 = -19*j + 18*j. Suppose 4*l = 5*m - 85 - j, m + 4*l = 26. Is 16 a factor of m?
False
Suppose 3*n = -15*n + 422217 - 19683. Is 103 a factor of n?
False
Let h = 28 - 29. Let r be h*(-2)/(-7) - (-13944)/98. Let j = r + -90. Is j a multiple of 30?
False
Suppose -7*o = -3*l - 11*o + 29, -35 = -l + 5*o. Suppose 10*g + 680 = l*g. Does 38 divide g?
False
Suppose 15 = 3*y, 3278 = 3*z - 0*z - 5*y. Suppose 8*a = z + 4755. Is a a multiple of 28?
False
Suppose -x - 4 = -3*m, -6*x - 6 = -5*m - 4*x. Suppose -f - 1493 = -4*y - m*f, 0 = 2*y + 3*f - 739. Does 17 divide y?
True
Let z = 870 - 768. Is 13 a factor of z?
False
Let f(b) = 2*b**3 + 0*b**2 - 3*b**3 - 5*b**2 - 4 - 10*b. Let o(n) = n**2 - 16*n - 112. Let u be o(21). Does 36 divide f(u)?
False
Let a(h) = 4 + 3*h**3 + 2*h - 2*h**3 + 0. Suppose -g + 4 = -4*v - 5*g, -3*v - g + 5 = 0. Is 9 a factor of a(v)?
False
Is 89 a factor of 22/(-16) - -1 - 13527738/(-4848)?
False
Let n = 773 - 142. Does 6 divide n?
False
Let f be (156/(-14))/((2/1)/(-14)). Let v = f + -144. Let i = 86 - v. Is 19 a factor of i?
True
Let p be (-31)/4 - -8 - 138/8. Let j(d) = -d**3 - 23*d**2 - 6*d - 25. Let o(z) = z**2 + z + 1. Let c(h) = -j(h) - 6*o(h). Is c(p) a multiple of 3?
False
Let p = -28 - -28. Let y be -3 + p + 1 + 2. Suppose -4*n + 589 = -y*n - 3*s, -5*s - 15 = 0. Does 29 divide n?
True
Suppose 2*a = -20*n + 22*n + 94128, 0 = 3*a + n - 141180. Is a a multiple of 35?
False
Let x(f) = 782*f - 131. Is x(2) a multiple of 33?
False
Let t(w) = -w**3 + 13*w**2 - w + 10. Let o be t(13). Let y be (-27)/(o + 14/4). Does 6 divide (196/(-6))/(36/y)?
False
Let i(d) = -407*d + 817. Is i(-5) a multiple of 92?
True
Let g = 120 + -115. Is g + 0 - (-87 - (-18 + 6)) a multiple of 4?
True
Let w = -79 + 61. Does 15 divide (4/6)/(w/(-4023))?
False
Let j(o) = -2*o**3 + 22*o**2 - o - 21. Let q be j(10). Suppose 27 = 14*b - q. Is b a multiple of 14?
True
Suppose -2*a + i + 8 = 0, 10 = 5*a - i - 13. Suppose z = 3*r - 398 - 456, a*z = -r + 306. Is r a multiple of 26?
True
Let c = 1438 - 2040. Let i = c + 978. Suppose 5*d - 5*r + 81 = i, -4*r = -4. Is d a multiple of 12?
True
Suppose -14*c + 17*c + 4*a + 5 = 0, 0 = 3*a - 12. Is 11 a factor of -118*(-8 - c)*(-1)/(-2)?
False
Let d(w) = -6*w**2 + 7*w + 22. Let b be d(-3). Let i = 184 - 87. Let q = b + i. Is 13 a factor of q?
False
Does 18 divide (-1215830)/(-126) + (-52)/117?
False
Suppose -2*m + 26972 = l - 12368, 0 = 4*m + 4*l - 78680. Is 10 a factor of m?
True
Let y(u) = -36*u**3 + 2*u**2 - 29*u - 4. Does 19 divide y(-6)?
True
Does 3 divide 427455/85 - 5/((-935)/22)?
False
Let n = -4359 + 8327. Is n a multiple of 62?
True
Does 13 divide (-9*((-3 - -2) + -4))/(159/1802)?
False
Suppose 3*o = 4*b - 9463 - 4183, 0 = 4*b + 4*o - 13604. Is b even?
False
Let n = 585 + -291. Is 48 a factor of (11 - n)*((-2)/(-2) - 2)?
False
Suppose 19*d + 84*d - 56*d - 1169172 = 0. Is 159 a factor of d?
False
Let y be 12*(-5)/(-110) + 32026/11. Suppose 56*d - 49*d = y. Is d a multiple of 13?
True
Let z = -5526 + 14817. Is z a multiple of 57?
True
Let a(j) = 14*j**2 - j + 1. Let l be a(-1). Suppose x - l = -9. Let k = x - 4. Does 2 divide k?
False
Let w(h) = 10*h**2 - 16*h - 132. Does 17 divide w(-7)?
False
Let l(c) = -c**2 - 13*c - 8. Let q be l(-9). Let p = 1666 - 1658. Suppose -732 - q = -p*k. Is 14 a factor of k?
False
Let z(l) = 3*l**2 - 2*l + 3 - 1 + 5*l. Suppose -2*s - 6 = 2*w, -3*s - 19 = -9*w + 14*w. Is z(s) a multiple of 5?
True
Let c be 1*(-1)/(-2)*42. Let u = c + -17. Suppose d + 7*x - u*x - 12 = 0, -3*x = -2*d + 51. Does 16 divide d?
False
Let i = -296 + 737. Does 38 divide (-14)/i*-7 - (-5128)/9?
True
Let c be (-1 - (3 - 2)) + 71172/6. Suppose 0 = -8*g + c + 2828. Is 34 a factor of g?
True
Let u(h) = -789*h - 5871. Is 26 a factor of u(-74)?
False
Suppose -60 = -2*o + 166. Let n = -112 + o. Let u(m) = 63*m**3 + m**2 - 3*m + 2. Is 26 a factor of u(n)?
False
Suppose -12*f - 684 = -14*f - 4*m, 3*m - 687 = -2*f. Is 2 a factor of f?
True
Let w(j) = 11*j**2 + 218*j - 230. Is w(-21) a multiple of 8?
False
Let i(f) = 27*f**2 + 1 - 2*f + 41*f**2 + 31*f - 55*f**2 + f**3. Does 2 divide i(-9)?
True
Let z(m) = 714*m**3 - m**2 - 5*m + 6. Suppose -3 = p - 2*v, -p = 6*v - 3*v - 7. Is 63 a factor of z(p)?
False
Suppose 4*k = -4*j + 212, -2*k + 21 + 91 = 5*j. Suppose 0*m - m - 4*r - 1 = 0, -2*m - 4*r = -2. Suppose -w = -g - 34 - 19, k = w - m*g. Is 33 a factor of w?
False
Suppose 4*h - 5356 = 4*b, -2679 = -2*h - 218*b + 219*b. Does 4 divide h?
True
Let z be 3/((-9)/(-3))*2/1. Suppose 5 = 3*w + z*w. Is 28 a factor of (-21)/21*(w + (-131 - -1))?
False
Let r be (2 + 13/(-3))/(4/12). Let i(g) = -g**3 - 11*g**2 - 38*g - 17. Is 5 a factor of i(r)?
False
Let x be (5 - 0)/(2/30*-3). Let p = 16 + x. Is 20*p/2*-1 a multiple of 10?
True
Let j(r) be the first derivative of -r**4/4 + 2*r**3/3 + 88*r + 76. Is 54 a factor of j(0)?
False
Let x be (-13 + 1)*(1 + -5 + 3). Suppose -g - x = -5*t, -3*t = 6 - 18. Let v = 34 - g. Is v a multiple of 11?
False
Suppose -432*l + 476*l = 4356. Let b be -2*(0 - 1) - -2. Suppose z - b*z = -l. Does 9 divide z?
False
Let o(b) = -b**3 + 5*b + 135. Let y = -404 + 404. Does 3 divide o(y)?
True
Is