- 5*n(o). Suppose 5*z = z + 20. Is 15 a factor of q(z)?
True
Let w be (-431 - -3) + 4/2. Does 30 divide (1/3)/((-2)/w)?
False
Let r be (2 - (-35)/3) + 10/(-15). Suppose 920 = r*v - 744. Is 40 a factor of v?
False
Suppose 0 = 15*w - 2177 - 2548. Is w a multiple of 7?
True
Let n = 1318 - -977. Is 48 a factor of n?
False
Let z(m) be the second derivative of 0*m**2 + 0 - 17/2*m**3 + 2*m. Does 17 divide z(-1)?
True
Let q(a) = 3*a**3 + a**2 - 5*a - 4. Let l be q(-2). Does 21 divide ((-632)/l)/(32/112)?
False
Suppose 2*o + 4*h - 930 = 2*h, -5*o + 2327 = 3*h. Does 77 divide o?
False
Let k = -37 + 59. Suppose -k = -g - 2*o + 6*o, 4*g - 107 = -3*o. Does 8 divide g?
False
Is 13824/320*(-10)/(-4) a multiple of 4?
True
Let m(y) = y**2 - 17*y + 12. Let q(s) = -s + 4. Let c be q(-15). Is m(c) a multiple of 10?
True
Let l = 42 + -32. Is 10 a factor of (-6)/l - 278*(-1)/5?
False
Is (-18)/99 - ((-5636)/22)/1 a multiple of 19?
False
Suppose 3*m - 644 = 3*i - 2165, 3*m - 1551 = -3*i. Is 8 a factor of i?
True
Let w be (-52)/(-9) - 2 - 4/(-18). Suppose -122 = -2*x - w*f, 3*x - 143 = 5*f - 3*f. Is x a multiple of 51?
True
Let b(p) = -p**3 + 6*p**2 - p - 12. Let z be b(5). Suppose 5*u = -z*u + 390. Is u a multiple of 6?
True
Let k be 256/(-12)*(-30)/4. Let o = 91 - k. Let f = o - -101. Is f a multiple of 5?
False
Let z(w) = w**3 + 44*w**2 + 12*w - 18. Is z(-42) a multiple of 56?
False
Suppose 126*s - 111*s - 33480 = 0. Does 59 divide s?
False
Suppose -q + 3240 = 5*u - 0*q, 3*u + 3*q - 1944 = 0. Suppose -u = -4*i - 2*i. Suppose -2*g = 2*g - 4*d - i, 5*g + d = 129. Is g a multiple of 11?
False
Suppose -5*y + 3 = -2*y. Is 42 a factor of (y - (-864)/15) + (-2)/(-5)?
False
Let s(b) = 32*b**2 + 2 - 29*b**2 + 39*b**2 + 2*b + 66*b**2. Let n be s(-1). Let d = n - 58. Is 12 a factor of d?
False
Let i be (-4)/16 - 42/(-8). Let j(f) be the first derivative of -f**2/2 + 11*f - 82. Does 4 divide j(i)?
False
Let o(z) = 7*z + 10. Let v(s) = -4*s - 5. Let r(l) = 3*o(l) + 5*v(l). Does 6 divide r(4)?
False
Let o(t) = 6*t**2 - 8*t + 15. Let m(y) = -9*y**2 + 17*y - 32. Let j(v) = 6*m(v) + 13*o(v). Let x = 0 - -1. Is 4 a factor of j(x)?
False
Let h(a) = 5*a - 4*a - 2*a**2 + 0*a**2 - 2*a. Let v be h(1). Is 5 a factor of (-8)/12*v + 3?
True
Let l be (-2)/(10/(-3) - -3). Let r be 8/(-8) - l/(-2). Suppose -r*g - 6 = -3*s, 0*g = g + s - 7. Is 2 a factor of g?
False
Suppose 0 = -4*y + 6*y - 1746. Is 9 a factor of y?
True
Let n = 5 + -3. Let x be n/2 - (-2 + -2). Suppose -2*v + 7 = -x. Does 6 divide v?
True
Suppose -h + 2*h - 5*a = -17, 2*a - 20 = -4*h. Suppose -h*x = -4 - 5. Suppose t - 340 = -x*t. Is t a multiple of 19?
False
Let x(c) = 2*c**2 - 5*c + 4. Let j be x(2). Suppose -3*a + 596 = -8*a + b, 4*a + 472 = j*b. Let h = -58 - a. Does 31 divide h?
True
Suppose -10*a - 30 = -4*a. Let r(l) = -l**3 - 3*l**2 - 3*l - 9. Is r(a) a multiple of 14?
True
Suppose -9 = -11*k + 8*k. Does 14 divide 112 + (-3 + k - 0)?
True
Suppose 4*x = -2*f + 16839 + 2397, -2*f = 3*x - 14425. Does 24 divide x?
False
Let r be 1*(-313)/4*-4. Suppose -r - 159 = -4*z. Suppose -5*u + z = -2. Is 6 a factor of u?
True
Let j(w) = w**2 + 9*w - 22. Let u be j(-11). Suppose 4*q = -0*q + t + 736, u = -4*q + 4*t + 724. Is q a multiple of 42?
False
Let i = -70 - -93. Let y = i - -87. Is y a multiple of 55?
True
Let n(d) = d**2 + 3*d - 7. Let u be n(2). Suppose 0 = 2*j - p - 99, 0 = -5*j - u*p - p + 228. Is 6 a factor of j?
True
Suppose 5*u - 17 = 38. Is 6 a factor of u?
False
Let q = -108 - 295. Let b = -260 - q. Does 11 divide b?
True
Suppose 0 = 4*t - 5*t + 2, 3*p + 5*t = -278. Let a = -19 - p. Does 11 divide a?
True
Let m be 6 + (0 - -2)/2. Suppose 0 = 5*j + 5*o - 355, -m*j - 4*o = -2*j - 359. Suppose j = 5*t - 200. Does 11 divide t?
True
Let j(x) = x + 3. Let t be j(5). Suppose 18*w = 14*w - t. Is 26 a factor of (-160 + w - 2)/(-2)?
False
Let k(o) = 13*o**2 + 46*o - 10. Is k(-4) a multiple of 2?
True
Let t be 3 - (3 + -2 - 3). Let s(n) = n**2 + 2. Let r be s(t). Suppose 3*w = k - r, -2*k + w + 29 = -0. Is k a multiple of 12?
True
Suppose 32*l - 28*l = 0. Suppose l = d - 11 - 105. Does 29 divide d?
True
Let k(i) = -30*i + 5. Let s(g) = g - 2. Let y(b) = k(b) + 3*s(b). Suppose -2 = -2*t + 4*t. Does 16 divide y(t)?
False
Suppose -4*v + 4*z = -1068, -v + 273 = -17*z + 14*z. Does 22 divide v?
True
Is 426/4*(-14)/(-21) a multiple of 67?
False
Is 11 a factor of (-4)/(-2) + -8 + 8 - -2394?
False
Let l(o) = -1. Let p(q) = 14*q - 21. Let x(s) = -s + 1. Let a(d) = p(d) + 7*x(d). Let w(c) = a(c) - 7*l(c). Does 7 divide w(3)?
True
Suppose d - 238 = -11*q + 8*q, 0 = -3*d - 2*q + 749. Does 54 divide d?
False
Let n(j) = -j**3 - 4*j**2 - 4*j + 1. Let f be n(-3). Suppose a + f*z - 3 + 2 = 0, -4*a + 46 = 2*z. Suppose -i + a + 17 = 0. Does 15 divide i?
True
Suppose s + 40 = -3*s. Suppose 15*f = 10*f - 570. Is f/(-15) + (-4)/s a multiple of 8?
True
Let s = 102 - 16. Suppose 2*h - 54 = s. Is 10 a factor of h?
True
Let w(o) = -o**2 + 20*o + 30. Is w(19) a multiple of 14?
False
Suppose 3*n + n = -5*j + 21, -1 = n - 5*j. Suppose -5*b - 262 = -2*d, -n*b + 13 + 3 = 0. Does 30 divide d?
False
Suppose 2*r - 12 = -5*u, -10 = -7*r + 3*r - 3*u. Is 23 a factor of 9/3 + r + 11*8?
True
Let n(v) be the third derivative of v**6/120 + 3*v**5/20 + v**4/12 + 3*v**3/2 - 13*v**2. Does 19 divide n(-8)?
True
Let m = 900 - 772. Is 6 a factor of m?
False
Suppose 2 = -3*v + 17. Suppose -v*q = 2*y - 54, -q + 21 = -0*y - 3*y. Suppose -5*x = -2*s + 6*s - 30, 4*s = -2*x + q. Is 5 a factor of x?
False
Suppose -10 = -4*v - 2, f - 142 = v. Suppose 4*l - f = 4*h, -h + l + 3*l = 33. Let i = -22 - h. Is i a multiple of 6?
False
Suppose 4*t = -0*t - 188. Let f = 80 + t. Does 10 divide f?
False
Suppose f = -3*s + 715, -3*s - 4*f = -66 - 643. Is 24 a factor of s?
False
Let x = -31 + 43. Is 10 a factor of 9 - (4/(-6))/(x/18)?
True
Let d = 5 - -11. Suppose -r = 3*r + 3*k + 57, -4*k = 2*r + d. Is (r/(-30))/(2/130) a multiple of 13?
True
Suppose 0 = 4*v + 4*n - 296, 2*v = 5*n + 45 + 124. Is v a multiple of 7?
True
Let d be 3/(-3 + 1 - -3). Is -3*d/9*-22 a multiple of 6?
False
Let c(u) = -6*u**3 - 2*u**2 + 25*u + 7. Does 51 divide c(-7)?
False
Is (581/7)/(1/(2 - -3)) a multiple of 38?
False
Is 2 a factor of (-309)/(-6) - 50/20?
False
Let q(n) = -n**3 + 8 + 4*n**2 - 4 + 2*n**3 - 3*n. Let z be q(-5). Is (6/15)/(z/(-210)) a multiple of 7?
True
Suppose -n + 2*n + 27 = 3*m, -5*n - 97 = 4*m. Suppose -21 = x - 4. Let j = x - n. Is j a multiple of 4?
True
Suppose j - 5 = 3. Let d(q) = q**2 - 13. Does 8 divide d(j)?
False
Let r = -13 - -15. Suppose -2*h + 5*s = h - 50, -r*s - 2 = 0. Suppose 0 = 3*o - 6 - h. Is o a multiple of 7?
True
Let s be (2 - 0/(-1)) + 231. Let i be s/(-11) - (-6)/33. Let q = 39 + i. Is 6 a factor of q?
True
Let a(z) = -5*z + 31. Let r be a(7). Does 26 divide (-5 + 158/r)*-2?
False
Suppose 4*w - 2774 = 946. Does 93 divide w?
True
Is 3 a factor of 702/(-24)*40/(-15)?
True
Let i be 8*((0 - (-3)/(-6)) + 1). Suppose -i*w + 7*w = 108. Is w a multiple of 36?
True
Suppose 5*u + 3*r = 6*r - 9, -r = -3. Let i = 59 - 54. Suppose i*h + d - 4*d - 39 = 0, -d - 3 = u. Does 3 divide h?
True
Let x be (-39)/(-65)*(-1 - 6/(-1)). Does 20 divide 4/(-4*x/(-420))?
True
Let i(k) = 2*k**2 + 4*k + 1. Let f be i(5). Let r = 115 + -118. Let d = r + f. Is d a multiple of 15?
False
Suppose 0 = -8*n + 20*n - 84. Is n a multiple of 2?
False
Let s = 14 - 11. Let q(g) = g**3 - 3*g**2 + 2. Let n be q(s). Suppose 3*r - 52 = -4*p, -n*p = 3*r + 2*r - 110. Is 8 a factor of r?
True
Let p(t) be the first derivative of -233*t**2/2 + t + 5. Let n be p(-1). Suppose -2*s + 108 = -4*a, 5*s - n = -0*a - 2*a. Is s a multiple of 29?
False
Suppose 240*p + 1800 = 242*p. Is 10 a factor of p?
True
Suppose 7*m = m + 354. Suppose 0 = 5*d + c - 4*c - 153, -c + m = 2*d. Is 10 a factor of d?
True
Suppose x + 3*i = -0*x + 14, 3 = 3*x - 4*i. Suppose 0 = 5*l + x + 5. Is (-4)/l + (1 - -2) a multiple of 3?
False
Let h = -9 - -16. Suppose -2*m = -2*s - 18, 2*s - h = -3*m + s. Suppose 5*x + 75 = 5*o + 3*x, x = m*o - 57. Is 6 a factor of o?
False
Suppose -2*u - 2 = u + 4*a, -2*u + 8 = 5*a. Let g(s) = 4*s - 3. Let y be g(u). Is 17 a factor of y/2*64/(-12)?
False
Suppose 947 = k + 3*w + 263, -3*k + 3*w + 2112 = 0. Is 74 a factor of k?
False