. Is m a multiple of 12?
False
Suppose -s + 8 = 4*h + 3*s, -5*s - 46 = -3*h. Let w(z) = -z**3 + 10*z**2 + 7*z - 40. Is w(h) a multiple of 78?
True
Suppose 0 = -348*l + 353*l + 35, -r + 2*l = -1224. Does 8 divide r?
False
Let q(d) = d**3 + 13*d**2 - 11*d + 22. Is 2 a factor of q(-8)?
True
Let u be (-15 - -9)*(-1 + 29*-1). Suppose -b - u = -2*q, 4*q - 4*b = b + 366. Is q a multiple of 4?
False
Let b(o) = o. Let d(h) = -10*h - 19. Let y(s) = -2*b(s) + 2*d(s). Let g be y(-14). Suppose 9*x + g = 14*x. Is x a multiple of 17?
False
Let o = 22516 + -21814. Is o a multiple of 13?
True
Suppose 3*a = 4*q - 98, -4*a + a - q - 88 = 0. Let c = a + 70. Does 14 divide c?
False
Let p = 626 - 623. Let t(y) = y**3 + 7*y**2 - 8*y + 6. Let k be t(6). Suppose 3*i = i - o + k, -5*i + 1063 = p*o. Does 11 divide i?
False
Let n(l) = 11*l**2 + 44*l - 495. Is 15 a factor of n(29)?
False
Suppose 2*l = -3*q - 2*l - 8, -2*l = -4*q + 26. Suppose -25 = n - 6*n + f, 0 = -5*n - q*f + 25. Let v(z) = z**2 + 13. Is v(n) a multiple of 6?
False
Suppose -5*h = -40, 2*x + 1074*h - 1069*h = 43240. Does 8 divide x?
True
Let f be (-1)/((-2)/5) - 4/8. Suppose 1058 = 2*v - 2*n, -2*v = 2*v - f*n - 2106. Suppose -v = -5*g + 581. Is g a multiple of 17?
True
Let j = -35 - -40. Suppose 0 = -j*k - q - 165, 5*q + 65 = -4*k - 46. Let z = 87 + k. Is z a multiple of 23?
False
Suppose -2*j + 28 = 2*j + 4*o, 0 = -3*j + 5*o + 21. Suppose p = -0*l + 2*l + 15, 5 = 5*p. Is 4 a factor of 3 + j - (-7)/l?
False
Let j be ((-85)/51)/(-2 - 14/(-12)). Suppose -3*s = j*h - 1078, -h - 2071 = -4*s - 630. Is s a multiple of 24?
True
Let a be (-2)/(-4) + 3/(-6). Let j(s) = s**3 + 3*s**2 + 4. Let w be j(a). Does 27 divide 280/5 + 4/w + 1?
False
Suppose 0 = s + 1 + 4. Does 16 divide s*(1916/(-10) - 6)?
False
Is 39 a factor of 20/(-4) + 6058 + -3?
False
Let d = -61 - -64. Suppose 2*p - 128 = 18. Suppose d*t = t + 2*u + 26, -5*t - 3*u + p = 0. Is t a multiple of 5?
False
Let p = -3226 + 21519. Is 221 a factor of p?
False
Suppose 0 = 238*q - 784615 - 3507715. Is q a multiple of 160?
False
Suppose 5*o - 12058 = -3*f, -2*o + 52*f - 53*f + 4822 = 0. Is o a multiple of 14?
True
Let x(s) = 58921*s**2 - 40*s + 7. Is 14 a factor of x(-1)?
True
Let y(w) = -5328*w + 821. Is 284 a factor of y(-4)?
False
Suppose -2*u + 29 = 23. Suppose -31 = 2*z - u*z. Suppose -6*w + 2*w + 2*f + 82 = 0, -z = -2*w - f. Does 5 divide w?
False
Suppose 250*y - 4*i - 3396 = 248*y, -2*i + 3372 = 2*y. Is y a multiple of 12?
False
Let f = 187 + -190. Let d(r) = 14*r**2 - 29*r - 66. Is d(f) even?
False
Suppose -3*l = 4*o - 6*o + 129, l + 303 = 5*o. Suppose -4*k + o = -264. Is 8 a factor of k?
False
Let t = -9 - -189. Let c = t + 147. Is 19 a factor of c?
False
Suppose -4*x - 5*y = -12956, 16221 = 5*x + 54*y - 51*y. Is x a multiple of 15?
False
Let f = -70 + 75. Suppose -f*w = 54 - 314. Let j = -37 + w. Is 3 a factor of j?
True
Let o(u) be the first derivative of -45*u**4/4 - 5*u**3/3 + 4*u**2 + 25*u - 256. Is 28 a factor of o(-3)?
False
Suppose -v = -111 + 114. Does 5 divide (-48 - (-1 + 4 + -6))*v?
True
Let h(n) = -n**3 - 11*n**2 - 16*n + 12. Let g be h(-9). Is 33 a factor of g*(-5 - (0 + 452/8))?
False
Is -45 - -46 - (-18662 + -3) a multiple of 17?
True
Does 18 divide -3270*((-60)/(-25) - 3)?
True
Suppose r + 4*r = -4*g + 405, 2*g - r = 213. Suppose -h + g = 4*h. Let o = 43 - h. Is 11 a factor of o?
True
Suppose -2*p - 5*i + 18074 = 0, -21*i + 18110 = 2*p - 7*i. Does 15 divide p?
False
Let i(w) = 22*w - 89. Let v be i(4). Let h(a) = -38*a**3 + 3*a**2 - 2. Is 39 a factor of h(v)?
True
Suppose 0*l = 3*l - 93. Let y = 38 - l. Suppose 62 = 3*i - y. Is i a multiple of 13?
False
Suppose 6*f = 3*u + 2*f - 3, 4*u - 35 = -5*f. Suppose 4*j + u = k + 8*j, -3*k = 2*j - 45. Does 4 divide k?
False
Let m(r) = r**3 - 23*r**2 - r + 30. Let t be m(23). Suppose t*b - 216 - 792 = 0. Does 36 divide b?
True
Let a be ((-4)/(-3))/(18/(-27)). Let u be (-1)/(a/(-4))*(-212 + 8). Suppose -3*f + 404 = -v, -5*f - 3*v + u = -2*f. Is f a multiple of 34?
False
Let i(m) = 407*m - 42. Let f be i(6). Suppose 4*w + 4*w - f = 0. Is 12 a factor of w?
True
Suppose -2*z = -2*s - 224, -4*s + 61 = z - 26. Suppose 0 = -z*c + 105*c + 134. Does 51 divide c?
False
Let i(m) be the first derivative of -25*m**3/3 - 3*m**2/2 + 2*m + 28. Let a be i(-3). Let s = a - -311. Is s a multiple of 23?
False
Let v(g) be the second derivative of g**5/5 - g**4/4 - 11*g**3/6 + g**2 + 54*g. Does 62 divide v(5)?
True
Let j(b) = -5*b**2 - 16*b - 1. Let m be j(-7). Let d = -132 - m. Suppose 203 = 2*k + 4*h + 3, 204 = 2*k + d*h. Is k a multiple of 8?
True
Let o(q) = 5*q**3 - 4*q**2 + 4*q - 6. Let c(a) = -14*a**3 + 12*a**2 - 11*a + 19. Let p(d) = 6*c(d) + 17*o(d). Is 6 a factor of p(6)?
True
Let i = -36 - -20. Let v be (i - -15)/((-2)/(-556)). Let a = v + 432. Is a a multiple of 36?
False
Suppose -2*k = k + j - 3826, 4*k - 5088 = 2*j. Let i = k + -1834. Let d = -345 - i. Is 43 a factor of d?
True
Suppose -208 = -20*r - 48. Suppose -r*v + 440 = 128. Does 6 divide v?
False
Suppose 3*z = -t - 5153, -1715 = z - 2*t + 5*t. Let h = -1223 - z. Is h a multiple of 15?
True
Let j(w) = w**2 - 6*w + 3. Let m be j(-5). Let d = -91 + m. Let b = 176 + d. Is 30 a factor of b?
False
Let z(s) = -s. Let l(i) = 6*i**2 - 3*i - 21. Let j(t) = l(t) + 2*z(t). Does 16 divide j(-7)?
False
Let q(a) = -a**3 + 2*a**2 + 9*a - 1. Suppose 0*j + 32 = 5*r - 4*j, 2*j + 2 = -r. Let n be q(r). Suppose -n*p = 184 - 556. Is p a multiple of 18?
False
Let k(l) = -222*l + 753 + 110*l + 113*l. Let y be k(0). Suppose t + y = 5*o, 0 = -4*o + 4*t - 167 + 763. Is o a multiple of 19?
False
Suppose 115 = 5*b + 105, -3*p - 245 = -4*b. Let c = -72 - p. Is c a multiple of 6?
False
Does 16 divide 3132*(-2 + (-10 - -16))?
True
Let i be (-13 - 207)*(-7 - 1/(-1)). Suppose -16*f - i = -20*f. Is 6 a factor of f?
True
Is ((-258)/8)/(3 + (-414)/136) + 1 a multiple of 13?
False
Let b = -18 + -21. Let l = 204 - 100. Is 8 a factor of 123/(-2)*l/b?
False
Suppose -11*w + 21793 = -32294. Is 92 a factor of w?
False
Suppose 49*f - 43564 = 2067 + 33847. Is f a multiple of 16?
False
Let g = 50 - 45. Suppose 2*a + 3*q = -2, -3*q + 29 = g*a - 4*q. Suppose a*j + 2*h - 118 = 0, -h + 18 = -3*j + 91. Is 12 a factor of j?
True
Is ((-15960)/(-63))/((-4)/(-24)) a multiple of 16?
True
Let w(b) = -5*b**3 + 17*b**2 + 9*b + 15. Let m(o) = -14 + 7*o**3 - 9*o - 18*o**2 - o**3 + 8*o**2 - 8*o**2. Let q(y) = 6*m(y) + 7*w(y). Is 30 a factor of q(-9)?
False
Let r = 17 + -21. Let l be -2 + 6 + r/(-4). Suppose 60 - 15 = l*i. Is i a multiple of 2?
False
Let n = -58 + 54. Let s be (11 - (-9 + 4))*2/n. Let x = 34 - s. Does 21 divide x?
True
Let u(z) = 239*z - 54. Let o = 799 + -798. Is 27 a factor of u(o)?
False
Let n be (-13071)/(-9) + 8/12. Let p = n + 19. Does 64 divide p?
True
Let u(i) = -2*i + 168. Let o be u(13). Is 20 a factor of 1354/1 + 0 + (148 - o)?
True
Let w(m) = 30*m**2 + 11*m + 23. Let r be w(-5). Suppose -4*t - 3*i + r = 0, 43 - 403 = -2*t - 2*i. Does 66 divide t?
False
Suppose 4*p + 5*o + 11 = 0, -p + 5*o - 8 = 26. Does 11 divide -2 - (1846/(-8) - p/(-36))?
False
Let o = 85 - 70. Let r(f) = -f**3 + 3*f. Let k be r(5). Is 13 a factor of o*(k/(-24) - 7/28)?
True
Let b(t) = 0 + 1 + 82*t**3 + 0*t + 2*t + t**2 + 0. Let a be b(-1). Let m = a + 220. Is 23 a factor of m?
True
Let i = 71699 - 46733. Does 7 divide i?
False
Is 56232/(-11)*187/(-22) a multiple of 12?
True
Suppose -747 - 749 = -3*r - 2*d, -5*r - d = -2484. Does 3 divide r?
False
Let l(w) = -w**3 + 31*w**2 - 25*w - 21. Is 50 a factor of l(17)?
True
Suppose -2*w = 4*h + 646, -4*h + 0*h - 5*w - 643 = 0. Let x = h - -244. Is 41 a factor of x?
True
Suppose 13*w = 9*w - 484. Let q = w + 154. Does 7 divide q?
False
Suppose -3*c + 8 = -p, 6*c = 7*c - 3*p + 8. Suppose -2*w + 884 = -5*j + j, -2*j - c = 0. Does 62 divide w?
False
Suppose 0 = -5*g + y + 16, 0 = g - 5*y - 2 - 6. Suppose 0 = 2*t - 5*b + g*b - 768, 0 = 4*b. Is t a multiple of 16?
True
Let i = 18 - 38. Is 7 a factor of i/(3 - (-201)/(-66))?
False
Let a be ((-8)/(-4) + 6)*(-3)/(-2). Suppose -2*l - 20 = -a, w = 2*l + 111. Is 32 a factor of w?
False
Does 22 divide (34440 - (9 - 10))*1?
False
Let r = 425 - 139. Let p = -97 + r. Is p a multiple of 21?
True
Suppose 228 = f - 2*k, 432 + 254 = 3*f -