-v. Is v a multiple of 19?
True
Let f be 3/2*2/(-3). Let v(i) = -3*i**3 - i**2 + i - 18. Let z be v(0). Is 18 a factor of (99/z)/(f/6)?
False
Is 6/(-9) - 3104/(-12) - 2 a multiple of 16?
True
Suppose 11*w = -60 + 3811. Does 18 divide w?
False
Suppose -108*p + 78*p + 77700 = 0. Is p a multiple of 12?
False
Is 13 a factor of ((-9672)/(-4))/(-3 - (1 + -6))?
True
Let b be (-4 - -5)*(6 - -1). Suppose 1 = -w + b. Let f(p) = 13*p - 8. Is 23 a factor of f(w)?
False
Let c(g) = 3*g + 22. Let t be c(8). Let f = t - 36. Is f even?
True
Suppose -2*j - 4*w = -12, -3*j = 3*w - 4 - 2. Suppose -x = -n + 109, -n + 86 = -5*x - 27. Is 10 a factor of (1/(-2))/(j/n)?
False
Let m = -939 - -1333. Is m a multiple of 11?
False
Suppose -6*v = 4*c - 4*v - 6398, 4*v = -3*c + 4796. Is 32 a factor of c?
True
Let o(a) = 31*a + 330. Does 8 divide o(23)?
False
Is 12 a factor of ((-36)/48 + 1/4)*-3936?
True
Suppose -11*y + 599 = -2019. Is 15 a factor of y?
False
Suppose -4*d = 695 - 39. Let b be 42/(-30) - 6/10. Is ((-3)/(-6))/(b/d) a multiple of 11?
False
Suppose 4*j - 2*v - v = -163, -3*v = 3*j + 117. Let n = j - -22. Let h = n + 26. Is h a multiple of 3?
False
Let k = -10 + 17. Suppose -19*u = -10*u - 27. Suppose k*p - u*p = 64. Is p a multiple of 16?
True
Let f be (-315)/60*8/3. Suppose -5*a = -h - 9, -4*a + 3 = h + 39. Let n = f - h. Does 5 divide n?
True
Let n(j) = -j**3 + 16*j**2 - 13*j - 32. Let h be n(15). Let s(d) = -3*d**2 - 4*d - 4. Let w be s(h). Is w/(-6)*(-18)/(-4) a multiple of 2?
True
Suppose 586 = 5*g - 74. Suppose -2*m = 4*y - g, 2*y - 119 - 87 = -3*m. Does 35 divide m?
True
Is 33 a factor of ((-2112)/(-160))/((-1)/(-5))?
True
Suppose 2*y - 5*d - 20 = 0, 5*y + 7*d = 3*d + 17. Suppose -y*v - 130 = -7*v. Suppose v + 43 = 3*f. Does 12 divide f?
True
Let c = 22 - -56. Let n = 232 - c. Is n a multiple of 14?
True
Let d be ((-8)/12)/(6/9). Let j be (-2 - -7*17) + d. Let f = j + -26. Is 13 a factor of f?
False
Let f(m) = -m**2 + 4*m + 4. Let w be f(5). Let r(i) = 11*i**2 + 6*i + 5. Let v(u) = -u**2 - u - 1. Let n(c) = r(c) + 4*v(c). Does 3 divide n(w)?
True
Let s be 3 + 88 - (2 - 1 - 6). Let l(y) = -6*y**3 - y**2 - y - 1. Let a be l(-1). Suppose 0 = 2*u - 4*u - 3*p + 45, a*u - s = -2*p. Is 18 a factor of u?
True
Let f(w) = 44*w + 60. Is f(12) a multiple of 14?
True
Suppose 2*y + 1188 = 4*o, 5*o - y - 2057 = -578. Does 64 divide o?
False
Suppose -5*r - 4*q + 7*q + 401 = 0, -12 = -4*q. Does 16 divide r?
False
Let x(w) be the second derivative of w**3/6 + 15*w**2/2 + 3*w. Let m be x(-11). Suppose m*q = 3*l - l + 262, 5*q + l = 331. Is q a multiple of 19?
False
Let r = 22 + -25. Is (r - (1 - 129)) + -1 a multiple of 31?
True
Let m(g) = 151*g + 95. Does 78 divide m(19)?
True
Suppose 0 = -5*c + 17 - 2. Suppose 223 = -3*k - 4*x, c*k - x + 192 + 11 = 0. Let h = -40 - k. Is 6 a factor of h?
False
Suppose -4*r + 3*d = -556, -95 = -2*r + 4*d + 183. Suppose -3*s + w = -r, 4*s - 2*w - 194 = -5*w. Is s a multiple of 9?
False
Let o(g) = 27 - 17*g - 12*g + 30*g. Does 3 divide o(-6)?
True
Does 12 divide (-2)/(((-2)/10)/(1222/65))?
False
Let s(p) = -74*p**3 + 34*p**2 - 14*p + 24. Let g(z) = 15*z**3 - 7*z**2 + 3*z - 5. Let c(o) = -14*g(o) - 3*s(o). Let h = -36 - -38. Is c(h) a multiple of 39?
True
Suppose -3*x + 3*u - 1979 = -8*x, 0 = -2*u - 4. Does 11 divide x?
False
Suppose 0 = 3*s + d + d - 38, -2*s + 3*d + 34 = 0. Let q be 4/(16/s)*2. Let c = 39 - q. Does 16 divide c?
True
Suppose -j + 33 = -5*w - 5, j - 2*w = 35. Suppose 55 = u - j. Is 22 a factor of u?
True
Let u(l) = -l**2 - 8*l - 11. Let a be (-17)/2 + (-36)/24. Let i be (a/(-6))/(3/(-9)). Is 4 a factor of u(i)?
True
Let b be (-2)/(-3)*(11 - 5). Suppose -3*s - 33 = -b*s. Suppose s = -p + 2*p. Is 11 a factor of p?
True
Let d be -1 - 0/((-2)/(-1)). Let o be (-1)/((-288)/284 - d). Let n = o - 21. Is 25 a factor of n?
True
Suppose 3*n + 14 = z - 9, 0 = -4*z - 4. Let i(c) = c**2 + c - 18. Is i(n) a multiple of 7?
False
Let g be (-4 + 2)/((-4)/10). Suppose -2*m + 15 = 5*b, b + 7 = -g*m - 13. Suppose 139 = 5*v - 4*u, -b*u = 2*v + 2*v - 103. Is 23 a factor of v?
False
Let w(p) = 4*p - 13. Suppose -8 = -27*y + 26*y. Does 8 divide w(y)?
False
Let s(y) = y + 21. Let u be s(-12). Let w = u - -10. Is 5 a factor of w?
False
Let p = 104 - 104. Suppose 0*d - 77 = -s + 3*d, -4*s + 5*d + 308 = p. Is s a multiple of 3?
False
Suppose d - 697 = a, -2*a + 703 = -0*d + d. Is d/9 + (-7)/(-21) a multiple of 13?
True
Let q(l) be the second derivative of -2*l - 1/3*l**3 + 5/12*l**4 + 0 + 3/2*l**2. Does 5 divide q(1)?
False
Suppose 0 = z - 0*r - 3*r + 6, 0 = 3*z - r - 14. Suppose 391 + 815 = z*v. Suppose v = -5*l + 8*l. Does 10 divide l?
False
Is 12 a factor of (3488/48)/((28/72)/7)?
True
Let j(k) = k**3 - 2*k**2 + 2. Let x(i) = i + 7. Suppose 0 = 4*g - 7*g - 9. Let m be x(g). Is 17 a factor of j(m)?
True
Is ((-1413)/(-12))/(96/2560) a multiple of 20?
True
Let v(u) = u**3 + 6*u**2 + 8*u + 8. Let x be v(-4). Is x - (-1 + 0)*-1 a multiple of 5?
False
Does 68 divide (-2 - 1)/(3660/(-1216) + 3)?
False
Does 23 divide (-4784)/52*82/(-2)?
True
Let y(i) be the first derivative of -i**5/24 + i**4/8 + 2*i**3/3 - 8. Let q(t) be the third derivative of y(t). Does 9 divide q(-8)?
False
Let r(n) = 50*n - 260. Is r(6) a multiple of 11?
False
Let n(q) = q**2 - q - 2. Let l be n(0). Let p = -265 + 193. Does 12 divide 2 + l + p/(-2)?
True
Suppose 0 - 10 = -2*o. Let w(n) = 7*n**2 + 19*n - 10. Let r(u) = -6*u**2 - 18*u + 10. Let p(q) = o*w(q) + 6*r(q). Is 10 a factor of p(-13)?
True
Let q be ((-1620)/25)/(0 + (-4)/40). Let k = -368 + q. Does 40 divide k?
True
Let t be ((-2)/4)/(14/392). Let s be t/(-21) + 1209/9. Is 3 a factor of 2/(-9) - (-1785)/s?
False
Suppose -4*f = -4*s + 8, -3*f - 5*s + 4*s - 6 = 0. Let k be ((-50)/(-30))/(f/(-24)). Suppose b - 1 - k = -r, r = 4*b - 89. Does 11 divide b?
True
Let z(c) = -c**3 - 7*c**2 + 7*c. Let t be z(-8). Suppose t = l - 44. Does 5 divide l?
False
Let m(i) = i**2 - 3. Let t = 29 + -18. Does 23 divide m(t)?
False
Is 2996/8 + 70/20 a multiple of 54?
True
Let p be 3 - (-2 + 7 - 5). Let y be 0 - (628 + 2)/(-2). Suppose 2*q + p*q = y. Does 11 divide q?
False
Suppose 0*s = -5*s - 610. Let u = -50 - s. Is 23 a factor of 5625/u + (-1)/8?
False
Does 12 divide 7*(-9)/(-7) - -735?
True
Suppose v + 12 = -3*d, -2*d - 3*d + 36 = -3*v. Let u be (v/30)/((-1)/70). Suppose -u - 4 = -4*k. Is k a multiple of 8?
True
Let v = 109 - 88. Let h = 96 - v. Is 6 a factor of h?
False
Let d(v) = v + 23. Let h be d(7). Let s = -10 + h. Does 3 divide s?
False
Suppose 6*w = 8*w - 4*j - 50, -3*j = 2*w - 50. Is w a multiple of 21?
False
Does 15 divide (-51760)/(-75) + (736/(-120) - -6)?
True
Is 15 a factor of -1039*7*((-20)/35)/4?
False
Suppose 6*v = -0*v + 138. Suppose -v*m = -27*m + 336. Is 12 a factor of m?
True
Let d be (-4)/10 - 259/(-35). Let r(k) = 4*k - d + k**2 - 5*k + 2 - 2*k. Does 14 divide r(-6)?
False
Let i be (1 + (-462)/(-18))/(4/90). Suppose m = 11*m - i. Is m a multiple of 20?
True
Let t(s) = 2*s**2 - 29*s + 48. Let z(l) = -l**2 + 14*l - 24. Let j(n) = -2*t(n) - 5*z(n). Let k be (-6)/10 - 126/(-10). Is j(k) a multiple of 4?
True
Suppose -2*k - 2 = -6. Let d(b) = -9*b + k + b**2 + 1 + 0*b. Does 18 divide d(12)?
False
Is 6/(((-24)/924)/(-2)) a multiple of 6?
True
Let w = 9 - 6. Suppose w*a = a + 52. Let b = a + -9. Is b a multiple of 12?
False
Let b be (-2 - 1) + 64 + 0. Let m be b + 1*(-2 + 1). Suppose 5*r - 165 = m. Is r a multiple of 11?
False
Let b(j) be the third derivative of -j**6/120 - 13*j**5/60 + 3*j**4/8 + 10*j**3/3 + 8*j**2. Is 7 a factor of b(-14)?
False
Let g(f) = 119*f**2 + 5*f - 6. Is 60 a factor of g(2)?
True
Suppose 5*h - 8 = -v, h - 6*h = -5. Suppose 0 = -3*p + 3, -2*p - 12 = -v*c + 13. Is 3 a factor of c?
True
Does 4 divide 237 + -3 + 5 + -7?
True
Suppose -208*d + 488 = -204*d. Is 33 a factor of d?
False
Let b(h) be the second derivative of -h**4/8 + h**3/6 + 3*h**2 + 2*h. Let n(u) be the first derivative of b(u). Is 10 a factor of n(-3)?
True
Let d be (-260)/(-14) - (-12)/28. Suppose -16*r = -d*r + 132. Is 44 a factor of r?
True
Suppose 0 = 6*x - 11*x + 1585. Is 16 a factor of (-15)/(-20) - x/(-4)?
True
Suppose -2*r = u - 2237, -53*r - 1123 = -54*r - 5*u. Does 43 divide r?
True
Suppose 526 = -3*h - 74. Let u be h/(-12) + 4/(-6