de k(-14)?
True
Does 54 divide (-1 + 0)*2/(-3)*(-48447)/(-14)?
False
Let w = -1823 + 2634. Let k = 1396 - w. Suppose 4*h + k = 9*h. Does 13 divide h?
True
Let x be -33 + 0 - (-2)/(-1). Let k = -570 + 541. Let f = k - x. Is 6 a factor of f?
True
Let x be (5 + (-3)/2)/(2/8). Let h = 416 + x. Is h a multiple of 25?
False
Let f(p) = -4826*p + 3161. Is 258 a factor of f(-6)?
False
Let b(y) = -661*y**3 + y**2 - y. Let n be b(-1). Let l = 93 + n. Is 20 a factor of l?
False
Suppose 0 = -j + 7*j + 276. Let k = j - -51. Let a(w) = w**3 - 3*w**2 - 9*w + 8. Is 3 a factor of a(k)?
False
Let p(d) = d - 8. Let v be p(-2). Does 8 divide 2/(-4) + (-305)/v?
False
Let o(q) = -7*q - 13. Let z(j) = j + 18. Let v(f) = -3*f - 35. Let w(c) = 6*v(c) + 11*z(c). Let t(r) = -5*o(r) + 4*w(r). Does 22 divide t(12)?
False
Let w(t) = 61*t**2 - 27*t + 385. Is 13 a factor of w(9)?
True
Suppose 0 = -14*w + 45276 + 81448 + 14998. Does 8 divide w?
False
Let r = 25599 - 9226. Does 32 divide r?
False
Let q(x) = 16*x**2 + 6*x + 48. Is 54 a factor of q(-15)?
False
Let n(a) = -a**2 + 6*a - 1. Let q(u) = -u**2 + 7*u + 4. Let t be q(7). Let v be n(t). Suppose -390 = -v*w - 12. Is 9 a factor of w?
True
Let i(b) = -2*b - 3. Let x be i(-2). Suppose -o + 27 = -x. Let l = o + 4. Does 16 divide l?
True
Suppose 0 = 200*g - 199*g - 16777. Is g a multiple of 18?
False
Let o(l) be the third derivative of -l**4/12 + 11*l**3/3 + 7*l**2. Let g be o(10). Suppose 192 + 66 = g*i. Is 15 a factor of i?
False
Let o be 33154/44 - (-4)/8. Is (8 + 0 + o)*(-3)/(-3) a multiple of 70?
False
Is 9 a factor of 3/(7 + -8 + 43919/21958 + -1)?
False
Suppose 4*w + 322 = 2. Let i = -61 - w. Does 10 divide i - (2 - 0) - (1 - 3)?
False
Suppose -20 = -x + 32. Suppose 2 = f, 4*g + 178 = -0*g - f. Let p = x + g. Is p a multiple of 3?
False
Let l(a) = a**3 + 2*a**2 + 8*a + 9. Let b be l(-4). Let w = b + 56. Does 14 divide w/(3*(-1)/(-42))?
True
Let a(r) = 2*r - 10. Let c be a(4). Let u be 3/1*(1 + c) + 5. Suppose -4*i + 1008 = -0*i + 3*j, -5*i + 1267 = u*j. Is i a multiple of 49?
False
Let s(z) = -10*z**3 - 3*z**2 - 60*z - 364. Is s(-6) a multiple of 93?
False
Suppose -19849 = -3*f + n, 12*f - 2*n + 6614 = 13*f. Does 36 divide f?
False
Suppose -2*l + 2*z = -l - 10, 3*l - 30 = 4*z. Let j = -177 - l. Let i = 302 + j. Does 23 divide i?
True
Let r be (-3)/2 - 35/(-10). Suppose -41*g = -53*g + 36. Suppose 4*y + 61 = k, -4*k + 79 = -g*k + r*y. Is k a multiple of 6?
False
Let j = 227 + -226. Is 51 a factor of (-504)/(-63) - -655*j?
True
Let g(s) = s**3 + 9*s**2 - 26*s - 20. Let t be g(-12). Let x = t + 254. Is 6 a factor of x?
True
Let y = 271 - 61. Let d = -94 + y. Is d a multiple of 16?
False
Suppose -5*x = -4*l + 27094, 5*x - 46855 = -9*l + 14139. Is 14 a factor of l?
True
Let g(m) = -m**3 - 34*m**2 + 32*m - 105. Let d be g(-35). Let p(v) = 23*v + 704. Does 91 divide p(d)?
False
Let k = 113 - 396. Let a be k/7 + (-15)/(-35). Let n = 56 + a. Is n a multiple of 8?
True
Let g(m) = 2*m - 7*m**2 - 10*m**3 - 7 + 3*m**3 + 6*m**3 - 3*m. Let w be g(-6). Does 4 divide 6/(-18) + w/(-3)?
True
Let f(q) = 64*q**2 + 161*q - 2699. Is f(16) a multiple of 9?
False
Let w(b) = 3*b - 1. Let x be w(1). Let p(y) = 18*y - 269. Let o be p(15). Is ((-707)/(-56) + o/(-8))*x a multiple of 9?
False
Is (5 - -41)*214 - -14 a multiple of 57?
False
Let m = 2 + -5. Let b be (m + 1)/(3 - 4). Let r(i) = 2*i**3 + i**2 - i. Does 18 divide r(b)?
True
Suppose a - 920 = -3*l, -4*l + 1233 = -10*a + 5*a. Suppose -13*h = -l - 577. Does 17 divide h?
True
Suppose -128 = -26*c + 22*c. Let y = 34 - c. Suppose 5*s = 3*i + 318, -2*s + y*i - 4*i = -140. Is s a multiple of 6?
True
Suppose 0 = -5*l - 15. Let b = l - -4. Is 4 a factor of (20/(-5) - -24)*b/1?
True
Let q(a) = 4*a**2 + 15*a + 221. Does 15 divide q(-16)?
True
Suppose 17355 = 3*c - 5*b, -90*c + 5*b = -89*c - 5755. Is c a multiple of 50?
True
Let m be -3 + 5 + -1 - 1. Suppose -k + w + 35 = 0, m = -3*k + 4*w - 35 + 135. Suppose y + 3*d - k = 1, -y = -5*d - 73. Does 9 divide y?
False
Suppose 13*t - 10517 = 31161. Is 14 a factor of t?
True
Let m be 2/6 + (-5 - 310/(-15)). Is -6 - m*10/(-1) a multiple of 17?
False
Let v be (-40230)/(-70) + (-2)/(-7). Let k = 767 - v. Does 6 divide k?
True
Let v = -85 - -75. Let i be ((-24)/v)/((-9)/(-585)). Suppose -i = -2*u - u. Is 12 a factor of u?
False
Suppose 24760 = -52*r + 12*r. Let f = r - -817. Is 6 a factor of f?
True
Let c be (-17)/(204/(-2012)) - 4/6. Suppose -16*u + 105 = -c. Is u a multiple of 17?
True
Is 278 a factor of (-497168)/(-552)*9*1?
False
Suppose 10*k = -10*k + 300. Is 11 a factor of (3/(-2))/((45/(-2442))/k)?
True
Suppose 0 = -8*o - 1168 + 9128. Suppose 13*v = 97 + o. Suppose 4*r + 3*k - 19 - v = 0, -120 = -5*r - 2*k. Does 3 divide r?
False
Let z = -9292 + 13452. Is z a multiple of 16?
True
Suppose -59*c - 48036 = -236541. Is c a multiple of 9?
True
Let z be 7 + -4*(-2)/(-4). Suppose -3*y + 2*y + 16 = z*f, -5*y = -2*f + 28. Is f*(-3)/(-24)*146 a multiple of 20?
False
Let q(y) = 36*y + 49. Let c be q(10). Let d = c - 218. Is d a multiple of 17?
False
Suppose -k + 4 = 4. Suppose 12*m - 10*m + 3*l - 1388 = k, -668 = -m + 5*l. Is 43 a factor of m?
True
Suppose -11*q = -2*q. Suppose 44 = 2*b + 4*t, 5*t - 20 = -q*t. Let i(f) = f**3 - 13*f**2 - 4*f + 15. Is i(b) a multiple of 22?
False
Let o = 27 + -17. Let u be (-3 - (-54)/o)/(4/10). Suppose -u*r = -56 + 2. Is 8 a factor of r?
False
Suppose -7*p + 9*p = -106. Let v = -114 - -209. Let u = p + v. Is u a multiple of 26?
False
Suppose 2*t - 2409 = -5*v, -3*t - t + v = -4851. Suppose 2*i - 597 = o, -4*o + t = 9*i - 5*i. Does 15 divide i?
True
Suppose -3*o - 2 = -2*t, -5*o + 5*t - 4 = 6. Suppose 5*z + 0 = -20, o*z = -3*r + 1351. Is 25 a factor of r?
False
Let d(h) be the first derivative of h**3/6 + 9*h**2 - 3*h - 7. Let f(y) be the first derivative of d(y). Is f(0) a multiple of 3?
True
Let h = -308 - -236. Is 6/2 - (h - (-9)/(-3)) a multiple of 13?
True
Let g be (9 - -396)*2/(1 + 1). Suppose g = 19*c - 16*c. Let b = -70 + c. Is b a multiple of 11?
False
Let x = 21 - 48. Let h = x - -78. Let s = h + -19. Is s a multiple of 11?
False
Suppose -33*c + 12 = -30*c. Suppose 0 = k + 4*r - 6*r - 133, c*k + 4*r = 520. Is k a multiple of 67?
False
Let l(j) = 113*j**2 - 3*j - 2. Let u be l(-1). Let v be 0*3/(-6)*-1. Suppose -3*y + 7 + 2 = v, 0 = -5*k + 2*y + u. Does 4 divide k?
True
Suppose 0 = 31*f - 249282 - 365262. Does 7 divide f?
True
Suppose -2*h - 3084 + 56 = -3*r, -5*h = -r + 1018. Suppose 185*n - r = 181*n. Is 13 a factor of n?
False
Let h(p) = -628*p + 446. Is h(-2) a multiple of 9?
False
Suppose 0*u = -5*u - 2*z + 246, -u + 5*z = -33. Suppose -43*a + 2*g - 469 = -u*a, 3*g = 3*a - 273. Is 5 a factor of a?
False
Let b(a) be the third derivative of -a**6/120 - 7*a**5/12 + 4*a**4/3 + a**3/2 - 6*a**2 + 3*a. Does 36 divide b(-36)?
False
Let l(q) = -q**3 + 34*q**2 + 13*q - 82. Let a be l(34). Suppose 2*z + a = 3*z. Does 8 divide z?
True
Suppose 5*v = 3*u + 6*v - 18, 23 = 2*u - 3*v. Suppose -u*z - 218 = -729. Is z a multiple of 7?
False
Suppose -20*d + 368600 + 101137 = 47*d. Is d a multiple of 44?
False
Suppose 4*a + 2989 = 2*x + 3*x, 4*a - 2384 = -4*x. Suppose -x*i + 595*i + 408 = 0. Is 6 a factor of i?
True
Let p(b) = -424*b**2 + 3*b. Let d(f) = -288*f**2 + 2*f - 5. Let o(i) = -i**2 - 1. Let c(l) = d(l) - 5*o(l). Let n(r) = 7*c(r) - 5*p(r). Does 28 divide n(-1)?
True
Let j(l) = -19*l**3 + 10*l**2 + 11*l - 10. Let a be j(5). Is 13 a factor of ((-85)/25 + 1)*a/12?
True
Let i(u) = u**3 + 8*u**2 + 3*u + 8. Let g be i(-7). Let w(o) = o**3 + 4*o**2 - 5*o - 6. Let q be w(-4). Let p = g - q. Is 12 a factor of p?
False
Let a(l) = -5498*l + 88. Is 38 a factor of a(-1)?
True
Let c = -12181 - -14578. Is c a multiple of 17?
True
Let m be 5128/9 + (52/(-18))/(-13). Let z = 8 + m. Does 29 divide z?
False
Suppose 0 = 5*h, 4*h - 3 = 3*v + 3. Let q be v + 72/39 + 41/13. Suppose 3*g + 1040 = 7*g - 2*w, q*g - 787 = -2*w. Is 44 a factor of g?
False
Let m(l) = 18*l**2 + 91*l + 694. Does 26 divide m(-8)?
True
Let n be 1/(-3) - 1744/(-3). Let y = 73 + n. Does 26 divide y?
False
Let m = -650 - -1397. Suppose 727 = 3*a - a - 3*x, -2*a + m = x. Is a a multiple of 14?
False
Let z = 36703 + -32959. Is z a multiple of 104?
True
Suppose 0 = 3*y + 3*k - 1893,