*2/2 + 8*w - 7. Let x(s) = -2*s**3 - s**2 + s - 5. Let v(o) = -5*f(o) - 8*x(o). Is 9 a factor of v(2)?
False
Let z be (-20)/(-30) - 2/3. Suppose 6 = k - 2*o, -2*o - 2 - 2 = z. Does 14 divide -3 + 6 + k + 65?
True
Let k(s) be the first derivative of 9*s**2/2 - 48*s + 1. Is 13 a factor of k(18)?
False
Suppose -12*r = -2421 - 17019. Does 54 divide r?
True
Let w = 12 - 1. Let p = w - 7. Suppose -p*y = -127 - 45. Does 27 divide y?
False
Let b(z) be the third derivative of z**6/120 - z**5/4 - 13*z**4/12 + 4*z**3 - 15*z**2. Is 16 a factor of b(17)?
True
Let j(y) = y**3 + 11*y**2 + 9*y + 14. Let l be j(-10). Suppose c = 20 + l. Is c a multiple of 6?
False
Let c(g) = -g**3 + 2*g**2 + 6*g - 1. Is 31 a factor of c(-8)?
False
Does 7 divide 470 - (7 + -7 - 0)?
False
Let r(w) = 74*w - 6. Is 51 a factor of r(3)?
False
Let k(l) be the first derivative of -l**4/4 + 2*l**3 + 5*l**2 + 3*l - 48. Let j be (-8 - 2/(-2))*-1. Does 15 divide k(j)?
False
Suppose 0 = -2*m + t - 3*t + 4, -3*t - 2 = -m. Let y be (-2 + 2)/(-3) + 190. Suppose -7*n + m*n = -y. Is n a multiple of 19?
True
Is (408/(-60))/(1/(-60)) a multiple of 4?
True
Suppose 0 = 5*f + 36 + 69. Let m be (13 + 1)*(-90)/f. Suppose 5*i = 4*n + 15, n + m = 5*i + 6*n. Is i even?
False
Let k(s) = s**3 + 4*s**2 - 5*s - 8. Let g be k(6). Let l = -172 + g. Does 30 divide l?
True
Let z(j) = -j + 1. Let t(q) = -q**2 + q + 20. Let n(c) = -t(c) - 5*z(c). Is n(-8) a multiple of 7?
True
Let w(s) = 5*s**3 - 3*s**2 - s + 2. Let d(z) = -z**2 - 9*z - 18. Let t be d(-6). Let r be 3/(-3) + t - -3. Does 14 divide w(r)?
True
Let h(q) = -4*q. Let r be (-6)/24 + 114/8. Suppose r - 54 = 4*i. Is 20 a factor of h(i)?
True
Suppose 2*k - 5*u = 759, -2*u + 1091 = -3*k + 6*k. Does 19 divide k?
False
Let m = -39 + 63. Let x = m + 53. Does 11 divide x?
True
Suppose -4*v = -20, -5*z - 142 = -5*v - 27. Let c = -9 - z. Suppose c*y - 36 = 8*y. Does 18 divide y?
True
Let n = 205 - -96. Is 43 a factor of n?
True
Let a(t) = -26*t - 34*t + 62*t - t**2. Let v be a(3). Let i(h) = 6*h**2 - h + 7. Does 16 divide i(v)?
True
Suppose -44*p + 41*p + 6 = 0. Suppose -p*q + 240 = q. Is q a multiple of 12?
False
Suppose 2*r + 4*w + 18 = 0, -6*r + 3 = -3*r - 4*w. Is 13 a factor of r/4*(-58 + 6)?
True
Let d be 2/(2/(-1)) + 2. Let x be 5/(-4)*(d + -5). Suppose 4*k - x*v = 134, -3*v - 12 = -k + 18. Does 12 divide k?
True
Suppose 1137 = 4*h - 527. Is h a multiple of 13?
True
Let b(t) = -t + 2. Let u be b(5). Let s be (-904 + -2)/(u/4). Is 10 a factor of 2/(-5) - s/(-20)?
True
Let o = -1 - -29. Let m(f) = 2*f**3 - 4*f**2 + 2*f - 4. Let g be m(3). Let n = o - g. Does 5 divide n?
False
Let m = -11 + -19. Does 4 divide (-12)/m - (-96)/10?
False
Let b(v) = -2*v**2 - 49*v - 68. Is b(-20) a multiple of 16?
True
Suppose 3*n - 622 = 32. Suppose 4*t - 4*f - 280 = 0, n = 4*t - t + 5*f. Does 12 divide t?
False
Suppose 4*k + 1163 = 5*h, k - 11 + 244 = h. Does 3 divide h?
True
Suppose 3*c - h = -5*h - 37, 0 = 5*h - 10. Let d = -3 + c. Let v = -11 - d. Does 2 divide v?
False
Suppose -y = -d - 3*y - 6, -y = -3*d + 10. Let v be -2*(-3 + -4 + d). Suppose 8*r + 96 = v*r. Does 16 divide r?
True
Suppose -3*f + f = 0. Let q = 96 - 47. Suppose 2*j - q - 23 = f. Is j a multiple of 12?
True
Let d be (2 - 36/15)*-165. Suppose 7*r - 6*r = d. Is r a multiple of 28?
False
Let w(j) = 7*j + 5. Let c be (-8)/(-20)*5*3. Let g be 3 - 1/((-3)/c). Does 20 divide w(g)?
True
Let i(o) = -2*o**2 + 2*o + 4. Let d be i(0). Suppose 5*p - 288 + 20 = -d*y, -2*p - 5*y = -114. Is p a multiple of 13?
True
Suppose 0 = f - 4, -o = o - 3*f - 60. Suppose 3 + o = -3*v. Let m = 2 - v. Is m a multiple of 12?
False
Let s(j) = 7*j**2 + 3*j + 2. Let r = -52 - -50. Does 6 divide s(r)?
True
Let t = 59 - -13. Let q(v) = 7*v - 129. Let c be q(19). Suppose 2*m - 30 = a, c*m - a = -m + t. Is m a multiple of 8?
False
Suppose -2 = 2*x, 3 = 5*t - 5*x - 22. Let k be 216/22 + t/22. Is 23 a factor of (-92)/k*(-5)/2?
True
Let f be 85/15 + 2/(-3). Suppose -2 + f = -3*m. Is (m - -30)/(-1 - -2) a multiple of 29?
True
Let v be (98/3)/(8/48). Let y = v - 79. Does 29 divide y?
False
Let i = -10 + 14. Suppose i*a + 5*u - 153 = 158, -5*a + u + 367 = 0. Does 37 divide a?
True
Suppose 0*k + 380 = 3*j - 4*k, 4*k + 644 = 5*j. Is j a multiple of 6?
True
Let u = -86 + 51. Let k = -23 - u. Is k a multiple of 10?
False
Let x = 719 + -508. Is 7 a factor of x?
False
Suppose 0 = 5*s + 5, 5*t - 3*t - 572 = -4*s. Is t a multiple of 16?
True
Let m(h) = -h**2 + 25*h + 4. Does 11 divide m(21)?
True
Suppose 194*d - 189*d = 85. Is 11 a factor of d?
False
Let y be -1*1/2*-188. Let g be (-1 + 2)/(1/(-3)). Is 25 a factor of y/g*(-6)/4?
False
Suppose -n - 3*w + 1005 = 2*n, -327 = -n - 5*w. Suppose 0 = 9*z - 329 - n. Does 14 divide z?
False
Let h = 75 - 65. Let a = h - 6. Is a even?
True
Is 257232/144 - 4*(-2)/(-6) a multiple of 35?
True
Is 72 a factor of (-106884)/(-108) + (-4)/6?
False
Let a = -94 + 2072. Does 14 divide a?
False
Let x = -8 - -9. Let c be 1/(x*4/52). Let h = 43 - c. Does 10 divide h?
True
Let s = -136 - -322. Does 9 divide s?
False
Let a(n) = n - 6. Let b be a(6). Let g be 32/7 + 24/(-42). Suppose g*q - 7*q + 93 = b. Is 30 a factor of q?
False
Suppose 5*m - 10 = 5. Let b = -3 - 4. Is (24/b)/(m/(-21)) a multiple of 24?
True
Let s be -2 + 6*1/2. Let d be 2 - s*(-21)/1. Does 9 divide d + 2 + (4 - 2)?
True
Let z = -507 + 856. Suppose -89 = -j + 5*q, -j + q = 4*j - z. Is j*2/24*4 a multiple of 10?
False
Suppose 10*m - 4*m - 192 = 0. Is 3 a factor of m?
False
Suppose 0 = -f - 376 + 965. Is 3 a factor of f?
False
Suppose -f + 4 = 0, 3*f - 32 = 2*t - 128. Suppose -i = -4*i + t. Is 9 a factor of i?
True
Let z(o) = -o**2 + 12*o - 8. Let m be z(11). Suppose 17 = -0*t + t + m*l, 2*l = t + 3. Suppose 0 = -t*v + 30 + 30. Is v a multiple of 3?
True
Let f = 118 + -381. Let p = f + 473. Is 21 a factor of p?
True
Is 68 a factor of (11572/(-8))/(-11) - 4/8?
False
Does 45 divide ((-2 - 221) + 7)*(-9 - -4)?
True
Suppose -5*a + 0*a = -65. Suppose -a*g = -8*g. Suppose x + 4*x - 75 = g. Is 15 a factor of x?
True
Let s = -45 - -35. Let v(t) = t**3 + 12*t**2 + 20*t + 3. Let i be v(s). Let m(x) = x**3 - 2*x - 1. Is m(i) a multiple of 5?
True
Suppose 6*u - 4*t - 1752 = u, 4*t - 360 = -u. Is u a multiple of 11?
True
Let m be 340/187 + (-2)/(-11). Let k(p) = -p**2 - p + 3. Let s be k(2). Does 7 divide 30 + 2*(s + m)?
True
Suppose -2*i - 2*s = -i - 42, -154 = -4*i - s. Suppose -i = -4*y + 14. Is 13 a factor of y?
True
Let c = 8 + -5. Let y = -126 - -256. Suppose -8*p + c*p = -y. Is p a multiple of 13?
True
Suppose -7*k + 52416 = 49*k. Is k a multiple of 13?
True
Suppose 0 = -i + 3 - 0. Suppose -i*r - 4*r = -455. Does 13 divide r?
True
Let w = 340 + -130. Is w a multiple of 7?
True
Let g be 3/(-9)*0/(-4). Suppose 60 = 5*z - g*z. Suppose -3*b = 5*u - 22, 3*u - 3*b + z = 6*u. Does 5 divide u?
True
Suppose 0 = -24*t + 22*t. Suppose t*m = 2*m. Suppose 0 = -r - m*r + 93. Is r a multiple of 26?
False
Let b(n) = -n**2 + 8*n + 13. Let j be -9*((-20)/5 + 3). Let k be b(j). Let d = k + 31. Is d a multiple of 5?
True
Suppose 0 = 3*k - k. Suppose -2*d + k = -4*l + 26, -3*l - 5*d = 13. Suppose -4*z + 6*z - 32 = -l*c, -5*c - 3*z = -40. Does 4 divide c?
True
Let s = -90 + 103. Let w(c) = c**3 - 14*c**2 + 18*c - 11. Is w(s) a multiple of 16?
False
Let c(w) = 15*w**3 + w + 3 - w - 2. Let r be c(1). Does 8 divide (-4)/r - (-237)/4?
False
Suppose -3*l = 4*z - 21, -2*z + 0*z = -5*l - 17. Let k(x) = 6*x + 5. Does 13 divide k(z)?
False
Suppose -24 = 3*t - t. Let j = t - -12. Suppose j = 3*o - 257 + 83. Does 8 divide o?
False
Let b(p) = 6*p - 14. Let m be b(14). Let d = 118 - m. Is d a multiple of 16?
True
Suppose 0 = -x + 3*x + d - 726, 345 = x - 4*d. Suppose 5*i - i + 5*u = x, 0 = 2*i + u - 173. Does 18 divide i?
False
Let c = -3 - -8. Suppose 4*b - 399 = -c*q, 2*b = -3*b - q + 483. Does 32 divide b?
True
Suppose 4*m + 25 - 1705 = 0. Does 42 divide m?
True
Suppose -7*d + 12*d - 1700 = 0. Is 18 a factor of d?
False
Let n(o) = o**2 + 4*o - 27. Is 18 a factor of n(-12)?
False
Let x = -64 - -79. Is ((8 - 4) + -5)*x*-5 a multiple of 4?
False
Suppose 2*x - 4*x = -a + 348, 2*x + 8 = 0. Is a a multiple of 34?
True
Does 6 divide (225/6 - -1)*(-36)/(-7)?
True
Let z(w) = 2*w**2 - 9*w + 10. Let j be (2 - -1)