pose -4*m + d = -692, -101 = -4*m - 4*d + 591. Does 3 divide m?
False
Suppose -5*c - 27*w = -29*w - 4392, 1772 = 2*c + 3*w. Is c a multiple of 8?
True
Let o be ((-10)/6)/((-2)/6). Suppose 0 = -6*j + 3*j + 3, 4*l + 173 = o*j. Let f = l - -100. Does 28 divide f?
False
Let c(z) = z**3 - 2*z**2 - z + 6. Is c(5) a multiple of 19?
True
Let p(j) = 50 + 2*j**2 - 103 + 55 + 4*j. Is 25 a factor of p(-8)?
False
Let y(p) = -p**2 - 3*p - 8. Let u(f) = f. Let o(t) = 3*u(t) - y(t). Let s be o(-4). Suppose -7*q + 3*q + 24 = s. Is 6 a factor of q?
True
Suppose -4*f - 40 = 32. Is 5 a factor of (-25)/(-3)*f/(-10)?
True
Let n = 0 - -3. Let i(x) = 4*x + n + x**2 + 4 + 2 - 2. Does 3 divide i(-4)?
False
Let f = -1351 - -1983. Is f a multiple of 8?
True
Suppose 0 = -6*f + 18. Suppose 2*a - f*h - 132 = 0, -a - 4*a - h + 296 = 0. Is 12 a factor of a?
True
Let d be (-125)/(-7) - 8/(-56). Suppose -3*l = -b - 3*b + 26, 2*b - 4*l = d. Suppose 0 = b*p - 4*p - 22. Is 11 a factor of p?
True
Let m = -45 - -30. Let l(c) = c**3 + 15*c**2 - c - 3. Is l(m) a multiple of 10?
False
Suppose -1243 = -c - k + 529, c + 2*k = 1768. Does 8 divide c?
True
Let q be 319 - (-1)/(-1)*-4. Suppose -q + 53 = -3*n. Is 18 a factor of n?
True
Does 13 divide (449/(-3))/(10/(-30))?
False
Suppose -9*r + 19*r - 13210 = 0. Is r a multiple of 42?
False
Let w = 64 - -89. Suppose 0*d = -3*d + w. Is 18 a factor of d - 0 - (5 - 4)?
False
Let a(b) = b**2 + 17*b + 12. Suppose -64 = 6*f - 2*f. Let z be a(f). Let j = z - -22. Does 9 divide j?
True
Let d(k) = k**2 - 27*k - 29. Does 29 divide d(-12)?
False
Let f = -4895 - -7599. Is f a multiple of 32?
False
Suppose 3*b + 488 = -4*p, -3*p = -0*p - 2*b + 349. Let j = p + 166. Suppose -j = -5*m + 13. Is 12 a factor of m?
True
Suppose 2*z + 1037 = 1651. Is z a multiple of 5?
False
Suppose -95*f - 66144 = -119*f. Is 17 a factor of f?
False
Suppose 0 + 79 = 4*k - 5*r, 5*r + 16 = k. Does 4 divide k?
False
Let c = 0 + -11. Let b(o) = -8*o + 1. Does 14 divide b(c)?
False
Let a = -9 - -15. Let t be 2 + (a - 1 - 2). Suppose 4*d - 5*o = 91, -t*o = 5*d - o - 165. Is d a multiple of 20?
False
Let n(d) = 40*d - 570. Is 14 a factor of n(30)?
True
Suppose 0 = -2*w - 2*w - 108. Does 6 divide 2/(-8) + (-11)/4 - w?
True
Let a(i) = i**3 - 13*i**2 + 11*i + 23. Let x be a(12). Is 4 a factor of (x/4 + -3)*-164?
False
Let z = 330 - 38. Is 35 a factor of z?
False
Let b(p) = -p**3 - 4*p**2 + p + 4. Let q be b(2). Suppose -45 = o + 9. Let c = q - o. Is 18 a factor of c?
True
Suppose 5*u + 2*s - 264 = 0, -16 - 184 = -4*u + 4*s. Is 13 a factor of u?
True
Does 13 divide (3926/4)/(48/96)?
True
Is 37236/22 + -8*6/88 a multiple of 47?
True
Let g be 10/(-6) - 3*10/(-45). Is 7 + 5/g + 0 + 44 a multiple of 21?
False
Let c(s) = -2*s + 22 + s + 4*s**2 - 21. Is c(1) even?
True
Let w be (1 + 169)*24/10. Suppose 0 = -4*r + h - 62 + w, -h - 2 = 0. Does 29 divide r?
False
Is -7*(-61 + -24 - (-1 + 1)) a multiple of 12?
False
Suppose 0 = 3*n + 2*x - 207, -5*n = -n - x - 265. Let d = 133 + n. Suppose s = -5*m + 182, -m - 5*s = -6*m + d. Does 9 divide m?
False
Let c = 5 + 9. Suppose -2*u - 88 = 3*r, 3*u = -1 - c. Let n = 32 + r. Is 4 a factor of n?
False
Suppose 7*b = 3*b + 2572. Is 11 a factor of b?
False
Let k = 262 + -62. Is k a multiple of 8?
True
Suppose -5*g - 2*b - 3*b = 35, -3*b - 3 = 0. Is (g/(-12))/(2/148) a multiple of 12?
False
Let f be -2 + 10/2 + -18. Is 21 a factor of ((-18)/(-15))/(-6) - 858/f?
False
Let v(c) = c**2 + c + 8. Let y be v(-8). Suppose 23 = -r + y. Let x = r - 7. Does 15 divide x?
False
Suppose 522 = 3*b + 5*s - 2*s, 0 = -b - 5*s + 174. Is b a multiple of 5?
False
Suppose 0 = -4*o + 2*c - 2 - 4, 5*c = 5*o + 20. Is 12 a factor of (-1)/2 - o/(6/(-147))?
True
Suppose 2*h - 1858 = -2*v, -10*v - 5*h + 2785 = -7*v. Is v a multiple of 15?
True
Let l(o) = -32*o**3 - 5*o**2 + 2*o - 1. Does 29 divide l(-3)?
True
Suppose 5*g - 417 = -77. Is 1/(-3) - g/(-6) a multiple of 3?
False
Let k = -1015 + 2114. Does 22 divide k?
False
Let w(x) = x**3 - 9*x**2 + 26*x - 54. Does 36 divide w(17)?
True
Does 3 divide 6*(-5)/(-6) + 405/3?
False
Suppose -4*l = -7*l, -2*h + 4*l + 10 = 0. Let d = h - 9. Let y(k) = k**3 + 5*k**2 - k + 4. Is 8 a factor of y(d)?
True
Let t(a) = a**2 + 7*a - 2. Let u be t(-8). Let v be (-351)/(-6)*8/u. Let c = -27 + v. Is 17 a factor of c?
True
Let u(n) = n - 10. Let j be u(10). Suppose j = -5*p - 6 - 94. Is 10 a factor of (-3)/(3 + 64/p)?
False
Let f be (-1)/3 + (-49)/(-21). Suppose f*m + 38 = 2*o, -1 = -4*o + 11. Let v = m - -26. Is 10 a factor of v?
True
Suppose -4*v + 3*d = -9299, -2*d = 4*v + d - 9317. Does 13 divide v?
True
Let u(y) = -133*y - 699. Is u(-12) a multiple of 23?
True
Suppose -5*n - 408 = -11*n. Suppose 5*t - 6*t + r + n = 0, 2*r + 205 = 3*t. Is 4 a factor of t?
False
Suppose 32 = -16*c + 18*c. Suppose -p = -0*n - 3*n + 26, -3*n - p + c = 0. Is n a multiple of 2?
False
Suppose -160 = -2*k + 140. Is k a multiple of 50?
True
Suppose -3*x + 5*n + 1254 = -924, -5*x + 3630 = -5*n. Does 6 divide x?
True
Let b(h) = 4 + 10*h**2 + 0*h**3 - 3*h + 2*h**3 + 12*h - h**3. Let z be b(-9). Suppose -z*i - 1 = -25. Is i a multiple of 6?
True
Suppose h - 2*q - 32 = 0, -5*h - 29 = -q - 171. Let d = h - 20. Is d a multiple of 8?
True
Suppose 0 = 13*n - 19*n + 426. Does 6 divide n?
False
Suppose -15*r + 11*r = -336. Suppose 4*o = 4*f + r, -o + 2*f - 68 = -4*o. Is o a multiple of 22?
True
Let j(v) = -2*v**2 + 7*v - 9. Let c be j(4). Let q = 3 - c. Is q a multiple of 8?
True
Let v(q) be the third derivative of q**5/120 - q**4/8 - 13*q**3/6 + 4*q**2. Let c(l) be the first derivative of v(l). Does 4 divide c(7)?
True
Let n(x) = -x**3 - 9*x**2 - 10*x - 12. Let w be n(-8). Suppose 26 = -w*g + 86. Is g even?
False
Suppose -4*z - 170 = 4*i - 6*i, 325 = 4*i - 5*z. Suppose 3*m + i = -5*x - 58, 0 = -3*x - 15. Is 5 a factor of (m/10)/((-2)/10)?
False
Let y = -28 + 38. Let s be y/(-4)*108/30. Does 19 divide (-30)/3*s/2?
False
Let g(h) = 4*h - 32. Let d be -17*(2 - 6)/4. Does 12 divide g(d)?
True
Suppose 4*u = 3*s - 0*u - 5, 0 = 5*u + 25. Let r(n) = 3*n + 3. Let a(d) = -3*d - 4. Let j(i) = 7*a(i) + 6*r(i). Does 4 divide j(s)?
False
Let y = 2047 - 1295. Is 16 a factor of y?
True
Let h be (-15)/1*(-1)/5. Suppose 13 = d + h*q - q, 5*d - 23 = 4*q. Let r(f) = -f**3 + 6*f**2 + 8*f + 8. Does 12 divide r(d)?
False
Suppose -3*c + 4*m + 29 = 0, -14 = 2*c + 3*m - 5. Let q(n) = 2*n + 53*n**c + 1 - 2*n**2 + 0*n - n. Is q(1) a multiple of 25?
False
Let u(q) = -q**2 - 3*q - 3. Let i(w) = -w - 1. Let k(f) = 3*i(f) - u(f). Let s = 14 - 16. Does 2 divide k(s)?
True
Let a(z) = 34*z - 2. Let x be a(1). Let s = 34 - x. Does 15 divide s/(-8) + (-549)/(-36)?
True
Let b(c) = -394*c + 172. Is 42 a factor of b(-6)?
False
Suppose -5*a = -k + 1925, 3*k + a - 7805 = -k. Is k a multiple of 10?
True
Suppose 565 = -22*k + 25*k + u, 2*k + 4*u = 360. Is k a multiple of 7?
False
Suppose -5*v + 4 = 4*w, -4*v - 5*w + 5 = -v. Suppose v*z = 2*z - 162. Is 21 a factor of z?
False
Suppose -2*f = 4*g - 3*g - 18, -4*g - 4*f = -92. Let d = 56 - g. Suppose -5*s + 4*s + d = 0. Is 14 a factor of s?
True
Suppose 3*r + 35 = 10*r. Suppose r*o = 3*z + o - 250, 3*z = -4*o + 290. Is z a multiple of 15?
True
Let k(y) = 9*y + 97. Is k(4) a multiple of 19?
True
Suppose i + 3*i = 5*b - 49, b + i - 17 = 0. Suppose -2*v + 5*m = 17, -3*v = -5*v - m + b. Let f(z) = 3*z**2 + 4*z - 1. Does 11 divide f(v)?
False
Let s(h) = 3*h**2 + 14*h + 16. Does 13 divide s(-7)?
True
Let t be 664*(-2)/(-4) - -3. Let u = -189 + t. Does 14 divide u?
False
Let v = -137 + 83. Is (52/6 + 0)/((-12)/v) a multiple of 13?
True
Suppose 7*h = 8*h - 61. Suppose 0 = -o + h - 9. Is o a multiple of 26?
True
Suppose v + 4*z - 97 = 0, -v - 4*z = 2*v - 331. Is v a multiple of 16?
False
Let v(n) = 159*n**2 - 4. Let p be v(-2). Suppose -2*l - y + 246 = -4, -5*l = -y - p. Is 7 a factor of l?
True
Let t be 60/9*(0 - (-36)/8). Let s = 71 - t. Does 33 divide s?
False
Let y(a) = -2*a**3 + 5*a**2 + 7*a + 2. Let z be 1 - (-3)/(-6)*-6. Let i(o) = -3*o**3 + 6*o**2 + 8*o + 2. Let f(b) = z*i(b) - 5*y(b). Is 22 a factor of f(-3)?
False
Suppose -18 = -5*h - 2*k, 4*h - 4*k = -k - 4. Let m be 4/16*2*h. Let l = m + 58. Is 18 a factor of l?
False
Let z = -329 + 1539. Suppose 3*m + 4*a - 355 = 371, 5*m = -4*a + 