 d*l - 9261 = 10*l. Is 10 a factor of l?
False
Let u = 38232 + -14324. Does 43 divide u?
True
Suppose -3*x - 1189 = -3*s + 155, 446 = s - 2*x. Suppose 0 = 5*m + 4*m - s. Is 5 a factor of m?
True
Suppose 0 = -4*l + 12, -8*u + 3*u + 11776 = -3*l. Is 34 a factor of u?
False
Suppose 0 = p + 622 + 214. Let s = p + 1161. Is 5 a factor of s?
True
Suppose -17*i - 7869 + 23254 = 0. Suppose 4*a = 3*b - 904, 5*b - 2*b = 5*a + i. Is 25 a factor of b?
True
Let d(o) = 2*o**3 - 21*o**2 - 23*o + 97. Is d(15) a multiple of 83?
False
Suppose -53*x + 275579 + 23182 = 0. Is x a multiple of 52?
False
Let n(s) = 5*s + 79. Let o be n(-3). Suppose 0 = -4*q - 28 + o. Does 3 divide q?
True
Let d(y) = 6*y**2 + 29*y + 1013. Does 10 divide d(-28)?
False
Let m = 33 - 28. Suppose m*d + t + 1089 = d, 2*t - 6 = 0. Let w = 386 + d. Is w a multiple of 11?
False
Suppose 37 + 17 = -3*l. Does 7 divide (-6908)/(-198) - 2/l?
True
Suppose t + 4*a - 8734 = 0, -5*t + 42045 = 3*a - 1523. Does 26 divide t?
True
Let s be -4 - (-11 + 8)*2. Suppose -s*t + 419 = -5*n, 39*t - 3*n = 42*t - 660. Is t a multiple of 8?
False
Suppose 6 = 3*s + 72. Let g = -12 + 17. Let m = g - s. Does 26 divide m?
False
Suppose 4*a - 24 = 4*f, -2*a = -0*f + f + 3. Let u(g) = 292*g - 7. Let i(y) = -154*y + 4. Let p(m) = 11*i(m) + 6*u(m). Is 31 a factor of p(a)?
False
Let i be (44 + -57)*(-1 + 1 - 8). Suppose 0 = -4*r - 5*u + 72, 5*r - r - i = 3*u. Is r a multiple of 9?
False
Let t(j) = 5 - 262*j**2 + 270*j**2 - 3*j**3 + 17*j + 3*j + 2*j**3. Let n be t(10). Suppose -u - 208 = -6*u + 2*c, -n*c = 3*u - 131. Does 6 divide u?
True
Let f(a) = a**2 - 282. Let s be f(-17). Is 40 a factor of 2012/((-1 - 4) + s)?
False
Let v = 21883 + 9921. Is v a multiple of 244?
False
Let o = -7393 - -21542. Is 36 a factor of o?
False
Is 102 a factor of (-2)/21 + (-1415050)/(-294) + -19?
True
Let n(s) = s - 4. Let q(t) = -t**2 + 29*t + 2. Let a(c) = 4*n(c) + q(c). Let i = -19 - -31. Is 34 a factor of a(i)?
True
Let d(c) = 4*c**2 + 71*c - 3185. Is d(81) a multiple of 215?
True
Let a(p) = 63*p + 46. Let r be a(9). Suppose -k = -2*q - 157, 0*k + r = 4*k - 3*q. Is k a multiple of 15?
False
Suppose 14*s - 576 = 2*s. Suppose -6*m - 2*m - s = 0. Let n(g) = -6*g + 13. Is 4 a factor of n(m)?
False
Let y = 998 - 1766. Let l = -457 - y. Is l a multiple of 30?
False
Let t = 9314 - 5561. Is t a multiple of 16?
False
Let o(z) = -2*z**3 + 26*z**2 + 28*z + 12. Let r be o(14). Suppose -27*d = r*d - 25233. Is 27 a factor of d?
False
Let q(m) = m**2 + 2*m - 15. Let b be q(3). Suppose -5*r - 3*y + 3 = b, -y = -6*r + 2*r + 16. Suppose -20 = -4*t, 353 = 3*v + r*t + 83. Is v a multiple of 7?
False
Suppose -2*n + 6995 = -3*k, -4*n = -174*k + 171*k - 13993. Is 8 a factor of n?
False
Let f = 13310 - 316. Does 86 divide f?
False
Suppose 121*o = 75*o + 247802. Does 8 divide o?
False
Let q = -7 + 12. Let f = 6 + -3. Suppose 174 = -f*h + q*h. Is h a multiple of 20?
False
Suppose -299*q + 298*q = -1174. Let s = q - 82. Is s a multiple of 39?
True
Suppose -z + 1024 = -4*m, 3036 = 3*z - 6*m + 3*m. Is z a multiple of 14?
True
Suppose -37*n = -77*n - 79*n + 1951362. Does 8 divide n?
False
Let r = 34937 + -19440. Is 103 a factor of r?
False
Let q(c) = -c**3 - 14*c**2 - 25*c - 10. Let t be q(-12). Suppose h - 114 = -4*p + 168, -2*p = t*h - 546. Suppose h = 5*f - 100. Is f a multiple of 11?
False
Does 2 divide (-1780476)/(-276) + (2 - (3 - 4))?
True
Let b(o) = -o**3 + o**2 + 5*o + 3. Let y be b(-2). Suppose 2*x + 4*u + 20 = u, y*u + 8 = 3*x. Does 11 divide 2007/36 - (-1)/(x/3)?
True
Suppose 4*j = -4*y + 76, 6*j = 3*j. Suppose 0 = 5*s + w - 0*w - y, -5*s + 21 = -w. Suppose p + 2*q = 184, -p + 728 = 3*p + s*q. Does 15 divide p?
True
Let b = -7673 + 13452. Is 34 a factor of b?
False
Let z(w) = 18*w + 27. Let u be z(19). Let d = u + -518. Let l = d + 215. Does 22 divide l?
True
Let o be (75/6 + -5)*(-2)/3. Let s be 24/(-3 - 0) - (-5)/o. Let f(k) = k + 26. Does 17 divide f(s)?
True
Suppose -y - 3*l + 341 = -6*l, 5*l = -y + 365. Is 18 a factor of y?
False
Let h(y) = 4*y**2 + 14*y - 25. Let m be h(-5). Suppose 2*d + m*p - 963 = 0, -d + 2*p + 327 = -177. Is 5 a factor of d?
False
Let l = 4725 + -1795. Is l a multiple of 107?
False
Suppose 9 = -3*u - 3. Let n be 10 - 5/(u + 5). Let b(r) = -r**3 + 9*r**2 - 9*r - 3. Is b(n) a multiple of 10?
False
Suppose -41565 = -18*q - 10*q + 18075. Does 7 divide q?
False
Suppose 2009*r - 2026*r = -13107. Is 36 a factor of r?
False
Suppose 64 - 16 = 3*p. Let z be 0*4/p + 34 - -2. Suppose -28*v + z*v = 280. Is 18 a factor of v?
False
Is 82 a factor of (3012/(-20) + 3)/((-8)/360)?
True
Let f be -5*2/(-2) - -1. Suppose 4*m - f = 1582. Is m a multiple of 19?
False
Suppose 3*j - 2195 = -5*y, 4*j + 1984 = 4*y + 260. Does 18 divide 18/24*y + -3?
True
Let s(c) = 5*c**3 - 3*c**2 + 20*c. Let p = 351 + -347. Does 16 divide s(p)?
True
Let l = -72 + 74. Suppose -l*a + 688 = 198. Does 23 divide a?
False
Suppose 165*a + 21*a - 2376423 = -283*a. Is 63 a factor of a?
False
Let o be (0 + (-1)/2)/((-5)/30). Suppose 14 = -4*l - 2*x, -2 = -5*l + 2*x + o. Is 28 a factor of ((-370)/(-4) - 3)*-2*l?
False
Let w be 128/(24/6) + 3. Suppose -2655 = -w*a + 2245. Is 41 a factor of a?
False
Suppose q - 24 = -23. Let p be q/(-4) + 3/12*-23. Is (-683)/p + (-2)/(-12) a multiple of 11?
False
Suppose -4*h + 9284 = 2*w, 0 = 3*h - 8*w + 6*w - 6984. Is 14 a factor of h?
True
Suppose -4*z - 2 = 5*q, q + 2 = -z - q. Let s be 76/(-18) + z/9. Let l(u) = 5*u**2 - 6*u - 10. Is 11 a factor of l(s)?
False
Let h = -34 - 5. Suppose 6 - 64 = 2*y. Let i = y - h. Is i a multiple of 7?
False
Let r(z) be the second derivative of 3*z**3/2 - 31*z**2/2 - 2*z. Let u be (-42)/4*12/18*-2. Is r(u) a multiple of 19?
True
Suppose 0 = 2*y - 2*t - 6, -y - t - 9 = 4*y. Is 4 a factor of y/(-8 - (-2715)/340)?
True
Suppose 14*m - 16*m = 6. Let y be (-4592)/(-20) - m/(-5). Let b = -130 + y. Is b a multiple of 11?
True
Suppose -26*j + 648884 = -1124732. Is ((-3)/3)/(6 + j/(-11368)) a multiple of 25?
False
Let j = -130 + 20. Let o = 110 - j. Is 44 a factor of o?
True
Let w(m) = -6*m**3 - 36*m**2 + 39*m - 25. Does 13 divide w(-12)?
False
Let o(p) = 29*p**2 + 46*p - 798. Is 176 a factor of o(-38)?
False
Is (((-1600)/(-15))/(-8))/((-6)/7317) a multiple of 15?
True
Let i(h) = -2*h - 29. Let r be i(-12). Let p be r + 224/49 - (-31)/7. Suppose 0 = -2*g - 2*g - p, -5*g = w - 42. Is w a multiple of 7?
False
Suppose -1023*b + 1009*b + 251720 = 0. Is b a multiple of 5?
True
Suppose -24*o + 16*o = -17 - 7. Let x be (0 - 1)/(2/(-8)). Suppose 466 = x*y - o*z + 181, 4*y = 4*z + 288. Is y a multiple of 12?
False
Let r(j) = -j**2 + 24*j - 15. Let u = 196 - 176. Does 4 divide r(u)?
False
Suppose -5*a + 2*a + 2*x = 26, 3*a = -4*x - 2. Let r(z) = z**2 + 8*z + 6. Let v be r(a). Is (-18)/(-6 - -3)*(-80)/v a multiple of 10?
True
Suppose -66 = 7*u - 8*u - 4*o, 282 = 4*u - 2*o. Is u - (1 - (-2 + 5)) a multiple of 12?
True
Does 33 divide 116829/12 - ((-21)/(-12) - 1)?
True
Let b(k) = 3*k + 19*k - 31*k + 33. Is b(-5) a multiple of 22?
False
Let y(o) = -2855*o + 6065. Does 50 divide y(-7)?
True
Let a(k) = 204*k + 40. Let h be a(15). Let d be 2 - (1 - h/(-4)). Is 11 a factor of 14/(-35) + d/(-10)?
True
Let u be 7 + -5 + 4*-289. Let n = 2551 + u. Does 11 divide n?
True
Is 9 a factor of 2092 + (-2*(4 - -2) - -8)?
True
Let s(n) = -4*n**3 + n**2. Let h = 13 - 14. Let v be s(h). Is 230/v - (-3 - (-1 - -1)) a multiple of 14?
False
Is (127 + -126)*3872/2 a multiple of 44?
True
Is ((-10)/2 - -2)*(-2052)/81 a multiple of 19?
True
Let y = 534 + -533. Is 54 a factor of (6 - 171/27)/(y/(-339))?
False
Let i = -27 - -18. Let w(z) be the first derivative of 2*z**3/3 + 4*z**2 - 11*z + 725. Is 6 a factor of w(i)?
False
Let b(h) = 3*h**2 - 73*h - 77. Suppose -34*d = -3*d - 1116. Is b(d) a multiple of 91?
True
Suppose 0 = 47*d - 55*d + 13208. Is 5 a factor of d?
False
Let i be (666/4)/9*18. Suppose -41 = -11*q + i. Suppose 5*b + q = z, 4*z = -b + 3*b + 100. Is 8 a factor of z?
True
Let b(x) = x**2 + 60*x + 228. Suppose -w + 4*p = -18 + 2, -w + 5*p = -20. Is b(w) a multiple of 76?
True
Let i(q) be the third derivative of -q**4/6 - 13*q**3/6 - 13*q**2. Let w be i(-4). Suppose -5*p - w*g = 2*g - 435, -4*p = -3*g - 334. Is 33 a factor of p?
False
Let p be 102/4 + 2 -