27. Suppose -49 = l*h - 13*h. Is (116 - (-2 + h)) + 3 a multiple of 9?
False
Does 9 divide 34/3315*15 + (-8654)/(-26)?
True
Suppose 0*j = j + 91. Suppose -56*t + 239 = -4*y - 51*t, 2*t = y + 59. Let n = y - j. Is n a multiple of 10?
True
Suppose -i - 4*i + 2 = 2*g, 2*i = 2*g - 2. Suppose -53*d + 50*d + 174 = i. Suppose d*r = 59*r - 11. Is r a multiple of 9?
False
Let f = -8509 - -12429. Is f a multiple of 56?
True
Let f = 38 + 34. Suppose -13*i + 8*i + 42 = -4*c, 2*i = 3*c + 21. Let u = i + f. Is 24 a factor of u?
False
Let u(v) = -5*v + 19. Let k be u(6). Let p be k + 0 + (-5 - 0). Is 18 a factor of -27*(16/(-120) + p/30)?
True
Let i = 114 + -46. Let s = i + -65. Suppose 3*g = s*b - 537, -b + 2*g = 7*g - 197. Is b a multiple of 26?
True
Let o(q) = 284*q - 3450. Is 6 a factor of o(15)?
True
Let l = 308 - 92. Suppose 6*o + 5*f - 98 = 4*o, 2*f + l = 5*o. Let v = 36 + o. Does 16 divide v?
True
Suppose -25*a + 19207 = -22*a - 5*b, -3*a + b + 19211 = 0. Is 74 a factor of a?
False
Let b be 6 + -12 - (3 - 5). Is (b/(-48)*18)/(2/100) a multiple of 13?
False
Let q(z) = z**3 + 2*z**2 + 2*z - 11. Let n be q(0). Is (-1)/n + (-130790)/(-121) a multiple of 23?
True
Suppose d + 40 = 9*d. Let g(r) = 2*r**3 - 9*r**2 - 6*r + 8. Let t be g(d). Suppose 0 = -4*u + 3*n + 37, -u + t*n = -5*u + 43. Is u a multiple of 3?
False
Let l = 11 - 91. Let a = -146 - l. Let i = a + 122. Is 7 a factor of i?
True
Let q be 4 + 7276*(-6)/(-12). Is 19 a factor of 3/8 + (0 - q/(-16))?
True
Suppose 32*c + 1464 = 20*c. Let l = 112 + c. Let r(d) = -15*d + 41. Is 52 a factor of r(l)?
False
Suppose 20*j + 532 = 24*j. Suppose 4*h + j = 145. Suppose 2*p + h*v - 544 - 13 = 0, 2*p = 4*v + 536. Does 21 divide p?
False
Suppose 0 = 42*s - 42118 - 7778. Is s a multiple of 44?
True
Let k(q) be the second derivative of q**5/10 - 11*q**4/12 - 13*q**3/6 + 8*q**2 - 54*q - 1. Is k(7) a multiple of 2?
True
Suppose -20*o = -15*o - 15. Suppose 5*w = -o*d + 466, -7*w - 5 = -2*w. Suppose 0*g + c + 30 = g, -2*c = 5*g - d. Is g a multiple of 8?
False
Let n(g) = 5*g**3 - 8*g**2 - 15*g + 18. Does 21 divide n(5)?
False
Suppose -7*c + 2*c - 180 = 0. Let w(m) = 7*m**2 - 447*m + 3073. Let b be w(7). Is 37 a factor of (b/(-21))/(3/c)?
False
Let d(r) = 3*r**2 - 3*r - 52. Let f be d(6). Suppose 3*x - 2*q - 20 - 30 = 0, q = -3*x + f. Is 4 a factor of x?
False
Let k(w) = 10*w**3 - 20*w**2 + 169*w + 18. Is k(17) a multiple of 25?
False
Suppose -9*c - 12 = -12*c. Suppose c*q - 7 = 5*q. Let h(r) = r**3 + 8*r**2 - 4*r - 11. Is h(q) a multiple of 39?
False
Let w(s) = s**3 - 45*s**2 - 163*s + 60. Is w(49) a multiple of 78?
False
Suppose -25*b - 48*b + 1906142 = 325400. Does 18 divide b?
True
Let q = -3231 + 3163. Suppose -m = -3*m + 156. Let r = m + q. Is r a multiple of 5?
True
Let q(y) be the second derivative of -y**6/360 + 2*y**5/15 + 7*y**4/24 + 2*y**3/3 + y. Let t(d) be the second derivative of q(d). Is 27 a factor of t(13)?
False
Is (74835/25)/((-261)/(-435)) a multiple of 3?
True
Let q(f) = f**3 + 3*f**2 - 2*f - 11. Let l be q(-3). Does 2 divide 16*(28/4 + l)*2?
True
Let v(a) = -a**2 + 33*a - 9. Let g be (30/8)/(11/((-1232)/(-21))). Is 25 a factor of v(g)?
False
Suppose 0 = 3*z + 4*p - 85, 5*p - 6*p - 5 = 0. Let b be ((-38)/8)/(2/8). Let r = b + z. Does 10 divide r?
False
Does 37 divide 4/((-28)/511)*(-5 - -1 - 133)?
False
Let o = -136 + 57. Let t = -1 - -416. Let v = t + o. Is v a multiple of 26?
False
Let n(f) = 2*f**2 + 42*f + 62. Let d be n(19). Suppose 3*s - r - d - 1171 = 0, -5*r = 10. Does 37 divide s?
False
Let p(y) = 6*y - 78. Let i be p(13). Suppose i = 2*h - 85 - 53. Is 12 a factor of h?
False
Suppose -12*r + 180 = -2*r. Let v be r*(1 - 2)*20/(-12). Is 16 a factor of (v/(-25))/((-6)/1060)?
False
Suppose 85*q - 7*q + 19*q = 50828. Is 4 a factor of q?
True
Suppose -6*i + 13 = 1. Suppose -3*y + 2 + 3 = 5*s, 5*s = i*y + 30. Is 9 a factor of s/14 - (-313)/7?
True
Let w(x) = -2*x**3 - 124*x**2 + 113*x - 36. Does 3 divide w(-63)?
True
Suppose 0 = -24*d + 30 + 18. Suppose -3*a = -b - d*a + 4, -5*b + 4*a = -24. Does 3 divide b?
False
Let c(k) = -k**2 - 11*k - 4. Let v = -4 + 7. Suppose -1 + 22 = -v*p. Does 5 divide c(p)?
False
Let p be (-18)/(-4) + 5/(-60)*-6. Suppose 89 = p*m - 5*f + f, 3*m + 4*f = 79. Is 3 a factor of m?
True
Let c = 10407 + -6487. Does 80 divide c?
True
Suppose 3*d = -4*m + 24973, -3047 = -m + 3*d + 3170. Is 5 a factor of m?
False
Suppose -o - 4*t = 571, -3*o + 5*t - 934 = 762. Let g = o - -970. Is g a multiple of 13?
True
Let a be (-45 + 46)/(2/(-10)). Is (-4 - -3 - 0)*3340/a a multiple of 32?
False
Suppose -12*w - g + 35868 = -8*w, 0 = 4*w - 2*g - 35868. Is 46 a factor of w?
False
Let q be (-32)/(-48)*51/2. Suppose -m = 3*t - 126 + q, 90 = 2*t + 5*m. Does 4 divide t/2 + (4 - 11/2)?
True
Suppose -5*m = n - 468, -4*m = -5*n - m + 2424. Suppose 3*c - n = -2*x, -3*x + 6 = -x. Is c a multiple of 7?
False
Let u = -7929 - -7928. Let b be ((-12)/(-15))/(2/5). Is 18 a factor of 12/(u + b + (-10)/12)?
True
Let w = -34366 + 39723. Is w a multiple of 11?
True
Let i be 138/4*12/18. Let q = 385 + i. Suppose 16*d - q = 12*d. Is d a multiple of 34?
True
Let b(o) = 3*o**3 - 20*o**2 - 13*o - 12. Let x(c) = -8*c**3 + 3*c**2 + 5*c + 3. Let j be x(-1). Is b(j) a multiple of 37?
False
Suppose 0 = -r - 2*r + 6. Suppose -405 + 81 = -r*m. Is m a multiple of 18?
True
Suppose -5*j + 20 = 5. Suppose j*l - 280 = l. Suppose 0 = -0*i + i - l. Is 35 a factor of i?
True
Suppose -2*p + 3 = -2*r - 5, 2*p = -2*r - 8. Let i = r + 34. Does 28 divide i?
False
Let d(l) = -204*l + 63. Let m be d(-3). Let j = 898 - m. Is 30 a factor of j?
False
Let s = -101 - -3294. Is s a multiple of 10?
False
Let a = 263 + -252. Suppose 362 = y - a*q + 6*q, -4*y + 1423 = 5*q. Is 51 a factor of y?
True
Suppose -30*t + 304 = -14*t. Suppose -636 = -t*n + 15*n. Is 19 a factor of n?
False
Let i(s) = 23*s + 49. Let v be i(-2). Suppose -7*l = -v*k - 2*l + 492, 0 = -3*k + l + 492. Is 11 a factor of k?
False
Let d(h) = -h + 3*h**3 - 20*h**2 - h + 1 + 0*h. Suppose 23*r + 14 = 25*r. Is d(r) a multiple of 12?
True
Suppose 0 = -j + f, -j + 4*f = f + 6. Suppose 0 = y - r - 1, y = -3*y - j*r + 18. Suppose 0 = y*d + h - 24, -d = -4*h + 9 - 30. Does 5 divide d?
False
Let d(f) = -f**3 + 6*f**2 - 8*f + 5. Let w be d(4). Let h(o) = -148*o**2 + w*o + 23 + 25 + 149*o**2. Does 49 divide h(-10)?
True
Suppose 15 + 8 = s + 5*n, 0 = s + 2*n - 8. Let y(i) = 2 - 2 - 3*i + 2. Does 8 divide y(s)?
True
Let s(q) = 4*q**2 - 35*q - 75. Let d(b) = -b**2 - 2*b. Let j(i) = 3*d(i) + s(i). Does 10 divide j(46)?
False
Let s = -49 - -53. Suppose -s*a - 209 - 1187 = -2*f, 3*f - 2*a = 2078. Suppose 507 + f = 7*v. Does 19 divide v?
True
Suppose -58 = -7*q + 75. Suppose -29*x + q*x = -3730. Is x a multiple of 21?
False
Let h(f) = 2*f**2 + f - 10. Let c be h(-3). Suppose 59 = c*n - 76. Suppose 6*a + n = 123. Is a a multiple of 16?
True
Let z(s) = 5*s + 37. Let x be z(11). Suppose 3*c - 34 - x = 0. Does 25 divide c?
False
Let b(s) = s**3 - 10*s**2 - 17*s + 58. Let p be b(11). Let g(n) = 9*n - 14. Let f(x) = x - 1. Let h(w) = 6*f(w) - g(w). Does 5 divide h(p)?
False
Does 5 divide ((-489)/2)/(12/(-16))?
False
Suppose 8*k - 27*k + 27026 = -68544. Is 20 a factor of k?
False
Suppose 144774 + 28242 = 27*z. Does 9 divide z?
True
Let s = 655 + -606. Does 60 divide 16786/s - ((-9)/21 + 1)?
False
Suppose 3*z = y - z - 10, -3*y + 5*z + 37 = 0. Let u(k) = 20 + 15 + 24 + 2*k - 42. Is 5 a factor of u(y)?
True
Let w(f) = -7*f - 9. Let m = -41 - -39. Let u be w(m). Suppose -2*h - 2*n = h - 307, u*h - 529 = n. Is h a multiple of 21?
True
Let j = 3252 + -2472. Is j a multiple of 156?
True
Let f(h) = 2*h + 104 - 2*h - 105 + 43*h**2. Let m be f(1). Let n = m - 28. Is 13 a factor of n?
False
Let h(i) = -i**2 - 12*i + 71. Let q be h(-17). Let v(o) = o**2 - 4*o + 12. Is 20 a factor of v(q)?
False
Let x(y) = -y**2 + 3*y - 2. Let f be x(-3). Let g be (-123)/(-11) + f/110. Suppose -189 = -g*w + 8*w. Is 15 a factor of w?
False
Let z = 65224 - 9127. Is 23 a factor of z?
True
Let i = 8728 - 5954. Does 54 divide i?
False
Let k(z) = z**2 - 71*z - 1818. Does 218 divide k(123)?
True
Let c = -1642 + 1645. Let k = -3 - -13. Suppose 0 = -c*s + k + 35. Does 15 divide s?
True
Is ((-3096)/301)/((-2)/42)*(-1729)/(-76) a multiple o