m a multiple of 24?
True
Let m(v) = -v**3 + 6*v**2 + 8*v - 9. Let o be 14/(-5*(-6)/15). Let p be m(o). Is (19 - p) + (3 - 4) a multiple of 6?
False
Suppose -5*k + 1538 = 3*s, 5*s - 889 = -k + 1689. Is s a multiple of 20?
False
Suppose -10*s + 14280 = 7*s. Is 56 a factor of s?
True
Let y be 477/(-6)*(-24)/36. Let t be 2/(-7) - 187/7. Let j = y + t. Is j a multiple of 11?
False
Suppose 9 = -w + 3*w - 3*j, 0 = 3*j + 9. Suppose 379 = 3*o - o + y, w = -2*y + 6. Is o a multiple of 39?
False
Let a(x) = 256*x - 2. Let l be a(-3). Does 16 divide (-2)/16 - l/16?
True
Suppose 2*o + 0 - 4 = 0. Suppose o*x - 350 = -3*x + 2*k, -4*x - 4*k = -308. Does 12 divide x?
True
Let f(o) = 3*o**2 - 3*o - 2. Suppose 3*v - 5*v - 8 = 0. Is f(v) a multiple of 12?
False
Is 5 a factor of (1/2)/((-5)/(-11760)*4)?
False
Let p = -311 - -501. Is p a multiple of 38?
True
Let k(m) = 357*m - 12. Let j be k(2). Suppose j = 3*o + 6*o. Is 38 a factor of o?
False
Let y = 940 - 581. Is 63 a factor of y?
False
Suppose t - 66 = 2*m, 4*m = m - t - 89. Let z = -14 - m. Let s = z - -32. Is s a multiple of 23?
False
Suppose -3*i - 24 = -3*t + 147, t - 5*i = 45. Is 6 a factor of t?
True
Suppose 4*n - 3*g + 41 = -17, -66 = 4*n + g. Is 8 a factor of (n*(5 + -1))/(2 - 3)?
True
Let q = 391 + -385. Suppose -4*w - 953 = 3*m + w, -w + 983 = -3*m. Is m/(-6) - (-10)/q a multiple of 8?
True
Let j(g) = -2*g**2 - 6*g - 1. Let s be j(-5). Let k = 1 - s. Is 6 a factor of k?
False
Let x(h) = -h**3 + 3*h - 38. Let m be x(0). Is 2 a factor of 16/(-20) + m/(-10)?
False
Let m = 1930 + -1130. Is 11 a factor of m?
False
Suppose -4*r = -3*o - 223, -6*r + 273 = -r + 2*o. Let s = 93 - r. Is 38 a factor of s?
True
Suppose 2*v = 2, 12 = 2*f + 5*v - 5. Suppose 3*b - 30 = f*b. Is 4040/50 - (-8)/b a multiple of 29?
False
Suppose o = -0*o. Suppose 3*x = -w - o*w + 10, -4*w - 20 = 0. Suppose -3*g = -9 - 0, -4*g - 198 = -x*i. Is i a multiple of 14?
True
Suppose -l + 118 = 5*g, -214 = -4*l + 4*g + 258. Suppose j - 5*z = -3*j + 170, 3*j = -z + l. Is 8 a factor of j?
True
Let r(l) = -l**2 + 5*l + 6. Let s be (-5)/2*(-1 + -1). Let k be r(s). Suppose -4*v - k = -290. Is 22 a factor of v?
False
Let m = -477 + 637. Is 20 a factor of m?
True
Suppose 4*u + 32 = 4*y - 0*y, -2*u + 4*y - 26 = 0. Does 43 divide (-428)/(-5) - ((-17)/5 - u)?
True
Suppose 4*i = -0*z - 5*z + 5596, 0 = 3*i - 2*z - 4174. Does 82 divide i?
True
Let r = 4 - -29. Let y be ((-12)/(-14))/(-5 - 530/(-105)). Let k = y + r. Is k a multiple of 16?
False
Let p = -36 - -61. Suppose -81 + p = -4*o. Does 5 divide o?
False
Let q(v) = -v**3 + 2*v**2 + 7*v + 5. Let b be q(4). Let c(j) be the second derivative of 31*j**5/10 - j**4/12 + j**3/3 - j**2/2 - 3*j. Is c(b) a multiple of 24?
False
Let g(r) = -3*r. Let i be g(1). Let s(b) = -83*b + 4 + 81*b + 2 + 0. Does 12 divide s(i)?
True
Suppose 4*z - 4*a - 28 = 2*z, 0 = 2*z + 3*a - 7. Suppose -2*i = -4*i + z. Is (72/i - 1)/1 a multiple of 6?
False
Suppose -2*u - u + 208 = n, 0 = -4*u. Suppose 2*i = 4*i - n. Is i a multiple of 14?
False
Suppose 40*f - 42*f = -44. Let d be 2 + 2 + 2 + -3. Does 8 divide (f + d - 2) + 3?
False
Let j = 273 - -195. Is j a multiple of 39?
True
Let z be (-4)/18 + (-4492)/36. Let b = 233 + z. Is 27 a factor of b?
True
Let f = 45 - -87. Suppose -652 = -4*u - f. Is 30 a factor of u?
False
Let u(j) = -j**2 + 11*j - 6. Suppose -p - 6 = -0*p. Let o = 15 + p. Is u(o) a multiple of 11?
False
Let n(h) = 7*h**2 + 44*h + 27. Is n(11) a multiple of 8?
False
Let x = -18 + 24. Let w(d) = -2*d. Let g be w(x). Let h = g - -28. Is 13 a factor of h?
False
Suppose -3*d - 11 = -5*p, 0*d - 2*d = 4. Is 14 a factor of (-5790)/(-30) - (-5)/p?
False
Suppose 0 = -q - 3*n + 10, -2*q + 4*n = 0. Let m be 85*((-8)/(-5))/4. Suppose -q*v + m = -38. Is v a multiple of 9?
True
Let n(k) = k**2 - k - 19. Let u(a) = a**3 - 6*a**2 - 3*a - 7. Let r be u(7). Suppose -2*x - f + r = 0, -f - 1 = -2. Is 16 a factor of n(x)?
False
Let s(m) = -m**3 - 6*m**2 - 6*m - 2. Let n be s(-5). Does 6 divide (-2 + n)/(((-12)/39)/(-4))?
False
Let m = -50 - -29. Let c = 75 + m. Is 13 a factor of (-2)/(-12) + 693/c?
True
Let n(c) = 2*c**2 + 8*c + 8. Let b be n(-4). Is b/12*-138*(-1)/2 a multiple of 5?
False
Let y = 23 - 18. Suppose 0 = -y*q + n + 196, 2*q - q - 4*n - 24 = 0. Suppose 0 = 3*t - 112 + q. Is 24 a factor of t?
True
Let n = 1338 + -915. Suppose 2*q - 5*q + n = 0. Suppose -53 = -4*v - 5*u + q, -3*v + 5*u + 128 = 0. Is 23 a factor of v?
True
Suppose -2*f + 6*f = 5*g - 13, f = -5*g + 28. Suppose 0 = -2*s + f*z + 53, 2*s = s + 3*z + 25. Is s a multiple of 14?
True
Let f = 1201 - 643. Is 31 a factor of f?
True
Let p(f) = -15*f + 159. Let q(a) = -22*a + 238. Let j(g) = -7*p(g) + 5*q(g). Does 11 divide j(0)?
True
Let j(u) = 4*u**3 - 2*u**2 - 2*u - 1. Let w be j(-1). Let x(h) = -3*h + 4. Let m be x(w). Let k = m + 3. Is k a multiple of 9?
False
Let h(q) = 5*q. Let m be h(1). Suppose -2*u = -m*u + 2*g + 114, -g + 3 = 0. Does 8 divide u?
True
Let u(q) be the third derivative of q**6/120 + q**3/6 + 2*q**2. Let k(x) = 5*x**3 + 13*x**2 + 12*x - 13. Let h(y) = -k(y) + 4*u(y). Does 17 divide h(-12)?
True
Let r(j) = -4*j + 1. Let b be r(1). Let f = 0 - b. Suppose q = f*q - 10. Is 3 a factor of q?
False
Let b(h) be the third derivative of h**5/60 - 5*h**4/24 - h**3/2 + 7*h**2. Let v be b(6). Suppose -r = -v*i + 104 + 47, -2*r + 166 = 3*i. Is i a multiple of 14?
False
Suppose 17*c - 4*w + 513 = 18*c, 3*c + 2*w - 1489 = 0. Is 15 a factor of c?
False
Let y(o) = o - 14. Let g be y(20). Let p(t) be the first derivative of 4*t**2 + 3*t - 3. Does 17 divide p(g)?
True
Let b(k) = k**2 - 5*k - 14. Is 5 a factor of b(-8)?
True
Let w = 98 + -194. Let r = w + 176. Is 16 a factor of r?
True
Let z = 262 - 65. Suppose -z - 35 = -c. Does 38 divide c?
False
Suppose 80 = 5*m + 350. Let c = m + 78. Does 24 divide c?
True
Suppose -4*u = -0 + 4. Let h be 24/1 - u - 2. Suppose -3*r + 13 = -h. Does 12 divide r?
True
Let a(q) = 4*q + 39. Let g(i) = i + 13. Let d(p) = -2*a(p) + 7*g(p). Is 7 a factor of d(-9)?
False
Let d(b) = b + 14. Let q be d(10). Is 2/12 - (-1940)/q a multiple of 9?
True
Let h(f) = 48*f**2 + f - 2. Let u be h(2). Suppose -2*r = 2*r + u. Does 3 divide ((-2)/(-4))/((-6)/r)?
False
Let x = 272 - 42. Does 22 divide x?
False
Suppose -20*q + 1189 = 109. Is q a multiple of 9?
True
Let m(h) = -h**3 + h**2 - 11*h + 4. Is 15 a factor of m(-5)?
False
Suppose -3*m + 0*m - 2*o = -70, 0 = 5*m - 2*o - 106. Let j = m + 29. Is 17 a factor of j?
True
Let p be (1 - 0/3)/1. Let t be -3 - -67 - (0 + 2). Suppose -p = r, 0*r = 4*d - 2*r - t. Is d a multiple of 5?
True
Let x(n) = 67*n**3 - n**2 - n + 1. Suppose 0 = -2*p + 2. Suppose -p - 2 = -3*z. Is x(z) a multiple of 22?
True
Suppose a - 31 = 2*r - 3*r, 5*r + 4*a - 160 = 0. Suppose 5*m - 37 = -3*f, 5*f - r - 31 = -3*m. Is f a multiple of 7?
True
Let a be 7*5/(70/108). Let m = a - -3. Does 19 divide m?
True
Let v(k) = -k**3 - 16*k**2 - 38*k + 3. Does 47 divide v(-16)?
True
Let i(a) = a**2 + 2*a + 3. Let u be i(-2). Suppose -t - 6 = -u*t. Suppose 4*d - 68 = -2*b, -b + 37 = t*d - 0. Is 7 a factor of b?
True
Let d(y) = -12*y + 26. Let f(n) = -11*n + 25. Let v(w) = 4*d(w) - 5*f(w). Is 14 a factor of v(11)?
True
Suppose -3*j + 3*v = -264, -j + 4*v + 53 + 29 = 0. Is 3/(-2)*j/(-27) a multiple of 5?
True
Let q(c) = 2*c + 7. Let o(a) = a + 8. Let t(w) = -3*o(w) + 2*q(w). Let b be t(14). Suppose -b + 68 = 2*h. Does 16 divide h?
True
Let q be 6/(-9) - (-304)/6. Suppose -2*w + 14 = -q. Is w a multiple of 16?
True
Suppose -4*p - 2 + 14 = 0. Suppose 2*v = p*v - 36. Is 9 a factor of v?
True
Let s be (-1)/3 + (-4440)/45. Let t = -49 - s. Is t a multiple of 19?
False
Let v = -8 + 2. Does 2 divide (-96)/(-36)*v/(-4)?
True
Suppose 2340 = 403*b - 399*b. Does 15 divide b?
True
Let u(m) = m**3 - 9*m**2 + 10*m + 6. Let g be u(8). Suppose -5*w - g - 6 = -3*o, w - 68 = -4*o. Is 4 a factor of o?
True
Suppose -j - 4*i - 2 = -6, 0 = 5*i. Suppose j*m + 5 = 1. Does 7 divide 30 - -3 - (m - 1)?
True
Suppose 3276 = 5*m - 2*t, -14*m + t + 3273 = -9*m. Is m a multiple of 9?
False
Let w(o) = 3*o**2 + 9*o + 34. Is 13 a factor of w(-4)?
False
Is 19 a factor of ((-21)/(-4))/((-42)/(-2128))?
True
Let s(y) = -70*y - 19. Let q be s(-2). Suppose 2*a = 3*a - q. Is a a multiple of 8?
Fal