06*o**2 - 149*o - 108. Let s(d) = -2*l(d) + 7*m(d). Is 92 a factor of s(30)?
True
Let s(g) = 84*g**2 - 98*g + 5. Does 135 divide s(10)?
True
Let y(r) = -44*r + 11. Let o = 42 - 58. Let f = 14 + o. Does 20 divide y(f)?
False
Let d(z) = 2*z**2 - 43*z + 24. Let g be d(21). Suppose -g*t + j + 1074 = 0, -2*t = -0*j + j - 721. Does 28 divide t?
False
Let x(p) = -42*p + 87. Suppose 3*f + 5*k + 52 = 0, -7 + 29 = -f - 4*k. Does 15 divide x(f)?
True
Does 115 divide (-3)/((8 + 19686/(-2465))*5/(-174))?
False
Suppose -13*f + 29*f - 12*f = 6924. Does 10 divide f?
False
Let m(y) = -1556*y**3 - 16*y**2 - 56*y + 12. Does 16 divide m(-3)?
True
Let g(p) = 4*p**2 - 34*p + 934. Is 50 a factor of g(51)?
False
Suppose -5*v + 5*p + 94734 - 16464 = 0, -2*v - 4*p + 31314 = 0. Is 3 a factor of v?
False
Suppose 6*g = 432 - 432. Suppose -17*u + 267 + 1212 = g. Does 7 divide u?
False
Suppose 8*v + 3*v = -1727. Let r = v + 261. Does 52 divide r?
True
Let p(v) be the third derivative of 69*v**5/10 - v**4/12 - 2*v**2. Does 44 divide p(-1)?
False
Let r = -12 + 15. Suppose -5 + r = -i. Suppose 0 = -3*t + i*t + 180. Is t a multiple of 36?
True
Suppose 0 = 2*x + 212 + 104. Let q = 180 + x. Is q a multiple of 4?
False
Suppose -2*b = -5*g - 47634, 59*b + g = 58*b + 23803. Does 263 divide b?
False
Let h = 50 + -58. Let o(k) = k**3 + 7*k**2 - 8*k + 2. Let n be o(h). Suppose q - 519 = -n*q. Does 14 divide q?
False
Suppose 41 = -3*r + 92. Let d be 15 + r + 5*-1. Is 2428/18 - (-3)/d a multiple of 27?
True
Let k(b) = 441*b + 11. Let x be k(-1). Let d = 636 + x. Does 25 divide d?
False
Suppose -11*s + 3224607 = 14*s + 46*s. Is s a multiple of 297?
False
Is 89/((-1)/(-5) - (51744/3195 + -16)) a multiple of 71?
True
Is 10 a factor of 45/(945/(-6)) + (116484/7)/2?
True
Let p = -675 + 682. Suppose -p*g = 2*g - 630. Is g a multiple of 7?
True
Suppose -47*w + 14 = -40*w. Suppose -2*b = w*b - 3*l - 1460, -4*b = 3*l - 1460. Suppose -6*m = -49 - b. Does 5 divide m?
False
Let n = -288 - -1172. Is n a multiple of 22?
False
Let q = 89 + -85. Suppose -4*j + 8 = 4*w, -q*w = -2*w - 4*j + 8. Suppose -3*l + 2 + 64 = w. Is 18 a factor of l?
False
Suppose 0 = 112*k - 81*k - 436294. Is k a multiple of 62?
True
Suppose d = -i - 1, 3*d - 4*i - 22 - 3 = 0. Is 66 a factor of 13416/(-16)*(-2)/d?
False
Suppose 2*u - 5*t - 83844 = 0, -60 + 44 = -2*t. Is u a multiple of 39?
False
Let z be ((-34916)/8)/(-7) + 2/4. Let v = z - 363. Suppose -o + v = 69. Is 12 a factor of o?
True
Let a = 12335 + -8479. Is a a multiple of 16?
True
Suppose 3*v + h - 37 - 22 = 0, -h + 17 = v. Suppose 31*q - v*q = 10800. Does 9 divide q?
True
Let k = 12 + -101. Let i = k + 101. Is 6 a factor of i?
True
Suppose z + 2*z = -15. Let y(h) = h**2 + 517*h + 517*h - 5 - 1553*h + 501*h. Does 5 divide y(z)?
True
Is 33 a factor of (-4)/(-8) + (-174501)/(-4) + (-12)/(-48)?
True
Let j(d) = -6*d**2 + 24*d - 187. Let a be j(13). Let t = 1341 + a. Is 113 a factor of t?
True
Let l(s) = -135*s + 19228. Does 209 divide l(0)?
True
Let h = 1010 + -488. Let i = -440 + h. Does 4 divide i?
False
Let m(u) = -u**3 + 6*u**2 + 2*u - 9. Let a be (20/15)/((-14)/18 + 1). Let q be m(a). Suppose q*s + 66 = j + 236, 3*j = -4*s + 218. Is 15 a factor of s?
False
Let r = -794 + 736. Let m = 202 - r. Is 10 a factor of m?
True
Let r = -37 - -41. Let c(m) = r + 10*m + 87*m - 5. Is c(1) a multiple of 24?
True
Suppose 61*c = -20*c + 19*c + 402380. Does 165 divide c?
False
Let s = 165 + -129. Is s a multiple of 36?
True
Let w(a) be the second derivative of a**4/12 + a**3/3 - a**2/2 + 16*a. Let p be w(1). Suppose -12 = 4*i, p*g + 20 - 137 = 3*i. Is g a multiple of 6?
True
Let j be (-7971)/(-4) + (-57)/76. Suppose -13*u = -8024 + j. Is u a multiple of 37?
False
Let l(d) = 16*d - 173. Let w be l(11). Suppose -3*f = 2*m - 134, w*m + 48 - 33 = 0. Is f a multiple of 6?
True
Suppose -6*z = 479 + 2101. Let g = z - -562. Does 6 divide g?
True
Let b be 2272/18 + (-6)/27. Suppose -3*k = 4*l - 5*k - 32, -2*k = l + 7. Suppose r = -l*z + b, r - 6*r + 6 = z. Is 3 a factor of z?
False
Let t = -41 + -63. Let q = 169 + t. Does 5 divide q?
True
Suppose 5*z = 3*z - 5*k - 25, -z - 5*k = 0. Let o be -9 - 2 - (0 - 6). Let p = o - z. Does 3 divide p?
False
Let w(g) = -8*g + 19. Let k(v) = 17*v - 39. Let o(q) = -2*k(q) - 5*w(q). Let p be o(3). Does 18 divide p/2 + 4004/56?
True
Let s be (-30)/(-45) - 5576/(-6). Suppose -s = -2*a - 116. Is 6 a factor of (-6)/27 + a/9?
False
Let n = -122 - -127. Suppose 5*q - n*z + 0*z = 1280, 0 = -2*q - z + 527. Is q a multiple of 14?
False
Is (116/8)/(1/254) a multiple of 127?
True
Is 1561 - (-9 - (-15 + 5)) a multiple of 18?
False
Suppose -5*b - 3*r + 5*r + 63 = 0, 2*r + 37 = 3*b. Let v(n) = -n**3 + 15*n**2 - 23*n - 23. Is v(b) a multiple of 6?
False
Let w(x) = -42*x - 15. Let z(h) = h**3 - 3*h**2 + 3*h - 4. Let r be z(2). Is 6 a factor of w(r)?
False
Let f be (-2)/(-17) - (-10)/(-85). Suppose f = -4*o + 249 + 135. Suppose 8*a = 5*a + o. Is a a multiple of 8?
True
Suppose 0 = 36*z - 15*z - 9156. Let i be (-42)/(-8) + (-1)/4. Suppose d = i*d - z. Does 22 divide d?
False
Let r = -10433 + 23975. Is r a multiple of 74?
True
Let f(c) = 29*c + 1255. Is f(-19) a multiple of 33?
False
Let a(c) be the third derivative of -c**5/20 - c**4/2 + 3*c**3/2 + 2*c**2 + 7*c. Is 2 a factor of a(-4)?
False
Suppose -35*l - 10053 = -57513. Suppose 2*p - 3*m - l = -p, -2258 = -5*p + 4*m. Is 25 a factor of p?
True
Let d = -14 + -173. Let b = 33 - d. Is b a multiple of 22?
True
Suppose 14*m + 11*m - 415872 = 13*m. Is 68 a factor of m?
False
Suppose -w - 5*n = -754 - 1954, 10851 = 4*w + n. Does 57 divide w?
False
Suppose 76215 = 17*n - 89035 - 16157. Does 9 divide n?
False
Let n(l) = 265*l - 4771. Is 3 a factor of n(44)?
False
Let p be 2/(19/17 - 1). Let o = -2387 + 2385. Is 3*2/o + p + 2 a multiple of 4?
True
Let d be 0 - 17/(136/9240). Let y = -435 - d. Is y a multiple of 90?
True
Let f = -174 - -406. Let c = 38 + f. Does 30 divide c?
True
Let f(g) = 577*g + 2264. Does 8 divide f(8)?
True
Let d = 3 - -13. Suppose 0 = 3*o + 2 + d. Is 8 a factor of o/(2/(-1)) - -53?
True
Suppose 0 = -3*d + j + 11776, 60*d + 3*j + 15713 = 64*d. Is 67 a factor of d?
False
Let q be (-1 + 0)/((-5)/140). Suppose -6*z - z - q = 0. Does 18 divide 434/8 + 1/z?
True
Let c = -6133 - -6880. Is 3 a factor of c?
True
Suppose -35 = -4*q - 2*s - 45, 0 = 3*q + s + 10. Let u = 33 - 8. Is 14 a factor of (2 + (-535)/u)*q?
False
Suppose -4*w = x - 18, 3*w - x + 2*x = 14. Suppose 3 - 23 = -w*p. Suppose -12 + 282 = p*u. Is u a multiple of 7?
False
Let h = -3 + -7. Does 2 divide h - -7 - (9/3 + -70)?
True
Let h(n) = 1479*n**3 - 3*n**2 + 5*n - 1. Does 20 divide h(1)?
True
Let d(z) = -z**2 - 11*z - 41. Suppose 15*j = 11*j - 8. Let b(s) = -s**2 + s. Let p(g) = j*b(g) + d(g). Is p(17) a multiple of 11?
False
Suppose -3*g + 7 + 9 = b, -4*g = -2*b - 18. Suppose -4*h = 5*w - 2*h - 20, 0 = 3*w + g*h - 12. Suppose 3*o - 77 = w*l + 17, -5*l = -10. Does 4 divide o?
False
Suppose -4*z + 129 = 105. Suppose -12 = -z*g + 18. Suppose g*w - 11 = 54. Is w even?
False
Let d(x) = 9*x**2 - 29*x - 3. Let j be (-18)/(-10)*(-5 - (-200)/24). Does 21 divide d(j)?
True
Suppose i - z = -6 + 10, 0 = -3*z. Is (1546/(-6) - 7)*(-6)/i a multiple of 56?
False
Suppose -3*d = -14 - 1. Let v be (1 + 0)/(d/130). Is 3 a factor of (-2)/8 - v/(-8)?
True
Let d(i) = i**2 - 3*i + 7. Let y be d(8). Let h = y + 209. Is h a multiple of 64?
True
Let u(r) = 2*r**2 + 76*r + 52. Let j be u(-39). Does 13 divide 0 - 39*j/(-15)?
True
Let v(y) = -y**3 + 23*y**2 + 26*y - 35. Let u be v(23). Suppose -u = -4*o - 3*f, -5*o + o = -f - 559. Is 20 a factor of o?
True
Let r(n) = 30*n**2 - 12*n + 25. Let o(l) = 25*l - 22. Let h be o(1). Is 60 a factor of r(h)?
False
Let h(n) be the third derivative of n**6/120 + n**5/10 + 7*n**4/24 + 2*n**3 - 123*n**2. Is h(-3) a multiple of 2?
True
Is 2/(-4) + (3 + 5 - 50730/(-12)) a multiple of 35?
True
Let j(a) = -3*a + 20 + 10 + 4*a. Suppose -4*h - 16*h = -h. Is j(h) a multiple of 9?
False
Let f(s) = -s**3 + s**2 + 5*s + 10. Let u be f(-4). Let z be (u/20)/(2/(-8)). Does 35 divide (-844)/(-9) - z/63?
False
Suppose -3*s + 15 = -39. Suppose 11*x - 2*x - s = 0. Suppose 3*r - 144 = -3*d, 5*r - d - 252 = -x*d. Is r a multiple of 17?
True
Let d(t) = -643*t - 41. S