Suppose 0 = -5*k - 15. Let z(p) = -4*p - 1. Does 4 divide z(k)?
False
Let b be 8/(1*(-2)/(-14)). Let f = b + -37. Does 12 divide f?
False
Suppose -47246 = -66*a - 18404. Is 8 a factor of a?
False
Let j = 153 - 104. Suppose -b = -5*g + 2, 6*b - g = 2*b + j. Suppose b*v + 348 = 17*v. Is v a multiple of 21?
False
Let t(k) = -k**3 + 12*k**2 + 77*k + 18. Does 16 divide t(14)?
True
Let k = 12 - 10. Let t be (3 + -5)*k/(-2). Is ((-20)/(-10))/(t/23) a multiple of 7?
False
Let y(m) = m**2 - 9*m + 6. Let z be y(9). Suppose 14 + 22 = z*w. Is w a multiple of 6?
True
Suppose 9152 = 54*y - 22*y. Is y a multiple of 26?
True
Suppose -216 = 4*x - 8*x. Is 18 a factor of x?
True
Suppose -4*y - 388 = -8*y. Suppose y + 19 = 2*a. Is 13 a factor of a?
False
Suppose 4*p + 2*d - 460 = 3*p, -5*d = 5*p - 2310. Is p a multiple of 26?
False
Let i be ((-54)/(-45))/(2/(-10)). Let m(n) = -n + 9. Is m(i) a multiple of 5?
True
Suppose -13*q + 4678 = -4110. Is 4 a factor of q?
True
Let f be (1 - -1) + (-1 - 0)*-1. Suppose 0 = -3*c + 3*k + 63, 4*c - f*k = 2*c + 45. Does 6 divide c?
True
Let y(r) = -r**3 - r**2 - 6*r - 24. Is y(-7) a multiple of 39?
True
Let r(b) = -7*b**3 - b**2 + b - 2. Let j be r(-2). Let i = j + 24. Does 19 divide i?
False
Suppose t = -r + 5, -2*t + 4*r - 10 = -t. Suppose 0 = 5*s - t*s + 75. Is (-128)/(-5) + (-10)/s a multiple of 13?
True
Suppose 13*w = 16*w - 462. Is w a multiple of 14?
True
Suppose -5*t = 2*m - 3*m - 522, 0 = 2*t + m - 213. Does 7 divide t?
True
Let g = -54 - -32. Let u = -1260 - -1236. Let f = g - u. Does 2 divide f?
True
Let r(z) = -z**3 - 3*z**2 - 2*z - 2. Let s be r(-3). Suppose m = -0*m + s. Suppose 143 = m*i + 5*c, 2*i - 3*c - 94 = 5. Is 17 a factor of i?
False
Let d(b) = -b - 10. Let x be d(-10). Let s = 18 + x. Let c = s + 6. Is c a multiple of 5?
False
Let l = 267 - 178. Is 6 a factor of l?
False
Let n = -757 - -856. Is 9 a factor of n?
True
Suppose 3*p - 2858 = -2*z, 0 = -3*p + 33*z - 29*z + 2852. Does 39 divide p?
False
Suppose -9*j = -17*j + 24. Is j*(-4)/(-21) - 1084/(-14) a multiple of 52?
False
Let d(a) = -a**2 - 13*a - 14. Let y be (-96)/15 - 1*(-6)/15. Does 13 divide d(y)?
False
Let l be (-40)/(-14) + (-54)/14 + 4. Does 49 divide 260 + l + -2 + -2?
False
Let h(q) = 24*q + 712. Does 7 divide h(-22)?
False
Is (294/(-8))/((-153)/2040) a multiple of 50?
False
Suppose 13*q - 70 = 6*q. Suppose 6*c - q*c = -52. Is 13 a factor of c?
True
Let f(y) = -2*y - 22. Let r(d) = -d**2 - d + 3. Let v be r(0). Suppose 2*h = v*h + 15. Is f(h) a multiple of 4?
True
Let x(k) = k**3 + 5*k**2 - 24*k. Is 5 a factor of x(7)?
True
Let y = -4 + 10. Suppose 2*o + 8 = y. Is o/(-7) - (-1757)/49 a multiple of 12?
True
Suppose 2*o + 0*o = 6. Suppose 19 - 255 = -o*w + b, -w + 80 = -b. Suppose 4*l - w = 6. Is l a multiple of 7?
True
Let y(k) = -4*k + 0 + 1 + 1. Let b be 2*((-20)/50 - 11/10). Is 10 a factor of y(b)?
False
Suppose -14*c - 852 = -20*c. Suppose 3*z - 311 = c. Is z a multiple of 33?
False
Suppose 5*s - 1549 = -5*h + 6576, 2*s = -5*h + 3259. Is 50 a factor of s?
False
Suppose 2*o = 4*g + 276, -5*g + 43 = -o + 196. Suppose 3*f + o = 4*f. Is 32 a factor of f?
True
Let t(d) be the first derivative of d**2 + 1 + 1/4*d**4 + 10*d + 7/3*d**3. Does 15 divide t(-6)?
False
Let w = 14 - -418. Is w a multiple of 15?
False
Suppose -294*q = -290*q - 2816. Does 9 divide q?
False
Let p = -9 + 10. Is 3 a factor of (-4)/(3*p/(-3))?
False
Let q(u) = u**3 - 5*u**2 + 6*u + 6. Let k be (0 + -11)*2/2. Let t = 16 + k. Is q(t) a multiple of 10?
False
Let g be (-2)/(-10) + 16/(-5). Is 7 a factor of 68/1 + 6*g/(-6)?
False
Let t(n) = -n**3 + 9 - 10*n + 6*n**2 - 16*n**2 + 2*n**2. Does 36 divide t(-9)?
True
Let l(m) = m**3 - 8*m**2 - 13. Let h be l(8). Is 4/3*(h - -40) a multiple of 9?
True
Let l(w) = 2*w - 3*w + w**2 + 28 + 11. Let j(v) = v**3 - 13*v**2 + 20*v + 22. Let d be j(11). Is l(d) a multiple of 13?
True
Let i(b) = 111*b + 192. Is 62 a factor of i(10)?
True
Let c = 37 - 17. Let d be 6/(-14) + 26461/329. Suppose -c + d = 4*b. Does 15 divide b?
True
Let h = -7 - -1. Is 46 a factor of (h - 86)*-1*2?
True
Let n(y) = -y**3 + 8*y**2 - 16*y + 5. Let q be n(4). Suppose -q*m = -16 - 44. Is 7 a factor of m?
False
Let j be 3/((-2)/(760/(-3))). Suppose 2*q - 2*a = -a + j, 4*q - a = 756. Is q a multiple of 10?
False
Suppose 459 = -0*y + 3*y. Suppose 2*v = -v + y. Does 16 divide v?
False
Let d(k) = 4*k**2 + 5*k - 11. Let y be (-9)/27 + (-16)/(-3). Is 19 a factor of d(y)?
True
Suppose -3*m - l = -1, m + 4*l = -l - 9. Let d = 35 + m. Is d a multiple of 18?
True
Suppose -4*m - m + 20 = 0. Suppose -3*k - 2*s = 8, -k - 5 = m*k + 5*s. Is k*8/(-12) - -57 a multiple of 16?
False
Let n(r) = r**2 - 15*r + 29. Let y be n(13). Suppose -y = -b + 36. Is b a multiple of 15?
False
Suppose 12870 - 33946 = -22*s. Does 33 divide s?
False
Suppose -2*a - 4*a + 342 = 0. Let f = 165 - a. Is 14 a factor of f?
False
Let t(c) = c + 23. Let v(g) = -12. Let w(x) = 4*t(x) + 7*v(x). Suppose z + 4 = -3*l, -z = -4*z + 3*l + 24. Is 7 a factor of w(z)?
True
Let o = 79 + -28. Let l = -9 - -21. Does 13 divide -1 + o + -10 + l?
True
Let i = -28 - -56. Is (-33)/(-22)*i/6 a multiple of 2?
False
Let i(q) = q**2 - 2*q - 3. Let c be i(-3). Suppose c = -17*x + 811. Is x a multiple of 27?
False
Let i(h) = -h**2 + 5*h + 8. Let q be i(6). Suppose -5*l + 24 = 3*z - l, q*z + l - 21 = 0. Does 6 divide z?
True
Suppose -15*t = -400 - 1760. Does 23 divide t?
False
Let h = 4 + 1. Suppose h = -5*n - 15. Let o(a) = -a**2 - 7*a - 4. Is 8 a factor of o(n)?
True
Let l(q) = -7*q**3 - 33*q**2 - 3*q + 11. Is l(-5) a multiple of 8?
False
Let s = 771 + -420. Does 28 divide s?
False
Let t = -38 + 26. Suppose l - 23 - 5 = 0. Let j = l - t. Is 10 a factor of j?
True
Let x = 172 - -350. Is x a multiple of 29?
True
Let l(j) = j - 15. Let p be l(16). Does 8 divide 1/(p/(-98)*-2)?
False
Suppose -2*k + 8976 = 2*o, -24*k = -25*k - 2. Does 11 divide o?
False
Let y(d) = 4*d**2 + d. Let w be 10/(-50) + 28/(-10). Let i be y(w). Let u = i + -29. Is u a multiple of 2?
True
Let o(c) = -2*c + 12. Let h be o(5). Suppose -h*w - 2*k + 20 = -w, -60 = -3*w + 2*k. Does 8 divide w?
False
Let p(g) = -7*g**3 + 2*g**2 - 4*g + 2. Let x be p(2). Let a = -32 - x. Let b = a - 4. Does 6 divide b?
True
Suppose 16*z = 21*z - 405. Is z a multiple of 32?
False
Is 1/4 - 1774/(-8) a multiple of 10?
False
Let z = -340 + -140. Let g = z + 675. Suppose 0 = 7*t - 2*t - g. Is t a multiple of 11?
False
Does 11 divide 709/3 - (-84)/126?
False
Suppose 0 = 3*r - 5*f - 92, -2*f = 3*r - 6*f - 91. Suppose r = 4*q - 27. Is 14 a factor of q?
True
Let l = 544 - 310. Does 13 divide l?
True
Let b = 9 - 11. Does 8 divide (126/(-45))/(b/10)?
False
Let d(y) = -y**2 - 5*y - 4. Let n be d(-8). Let a = 17 - -32. Let s = n + a. Is 7 a factor of s?
True
Suppose -14*j + 36181 = 901. Does 18 divide j?
True
Let o be (-165)/(-18) - (-3)/(-18). Let d(c) = -c**3 + 8*c**2 + 13*c - 3. Is d(o) a multiple of 6?
False
Let c(q) = q**2 - 18*q + 88. Is c(27) a multiple of 11?
False
Is 91 a factor of -4*(-5 + 4) + 451?
True
Suppose -3*m - 2*w = 20, 40 = -4*m - w + 10. Let q(t) = -t**2 - 13*t + 11. Does 25 divide q(m)?
False
Suppose 0 = -4*z + 80 + 160. Suppose 84 + z = k. Suppose -5*o + k = -116. Is o a multiple of 12?
False
Let l(o) = -27*o**3 - 2*o**2 + 8*o + 17. Is l(-3) a multiple of 11?
True
Let h(g) = -5*g**2 - 7*g + 22. Let k(s) = 3 + 6*s + 4*s**2 - 10 + 2*s - 14. Let y(x) = -5*h(x) - 6*k(x). Is y(12) a multiple of 3?
False
Let i = 137 + -140. Let d(q) = q**2 - 9*q + 2. Let f be d(8). Is 19 - -6*i/f a multiple of 14?
False
Suppose -826 - 164 = -3*x. Is x a multiple of 44?
False
Let j(z) = z**3 + 6*z**2 - 2*z + 4. Suppose -10*p = -22*p + 48. Is 26 a factor of j(p)?
True
Let r(s) = 4*s - 41. Let p be r(11). Suppose -p*u = -9*u + 2106. Does 13 divide u?
True
Let f = 2374 - 1330. Is 15 a factor of f?
False
Let g = 401 + 775. Is g a multiple of 9?
False
Let m(k) = 141*k + 13. Is 7 a factor of m(1)?
True
Suppose -u - 3 = 3*b + 4, 4*u - 40 = 5*b. Suppose 7 - 67 = -u*t. Is 4 a factor of t?
True
Suppose 0*n - 612 = 4*n. Let x be n/(-6) + (-4)/8. Suppose -8*w + x = -3*w. Does 5 divide w?
True
Let z = -38 + 78. Let b = z + 46. Suppose -2*i - 2*d + 110 = 0, 0 = 5*i - 2*d - 182 - b. Does 27 divide i?
True
Suppose 247*s =