 = -5*y**2 + 15 + 10*y**2 - 1182*y + 1189*y. Is j(-8) a multiple of 31?
True
Let z(c) = 2356*c**2 - 500*c - 996. Is 331 a factor of z(-2)?
False
Suppose -13*k + 226 + 8432 = 0. Is k*(2/12)/((-6)/(-48)) a multiple of 12?
True
Does 35 divide (-7 - 0)/(1 - (10 + (-66128)/7348))?
False
Let h = 8986 - 8778. Is h even?
True
Let t(g) = 17*g - 118. Let w be t(9). Suppose 4*v + 3*u = 315, 0 = v - 2*u - 41 - w. Is v a multiple of 9?
False
Suppose -394812 = -25*p - 3*p - 5*p. Does 12 divide p?
True
Let l be 10*2*(-1)/(-5). Suppose -l*p - y + 921 = 0, -3*p + 4*y = -366 - 320. Suppose -3*f + d + p = 0, d = f + 6*d - 50. Is 9 a factor of f?
False
Suppose 5*c + 461 = x - 261, 0 = -3*x - c + 2134. Is x a multiple of 16?
False
Suppose -19*w + 1093 = -18*w. Suppose 5*k - 2*g - 2732 = -5*g, -g + w = 2*k. Is k a multiple of 18?
False
Let w = 4 + -4. Suppose -3*u + 2070 = 2*u - 4*r, 3*u - 5*r - 1255 = w. Suppose 0 = -k - 2*y + 145, -k + 4*k = -y + u. Is k a multiple of 22?
False
Let z(u) = 8*u**2 + 219*u - 10. Is z(-32) a multiple of 8?
False
Let t(l) = 15*l**2 - 25*l + 207. Is t(11) a multiple of 6?
False
Let v(p) = 8*p**2 + 5*p + 4. Let u be (6 - 90/12)/(6/16). Does 14 divide v(u)?
True
Is 28196/20 - (-8 - 133/(-35) - -4) a multiple of 7?
False
Let j = -143 + 152. Is 16*(j - (-4)/(-4)) a multiple of 9?
False
Let f(o) = 67*o**3 + 31*o**2 - 46*o - 4. Is 73 a factor of f(8)?
True
Let h(y) = -y**3 - 10*y**2 + 36*y + 60. Let n be -64 + 63 + 24/((-2)/1). Is h(n) a multiple of 11?
True
Let r(f) = 8*f**2 - 67*f - 190. Is r(-22) a multiple of 4?
True
Suppose 0 = -4*k - 5*a - 5, -5*k + 2*a + 3 = -a. Suppose k = -15*s + 20*s - 35. Suppose s*p - 2*p = -4*h + 296, -p - 2*h = -64. Is 9 a factor of p?
False
Suppose f = 2*n - 1996, -n + 913 = 3*f - 92. Let l = -553 + n. Does 13 divide l?
False
Let c(x) = x**2 + 18*x + 3. Suppose -3*g = -10 + 28. Let f be c(g). Let q = f - -116. Does 8 divide q?
False
Let w = 100 - 82. Let c be (-21)/(-189) - (-11230)/w. Suppose -m + 7*m - c = 0. Is 26 a factor of m?
True
Let y(k) = 923*k - 9031. Does 7 divide y(13)?
True
Let r(w) = 348*w**2 - 72*w + 1. Is 7 a factor of r(7)?
False
Let q(l) = -l**2 - 4 + 12*l + 2 - 15. Let z be ((1/(-6))/((-4)/(-36)))/(12/(-56)). Is 3 a factor of q(z)?
True
Let n = -11243 + 13225. Is 8 a factor of n?
False
Let z(j) = -12*j + 66. Let d be z(4). Let n(y) = 0*y**2 + 24*y - y**2 - 48 + 29. Is n(d) a multiple of 9?
False
Let m = -1195 - -5052. Is m a multiple of 19?
True
Let k be 407 + (-3 - (-30)/3 - 2). Let h = 1217 - k. Is 27 a factor of h?
False
Suppose 4013*a - 4016*a + 112591 = 5*x, 2*a = -3*x + 67553. Is x a multiple of 85?
False
Suppose -18*p + 3*m = -2*m - 72758, 4*m + 16 = 0. Does 224 divide p?
False
Let v = -83 - -15. Let a = 155 + v. Let w = a - 60. Is 4 a factor of w?
False
Suppose -65 = -5*j + 7935. Suppose 0 = -7*a + j + 787. Is a a multiple of 4?
False
Let d = -113 + 164. Let z = 57 - d. Is 4*z/(24/137) a multiple of 16?
False
Does 58 divide (-1 + 3)/(-62 - -60) - -2205?
True
Suppose -43426 = -3*y - 69*u + 71*u, -y + 3*u = -14487. Is 8 a factor of y?
True
Suppose 190536 = 28*p - 736824. Does 18 divide p?
True
Let y(x) = -2*x + 14. Let r be y(5). Let j be 0 + -4 - (-7 + r - 1). Let f(n) = -n**3 - n**2 + n + 109. Does 64 divide f(j)?
False
Let a(z) = 64*z**3 + 2*z**2 - 15*z - 13. Let m be a(5). Is 39 a factor of (-78)/(-65) + m/15?
False
Suppose -6*y + 4*y = -64. Suppose -28*u + y*u = 588. Is u a multiple of 30?
False
Let i(z) = -59*z - 37. Let j be i(-7). Suppose -j = -y + 2*a, -3*y = -a - 1015 - 118. Suppose 6*w - 8*w + y = 0. Is w a multiple of 27?
True
Suppose 9*x + 18 = -27. Let f(y) = 47*y**2 - 24*y - 146. Does 64 divide f(x)?
False
Let s(i) be the first derivative of i**3/3 - 3*i**2 + 30*i + 1211. Suppose 2*a + 54 = 5*d, 4*a = -3*d + 3*a + 39. Is s(d) a multiple of 50?
False
Let h = -131 - -72. Let l = -24 - h. Suppose 86 = 3*d + 2*r, 2*d + r = l + 23. Is 6 a factor of d?
True
Let o = -80 - -24. Suppose 9*v = 16*v - 10563. Is v/21 - 8/o a multiple of 12?
True
Let h(m) = 3*m + 58. Let b be h(-19). Suppose -5*n - z = -25, 2*n - 4*z = b - 13. Suppose -5*g - n*g = -432. Is g a multiple of 13?
False
Let i be ((1 - 1)/(9/(-3)))/(-1). Let t = 24 - i. Suppose t = 4*l - 3*l. Is 8 a factor of l?
True
Let z be -5*12/20 - -76*1. Suppose -2*t + 150 = -2*f, 0 = -t - 15*f + 17*f + z. Does 3 divide t?
False
Let f = -3845 + 7077. Is 9 a factor of f?
False
Let o(f) = 51 - 11*f - 3*f**2 + 2*f**2 - 59 - f**2. Let q be o(-4). Let z(r) = 4*r**2 + 4*r - 4. Does 8 divide z(q)?
False
Let j(w) = w**2 + 7*w + 16. Let k be -5 + 0 + (-4 - (-3 + -1)). Let x be j(k). Let b(f) = 2*f**3 - 7*f**2 - 10*f + 13. Is 26 a factor of b(x)?
False
Let o(k) = -36*k**3 + 3*k**2 - 15*k - 54. Is o(-6) a multiple of 20?
True
Let l(d) be the first derivative of d**4/4 + 5*d**3/3 + d**2 + 9*d - 8. Let u be l(-5). Let c(r) = -75*r**3 + 3*r**2 - 2. Is 24 a factor of c(u)?
False
Let w(c) be the first derivative of 3*c**4 - 2*c**3/3 - 2*c**2 + 6*c + 163. Does 12 divide w(3)?
True
Suppose 0 = -274*a + 205*a + 131721. Is 83 a factor of a?
True
Does 17 divide (2 - (5 - 24/6) - -374)*17?
True
Let x(u) be the first derivative of 7*u**4/4 - u**2 - 4*u + 15. Let q be x(4). Suppose -5*i - 106 = -q. Is 22 a factor of i?
True
Let t = -9407 - -16997. Is 23 a factor of ((-6)/10)/((-66)/t)?
True
Let g(m) = -m**3 - 7*m**2 - 5*m + 8. Let w be g(-6). Let k be 5*4690/50 - 5/1. Suppose w*s + k = 10*s. Does 8 divide s?
False
Let v(w) be the third derivative of -15*w**2 + 61/6*w**3 + 0 + 0*w + 0*w**5 - 1/120*w**6 + 1/12*w**4. Does 38 divide v(0)?
False
Suppose 5*z - 7*z - 16 = 0. Let m = z - -38. Does 3 divide 4/m - (-86)/30?
True
Suppose 61*r - 62*r = 4*y - 12653, -r = y - 12668. Does 17 divide r?
False
Let n(s) = s**3 + 6*s**2 + 6*s + 8. Let a be n(-5). Suppose -r - 1 + a = z, -z + 2 = 0. Is 4 a factor of (4 + r)*(0 - -1)?
True
Is ((-1210)/2)/(37/(-629)) a multiple of 85?
True
Suppose -72*v + 8881 + 46253 = 2070. Is 5 a factor of v?
False
Let p be -1*-19*(-14)/(-7). Suppose -6965 = -p*t + 103. Is t a multiple of 23?
False
Let k = 37 + -26. Suppose 5*u - 7 = c, -3*c = -u - 4*u + k. Is (5/c)/(1/(-20)) a multiple of 5?
True
Let a(h) = 17*h**2 + 3*h - 3. Let b be (30/(-12))/((-10)/4). Let c be a(b). Suppose 16*f + 390 = c*f. Does 13 divide f?
True
Let l be 5/(-10) + (-6)/4*743. Is l/(-20) - 3/(-12) a multiple of 4?
True
Let j = -2349 + 4645. Does 33 divide j?
False
Let j(g) = -5*g**3 - g - 3. Let w(v) = v**3 + v**2 + 1. Let m(q) = -j(q) - 4*w(q). Let c be m(2). Let l(t) = -t**2 - 16*t - 7. Is 27 a factor of l(c)?
False
Let k(s) = -10*s - 28. Let h be k(-3). Is (290/(-4))/(-5) - h/4 a multiple of 10?
False
Let z(t) = 414*t - 653. Is z(13) a multiple of 7?
False
Let a(w) = -6*w**3 + 268*w**2 - 13*w + 35. Is 107 a factor of a(42)?
True
Suppose -5*j + 2*d + 19067 = 0, 4*j - 3*d = -d + 15254. Does 31 divide j?
True
Let d(n) = -n**3 + 10*n**2 - 133*n + 129. Is d(-19) a multiple of 105?
True
Let l(p) = 5*p + 17*p + 2 + 11*p + 14*p. Let h = 106 + -104. Does 8 divide l(h)?
True
Let p(l) = 8*l**2 - 8*l + 4. Let b = -44 - -38. Let y be p(b). Suppose -4*u - u + y = 0. Is 17 a factor of u?
True
Suppose 10*w - 243 + 653 = 0. Let k = -38 - w. Suppose 0 = f + s, -s + 3*s + 15 = k*f. Is 3 a factor of f?
True
Suppose -3*w = -4*s - 14, 3*w + w - 5*s - 19 = 0. Suppose -w*g = -11*g + 1735. Suppose 4*f - 5*u = g, -4*f + 352 = -0*u - 4*u. Does 31 divide f?
True
Let o(q) = 2*q**2 - 15*q + 21. Suppose 7*v = -2*v + 45. Let m be v + (0/(-1) - -4). Is o(m) a multiple of 12?
True
Let o = -118 - -389. Let r = o + -254. Does 2 divide r?
False
Let n(z) = -1. Let b(h) = -h - 12. Let i(p) = b(p) - 4*n(p). Suppose 2*o + 5*s + 29 = -22, 3*o = 3*s - 24. Is i(o) a multiple of 2?
False
Suppose -3*g - 2*n + 627 = 0, -g - 2*n = -6*g + 1061. Suppose -5*s + g + 309 = 0. Suppose -q = -s + 16. Is 22 a factor of q?
True
Is 24 a factor of (-261 + 915)*20*3?
True
Suppose -5*s = -3*m + 28, -2*m + 2*s + 0*s = -16. Let x be (-2)/9*m/(-4)*18. Suppose -2*j + x = 4*r - 386, 2*j = 5*r - 508. Is r a multiple of 20?
True
Suppose 40 = 35*x - 31*x. Is 46 a factor of 562*44/13 - x/65?
False
Let a = 550 - 784. Let s be 2/(-19) + a/(-57). Suppose 439 = s*x - 65. Is 21 a factor of x?
True
Let k(r) = -1141*r - 8694. Does 80 divi