
Let k be 2/(2/1) - -4. Suppose k*c = c + 168. Is c*(1/(-3) - -1) a multiple of 18?
False
Suppose -38 = -7*l + 403. Is l a multiple of 3?
True
Let t(o) = -5*o**3 + 15*o**2 + 16*o - 31. Let g(i) = 0*i**3 - 3*i**3 - 15 + i**3 + 8*i**2 + 8*i. Let v(l) = 7*g(l) - 3*t(l). Does 4 divide v(-10)?
True
Let b be 3*37 - (-8 - -6). Let v = 27 - b. Let z = 125 + v. Does 12 divide z?
False
Let o = -77 - -133. Does 40 divide o?
False
Suppose -3 = 5*r - 93. Let c = 41 - r. Is 5 a factor of c?
False
Does 11 divide 9/(-6)*110/(-3)?
True
Let s(q) be the first derivative of -6*q**2 - 1. Let k be s(-2). Let a = 36 - k. Does 6 divide a?
True
Suppose -2*j + 14 + 18 = 3*u, -2*j = -3*u - 32. Does 6 divide j?
False
Let s = 198 + -192. Is s a multiple of 6?
True
Suppose -3*p + 6*p = -4*l + 88, 5*l + 25 = 0. Let y = 80 - p. Is y a multiple of 22?
True
Suppose t - 2*t = 5*w - 15, w - 3 = t. Suppose 4*h - 252 = -t*h. Suppose h = 5*r - 102. Is 9 a factor of r?
False
Let s(i) = i**3 - 7*i**2 + i - 4. Let q be (-44)/(-6) + 2/(-6). Let r be s(q). Suppose -3*a - 3 + 87 = -r*z, a + z = 24. Is a a multiple of 11?
False
Is 2/((-2)/(-3)) + 12 a multiple of 5?
True
Let o = -12 + 17. Suppose -c + 4*l + 32 = -0*l, 3*c - 82 = o*l. Does 8 divide c?
True
Let q be (4/8)/((-1)/(-342)). Suppose -q = -5*s + 84. Is s a multiple of 21?
False
Let u be (-1 - -2) + (-3 - -2). Suppose u = -g + 15 + 7. Does 11 divide g?
True
Let t be (-4)/(-1)*(-4)/(-8). Suppose 3*c = -3*g - 4 + 1, 4*c = t*g - 16. Suppose -a - k = -3*a + 25, 22 = g*a + 2*k. Is 12 a factor of a?
True
Let n(b) be the first derivative of 9*b**2/2 + 3. Is n(5) a multiple of 13?
False
Suppose -7 + 100 = 3*u. Suppose -8 = -2*k - r, -4*k - 4*r + 0*r + 24 = 0. Suppose 37 = k*m - u. Is 17 a factor of m?
True
Suppose 0 = -2*p + 93 + 653. Suppose 0 = -3*j + 3, 5*g - 2*j - p = -0*j. Is g a multiple of 18?
False
Let c be (-3)/(-4) + (-852)/(-16). Suppose -q + y + c = 0, -q + 3*y = -16 - 30. Is 29 a factor of q?
True
Let u(y) = -y**3 + 4*y**2 + 5*y + 4. Let p be u(5). Suppose -229 = -p*w - 49. Is 15 a factor of w?
True
Let t be 39/15 + 6/15. Suppose -5*f = -t*f - 2. Does 11 divide 0/(-3) - (-42)/f?
False
Let z be -2*1 + 128/(-4). Let i = z + 54. Is i a multiple of 10?
True
Let g be 2/(-2) + -4 + -1. Is 8 a factor of (-4)/g*285/10?
False
Let r(j) = j + 14. Let k(f) = 2*f + 2. Let y be k(-6). Is 2 a factor of r(y)?
True
Suppose a = -4*c, c - 26 = 5*a - 5. Let o = 16 - a. Is o a multiple of 10?
True
Let i(p) = p**3 - 15*p**2 + 16*p + 2. Is i(14) a multiple of 10?
True
Suppose -3*s + 0*s + 27 = 0. Suppose -51 = -2*a + s. Does 15 divide a?
True
Suppose -3*t = 2*t - d - 27, 3*t - d - 17 = 0. Suppose -8 = -t*w + 112. Is w a multiple of 24?
True
Suppose 2*x + 80 = 4*a + x, 4*x - 16 = 0. Is a a multiple of 10?
False
Suppose 3*g = 4*g + 4. Let a = g + 19. Let u = -6 + a. Is u a multiple of 3?
True
Suppose -37*d + 33*d + 268 = 0. Is 35 a factor of d?
False
Let f(q) = 10*q - 16. Does 26 divide f(25)?
True
Let r = -28 - -22. Let h = r + 18. Is 6 a factor of h?
True
Suppose x + 8 = -0*x. Let m be 1*2*12/x. Does 15 divide ((-20)/m)/((-4)/(-18))?
True
Suppose d + 3 = -0*d. Let z be 2/(-12) - d/18. Suppose 5*b + 4 = 5*h - 6, h - 4*b + 4 = z. Does 4 divide h?
True
Let i = 33 - -7. Is i a multiple of 3?
False
Let n = -5 - -9. Suppose -6 = 5*v - n*l - 62, 4*v - 49 = -l. Is v a multiple of 4?
True
Let l be (-6)/(2/4*-3). Let q be 1/(-2 + 7/3). Suppose -q*n + 59 = 2*s, 6*n = l*s + 2*n - 88. Is s a multiple of 13?
False
Is 2/1 - (-4 + -6) a multiple of 12?
True
Let i = 33 + -32. Suppose -2*d + 4*j = -d - 25, -4*j - 93 = -5*d. Let k = d + i. Is k a multiple of 10?
False
Let b(q) = -q**3 - q**2 + q. Let x be b(-2). Suppose -x*n = 4*r + r - 13, 5*n = -4*r + 75. Does 5 divide n?
False
Let i(k) be the first derivative of 2 - k - 1/2*k**2 + 6*k**3. Does 16 divide i(-1)?
False
Suppose v = 4*y + 76 + 51, 0 = -4*v + 2*y + 508. Let d = -87 + v. Is 15 a factor of d?
False
Suppose 13*r = 9*r + 396. Is r a multiple of 15?
False
Let r be 3/5 + (-5428)/(-20). Suppose -4*n = -0*n - r. Is n a multiple of 17?
True
Let v be (-1)/(-2) - (-2)/4. Suppose 4*r = -4*n - r + 27, -9 = -3*r. Suppose 20 + v = n*i. Is i a multiple of 6?
False
Suppose 5*i + 4*r - 36 = -144, -2*i - 3*r - 39 = 0. Let d be (-140)/i + 1/6. Does 5 divide (4/5)/(d/75)?
True
Suppose -2*b = b. Suppose -2*d + 4*w = 2, -4*d + 5*w + 1 + 1 = b. Is d a multiple of 3?
True
Let x(s) = 0 - 3*s - 1 + 4*s. Let k(f) = -7*f + 4. Let c(u) = k(u) + 4*x(u). Does 9 divide c(-3)?
True
Let o = -4 - -10. Let v(h) = 3 + 4 + 13*h**2 - 6*h**2 - o. Does 15 divide v(2)?
False
Let m(f) be the second derivative of -f**5/20 - 5*f**4/6 - 11*f**3/6 - 9*f**2/2 + f. Let k = 12 + -21. Is 4 a factor of m(k)?
False
Let h = -33 + 61. Does 13 divide h?
False
Suppose -2*q = 2*q - 56. Does 3 divide q?
False
Suppose -5*p = 3*x - 77, 5*p + 5*x - 76 = x. Does 4 divide p?
True
Let c(l) = 2*l**2 - 4*l - 5. Let p(i) = 6*i**2 - 12*i - 14. Let u(j) = -11*c(j) + 4*p(j). Is u(4) a multiple of 15?
True
Let v = 10 + -7. Suppose v*c - 5*c = -6. Does 19 divide c/9 + 164/3?
False
Let o(j) = -j**3 - 12*j**2 + 6*j - 9. Let t be o(-13). Suppose -2*z = -14 - t. Is 12 a factor of z?
True
Suppose -4*k = -2*m - 3*m - 928, 0 = -4*k - 5*m + 968. Is k a multiple of 42?
False
Let j = -3 - -3. Let r be -2 + 0 + (6 - j). Let p(y) = 2*y**2 - 2. Is p(r) a multiple of 15?
True
Let s be (-4)/14 + (-115)/(-35). Suppose -4*d = 3*k - 53 + 3, -s*d = 3*k - 48. Is 6 a factor of k?
False
Suppose -3*b - 3*b = -444. Is 25 a factor of b?
False
Suppose -2*f - 3 = -f. Is 5 a factor of 1/(0 + f/(-39))?
False
Let v = 4 - -2. Suppose 0 = j, -2*j - 4 = -5*c + v. Suppose 0 = -5*t - c*y + 115, -2*t + 21 + 19 = 2*y. Does 18 divide t?
False
Let r be ((-2)/2)/((-2)/(-14)). Let x(q) = -q**2 - 8*q + 5. Is 9 a factor of x(r)?
False
Suppose 62 = s + 42. Does 2 divide s?
True
Let x = 2 - 8. Let p be 2 + x + 3 - 2. Let n = 6 - p. Does 9 divide n?
True
Does 4 divide (-4 - 606/(-30)) + 1/(-5)?
True
Suppose 14 = 2*m - m. Let c be (-2)/7 + (-500)/m. Does 9 divide 1/(1 + c/38)?
False
Suppose -3*q - 4*y + 64 = 0, -5*q + y = -0*q - 122. Suppose v = -3*v + q. Is 2 a factor of v?
True
Let x be (-303)/(-4) + (-4)/(-16). Let m = x - 42. Is 17 a factor of m?
True
Does 9 divide 6/(9/3) + 47?
False
Let v be 302*1*2/4. Suppose -v + 43 = -2*u. Does 18 divide u?
True
Let x be 2/5*30/3. Let k = x - 6. Does 19 divide k/10 + (-171)/(-5)?
False
Suppose 3*m - 140 = -38. Does 22 divide m?
False
Let u = 133 - 91. Is u a multiple of 7?
True
Suppose -13*t + 44 = -73. Is 9 a factor of t?
True
Let v(j) = 2*j**2 + 6*j + 5. Does 9 divide v(-8)?
False
Suppose -o - 36 = -3*o. Does 4 divide o?
False
Let t(i) be the third derivative of i**6/120 + i**5/6 + 5*i**4/24 - 2*i**3/3 + i**2. Let j be t(-4). Suppose -4*u + j = -0*u. Is u a multiple of 9?
True
Does 16 divide 12/((-9)/4 - -3)?
True
Let b(m) = m**3 + 12*m**2 + m + 11. Let o be b(-12). Let y be 5 - (-2)/(o/(-1)). Suppose 4*p = -3*d + 182, p - 52 = 3*d - y*d. Does 22 divide p?
True
Is (-156)/(-18) - (-4)/(-6) even?
True
Let s(i) = 36 - 2*i + i - 15. Is s(0) a multiple of 11?
False
Let b(d) = -d**2 + 14*d - 14. Let w be b(13). Let u = -5 + 2. Is 9 a factor of w*u*5 + 3?
True
Let y be (6 + -10)*(-2)/4. Suppose q + 106 = y*b + 6*q, 5*b = -3*q + 246. Suppose -m = -4, 0*j + 2*m - b = -j. Does 20 divide j?
True
Let g be -3 + 1*15/3. Suppose 42 = 2*u - 0*n - g*n, 0 = -3*u + 4*n + 66. Does 14 divide u?
False
Let c = 8 - 23. Is (-635)/c - 2/(-3) a multiple of 14?
False
Let y(z) = -8*z + 8. Let u(b) = -4*b + 4. Let x(n) = 7*u(n) - 4*y(n). Let f = 9 + -6. Is x(f) a multiple of 4?
True
Suppose c = -l - 1, 5*c + 13 = -3*l + 2. Is 12 a factor of (c - 2)/(3/(-6))?
True
Let z = 5 + -4. Let s = 3 + z. Suppose 2*g + 28 = q, 4*q + s*g - 95 = 41. Is 16 a factor of q?
True
Let j(n) = 8*n**2 + 2*n - 3. Let c be j(-6). Suppose -c = -2*d - d. Is d a multiple of 24?
False
Let c(p) = -p**2 + 6*p + 3. Let o be c(6). Let k be 14/(-3) - 1/o. Let q = 24 + k. Does 8 divide q?
False
Suppose 4*s + 8 = x + 3*s, -2*s = 2. Is 2 a factor of x?
False
Suppose 0 = -0*d - 2*d - 2*a + 160, -2*d + 5*a + 132 = 0. Is d a multiple of 41?
False
Let f = 13 - 29. Let h be 1*(2 + 0)/1. Let j = h - f. Is j a multiple of 7?
False
Let y(s) = 44*