/(-6))/((-24)/(-32))?
True
Let a = 27 + 103. Does 28 divide a?
False
Let d(o) = -17*o**3 + o**2 + o - 1. Is 3 a factor of d(-1)?
False
Let p be (-4)/10 - 54/(-10). Suppose p*h - 5 = 5. Suppose -4*z + 0*j = 3*j - 61, -6 = -h*j. Is z a multiple of 5?
False
Suppose -5*v + 79 - 6 = -4*n, -5*n - 36 = -2*v. Suppose 1 = q - v. Does 3 divide q?
False
Let k = -16 + 24. Suppose 4*z - 16 = 4*u, -6*u - 2*z = -4*u - k. Suppose 105 = 3*t - u*t + 3*n, 5*t = -n + 155. Does 14 divide t?
False
Let v be -3*(-12)/((-12)/3). Does 29 divide (16/6)/(v/(-351))?
False
Suppose -5*l - 1260 = -15*l. Does 42 divide l?
True
Let y be -3 + 12/3 + 2. Suppose 26 - y = g. Does 11 divide g?
False
Let l(h) = -h**3 - 5*h**2 + 7*h + 9. Let j be l(-6). Let s(n) = -3*n. Let q be s(5). Does 10 divide ((-6)/q)/(j/75)?
True
Suppose 17 = s + 5*g, g + 85 = 5*s + 6*g. Is 17 a factor of s?
True
Suppose -4*g - 2*d - 292 = 0, -g = g - 4*d + 136. Let x = 128 + g. Suppose -4*h = -0*h - x. Does 14 divide h?
True
Let g(c) = -8*c. Let v(b) = -b**2 + 10*b + 13. Let l be v(11). Suppose -4*w - 7*i = -2*i + l, -w + i = 5. Does 8 divide g(w)?
True
Suppose -q = -2*o + 3, -3*q - 1 = -2*o - 2*o. Suppose 0*l = -3*l - 4*z + 274, -449 = -q*l + z. Let t = l - 64. Is 8 a factor of t?
False
Suppose -v + 3*v = 5*i - 73, -2*i - 2*v + 32 = 0. Does 15 divide i?
True
Let q(p) = 4*p + 3. Let h be q(-7). Suppose 5*x = 5*w - 175, 3*x + 101 = 3*w - x. Let b = w + h. Does 8 divide b?
False
Suppose 3*j - 7 - 11 = 0. Let l be (-10)/(-6) - (-2)/j. Suppose -l*z = i - 75, -2*i + 0*i = 5*z - 189. Is 19 a factor of z?
False
Suppose m - s - 2 = -0*s, 3*m + 2*s - 21 = 0. Suppose 3*i = -m*x + 146, -x + 3 = i - 27. Is 14 a factor of x?
True
Suppose 0 = 5*t - 498 - 702. Is 16 a factor of t?
True
Let u(q) = -4*q + 12. Does 12 divide u(-15)?
True
Let b = -25 - -7. Let p = 32 + b. Let a = -10 + p. Is a a multiple of 3?
False
Let x = 4 - 3. Is (x/3)/((-3)/(-72)) a multiple of 7?
False
Let x(y) = y**2 + 6*y - 3. Let v be x(-5). Let b(s) = s**2 + 7*s + 2. Does 10 divide b(v)?
True
Let l(a) = -5*a**3 + 4*a**2 + 2*a - 1. Let z(w) = -10*w**3 + 9*w**2 + 4*w - 3. Let r(o) = 5*l(o) - 2*z(o). Is r(-1) a multiple of 5?
False
Is 5 a factor of ((-84)/7)/((-6)/4)?
False
Let y be (-6)/(-9) + 30/9. Let p be 12/(-15)*(y - -1). Let b(k) = -k**3 - 2*k**2 + 3*k. Is b(p) a multiple of 10?
True
Is -5 - (760/(-4))/2 a multiple of 6?
True
Let t(s) = 6*s**2 - 8*s + 1. Suppose 0 = 4*r - x - 12, 2*r = 5*r + 3*x - 24. Let w(g) = 5*g**2 - 8*g + 1. Let v(u) = r*t(u) - 5*w(u). Is 11 a factor of v(6)?
True
Suppose i = 5 - 1. Suppose 4*a - w = 60, -3*a + i*w + 44 = 3*w. Is 6 a factor of a?
False
Let i(u) = u + 1. Let a(l) = -l**3 - 8*l**2 + 11*l + 7. Let v(c) = -a(c) + i(c). Let g be v(-9). Suppose -g*k + 19 = -17. Is 12 a factor of k?
True
Let q(m) = m**2 + 1. Let d be q(2). Suppose 125 = d*w - 4*j, 4*j = -w + 5*j + 24. Does 15 divide w?
False
Let u(l) be the first derivative of 46*l**3/3 - l**2/2 - 3. Is u(-1) a multiple of 23?
False
Is 3 a factor of 120/32*8/2?
True
Suppose 3*l = 971 - 341. Is l a multiple of 15?
True
Suppose 0 = -5*k + 4*k + 2. Suppose d = 4*b - 18, -k*d + 29 = -0*d + 5*b. Suppose -5*j = -d*j - 39. Is 13 a factor of j?
True
Let c = 21 - 9. Is 12 a factor of c?
True
Is (-138)/(-8) + (-15)/60 a multiple of 5?
False
Let p(z) = -6*z. Let u be p(-1). Suppose u = 5*f - 44. Is 3 a factor of f?
False
Let b(m) = -m + 2. Let f be b(-4). Does 3 divide f - (-1 + 1) - -2?
False
Let p = -4 + 5. Suppose -j - 1 = p. Is 3*51*j/(-9) a multiple of 17?
True
Let h(z) = -16*z + 23. Is 14 a factor of h(-11)?
False
Suppose -5*s = -2*z - 30, -3*s + 16 = s. Let k = -12 - z. Let d = 11 - k. Is d a multiple of 18?
True
Let b(s) = -2*s**3 - 5*s**2 - 8*s - 5. Does 4 divide b(-3)?
True
Suppose -4*l = 4 + 4. Let u be 3/((-15)/(-6) + l). Suppose -3*m - 144 = -u*m. Is 16 a factor of m?
True
Let d(c) = 2*c - 9. Let s be d(6). Suppose 2 + 43 = s*w. Does 10 divide w?
False
Let i be (-42)/14*(-1 + 0). Suppose 2*s - 150 = -i*s. Does 10 divide s?
True
Let j(n) = 2*n**2 - 2*n + 1. Let b be j(-3). Let l = -15 + b. Is 5 a factor of l?
True
Let g = -65 - -128. Does 13 divide g?
False
Let n(q) = -13*q - 9. Is n(-5) a multiple of 14?
True
Suppose 0 = 3*s - 1 - 8. Is s a multiple of 3?
True
Let h be (-9)/(-2)*16/(-12). Let r = h - 2. Let p = r - -12. Is 2 a factor of p?
True
Does 11 divide 2/((-6)/291)*-1?
False
Let i(k) = 33*k. Is 33 a factor of i(6)?
True
Suppose 2*r - 3*z - 19 = 0, 0*z + 12 = 3*r + z. Let l be 3/10*-36*r. Let u = 76 + l. Does 10 divide u?
False
Suppose 26 = -0*t - t. Let v = t + 36. Does 6 divide v?
False
Suppose 2*h + 8 = 4*h. Suppose h*r - 127 = -3*c + 119, -c = 2*r - 84. Does 33 divide c?
False
Suppose -3*o + 5 = -22. Let r(j) = -j**3 + 5*j**2 - j - 1. Let i be r(2). Is 3 a factor of i/(-2)*(-12)/o?
True
Let w be ((-4)/(-6))/((-4)/(-6)). Let x(l) = -l**2 + 3. Let c be x(0). Let b = c + w. Is b a multiple of 3?
False
Let t = -2 - -7. Suppose -i - 3*g + 102 = 0, 0 = t*i + 2*g - 232 - 343. Suppose 0 = -5*h - 3*r + 2*r + i, 5*r + 15 = 0. Is 14 a factor of h?
False
Let k(y) = y**3 + 6*y**2 + y. Let x be k(-6). Is 11 a factor of (-485)/(-15) + (-4)/x?
True
Suppose 5*q - 4*c - 203 - 36 = 0, q - 43 = 2*c. Suppose d + 87 = 6*d + x, x = -3*d + q. Is 9 a factor of d?
True
Suppose 2*m - 4*m = -12. Suppose 8*c - m*c = 2. Is 13 - (c + 2 + -2) a multiple of 6?
True
Suppose 99 = 2*l + 7. Let n = l + -18. Is 14 a factor of n?
True
Suppose 2*h + 2*h = 624. Is 27 a factor of h?
False
Suppose a + 4*c = -2*a - 15, 10 = -a - 3*c. Let j be (0 - 1) + a + -5. Is 6/9 + j/(-3) a multiple of 3?
True
Let a(o) = -o**2 + 6*o + 7. Let s be a(6). Is 9 a factor of 254/s - 10/35?
True
Does 42 divide (-42)/4*-2*6?
True
Let k be (-20)/(-12) + 1/3. Suppose 2*g = 30 - k. Let t = 22 - g. Does 4 divide t?
True
Suppose -4*x - 3 = 21. Let l be -1*(-4)/x*12. Let u(q) = -q**3 - 7*q**2 + 6*q - 7. Does 4 divide u(l)?
False
Let a be 0*(-1 + (-6)/(-4)). Suppose -4 + 6 = s. Suppose 5*o - s*o - 66 = a. Does 11 divide o?
True
Suppose -4*f = -3*z + 544, 6*z - 3*z - 548 = 5*f. Is z a multiple of 20?
False
Suppose 2*z + 17 = -7. Let x = 9 - z. Is 15 a factor of x?
False
Let z = 174 - 61. Suppose -28 + z = 5*n. Is 3 a factor of n?
False
Suppose -3*f - 2*f = -25. Suppose 0 = 5*z + 4*h - 122, -2*h = f*z - 5*h - 136. Does 12 divide z?
False
Suppose 15*d - 16*d = -120. Is d a multiple of 25?
False
Let d = -2 - 0. Let m(g) = 5*g**2 - g + 1. Let a be m(d). Suppose -5 = -r + u + 4, -4*u - a = -3*r. Does 8 divide r?
False
Let n(q) = 7*q - 18. Is n(6) a multiple of 8?
True
Let i(n) be the third derivative of n**4/24 - n**3/6 + 3*n**2. Let v be i(3). Suppose b + 21 = v*j, 3*j = 5*j + 4*b - 36. Is j a multiple of 12?
True
Suppose 0*i = -5*i + 825. Let k be 2/7 - i/(-35). Suppose k*u - 10 = 10. Is u a multiple of 3?
False
Let s = 41 - 29. Suppose 2*y + s = 74. Is y a multiple of 18?
False
Let q(n) = n**3 + 17*n**2 + 25*n - 19. Is q(-15) a multiple of 28?
True
Suppose -3*i - 1 = -7. Is 10 a factor of 30 + i*6/(-4)?
False
Suppose 2*h + 91 + 15 = 0. Let l = -69 + 38. Let a = l - h. Does 11 divide a?
True
Let r be (-2)/(-11) + (-120)/(-66). Suppose r*b - 15 - 15 = 0. Does 7 divide b?
False
Suppose -x = -3*x + 8. Suppose -7*d + x*d - 18 = 0. Is (-74)/(-6) + d/(-9) a multiple of 13?
True
Suppose 5*o = w - 184 - 46, -o + 1202 = 5*w. Does 30 divide w?
True
Let g(m) be the first derivative of 4*m**3/3 - m**2/2 - 7. Is 20 a factor of g(4)?
True
Suppose 3 = -l + 4. Let q = l - -33. Is q a multiple of 12?
False
Let f be ((-1)/1)/((-2)/8). Suppose -u - 5*b + 114 = 0, 5*u = -3*b + f*b + 518. Suppose y = -3*y + u. Does 13 divide y?
True
Let q be (-7)/((3/(-1))/6). Is (-721)/(-49) + 4/q a multiple of 5?
True
Does 2 divide ((-27)/45)/(2/(-10))?
False
Let d(y) be the second derivative of -2/3*y**3 + y**2 - 5/12*y**4 - 2*y + 0 - 1/20*y**5. Is 11 a factor of d(-5)?
True
Let l(k) = -k**3 + 7*k**2 - 4*k + 6. Let h be l(7). Let r be (-561)/15 - (-9)/(-15). Let z = h - r. Does 8 divide z?
True
Let l = -173 - -317. Does 48 divide l?
True
Is 11 a factor of (-1)/((-160)/(-164) + -1)?
False
Let i = 17 + -9. Is 19 a factor of ((-4)/6)/(i/(-228))?
True
Let t(s) = -s**2 - 5*s + 2. Let f be t(-4). Suppose 0 = -2*p + f, -3*p + 0*p = 2*o - 11. Is (-19 + o)*(-2 - -1)