 -2*w + 1974, 924 = 5*n - 3*w - 314. Does 19 divide n?
True
Suppose -8*k + 69 + 27 = 0. Is (-10)/(-16)*k*66 a multiple of 11?
True
Suppose -13 = 6*h + 11. Let i be 0*h/(-16)*-2. Suppose i = -4*f + 3*t - 2*t + 188, 16 = 4*t. Is f a multiple of 12?
True
Let z be 3/3*((-18)/(-3) + -3). Suppose -831 = -2*g + s, 4*g - 1759 = z*s - 94. Suppose 44*t - 38*t - g = 0. Is 3 a factor of t?
True
Let f = -70 - -88. Suppose f*s + 3393 = 27*s. Does 29 divide s?
True
Let l(o) = o**3 - 6*o**2 - 7*o. Suppose 7*i - 17*i + 70 = 0. Let z be l(i). Does 49 divide z + 4 - 226*1/(-2)?
False
Is (-129 + 153)/((-1)/(-4) - 294/1208) a multiple of 12?
True
Let t = 366 - 296. Suppose -60*k - 980 = -t*k. Is 2 a factor of k?
True
Suppose -740 = -4*b - 3*f, 3*b + 2*f - 727 = -172. Suppose 5*n - b = -4*p, -41 = -0*p - p - 3*n. Does 5 divide p?
True
Let n = 14626 - 6083. Does 4 divide n?
False
Let d be 3 + (8 - 5) + 687. Is (d + 2)*(-1 + 2) a multiple of 25?
False
Let g be ((-1)/(-3))/(2/(-6)). Let i be ((-9)/(-27))/(g/(-9)). Does 4 divide 52/4 + 3/i?
False
Suppose -84*m - 1698300 = -195*m. Does 36 divide m?
True
Let i = -42588 + 59686. Does 140 divide i?
False
Let i be -87 + 177 + 1*-3. Is 14 a factor of i + -86 - (-1736 + 1)?
True
Suppose -746 = -4*x + 2*r, 369 = 4*x + r - 368. Is x a multiple of 2?
False
Suppose -9036 = -4*t + 4*s, 6735 = -3*t + 6*t + 4*s. Is 6 a factor of t?
False
Suppose 0 = -8*m + 6 + 42. Suppose 0 = -2*q - 4*l + 20, m*q = 8*q + 3*l - 16. Suppose -4*x = -5*b - 702, 5*x - b = -q*b + 863. Is 33 a factor of x?
False
Let h = 101 - 96. Suppose 4*p - 1363 = 3*l, p + l + 1353 = h*p. Is p a multiple of 36?
False
Let d = -311 + 318. Suppose -2*x + 102 = 3*r, 2*r + 3*x = 70 - d. Is r a multiple of 12?
True
Let r(i) = -i**2 - 3*i - 244. Let q(g) = 3*g**2 + 5*g + 487. Let y(k) = -2*q(k) - 5*r(k). Does 5 divide y(-13)?
False
Let b = -7421 + 10956. Is b a multiple of 36?
False
Let i = -253 + 60236. Is i a multiple of 19?
True
Let d(o) = -101*o**2 + 0 + 0*o + 3*o + 111*o**2 - 4. Is 2 a factor of d(-2)?
True
Suppose 3*y = 5*y - 6992. Suppose -10*g = 9*g - y. Does 23 divide g?
True
Let y(d) = 4*d - 3*d**2 - 24*d**3 - 2 - 2 + 5*d**2 - 2*d. Let z be y(2). Let m = -54 - z. Is m a multiple of 13?
True
Let k be 4 - ((-5 - -31) + (-3)/(-1)). Does 13 divide 12/(-3) + (103 - k/5)?
True
Suppose -621 - 14373 = 7*l. Let q = l - -3220. Does 35 divide q?
False
Let r(x) = 5*x + 90. Let q be r(-20). Does 9 divide (1842/(-12))/(5/q)?
False
Let c = 220 + 228. Suppose 0 = -6*n - n + c. Does 17 divide n?
False
Let j = 16 + -25. Let g(r) = -4*r - 31. Let q be g(j). Suppose 2*k = -4*o + 7*k + 740, 3*o + q*k = 555. Does 17 divide o?
False
Suppose -4*v - 12 = -7*v, 5*x = -2*v + 38. Suppose 5*h + 3*k - 27 = 4*k, 2*k - x = 0. Suppose h*m - 531 = 3*m. Does 23 divide m?
False
Let c(f) = 9*f**2 + 20*f - 25. Is 14 a factor of c(7)?
False
Suppose 16*o = 18*o - 4. Suppose -7 + 27 = -o*k. Is 15 a factor of k/255*-3 + 3430/34?
False
Let p(w) = -947*w**3 - w**2 + 10*w + 8. Is 59 a factor of p(-1)?
True
Let a(u) = -61*u**2 + 3*u + 2. Let k be a(-1). Let f = -29 - k. Suppose -2*c - r = -24 - f, 0 = c - r - 36. Is c a multiple of 3?
False
Let x be (-27 + 1)*(-3)/6. Let i be ((-8)/14)/(x/(-182)). Suppose -5*j = 5*v - 295, 4 = -i*v + 4*v. Is 10 a factor of j?
True
Let m(a) = -a**3 - 80*a**2 - 166*a + 411. Is m(-79) a multiple of 20?
False
Let p(w) = -331*w - 279. Let m be p(4). Is 16 a factor of (-1)/(m/4800 + (-39)/(-117))?
True
Let u = 1607 + -1073. Let l be (7 + -4)*(-2 - u/(-9)). Suppose -11*w = -9*w - l. Is w a multiple of 27?
False
Suppose t - 4339 = -4*i - 1049, 2*i = -6. Is 13 a factor of t?
True
Let y(r) = 5*r + 84. Let k be y(-15). Suppose -m = 4, -7*m + k*m - 61 = -3*u. Does 23 divide u?
True
Let q = -74 + 64. Let p(w) = -6*w - 68. Let u be p(q). Let i = 12 - u. Is i a multiple of 20?
True
Let x(k) = -k**3 + k**2 - k + 5. Let b be x(0). Let c(j) = j**3 + 8*j**2 + 10*j - 12. Let o be c(-6). Suppose o = -v + 12 + b. Is v a multiple of 5?
False
Is 11 a factor of (-32)/(-12) + -3 + (-211240)/(-120)?
True
Let z be (-2)/(-4) - ((-9)/2 - -3). Let f be z/8 + 12063/(-12). Is 22 a factor of (-10)/(-15)*f/(-10)?
False
Let u(v) = 8*v - 99. Let d be u(13). Does 15 divide -2 + d/((-10)/(-274))?
True
Let b be (5/(-3))/((-2)/(-24)*-4). Suppose 2*c - 4*x = 1418 + 4, b*c + x - 3610 = 0. Is 72 a factor of c?
False
Let j = 111 - 108. Suppose -j*l + 35 = -217. Is 42 a factor of l?
True
Let c be (4 - -1)*(-4)/(20/(-5)). Suppose c*f - 521 - 494 = 0. Is f a multiple of 7?
True
Let j(p) = 52*p**3 - 82*p**2 + 638*p - 11. Is j(8) a multiple of 186?
False
Suppose 3261 - 22412 = -11*q. Suppose 7*n + 341 - q = 0. Does 7 divide n?
False
Let o = 205 + -569. Let q = o + 609. Does 35 divide q?
True
Suppose -102*m - 4*w = -99*m - 154, 0 = -3*w - 15. Is m a multiple of 58?
True
Is 1889*((-13)/(-4) + 3/(-12)) a multiple of 59?
False
Suppose 0 = -4*f - 5*w + 40, 0 = 7*f - 9*f - 2*w + 18. Suppose -6*a + 1213 = -a + 4*c, 4*a = -f*c + 965. Is 35 a factor of a?
True
Let t be -5 + (4 - 3) + -1 + 194. Let f = t + -139. Is f a multiple of 3?
False
Let w(f) = 7 + 2 + 27*f - 14 - 23. Does 3 divide w(5)?
False
Let t(q) = q**2 + 16*q + 34. Let k be t(14). Suppose 3*j + 3*p - 570 = 0, -4*p - 102 = -3*j + k. Does 12 divide j?
False
Let w = 13564 + -5883. Does 60 divide w?
False
Suppose -5*n + 8380 = 5*n. Does 16 divide n + 1 + 5 + -12?
True
Let x(h) = 5*h**3 + 27*h**2 + 21*h - 30. Let a(r) = 14*r**3 + 80*r**2 + 65*r - 90. Let y(i) = 6*a(i) - 17*x(i). Is 7 a factor of y(22)?
False
Let r(g) = 2*g**2 - 24*g + 59. Let d be r(3). Suppose -i = -3*i. Suppose 4*s + 5*z = 172, i = -d*s - 6*z + 3*z + 228. Does 6 divide s?
True
Let y be (2 + (-31 - -3))/(-2). Suppose -2*p = -c + 2*c + y, 5*c - 3*p + 78 = 0. Is ((-170)/c)/((-4)/(-6)) a multiple of 17?
True
Suppose -8 = -2*b - 6, 4337 = -4*h + 5*b. Does 10 divide (-1)/3 + (0 - h/9)?
True
Let t = 24708 - 12288. Does 90 divide t?
True
Suppose -40*z - h = -42*z + 27847, -4*h = z - 13919. Is z a multiple of 13?
True
Let x(o) = -o**2 + 0*o - 40 - 4*o - 5*o - 5*o. Let y be (-9)/(-36)*-9*4. Is 5 a factor of x(y)?
True
Let b = 21262 + -6952. Is (-2)/4 - b/(-108) a multiple of 44?
True
Let q(l) be the third derivative of l**5/15 - l**4/8 - l**3/3 - l**2. Let z be -2 - -6 - (-3 - 8 - -17). Is 4 a factor of q(z)?
True
Suppose 70 + 192 = 2*j. Suppose -j - 100 = -3*t. Is t a multiple of 11?
True
Suppose 0 = -3*t - 6*n + 9*n, 5*t + 2*n = -28. Let i(p) = -2*p**3 + 6*p**2 + 6*p + 12. Is 18 a factor of i(t)?
False
Suppose -i + 343 = h, 52*h = -4*i + 56*h + 1388. Is 12 a factor of i?
False
Let h = -81 + 87. Let j(r) = 20*r**2 - 7 + 2*r + h*r + r**3 + 5*r. Does 35 divide j(-19)?
False
Let l = -31 + 17. Let a(r) = 2*r**2 + 24*r. Let d be a(l). Suppose b = -z + 5*z + 28, -2*b + 3*z + d = 0. Is 4 a factor of b?
True
Suppose -222 = -0*s - s. Let q(g) = 15*g + 113. Let a be q(-15). Is a/(-21)*s/8 a multiple of 17?
False
Is (-2864138)/(-66) + 28/(-924) a multiple of 76?
True
Let f(o) = -16*o**3 + o**2 - 15*o - 108. Is 18 a factor of f(-9)?
True
Let z(d) = -2*d**3 + 5*d**2 + 13*d - 2. Let n(y) = -3*y**3 + 11*y**2 + 25*y - 4. Let i(q) = -3*n(q) + 5*z(q). Suppose -49 = -2*w + 9*w. Is 4 a factor of i(w)?
False
Let i(h) = 279*h + 12181. Does 9 divide i(0)?
False
Suppose -5*s - 3*f = -18328, 6*f + 20 = f. Does 2 divide s?
True
Suppose 9969 = 14*g - 10653 + 3654. Does 4 divide g?
True
Suppose 0 = -179*l + 178*l + 480. Suppose 34*g + l = 42*g. Is g a multiple of 10?
True
Let q(b) = 2*b**2 + 10*b - 19. Let z(o) = 10*o**2 + 20 + 12*o - o**2 - 8*o**2. Let h be z(-9). Is q(h) a multiple of 5?
False
Let q(k) = 470*k + 3749. Does 2 divide q(-2)?
False
Let i(h) = h**3 + 21*h**2 - 2*h - 39. Let z be i(-21). Let d be 0*(z + (-10)/4). Suppose -w - 2*r = -44, 133 = 3*w - d*w + 5*r. Does 4 divide w?
False
Suppose -7*o + 7 = -7. Is (72 - -1)*o*1 a multiple of 34?
False
Let k(u) = -16*u - 71. Let q(a) = -a + 1. Let v(h) = k(h) - 4*q(h). Is v(-7) a multiple of 9?
True
Let w(o) = 663*o**2 - 181*o + 91. Is 173 a factor of w(-9)?
False
Suppose 0 = 10*k - 227 - 413. Let y = -63 + k. Does 8 divide (-7 - y)/((-7)/28)?
True
Let r(q) = 370*q**2 - 44*q + 36. Let x be r(-7). Suppose -x = -44*l + 19938. Does 29 divide l?
False
Suppose 3*w + 10 = 5*w. Suppose -4*u + 5