 Suppose 43 = -4*p - 345. Let q = w - p. Does 9 divide q?
True
Suppose -3*b + 5*k = -290, 4*b - k - 100 = 3*b. Does 32 divide 551 - ((-10)/(-6) + b/(-63))?
False
Suppose 7*p = 4*p + 1038. Let t = -164 + p. Does 54 divide t?
False
Let a = -8196 + 15108. Is 108 a factor of a?
True
Suppose -i = -16 - 12. Let x be (0 - 3/1)*i/(-21). Suppose 0 = 2*q + 5*n - 57 - 78, 312 = 5*q + x*n. Is 20 a factor of q?
True
Let p = -253 - -261. Suppose -3*v - 2796 = -p*v + 4*r, 0 = 3*r - 3. Is v a multiple of 35?
True
Let c = -8956 - -20457. Does 81 divide c?
False
Let w(u) = 19*u - 190. Let y be w(10). Suppose -9*o - 3*b = -5*o - 420, y = o - 2*b - 94. Is o a multiple of 4?
False
Suppose -2*d = d. Suppose -2*a + q + 136 = 0, 3*a + 2*a - 3*q - 342 = d. Is (-8 + a/8)/((-1)/(-332)) a multiple of 13?
False
Let y(j) = -j**2 + 9*j - 1. Let r be y(4). Let a = 4639 + -4634. Suppose -g + 3*b = -r - 31, a*g - 216 = -2*b. Is 19 a factor of g?
False
Suppose 0 = -3*o + 81 - 21. Suppose -5 = -4*p + 3*j + 2, -4*j - 26 = 3*p. Is 11 a factor of ((-10)/o)/(p + 966/484)?
True
Let w(a) = -5*a**3 + a**2 - 3. Suppose 3*z + 2*y = 2*z + 6, -4*z + y - 12 = 0. Let c(d) = 3*d + 4. Let b be c(z). Is 4 a factor of w(b)?
False
Suppose -i = 5*r - 89242, 3*r = -i + 58093 - 4551. Is r a multiple of 85?
True
Let z(o) = o**2 + 21*o. Let m be z(-21). Suppose 5*g = -5*d - 132 + 1847, -4*d - g + 1357 = m. Is 13 a factor of d?
True
Let b = -329 - -499. Suppose -b*m + 2190 = -165*m. Does 14 divide m?
False
Let x(u) = u**2 + 12*u - 3. Let r be x(-6). Let j = r - -43. Suppose -3*i + 5*t + 29 = 0, j*i - 5*t = 7 + 30. Does 8 divide i?
True
Suppose 131*i = 3*m + 135*i - 45347, 2*m + 5*i - 30215 = 0. Does 125 divide m?
True
Suppose -g + 37 = -46. Let h = 87 + -80. Suppose h*j = -g + 244. Is j a multiple of 11?
False
Let m = 39347 + -33845. Is 262 a factor of m?
True
Let i(n) = n + 16. Let s be i(-4). Suppose -2*z - s = -2*p, p + 3*z - 30 = -2*p. Does 2 divide p?
True
Let k = 482 - 273. Let o = 103 + k. Is 12 a factor of o?
True
Let g(y) be the third derivative of -y**6/360 - y**5/5 - 43*y**4/24 - 23*y**3/3 + 27*y**2. Let f(s) be the first derivative of g(s). Does 37 divide f(-20)?
True
Let f = 0 - -18. Let p be (1368/(-95))/(2 + f/(-10)). Let l = p + 130. Does 16 divide l?
False
Let i(d) = -34*d + 82. Let b be i(4). Is (b/(-63))/((-3)/(-105)*1) a multiple of 3?
True
Let i = 49 + -43. Suppose -2*x + t = x - i, 3*x + 5*t = 24. Suppose 8*v - 1122 = -x*v. Is v a multiple of 17?
True
Let o(b) = -2*b**3 + 28*b**2 + 13*b - 13. Let y(h) = h**3 + 8*h**2 - 3*h - 10. Let s be y(-8). Does 2 divide o(s)?
False
Let c(j) = -378*j**3 + 14*j**2 + 14*j - 11. Let p(g) = -126*g**3 + 5*g**2 + 5*g - 4. Let z(w) = -6*c(w) + 17*p(w). Let t = 274 + -273. Does 9 divide z(t)?
True
Let t(s) = 6766*s**2 - 420*s + 845. Is 21 a factor of t(2)?
True
Let w = -27 - -32. Suppose 0 = -w*c + 261 + 259. Is 30 a factor of c?
False
Suppose 5*f + 5*s = -30, s + 0 = f + 10. Let w = f - -18. Is 249/6 - (-15)/w a multiple of 7?
False
Suppose -a = -3*z - z + 13, 3*a + 3 = 0. Suppose -z*s + 42 = -294. Does 7 divide s?
True
Suppose 0 = -4*i + c + 1613, 2*c + 400 = i + 2. Suppose -g = -2*y + i, 216 = y + 6*g - 3*g. Does 68 divide y?
True
Suppose 0 = 4*v + 4*d - 32616, 0 = -2*v - 4*d + 6070 + 10230. Is v a multiple of 9?
False
Suppose 201*t - 207*t = -18. Does 8 divide ((-60)/(-8) - 9/t)*126?
False
Let v be (34/10 + -3 + 20)*15. Let i = -86 + v. Is i a multiple of 30?
False
Let h(l) = -3*l + 11. Let d be h(3). Let k(s) = 16*s**2 + 7*s + 11*s - 25 - 17*s**d. Is k(13) a multiple of 8?
True
Let c = -695 + 389. Let t = -251 - -682. Let o = c + t. Is 12 a factor of o?
False
Let h = -26 + 25. Let c(l) = 147*l**2 - 5*l - 6. Let y be c(h). Suppose 5*p - 436 = -y. Is p a multiple of 29?
True
Let r = -250 + 215. Let u = 469 + r. Is u a multiple of 7?
True
Let a(z) be the second derivative of -37*z + 7/6*z**3 + 0 - 31/2*z**2. Does 12 divide a(13)?
True
Let c(h) = 6*h - 2. Let u be c(1). Suppose 14*a - 10*a = -u. Does 13 divide -2*((-34)/4 + a)?
False
Suppose -12546 = -4*k - 3*d + 35600, -5*k + 2*d = -60194. Is k a multiple of 61?
False
Suppose 5*x + 3*j = -0*x + 145, 0 = 4*x - 3*j - 116. Suppose -16174 = -x*i - 6401. Is 61 a factor of i?
False
Suppose -6*d - 6 = -9*d. Suppose -2 = 2*m + 5*k, -k + 6 = d*k. Is -2 - 536/m - (-2)/3 a multiple of 7?
False
Let m(n) = 22*n + 12. Let g(d) = d - 1. Let p(b) = 3*g(b) - m(b). Let x be 6*((-10)/(-6) - 2). Does 4 divide p(x)?
False
Let x = -803 + 1889. Let w = -735 + x. Is 43 a factor of w?
False
Suppose -16*n + 1632 + 1328 = 0. Suppose 2*z - n - 1017 = 0. Is z a multiple of 12?
False
Let n = -22 + 27. Let m(s) = 6*s**3 + 3*s**2 - 2*s - 7. Let y(j) = -7*j**3 - 2*j**2 + 2*j + 8. Let a(f) = n*y(f) + 6*m(f). Is 5 a factor of a(-8)?
False
Suppose -22*l + 18*l + 124 = 0. Let b = 35 - l. Suppose -7*q + 4*u + 32 = -4*q, 0 = b*q - 5*u - 44. Does 8 divide q?
True
Suppose 22*d - 8107 - 7711 = 0. Let m = 1296 - d. Is 15 a factor of m?
False
Suppose -2*z - 10 = -4*z. Suppose 0 = 3*j - 6, 9*i - 6*i - 5*j = 80. Suppose i = 4*s - 5*q, -4*q + 9 = z*s - 8. Is s a multiple of 2?
False
Suppose 2*h + 3*o - 81793 = 0, 553*o + 81798 = 2*h + 551*o. Is 80 a factor of h?
False
Let r(k) = -7*k**2 - 14*k + 52. Let y(n) = -10*n**2 - 20*n + 78. Let j(a) = -7*r(a) + 5*y(a). Let q be 0*(9/6 + -2). Does 26 divide j(q)?
True
Is 30423/((12 - 27) + 18) a multiple of 35?
False
Let i = -20 + -131. Let u = 166 + i. Does 15 divide u?
True
Let m be ((-11)/3)/(1/(-3)). Suppose 5*f - 64 = 356. Suppose 4*s + f = m*s. Does 4 divide s?
True
Let j(m) be the first derivative of -m**4/4 - 2*m**3/3 + 11*m**2/2 + 9*m + 191. Does 9 divide j(-9)?
True
Suppose -113 = -k - 5*u, -3*u + 226 = -5*k + 7*k. Suppose 3*r - k = 1288. Is 38 a factor of r?
False
Suppose -25 = 6*t - 7. Let c(f) = -3*f - 5. Let k be c(t). Suppose 97 = -3*a + k*a. Is 13 a factor of a?
False
Is 46 a factor of (62/(-8))/(-9*22/400752)?
True
Does 68 divide (-3)/6*7*1590856/(-658)?
False
Let a be 8/(-6)*((-99)/(-4))/(-11). Suppose a*l + 2*b = 3786, 3*l - 8*l + b = -6323. Is l a multiple of 22?
False
Let z(q) be the second derivative of 211*q**3/3 + 3*q**2/2 - 120*q. Is 25 a factor of z(1)?
True
Let a be (-5)/(-30) - (-94)/12. Suppose -w + 1 = a. Does 17 divide 11/(((-14)/6)/w)?
False
Let g(j) = -4*j + 34. Let l be g(5). Suppose l*u - 144 = 10*u. Does 6 divide u?
True
Let j = 77 + -77. Does 9 divide (-54 - j)/(13/((-26)/3))?
True
Suppose 1144 = 2*r + 9*r. Is 2 a factor of r?
True
Let k be ((-36)/8 - -3)/((-6)/(-8)). Does 4 divide ((-3)/k)/((-619)/(-88) - 7)?
True
Is (-2)/(-6)*25371/(-3)*-1 a multiple of 165?
False
Suppose 16*u + 3 + 53 = 30*u. Suppose 0 = f - 2 - 3. Does 15 divide (f/(-2)*u)/(25/(-150))?
True
Suppose 5*d - 24 + 1 = 4*k, -5*k - 7 = d. Let z be (-5)/k + (-2)/(-4). Suppose -3*m + 120 = -z*t, 9*m = 4*m + 4*t + 202. Is 10 a factor of m?
False
Suppose 5*j = -0*j + 30. Let i be (-16)/((30/(-25))/j). Suppose 262 = 2*q + i. Does 32 divide q?
False
Suppose 1159 = 7*p - 1256. Let u = 517 - p. Suppose -2*k + 8 = -u. Is 6 a factor of k?
True
Let y be (-5496)/16*1*-2. Let c be 744/180 - (-1 + 34/30). Suppose -c*u + y = 215. Is 14 a factor of u?
False
Suppose 4*m = -5*v + 57996, -2*m - 2*v - v = -28996. Is m a multiple of 56?
True
Suppose 0 = 40*n - 39*n - 19. Suppose 0 = n*p + 3*p - 2904. Is 32 a factor of p?
False
Suppose 0 = -b - 6, 2*v + 5*b + 588 = 9704. Does 3 divide v?
False
Does 85 divide ((-1785)/(-14))/((-11)/(-638))?
True
Let b(r) = 2*r**2 + 2*r - 7. Let u(w) = 7 + w - 3 - 4. Let v be u(-3). Does 2 divide b(v)?
False
Suppose 2*j - 3*j - 4*y = 747, 3*j - 4*y + 2257 = 0. Let i = 1071 + j. Is i a multiple of 40?
True
Suppose -3*z = 4*j - 90241 - 38306, -z - 64291 = -2*j. Is j a multiple of 16?
False
Let z be (-6)/18*(-61 + 4). Suppose -1867 = -z*b + 451. Is b a multiple of 34?
False
Let j(q) = -q**3 + 8*q**2 - 8*q + 7. Let s be j(7). Suppose 2*g + s = 14. Suppose -g*n = -21*n + 910. Does 13 divide n?
True
Suppose -59512 = -56*u + 102888. Is u a multiple of 58?
True
Let o(g) = 3*g + 18 + 3 + 6. Let j be o(6). Let q = j + 111. Does 44 divide q?
False
Suppose 1450*f + 514392 = 1474*f. Does 11 divide f?
False
Suppose -3*p + 2*t - 4 = 0, 1 + 17 = 4*p + 2*t. Suppose y - 8*x - 210 = -3*x, -411 = -p*y + x. Is 