 of u(-87)?
True
Let s(h) = -h**2 + 10*h - 16. Let i be s(17). Let q = -69 - i. Let v = q + 33. Is 11 a factor of v?
True
Suppose 100588 + 20687 = 11*a. Is 63 a factor of a?
True
Let n(f) = -48*f**2 - 5*f + 4. Let d(g) = 47*g**2 + 4*g - 3. Let c(z) = 3*d(z) + 2*n(z). Let i be c(1). Let t = i - 16. Is t a multiple of 6?
True
Let d(u) = 9*u**2 + 107*u + 6. Is 8 a factor of d(-14)?
True
Suppose -102*z - 55*z + 1248778 = 0. Is z a multiple of 82?
True
Let y = -23 - -28. Suppose y*o - 264 = o. Does 11 divide (o/(-20))/((-3)/45)*2?
True
Is (15937/(-9))/(-1) + -3 + (-261)/(-81) a multiple of 120?
False
Suppose -7*u - 2*y = -273175, 375*u + 39025 = 376*u - 4*y. Is 25 a factor of u?
True
Suppose -2*w - 4*i - 280 = 0, -3*w + 7*i - 420 = 4*i. Let c = -75 - w. Suppose -5*j + 461 + c = -n, 108 = j - 3*n. Is 5 a factor of j?
True
Let y be 1029/(-105) - ((-2)/(-10) - 0). Does 34 divide (-1 - -411) + y/5?
True
Suppose -9*k - 37*k = -4*k - 3038784. Is 136 a factor of k?
True
Let f = -12444 + 18996. Is 13 a factor of f?
True
Let m = 126 - -76. Let a(s) = -s**3 - 44*s**2 - 42*s + 81. Let k be a(-43). Suppose 4*d = m + k. Is d a multiple of 20?
True
Suppose -m = 3*c + 25, -c - 3*m = -7*m + 30. Let v be (9/5)/3 + (-4)/c. Does 8 divide (1/(-2))/(v/(-312))?
False
Let d be ((-30)/4)/((-2)/(48/9)). Let y(s) = s**2 + 2*s. Let o be y(-3). Suppose -o*h + d = -h. Is h a multiple of 6?
False
Suppose -4*q + 271 = n, -20 = 2*q + 3*q. Let f be (-6)/(-10) - 3687/(-5). Suppose 3*r - 5*x = 431, 0 = 3*r + 5*x + n - f. Does 46 divide r?
False
Suppose 1993480 = 140*f + 348*f. Is 92 a factor of f?
False
Let a be (-1 + -1)*(-9)/6. Suppose 2*c + 3*u = -2*c + 408, 0 = -5*c - a*u + 507. Suppose -4*r = -3*o - 157, c = -0*r + 3*r + 4*o. Is r a multiple of 22?
False
Suppose 32*b = -21*b + 48*b + 31625. Does 6 divide b?
False
Suppose -3*k + 4*j = 6*j - 5269, 8781 = 5*k + 3*j. Is 61 a factor of k?
False
Let s be (-1)/4 + (-609)/(-84). Suppose -s*a = -12*a - 15, 57 = -3*d - 4*a. Is ((-385)/d - -5)*(1 - -2) a multiple of 15?
False
Let u = 54 + -58. Let s(l) = -10*l**2 - 2*l - 1. Let p be s(u). Is 4/(3/(p/(-6))) a multiple of 14?
False
Let o be (0 - 0)/(11/((-11)/(-2))). Let l(j) = -j**3 - j**2 - 403. Let d be l(o). Is 25 a factor of 36/(-48) + (d/(-4) - 0)?
True
Let d be (-36)/(-48) - (-10)/8. Suppose 0 = -c + d*t + 272, -2*t + 828 = 3*c - 5*t. Suppose -b + c = 4*w + 21, -4*w + 1084 = 4*b. Does 17 divide b?
False
Let w(i) = -7*i + 59. Let m be w(-9). Suppose 4*j - 8*j + m = q, 0 = -2*j + 3*q + 54. Is j a multiple of 5?
True
Suppose -6592 = -2*b - 4*n, 16415 = -b + 6*b - 3*n. Is 31 a factor of b?
True
Let p be 7 + -237 + (-2)/(-2). Let z = 187 - p. Does 16 divide z?
True
Suppose 0*f - 2*f = 5*q - 88, -4*q = -3*f - 52. Let o be (15 - q)*-22*130/4. Is 20 a factor of (-4)/(-3) + -2 + o/15?
False
Suppose 4*c = -g + 315517, 5*c = -5*g + 10729 + 383656. Does 20 divide c?
True
Let b(n) = 5*n**2 - 2*n**2 + 17 - 5*n - n**3 - 12*n**2. Let z be b(-8). Let u(y) = -y**3 - y**2 + 7*y - 4. Does 26 divide u(z)?
False
Let x be (-27)/(-63) - 501/(-7). Suppose x*q - 4635 = 57*q. Is q a multiple of 55?
False
Let a(k) = 26*k + 20. Let n be a(12). Is (-2)/(-8) - (-154629)/n a multiple of 30?
False
Suppose 5*v + 4*m - 40 = 66, -3*v - 2*m + 62 = 0. Suppose -v*x - 24 = -22*x. Suppose 10*j = x*j + 156. Is 10 a factor of j?
False
Let h(u) = -24*u + 42. Let j be h(2). Let n = j - -40. Is 6 a factor of n?
False
Let n(o) = -o**2 + 4*o - 3. Let b be n(3). Suppose b = r - 41*r + 47800. Is 49 a factor of r?
False
Suppose -3*h + 554 = -346. Let b = h - 109. Suppose 4*a = 3*m - m - 114, -3*m + b = -a. Does 22 divide m?
False
Let x be -21 + (0 - -1) - 20/(-10). Let d be x/12 + -1 + (-37)/2. Is (210/45)/((-1)/d) a multiple of 14?
True
Let o(a) = a**3 - 9*a**2 + 14*a + 8. Let d be o(10). Let f = d - 204. Does 4 divide f?
True
Let r(q) = 2*q**3 - 49*q**2 - 24*q + 12. Is 64 a factor of r(26)?
False
Let v = -14052 - -55353. Does 13 divide v?
True
Is 5 a factor of 43890/(-60)*(-24)/7?
False
Suppose 13*h - 84 = 14*h. Let p be (1 - (-14)/6)*h/(-35). Let a(m) = m**3 - 4*m**2 - 16*m - 3. Is 25 a factor of a(p)?
True
Suppose 125*m - 991438 - 620850 = 31*m. Is 9 a factor of m?
False
Suppose -3*t + 12 = 0, -t - 42809 = 70*q - 73*q. Is 47 a factor of q?
False
Let n(k) = k + 1. Let q(p) = 8*p - 11*p - 34 - 18*p - 8*p. Let i(v) = 5*n(v) + q(v). Is i(-5) a multiple of 8?
False
Suppose 17*q - 2*x = 13*q + 180130, 3*x - 90045 = -2*q. Does 237 divide q?
True
Suppose -u + 3 = 0, 0 = -13*i + 11*i + 2*u + 4. Suppose 4*j = 2*t + 592, 3*t - 296 = 3*j - i*j. Is (2/8 + 2/8)*j a multiple of 10?
False
Suppose -15*a + 24623 = -309706 - 28101. Is a a multiple of 20?
False
Suppose -116931 = -40*r - 5331. Is r a multiple of 6?
True
Let x = -9775 + 10159. Is x a multiple of 101?
False
Suppose -10*h + 301 = 261. Is 18 a factor of (11540/((-40)/(-8)))/h?
False
Is (16188/20)/((-9)/(-30)) a multiple of 71?
True
Suppose 0 = -92*x + 12585 + 6183. Suppose -2 = -2*u + 2. Suppose -3*v - v = 4*j - x, 0 = -u*j - 4*v + 104. Is 21 a factor of j?
False
Let u = 33 - 10. Suppose -q + 6*q + 25 = 4*m, -15 = -2*m + 5*q. Suppose -2*p - 3*x = -u, p + 3*p - 47 = -m*x. Is 7 a factor of p?
False
Let d = -540 + 646. Suppose 109*l - 2265 = d*l. Does 10 divide l?
False
Let y(v) be the third derivative of 0*v + 0 + 2/5*v**5 - 1/6*v**4 - 10*v**3 + 1/120*v**6 + 2*v**2. Does 36 divide y(-24)?
True
Suppose 6*a + 6 = 24. Let y = -213 + 333. Suppose 4*x = 3*x - a*o + y, -4*x + 5*o + 480 = 0. Is 15 a factor of x?
True
Let l = 45 - 41. Suppose 4*x - 417 - 47 = -4*s, 3*s = -l*x + 350. Suppose 17*r = 19*r - s. Is r a multiple of 11?
False
Let s(a) = -4*a**3 + 3*a - 4. Let q be s(-2). Let o(m) = m**3 - 24*m**2 + 46*m - 7. Let g be o(q). Suppose g*f = 34*f + 555. Is 37 a factor of f?
True
Let f(q) = 238*q**2 + 23*q + 13. Does 35 divide f(-3)?
False
Is 40 a factor of (-18 + 14)/(0 + -1)*10?
True
Let c(w) = -13*w - 71. Let k(o) = 25*o + 141. Let j(v) = -11*c(v) - 6*k(v). Does 9 divide j(-17)?
True
Let u(o) = o**3 + 8*o**2 - 8*o - 4. Let k = 1 + -9. Is u(k) a multiple of 20?
True
Suppose 145*i = -95*i. Suppose t + 26 = 2*o + 5*t, -3*o + 19 = 2*t. Suppose i = -5*c + o*d + 233, 5*d + 45 + 98 = 3*c. Is c a multiple of 46?
True
Let i(v) = v + 4. Let w be i(13). Suppose 5*d - w = 13. Is d/(-15)*(-7 - -2) a multiple of 2?
True
Is 1330546/224 + (49/16 - 3) a multiple of 30?
True
Let p = -24 - -30. Let a(f) = f**2 + 17*f + 52. Let u be a(-19). Suppose -u = -7*t + p*t. Is t a multiple of 15?
True
Suppose 4*g = l + 714, 5*l - 1020 = -5*g - 90. Let r = 0 - 0. Suppose 4*t + r*t = g. Is t a multiple of 5?
True
Let p(o) = 411*o**2 - 100*o + 11. Is 2 a factor of p(-2)?
False
Suppose -20 = 4*n + 16. Let p be n/24 - 29/8. Does 12 divide (-7 + 3 - 640/(-5)) + p?
True
Let d = -270 - -322. Suppose 9*p - 380 = d. Is 12 a factor of p?
True
Let z(b) = b**3 + 14*b**2 + 14*b + 17. Let a be z(-13). Suppose 3*g + a = -5*o - 19, 21 = -5*o - g. Is (-2)/(-4)*(-488)/(0 + o) a multiple of 28?
False
Let j(b) = -b**2 + 16*b - 11. Suppose 5*o + 188 = 4*d, -o - 3*o + 4*d = 148. Let p = -27 - o. Does 14 divide j(p)?
True
Let k(f) = 2*f**3 + 5*f**2 + f + 49. Suppose 4*z = 15*a - 10*a - 15, -6 = -5*z - 2*a. Is k(z) even?
False
Let u = -2208 + 438. Let h = u - -2520. Is 15 a factor of h?
True
Let i(w) = w - 15. Let b = 16 + 1. Let v be i(b). Is 13 a factor of (-8)/v*93/(-6)?
False
Let f(w) be the second derivative of w**5/20 + 7*w**4/12 - 10*w**3/3 - 13*w**2 - 42*w. Does 35 divide f(-8)?
True
Let z(u) be the third derivative of u**5/30 - u**4/6 + 31*u**3/6 - 2*u**2. Let j = 267 + -260. Is z(j) a multiple of 36?
False
Suppose 4*z = 27 - 11. Suppose -z*k - 156 = -7*k. Is 13 a factor of k?
True
Let j = -44199 + 49490. Does 265 divide j?
False
Is 25 a factor of (393/(-9))/(21/63)*-25?
True
Let u(r) = 3*r**2 + 7*r + 4. Let w be u(-2). Suppose -w*a + 530 = 5*i, 3*i + a + 4*a = 337. Does 13 divide i?
True
Suppose -33*g = 16*g + 3675. Let s(a) = a**2 - 11*a - 9. Let p be s(-7). Let r = g + p. Does 6 divide r?
True
Let t(l) = 10*l**2 - 85*l - 45. Is 24 a factor of t(16)?
False
Suppose 41*f + 17936 = 4*s + 38*f, 0 = 2*f - 8. Is 26 a factor of s?
False
Suppose -30*b + 60815 = 56*b - 40837. Is 26 a factor of b?
False
Suppose 195*w - 808 = 191*w. Let x