681. Is s a multiple of 27?
False
Let l(r) = 9*r**2 + r + 1. Suppose s - 2*s - 2 = 0. Is 26 a factor of l(s)?
False
Suppose 93*y = 94*y + 3*z - 16657, -5*y = -2*z - 83319. Is 21 a factor of y?
False
Let q(l) = 3*l - 13. Let r be q(6). Suppose 8*x = r*x + 12. Does 8 divide (x - 1) + 1 + (-522)/(-29)?
False
Let b = -26466 + 34650. Does 248 divide b?
True
Let q(r) = -36*r - 251. Let f be q(14). Let c = -259 - f. Does 62 divide c?
True
Let y(z) = 96*z**3 - 10*z**2 + 85*z - 95. Is y(7) a multiple of 43?
True
Let u = -75 - -78. Let b = -18 + u. Is ((0 - -111)/3)/((-5)/b) a multiple of 14?
False
Suppose 136*a - 1206549 = -34*a - 95429. Does 30 divide a?
False
Suppose 0 = u - 5 - 3. Let p(f) = -f**3 + 10*f**2 - 15*f + 19. Let i be p(u). Let v = i + -6. Is v a multiple of 18?
False
Suppose -13 - 44 = 3*b. Let t = b - 5. Let l = t + 78. Does 9 divide l?
True
Suppose -2*w - 3*j = -6*w + 79, -4*j = 5*w - 60. Let t = 16 - w. Suppose t = -5*i + 142 + 348. Is i a multiple of 18?
False
Let k = 83 - 134. Let z = 112 - 24. Let r = k + z. Does 37 divide r?
True
Let m be -280*((-27)/4)/(-9). Let l = -53 - m. Is 14 a factor of l?
False
Let m be ((-2144)/(-80))/(18/(-15) + 1). Let t = m + 96. Does 9 divide 18/(1 + t/(-12) + -4)?
True
Let n = -5642 + 7092. Does 58 divide n?
True
Suppose 295*w = 248*w + 189786. Is 36 a factor of w?
False
Suppose -j + 75 = 5*b, 0 = -4*b - 5*j + j + 60. Suppose 0*t = 5*t - b. Suppose v - 76 = -u, t*u + 17 - 247 = -5*v. Does 19 divide u?
False
Does 28 divide 2347 - (13 - 93/6)/((-3)/(-6))?
True
Suppose -4*j + 35*l - 1492 = 37*l, -2*j - 5*l = 746. Let h = -261 - j. Does 7 divide h?
True
Let x = -13970 + 23316. Is x a multiple of 168?
False
Let h = -78 + 81. Suppose 3*r + 20 = w, -h*r = r + 4*w + 32. Let x = r - -54. Is x a multiple of 12?
False
Let f(z) = -z**2 + 20*z + 24. Let p be 176/18 + 4/18. Let u = p + 8. Is f(u) a multiple of 10?
True
Let l = 5099 - 4092. Does 34 divide l?
False
Let r = 696 + -716. Is 26 a factor of (-2858)/r*4 - 8/(-20)?
True
Let c(o) = -20*o - 5 + 44*o + o**2 - 3. Let g be c(-25). Suppose g*h - 486 = 8*h. Does 22 divide h?
False
Let r = -761 + 4094. Let b be ((-14)/3)/((-22)/r). Suppose -91 = 4*p - b. Does 16 divide p?
False
Let b be 1/((-15)/20 - -1). Suppose 7*f - 40 = 6*f - 3*o, -b*f + 186 = -o. Does 14 divide f?
False
Let n(s) = -4*s + 49. Let c be n(5). Suppose -c*b + 396 = -20*b. Does 11 divide b?
True
Let l = -2134 + 2988. Suppose 2*u - 1522 = l. Is 44 a factor of u?
True
Let k be (-4 - -13) + 12/2. Suppose -642 - 3483 = -k*c. Is c a multiple of 11?
True
Suppose 3*d = 5*n - 22, 0 = -5*n - 0*d + d + 14. Suppose -2*c - n*o = 2*c - 638, -5*c + 4*o = -778. Is c a multiple of 22?
False
Let r be (-20)/(-4) - (1 - -6). Let v be 143/33 - r/(-6). Suppose x = 5*p + 11 + 23, -v*x + 98 = -p. Is 24 a factor of x?
True
Let n = 8617 + -2743. Is n a multiple of 11?
True
Let a = 35 - 33. Let z be (2 - 0) + 98 - 0/a. Suppose 101*n - 203 = z*n. Is n a multiple of 29?
True
Let m(g) be the second derivative of 7*g**4/12 - 2*g**3 + g**2/2 + 6*g. Let z be 189/28 + (-26)/(-8) + -4. Does 27 divide m(z)?
False
Let x be 1/4 - 2295/(-36). Suppose r + x = 3*r. Is r a multiple of 18?
False
Let w = 17351 - 17161. Is 10 a factor of w?
True
Let y be (0 - 2)/(-8) + 69/(-4). Let w = y - -26. Is w a multiple of 6?
False
Let c = -123 - -249. Let d = -73 + c. Is 4 a factor of d?
False
Let q = 4696 - -7163. Does 9 divide q?
False
Let w(r) = -6*r + 27. Let m be w(6). Let g(i) = -4*i + 5*i - 6 + i**2 - 8*i. Is 23 a factor of g(m)?
True
Let m(r) = r**2 + 2*r + 1. Let b be m(-1). Let u = b + 7. Is u a multiple of 3?
False
Let i(b) be the first derivative of 449*b**2/2 - b + 92. Is 42 a factor of i(1)?
False
Is ((-3366)/22*2)/((-2)/110) a multiple of 33?
True
Let x = 2221 - -1629. Is x a multiple of 154?
True
Suppose z - 51358 = 2*c, -2*z - 2*c + 33679 + 69019 = 0. Is z a multiple of 262?
True
Let i be 2/((-4)/9 - 4311/(-9882)). Let z(g) = -169*g + 1. Let r be z(1). Let x = r - i. Is 25 a factor of x?
False
Suppose 4*g - 4*r = 196, -5*r = -4*g - 0*g + 197. Let c = 230 - g. Is c a multiple of 42?
False
Let i be 3 + 28/(-7) + 4. Suppose i*g - 8*q - 1526 = -6*q, -5*g + 2535 = -5*q. Is g a multiple of 40?
False
Let d be 22 + 2 + 0*(-3)/18. Let a(f) = 2*f - 44. Let o be a(d). Suppose -x + 93 = -3*k, 2*x + k = o*k + 189. Is x a multiple of 24?
True
Let s = 30298 - -30376. Is s a multiple of 23?
True
Suppose 2*s + f = 3459, 2*s - 3992 + 532 = -2*f. Suppose -r + 4*w + 433 = 5*w, 4*r = -w + s. Does 27 divide r?
True
Let o be -5 + 819 + (-18)/3. Let y = -445 + o. Does 11 divide y?
True
Suppose -2*k - 5*t + 126 = 0, 2*k + 5*t = 5*k - 239. Let l = 60 - 27. Let q = k - l. Is q a multiple of 20?
True
Suppose 362 = 2*p + p - s, 0 = -p - 2*s + 109. Let i be p/9 - 4/18. Suppose -n + 3 = 0, 0*k - n - i = -2*k. Does 4 divide k?
True
Let t be -2 + 12/3 - -1. Suppose 4 = -4*y, t*y + 1112 = 5*a + y. Let u = a + -84. Is 9 a factor of u?
False
Let s(y) = 8 + y**3 - 27*y + 16 - 20*y**2 + 7. Let f be s(21). Let u = -23 - f. Is u a multiple of 16?
False
Let z(q) = 2*q - q**2 + 166 + q**2 + q**3 - 173. Let x be z(3). Let j = x + 17. Is 9 a factor of j?
False
Suppose -813 = -4*d + p, -22*p = -24*p + 6. Is d a multiple of 34?
True
Let d(q) = 2*q**2 + 3*q + 66. Let x(l) = 2*l**3 + 13*l**2 + 10*l + 15. Let y be x(-6). Does 10 divide d(y)?
False
Suppose 2*b = -5*m + 44265, 0 = -3*b + 16*m - 5*m + 66305. Does 35 divide b?
True
Suppose 8*n + 3*w - 5 = 4*n, -2*n = w - 3. Suppose -n*a = 4*t - 210, 4*a - 215 = -3*t + 230. Is a a multiple of 23?
True
Suppose 3*n + 3245 = 5*a, -9*n + 7*n = 4*a - 2574. Does 17 divide a?
True
Suppose 4*i - 4*n - 88 = 0, 0 = i + 4*i - 3*n - 102. Suppose i - 918 = -6*j. Is j a multiple of 15?
True
Let s be 9/6*-4*(-4)/(-6). Let o = 396 + s. Is 28 a factor of o?
True
Let d(l) = 92*l - 13. Let u(b) = -6*b + 23. Let w be u(2). Is d(w) a multiple of 37?
True
Let c(z) = 111*z**3 + 7*z**2 - 73*z + 122. Does 24 divide c(4)?
False
Suppose 0 = 4*f - 2*y - 18676, -27*y + 29*y + 8 = 0. Does 13 divide f?
True
Is (453/2)/((-15)/(-620)*62/93) a multiple of 31?
True
Suppose -4*z + 2256 = -4*d, -73*d = -3*z - 71*d + 1686. Is z a multiple of 8?
False
Suppose 0 = o - 5*i + 1310, 7*i - 2608 = 2*o + 9*i. Let g = o - -2103. Does 57 divide g?
True
Let l(v) = v**3 + 19*v**2 - 236*v + 10. Is l(9) a multiple of 22?
True
Let v(i) = -i**3 - 6*i**2 - 15*i - 13. Let q be v(-10). Suppose 0 = 3*s + t - q, 5*s + 2*t = 6*t + 912. Does 45 divide s?
True
Suppose 335*c - 2712997 - 2078843 = 0. Is 15 a factor of c?
False
Let v = -179 - -183. Suppose 501 = v*u + 33. Is 13 a factor of u?
True
Suppose -1754*d + 1747*d + 52304 = 0. Is 13 a factor of d?
False
Let u = -100 - -103. Suppose -4*c + 9*q = 5*q - 2280, -5*c + 2850 = u*q. Does 57 divide c?
True
Suppose 0 = -7577*k + 7567*k + 547560. Is 27 a factor of k?
True
Suppose -5*g = -3*y + 2, y + 3 = 5*g + 7. Let u be (y - (-75)/(-2))*4. Let f = u + 316. Does 26 divide f?
False
Suppose 4*i - 10 = -q, 1 = -i - 0*i - 2*q. Let r = 4293 + -4287. Suppose 0*h - 3 = -3*x - i*h, 2*h - r = -3*x. Is 3 a factor of x?
False
Let k(x) = 3*x + 49. Let p = -35 + 24. Let j be k(p). Is 21 a factor of -3*j/(-18)*(-504)/(-32)?
True
Suppose -54*d = -3483 - 75573. Is 183 a factor of d?
True
Let b(l) = -18*l - 123. Let u be b(-7). Suppose 4*o - 20 = 0, -2*o - 289 = -u*g + 1. Is g a multiple of 6?
False
Let s be (-16)/(-20) + (-24055)/(-25). Let b = s - 734. Is 13 a factor of b?
False
Let q(y) = -10*y - 11. Let a be q(-11). Let f = -94 + a. Suppose -5*t - b + 126 + 84 = 0, -197 = -4*t + f*b. Is t a multiple of 3?
False
Let l(p) = 18*p**2 - 45*p - 6. Let r be l(-6). Suppose -r = -6*h - 0*h. Does 2 divide h?
True
Let y(x) = 21*x**3 + 47*x**2 + 30*x - 42. Is 23 a factor of y(11)?
False
Suppose -3586 = 11*k - 11. Is (-1)/(2/8 - k/(-1196)) even?
True
Suppose 2 = 5*j - 58. Suppose 0 = -4*y + 3*k - k + j, 5*y - k = 18. Suppose y*s + 76 = 524. Is s a multiple of 17?
False
Let t(x) = -6*x**2 + 10*x - 10. Let z(v) be the second derivative of -v**4/12 + 18*v. Let y(d) = -t(d) + 2*z(d). Is 11 a factor of y(6)?
False
Does 33 divide (20/(-14))/((-48)/(-336)) + 21031?
True
Let h(i) be the second derivative of i**3/2 - i**2 - 14*i. Let g be h(3). Suppose 8 = 3*t - g. Is 2 a factor of