et u(d) = -2*d - 6. Let n be u(-3). Suppose 3*c + 5*f = -8, -4*c - c + 2*f + 28 = n. Suppose 23 = c*t - 221. Is t a multiple of 35?
False
Let i(n) = 4*n**2 + 7*n + 3. Let w be i(-3). Suppose -5*g + 10 = 0, -6*g = a - 3*g - w. Let b = a - -52. Is b a multiple of 10?
False
Let h(l) = -l**3 - 11*l**2 - 2*l - 2. Let i(z) = z**3 - 9*z**2 + 17*z - 6. Let y be i(7). Let w = y - 27. Does 31 divide h(w)?
False
Suppose -15*b + 5*k = -10*b - 27830, 5*k = 2*b - 11120. Is 10 a factor of b?
True
Suppose -121*q = -123*q + 6. Suppose -6*l = -2*j - 2*l + 792, 1152 = q*j + 3*l. Is j a multiple of 4?
True
Let q(z) = z**3 + 23*z**2 + 76*z + 3. Let f be q(-19). Suppose f*m - 2066 = -5*i - 474, 4*m = -2*i + 2104. Does 48 divide m?
False
Suppose 2*i + i = -2*m - 10, 0 = 3*i - 3*m + 15. Let d = 20 - i. Does 25 divide ((-36)/(-15))/(d/320)?
False
Let t(k) = -4*k**3 - 2*k**2 - 6*k + 3. Let d be 45/(-2)*20/15. Let g be d/8 + 1 - (-4)/(-16). Is t(g) a multiple of 37?
True
Let l(w) = -2945*w + 593. Is l(-2) a multiple of 28?
False
Does 5 divide (-50)/(-375) - ((-626698)/15 + -5)?
True
Suppose 3*z - 108 + 48 = 0. Suppose 4 = -2*f - 4*x - 10, -4*x = -4*f + z. Is (6 - 5)*(-1 + 55 - f) a multiple of 8?
False
Let h = 194 + -190. Suppose 17*r - 160 = -h*p + 13*r, -4*p + 5*r + 205 = 0. Does 3 divide p?
True
Let j(k) = -284*k + 14686. Is 15 a factor of j(44)?
True
Let p(o) = -9*o**2 + 4*o**3 + 2*o + 11*o - 14 - 2*o - 5*o**3. Let v be p(-10). Let f = -9 - v. Is 7 a factor of f?
False
Let u = 935 - 153. Is 22 a factor of ((-7)/(-2))/(17/u)?
False
Let a = 112 - 114. Is 26 a factor of (-2337)/(-9) - a/6?
True
Let x(h) = h**2 + 21*h + 22. Let f be x(-20). Suppose 2*a - 18 = -f*c - 0*c, -5*a = 2*c - 39. Suppose 0 = a*j - 4*j - 312. Is j a multiple of 5?
False
Let k(h) = -h**3 - 5*h**2 + 7*h + 14. Let i be k(-6). Suppose -y - 2 = -n - 3*y, 4*n - i = -5*y. Is (-6)/2 + 6 - (-60)/n a multiple of 13?
False
Suppose 8*a - 23 = 25. Suppose 0 = a*m - 2530 - 50. Does 43 divide m?
True
Suppose -15*v = -16*v - 3, -3*s + 1263 = -5*v. Does 8 divide s?
True
Does 109 divide ((-274791)/484)/(1/(-8))?
False
Suppose -3*i = 12, -820*u - 5*i - 2699 = -823*u. Is u a multiple of 11?
False
Let u = 6638 - -16829. Is u a multiple of 16?
False
Let k(v) = v**2 - 16*v + 20. Suppose i = r + 13, -4*i + 28 = -2*r + 6*r. Let b be k(i). Is 20 a factor of (-8)/(-3)*12*b/(-64)?
True
Suppose 4*f - 26 - 3 = -3*v, 37 = 5*v + f. Suppose 3*r + 12 = 0, -2*y = -v*y + 4*r + 226. Is 14 a factor of y?
True
Let r = 27 + -27. Suppose r = b - 2. Suppose z + 20 = b*z. Is z a multiple of 5?
True
Suppose 2*y - 27 = 5*b, -2*y + 1 = 2*b - 5. Suppose -y = 3*v - 12. Is 12/4*v/1 even?
True
Suppose 2*l - 14 = -0*l. Suppose p - l = 3. Is (-1920)/(-75) - (-4)/p a multiple of 13?
True
Let j(d) be the second derivative of d**6/24 - d**5/40 - d**4/12 + d**3/6 + 24*d. Let w(n) be the second derivative of j(n). Is w(-1) a multiple of 6?
False
Suppose -56 = -3*y - 5*p + 71, -4*p = y - 54. Let k be (-23)/46 + y/4. Let g(x) = -4*x + 72. Is g(k) a multiple of 4?
True
Let g(f) = -f**3 + 11*f**2 + 56*f + 12. Let q be g(13). Let l = q - 198. Is l a multiple of 12?
True
Let y(d) = -14942*d + 2660. Is 13 a factor of y(-1)?
True
Let m(r) = -6 + 4*r - 7*r - 10*r - 7. Let b(p) = -38*p - 39. Let o(d) = 6*b(d) - 17*m(d). Is o(-5) a multiple of 3?
False
Let b(d) = 364*d - 4. Does 30 divide b(1)?
True
Let j(v) be the second derivative of v**3/6 - 3*v**2/2 - 784*v. Suppose -s + 3*d + 13 = 0, 0 = -s - 4*d - 21 + 55. Is j(s) even?
False
Let u be (-2)/1 + 17*1. Suppose 16*w = u*w + 92. Let g = -47 + w. Is g a multiple of 15?
True
Let h(w) = w**3 - w**2 + 10*w + 2. Suppose 3*o = -4*r + 6*o + 24, r = 5*o + 6. Is h(r) a multiple of 5?
False
Suppose 2*j = 2*l + l + 280, 2*j - 2*l = 284. Suppose -4*c + 2*c + 3*g = -j, -c = 4*g - 51. Does 13 divide c?
False
Let q = 79 + 96. Suppose -u - 5*s = -147, -12 + q = u + s. Does 19 divide u?
False
Let h = -670 + 82. Is h/(-8)*2/3 - 4 a multiple of 15?
True
Suppose 25*m - 87168 = 9*m. Is 6 a factor of m?
True
Let z(u) = -3*u**2 - 12*u + 39. Let y be z(-7). Does 8 divide (630/25)/(y/(-320))?
True
Is 4 a factor of (((-1152)/20)/4)/((-180)/24600)?
True
Suppose -4*p - 3*w = -76, 0*p - 3*w + 32 = 2*p. Let g = -60 + p. Let a = g - -40. Does 2 divide a?
True
Let h = 190 - 330. Let x = 427 - h. Does 72 divide x?
False
Let c(h) = 2*h**3 - 21*h**2 - 23*h + 380. Is c(19) a multiple of 5?
True
Let x be (-4)/10 - 15288/(-120). Suppose -2*q - 15 = -x. Suppose -5*s = -4*l + 90, 0 = 2*l + 3*s - 0*s - q. Does 2 divide l?
False
Suppose 2*v + 26900 = 3*a, 3*a - 7*v + 2*v = 26885. Suppose a = 6*o + 17*o. Does 30 divide o?
True
Suppose -8*a - 3950 = -10*a. Let g = a + 3855. Does 7 divide -1 + 3/2 + g/44?
True
Suppose 11*o = 11046 + 3738. Is 32 a factor of o?
True
Let l(r) = -3*r + 8. Let x be l(3). Is 51 - (-1)/x - (0 - -4) a multiple of 4?
False
Let l be (10 + -2)*(-4)/(-16). Suppose -w + l*a + 230 = 2*w, -20 = 5*a. Suppose 5*b - 64 = -2*y, 4*y - w - 10 = b. Does 22 divide y?
True
Suppose -192*r - 3*i + 6591 = -187*r, -4*r + 5289 = -3*i. Is r a multiple of 2?
True
Suppose 10*v + 34 = -56. Is 41*(5/(-15)*v - 2) a multiple of 2?
False
Suppose 54*t - 59*t + 625 = 0. Suppose 10 = 2*o, 4*q - 4*o - 717 = -t. Does 9 divide q?
True
Suppose 0 = -4*l + 492 - 444. Does 8 divide 1312/l*(-3 + -4 + 13)?
True
Suppose -3341*v + 3348*v = 81543. Does 11 divide v?
True
Let y(a) = 4*a**2 - 156*a - 179. Let p(m) = -m**2 + 31*m + 36. Let g(h) = -11*p(h) - 2*y(h). Let d be g(22). Suppose 260 = -4*j + d. Is j a multiple of 12?
False
Let k(s) = 7*s + 4*s**2 + 14*s**2 - 2*s**2 - 8*s. Let i be k(2). Suppose v + 2*r - i = 0, -3*v - 3*r = -4*r - 179. Is v a multiple of 15?
True
Let m = 75 + -53. Is 10 a factor of (-62)/(-2) + (-22)/m?
True
Let l(u) = -41*u + 130. Let m be l(-4). Is ((-11340)/m)/((-6)/140) a multiple of 26?
False
Let c(y) = -3*y**3 - 2*y**2 + 23*y + 16. Let z be c(-6). Suppose 3*m - 194 = z. Is 38 a factor of m?
False
Suppose 4*u - 9406 = 3*p, -2*u = -11*p + 6*p - 4724. Does 32 divide u?
False
Let o = -152 + 16. Let s be o/(-7) - 24/(-42). Does 31 divide ((-309)/(-2))/(15/s)?
False
Let g(r) = 59*r**2 + 13*r - 12*r**3 - 96*r**2 + 6 + 39*r**2. Is g(-4) a multiple of 29?
True
Let x be 4/18 + 2 + (-2)/9. Let w be (x + -2)*(-3)/(-6). Does 12 divide (-22)/(-1) + (-2)/(-2) + w?
False
Suppose -2*o - 14*o = -3*o - 64584. Does 24 divide o?
True
Suppose -4*s + 642*c - 646*c + 740 = 0, -2*c = 8. Does 63 divide s?
True
Let v be (-24)/((15/45)/(2/(-6))). Let g(n) = v - 15*n - 1 - 4*n**2 + 5*n**2. Is g(16) a multiple of 13?
True
Let i(p) = -p**3 + 2*p**2 + 9*p - 2. Let s be i(4). Suppose 0 = -4*w - 12, -8*w = -s*j - 3*w + 15. Does 2 divide (-3 + j)*-1 + 18?
False
Let r be (-4)/(-12)*-1 - (-38)/(-3). Is 22 a factor of ((-16)/2)/((-1425)/(-110) + r)?
True
Let m(c) = -487*c + 99. Let r be m(-8). Suppose 33*g - 4387 = r. Is 84 a factor of g?
False
Let q(k) = -k**3 - 10*k**2 - 2*k - 15. Let g be q(-10). Suppose 265 = g*f + 5*u, -3*u = f - 6*f + 289. Is 16 a factor of ((-48)/(-14))/(4/f)?
True
Suppose b + 30 = -4*b. Let v be 4/b*(-27)/6. Suppose 4*t + a - 259 = -82, 0 = -v*t + 3*a + 129. Is 10 a factor of t?
False
Does 4 divide ((11/5)/(56/(-140)))/(6/(-660))?
False
Let v(h) = 8*h**2 + 15*h - 51. Let p be v(3). Does 37 divide ((-140)/(-24))/7 + 85943/p?
False
Let p(q) = 18*q - 2. Let z be p(1). Let a(s) = 14*s - 54. Let r be a(z). Let u = 258 - r. Is u a multiple of 10?
False
Let v(z) be the third derivative of -17*z**4/8 + 11*z**3/2 - 292*z**2. Is v(-2) a multiple of 3?
True
Let h be (33/(-2))/((-6)/4 + 1). Let z be (-468)/(-33) + -2*3/h. Is (-5316)/(-84) + (-4)/z a multiple of 21?
True
Suppose -4*o + 9 = 3*n, -4*o = -n - 6 - 7. Is (3/(-8)*4)/(o/(-906)) a multiple of 44?
False
Let b = -231 + -1346. Let a = -1067 - b. Does 30 divide a?
True
Let z = 24 + -6. Let f(r) = 14*r - 190. Is 3 a factor of f(z)?
False
Let k = 26502 - 21790. Is 38 a factor of k?
True
Suppose -5*l = -6*l + 4*b + 18, 33 = 5*l - b. Suppose 5*z = 2036 - l. Is z a multiple of 58?
True
Let v(o) = o**2 + 19*o + 42. Let y be v(-17). Let f be -4 - 2/(-4)*y. Suppose -2*p - l = -187, 3*p + l = -f*p + 278. Is p a multiple of 7?
True
Is 5 a factor of (-168)/(-1512) - 2248/(-18)?
True
Let z = 1507 + 2378. Is 37 a factor of 