= 5*t + 12. Is 4 + -1 - (-55 + t) a multiple of 17?
False
Suppose 0 = -x - 0*w - 5*w - 24, -5*x = w. Let s be (14/(-8))/((-1)/4). Let j = s - x. Is 3 a factor of j?
True
Suppose 1420 = 3*d + 2*v, -2*d = 8*v - 5*v - 950. Does 8 divide d?
True
Let q = 172 + 309. Is 41 a factor of q?
False
Let a(n) = -n**3 + 12*n**2 - 20*n + 8. Let j(x) = x**3 - 11*x**2 + 19*x - 9. Let t(h) = 2*a(h) + 3*j(h). Is t(7) a multiple of 5?
True
Let o(j) = j**3 - 18*j**2 + 3*j - 54. Let s be o(18). Let i(t) = 17*t + 1. Let y be i(1). Let w = y + s. Does 9 divide w?
True
Is (207/12)/(16/640) a multiple of 69?
True
Let p(k) = -k**2 + 41*k + 20. Is 10 a factor of p(30)?
True
Let v = 6 + 1. Let l be -5 - (-14 - 42/(-6)). Suppose -5*u = 20, -4*u - 16 = -l*g - v*u. Is 14 a factor of g?
True
Suppose 3068 = 1013*v - 1009*v. Is v a multiple of 23?
False
Let g = -560 - -1340. Is g a multiple of 10?
True
Suppose 5*x - 4*v = 1618, -3*v = 22*x - 27*x + 1621. Does 15 divide x?
False
Let w(l) = -15*l + 9. Let x be w(7). Let i = 135 + x. Suppose 4*k - 16 = -4*g + 20, -4*g - 5*k = -i. Does 3 divide g?
True
Let a = -1685 + 2660. Does 32 divide a?
False
Suppose -2*q - 526 = -3*i, -3*q = -i + 2*q + 171. Does 11 divide i/12*(-30)/(-4)?
True
Suppose -540 = 43*p - 44*p. Is p a multiple of 15?
True
Let b(v) = v**3 + 5*v**2 + 6*v + 13. Let i be b(-6). Let t = i + 74. Is 5 a factor of t?
True
Suppose 0 = 59*x - 49*x - 700. Does 3 divide x?
False
Let n(h) = 0*h**2 - 37 - 4*h**2 + 34 - 2*h - h**3. Let y = -8 + 2. Is 27 a factor of n(y)?
True
Let n = -9 + 21. Let j = n - -3. Does 15 divide j?
True
Let r = 3695 + -1692. Does 36 divide r?
False
Let n be 869/6 + 6/36. Suppose -2*g - g + 25 = t, 3*t = 5*g + n. Suppose t = r + r. Is r a multiple of 4?
True
Suppose -181 - 74 = -3*a. Let l = a + 15. Does 21 divide l?
False
Let j be (-6846)/(-10) + (-33)/55. Suppose -j = -3*n - 3*n. Is 19 a factor of n?
True
Let d(h) = -2*h**2 - 24*h + 22. Does 12 divide d(-11)?
False
Let q(t) = -445*t - 12. Does 8 divide q(-4)?
True
Is ((-537)/(-4))/((-33)/(-88)) a multiple of 35?
False
Let a be 2/13 + 648/351. Let o(x) = 4*x**2 - 5*x + 5. Let r be o(a). Let v = r - -31. Is 14 a factor of v?
True
Suppose -2*f + 2*o - 3 = -93, -5*f + 3*o + 219 = 0. Is f a multiple of 8?
False
Is 10 a factor of 1072/6 - -1 - (-92)/(-138)?
False
Let i = -38 - -42. Let v(c) = c**3 - 3*c**2 - 2*c + 7. Is 5 a factor of v(i)?
True
Suppose 0 = -2*y - 3 + 7. Let a be (-1 + y)*(8 + -4). Suppose -11 = -g + 5*u, -2*g = -4*g - a*u + 8. Does 2 divide g?
True
Let s(u) = 6*u**2 + 18*u - 279. Is 13 a factor of s(13)?
False
Suppose 22408 - 3142 = 39*i. Is i a multiple of 12?
False
Suppose -3*q = -0*q - 18. Let z(k) be the second derivative of k**5/20 - 5*k**4/12 + k**3/6 - 13*k**2/2 - 104*k. Is 11 a factor of z(q)?
False
Let i = 128 + -9. Let w = -17 + i. Is 14 a factor of w?
False
Let n = 331 - 171. Suppose -3*i - n = -5*t + 2*i, -3*t + 92 = -5*i. Is t a multiple of 25?
False
Let v(m) = m**3 - 31*m**2 + 70*m + 25. Is v(29) a multiple of 19?
False
Let w(u) be the third derivative of 0*u + 0 - 3*u**2 + 1/24*u**4 - 1/3*u**3 + 1/60*u**5. Is w(-5) a multiple of 6?
True
Let d(j) = 3*j**3 - 171*j**2 + 75*j - 95. Is 41 a factor of d(57)?
False
Let c(t) = t + 13. Suppose 0*y + 16 = 2*y - 4*s, 5*s + 13 = -y. Suppose y*g + 8 = -4*q - g, 4*q = -2*g - 12. Is c(q) a multiple of 8?
True
Let p = -68 - -24. Let s = p - -64. Is s a multiple of 5?
True
Suppose 2*p - 18 = 2*l, 0 = l - 6*p + 2*p + 12. Does 23 divide 1476/48*l/(-3)?
False
Let w = 7 - 4. Let z(c) = -c**3 + 2*c**2 + 4*c - 3. Let i be z(w). Let k = i - -15. Is 5 a factor of k?
True
Suppose 0 = -16*k + 13*k + 252. Suppose -17*d - k = -19*d. Is d a multiple of 7?
True
Suppose -7*k + 331 = -859. Suppose -p - 40 = -k. Is p a multiple of 13?
True
Let o = -5 + 7. Suppose -3*t = -o*t. Suppose t = 3*s - 5*s + 70. Does 14 divide s?
False
Is (-83581)/(-265) - (-4)/(-10) a multiple of 45?
True
Suppose o = -2*q + 6*q + 606, -2*o - 2*q = -1212. Is o a multiple of 15?
False
Let t(u) = -4*u - 11. Let w be t(-5). Suppose 2*m - w = -m. Suppose -m*n - 7 = -76. Does 16 divide n?
False
Let y(p) = 2*p + 8. Let s = -17 - -17. Does 2 divide y(s)?
True
Suppose -i = -4*i + 999. Suppose 5*t = -2*p + p + i, 4*t + 2*p = 264. Is t a multiple of 7?
False
Let m = -463 - -727. Is m a multiple of 44?
True
Suppose -9*v = -4*v + 7560. Is (-2)/8 + v/(-32) a multiple of 14?
False
Let h be 400/(-30) - (-4)/3. Let g(x) = -4*x + 8. Is g(h) a multiple of 8?
True
Is (12/10)/((-18)/(-45)) even?
False
Suppose -10*q - 510 = -15*q. Suppose 0 = 5*y - 2*y - q. Is 3 a factor of y?
False
Let c = -158 - -433. Is c a multiple of 25?
True
Let x(m) be the first derivative of -m**2/2 - 4*m + 2. Let w be (-26)/7 + -3 + (-2)/7. Does 2 divide x(w)?
False
Is (-819)/18*(-19 - -15) a multiple of 3?
False
Suppose -71 + 511 = 44*p. Suppose -2*h = -0*h - 218. Suppose 5*n - h = m + 18, 0 = -5*m - p. Does 25 divide n?
True
Let m(i) = -2*i**2 + 6 + 4*i + 5 - i. Let s(d) = -d**2 + d + 5. Let k(z) = 2*m(z) - 5*s(z). Does 3 divide k(-3)?
True
Let i = 60 - -24. Is i a multiple of 8?
False
Let i = -24 - -20. Let b = i + -66. Let q = b + 109. Is q a multiple of 13?
True
Suppose -4*n = -4*a - 488, 9*a - 237 = -2*n + 4*a. Suppose 0 = -5*o + n + 49. Suppose -11*m - o = -13*m. Is 17 a factor of m?
True
Suppose 3*x - 3*i = 11850, 4*x - i = -x + 19758. Is x a multiple of 47?
False
Suppose 2*j + 8*p - 635 = 13*p, -1285 = -4*j - 5*p. Is 8 a factor of j?
True
Suppose 0 = -6*w + 7*w. Suppose w*l - 2*l = -210. Is l a multiple of 13?
False
Let a = -113 - -238. Is a a multiple of 5?
True
Let x(j) = 6*j + 54. Does 12 divide x(3)?
True
Let g(d) = -14 + 176 + 2*d + 2*d**2 - d**2. Is g(0) a multiple of 27?
True
Let x(t) = -t**2 - 9*t - 10. Let c be 9/(-2) - 51/34. Let s be x(c). Suppose -13 = -2*f - 5*l, -s = 2*f - 3*f - 2*l. Is 14 a factor of f?
True
Suppose 30*r = 34*r - 1972. Does 40 divide r?
False
Let q = 760 - -18. Is 19 a factor of q?
False
Let r(c) = 8*c**3 + 3*c**2 - 2*c. Let p be r(1). Suppose 0 = 11*d - p*d - 120. Does 15 divide d?
True
Let c(i) = -i - 5. Let n be (-4)/(-8) + (-45)/6. Let d be c(n). Suppose -18 = d*w - 4*s - 74, -5*w - 4*s + 140 = 0. Is 5 a factor of w?
False
Suppose 4*f - 637 = x, x = -4*f - 270 + 913. Does 16 divide f?
True
Let j = -532 + 1230. Does 4 divide j?
False
Let y = -17 - -11. Suppose -2*p = -5*r + 8, 0*r = p - 2*r + 2. Is 9/p - 99/y a multiple of 6?
True
Does 63 divide 706 - 26 - 18/2?
False
Let d = -217 + 162. Let b = 107 + d. Is b a multiple of 2?
True
Suppose 0 = -19*m + 402 + 16. Let q be (-4)/(-6) - 13/(-3). Suppose -q*g + 4*g + m = 0. Does 11 divide g?
True
Does 18 divide ((702/91)/(-3))/(2/(-336))?
True
Suppose -3*y + 1 = -647. Is 6 a factor of y?
True
Let q = -84 + 89. Suppose -q*z = 2*m - 3*m + 91, -m = 5*z - 91. Is m a multiple of 14?
False
Let h = -6 + 3. Let b = h + 43. Suppose 4 = 4*m - b. Does 11 divide m?
True
Let m be 1538/(-14) + 1/(-7). Let l = m + 180. Does 12 divide l?
False
Let j(s) = s**3 + 11*s**2 + 10*s - 28. Does 16 divide j(-7)?
False
Suppose 2261 = 37*q - 1624. Does 35 divide q?
True
Let n(r) = -r**3 - 14*r**2 - 6*r - 4. Let y be n(-14). Let c = y + 40. Is c a multiple of 15?
True
Suppose 5364*d - 5371*d + 42 = 0. Is 6 a factor of d?
True
Suppose 25*u = 30*u - 65. Suppose 2*x - u = x. Is 3 a factor of x?
False
Let u be 2*((3/(-3))/1 + 10). Does 6 divide 436/u - 26/117?
True
Let g(y) = y**3 + 9*y**2 - 10*y - 6. Let u be g(-9). Suppose u = -7*z + 588. Is 36 a factor of z?
True
Let v = 273 - -2925. Does 26 divide v?
True
Let u = 19 - 16. Suppose 0 = -u*a - 9, 0*a + 3 = 2*j - a. Suppose j = -i - 3 + 22. Does 19 divide i?
True
Suppose -4 = 4*p - 4*u, 4*p - 3*u = -4*u + 16. Suppose 2*m - n = -p*m + 15, 4*n - 12 = -4*m. Is 10 a factor of (-720)/(-54)*m/2?
True
Let z be -21 - (-6 - -3 - -1). Suppose 8*u = 4*u + 132. Let l = z + u. Does 4 divide l?
False
Is (1188/24)/((1 - -1)/4) a multiple of 9?
True
Let j(l) = 17*l - 38. Is 5 a factor of j(4)?
True
Suppose 3*f + 795 = 4*a, 0 = 2*a - 3*f - 315 - 78. Let t = -36 + a. Does 33 divide t?
True
Suppose 105 = 2*g + c, 48 = 2*g - 4*c - 32. Is (-20)/g + 1644/10 a multiple of 28?
False
Suppose 370*r + 2430 = 380*r. Does 9 divide r?
True
Let k(w) = -w - 7. Let g be k(-11). Let h(u) = -u**3 + 4*u**2 