. Let m(w) = w**2 - 5*w - 1. Let s be m(5). Let c(b) = s*f(b) + 2*j(b). Is 14 a factor of c(-2)?
False
Let a = 6724 + 3932. Is 32 a factor of a?
True
Suppose -11037 = 3*a - 16*a. Suppose -9*u = -a - 456. Does 18 divide u?
False
Let p(d) = d**3 - 3*d**2 - 26*d - 7. Let v be p(-4). Is 16 a factor of (-846)/(-10) + v/25?
False
Suppose 4*y - 4*p + 4 = -0*y, -5*p = 4*y - 5. Suppose -f = -b + 4 + 2, y = -5*b + f + 38. Suppose 0*d - 664 = -b*d. Is d a multiple of 11?
False
Is (-11)/((-55)/1360)*1463/28 a multiple of 44?
True
Suppose 4*t + 0*t + 36 = -4*m, t - 27 = 5*m. Let q(l) = 7*l**2 - 11*l + 11. Let f be q(m). Suppose 4*v - f = -77. Does 21 divide v?
True
Does 112 divide (17588 - -224) + -4 + 0?
True
Suppose 557 = -18*c - 15*c + 1811. Is c even?
True
Suppose -318*k + 313*k = -10. Suppose 4*x + 174 = k*u + 8, -3*u + 2*x = -269. Does 3 divide u?
True
Let l be 194 - (1 + -1) - 1. Suppose -2*s + l = -27. Suppose 34 = -b + s. Does 16 divide b?
False
Suppose 2*u = 3*u + 4, 3*l - 273 = 3*u. Let y = -24 + l. Suppose -11*s + 10*s = -y. Does 21 divide s?
True
Let o = 7338 + -4220. Does 65 divide o?
False
Does 6 divide (-2)/17 - (-31563)/(-28)*(-4136)/187?
False
Let r(w) = 3*w + 6 + 4*w - 8*w. Let a be r(-5). Suppose a*l = 6*l + 360. Does 14 divide l?
False
Let x(z) = z + 16. Let j(u) = u**2 - 10*u + 11. Let d be j(8). Let l(w) = w + 16. Let p(y) = d*x(y) + 6*l(y). Does 10 divide p(4)?
True
Let l(w) = w**3 + 5*w**2 - 7*w - 1. Let f be l(-6). Suppose -2*o = -3*t + 5 - 8, 5*o + f*t - 20 = 0. Suppose -3*b = o - 30. Is 9 a factor of b?
True
Let h = -110 + 638. Suppose 19*v - h = 8*v. Is 16 a factor of v?
True
Let y(j) = -237*j + 117. Let x be y(-3). Let k = x - 124. Is 22 a factor of k?
True
Let k = 148 - 5. Suppose 2*p + 35 = k. Let a = p + 51. Is 21 a factor of a?
True
Suppose 109 = -2*v + l, -4*l + 112 = 2*v - 4*v. Is 11 a factor of (-12 - v/4) + (-1267)/(-2)?
False
Suppose 49*u + 10728 = 53*u - 4*o, 2*u + 4*o = 5388. Is 13 a factor of u?
False
Suppose -19*v + 12478 = -2*v. Suppose 8*h + 355 = 9*h + 3*y, 2*y + v = 2*h. Is h a multiple of 10?
False
Suppose 2256*w + 837816 = 2280*w. Is 29 a factor of w?
False
Let l be (3/(-9) + 1 + 0)*1179. Suppose 30*u - 27*u = l. Suppose u + 198 = 4*z + 4*y, 0 = -3*z - 4*y + 344. Does 8 divide z?
False
Let p = 3642 + 4329. Is 12 a factor of p?
False
Does 2 divide (-2)/(1 + 60/(-270) + 6598/(-8460))?
True
Suppose -p + 2 = -0*p. Suppose -2*h = 3*c - 22, 3*h - p*h + 2*c - 13 = 0. Suppose -5*z + 4*r + 538 + 175 = 0, h*r + 420 = 3*z. Is 29 a factor of z?
True
Let p(k) = 8*k**2 + k - 4060. Does 336 divide p(-73)?
False
Suppose -6*s = -5*s - 4. Suppose 4*i - 92 = -s*w, 2*w - 64 + 13 = -3*i. Does 9 divide 4/w + (-6820)/(-90) + -4?
True
Let i = 336 + -326. Is 13 a factor of (-6)/12 + 4455/i?
False
Suppose -4*g + 8297 = 5*d, 3*g + 5*d - 6222 = d. Suppose 6*i - 5*i + 5*s - 718 = 0, 3*i - 4*s - g = 0. Suppose 0 = -7*w + i + 289. Does 47 divide w?
True
Suppose -4*r = -m + 9737, 2*r - 235 + 223 = 0. Is 43 a factor of m?
True
Let y be ((-12)/15)/(1/(-3265)). Let i = y - 1620. Does 62 divide i?
True
Let z be 11709/24*(-12)/9*2. Let w = z - -1829. Is w a multiple of 19?
False
Let p be (484/55)/((-1)/(-20)). Suppose -k = -1, 0*k - 2*k = 3*x - p. Let g = x - 36. Does 11 divide g?
True
Let i(k) = -k**3 + 3*k**2 + 22*k + 37. Let n be i(-14). Let q = -1839 + n. Is q a multiple of 26?
True
Let z(p) = p**3 - 11*p**2 - 20*p + 19. Let x be z(9). Let v = 1511 + x. Is v a multiple of 18?
True
Does 3 divide 50 - (7 - (10 - (4 - 10)))?
False
Let v(g) = 2*g + 86. Let b = 124 + -104. Is v(b) a multiple of 9?
True
Suppose 0 = 3*k + 52 + 92. Let a = 50 + k. Suppose -285 = -b - a*b. Does 8 divide b?
False
Let w(g) = g**3 + 17*g**2 + 10*g + 157. Is w(-16) even?
False
Let w(m) be the first derivative of -3 + 1/4*m**4 + 3*m**3 + 3*m**2 + 4*m. Is w(-8) a multiple of 3?
False
Let p = -51 + 1126. Is 6 a factor of p?
False
Suppose 190*o - 188*o - 8 = 0. Suppose 0 = -o*a - 5 + 1, 2*v - 2*a - 1068 = 0. Does 17 divide v?
False
Suppose -5*x = 4*u - 185844, 65*u = 63*u - 3*x + 92918. Is 38 a factor of u?
False
Let n(i) = 240*i - 337. Does 103 divide n(19)?
True
Suppose i = -i. Suppose -p = -i*p - 3. Suppose -p*f = -4*l + 231, -312 = -5*l - 0*f - 4*f. Does 12 divide l?
True
Is 16 a factor of (-786)/(-1441) - (-71879)/11?
False
Let h be -8 - -6 - (-19539 - -1). Is 4 a factor of 10/(-75) - (2 + h/(-45))?
True
Let y(n) = n**3 - 93*n**2 + 80*n + 550. Is y(95) a multiple of 100?
True
Let k(s) = 2*s**3 + 4*s**2 + 3*s + 5. Let m(r) = -3*r**3 - 7*r**2 - 7*r - 9. Let f(x) = 5*k(x) + 3*m(x). Suppose 41*b - 8*b - 132 = 0. Is 11 a factor of f(b)?
True
Let p be 282/(-9)*846/(-12) + -1. Let z = 3694 - p. Is 18 a factor of z?
False
Suppose 467 = -4*b + 95. Let d = b + 93. Is (2 - (d - (3 + -4))) + 32 a multiple of 11?
True
Let i be (1 - (0 + 109))*(-99)/198. Let t be (i/(-45))/((-2)/(-20)*2). Is (48/t)/(3/(-30)) a multiple of 8?
True
Suppose -68*p + 108733 = 11493. Is 55 a factor of p?
True
Suppose -2*u + 353 = -3. Let t = 189 - u. Is t even?
False
Let y(c) = 190*c + 1415. Is 49 a factor of y(26)?
False
Let j be (-10)/(-55) + (-24)/11 - 7. Let f be 9/(-36) - (-2 + (-1)/4). Is 2 a factor of (-80)/(-45) - f/j?
True
Is 154 a factor of (528/120)/(4/24500)?
True
Let x be (1179 + -2)*(-3 + 0 + 4). Suppose 982 = 4*w + 2*g, 0 = -4*w + g - 198 + x. Is 9 a factor of w?
False
Let a = -15273 + 24313. Does 23 divide a?
False
Let b = 32349 - 21074. Is b a multiple of 41?
True
Let j(i) = 214*i**2 - 15*i + 16. Is j(5) a multiple of 16?
False
Let l(m) = -m**3 + 15*m**2 + 26*m + 16. Let p be l(17). Let j = 184 + p. Does 8 divide j?
True
Suppose -3*w + 38 = -m + 31, 2*w - 23 = -3*m. Suppose -m*g = 2*y - 204, -5*y = -2*g - 10*y + 69. Is g a multiple of 7?
True
Let d = 237 - 237. Suppose -5*u - 15*u + 4700 = d. Is 41 a factor of u?
False
Let j(n) = -3*n**3 - 4*n**2 + n + 1. Let v(d) = -d**3 + 10*d**2 - 2*d + 22. Let i be v(10). Suppose -i*r = 30 - 24. Is j(r) a multiple of 17?
False
Let t = 44330 + -33568. Does 21 divide t?
False
Let o = 24 + -36. Let g be o/(-198)*-3 - 7724/(-11). Suppose 11*z + g = 20*z. Is 21 a factor of z?
False
Let f = -48 - -38. Is (-2)/f + 3594/60*2 a multiple of 4?
True
Suppose 298 = 10*p + 1178. Let u = -75 - p. Is 3 a factor of u?
False
Suppose -164*f = -166*f - 5*j + 3506, -5254 = -3*f - 5*j. Is 47 a factor of f?
False
Suppose 2*m - 4*m + 6 = -5*h, h = 4*m + 24. Does 7 divide (7*-1)/(m - (-140)/21)?
True
Let l(h) = 2*h**2 - 2*h + 28. Let c be (146/(-8) + 4)/(12/32). Let q be (-7)/2*(c/7 + 2). Is l(q) a multiple of 18?
False
Suppose 7590 = 2*u - 3*g, -5*g + 4029 = u + 234. Is u a multiple of 41?
False
Let c = 437 - 86. Let k = c + -123. Is 22 a factor of k?
False
Let p(l) = 1596*l + 8559. Does 9 divide p(36)?
True
Let h(s) = -19*s**2 + 7*s - 23. Let c be h(4). Is 6/(-7)*(c + 5 + 0) a multiple of 18?
True
Suppose 0 = h - 5*p - 17650, -9049 - 61482 = -4*h - 3*p. Is h a multiple of 18?
False
Let x(b) = 500*b**2 + 507*b - 3. Is x(-4) a multiple of 54?
False
Suppose 42701 = 29*v - 76315. Is 27 a factor of v?
True
Let q be -7*(5 - 2 - 2)*-3. Suppose 0 = 3*m + 6 - q. Let g(j) = j**3 - 5*j - 1. Does 15 divide g(m)?
False
Let t(s) = -5*s**2 - 3*s - 3. Let b(g) = 5*g**2 + 4*g + 2. Let a(x) = -5*b(x) - 6*t(x). Let v be a(-6). Suppose -v - 16 = -8*y. Does 20 divide y?
False
Let q be 7/42 + (-94)/(-12). Is 5 a factor of q/(-6) + ((-2145)/(-9) - -3)?
True
Let r(p) = -1273*p + 1327. Does 122 divide r(-21)?
True
Suppose 6*b - 15828 = 3*b - 3*a, -2*b - a = -10550. Is b a multiple of 19?
False
Suppose -571 - 329 = 5*r. Let k = r - -359. Is 4 a factor of k?
False
Let r(x) be the third derivative of x**6/120 - x**5/20 - 7*x**4/24 - 4*x**3/3 + 40*x**2. Let w be r(9). Let j = -240 + w. Is 7 a factor of j?
True
Let m(p) = 3*p**3 - 25*p**2 + 10*p + 5. Does 2 divide m(8)?
False
Let m(h) = h**3 + 56*h**2 - 6*h + 14. Let t = -508 + 452. Is 14 a factor of m(t)?
True
Suppose 3*w - 4234 = -4*k, 3*w + 5281 = 5*k + w. Let m = -365 + k. Is 39 a factor of m?
False
Suppose -40*j = -55*j + 270. Is 27 a factor of (30/j - 1)*(-2778)/(-4)?
False
Suppose 3*h - 77031 = 116298. Does 17 divide h?
False
Is 125 + 24680 - (0 + -2) a multiple of 48?
False
Let j = 137 + 178. Let q = 499 - j. Suppose -q = -9*y + 32. Is y a 