f 40*n*4/16*-4?
True
Let y(l) = l**3 + 21*l**2 - 11*l + 88. Let g(u) = -u**2 + 1. Let n(k) = 3*g(k) + y(k). Is 17 a factor of n(-18)?
True
Let d = -31 + 33. Suppose -2*k + 22 - d = 0. Suppose -9 = -k*z + 191. Does 6 divide z?
False
Let i(w) = 2*w - 1. Let s(f) = 7*f + 82. Let b(a) = -3*i(a) + s(a). Let q be b(-12). Let l = q + -33. Is l a multiple of 8?
True
Let o(w) = -2*w**3 - 11*w - 42. Let i be o(-6). Suppose 0 = -b + i - 48. Does 8 divide b?
True
Let g(x) = -x**3 + 21*x**2 - 22*x + 38. Let r be g(20). Let z be (r + -1)*-13*(-6)/(-2). Let n = 232 - z. Is 35 a factor of n?
False
Suppose 0 = -2*b - p + 1193, 4*b + 2*p = 7*b - 1800. Let g = -319 + b. Is 5 a factor of g?
False
Let v(b) = 4*b**3 - b**2 + 8*b + 3. Suppose -i = -2*i - 5. Let g(m) = 3*m**3 - 2*m**2 + 9*m + 4. Let f(s) = i*g(s) + 4*v(s). Is 14 a factor of f(-6)?
True
Let g = 143 - 138. Suppose -5*a + 3*m + 214 = 0, -216 = -g*a - 4*m + 6*m. Is 4 a factor of a?
True
Let x(o) = -4*o**3 + 3*o**2 + 8*o + 5. Let z be x(-2). Let j = z + 167. Is 25 a factor of j?
True
Let k be (-15)/(-45) + 98/3. Let j = k + -32. Is 4 a factor of j + -2 - (-55)/5?
False
Suppose -5*x + 68 = 2*d - 110, -2*d + 3*x + 178 = 0. Suppose -2*i = -15 - d. Is i a multiple of 3?
False
Suppose -10*k + 2*k + 8 = 0. Suppose -s = 2*y - 12, -y = 2*s - 27 - 9. Let r = s - k. Is r a multiple of 3?
False
Let q = 60655 + -34802. Is 78 a factor of q?
False
Suppose -2*i = 17 - 29, v - 688 = -i. Is v a multiple of 13?
False
Suppose -2*o + 3*o + 5*m - 28 = 0, -2*o + 29 = m. Suppose 10*h - 63 = -o. Suppose 3*b - 289 = -h*y, -2*b = b - 5*y - 329. Does 15 divide b?
False
Suppose -2*v - 3264 = -a, 2*a + a = 3*v + 9795. Does 46 divide a?
True
Suppose 2*f + 5712 = 4*z, 4*z - 8*f = -3*f + 5706. Suppose 457 + z = 2*p. Is 51 a factor of p?
False
Suppose 8*m = 11*m + q - 19639, -m - q + 6549 = 0. Does 17 divide m?
True
Suppose 3*x + 2*w = 14, x = 2*w + 3*w - 1. Let d be x/(-3)*(-81)/36. Suppose -2*n + 9 = d*l, 2*l = -4*n + 3*l + 25. Is 6 a factor of n?
True
Suppose -9*d = -27010 - 31133 + 12279. Does 49 divide d?
True
Let v(r) = -21*r + 5. Let f(o) = o**3 - 2*o**2 - o. Let y be f(0). Suppose y = -c - 2*l - 6, 21 = -3*c - 5*l + 5. Does 17 divide v(c)?
False
Suppose i + 4*i + 3*l = 180, 0 = -5*i + 4*l + 145. Let y be 12 + -3 - (0 + 1). Let g = y + i. Does 6 divide g?
False
Let p(j) be the second derivative of -j**4/12 + 8*j**3/3 + 46*j**2 + 151*j. Does 4 divide p(15)?
False
Suppose 2847 = 21*i - 34*i. Let s(j) = 4*j**2 - 11. Let r be s(9). Let c = r + i. Is 16 a factor of c?
False
Let t be 10866/72 + (-2)/(-24). Let q = t + 73. Is 15 a factor of q?
False
Suppose 0 = 12684*l - 12704*l + 207100. Is 19 a factor of l?
True
Let s = 53 - 50. Suppose -s*m + m - 566 = 0. Let l = -76 - m. Does 24 divide l?
False
Let n = -309 - -288. Is 38 a factor of (-7994)/n - (1 + 3/(-9))?
True
Suppose -1152 = -2*b + 10*b. Let z = -54 - b. Suppose -7*v = -12*v + z. Does 5 divide v?
False
Let u(i) = -59*i**3 - 9*i - 19 - 40*i**3 - i**2 + 100*i**3. Is 26 a factor of u(8)?
False
Let z be ((-358232)/63)/8 - 2/9. Let d = z - -1487. Is d a multiple of 52?
False
Suppose 130*z - 2 = 128*z. Is 33 a factor of (-53)/((-48)/15 - -3) - z?
True
Let z = 3600 - 2984. Is z a multiple of 28?
True
Suppose 26*l - 450252 = -40*l. Is l a multiple of 16?
False
Suppose 5*h + 174 = 3*v + 4, 5*v - 308 = -4*h. Suppose 4*j = v + 12. Is 9 a factor of j?
True
Let q(o) be the first derivative of -o**4 + 4*o**3/3 + 5*o**2/2 - 7*o - 82. Is q(-4) a multiple of 9?
False
Let b(s) be the first derivative of -9*s**5/20 - s**4/12 + s**3/2 + s**2/2 + 10*s + 24. Let n(k) be the first derivative of b(k). Is 9 a factor of n(-2)?
True
Let c = 269 - 689. Is ((-360)/144)/(2/c) a multiple of 5?
True
Suppose c = 2*c - 2. Let h(j) = -3*j**2. Let w(r) = -2*r**2 - r + 2. Let b(u) = -5*h(u) + w(u). Does 15 divide b(c)?
False
Let x = -10112 - -10392. Does 70 divide x?
True
Suppose -12*a + 4921 = 7*a. Let b = 191 + a. Does 75 divide b?
True
Let i be (1695/21 - (-4)/14) + -1. Let f be (i/(-24))/(0 + 1/3). Let g(o) = 3*o + 55. Is 4 a factor of g(f)?
False
Is 89 a factor of ((-3926)/(-39))/((-36)/(-6750))?
False
Suppose -333 = 17*j - 5739. Suppose -g - 3*u = -276, -3*g + 484 + j = -4*u. Is g a multiple of 10?
True
Suppose -2*d = 5 + 11. Does 16 divide (-26)/4*((-64)/d + -54)?
False
Let k = -8694 - -14292. Is k a multiple of 62?
False
Let o(j) = -j**3 + 5*j**2 + 6*j - 25. Let y be o(5). Suppose 0 = -2*a + 4*p + 312, -y*a + 4*p + 766 = 8*p. Is 11 a factor of a?
True
Let s be (0/(-1 + -1))/(0 - 2). Let h(c) = -c**3 - c**2 - 2*c + 83. Let u be h(s). Let v = u + -61. Is 15 a factor of v?
False
Let j = -693 - -1053. Let a = 67 + j. Suppose -4*g = m - a, 3*m + 143 - 560 = -4*g. Is 30 a factor of g?
False
Let n(b) = b**3 - 52*b**2 + 52*b - 311. Is 77 a factor of n(60)?
False
Suppose 30*u - 7739 = 33331. Is u a multiple of 8?
False
Let l(n) = 3*n**3 + 3*n**2 + 2*n - 122. Is 3 a factor of l(8)?
False
Let z = -256 + 250. Does 29 divide 17043/(-42)*-2 - z/14?
True
Let y(l) = l. Let o(j) be the first derivative of 6*j**2 - 7*j + 2. Let k(d) = 2*o(d) + 10*y(d). Is k(5) a multiple of 26?
True
Suppose 12*d - 108 = 8*d. Let u = 168 - d. Let g = u + -39. Is 29 a factor of g?
False
Suppose -2*t - s - 2124 = -5*s, -1056 = t - 4*s. Let o = t + 2512. Is o a multiple of 26?
False
Let b(q) = 200*q**3 + 9*q**2 + 6*q - 8. Let j(n) = -398*n**3 - 17*n**2 - 12*n + 16. Let g(d) = -11*b(d) - 6*j(d). Does 38 divide g(1)?
False
Let x = -134 + 173. Is 14151/x + 50/325 a multiple of 21?
False
Suppose -d + 13*t + 2455 = 17*t, d - 2452 = -t. Is d a multiple of 3?
True
Let o be 1/(1018/254 + -4)*1. Suppose 2*b - o + 13 = 0. Is 19 a factor of b?
True
Suppose -19*x + 217982 = -84106 + 36943. Is x a multiple of 58?
False
Let h be (-6 - (-412)/12)*3. Suppose 25 - h = -2*q. Does 5 divide q?
True
Let t(b) = b**2 + b + 1. Let q(l) = l**3 + 2*l**2 - 5*l - 5. Let v(z) = -q(z) - t(z). Let a be v(3). Let k = a + 123. Is k a multiple of 16?
False
Let s = 44242 + 33413. Does 96 divide s?
False
Let j(n) be the third derivative of -31*n**4/24 + 7*n**3/3 - 673*n**2. Let g(q) = -q**3 + 2*q**2 + 3. Let a be g(3). Does 33 divide j(a)?
False
Let s(c) = -786*c + 9679. Does 180 divide s(-6)?
False
Let n(t) = -52*t**3 + 2*t**2 - t + 10. Let z be n(-3). Let f = z - 949. Is f a multiple of 18?
True
Suppose -x + 162 = 161. Is 6 a factor of -5 + x + (414 + 1 - 3)?
True
Let g(f) = -35*f - 14. Let s(k) = -2*k**3 - 11*k**2 + 4*k - 15. Let p be s(-6). Does 2 divide g(p)?
False
Suppose -i + 1529 = 411. Let y = i + -602. Suppose y = 16*m - 12*m. Does 40 divide m?
False
Let w = 2677 + -668. Is w a multiple of 9?
False
Let m = 10 + -6. Suppose -739 = -4*x - n, m*n - 369 = -2*x + 3*n. Is x a multiple of 37?
True
Let k = 89095 - 50443. Is k a multiple of 14?
False
Let n = -69 + 139. Suppose m - 2*m = -n. Suppose 6*c - 286 = -m. Is c a multiple of 12?
True
Let m(k) = k**3 + 18*k**2 + 16*k - 3. Let a = 352 - 742. Let r be 6/(-15) - (1 - a/25). Is 5 a factor of m(r)?
False
Suppose -27*h + 103340 = -2*h - 9635. Does 3 divide h?
False
Suppose 0 = 3*h + 12, 0*x - 2*x - 2*h = -1048. Let s = 644 - x. Is s a multiple of 22?
False
Let x be (45/(-35) - -1)*-7. Suppose x*g = -b + 871, -21*b - 3*g + 4376 = -16*b. Is 26 a factor of b?
False
Let k(s) = 875*s**2 + 30*s - 153. Is k(-4) a multiple of 27?
False
Let u be ((-1)/3)/((-8)/(-17976)). Let k = -141 - u. Does 16 divide k?
True
Is ((-140)/(-56))/(3/6090) a multiple of 203?
True
Suppose -5*c - 7780 - 54 = -q, c - 31357 = -4*q. Is q a multiple of 39?
True
Let b be -1*(5 + -1)*(-1435)/20. Let y = 753 - b. Is y a multiple of 23?
False
Let p(u) = -2*u**3 - 2*u**2 + u - 1. Let m be p(-2). Suppose -m*f + 219 - 29 = 0. Suppose q = -3*c + f, -q + 4*c = 9*c - 32. Is q a multiple of 5?
False
Suppose -50*m + 8932 = -22*m. Let f = 383 - m. Is f even?
True
Let v = 1641 + -165. Does 77 divide ((v*6)/4)/((-4)/(-2))?
False
Let n(q) be the first derivative of 5*q**2 - 2*q + 16. Let o be n(5). Suppose 4*h + o = 7*h. Is 8 a factor of h?
True
Suppose 5*u = -13*u + 36. Suppose 12 - u = -5*l. Is 34 a factor of (7/l - 1)*2380/(-105)?
True
Suppose 5940 = 56*c + 76*c. Is c a multiple of 20?
False
Let a(t) = 25*t**3 + 6*t**2 - 43*t - 18. Does 33 divide a(4)?
False
Suppose -3*w