f 5?
False
Let b be (4/4)/1*-3. Does 25 divide b*((-148)/6 + 4)?
False
Suppose 683 = 2*y - j - 417, 2*y = 5*j + 1084. Does 13 divide y?
False
Let s(j) be the second derivative of 3*j - 1/2*j**2 + 1/12*j**4 + 0 + 5/6*j**3. Does 10 divide s(-7)?
False
Let n(o) = 16*o + 3. Suppose -4*i + 8 = m, 5*i - 3*m = m + 31. Is 25 a factor of n(i)?
False
Suppose -2*z = -4*g + 2294, -4*g = -6*g + 5*z + 1167. Does 31 divide g?
False
Let j(o) be the second derivative of o**7/2520 + 3*o**5/10 - o**4/6 - 5*o. Let n(y) be the third derivative of j(y). Is 12 a factor of n(0)?
True
Let z be (9/(-12))/(2/(-8)). Suppose -3*k + 25 = -z*l - 8, -3*l = -6. Is 2 a factor of k?
False
Let f(z) = z**2 + 8*z + 13. Let x be f(-6). Suppose t - 3 = -x. Suppose t*o - 5*o + 12 = 0. Does 2 divide o?
True
Let i be (2/(-3))/(4/(-12)). Let z be i - 2 - (1 + -4). Is z*6 + (-18 - -20) a multiple of 5?
True
Let o(z) = z**3 + 5*z**2 + 6*z + 8. Let n be o(-4). Suppose 8*g - 4*g - 48 = n. Is 12 a factor of g?
True
Let m = 403 - 238. Is m a multiple of 8?
False
Suppose -4*o + 5*o - d = 15, 3*o - d = 35. Suppose 0 = o*j + 11 - 281. Does 15 divide j?
False
Let m = -7 + 15. Let r(x) = 9*x - 10*x + 7*x - 6. Does 14 divide r(m)?
True
Let z = 441 - 195. Is 12 a factor of z?
False
Let v(q) = q**3 - 10*q**2 - 1. Let t be v(10). Is ((-3)/(-6) + t)/(7/(-672)) a multiple of 11?
False
Let h(l) = -2*l - 21. Let p be h(-9). Is p - (54 - 2)*-1 a multiple of 17?
False
Let f be ((-6)/(-5))/((-48)/(-160)). Suppose -o = -3*g - 84, 2*o - f*g = -0*o + 160. Is o a multiple of 18?
True
Let r = -29 - 28. Let c = r - -171. Does 25 divide c?
False
Let f be (9/6)/(6/8). Let u be (f/(-4))/(2/(-12)). Suppose 4*n - 31 = u*v, -3*n - 4*v + 10 + 7 = 0. Is n a multiple of 2?
False
Let h(c) = -3*c + 32. Let v be h(-14). Suppose -4*z - 10 + v = 0. Is z a multiple of 16?
True
Suppose 2*l - g = 54, 4*l - 4*g - 126 = -22. Is 6 a factor of (-230)/(-8) - (-7)/l?
False
Suppose -10 = o - 5*n, 4*o + 3*n + n - 32 = 0. Suppose 2*c + o = 7*c. Suppose c - 141 = -5*r. Is 14 a factor of r?
True
Suppose 2 + 14 = 8*x. Suppose t + 6*v = 2*v + 85, -x*v = 0. Is 7 a factor of t?
False
Let k = 62 - 59. Suppose -86 = -4*u + 5*s, 0 = -3*u - s + k + 71. Does 6 divide u?
True
Let l be -2*(4 + 26/(-4)). Suppose -20 = l*o, 30 - 2 = -3*b - 4*o. Let h = b - -21. Is h a multiple of 4?
False
Let l(n) = 0*n**2 + 5*n**2 - 5*n + n + 4. Let a be l(2). Is a/(-6)*(-6 + 3) a multiple of 3?
False
Suppose 15*w = 19*w - 368. Is 23 a factor of w?
True
Let n be 15/2*(-64)/20. Let p = n + 28. Suppose p*i = 177 - 45. Is 33 a factor of i?
True
Let k(b) = -b**3 - 42*b**2 - 58*b + 84. Does 120 divide k(-42)?
True
Let u(v) = v**3 - 8*v**2 - 3*v + 26. Let m be u(8). Let p(d) be the first derivative of 5*d**2 - 4*d - 1. Is 8 a factor of p(m)?
True
Does 64 divide (3 + -1769 + 6)*(-2)/5?
True
Is 10/135*-3 + 1343/9 a multiple of 19?
False
Suppose l = -l + 18. Let n = 7 - l. Let x = 2 - n. Does 2 divide x?
True
Suppose -7*y = -12*y + 3570. Suppose y = -3*g + 6*g. Does 6 divide g/10 + 16/80?
True
Let d(l) = -l**2 - 7*l + 10. Let a be d(-8). Let i = a + -1. Is 13 a factor of 42 + -3 + -1 + i?
True
Suppose -4*l + 4*s + 1437 = 341, 2*s + 4 = 0. Is 68 a factor of l?
True
Let v(f) = 39*f**2 - 27*f - 113. Is 6 a factor of v(-6)?
False
Is (21/(-14))/(63/(-163758)) a multiple of 12?
False
Is 206 + (39 + -34 - (-2)/(-2)) a multiple of 37?
False
Suppose 2*v = -2*b + 230, 2*v - 4*b - 218 = -2*b. Is v a multiple of 56?
True
Let m be 92/(-23) - 1*-13. Suppose 6*h + 294 = m*h. Is 14 a factor of h?
True
Let g(m) = 4*m**2 - 46*m + 72. Does 33 divide g(18)?
False
Let j(k) = k + 1. Let q(p) = -5*p - 14. Let s(w) = -4*j(w) - q(w). Let a be s(-7). Suppose -a*g + 21 = 4*r, 26 = 5*r + 6*g - 2*g. Does 6 divide r?
True
Let n = 332 - -300. Is 46 a factor of n?
False
Let y(o) = -o**2 - 7*o + 16. Let l be y(-10). Does 31 divide (7/l)/(((-14)/992)/7)?
True
Let b be -2*(111/(-66) - (-4)/22). Does 5 divide (b + 0)*(-175)/(-15)?
True
Suppose 2*d + 3*d + 5 = 0. Let q be -13 + 15 + (-2)/d. Suppose -4*w + 2*w + 36 = -4*b, q*w + 3*b - 17 = 0. Does 2 divide w?
True
Suppose -21268 = -2*a - 2*o, 0 = 2*a - 0*a + o - 21272. Let r = a + -15210. Does 18 divide (-4)/7 - r/63?
True
Suppose 0 = 5*v, -3*z = v + v + 138. Let g = z + 142. Does 24 divide g?
True
Is (-2)/2 - 15*(-76)/6 a multiple of 7?
True
Let u(q) = q**3 + 6*q**2 - 2*q - 1. Let i(z) = z**2 + 23*z + 18. Let g be i(-22). Does 4 divide u(g)?
False
Does 10 divide 167/(-4 + 5/(-3)*-3)?
False
Suppose -2*k + 2 + 0 = x, -k - 10 = -5*x. Let c(m) = m**2 + 5*m + 1. Let d be c(5). Suppose k = -2*a + d - 13. Is a a multiple of 19?
True
Let k be (-78)/(-8) - 14/(-56). Let h = -7 + k. Suppose h*u + t = 82, -4*u = -2*t - 127 + 21. Is 9 a factor of u?
True
Let b(y) be the second derivative of 0 + 7/6*y**3 + y**2 + 2*y. Is b(6) a multiple of 22?
True
Suppose -4*x + 3*g - 62 = 0, 0*x + 4*g = -5*x - 62. Let k = -4 + 5. Does 16 divide (0 - -1) + (k - x)?
True
Suppose 428*v = 437*v - 8487. Does 87 divide v?
False
Let a be 78 + 2/4*2. Suppose a*v - 83*v + 84 = 0. Does 17 divide v?
False
Suppose p = 6*p - 15. Suppose -p*g - 13 = 71. Let d = 7 - g. Is 5 a factor of d?
True
Suppose 0 = g + 2*a - 7*a - 6, a - 10 = 3*g. Let m(j) = 4*j**2 + 0 + 2*j + 0 - 1 - 2*j**2. Is m(g) a multiple of 16?
False
Let p be -27*(-1)/(12/(-112)). Let s = -119 - p. Suppose -s = -5*t - 48. Does 17 divide t?
True
Let n(z) = 35*z - 2. Suppose 5*w - w + 3*h - 16 = 0, w + 5*h - 21 = 0. Is n(w) a multiple of 14?
False
Does 3 divide (89 + -494)*(-1 + 0)?
True
Suppose 1 = r - 1. Suppose 5*i - 6 = r*i. Suppose -15 = -a - i*a. Is a even?
False
Let y(z) = 274*z - 16. Is 40 a factor of y(4)?
True
Suppose y + 140 = 2*z, 0 = -2*z - z - 2*y + 224. Is 12 a factor of z?
True
Suppose 0*n = 3*w - 3*n + 162, 2*w + 114 = 5*n. Let z = -13 - w. Is 28 a factor of z?
False
Suppose -l = -5*f + 1024, -6*l - 1040 = -5*f - l. Is f a multiple of 12?
True
Let q(w) = 2*w - 14. Let k be q(-5). Let m = 11 - k. Is 5 a factor of m?
True
Is 76 a factor of 3498 + 18/((-9)/1)?
True
Let p(w) = w**2 - w + 16. Let v = 25 + -21. Suppose g = -v*g. Is 8 a factor of p(g)?
True
Let f(b) be the third derivative of -b**9/60480 + b**8/4032 - b**7/1260 - b**5/10 + 5*b**2. Let n(j) be the third derivative of f(j). Is n(3) a multiple of 2?
True
Let l = -636 + 458. Let u be (-4 + 2 + 6)*-24. Let i = u - l. Is 30 a factor of i?
False
Suppose 5*s + 44 = 5*z - 4*z, 0 = -2*z + s + 88. Is 5 a factor of z?
False
Let i be (6 - 8)*(-5)/(-2). Let u = -73 + 97. Let b = u - i. Is 15 a factor of b?
False
Let g = 17 + -14. Suppose 49 = 2*p - 3*p - 3*u, g*u + 15 = 0. Let w = 4 - p. Does 19 divide w?
True
Let l(f) be the first derivative of f**4/6 - 5*f**3/6 + 3*f**2/2 - 4. Let s(w) be the second derivative of l(w). Does 7 divide s(3)?
True
Let x(q) = q**3 - 26*q**2 + 39*q + 66. Does 58 divide x(28)?
True
Let t(s) be the second derivative of s**5/20 + s**4 + s**3/6 + 8*s**2 - 24*s. Is 2 a factor of t(-12)?
True
Let i be 4/1*14/4. Let j = 13 - i. Does 17 divide (34/4*-2)/j?
True
Suppose -10*q = 7*q - 12376. Does 52 divide q?
True
Does 8 divide (55*6)/2 - -6?
False
Does 6 divide (510/(-119))/((-4)/140)?
True
Is ((-2)/(-4))/((-4)/(-3944)) a multiple of 13?
False
Let i be 65/(-39)*(-90)/2. Is (-5)/i*5 + (-43)/(-3) a multiple of 8?
False
Suppose 965 - 34 = j + 4*i, 0 = -3*j - 2*i + 2823. Is 23 a factor of j?
True
Is 5 a factor of (-363)/((-55)/5) + 7?
True
Suppose 2*v + 5*k = 7*v - 1450, -5*k = 3*v - 854. Is 6 a factor of v?
True
Suppose -v + 5*v = 24. Is v/(-1 + 7/5) a multiple of 3?
True
Suppose 4*h + 3*z - 1 = -2, -h - 7 = 3*z. Suppose 3*p = -r + 108, p + 0*r = h*r + 29. Let a = p + 4. Does 12 divide a?
False
Suppose p + 4*d - 80 = -d, 0 = 3*d - 15. Let t = 41 + p. Is 16 a factor of t?
True
Let k(c) = -9*c + 57. Is 10 a factor of k(3)?
True
Let d(u) = u**3 + 2*u**2 + u. Let r be d(-1). Suppose -p + 3*j = -0*p - 148, 2*p - 5*j - 300 = r. Is 20 a factor of p?
True
Let t = 12 - 8. Suppose -j + t*g + 0*g = -12, -3*j = -2*g - 36. Does 12 divide j?
True
Let r(b) = -5 + 2 - 3*b**2 + b**3 - 5 + 4. Let p be r(3). Let x = 17 + p. Is 3 a factor of x?
False
Let b = 1971 + -772. Is b a multiple of 62?
False
Suppose 3*r - 61 = 4*q - 0*q, -15 = -3*q. Suppose -2*s + 27 = -r. Let t = s + -8.