ose 2*w - 2*i + 12 = 7*w, 2 = b*i. Suppose w*y + 48 = 5*y. Is y a multiple of 16?
True
Does 11 divide -1 + 14/2 + (0/6 - -3327)?
True
Suppose 3*l + 76 = -44. Let r = -42 - l. Does 9 divide -5 - -4 - -25 - r?
False
Let y = 28627 - 17596. Does 52 divide y?
False
Let a = -278 - -257. Let l(s) = s**2 + 7*s + 42. Is l(a) a multiple of 42?
True
Suppose -2*y - 2*c = -10, -3*y = -c - 1 + 2. Suppose -4*u + d + 7 = 0, -3*d = 2*u - 6 - y. Is 3 a factor of (0 - -28) + (0 - (u + -4))?
True
Let n(a) = 3*a**3 - 61*a**2 + 79*a + 271. Is 28 a factor of n(27)?
False
Let n(u) = u**2 - 6*u + 17. Let i be n(11). Suppose 170*d - i = 169*d. Is d a multiple of 18?
True
Does 61 divide -1 - 714/((2/4)/(40/(-15)))?
False
Let d(o) = -13*o - 10. Suppose 144 = -34*i - 128. Is 11 a factor of d(i)?
False
Let r(t) = -t**2 - 15*t + 16. Let m be r(-12). Suppose m = 5*b - 6*b. Let g = 98 + b. Is 46 a factor of g?
True
Suppose 0 = -0*q - 5*q. Let z be (q + 2)*2/4*-9. Is 8 a factor of 48*(2 - (-12)/z)?
True
Let o(r) = -r**3 - 6*r**2 + r + 11. Let a be (-6)/4 + 63/(-14). Let v be o(a). Suppose -140 = -2*f - v*j, -j = 4*j - 10. Does 13 divide f?
True
Let i(x) = -134*x**3 + 11*x**2 + 112*x + 106. Is i(-6) a multiple of 113?
False
Let v = 63 + -77. Is 18 a factor of v/133 + 4112/76?
True
Let n(j) = 243*j**3 - 6*j**2 + 9*j - 26. Is 3 a factor of n(3)?
False
Suppose -26*f - 40*f + 80388 = 0. Does 122 divide f?
False
Let y = 247 - 88. Suppose -3*l + 672 = -y. Suppose -l = -3*j + 2*g - 7*g, 4*j - 316 = 4*g. Does 9 divide j?
False
Let h be ((-12)/(-48))/(1/(-874))*-4. Let k = h - -204. Is 11 a factor of k?
True
Let j(s) = 31*s**2 - 16*s + 21. Let y be j(-7). Does 7 divide y/21 - 2/3?
False
Suppose 96967 + 267716 = 165*p - 30492. Does 45 divide p?
False
Suppose 4210 = -3*z + 8*z. Let l = z - 456. Is l a multiple of 43?
False
Let c = 25360 + -14945. Is c a multiple of 11?
False
Let t(n) be the third derivative of -n**6/360 - 7*n**5/40 + 7*n**4/8 - 4*n**3/3 + 20*n**2. Let v(b) be the first derivative of t(b). Is 10 a factor of v(-17)?
False
Suppose 19*z = 5*z + 1722. Suppose 119 - z = -k. Suppose 4*d + 4*i - 224 = 0, -d - 4*d - k*i = -282. Is 10 a factor of d?
False
Let j(a) = -142*a + 9. Let m(h) = h - 1. Suppose 2*z = -v + 2, -5*z + 2*v = -2*v - 5. Let t(f) = z*j(f) - 2*m(f). Is t(-1) a multiple of 23?
False
Let n be 2 + 9/(18/20). Suppose 5*j = n*j - 11760. Suppose -7*b = b - j. Is b a multiple of 10?
True
Let q be -17 - -15 - (-3)/(-6)*2. Is 6 a factor of 35994/210 + q/(-5)?
False
Let u(l) = 229*l + 1477. Does 101 divide u(104)?
False
Let g(k) = -17*k + 876. Is g(-26) a multiple of 25?
False
Let q = -2058 - -3166. Does 4 divide q?
True
Suppose -3*s + 3979 = -410. Let q be s/(-5) + (-26)/65. Let g = -196 - q. Is 21 a factor of g?
False
Suppose 0 = 4*p + 2*b, 3*b + b = -5*p - 6. Let o(t) = 41*t**3 + 11*t**2 + 4*t - 2. Does 63 divide o(p)?
True
Let m = -470 + 1201. Suppose -m = -18*l + 115. Does 11 divide l?
False
Let f = 5836 + 20839. Is 55 a factor of f?
True
Let m = 68 + -66. Suppose -3*t + 2*n + 2*n + 200 = 0, m*n = t - 64. Does 56 divide t?
False
Is 174/(-5307) + (-626716)/(-61) a multiple of 11?
True
Let b = -5166 - -10374. Is 62 a factor of b?
True
Let d = 41175 + -23750. Is 24 a factor of d?
False
Let y = -3316 - -3960. Does 2 divide y?
True
Suppose -5*c - 485 = 135. Let m = c - -291. Is m a multiple of 13?
False
Suppose 0 = 174*r - 169*r + 7165. Let s = 2348 + r. Is 15 a factor of s?
True
Is 99 a factor of 15973 - ((-20)/20 + 0/1)?
False
Is 50 a factor of 1/12 + (-1366545)/(-612)?
False
Suppose -30067 = 19*r - 134795. Is r a multiple of 86?
False
Let m(r) be the first derivative of -2*r**3/3 + 41*r**2/2 - 5*r + 91. Is 39 a factor of m(19)?
False
Let r be 18/6 + 21*-3. Let w = -41 - r. Let b = w - -146. Does 33 divide b?
True
Let h(a) = -a**2 + 18*a. Let c(q) = q**2 - 19. Let g be c(0). Let w = g - -27. Does 16 divide h(w)?
True
Suppose -107*u + 81034 = 6669. Is u a multiple of 3?
False
Suppose -6*a + 2*a + 25250 + 95598 = 0. Is 13 a factor of a?
True
Let h = 18 + 9. Let n = -35 + h. Is (-11 + -2)*1*n a multiple of 16?
False
Let l(n) = -n**2 + 11 - 3*n + 23 + 2*n**2 + 2*n**2. Suppose 16*x = 4*x - 72. Does 29 divide l(x)?
False
Let p(r) = -56*r - 343. Suppose 0 = -3*j - 73 + 40. Is p(j) a multiple of 21?
True
Let l be ((-2)/(-4)*1)/(10/80). Suppose y - 5*y = -2*v - 16, l*v = y + 10. Is 2 a factor of y?
True
Let v = 76 + -71. Suppose -d = -6*d + c - 11, -d + 2*c + v = 0. Is 36 a factor of d/(12/4) - -181?
True
Let m(z) = 263*z**3 - 4*z**2 + 6*z. Let l be m(2). Suppose -2*q + l = 13*q. Is q a multiple of 14?
True
Suppose 5*w - 8423 - 5452 = 0. Suppose -w = -10*p + 2995. Is p a multiple of 44?
False
Suppose -4379 = -3*y + i + 2340, -2 = -2*i. Does 20 divide y?
True
Let z be (7 + -12 + 4)*0. Suppose 0*g + 759 = 4*p - 5*g, 2*p - 4*g - 384 = z. Is p a multiple of 6?
True
Suppose 134422 = 10*u - 218983 + 132165. Is 15 a factor of u?
False
Let a be (16/(-3) - -7)/((-1)/(-6)). Suppose a*l = 11*l - 32. Is l a multiple of 10?
False
Suppose 9*s - 12 = m + 5*s, -s + 3 = 4*m. Suppose -a + 3 = m, -30 = -d - 5*a + 17. Is d a multiple of 32?
True
Suppose -214*o - 1095984 + 3045952 = 0. Does 136 divide o?
True
Let j be 8*-3*(-1)/2. Suppose j*v - 70 = 2*v. Suppose v*k = -118 + 412. Is 14 a factor of k?
True
Let b(u) = -17*u - 105. Let m be b(-7). Is 5 a factor of (m + 400/(-30))/(2/1005)?
True
Let g(q) = 7*q**2 + 94*q + 2408. Is 108 a factor of g(-25)?
False
Let u(t) = -7*t + 5*t + t - 17*t + 12. Is 8 a factor of u(-3)?
False
Suppose 2*s - 226 = 84. Suppose 0 = 3*l + l - 5*b + 161, 0 = -5*l - 3*b - s. Is 6 a factor of 1/((-2)/(-63)) + 51/l?
True
Let j be (54 + -5)*2/14. Suppose -j*x + 32*x = 51075. Does 19 divide x?
False
Let b be 0*(-1)/(-3)*1. Let v be (-2 - (-405 - -6)) + (-2 - b). Suppose 0*p = -3*p - 5*f + v, 0 = -p + 3*f + 155. Is 14 a factor of p?
True
Let g be 20/(3 - (-44)/(-14)). Let w = g + 206. Let j = w + -12. Is j a multiple of 20?
False
Does 18 divide (-10 + 16 - 13) + 8656?
False
Suppose v - 6*r = -8*r + 2392, -12058 = -5*v + 4*r. Does 12 divide v?
False
Suppose 0 = 9*p - 490 - 185. Let c = -73 + p. Suppose -x - 196 = -4*u, -4*u = -c*u - 5*x - 80. Does 25 divide u?
True
Let x be (467*(-4)/8)/((-3)/6). Let c(z) = -13 + 470*z - x*z + 80. Is 6 a factor of c(0)?
False
Suppose -7*h + h = 102. Does 6 divide (h/(561/(-22)))/((-4)/(-126))?
False
Does 129 divide ((-3)/3 + -2)*(-9 + (-7048)/24)?
False
Let d = 73 - 76. Does 8 divide 4*d/(-18) - (-2345)/15?
False
Let g = 707 - 512. Suppose 0 = j - 300 - g. Does 99 divide j?
True
Let b be -6 - (2 - -5)*-5. Let n(x) = -x**3 + 3*x**2 + 2*x + 1. Let g be n(3). Suppose g*p = 309 - b. Is 4 a factor of p?
True
Suppose -5*i = 18*i - 87*i + 151552. Is i a multiple of 37?
True
Suppose 0 = -3*h - 3*a + 18, 3*h + 5*a = a + 21. Suppose 5*i + 20 = 0, -2*t + t + h*i = -396. Does 16 divide t?
True
Let m(u) = 63712*u**2 - 689*u + 688. Does 13 divide m(1)?
False
Let k be -3 + (-4 - (0 - 3)). Let a be (k - -7 - 3)/(-2). Suppose -4*h - i + 331 = a, 2*h - 3*h + 104 = -4*i. Is 15 a factor of h?
False
Let w be 98/(-6) - (-7)/21. Let o = -11 - w. Is 20 a factor of (o - 6) + 37 + 3?
False
Let c be ((64/20)/(-4))/(2/(-155)). Let p = c + -60. Suppose -2*x - 36 = -2*f - p*f, 3*f - 3*x - 33 = 0. Does 2 divide f?
False
Let c(g) = -157*g - 34. Let o be c(-5). Suppose -5*n + o + 149 = 0. Is 16 a factor of (-10)/(51/n - (-4)/(-12))?
False
Let l(a) = 13*a + 83. Suppose -5*r + 9 = -d + 4*d, 7 = -r - 5*d. Does 2 divide l(r)?
True
Let k(y) = 220*y**2 + 212*y + 2088. Is 9 a factor of k(-10)?
False
Let i = 20687 + -9657. Does 72 divide i?
False
Let y(f) = -f**3 + 24*f**2 + 117*f - 8. Let i be y(27). Suppose 5*a - 4*w = 1619, -2*w = 3*a + 3*w - i. Is 19 a factor of a?
True
Let n(b) be the second derivative of b**4/3 + b**3/2 - 5*b**2/2 - 336*b. Suppose 9 = -y - 3*m, m = -2*y - 3*y - 17. Does 13 divide n(y)?
False
Let f(h) = 3*h**3 + 4. Let o(s) = -7*s + 79. Let n be o(11). Is 14 a factor of f(n)?
True
Suppose -324 = -10*g + 236. Suppose -4400 = -g*f + 36*f. Is f a multiple of 6?
False
Let g(s) = -s**2 - 5*s + 5. Let x be g(-4). Suppose -x*j + 1248 = -615. Suppose 16*m - 19*m = -j. Is 29 a factor of m?
False
Suppose -3*r - h = -5329, 0 = 4*r + 2*h - 3554 - 3548. Suppose -172 = -6*o + 