e 6*d = 9*d + 12. Is 8 a factor of ((-2)/d + c/6)*12?
True
Let p = -383 - -660. Let u(x) = -x**2 - 3*x + 130. Let s be u(0). Let b = p - s. Is b a multiple of 21?
True
Let y(n) = n**3 + 18*n**2 - 22*n + 31. Let i = -134 + 58. Let p = -95 - i. Is y(p) a multiple of 14?
False
Let p(l) = 23*l**2 - 5*l + 5. Let t be p(3). Suppose 6*i - t = 121. Is 23 a factor of i?
False
Let y(z) = 32*z + 758. Does 19 divide y(55)?
False
Let w = -693 + 332. Let n = 452 + w. Is 7 a factor of n?
True
Let c(d) = 4*d + 12. Let u(r) = r**3 + 8*r**2 + 7*r - 6. Let s be u(-7). Let j be c(s). Let p = 21 + j. Does 3 divide p?
True
Let q be 4/(-22) + -1 + (-158)/(-22). Let b(d) = 2*d**3 + 2*d**2 - d + 12. Let h be b(q). Suppose m + 4*m - 5*w - h = 0, 3*w = 5*m - 514. Is 26 a factor of m?
True
Let d be ((-527)/(-34))/(1*2)*-4. Let b = d + 87. Does 14 divide b?
True
Let r(c) = -c**2 + 9*c - 11. Let h be r(7). Suppose -5*n = -9 - 1. Suppose h*y + w - 112 = 0, -5*y - 3*w = n*w - 180. Is 7 a factor of y?
False
Suppose -786233 = -86*t + 379153 + 786728. Is t a multiple of 96?
False
Is (-27560701)/(-1233) - 14/9 a multiple of 13?
False
Suppose 6*i = -5*u + 2*i + 4950, -3*u + 2992 = -2*i. Does 8 divide u?
False
Let q(v) = -2347*v + 312. Is 76 a factor of q(-7)?
False
Suppose -46768 = -50*s + 42*s. Is 82 a factor of s?
False
Let d be 17*-1 + 0/(-38). Suppose 5*n = -3*h + 175, 0 = -0*n - 3*n + 4*h + 105. Let j = n + d. Is 5 a factor of j?
False
Let f(d) = 60*d**2 + 136*d - 4. Does 76 divide f(-10)?
True
Let s(t) = t**3 + 43*t**2 - 215*t + 39. Does 109 divide s(-47)?
True
Let t = 105 + -27. Suppose -t*x = -81*x + 1407. Does 10 divide x?
False
Let p(m) = 2*m - 17. Let s = 26 - 14. Let y be p(s). Suppose 2*n = -3*x + 85, -y*n + 2*n = 2*x - 240. Is 11 a factor of n?
False
Suppose 0 = 2*p + c - 40962, -44*c + 6 = -41*c. Is 8 a factor of p?
True
Suppose -6*u + 39*u - 460650 = -50*u. Is u a multiple of 25?
True
Let s = -188 - -188. Is 124*(s + 6)/((-16)/(-4)) a multiple of 11?
False
Does 13 divide 4 + 23/(-6) - (2 + 34403/(-6))?
False
Let b(d) = 3*d + 4. Let a(k) = k**2 - 14*k - 20. Let y(u) = 2*a(u) + 11*b(u). Let t be y(4). Suppose 4*h - 68 = -4*m, m - t = -h - 3*h. Is 2 a factor of h?
False
Suppose 3*q + c - 435 = -4*c, q - c = 145. Suppose -q*v - 65 = -150*v. Is 2 a factor of v?
False
Let d = 51087 + -15424. Is d a multiple of 109?
False
Let z(r) be the third derivative of 37*r**4/8 - 69*r**3/2 + 3*r**2 + 4*r. Is z(5) a multiple of 18?
False
Let p = -19589 - -24130. Does 19 divide p?
True
Suppose -g - 6*g + 203 = 0. Suppose 5*k + 24 = f, 2*f = 5*k + g - 1. Suppose -i + 385 = -f*w + w, 0 = 2*i + 5*w - 737. Is i a multiple of 47?
True
Let o(h) = -18 - 3*h - 34 + 4. Let x be o(-16). Suppose d + x = 90. Does 15 divide d?
True
Is 35 a factor of (14 - 45)/(((-14)/1240)/7)?
False
Let l(g) = g**2 + 8*g + 9. Let f be l(-6). Let d(q) be the third derivative of -5*q**4/24 - 4*q**3/3 + 99*q**2. Is 5 a factor of d(f)?
False
Let u = -589 + 594. Let c(n) = 18*n**2 - 10*n + 47. Is c(u) a multiple of 65?
False
Let y(w) be the first derivative of -w**4/2 - w**3 - w**2/2 + w + 22. Let f be y(-2). Does 5 divide (-2)/7 + 149/f + -3?
False
Let a = -3311 - -5306. Is 14 a factor of a?
False
Let w(l) = -2*l**2 + 27*l + 54. Let o be w(18). Is 23 a factor of 46/3*(-1)/(3/o)?
True
Let z(u) = 11*u + 23. Let d(j) = -32*j - 68. Let p(i) = -3*d(i) - 8*z(i). Is 7 a factor of p(10)?
False
Let j(x) = -128*x**2 + 15*x - 3. Let s be j(4). Let g = 2898 + s. Is 15 a factor of g?
False
Suppose 160*h = 126*h + 93364. Does 89 divide h?
False
Suppose 0 = -2*p + 27 - 7. Suppose p*o = 8*o + 4*d + 780, 0 = -5*o - 3*d + 2015. Is 25 a factor of o?
True
Let y = -109 + -201. Let a = 981 + y. Suppose 4*u - g - 46 = a, 5*u = -g + 885. Does 28 divide u?
False
Let w(v) = 53*v + 7. Let b(j) = 54*j + 5. Let o(k) = -3*b(k) + 2*w(k). Let r(q) = -54*q. Let x(y) = -6*o(y) + 5*r(y). Does 8 divide x(1)?
True
Let s = -303 + 853. Let b = s + 138. Let a = -468 + b. Is a a multiple of 40?
False
Suppose 210*j - 98081 = 38936 + 441323. Does 81 divide j?
True
Let v(k) = k**2 - 12*k + 27. Let x be v(13). Let b = -38 + x. Suppose -3*l - 4*t + 4 = 3, 0 = b*t + 10. Is l a multiple of 4?
False
Let v = -33160 + 55075. Is 25 a factor of v?
False
Let t(k) be the second derivative of 103*k**4/12 + 49*k**3/6 + 2*k**2 - 17*k + 5. Is 49 a factor of t(-4)?
False
Is 13 a factor of (-10)/(-15)*327*15/10?
False
Let g(k) = 4*k**2 - 181*k - 120. Does 82 divide g(-16)?
False
Suppose 10*t = 9*t - 3*w + 1433, -t = -4*w - 1426. Suppose t + 1118 = 13*p. Is p a multiple of 49?
True
Let l be 25/((-28)/(-36) + (-2)/(-9)). Let g be (-2)/8 - l/(-4). Suppose 5*v = -g*k + k + 80, -v + 1 = -2*k. Is v a multiple of 8?
False
Suppose -t - 207 = -4*t. Suppose t = n + 4. Let j = n - 38. Does 27 divide j?
True
Let o = 1521 + -784. Does 4 divide o?
False
Suppose 4*f + 4 = -2*j - 2*j, 2*j - 5*f - 5 = 0. Let g(y) = -19*y - 96. Let k(h) = -6*h - 32. Let w(d) = 2*g(d) - 7*k(d). Does 32 divide w(j)?
True
Suppose 214*r - 47*r - 3842837 = 0. Is 151 a factor of r?
False
Suppose -199*d + 1459444 + 1687846 = 148*d. Is d a multiple of 61?
False
Suppose -2*c = -0*c - 5*l - 192, 4*c - 408 = 4*l. Let m = c - 63. Suppose -6*s + 1415 = -m. Is s a multiple of 27?
True
Let w = 611 + -615. Does 19 divide w/1 + 3 - (-326 + 1)?
False
Suppose 0 = 9*q + 1462 + 6692. Is 85 a factor of (18/1)/(-3) - q?
False
Let z be (-8)/(-6) + -2 + (-168)/(-63). Suppose -4*r + 3*v + 226 = 0, 5*r - z*v - 269 = -5*v. Is 11 a factor of r?
True
Let a(r) = -3*r**2 - 41*r. Let t be a(-13). Let z = t - -7. Does 33 divide z?
True
Suppose 69*w - 70*w + 153 = 0. Suppose 0 = w*d - 146*d - 6608. Does 9 divide d?
False
Let w(p) = 2*p**3 - p**2 - 11*p - 8. Let i be w(-1). Let s(n) = -6*n**2 + n - 1. Let b be s(3). Does 17 divide i + -1 - (0 + b)?
True
Let b = 52405 - 21934. Is b a multiple of 7?
True
Suppose -z = -7*n - 2605, -2*n - 19450 = -5*z - 6590. Does 5 divide z?
True
Let r(g) = 649*g**2 - 90*g - 83. Does 14 divide r(-6)?
False
Let k(n) = n**3 + 7*n**2 - 22*n + 96. Is k(14) a multiple of 9?
False
Let n = -82 - -92. Suppose 5*d + 25 = -t, n + 25 = -t + 5*d. Let k = 57 + t. Does 9 divide k?
True
Let p(c) = -2*c + 7. Let r be p(0). Let t(h) = 15*h - 32. Is t(r) a multiple of 14?
False
Let p = -13889 - -24914. Does 21 divide p?
True
Does 48 divide (-10)/(-155) + (-821360)/(-248)?
True
Suppose -4 = 3*q + q. Let y be (-57)/(-38) + q/(4/(-6)). Let x(j) = 11*j**2 + j - 2. Is x(y) a multiple of 25?
True
Suppose -x - x = -3*k - 103, -2*x + 140 = -4*k. Let y = k + 41. Suppose -d + g + 22 = y*g, -5*g = 5*d - 150. Is 12 a factor of d?
False
Let i = 24143 - 3259. Does 119 divide i?
False
Suppose -a = -4*a - 5*g + 36504, 5*g = -a + 12168. Suppose -21*j = -3*j - a. Does 13 divide j?
True
Let s(p) = -3 + 22*p + 17*p + 21*p - 48*p. Let u be s(-5). Is 3 a factor of (u/12)/(1/(-4)*1)?
True
Let m = 2730 + -893. Is 11 a factor of m?
True
Let l(y) = 33*y**2 + 4*y. Let t be l(-4). Let p = t + -394. Is p a multiple of 6?
False
Does 11 divide 7456 - (15/75 + (-12)/10)?
False
Let i(p) be the third derivative of 55*p**4/24 + 11*p**3/6 + 16*p**2. Let x be i(5). Suppose -2*q - 66 = -x. Does 24 divide q?
False
Suppose 0 = 4*n - 0*n - 8. Suppose 0 = 2*k - 2*k + n*k. Suppose k = 2*h - 2, 3*h = -4*i + 82 + 173. Is 7 a factor of i?
True
Suppose 22 = -5*u + 67. Suppose u*v + 571 = 1471. Does 10 divide v?
True
Suppose 64360 = 5*m - 2*r, 0 = -7*m + 4*m - 2*r + 38600. Is 90 a factor of m?
True
Suppose -a + 3 = 0, 0 = -0*y - y - 4*a + 6337. Is y a multiple of 159?
False
Let k(v) = -2*v**2 - 23*v - 9. Let o be k(-11). Suppose -n + o*n = -2*a + 1545, 5*a = 5*n + 3825. Is 21 a factor of a?
False
Let z be 40/(-180) + 148/18. Let w be z*((-27)/(-6) + -4). Suppose w*c - 13 = 103. Does 11 divide c?
False
Let q = -75 - -81. Is 59 a factor of (-1 + -20)/(q/(-118))?
True
Suppose 2*m + f = 1769, 4*m + 8*f - 3553 = 3*f. Suppose 13*x = 7*x + m. Does 21 divide x?
True
Suppose -z - 5 = 0, -233*z + 18915 = 4*j - 236*z. Is 27 a factor of j?
True
Suppose 3*o - 5*b - 9 = -21, -4*b = 5*o - 17. Suppose 4*r = 5*d - 89, 0 = 2*r + 1 - 9. Let q = d - o. Does 10 divide q?
True
Let w = 8936 - 6791. Is 15 a factor of w?
True
Let t(c) = c**2 - 51*c + 872. Is 26 a factor of t(29)?
True
Let c(q) = 296*