c(s) = 7*s**3 - 9*s**2 - 8*s + 5. Let o(m) = -4*m**3 + 4*m**2 + 4*m - 2. Let q(x) = 3*c(x) + 5*o(x). Does 11 divide q(8)?
False
Let h(v) = 0*v + 0*v**3 + v**3 - 2*v**2 - 3*v + 3. Let q be h(3). Let f(d) = d**2 + 3*d - 1. Is 6 a factor of f(q)?
False
Let k = -51 + 107. Is 14 a factor of k?
True
Does 14 divide 4/3*168/16?
True
Let p = -25 - -102. Is 12 a factor of p?
False
Does 32 divide 2*(-4)/16*-186?
False
Let v = -28 - -19. Let s = -4 - v. Suppose -48 = -3*d - 4*g, s*d - g = 6 + 51. Is d a multiple of 5?
False
Let t be (85/(-2))/(10/(-80)). Suppose -s = 4*s - t. Is s a multiple of 15?
False
Let g = 55 - -197. Is g a multiple of 47?
False
Let z(o) = -44*o**3 - o**2 + 5*o + 1. Let f(i) = 44*i**3 + i**2 - 4*i - 1. Let j(b) = -5*f(b) - 4*z(b). Is j(-1) a multiple of 12?
False
Let u = -5 + 8. Suppose -r - 96 = -u*k, -64 = -6*k + 4*k - 4*r. Is k a multiple of 32?
True
Let o(y) = 2*y**2 + 1. Suppose -3*t - 5*m = 20, -2*m - 3*m - 20 = 0. Let f = -2 + t. Does 7 divide o(f)?
False
Suppose 0 = w + 2*w - 3. Let u(l) = 39*l + 1. Does 20 divide u(w)?
True
Let k = -35 + 591. Is k/16 - 2/(-8) a multiple of 11?
False
Let f be 376/(-6) - 3/9. Suppose -5*h + 4*g + 438 = 2*g, -3*h + 267 = 3*g. Let j = f + h. Does 13 divide j?
False
Let j(o) = -3 + o - 2*o - 9 - o. Let r be j(-8). Does 11 divide (2/3)/(r/138)?
False
Let s(v) = -v**3 - 8*v**2 - 8*v + 5. Let q = -4 + -3. Is 4 a factor of s(q)?
True
Let n(c) = 50*c - 8. Let r be n(4). Is 16 a factor of (3/2)/(9/r)?
True
Suppose j = -5*l + 32 + 120, 0 = 4*l - 5*j - 110. Let d = l + 6. Is d a multiple of 12?
True
Let n = 0 - 1. Let p(b) = -10*b**3 + b**2 + 2*b + 1. Does 10 divide p(n)?
True
Let l(a) = a**2 - a - 5. Let o be l(8). Let t be (o + 0)*(-2)/(-6). Let n = 3 + t. Does 8 divide n?
False
Let s be (-1 - (-2 + 4))/(12/8). Let a = 36 + -13. Is 13 a factor of a - 8 - 6/s?
False
Suppose 2*q - 5*z - 159 = 0, -109 = -q - 3*z - 35. Is q a multiple of 18?
False
Suppose 6 = 3*o - o. Suppose o + 3 = c. Suppose s - c*s - 5*r = -210, -59 = -2*s + 3*r. Is 22 a factor of s?
False
Suppose -27 = 3*u - 4*n - 73, 3*u - 2*n = 44. Let d be 7/3 + 10/(-30). Suppose 0*v + u = d*v. Is 6 a factor of v?
False
Let o be 11 + -4 - (2 - -1). Suppose 0*m + 2*m = -o*j + 24, 2*m - 2*j - 42 = 0. Is m a multiple of 9?
True
Does 15 divide 9292/207 - 2/(-18)?
True
Suppose v - 18 + 0 = -y, 2*y = -3*v + 58. Is v a multiple of 4?
False
Is 9 a factor of (-416)/39*(-3)/2?
False
Let k = 18 + -5. Does 5 divide k?
False
Let i be (-33 - -39)/(3/14). Suppose r - 4*u = 4*r + 2, 2*r - 2*u = -6. Let d = i + r. Does 9 divide d?
False
Let m(u) = u**3 + u**2 - 3*u + 2. Is m(3) a multiple of 29?
True
Let a be 0 + ((-8)/4 - 2). Is 6 a factor of (-94)/a - (-3)/6?
True
Suppose 4*t - 15 = 69. Suppose 0 = -2*r + 3*r - t. Suppose o = -2*o + r. Does 7 divide o?
True
Let y be (-2)/(0 + (-2)/7). Suppose y*g = 3*g + 44. Does 3 divide g?
False
Suppose 4*i = -2*p + 172, 313 = 4*p - 4*i - 55. Is p a multiple of 10?
True
Suppose 4*q - 136 = 80. Does 27 divide q?
True
Let k = 7 + -10. Let o(m) = -13*m + 3. Does 21 divide o(k)?
True
Let w(p) = -3*p**3 + 2*p**2 - 6*p + 6. Let n(l) = l - 1. Let m(b) = -5*n(b) - w(b). Does 15 divide m(2)?
False
Is 19 a factor of 48/84 + (0 - 661/(-7))?
True
Suppose m + 4*w = -13, -w = 6*m - m - 30. Does 7 divide m?
True
Suppose -2*g = -3*w, -4*g - w = -7*g + 14. Is 3 a factor of g?
True
Let f(u) be the first derivative of u**4/4 + 4*u**3 + u**2/2 - 3*u - 5. Let q be f(-12). Let k = q + 25. Is k a multiple of 10?
True
Let t = 3 + -10. Is 2 a factor of (-8 - t)*(-5)/1?
False
Let x(o) = 27*o**3. Let h be x(1). Suppose -2*u = -45 - h. Suppose 4*m - 6*m + u = 0. Is 8 a factor of m?
False
Let a be ((-6)/(-5))/(6/45). Suppose -a = 3*c - 3*n + 6, -4*c + n = 5. Is (c + 6)*(-27)/(-6) a multiple of 10?
False
Suppose 3*y = j + 9, 0 = y + 4*y - 10. Does 14 divide j/2*116/(-3)?
False
Suppose r - 5*y = 30, r = -6*y + 4*y + 2. Let q be (r/(-15))/((-2)/6). Suppose q*o = -o + 36. Is o a multiple of 4?
True
Let o(u) = -u**2 - 2*u + 3. Let c be o(-3). Suppose 3 + c = 4*v + t, v - 5*t - 27 = 0. Suppose -v*q - 3 = -63. Does 15 divide q?
True
Let l = 98 + -113. Let f = 135 + -96. Let i = l + f. Is 7 a factor of i?
False
Let s be 2*(-1 + 27/6). Suppose 2*n - 5*l = -s, -2*n + 0*n + 4*l = 6. Let v = 7 + n. Does 6 divide v?
True
Let n(f) be the first derivative of f**4/4 + 7*f**3/3 - 11*f**2/2 + 4*f + 3. Let q(k) = 2*k**3 + 2*k**2 + k + 2. Let r be q(-2). Is 14 a factor of n(r)?
True
Let y(b) = -27*b**2 + 6 - 2*b - 3*b + 28*b**2. Is 12 a factor of y(6)?
True
Let f = 154 - 109. Is f a multiple of 15?
True
Let i = -8 + 13. Suppose -i*u - 5*j + 227 = -93, u - j = 60. Is u a multiple of 26?
False
Suppose 0 = -2*q - 0*q - 60. Let p = 60 + q. Is 15 a factor of p?
True
Let i be (-78)/(-12) + 9/(-6). Let f = -108 - -156. Suppose i*n = n + f. Is 6 a factor of n?
True
Suppose -5*d = 3*s - 380, -344 = -3*s + 5*d - d. Is s a multiple of 8?
True
Suppose 5*w + 23 + 116 = -3*h, 5*h + w = -195. Let c = -19 - h. Does 19 divide c?
True
Suppose m + 12 = 3*m. Let u be ((-4)/(-10))/(m/30). Suppose -u*a + 52 = 4*v, 2*v - a - 16 = 14. Does 5 divide v?
False
Suppose 4 = -4*y + 4*s, -3*s - 8 = -2*y + s. Let u = -4 - y. Suppose 0 = i - z - 20, -z + 43 + 3 = u*i. Does 22 divide i?
True
Suppose 2*i - 5*i = -15. Is i a multiple of 5?
True
Let h be (10/6)/((-11)/(-198)). Suppose -5*u + 4*x + h = 2*x, 0 = -u - x - 1. Does 2 divide u?
True
Suppose -4*q + 3*t - 15 = -3*q, -5*q - 5*t + 5 = 0. Let w = -13 - -7. Does 5 divide -4*q/w*-5?
True
Suppose -5*m + i + 18 = -4, -4*m = -3*i - 11. Suppose w - 8 = m. Is 13 a factor of w?
True
Let v(m) = 6*m**3 + m**2 + m + 2. Let q be v(-2). Let f = -29 - q. Is 13 a factor of f?
False
Suppose 7*z + 175 = 847. Does 24 divide z?
True
Let q(z) = z**3 + 7*z**2 + 2*z + 4. Let v be q(-5). Suppose 0 = f - 5*w - 22, 5*f - v = 3*f + 4*w. Does 10 divide (0 - -1) + f/2?
False
Suppose 5*s - u - 3*u = 515, 3*u = 4*s - 411. Is s a multiple of 9?
True
Suppose -5*f = 10, 3*x - 21 - 4 = -4*f. Does 5 divide x?
False
Let d = -23 - -9. Let i = 1 - d. Is i a multiple of 14?
False
Suppose -2*k + 2*o - 14 = -6*k, 4 = 4*o. Is k a multiple of 2?
False
Let d = 7 + -7. Suppose d = -3*o - 3, -29 = -3*x - 2*o + 17. Is x a multiple of 16?
True
Suppose -87 - 33 = -3*s. Is s a multiple of 8?
True
Let n(j) = 2*j**2 - 2*j - 4. Does 18 divide n(-4)?
True
Let m(o) = -8*o + 2. Does 4 divide m(-5)?
False
Does 13 divide 104/(20/5) + 0?
True
Suppose 4*k + 2*z - 32 = -2*z, 2*z - 49 = -5*k. Is 30 a factor of k/33 - 322/(-6)?
False
Does 18 divide 6/(-15) - (-2976)/15?
True
Let f(k) = -k**3 + 10*k**2 + 10*k + 7. Let d be f(11). Is 6 a factor of (-14)/2*(-5 - d)?
False
Let j(f) = f**2 + 3*f + 6. Let t be j(-6). Let r = -16 + t. Does 4 divide r?
True
Let a(i) = -3*i - 12 - i + 28*i**2 - 26*i**2. Does 9 divide a(6)?
True
Suppose -k + 3*n + 12 = 0, -4*k + 0*n = 4*n. Suppose -k*g - 4*b + 33 = b, -4*g - 3*b = -33. Is g a multiple of 4?
False
Let q(j) be the first derivative of 2*j**3/3 + 2*j**2 + 3*j - 5. Does 9 divide q(-3)?
True
Suppose -u - 2 = -4*i + 4, -u - 2 = -2*i. Suppose 0 = -4*o + 8, 0 = t - i*o - 7 - 3. Does 4 divide t?
False
Let i(k) = k - 4. Let q be i(3). Is 11 a factor of (6/2 - 25)/q?
True
Suppose 0 = -7*v - 8 + 141. Is v a multiple of 19?
True
Suppose 0 = c + 4*r + 1 - 9, 0 = -c + 2*r + 26. Is c a multiple of 6?
False
Let g(d) = -d**2 + 8*d + 2. Let p be g(8). Suppose -24 - 32 = -p*n. Is n a multiple of 14?
True
Let r(l) = l**3 + 9*l**2 + 2*l - 1. Is r(-4) a multiple of 10?
False
Suppose -2*o = -4, -d - 2*o - 3 + 7 = 0. Suppose 0 = 3*w - d*w - 6. Suppose 2*y = u - 12, -y - 11 = -w*u + 19. Is 8 a factor of u?
True
Let g be 0 - (-1 + (-2 - -3)). Let w be 1 + 3/9*g. Let q(a) = 6*a**2 - 1. Is 2 a factor of q(w)?
False
Let j(t) = -t**2 - 14*t + 6. Does 7 divide j(-11)?
False
Suppose -2*r + 3*r - 97 = 0. Let w = r + -37. Is 15 a factor of w?
True
Let h(r) = -3*r**2 - r**3 - r - 8*r - 2*r**2. Let o be h(-7). Suppose 5*i - 5*k = 49 + o, i - 42 = -5*k. Is i a multiple of 21?
True
Let p(t) = -t**3 - 12*t**2 - 12*t - 3. Does 8 divide p(-11)?
True
Suppose i - 9 = -2*i. Let b = 3 - i. Suppose -5*t = b, -f + 2*t - 30 = -3*f. Does 5 divide f?
True
Let f = 86 - 1. Suppose -2*w - f - 29 = -4*d, 5*d - w = 135. Does 13