 p be y(-2). Suppose -4*m - p = -9*m - 4*g, -m = -2*g - 4. Suppose -54 = -b - 3*x, 0*x + 202 = m*b - 2*x. Does 3 divide b?
True
Let c(w) = w**3 - 12*w**2 + 16*w + 15. Let t be c(12). Let r(h) = -6*h**2 + 2*h - 1. Let k be r(-4). Let a = k + t. Is 17 a factor of a?
True
Let d be -1 + 2767/1 - 4 - 2. Suppose -113*m - d = -118*m. Does 9 divide m?
False
Let d = -426 - -233. Let c = d - -205. Is 12 a factor of c?
True
Suppose 0 = -p + 22*o - 24*o + 10, -20 = -p + 3*o. Suppose p*g - 12*g - 2382 = 0. Does 9 divide g?
False
Let h = -67 + 94. Let w be (-12*2/14)/(h/(-189)). Suppose -w*s + 60 = -8*s. Is s a multiple of 6?
False
Let l(i) = -i**3 - 7*i**2 + 2*i + 38. Let d be l(-7). Is (16/3)/(d/504) a multiple of 14?
True
Suppose 2*f + 3424 = 14656. Is f a multiple of 156?
True
Let w be (-13 - 200/(-16))/(1/(-4)). Suppose 2*f + 4*z = 70, -44 = 4*f + w*z - 214. Is f a multiple of 9?
True
Let i(d) = d**3 - 15*d**2 + 9*d + 62. Let q be i(14). Let f(u) = u**2 - u**2 + u**2 - 11 + 2*u. Does 4 divide f(q)?
False
Suppose 0 = 4*k + g - 9076, 3*k = 26*g - 21*g + 6830. Does 7 divide k?
False
Suppose -34*f + 36*f = 48. Let g = -24 + f. Suppose -8*l - 3*l + 1155 = g. Is l a multiple of 7?
True
Let t = -44 - -6. Let i = 46 + t. Suppose -20 = -m - c, m + c + 3*c = i. Is 4 a factor of m?
True
Suppose 2468*k = 2477*k - 288. Let l(i) = i**2 + 6*i + 7. Let f be l(-5). Let z = k - f. Is z even?
True
Suppose -54*q = -25194 - 229254. Is 38 a factor of q?
True
Let a be (-1)/((-4)/(-1380)*-3). Suppose -a = -8*x + 101. Is x even?
False
Is (-275)/220 - (-115018)/8 a multiple of 15?
False
Let w(d) = -d**2 - d + 2. Let u(x) = -22*x**2 + 11*x - 64. Let g(m) = -u(m) + 5*w(m). Does 59 divide g(6)?
True
Suppose 6*w + 72 = 15*w. Suppose w*i - 2*i - 672 = 0. Is i a multiple of 8?
True
Let b be 28/7 - (3 - -3 - 57). Suppose -5 + 29 = 2*o + 5*q, o + 4*q = 18. Suppose t = -5*h + 61, 3*h - 2*t - o*t = b. Is 13 a factor of h?
True
Let c = -12648 - -36180. Is c a multiple of 12?
True
Suppose 6*o + 568 + 662 = 0. Let d = 289 + o. Is 14 a factor of d?
True
Let x(n) = -n**2 - 1. Let b(j) = 4*j**2 + 20*j + 9. Let f(i) = b(i) + 2*x(i). Let w be f(-12). Suppose 7*k - w - 78 = 0. Is k even?
False
Let x(m) = m**2 + 14*m + 44. Let c be x(-10). Suppose 0 = 5*w - 19*s + 14*s - 375, -197 = -3*w - c*s. Is w a multiple of 12?
False
Let t(n) = n**3 + 12*n**2 - 44*n + 68. Does 12 divide t(26)?
True
Let u = 330 + -560. Let i be u/(-7)*(-30 + 37). Let c = -92 + i. Does 23 divide c?
True
Let z = 37182 + -20245. Does 77 divide z?
False
Suppose -j + 2 + 6 = 0. Let l be (90/(-36))/(10/(-44)). Let i = l + j. Is 14 a factor of i?
False
Suppose -5*o = -20, -2*r - 5*o + 2599 = 227. Is 84 a factor of r?
True
Let f(p) be the first derivative of -5*p**2/2 - 11*p + 20. Let s be f(-2). Does 19 divide 3/(-3)*s/(-1)*-95?
True
Let u(l) = -l**3 - 48*l**2 - 4*l + 43. Is 44 a factor of u(-49)?
True
Let u be (1 + -2 + -1)/(76/(-114)). Is 728/(-39)*u*(-6)/4 a multiple of 3?
True
Suppose 40*x + 1719 + 8761 = 0. Is 5462/5 - 0 - x/(-655) a multiple of 12?
True
Suppose 0 = 2*s + 2*x - 1968, s + 4924 = 6*s + 4*x. Suppose 9*d = 5069 + s. Does 36 divide d?
False
Let o(q) = 1399*q**2 - 27*q - 5. Let w(r) = 280*r**2 - 5*r - 1. Let d(s) = -2*o(s) + 11*w(s). Does 28 divide d(1)?
True
Is 65 a factor of 15921 - ((-388)/291)/(1/3)?
True
Does 109 divide (-117)/(55/(-107) - 18/(-36))?
False
Let x(c) = -5*c**3 - 3*c**2 + 21*c - 37. Let i(d) = d**3 + d**2 + 1. Let r(v) = -4*i(v) - x(v). Is r(11) a multiple of 22?
True
Let x be (-8135)/(-50) + 66/220. Let p = -184 - -89. Let y = x + p. Is 13 a factor of y?
False
Suppose -k = -4*c + 160518, 63*c - 4*k = 62*c + 40107. Is 21 a factor of c?
True
Suppose 3*r + 22 = c, -2*c - r + 5 = -4. Let g(x) = -x**3 + 7*x**2 + 3*x - 10. Let o be g(c). Suppose 0 = 7*q - o*q + 20. Is 4 a factor of q?
False
Let j = -1 + 5. Let c be (-522)/j*(0 + 4/(-6)). Does 10 divide 1*c - 2/(-2)?
False
Let a(u) = u**2 + 11*u - 24. Let j be a(-13). Let k be (-120)/54 + j/9 - -2. Suppose 5*n - 83 - 237 = k. Does 16 divide n?
True
Does 42 divide 36398/14 + 2/14?
False
Suppose -12*j = -11*j + 29. Let g = j - -25. Does 8 divide (2/g)/((-1)/2) + 40?
False
Let d be -6*(24/6 + -3). Does 8 divide (-145 - (d - -1))*-2?
True
Let i(k) = 6*k + 24. Let f be i(-4). Suppose f = 3*x + 13*x - 9216. Suppose 23*y = 27*y - x. Does 36 divide y?
True
Let k = -1266 - -5391. Is k a multiple of 28?
False
Does 10 divide -4*-1*2/4 - (63 + -8374)?
False
Let p(w) = 4*w**2 - 13*w + 12. Suppose -4*i + 4*q = -4, -i + q - 11 = -3*i. Let y be (-4 - (2 - i)) + 7. Does 16 divide p(y)?
False
Let r(c) = 5*c - 2*c**2 + 2*c**3 - 2*c**2 - 17 + 16*c**2 - c**3. Let s be 228/(-19) + 0 + 2. Is r(s) a multiple of 19?
True
Let d(w) = -177*w - 51. Let n be d(-9). Suppose -42*t + 2*i + n = -37*t, 5*t + 2*i - 1558 = 0. Is t a multiple of 76?
False
Suppose 1169 = 3*d + 8*i - 7*i, -3 = 3*i. Suppose 391*r - d*r = 854. Is 61 a factor of r?
True
Suppose -9323 = -4*r + g + 16963, 19714 = 3*r - g. Is r a multiple of 39?
False
Suppose 44*k = 3*k + 43173. Is 81 a factor of k?
True
Let k(t) = -508*t + 4 - 5*t**2 + 3 + 549*t + t**3. Does 17 divide k(6)?
True
Let v(u) = -2*u**3 - 8*u**2 + 4*u - 3. Let h(o) = -o**3 - 7*o**2 + 5*o - 4. Let j(d) = 3*h(d) - 2*v(d). Let b be j(3). Does 9 divide (5 + b)*-41*1/(-2)?
False
Suppose 0 = 2*b - 6, -w - 2*w = 4*b + 3. Is -7 - (-644 - w/(-1)) a multiple of 13?
False
Does 2 divide (35 + 0)*(-32480)/(-1421)?
True
Suppose 2574 = 15*v - 7086. Suppose -4*n = -3092 + v. Is n a multiple of 17?
True
Suppose -4*a = -16, -3*c + a - 6 = -2. Suppose -2*m = -2*b - c*m + 118, -2*b = -3*m - 116. Suppose 4*o - b = 5*y + 79, -20 = -5*y. Is 20 a factor of o?
True
Let b(a) = 71*a + 228. Let s be b(4). Let t = 677 - s. Does 5 divide t?
True
Is 30 a factor of (-213828)/(-24) + -1 + (-27)/(-18)?
True
Suppose 0 = a + 4*b - 5221 + 1053, 4*b - 37448 = -9*a. Is 40 a factor of a?
True
Let l(n) = -n**3 - 9*n**2 - 63*n + 10. Does 23 divide l(-14)?
False
Let i(o) = -o**2 - 21*o + 49. Let q be i(-23). Suppose q*r - 171 = -3*x, 0*x = -5*x + r + 309. Does 15 divide x?
False
Let a(l) = 175*l**2 - 285*l - 78. Is 201 a factor of a(-9)?
False
Suppose -2*v - 19 = -5*u, -2*u - 3*v + 12 + 7 = 0. Suppose 4962 = u*b - 4*y, -3*y + 1549 = 2*b - 422. Is b a multiple of 97?
False
Let r be (-64757)/(-22)*16/28. Suppose r + 7978 = 7*x. Does 23 divide x?
True
Suppose 0 = -6*c - 16 + 8518. Is 6 a factor of c?
False
Let f(o) = 7*o**2 + 27*o - 5. Let u be f(8). Suppose 0*r + r = u. Does 21 divide r?
False
Let r(i) = i**2 - 6*i. Let j be r(5). Let z be 1*(149/(-2))/(j/10). Suppose 2*q + 13 - z = 0. Is 16 a factor of q?
False
Suppose 169*c = 90*c + 22120. Is 10 a factor of c?
True
Suppose 9*a - 8*a = -55*a + 28840. Does 39 divide a?
False
Let a(r) = -2*r**2 + 824*r + 10. Is 49 a factor of a(12)?
False
Suppose 6*d - 4662 = 4*d - 3*o, o - 6993 = -3*d. Is 37 a factor of d?
True
Let w(g) = -g**3 - 19*g**2 + 23*g + 20. Suppose 0 = 2*f - k + 44, 23*f - 18*f + 110 = k. Is 69 a factor of w(f)?
True
Let k = 11272 - 5890. Does 26 divide k?
True
Let c(i) = 623*i**2 - 13*i - 108. Is c(-4) a multiple of 56?
True
Let r(c) = 21*c**2 - 2*c + 1. Let f be r(1). Suppose f*d = 28*d - 80. Is d a multiple of 8?
False
Let u(o) = -o**2 - 7*o - 16. Let h be u(-5). Let k = -6 - h. Suppose -2*c - 66 + 522 = k. Does 19 divide c?
True
Let q(k) = 3*k**2 + 177*k + 30. Is q(85) a multiple of 42?
True
Suppose 342*p - 12 = 344*p, 3*u - 3*p = 19464. Does 14 divide u?
True
Suppose 3*w + a - 35503 = 0, -16 = -5*a + 4. Does 15 divide w?
False
Suppose q - 225 = -226. Is 11 a factor of q/6 - 21866/(-156)?
False
Suppose 91*w - 2859 = -z + 93*w, -5*z + 14265 = -4*w. Does 27 divide z?
False
Suppose h + 3*t + 4932 = 17691, h - 12724 = 2*t. Is 22 a factor of h?
True
Let k(c) = -7*c + 6. Let r be k(-8). Suppose -3*m + 8 = r. Let j = m + 304. Is j a multiple of 51?
False
Suppose -239*p = -180*p - 1082414. Does 190 divide p?
False
Suppose 5*s - 7*c + 5*c = -69, -s = -2*c + 9. Is 5 - -1 - (s - 395) a multiple of 16?
True
Let v(m) = -43 + 50 + 60 - 7*m. Suppose 0 = 37*g - 59*g - 99*g + 726. Is 25 a factor of v(g)?
True
Let v = 92 + -85. Suppose -v*n = -5*n - 398. Suppose -n = 2*s - 503. Is s a multiple of 20?
False
Let k be ((-2)/(-1))/((-1)/(-31)). Let q 