?
True
Let b(r) = -82*r - 10. Let c be b(-6). Let z = 738 - c. Let s = -181 + z. Is s a multiple of 27?
False
Let y = -20 + 7. Let h(a) = 3*a**2 + a - 3. Let j be h(-4). Let f = y + j. Is f a multiple of 23?
False
Does 14 divide 5 - ((-2)/(-3))/((-12)/7866)?
False
Let p(m) = -24*m + 24. Does 9 divide p(-8)?
True
Suppose -5*u = n - 1865, -3*n - 3458 + 9089 = 3*u. Is 66 a factor of n?
False
Let n(r) = r**3 + 6*r**2 + r + 4. Suppose 0 = -4*s + 9*s + 30. Let z be n(s). Is (9/z)/(2/(-20)) a multiple of 15?
True
Is 10/(-50) - 5802/(-10) a multiple of 58?
True
Suppose 0 = 2*l + 3*g - 16, -7 = -5*l + g - 1. Suppose 5*p = 2*m - 100, -109 = -4*m + l*p + 75. Is m a multiple of 13?
False
Suppose 2*w - 3 = -5*t + 17, -t - 4*w + 22 = 0. Suppose 0 = 9*b + t*b - 451. Is 4 a factor of b?
False
Let t(w) = -w**2 - 12*w - 18. Let i(m) = -m**2 + m - 1. Let c(u) = 2*i(u) - t(u). Let z be c(9). Suppose -3*q - 1 = -z. Is 5 a factor of q?
True
Suppose 0 = 5*g - 20, 4*g = -4*a + 25 + 23. Is 24 a factor of (-4)/(a/(-9))*(-32)/(-6)?
True
Suppose g = 4*g - 9, 2*g = -w + 13. Suppose -3*d = w - 19. Is 16 a factor of (-3)/d + (-201)/(-12)?
True
Suppose -x - 10 = 5*f - 49, 4*x - 3*f - 179 = 0. Suppose -184 = -4*d - x. Let c = -8 + d. Is 27 a factor of c?
True
Suppose k + 13 = 16. Suppose -216 = s - k*s. Is 10 a factor of s?
False
Let t = -498 + 849. Is 17 a factor of t?
False
Let j = -514 + 278. Is j/6*27/(-18) a multiple of 8?
False
Let f = -26 + 25. Is 13 a factor of (f + -3)/((-1)/4)?
False
Let k(o) = -17*o**3 - 3*o**2 - 14*o + 6. Does 16 divide k(-3)?
True
Suppose 12*o - 7*o - 15 = 0, -2*o - 434 = -2*k. Does 55 divide k?
True
Let m(c) = 2 + 2*c - 2*c - c. Let p be m(0). Suppose -x = -2*h + 38, -p*x + 98 = 5*h - 3*x. Is 13 a factor of h?
False
Suppose i - 7 + 97 = 5*o, 0 = 2*o + 5*i - 36. Suppose w - 8 = -o. Let a = 5 - w. Is 15 a factor of a?
True
Suppose -o + 3*w + 99 = -436, 0 = -o + 5*w + 545. Is 97 a factor of o?
False
Let v be (-2)/(2*-1) - -2. Suppose -q = -6*z + z - 48, q + 3*z = 48. Is 6 a factor of (v/9)/(2/q)?
False
Suppose 0 = -17*s + 12*s + 3700. Suppose 7*c + 110 = s. Is 15 a factor of c?
True
Let z be 522/102 + 4/(-34). Suppose z*q + 17 = 127. Is q a multiple of 6?
False
Suppose 52*h - 2280 = 40*h. Is h a multiple of 10?
True
Let z = -249 + 487. Does 27 divide z?
False
Does 6 divide (-30)/(-35)*-3*-14?
True
Does 6 divide (928/40)/(1 - 13/15)?
True
Let q = 48 + -43. Suppose -q*m + 3*m - 5*x + 297 = 0, m = -x + 153. Does 39 divide m?
True
Let g = 1184 + -684. Suppose -n + 5*u - 2*u = -100, 5*n - g = -4*u. Does 25 divide n?
True
Let k be 306/(-39) + -2 + 96/52. Does 8 divide (-1467)/(-27) - k/(-6)?
False
Is 1206 + ((-2)/(-3))/(-2)*18 a multiple of 16?
True
Let b(a) be the third derivative of -a**6/120 + 3*a**5/20 - a**4/3 + 7*a**3/6 + 3*a**2. Let v be 6/10 + 64/10. Is b(v) a multiple of 19?
False
Let l = -16 - -30. Suppose -l*n = -13*n - 2. Suppose 0 = n*v - 12 - 28. Does 5 divide v?
True
Let k = -734 + 762. Does 14 divide k?
True
Suppose -3*p - 3 + 0 = 0. Suppose -5*x + 73 = 6*t - 8*t, -2*x = -4*t - 26. Let b = x - p. Is 8 a factor of b?
True
Suppose -2*z = -10*z + 8280. Does 9 divide z?
True
Let q(w) = 276 - 9*w - 2*w + 6*w + 10*w. Does 12 divide q(0)?
True
Let h be 3*(-2)/12*8. Is 12 a factor of (-21 - 1)*(0 + h)?
False
Let i = 231 - 133. Is 7 a factor of i?
True
Suppose 0 = -d - 27 - 210. Let x = d - -487. Is x a multiple of 50?
True
Let y = -11 - 7. Let l = 32 + y. Is l a multiple of 5?
False
Is 29 a factor of 16/(-4) - -9 - -111?
True
Let r(b) = 46*b**3 + 3*b**2 - 11*b + 20. Is 11 a factor of r(2)?
False
Suppose -2*c - 2 - 5 = 5*f, -2*c = 3*f + 1. Let r be c - 5/((-10)/(-16)). Does 6 divide -2 - -8*(8 + r)?
True
Let g = -74 + 77. Suppose 4*u - 6 = 3*z - 2*z, -g*u - 2*z + 10 = 0. Is 2 a factor of u?
True
Let o = 3994 - 1527. Is o a multiple of 17?
False
Let s(k) = -k**3 + k + 0*k**2 + 0*k**3 + 12 + 2 - k**2. Let y be s(0). Let f = y + -7. Is f even?
False
Let x = 194 - 186. Does 2 divide x?
True
Let b = 7 - -14. Suppose -b = -4*z - 3*j, 0 = 8*z - 4*z - 3*j - 27. Suppose t + 120 = z*t. Is 8 a factor of t?
True
Let r = 1295 + -1300. Suppose 0 = -u + v, 2*v - 30 + 9 = -5*u. Does 2 divide (2/r)/(u/(-75))?
True
Let d be (-3)/(2 + -8)*4. Suppose -d*j + 550 = 3*j. Does 11 divide j?
True
Suppose 3*c + c = 20. Suppose 0 = -r + 2*r - c. Suppose -47 - 138 = -r*l. Does 17 divide l?
False
Let t = 545 - 302. Is t a multiple of 6?
False
Suppose 15*b - 6730 = -1765. Is 43 a factor of b?
False
Let v = 3667 + -3302. Does 23 divide v?
False
Suppose -2190 - 4040 = -14*a. Does 3 divide a?
False
Let s(c) = -107*c**2 - 1 + 98*c**2 - c**3 + 13*c + 7 + 3*c. Is s(-11) a multiple of 8?
True
Let o(i) = 165*i**2 + 5*i + 11. Let n(l) = 33*l**2 + l + 2. Suppose -3*q - 4*u + 14 = -0*q, 12 = 4*q + 4*u. Let s(b) = q*o(b) + 11*n(b). Does 16 divide s(-1)?
True
Suppose x - 556 = -3*t + t, 5*x + 544 = 2*t. Let z = -108 + t. Is z a multiple of 41?
False
Let s(l) = 4*l**3 - 9*l**2 + 13*l + 3. Is 15 a factor of s(6)?
False
Let w(s) = -58*s**3 + 7*s**2 - 2*s - 1. Does 86 divide w(-3)?
True
Suppose 0 = -2*w + 119 - 3. Does 14 divide w?
False
Suppose 11219 + 13 = 12*t. Does 27 divide t?
False
Let u = -12 - -64. Let d(b) = b**3 - 6*b**2 + 6*b. Let w be d(5). Suppose w*o - u + 12 = 0. Is o even?
True
Suppose -4*g = 3*l - 8*g - 1085, -5*g + 1121 = 3*l. Is l a multiple of 8?
False
Let q(r) = -r**3 - 5*r + 165. Is q(0) a multiple of 11?
True
Is 34 a factor of 0 + (-105 + -2 + 2)*-3?
False
Let v = 588 - 409. Suppose -4*j + 81 = -v. Is 13 a factor of j?
True
Let d be 46 - 3*(-4)/(-6). Suppose 0 = 4*y - 12 + 28. Let r = d + y. Is 20 a factor of r?
True
Let j(m) = m**3 - 18*m**2 + 17*m + 4. Let d be j(17). Suppose p + 0*k = -5*k + 2, -k = 2*p - d. Suppose -4*x + 258 = p*x. Is x a multiple of 16?
False
Let i be -4 + (-6)/(-1) + -73. Let p = i - -211. Does 28 divide p?
True
Let t = -73 + -92. Does 11 divide 4*(-4)/24*t?
True
Let w(d) = d**2 + 4*d - 26. Let n = 119 - 128. Does 2 divide w(n)?
False
Let x = 2474 + -1682. Does 21 divide x?
False
Suppose -2*w + 7*w - 3*n + 15 = 0, 3*w - 20 = -4*n. Let r = -4 - 7. Let g = w - r. Is g a multiple of 11?
True
Let n(w) be the third derivative of w**5/15 + w**4/12 - 4*w**3 - 26*w**2. Is 43 a factor of n(-6)?
False
Is (3819/(-67))/((-6)/82) a multiple of 19?
True
Let h(d) = d**2 - 3*d - 4. Let r be h(-2). Suppose -13*t + 1393 = -r*t. Does 20 divide t?
False
Let r = 2 - 9. Let w(o) be the first derivative of -2*o**2 + 6. Is w(r) a multiple of 10?
False
Let r be (-3)/(-2)*4/3. Let y = 3 - r. Is y/3 - (-141)/9 a multiple of 8?
True
Suppose -p - 4*a = p - 12, -4*a = -p. Suppose 5*x = -p*b + 3*x + 518, -5*b = x - 652. Does 6 divide b?
False
Let b be (3/9)/(2/(-6)). Let c(j) = -12*j**3 + 2*j**2 - 1. Let t be c(b). Suppose 0 = 3*h - 2*m - 12, -5*h + 2*m + 11 = -t. Is h even?
True
Let a be 2/(-5) - 416/(-40). Suppose 130 = 12*y - a*y. Is y a multiple of 14?
False
Is 45 a factor of 20*(-3)/9*(-300)/4?
False
Let d be ((-406)/(-21) - -1) + (-1)/3. Suppose 2*a = -d + 52. Does 4 divide a?
True
Suppose -74 = -7*r - 11. Suppose 0 = -4*h - 10 + 2. Let k = h + r. Is k a multiple of 7?
True
Let z = 315 - 67. Suppose 3*j = 5*t - z, 0 = 5*t + 4*j - 102 - 174. Does 13 divide t?
True
Let x(v) = v**3 - 10*v**2 + 6*v - 12. Let j be x(11). Suppose -5*w - 3*p = -239, 3*w - j + 24 = 2*p. Is 23 a factor of w?
False
Suppose -s = -2*s - 4*g - 598, 2*g = 4*s + 2374. Is 11/(s/12) - 814/(-18) a multiple of 9?
True
Suppose -15*d + 879 = -2151. Is 35 a factor of d?
False
Suppose -6 = -9*k - 285. Let i = k + 100. Is i a multiple of 23?
True
Suppose 4*n - 4*h + 479 = n, -4*n = 4*h + 620. Is n/(-4) + 3/(-12) a multiple of 13?
True
Suppose -7 = -3*c + a, 0*c + 5*a = c - 7. Let o be ((-22)/8 + c)*-4. Suppose 6*u = o*u + 84. Does 14 divide u?
True
Suppose -10*c + 3430 = 4*c. Is c a multiple of 17?
False
Let t = 280 + -137. Let d be (t/26)/(1/2). Suppose -a - 2*a + d = i, 5*a - 21 = -3*i. Is i a multiple of 2?
True
Let g(y) = -y**3 - 7*y**2. Let m be g(-7). Suppose m = k + 1. Is 4 a factor of k/(1/(-11)) + -1?
False
Suppose -9 = 3*b, 4 = 5*q - 0*q - 3*b. Let c be 7 - (3/q - -2). Let d = c - 1. Is d a multiple of 7?
True
Suppose 507 = 7*d - 95. Let f = d + -20. Does 11 divide f?
True
Is 18 a factor of 33544/1