q?
True
Does 8 divide (-1 + 252)*(22 + -27 + 13)?
True
Let v be (2/(-6)*-3)/1. Is 10 a factor of 101 + 0/(-8) + (0 - v)?
True
Let k(w) = 2*w**2 + 6*w - 15. Let g be 4 - (-8 - -5 - -15). Let c be k(g). Let y = -15 + c. Is y a multiple of 3?
False
Suppose 14*z = 4*z + 170. Suppose -5 = 2*m - z. Suppose -3*w + w = 4*l - 38, -m = 2*l. Is w a multiple of 6?
False
Let b(c) be the third derivative of -149*c**6/12 - c**5/30 - c**4/12 + c**3/6 - 7*c**2 - 21. Is 18 a factor of b(-1)?
False
Let t = -3504 - -4224. Is 36 a factor of t?
True
Let n(o) = 252*o + 1352. Does 8 divide n(122)?
True
Suppose 8*f - 66*f + 268056 = 95*f. Is f a multiple of 6?
True
Let p = 277 - -602. Suppose -8*f = -p - 1833. Suppose -951 + f = -3*o. Does 13 divide o?
False
Suppose -21*z = -8*z - 5005. Let n = -333 + z. Is n a multiple of 2?
True
Let a(u) = 5*u**2 - 13*u - 112. Let m be a(-6). Is m*(-405)/108*(-4)/10 a multiple of 6?
False
Suppose -3*a = -0*w - 4*w - 437, -4*w = -a + 431. Let o = -106 - w. Is (o - (-73)/2) + 78/156 a multiple of 5?
False
Let n(y) = 567*y - 4387. Is n(11) a multiple of 12?
False
Suppose -238 = 6*q - 2806. Suppose 18*p - q = 1210. Is 13 a factor of p?
True
Suppose -6*o - 1215 = 9*o. Let b = 89 + o. Does 35 divide (-3372)/(-16) + (-6)/b?
True
Suppose 13*o = 10*o + 36. Suppose 2112 = -o*g + 23*g. Is g a multiple of 48?
True
Let m(l) = l**2 + l + 1. Let z(q) = 9*q**2 + 9*q. Let d(j) = -4*m(j) + z(j). Let w be d(-5). Let i = w + -66. Is 6 a factor of i?
True
Suppose 120 = 4*s - 0*k + 4*k, 2*k + 24 = s. Suppose 5*r - s = 7. Suppose 34 = -r*y + 307. Is 5 a factor of y?
False
Let o be 11/3 + 4/3. Suppose 17*q = 3*a + 15*q - 619, 1038 = o*a + 3*q. Is 47 a factor of a?
False
Let b be (325/(-26))/(2/(-20)). Let p(q) = 64 + 98*q**2 + 60 - b. Is 37 a factor of p(1)?
False
Let d = -3124 + 5652. Does 16 divide d?
True
Let x be (-1)/(-5) + 2152/40. Suppose -624 = -3*m - x. Suppose 30*g - m = 25*g. Is 6 a factor of g?
False
Let o = 144 + -170. Is 32 a factor of 22/(((-6)/6)/o)?
False
Let p(h) = -6*h**3 - h**2 - 2. Suppose -2*b - b = -57. Suppose 24*k = b*k - 10. Does 6 divide p(k)?
True
Let p(i) = -5*i - 17. Let n(r) = -6*r + 18. Let j be n(5). Let c be p(j). Suppose -4*l = c - 119. Is 4 a factor of l?
False
Let y(f) = 2*f**2 - f + 3. Let u be y(-3). Let v be u/14*(358/4 + -2). Suppose v = 4*b + 2*l, 0 = -4*b - b - 2*l + 190. Does 5 divide b?
True
Suppose -2 = -2*j - 3*l, j + 12*l - 10 = 15*l. Suppose -409 + j = -9*i. Is i a multiple of 5?
True
Let h(k) = -58*k + 1322. Is 146 a factor of h(-20)?
True
Suppose 4*p - 3*v = 31 - 84, -10 = 2*v. Let b(j) = 2*j + 39. Let t be b(p). Suppose 0 = -2*z + t*z - 153. Is z a multiple of 13?
False
Suppose -8*l + 3*b + 426 = -7*l, -4*b - 2163 = -5*l. Does 29 divide l?
True
Suppose -460*r + 458*r + 35294 = 0. Is 7 a factor of r?
True
Let g(j) = -j**3 - 95*j**2 - 229*j - 1192. Is g(-93) a multiple of 98?
False
Let d = 1051 + 2025. Is 150 a factor of d?
False
Let i(b) = -b**3 - 70*b**2 - 489*b - 97. Is i(-65) a multiple of 10?
False
Let y(h) = -h**2 + 3*h + 4. Let m be y(4). Suppose -d - 483 = 5*s - 6*s, m = -2*s - 5*d + 980. Is 37 a factor of s?
False
Let d(y) = -y**2 + 5*y - 4. Let x be d(4). Let v = 4 - x. Suppose -v*k + 155 = -0*p + p, 0 = -4*k + 5*p + 161. Is 5 a factor of k?
False
Let z(h) = -h**2 + 11*h - 4. Let m(k) = -k**2 - 9*k - 8. Let t be m(-6). Suppose 8*v + t = 9*v. Is z(v) a multiple of 4?
False
Suppose 15*q - 843 - 4722 = 0. Suppose -138 = -2*d + 19*v - 16*v, -q = -5*d + v. Does 3 divide d?
True
Let o(r) = r**2 + 20. Let p be o(7). Let n be p/46 + (-143)/2. Let u = -40 - n. Does 10 divide u?
True
Suppose -l - u = -1426, 0 = 2*l - 3*u - 1779 - 1103. Is 88 a factor of l?
False
Let a(p) = 40*p + 42 + 40*p - 81*p. Let y be a(16). Suppose -11*l + 9*l = -y. Does 2 divide l?
False
Suppose -3*l = 6*k - 110064, 4*k - 73376 = -2*l + 5*l. Is k a multiple of 129?
False
Let y(v) = 5*v**3 - 10*v**2 + 19*v - 100. Is y(7) a multiple of 37?
True
Suppose 23*t - 9*t - 53794 = 1492. Does 11 divide t?
True
Is 14 + 98256/72 + 2/(-3) - 0 a multiple of 26?
True
Suppose 5*b = 3*w - 88288, 0 = 4*w - 5*b - 1885 - 115844. Is 59 a factor of w?
True
Let g = -887 + -743. Let j = -548 - g. Is 16 a factor of j?
False
Let t(n) = 2*n**3 - 176*n**2 + 127*n + 1914. Does 25 divide t(90)?
False
Let x(q) = 3679*q**2 + 4*q - 5. Is 29 a factor of x(-2)?
True
Suppose 0 = 2*p - 3*d + 814, -2*p - 901 = -4*d - 85. Let c = 485 + p. Is 7 a factor of c?
False
Let u(d) = -361*d + 5526. Does 115 divide u(9)?
False
Let x be 2617/6 - (50/(-60))/(-5). Suppose 429*v = x*v - 3164. Is v a multiple of 37?
False
Suppose 0 = -10*p + 75*p - 395590. Is 179 a factor of p?
True
Let v(z) = 2*z**3 - 4*z**2 - 4*z. Let r be v(-5). Let i = r - -359. Does 11 divide i?
False
Let j(t) = 14*t + 555. Let x be j(0). Let w = x + -361. Does 15 divide w?
False
Let t(u) = -64*u**3 + u**2 + 2*u + 2. Let y be t(-1). Suppose -5*v - 20 = 0, 2*v - 29 - y = -2*f. Suppose 4*o = f + 165. Does 27 divide o?
True
Suppose 3*o + 4*s - 7488 = 0, -886*s - 12 = -888*s. Is o a multiple of 8?
True
Suppose -83*h + 124 = -79*h. Let q = h + 41. Is q a multiple of 6?
True
Is 12 a factor of (3371823/28)/13 + (-3 - (-60)/16)?
True
Let f(s) = 39 - 3*s**2 + 4*s**2 + 0*s**3 + s**3 - 36. Let u be f(0). Suppose -3*k + u = -4*k, -3*c = 3*k - 225. Does 11 divide c?
False
Let n = -24795 - -34273. Is n a multiple of 48?
False
Let s = -34 + 38. Suppose m = 2*d - 127, 0*m - 5*m - 263 = -s*d. Suppose d*t - 61*t = 93. Does 52 divide t?
False
Suppose 0 = 62*j - 67*j + 23000. Is j a multiple of 25?
True
Let k = -397 + 407. Is 663 + -3 + -4 + k a multiple of 37?
True
Let d(h) = 11 + 75 + 36 + h. Is 3 a factor of d(5)?
False
Let s(d) = 15*d + 7. Let m be s(-13). Let r = -94 - m. Suppose r = 2*l - 106. Is l a multiple of 25?
True
Let d(n) = n**2 + n - 4. Let p be d(-2). Let s be (p + 0)/((-5)/10). Suppose 0*h - 356 = -s*h. Is h a multiple of 15?
False
Suppose 5*i = -2*t - 137 + 34, -4*i - 4*t = 80. Does 14 divide (-9)/i - 8220/(-28)?
True
Let t(p) = 6*p - 88. Let v be t(24). Suppose 58*o - 716 = v*o. Is o a multiple of 55?
False
Suppose -258*s - 172*s + 3948930 = -169*s. Is s a multiple of 17?
True
Suppose -34*l = -13*l - 66717. Let m = l + -2090. Is 38 a factor of m?
False
Let j(o) = -o**2 - 14*o - 27. Let f be j(-12). Let u be (6/f - -2) + 4. Let i(w) = -w**3 + 7*w**2 - w + 2. Is 23 a factor of i(u)?
True
Suppose -3*r + 11 = -13. Let j be 448/9 - r/(-36). Let v = j - 40. Is v a multiple of 3?
False
Suppose -2*p = -10, l - 40949 = 10*p - 9*p. Is l a multiple of 96?
False
Suppose 0 = -5*s + 4*o + 40047, -88*s - 5*o - 40050 = -93*s. Is 17 a factor of s?
True
Let w(j) = -j**2 + j + 15. Let p be w(4). Suppose 0 = -2*u - 2*x + x + 577, 868 = p*u + x. Is u a multiple of 19?
False
Suppose 0 = -4*h - 225 + 1365. Suppose 3*n + 5*x = 2*x + h, 2*x = 5*n - 454. Does 9 divide n?
False
Suppose -14*d + 19*d = 1250. Is 200/d + (-286)/(-5) a multiple of 51?
False
Let k = -25033 - -46901. Is k a multiple of 154?
True
Let v(y) = 760*y**3 + 4*y**2 - 3*y - 5. Let o be v(-3). Is 12 a factor of o/(-192)*18/4?
True
Suppose -2*k + 4*y - 28 = 0, -4*k + 7*y - 68 = 3*y. Does 20 divide 2/10 + 13*(-2132)/k?
False
Suppose 44151 = 5*y + 2*j, 486*y - 482*y + 2*j - 35322 = 0. Does 109 divide y?
True
Let k = 1402 + 13096. Is 25 a factor of k?
False
Let k(m) = 182*m + 14. Let p(t) = 186*t + 15. Let f(j) = 5*k(j) - 6*p(j). Does 72 divide f(-3)?
False
Let i = -85 + 82. Does 11 divide (i - 0/(-4)) + 4 + 384?
True
Let p = 5 - 2. Let q be p + -33*4/(-4) + 2. Suppose 5*z - 24 = -r, -3*r + 2 = -z - q. Is r a multiple of 9?
False
Suppose x - 4*r - 2 = -3, r - 10 = -3*x. Suppose -5*d + x*d = -5*h - 231, 0 = -5*d - 4*h + 627. Let a = -55 + d. Is a a multiple of 17?
True
Suppose -17*q = -305 + 220. Suppose 0 = -j - j + 4*n + 790, j = -q*n + 409. Does 7 divide j?
True
Let g be ((405/12)/(-5))/(5/100). Let r = 401 + g. Is r a multiple of 5?
False
Let p be 13 + -15 + (5/1)/1. Let g(v) = -v**2 - 8*v + 3. Let l be g(-4). Suppose -l - 65 = -p*n. Does 6 divide n?
False
Let d = -4 + 7. Let a = 401 - 368. Does 11 divide 3/27*d*a?
True
Let g = 27 - 23. Suppose -2*j + 1 = -3*j - x, g*j - 5*x - 32 = 0. Suppose -f + 40 = -j*a, -20 - 5 = -2*f - 5*a. Is 18 a factor of f?
False
Is (-1)/(8 - 201