 + 258, 4*v - 5*b - 574 = 0. Let r = 271 - v. Is 38 a factor of r?
False
Let j(u) = 39*u**2 + 16*u - 66. Does 36 divide j(12)?
False
Let p(o) = -329*o - 3035. Is 3 a factor of p(-10)?
True
Let m(u) = 3*u**3 + 2*u**2 - 4*u - 4. Let n be m(4). Let b = n + -138. Suppose -2*d + 54 + b = 0. Does 12 divide d?
True
Suppose -4*f - v + 12669 + 36979 = 0, -24860 = -2*f - 5*v. Is f a multiple of 56?
False
Let s(y) = 6636*y**2 - 24*y - 4. Is s(1) a multiple of 16?
True
Let n(h) = 4*h**2 + 80*h + 3804. Is 163 a factor of n(-125)?
False
Suppose -3503*z - 20368 = -3505*z. Does 67 divide z?
True
Suppose 6735 + 129 = -11*k. Let r = -549 - k. Does 5 divide r?
True
Suppose -4*t - 3*j = -2, t = 2*t - 4*j - 10. Is 7 a factor of 142 + t + 0 + 2 + -4?
False
Let o(d) = d**3 - 7*d**2 - d - 56. Let x be o(8). Suppose 15*l - 5*f - 3545 = 10*l, 5*l + f - 3533 = x. Does 9 divide l?
False
Suppose 28 = -5*p - 0*p + w, 2*w = -4*p - 14. Let m(q) = q**3 - 36*q**2 + 71*q - 88. Let b be m(34). Let j = p + b. Does 4 divide j?
False
Let p be 1 - 15/(-1 - -2). Let h be (-8)/p - 2530/(-7). Suppose v = 3*i + i - 718, -2*i - v = -h. Does 14 divide i?
False
Let k(j) = -5*j + 221. Let z = 719 - 712. Does 13 divide k(z)?
False
Let w(x) = x - 2 + 2*x - 4*x. Let v be w(-9). Is 187/v + (-4)/84*-6 a multiple of 11?
False
Suppose 7*k + 59*k = 273504. Does 30 divide k?
False
Let j = 233 - -146. Let k = 681 - j. Is 13 a factor of k?
False
Let v = 45 - -123. Suppose 2*m = -5*d + 23, 5*m + 7 = -4*d + 39. Suppose m*u - v = -3*j, 0*u = -2*u + 5*j + 84. Does 21 divide u?
True
Let t(c) = 3*c - 2. Let j be t(1). Let v be j/12*-698 - 6/(-36). Let b = 81 + v. Is 12 a factor of b?
False
Does 43 divide (353964/52 - (12 + 1))/((-2)/(-4))?
True
Suppose -2*b + 6 = -2, -5*v = -2*b + 108. Let x = -30 - v. Is 5 a factor of (-4)/x*(2 + 93)?
False
Let p(u) be the third derivative of -u**6/120 - 2*u**5/15 - 5*u**4/24 - 31*u**3/6 + 3*u**2 - 20. Is 19 a factor of p(-9)?
True
Let l(g) be the third derivative of -5*g**4/12 + 31*g**3/3 - 53*g**2. Does 6 divide l(-7)?
True
Let u = 25943 - 14072. Does 55 divide u?
False
Let w(p) = -p**3 - 14*p - 22. Let t be (-8)/20*-10 - 11. Let s be w(t). Suppose 8 = -4*q - 4, -s = -5*n - 2*q. Does 8 divide n?
False
Let g(m) = m**3 - m**2 + 27. Let s be g(0). Let r = -1086 + 1075. Let x = r + s. Is 12 a factor of x?
False
Suppose 400 = 31*s + 307. Let r(x) = -5*x**2 + 3*x + 4. Let d(c) = -c**3 + 10*c**2 - 6*c - 7. Let v(l) = -4*d(l) - 7*r(l). Does 24 divide v(s)?
True
Suppose -239569 = 46*o - 973499. Is 41 a factor of o?
False
Suppose k = 5*z + 2000, -4*k + 4*z = k - 10147. Is k a multiple of 11?
True
Suppose -2*y - 14 = 4*d, 0 = 2*d - 0*y + 2*y + 12. Let i = 3 + d. Suppose i*v + 13 = 31. Is v a multiple of 9?
True
Let a(s) = -3*s**3 - 30*s**2 - 3*s - 28. Let q be a(-10). Suppose q*y - 742 = 350. Is y a multiple of 62?
False
Suppose 0 = -22*b + 6670 + 36868. Let y = b - 1315. Is y a multiple of 63?
False
Let p(q) be the third derivative of q**6/120 + q**5/60 - q**4/4 + 11*q**3/3 - 3*q**2. Let b be p(7). Suppose -3*f - b = -9*f. Is f a multiple of 9?
False
Let b(r) = -r**2 - 49*r - 26. Suppose 16*k - 2*k = -560. Does 18 divide b(k)?
False
Suppose 33*y - 74*y = -155210 - 44050. Does 3 divide y?
True
Is 9 a factor of 6/(19 + 3060/(-162))?
True
Let u(d) = -d**3 - 56*d**2 + 143*d - 107. Is u(-61) a multiple of 23?
True
Suppose 2*x - 10582 = 2*b, -26471 = -5*x - 98*b + 99*b. Is 7 a factor of x?
False
Let l(k) = 17*k**3 + 5*k**2 - 13*k - 7. Let u(r) = 8*r**3 + 2*r**2 - 6*r - 2. Let d(p) = 2*l(p) - 5*u(p). Is 9 a factor of d(-2)?
True
Let h(v) be the first derivative of -15*v**2/2 - 21*v - 14. Let m be h(-3). Is 6 a factor of (m/5)/((-6)/(-60))?
True
Let z = 94117 - 11673. Is z a multiple of 230?
False
Suppose -5*d = y - 18, 3*y - 6*y + 2 = 2*d. Suppose -46 = -d*a + 2*v, -v - v = 3*a - 17. Let n(q) = 8*q - 19. Is n(a) a multiple of 9?
False
Suppose -140*q + 144*q - 12 = 0. Suppose 3*y - 4*y + 188 = n, -q*y + 562 = 2*n. Is 8 a factor of y?
False
Let j be -3*(-4 + 1)/3. Suppose -4*w - 5*o = j - 34, 2*w + 7 = 5*o. Suppose -13*i = -w*i - 216. Is 14 a factor of i?
False
Suppose 357*w + 1037977 - 1931242 - 2327946 = 0. Does 5 divide w?
False
Suppose -2*f + 4*l = -l + 894, -5*f = -l + 2212. Let r = -343 - f. Is 33 a factor of r?
True
Suppose -2 = 4*t - 4*f - 18, -12 = 3*t + 3*f. Suppose 0 = 4*y + 8 - 20, -5*v + 4*y + 483 = t. Is v a multiple of 5?
False
Suppose 0 = 12*t - 3323 - 1090 - 7755. Is 78 a factor of t?
True
Let w(z) = -16*z**3 - 8*z**2 - 5*z + 29. Is 19 a factor of w(-4)?
False
Let c be (-117)/(-2)*(-33 + 27). Let b = c + 405. Does 18 divide b?
True
Suppose -w + 5 = -14. Suppose w*z = 13*z + 3030. Let k = 714 - z. Is 16 a factor of k?
False
Let s = 24 - 14. Let u(j) = -j - 5 + 3 + s + 1. Is 10 a factor of u(-11)?
True
Suppose 25*k - 11*k = 20566. Suppose -a + 3*f + 97 = -390, 3*a - k = f. Is a a multiple of 35?
True
Let h be (-5 - 211/(-3))*-3. Let c = -151 - h. Is 5 a factor of c?
True
Suppose -2738 = -8*k + 1062. Let v = k + -181. Is v a multiple of 21?
True
Let b(p) = -p**3 + 14*p**2 + 6*p - 7. Let i be (4/((-36)/(-15)))/(4/24). Suppose 20 = i*d - 120. Is 15 a factor of b(d)?
False
Suppose -1588 = -l - 2*f, l = -3*f - 3354 + 4941. Is 4 a factor of l?
False
Suppose 36*c + 133*c = 2098811. Does 11 divide c?
True
Let h(a) = -81*a - 941. Is 109 a factor of h(-28)?
False
Let p be ((-2)/(-4))/(5/(-160)*4). Is 24 a factor of (-13)/((-65)/940) + p/(-1)?
True
Let i be (-14)/10*(-1 + -9). Is 15 a factor of (180/i)/((-57)/(-5054))?
True
Suppose 532*y - 530*y = 3*d - 33247, 4*d - 44296 = -4*y. Does 7 divide d?
False
Let t(m) = m**2 + 62*m - 279. Is 40 a factor of t(-91)?
True
Let r = -273 - -45. Let w = r + -6. Let z = w - -354. Is 20 a factor of z?
True
Suppose 2*b - 1890 = -5*b. Suppose -b = -0*v - 10*v. Suppose -23*k + v*k - 540 = 0. Is k a multiple of 27?
True
Suppose 0 = 2*y + 90 + 52. Let r = y - -59. Does 10 divide (1 + -14 + -3)/(4/r)?
False
Let k = -185 - 74. Let o = -523 - -348. Let s = o - k. Does 7 divide s?
True
Let g(i) = 2*i**2 - 5*i - 16. Let f be g(-8). Let m = f - -163. Does 7 divide m?
True
Let i = -139 - -152. Suppose -i*b = -28*b + 3315. Does 40 divide b?
False
Suppose -5*f = 8*f + 1105. Let r = -162 - f. Let b = 23 - r. Is 5 a factor of b?
True
Suppose -57672 = 1798*d - 1810*d. Is 89 a factor of d?
True
Let q be 1200/(-40)*(-1)/2. Suppose 4*m + 0*c - 1103 = -3*c, -q = -3*c. Does 26 divide m?
False
Let n be (-26)/(-8) + 4/(-16). Suppose 5*j + 2*z = 5*z + 2194, 3*j = n*z + 1314. Does 40 divide j?
True
Suppose -3*r = -1905 - 5694. Does 36 divide r?
False
Suppose -32*l + 60*l = 26*l + 3204. Does 5 divide l?
False
Let y = 32 + -9. Let t(n) = 10*n - 27. Let j be t(6). Let k = j - y. Is 10 a factor of k?
True
Suppose -142*t - 4 = -140*t. Is (49 + -47)/(t/(-511)) a multiple of 30?
False
Suppose 2*p - 14 = -14, 4*p = -3*u + 15360. Is u a multiple of 16?
True
Let i(n) = -n**3 - 8*n**2 + 7*n - 16. Let h be i(-9). Let t(o) = 11*o + 15*o**2 + 13*o**2 + 22 - 29*o**h. Is 20 a factor of t(9)?
True
Let n be (7 - 8)/(-2*3/11442). Suppose -1217 = -4*d + 2*s + n, -2*d = -5*s - 1562. Does 34 divide d?
False
Suppose 10091 + 107019 = 14*n. Does 13 divide n?
False
Let w(y) = -49*y**3 + 80*y**2 - 176*y + 114. Let t(x) = -9*x**3 + 16*x**2 - 35*x + 23. Let h(j) = -11*t(j) + 2*w(j). Is h(17) a multiple of 52?
False
Let w(g) = 1613*g**2 + 13*g + 30. Does 14 divide w(-2)?
False
Let y be 15*(35/45 - 2/(-9)). Suppose -5*u - y = 0, -3*b = -4*u - u - 1965. Is b a multiple of 25?
True
Suppose -2*a + 519 + 289 = 0. Let t = a + -392. Is t a multiple of 12?
True
Suppose 5*l - 12*l + 26815 = 24*l. Does 5 divide l?
True
Let y = 24415 + -15128. Is y a multiple of 17?
False
Let m = -14346 + 21421. Is 6 a factor of m?
False
Let f(u) = -7*u**2 - 131*u - 159. Let d(y) = 10*y**2 + 196*y + 238. Let o(q) = -5*d(q) - 7*f(q). Is 55 a factor of o(-49)?
False
Let j = -293 - -271. Let y(r) = -r**3 - 21*r**2 + 13*r + 27. Does 27 divide y(j)?
False
Suppose -2878 = 164*y - 167*y - 2*s, 3839 = 4*y + s. Does 96 divide y?
True
Suppose -28 = -6*h + 2. Let f = 14 - h. Is -12 + f + (2 + -4 - -91) a multiple of 43?
True
Let m be (-2)/(434/146 - 3). Suppose -3*k + 59 = -m. Does 12 divide (-64)/(-5) - k/55?
True
Suppose -3*n = 3*z - 878