 7209 = -657. Is 57 a factor of b?
True
Let q = 18137 + 19509. Does 7 divide q?
True
Let x be -1 + (-1)/((4 + -2)/422). Let s = x - -303. Suppose 9*l + s = 919. Is l a multiple of 23?
True
Is (-30)/(-12)*820/(-123)*2838/(-4) a multiple of 59?
False
Suppose 77 = 21*x - 14*x. Suppose -x*h + 10*h + 576 = 0. Is h a multiple of 16?
True
Suppose -4*a = -5*z - 11047 - 2174, -3*z + 9 = 0. Let b = a - 2085. Is b a multiple of 72?
True
Suppose 1183*m - 1184*m - v + 3744 = 0, 3*v + 18704 = 5*m. Is 23 a factor of m?
False
Let x(y) be the first derivative of 153*y**2/2 - 3*y + 5. Let w be x(3). Does 9 divide w/16*4/2?
False
Let w = -9405 - -16244. Is 7 a factor of w?
True
Let w(v) = 459*v + 395. Does 11 divide w(7)?
True
Let a = 2276 + -1205. Suppose 14*b - a = 11*b. Does 47 divide b?
False
Let v(l) = l**3 - 2*l**2 - l. Let f(r) = 6*r**3 - 17*r**2 + 6*r + 7. Let y(d) = f(d) - 5*v(d). Is 84 a factor of y(7)?
True
Does 19 divide (-114538)/(-8) - (-280)/(-1120)?
False
Suppose 76*j = 63*j + 17511. Is j a multiple of 49?
False
Suppose -19*z + 34*z = 24*z - 58374. Is z a multiple of 47?
True
Suppose -60 - 48 = -6*c. Is 6 a factor of (-4)/c + (-3138)/(-27)?
False
Let p(u) = u**3 + 27*u**2 + u + 36. Let c = -61 - -34. Let n be p(c). Suppose n*a - 72 = -18. Does 6 divide a?
True
Let u = 7502 - 1990. Does 15 divide u?
False
Suppose q - 2030 = -3*o, 2*q + 4*o - 3590 = 464. Let m = q - 1229. Does 22 divide m?
True
Let q = 118 - 237. Let d = q + 483. Is 14 a factor of d?
True
Suppose 0 = 5*a - p - 125, -a + 4*p + 27 = 2. Is ((-1)/3)/(((-125)/540)/a) a multiple of 12?
True
Suppose 13070 = o + t, 1103*o = 1107*o - 5*t - 52352. Is 31 a factor of o?
False
Suppose -35412 = -3*q - 4*u, 5*u = -21*q + 18*q + 35412. Is q a multiple of 13?
True
Suppose -119 = -4*x + 2*w - w, -4*x + 2*w + 114 = 0. Suppose -x*y = -24*y - 4340. Does 8 divide y?
False
Let v(h) = 4 - 19*h**2 + 8*h + 7*h**2 + 10*h**2 + 3 - h**3. Let t be v(-5). Is (-4)/(-6) - (-7)/(t/116) a multiple of 5?
True
Suppose 2 = -9*p + 10*p. Suppose 0 = -c + p*r + 5, -3*c + 4*c - 5*r = 2. Let x(q) = 3*q**2 + 5*q + 18. Is x(c) a multiple of 25?
True
Suppose -3*a = 2*g - 993 - 7266, 3*a + g - 8268 = 0. Is a a multiple of 31?
True
Suppose -170 + 1810 = 5*l - 5*m, 2*m = -12. Is 7 a factor of l?
True
Let j(m) = -m**3 - 6*m**2 + 2*m + 14. Let u(g) = g**3 - 13*g**2 + 15*g + 2. Let k be u(12). Let b = 32 - k. Does 2 divide j(b)?
True
Let m = 10090 + 543. Is m a multiple of 49?
True
Is (1672*(441/28)/(-21))/((-2)/39) a multiple of 110?
False
Let j be 1*(-3 + (-8)/(-4)) + 2. Let z be -27*j/(3 + -2). Let b = 40 + z. Is b a multiple of 13?
True
Suppose -2*h = -g + 13, 4*h + 3*g = 3 - 34. Let y(b) = 12*b + 126. Is 22 a factor of y(h)?
False
Suppose 0 = -23*h + 7*h + 624. Suppose -h*x + 4452 = -33*x. Is x a multiple of 48?
False
Let a = 5883 + 8887. Does 10 divide a?
True
Let x be 1 + 1 - 0/44. Suppose 154 = x*m + 2*w, -154 = 5*m - 7*m - 3*w. Does 11 divide m?
True
Let g = 9547 - -7962. Is g a multiple of 245?
False
Let t = 135 - 135. Suppose -3*q - g - g + 6 = t, -2*q - 3*g = -4. Suppose 3*i - 375 = 2*n + 41, i + q*n = 128. Does 20 divide i?
False
Suppose -4*s = 4*i - 1748, i - 343 = s + 108. Is 74 a factor of i?
True
Let j = 1105 + -250. Is j a multiple of 19?
True
Let f(c) = c**3 - 9*c**2 - 9*c + 19. Let x be f(10). Suppose x*n - 30*n = -144. Does 36 divide n?
True
Let r(h) = -2*h**3 - 37*h**2 - 55*h - 85. Is 10 a factor of r(-24)?
False
Suppose 2 = -9*m + 11*m. Is (-15502)/1011*14*(-3)/m a multiple of 92?
True
Let j = -5 - -9. Let f be 3 - (-4 + 6) - 1. Suppose 88 = 5*z - z - 5*n, f = -j*z - 2*n + 88. Is z a multiple of 18?
False
Let z be (50/(-125))/((6/(-10))/3). Suppose 31 = -z*a - 695. Let r = -210 - a. Is 23 a factor of r?
False
Let i = 245 - 53. Let c = i - 97. Is (3 - c/(-10))*(10 + -2) a multiple of 25?
True
Suppose 3*w - 3*v - 5595 = 0, -5*v - 3715 = 10*w - 12*w. Does 22 divide w?
True
Let t = 21 + 141. Suppose -13*y = -4*y - t. Is 1292/y + 16/72 a multiple of 18?
True
Does 13 divide 9 - (-6 - (0 + 4977))?
True
Let k = 41 - 38. Suppose -r - 5*u + 466 = k*r, 5*r - 591 = -2*u. Let g = r + -40. Is 34 a factor of g?
False
Let s(f) = 5*f**2 + 27*f + 39498. Does 42 divide s(0)?
False
Is ((-20)/(-150) + (-4926)/(-45))*380/8 a multiple of 19?
True
Let n = 335 + -323. Does 36 divide n/(6/(143 + 1))?
True
Let w(h) = -h**3 - 10*h**2 - 12*h - 63. Let k be w(-18). Suppose -2185 = -4*l + 3*m, 0*l - 5*l + m + k = 0. Is l a multiple of 10?
True
Suppose -12*u + 60836 = 83*u - 643019. Does 21 divide u?
False
Let w(t) = -6*t**2 - 18*t + 12*t**2 + 9 - 7*t**2. Let k be w(-15). Suppose -80 - k = -2*z. Does 40 divide z?
False
Suppose -168617 + 48441 = -4*c. Is c a multiple of 9?
False
Let r(c) = 7*c - 82. Let i(q) = q**3 - 31*q**2 + 24. Let p be i(31). Is r(p) a multiple of 43?
True
Let b(s) = s**3 - 4*s**2 + 5. Let a be b(4). Suppose -i = -4*i - 5*w + 84, 168 = a*i - w. Is 12 a factor of i?
False
Let d = 14273 + -1915. Does 25 divide d?
False
Let d be (-4)/(8/(-10))*1. Suppose 2*m + d*a - 149 = 188, 2*m + 3*a - 335 = 0. Is 10 a factor of m?
False
Let p be (2 - 3)/(6/4 - 1). Let n(r) = -6*r**3 + 5*r**2 + 6*r + 9. Let g be n(p). Is 60 a factor of (-7 - (-465)/g) + 1558/13?
True
Let b(d) = -12*d + 364. Is 2 a factor of b(-12)?
True
Let u = -1038 - -3456. Is u a multiple of 39?
True
Suppose -2*i - 115826 = -4*b, 86837 = 3*b - 187*i + 192*i. Does 108 divide b?
False
Let l(k) be the first derivative of 32 - 3/2*k**2 + 14*k - 1/3*k**3. Is 4 a factor of l(0)?
False
Is 3 a factor of 5/((-10)/(-9488))*(-79)/(-158)?
False
Let r be 0/(9/((-27)/6)). Suppose 2*b + 5*k + 118 - 353 = r, -4*k - 456 = -4*b. Suppose -2*o + 214 = 2*h, -5*o - b - 71 = -2*h. Is h a multiple of 30?
False
Let t(f) = 385*f**2 - 13*f + 4. Is t(2) a multiple of 23?
True
Is (-718)/((4/10)/((110/50)/(-11))) a multiple of 62?
False
Suppose 0 = -29*f + 41*f - 13113 - 23979. Does 41 divide f?
False
Let g = 9861 + -3846. Is 15 a factor of g?
True
Suppose 3*g = -9*p + 5*p + 7941, 4*p - 3*g = 7947. Is 6 a factor of p?
True
Let n = 862 - 863. Let m(q) = 610*q**2 + 10*q + 9. Is 29 a factor of m(n)?
True
Suppose -3*s = 2*z + 407 + 2604, 5*s + 4993 = 3*z. Let h = 155 - s. Is h/18 - 6/27 a multiple of 31?
False
Let g = 36 + -32. Does 44 divide ((-330)/g)/(48/(-256))?
True
Suppose 0 = 2*t + 5*b - 71, 2*b - 9 - 24 = -t. Let l(w) be the second derivative of -w**4/12 + 9*w**3/2 + 2*w**2 - w. Is l(t) a multiple of 35?
False
Let w = 63 + -65. Is -1 + 76/(6 + w) a multiple of 10?
False
Let w(t) = 207*t - 74. Let d = -699 - -703. Does 29 divide w(d)?
True
Let f(z) = z**2 + 6*z + 12. Let q be f(6). Let k = q + -105. Let g = k + 47. Does 13 divide g?
True
Suppose 50*m + 427930 = 861138 + 672792. Does 20 divide m?
True
Let a(z) be the third derivative of -z**4/4 - 4*z**3 + z**2 - 21. Is 6 a factor of a(-9)?
True
Suppose -4*y + 2*w - 99292 = 0, 2*y = -4*w - 25819 - 23837. Does 22 divide (y/348)/(-1 + (-1)/(-3))?
False
Let w = 699 - 305. Suppose -2*h + 306 - 980 = 5*l, 3*l + w = 4*h. Let o = -42 - l. Is o a multiple of 24?
False
Let h(q) = 76*q**2 + 16*q - 13. Is 46 a factor of h(-4)?
False
Suppose -2*p = 47 - 13. Let v(d) = 13*d + 21. Let n(f) = 38*f + 62. Let r(y) = p*v(y) + 6*n(y). Is 18 a factor of r(8)?
False
Suppose -2*z = 2*d + 228, 5*z - 5*d = -691 + 101. Let w = z + 266. Does 15 divide w?
True
Suppose k = -10*z + 27287, 5*z + 66254 = 2*k + 11830. Is k a multiple of 19?
True
Suppose 6*t + 48 = 18. Is 14*90/6 - t even?
False
Let m(d) = d**2 + 7*d + 21. Let a be m(-6). Let x be (920/a)/(1 - 2/3). Let g = 288 - x. Is g a multiple of 13?
True
Suppose 13*q - 50388 = 22*q - 26*q. Is 13 a factor of q?
True
Suppose -3*g - 29 = -5*y, -2*g = -0*y - 5*y + 21. Let b be 2*2 - g*7/(-14). Suppose -14*l + 8*l + 480 = b. Does 4 divide l?
True
Is 120/(1/(-1))*(-17 + 235/15) a multiple of 10?
True
Suppose -3*l = x - 4*x + 6, -5*x = 4*l + 35. Let a be (-7 + l + 5)*150/(-7). Suppose 3*m + 4*b - 42 = a, -m + 64 = 3*b. Is m a multiple of 12?
False
Suppose 0*c = c - 4*k - 14, -3*c + 3*k - 3 = 0. Let m(y) = -2*y**3 - 11*y**2 - 15*y - 6. Let q be m(c). Is 13 a factor of 124 + (1/3)/(10/q)?
False
Let c(u) = 1 + 8*u + 4 - 2 + 2*u**2. Let j be c(-8). Let f = -25 + j. Is f a multiple of 7?
True
Suppose 8794 - 1502 = 4*x. Suppose -5*