 76 divide w?
True
Suppose -15*p = -3345 - 1530. Is 8 a factor of p?
False
Suppose -2*j = -3*l - 27, -5*l - 14 = j - l. Suppose -s - 4*q = -0*s + 8, -4*q = -4. Does 18 divide j/9 - 472/s?
False
Suppose 3*q - 69 - 81 = 0. Is q a multiple of 7?
False
Suppose 894*m - 889*m - 2825 = 0. Does 27 divide m?
False
Let u = -63 + 62. Is 13 a factor of u/(4 + 852/(-212))?
False
Let n(t) = -217*t + 139. Is 7 a factor of n(-9)?
False
Suppose -3*j = -3 - 12. Suppose -b = h - 34, 2*b - 1 - 178 = -j*h. Is 16 a factor of h?
False
Suppose 396 - 1761 = -3*g. Does 21 divide g?
False
Let v(w) be the second derivative of -w**5/20 - 11*w**4/12 + w**3/6 - 6*w**2 - 6*w. Let t be v(-11). Let b = 9 - t. Is b a multiple of 13?
False
Let m(y) = y**2 - 26*y - 96. Does 36 divide m(38)?
True
Let v(r) = -r**3 - 7*r**2 - r - 1. Let t be v(-7). Let x = 3 - t. Is 204/8*(-4)/x a multiple of 5?
False
Suppose 335 - 117 = 2*k. Let f = k - 32. Suppose 6*g - f = 91. Does 7 divide g?
True
Suppose 10 = -3*o - 284. Let h = o - -161. Does 12 divide h?
False
Suppose -10*t + 2*t = 0. Suppose 0 = -3*n + 4*n + 5*p - 193, 4*n - 5*p - 647 = t. Is n a multiple of 32?
False
Let j = -3058 - -7886. Is j a multiple of 34?
True
Let m = 1076 - 384. Does 10 divide m?
False
Let r = 326 - -1445. Is 32 a factor of r?
False
Let z be ((-75)/9)/(2/6). Let t = z + 30. Suppose 0 = -t*n - 5*l + 73 - 3, -n = 4*l - 8. Does 13 divide n?
False
Suppose -19*n - 3*n = -12320. Is 47 a factor of n?
False
Suppose j - 34*n = -39*n + 1233, 0 = 4*j + n - 4837. Is j a multiple of 151?
True
Let w(d) = -147*d**3 + 2*d**2 - d. Let h be w(1). Let j = -1 - 0. Is j/(h/48 - -3) a multiple of 8?
True
Suppose -4*y - 2*k + 872 = 0, -28*k = -4*y - 29*k + 876. Is 4 a factor of y?
True
Let k(x) = 2*x**2 + 63*x + 67. Is k(-31) a multiple of 18?
True
Let j be (-16)/(-10) - 8/(-20). Let g(f) = -f**3 + 2*f**2 + 3*f - 2. Let n be g(j). Suppose 4*u - 32 - 71 = -3*l, n*l - 131 = u. Is 11 a factor of l?
True
Let g be (-2)/(-2)*(-10 + 10). Suppose -2*f + 0*h - 2182 = 3*h, h + 4 = g. Is f/(-20) + (-2)/8 a multiple of 18?
True
Let d be (-2 - 22/(-8)) + (-53)/(-4). Is 9 a factor of 6/(d/63 + 8/(-90))?
True
Suppose 35 = h - 5*d, h + 0*h = 3*d + 25. Suppose 4 - h = -2*t. Is t a multiple of 3?
True
Suppose -3*q - q = 4*t - 352, -3*q - 4*t = -263. Suppose 2*x - 2*r - 46 = 0, -2*x + q = 2*x - 5*r. Is x a multiple of 13?
True
Let z = 1506 + -866. Does 10 divide z?
True
Let b = -568 + 1686. Is 33 a factor of b?
False
Suppose r + 1 - 4 = -l, -4*l - 3*r = -11. Let b be l - 148 - (1 + -3). Let t = -96 - b. Is 22 a factor of t?
False
Suppose 2*f + 0*f = 4. Suppose -x + 66 = -3*x - f*n, -3*n = 0. Is (-1446)/x - (-2)/11 a multiple of 13?
False
Suppose -162 = -5*a - a. Is 15 a factor of a/4*(-17 - -7)*-2?
True
Let h = 15 - 17. Let i be 8/(-6)*3/h. Is 5 a factor of i - (44/(-4) - 2)?
True
Let d(w) = w - 10. Let n be d(13). Let p = n + 1. Suppose p*i + 27 = q, 3*q = -0*i - 2*i + 39. Does 13 divide q?
False
Let r = -118 + 374. Let l = r - 141. Does 17 divide l?
False
Let r(u) = -8*u - 5. Let j be r(-7). Let o = 89 - j. Let y = 55 - o. Does 11 divide y?
False
Let j be (-6)/(-10) - 54/90. Suppose -5*a - 2*v + 127 = j, -3*v = -a - 2*v + 31. Does 13 divide a?
False
Suppose 6 = -2*k, 5*q = k - 0*k - 177. Let b = q + 64. Is 2 a factor of b?
True
Suppose -3*i = b, b = 3*b - 4*i - 30. Suppose 0 = u - z + b, 0 = 3*u - 2*z + 5*z + 9. Does 31 divide u/15 + 628/20?
True
Let p(d) = -4*d**3 + 71*d**2 - 36*d - 35. Does 11 divide p(17)?
True
Suppose 23*o - 2191 - 5054 = 0. Is o a multiple of 15?
True
Let n = 198 + -94. Does 13 divide n?
True
Let s = -326 - -494. Is 6 a factor of s?
True
Let l = 51 + -24. Let o = l - 38. Let p = o + 33. Is p a multiple of 14?
False
Does 54 divide (-17824)/(-30) + (-28)/210?
True
Let m be (-4)/12 + 30/9. Suppose -68 = -2*b + 3*z - 5, m*b + z - 122 = 0. Is b a multiple of 13?
True
Suppose -3*m - 20 - 25 = -5*u, 2*m = -u - 4. Is (-214)/(-4) - (-3)/u a multiple of 13?
False
Let h be -5 + (-5 - -3 - 0). Let v = h - -37. Suppose 3*k - k - v = 0. Is k a multiple of 5?
True
Suppose 5*w - 96 = w. Let p = 18 - w. Does 26 divide 3*(-11)/p*14?
False
Let d(m) = -5*m - 37. Let w(a) = 15*a + 112. Let v(i) = 7*d(i) + 2*w(i). Does 3 divide v(-11)?
False
Suppose -f - 2*f = -w + 118, -3*w = -5*f - 362. Does 2 divide w?
True
Suppose 19*l + 1496 - 8393 = 0. Does 18 divide l?
False
Suppose 5*c + 385 = -2*g + 4*g, -5*c = 3*g - 565. Is 38 a factor of g?
True
Suppose 0 = -m + 2*y + 13, -m - 2*m = -y - 14. Suppose m*n = 3*g + 378, g + g - 403 = -3*n. Does 13 divide n?
False
Let o = 5174 - 3634. Does 24 divide o?
False
Suppose 3*h + 48 = 4*z, -57 = -z - 4*z + 3*h. Is 6 a factor of z?
False
Let s(y) = 5 + 21*y + 3 + 1 - 7. Does 23 divide s(5)?
False
Let c = 526 - 426. Does 25 divide c?
True
Let q(n) = n**2 - 6*n - 2. Suppose -2*p - 10 = 0, 105 = -2*a + 7*a + p. Let i = -14 + a. Does 7 divide q(i)?
True
Let l = 4457 - 2620. Does 8 divide l?
False
Let o = 3832 - 2129. Is 13 a factor of o?
True
Suppose -5*t = -48 + 158. Let b(k) = -2*k**2 - 49*k + 6. Is b(t) a multiple of 29?
True
Suppose -8*z + 6 = -6*z. Let k be -56*(z/6 + 0). Let a = 43 + k. Is 9 a factor of a?
False
Suppose -3078 = -2*v - 2*n + 4*n, 4619 = 3*v - n. Is v a multiple of 22?
True
Let t(z) = z**3 + 10*z**2 + 11*z + 1. Let h be t(-9). Suppose -3*c + 69 = -0*c. Let u = c + h. Does 3 divide u?
True
Let y(g) = -g**3 + 11*g**2 - 8*g + 13. Let i = 10 - 13. Let f be 12 + (-1 - (i + 5)). Is 22 a factor of y(f)?
False
Suppose 4376 = 4*j - 4*o, 3*j - 3267 = -4*o + 2*o. Is j a multiple of 52?
False
Let z be (-10)/(-4)*(-24)/(-15). Let i be (3 + -5)/(z/6). Is 15 a factor of (36/(-8))/(i/60)?
True
Let c be 4/34 - 735/(-255). Suppose 2*r + 318 = 4*n - r, -c*r = 5*n - 411. Is n a multiple of 29?
False
Suppose 52 = 5*p + j - 18, -3*p + 2*j + 42 = 0. Let b = -10 + p. Suppose b*a - 106 = 390. Is 21 a factor of a?
False
Let s = -64 - -66. Does 15 divide -4*(s/8)/(4/(-200))?
False
Let l = 7117 + -4125. Is 22 a factor of l?
True
Suppose 0 = -g + i + 16, 3*g - 5*i - 52 = -12. Let q = 4 + g. Does 11 divide q?
False
Suppose 97*d - 89*d = 16072. Is d a multiple of 17?
False
Does 3 divide 1 + (-2)/(-6) + 14076/54?
False
Let z(d) be the second derivative of 0 + 1/6*d**3 + 7*d - d**2 + 4/3*d**4. Is z(-2) a multiple of 12?
True
Let a = -102 + 213. Let n = -67 + a. Does 9 divide n?
False
Does 42 divide 32/(-16) + 0 + -3 + 635?
True
Suppose 0 = -5*k - y + 9, -4*k + 0*y = -2*y - 10. Let d be 12/(-3 + (0 - -6)). Suppose 3*h - 149 = -4*g - k*h, d*g - 3*h = 109. Is 31 a factor of g?
True
Let m = -64 - -34. Let l = 21 + m. Is 18 a factor of 480/27 + (-2)/l?
True
Let y = 17 + -20. Let u be (-2)/(-3) + (-55)/y. Suppose -130 = 17*j - u*j. Does 13 divide j?
True
Suppose -8*b + 9*b = 19. Suppose f + b = 99. Is 16 a factor of f?
True
Suppose -29*b + 12418 = -6664. Is b a multiple of 14?
True
Suppose -11*d + 39613 + 119 = 0. Is d a multiple of 129?
True
Suppose 66*y - 134664 = 4*y. Is 17 a factor of y?
False
Let f(i) = -i**3 + 8*i**2 + 11*i + 5. Let k be (-2 - -5)*61/3. Suppose 4*a - k = -25. Is 11 a factor of f(a)?
False
Suppose -4*d - 17 = -37. Suppose x - 27 = -d*y, 3*y - 11 = x + x. Let t = 17 - x. Is 15 a factor of t?
True
Suppose 39 = z - k, -3*k + 222 = 5*z + k. Is z a multiple of 7?
True
Let m be (-2)/(-4)*(-2 - -2). Suppose h + 2*i - 72 = m, 159 = 2*h + 5*i + 10. Let p = -30 + h. Does 8 divide p?
True
Let n(y) = -y**2 - 4*y + 3. Let l be n(-4). Suppose 5*g - 13 = -3*f, -6*f + 4*f + 7 = 3*g. Suppose -g*m = l - 78. Is 11 a factor of m?
False
Suppose -16 = -3*c + 5*c + v, 0 = 3*c - 5*v + 24. Is 15 a factor of 1/c - (-722)/16?
True
Let w = 28 + -75. Suppose 0 = 4*p + 5*n + 336, -p - 4 = -5*n + 55. Let v = w - p. Does 9 divide v?
False
Let t = 19 - 2. Suppose -b + 1 = -t. Is 6 a factor of b?
True
Suppose 0 = -2*c - 8, -c - 289 = l - 4*l. Is 19 a factor of l?
True
Let f(v) = 4*v + 2. Suppose 0 = -2*t + 10, -4*g + 2*t + 11 = t. Suppose 7 = g*j - 1. Is 5 a factor of f(j)?
True
Let z(q) = q**3 - 11*q**2 + 13*q - 12. Let s be z(10). Suppose 11*u = 8*u - s. Is 15 a factor of u*5*5/(-2)?
True
Let w(n) = 2*n - 3. Let x be w(5). Let j(q) = q**2 - 4*q + 4. Does 21 divide j(x)?
False
Let a be (-2)/5*-5 + -2. Suppose 4*f + 5*q + 162 = a, -5*q = -4*f - 226 + 44