 w = s + 90. Is w a multiple of 15?
True
Suppose -j = 2*j. Suppose 5*a - d - 88 = -0*a, j = 2*a + 2*d - 40. Is 15 a factor of (a/(-4))/((-3)/18)?
False
Is (-16)/(-6)*(-10)/(120/(-54)) a multiple of 4?
True
Let x = -136 - -281. Let i = -76 + x. Let r = i + -42. Is 9 a factor of r?
True
Let a(n) = -8*n + 17. Is a(-14) a multiple of 9?
False
Suppose 2*a + 4*w - 13 = 101, 5*a - w - 252 = 0. Let n = 43 + -24. Suppose 4*p + 5*b = a, 3*p = -b - n + 60. Is p a multiple of 10?
False
Let g(f) = -5 - f + 9 - 5*f. Is g(-4) a multiple of 14?
True
Let u(q) = q**3 + 2*q**2 + 2*q + 1. Let c be u(-1). Suppose c*k + 33 = 3*k. Let p = 0 + k. Is 9 a factor of p?
False
Does 20 divide -4 - -4 - -4 - (-96 - 0)?
True
Let n = -8 - -28. Does 10 divide n?
True
Suppose -2*r + a = 7, 5*a = r + 2*r. Let o(b) = -8*b**2 - 11*b - 2. Let f(u) = -7*u**2 - 10*u - 2. Let x(l) = -7*f(l) + 6*o(l). Is 7 a factor of x(r)?
True
Let k(b) = -b**2 - b + 1. Let x be k(1). Let i(s) be the second derivative of -7*s**3/6 + s**2/2 + 2*s. Does 8 divide i(x)?
True
Let o(u) = u. Let b be o(2). Does 4 divide 0 + 7 + b + -1?
True
Suppose -16 = -2*b - 2*b. Suppose 3*n - b = 8. Suppose n*h = -0*h + 76. Does 9 divide h?
False
Let g = 53 - 38. Is 5 a factor of g?
True
Let d(a) = a**3 + 6*a**2 - 8*a - 8. Let o(f) = f**2 - 16*f - 6. Let y be o(16). Does 22 divide d(y)?
False
Let r = -22 + 14. Let a = r - -27. Suppose 0*q + a = q. Is q a multiple of 10?
False
Let s be (-4)/(-2) - (-12)/4. Suppose q - s*r - 16 = 0, 0 = q + 2*r - 18 + 2. Does 16 divide q?
True
Is 4*(-4 - (-21 - -5)) a multiple of 12?
True
Let m(l) = l**2 + 4*l - 1. Let f be m(-4). Let s = f - -3. Suppose -5*k + 3*k + 124 = -s*n, -5*k + n + 298 = 0. Is k a multiple of 15?
False
Let w(y) = 48*y. Let p be (12/(-9))/(-2)*3. Suppose c - p = -c. Is 13 a factor of w(c)?
False
Let s(n) = n**3 - 7*n**2 - 8*n + 3. Let m be s(8). Suppose m*j + 5*l - 5 = 0, -1 = -2*j + 5*l - 6. Is -22*(1 + -2) + j a multiple of 8?
False
Let r = -27 + 57. Is r a multiple of 10?
True
Let q(b) = -b**3 - 5*b**2 + 5*b - 9. Let o be q(-5). Let d = o - -75. Is d a multiple of 9?
False
Let p = -281 - -161. Let f = -134 - -53. Let n = f - p. Is n a multiple of 19?
False
Suppose 2*k - 8 = 4*k. Let n be (-3 - (1 + k))/(-3). Suppose 3*w = -5*o + 45, n*w + 2*w - 50 = -5*o. Is o a multiple of 5?
False
Let i be 2/3 + (-3)/(-9). Let o(b) = -2*b + 9*b**3 - b**3 + b. Does 4 divide o(i)?
False
Suppose 4*b - 2 = -18. Suppose -4*r = -3*r + 5. Is 2 a factor of (-3 - r)/((-2)/b)?
True
Suppose j - 1188 = -4*x, -1208 = x - 5*x + 4*j. Is 19 a factor of x?
False
Let z be 2 - (-1)/(-2)*-2. Suppose m + z = -2*m. Is 2 a factor of (m + 4)/((-2)/(-2))?
False
Suppose -m - m = -10. Suppose -5*i = -4*w - 4 + 1, i + m = -2*w. Is 4 a factor of -1 + w + (2 - -7)?
False
Suppose 23 = 3*v - v - 3*l, -3*l - 31 = -4*v. Suppose -v*g + 105 = g. Does 12 divide 3/g - 900/(-21)?
False
Suppose -5*h + 58 = -22. Is (-18 + 2)/((-4)/h) a multiple of 14?
False
Suppose -3*t - 16 = t. Let l be (3/(-2))/(t/224). Is (0 - l)*6/(-12) a multiple of 14?
True
Suppose 3*n + 112 = 4*o - 140, -5*n = -o + 80. Suppose 0 = -4*t + o + 20. Does 15 divide t?
False
Is 11 a factor of 1/(-2) - 67/(-2)?
True
Let j(y) be the third derivative of -y**6/120 - 11*y**5/60 - y**4/12 - 2*y**3 + 6*y**2. Does 10 divide j(-11)?
True
Suppose 4*s + 17 = -5*j, -s = -4*j - 5 + 4. Let w = -2 - j. Is 6 a factor of (-2 + w)*(-2 - 0)?
True
Suppose 49 = c - u + 5*u, -2*c + 5*u = -33. Is c a multiple of 3?
False
Let p(o) = 8*o**3 + 2*o**2 - o. Let g be p(1). Let l = 11 - g. Suppose 2*k - 3*h - 8 = 0, -2*k + 4*h = -4 - l. Is 7 a factor of k?
True
Let p be 11 + (0 - 4/(-2)). Let f = 16 - p. Is f even?
False
Let s = 40 + 42. Does 37 divide s?
False
Suppose -4*h - h = -3*b, -4*h = -2*b. Suppose -4*k = 3*m - 11, -4*m + 3*m + 1 = h. Suppose -8 = -3*t - k*d, 2*t - 4*d + 1 - 17 = 0. Does 2 divide t?
True
Let y(c) = c**3 + 14. Is 14 a factor of y(0)?
True
Suppose -z = -2*q + 505, -5*z = q - 116 - 131. Is 36 a factor of q?
True
Let v(a) = a**3 + 6*a**2 - a - 2. Does 2 divide v(-6)?
True
Suppose -o = -0*o - 74. Suppose 0 = 4*h - o - 66. Is 19 a factor of h?
False
Is 4 a factor of (2/(6/(-9)))/((-3)/32)?
True
Suppose 4*h - 5*y = 3, 3*h + 10 = -4*y - 11. Does 22 divide 50 + 4*3/h?
False
Let u(n) = n**2 + 11*n - 3. Is 9 a factor of u(-12)?
True
Let s = 5 + -5. Let h(d) = -d**3 + d**2 + 4. Let k be h(s). Suppose 0 - k = -x. Is 2 a factor of x?
True
Let a(d) = -d**2 + d - 1. Let s(j) = -4*j**2 + 8*j - 6. Let b(l) = -5*a(l) + s(l). Let h be b(-4). Suppose -h + 0 = -f. Is f a multiple of 2?
False
Let w(m) be the first derivative of m**2/2 + 1. Does 4 divide w(11)?
False
Does 11 divide 2*(235/14 - (-32)/(-112))?
True
Suppose -3*b = -5*b + 108. Does 27 divide b?
True
Suppose -53 = -3*m + 2*m. Let c = m + -28. Is c a multiple of 7?
False
Suppose 81 = 5*y - 19. Does 15 divide y?
False
Let h(a) = 13*a**3 - a**2 + a - 1. Does 7 divide h(1)?
False
Let a be (6/9)/((-4)/(-96)). Suppose a = g - 13. Is 18 a factor of g?
False
Let h be (106*-1)/(-7 + 5). Suppose 0*a + a = h. Is a a multiple of 16?
False
Let f(r) = -41*r - 71. Is 27 a factor of f(-7)?
True
Let b(m) = m**2 - m - 4. Is 2 a factor of b(4)?
True
Suppose 2*o + 3 = -1. Let r = 6 + o. Is 4 a factor of r?
True
Let y = 5 + -9. Let x be 0/2 - (0 + y). Suppose -x = 2*g - 44. Does 8 divide g?
False
Let p(i) = i**3 - 9*i**2 + 8*i + 2. Let z be p(8). Let w(t) = -1 - t**z - 4 - 3 - 10*t. Is 16 a factor of w(-6)?
True
Suppose 4 = 2*f, -5 = 3*v + 2*f - 18. Suppose p - v*d + d = 2, -2*p - 5*d = -13. Does 3 divide p?
False
Let v(i) = -i**2 - 9*i + 9. Is v(-6) a multiple of 5?
False
Suppose 2*l = -2, 4*l = -4*b + 350 + 494. Is 18 a factor of b?
False
Let r = 21 + 39. Is 18 a factor of r?
False
Suppose -4*r + 1 = 4*f + 25, 0 = f + 4. Let q = r + 52. Does 14 divide q?
False
Suppose -5*m + 205 = -5*o, -6*o + 4 = -4*o. Is m a multiple of 9?
False
Let j = 1 - -19. Let x = j - 6. Is x a multiple of 6?
False
Let f(o) = o**3 + 9*o**2 + 7*o + 12. Let r be 3 - ((0 - 2) + 0). Suppose -18 = y + r*h, -3*h = 5*y - 5*h + 36. Does 16 divide f(y)?
False
Let p(o) = -o**2 + 8*o + 7. Let i be p(9). Does 14 divide 261/12 - i/8?
False
Suppose 8 - 19 = -q. Does 7 divide q?
False
Suppose 3*g = -5*o - 2*g + 10, -2*o + 4*g + 16 = 0. Suppose -4*t - 42 = -5*u - 1, 3*t = 3. Let f = o + u. Is f a multiple of 5?
False
Let j(i) = 3*i - 3 - 2 + 0 - 3. Suppose -2*o - 10 = -3*s - 0*s, 0 = 2*s - 3*o. Is 9 a factor of j(s)?
False
Let n(z) = z**3 - 8*z**2 + 9*z - 2. Let c be n(7). Let s be ((-21)/c - 0)*-8. Suppose -12 = -d + s. Is d a multiple of 13?
True
Suppose 0*d + 24 = -4*d. Let s(a) = -a**2 - 9*a - 4. Is 6 a factor of s(d)?
False
Let v(z) = -4*z + 2. Let o be v(7). Let p = o - -81. Is 13 a factor of p?
False
Let l be 3/1 - (3 + -4). Suppose 11*f - 5*f = 24. Suppose -2*r = -l - f. Is 3 a factor of r?
False
Let n = -111 - -230. Is 17 a factor of n?
True
Suppose 5*h = -9 + 24. Let m(l) = -l - h*l + 5*l + 0*l + 44. Does 22 divide m(0)?
True
Suppose a = 5*t - 18, -2*t + 13 - 1 = -a. Let p(l) = -20*l - 3. Let w(x) = 30*x + 5. Let f(i) = a*p(i) - 5*w(i). Is 10 a factor of f(2)?
False
Let a be (0 + 0 - -5) + 0. Let q be ((-102)/(-15))/(4/10). Let m = q - a. Does 12 divide m?
True
Suppose -4*s = 13 - 89. Is s a multiple of 5?
False
Let f(j) = -46*j. Suppose 2*m - 14 = 4*k, 3*k + 3*m - 16 = -4. Does 12 divide f(k)?
False
Let y be 1/2 + (-22)/(-4). Let c = 1 + y. Suppose -3*h = i - 9, -3*i - h + 4 = -c. Is i a multiple of 3?
True
Let o = 46 + 166. Is 15 a factor of o?
False
Let p(q) = -2*q - 5. Let b be p(5). Let m = -11 - b. Suppose 2*o - 28 = -4*n + m*o, 0 = 3*n - o - 21. Is n a multiple of 3?
False
Suppose -24 = c - 0. Let y be c/(-10) - 2/5. Suppose -o - 2 = -k, y = 3*k + 5*o - 12. Is 2 a factor of k?
False
Let z = -34 - -86. Does 13 divide z?
True
Let w(m) = -m + 1. Let h(g) = 6. Let i(j) = -h(j) + 6*w(j). Is i(-4) a multiple of 24?
True
Suppose l + 4*b - 22 = 4*l, -2*l - 7 = 5*b. Does 10 divide (20/14)/(l/(-42))?
True
Let p(t) = -51*t + 16. Is p(-2) a multiple of 44?
False
Suppose -4*h - h = -2*u + 737, 1760 = 5*u + 4*h. Is 7 a factor of u/18 + (-4)/(-18)?
False
Let i(n) = -n**2 - 21*n - 6. Does 7 divide i(-9)?
False
Let a = 13 + -11. Suppose 7*u - p = 4*u + 20, -a*u - 5*p = -