e of -17/6*p**3 + 11/60*p**5 + 3/8*p**4 + 0*p + 0 + 9*p**2 + 1/120*p**6. Is 9 a factor of y(-9)?
False
Let l(p) = 54*p**2 - 2*p - 1. Let b be (1/3)/(3/(-9)). Is 16 a factor of l(b)?
False
Let f = 128 - 56. Suppose -v - v = -f. Let d = v - 16. Is d a multiple of 10?
True
Let c(v) = v**3 - 7*v**2 + 7*v - 3. Let a be c(6). Let u be ((-66)/(-55))/((-2)/(-10)). Suppose -d = -u - a. Does 3 divide d?
True
Suppose 8*w - 441 = 1431. Is w a multiple of 9?
True
Let t(s) = s**2 - 18*s - 11. Let n(z) = -z. Let j be 110/(-30) + (-4)/(-6). Let i(c) = j*n(c) + t(c). Is 16 a factor of i(18)?
False
Let j(m) be the first derivative of -m**3/3 + 5*m**2/2 + 3*m + 1. Let h be j(6). Does 12 divide (-424)/(-12) + (-2)/h?
True
Suppose 2*h = 3*t - 11177, 4*t - 6*h - 14901 = -3*h. Is 8 a factor of t?
False
Let v = 87 + 3033. Does 35 divide v?
False
Let t be ((-24)/(-14))/(3/147). Is 11 a factor of (-24)/t - (-849)/7?
True
Let n be (-2)/(-3) + 56/(-12). Let r be (-5)/(15/6) + n. Let s(p) = -p**3 - 5*p**2 - 2*p - 2. Is 24 a factor of s(r)?
False
Suppose 2*f - 16 = 4*x, -f + 2*x = 4*x - 20. Let b be 4/f - (-172)/(-14). Is 26 a factor of (-932)/b - 2/(-6)?
True
Does 5 divide (1653/(-116))/(3/(-300))?
True
Let g = 7 - 0. Suppose 2*w - 6 = -3*c + g, 3*w + 3*c - 18 = 0. Suppose 0 = -0*t + t + w, 3*u = 4*t + 119. Does 11 divide u?
True
Let l be ((-40)/(-16))/(2/4). Suppose 5*w - 134 = -4*i, 2*i - l*w = -0*i + 52. Suppose -1 = 3*z - i. Does 5 divide z?
True
Suppose 5 = -2*r + l - 4, -2*r - 4*l + 6 = 0. Let y be -3 + r/(-6)*142. Suppose 0 = 4*x - 40 - y. Is x a multiple of 9?
True
Let c be (2 - (-373)/(-3))*(5 + -2). Let x = 597 + c. Is 46 a factor of x?
True
Let f(m) = 4*m**2 + 23*m + 122. Is f(-11) a multiple of 29?
False
Let h be 3 + 4/(-8)*-4. Suppose o = -2*o - 3, h*o - 3 = -4*j. Suppose -5*c - j*b + 54 = -10, 2*b = -3*c + 36. Does 14 divide c?
True
Let p(j) = -j**2 - 1. Let y(t) = -16*t**2 + 4*t - 16. Let x(s) = -20*p(s) + y(s). Let b be x(-6). Let c = 196 - b. Is c a multiple of 27?
False
Let o be 848 - (0/(-3) + -4). Is 8 a factor of 6/27 + o/54?
True
Suppose 3*j = 2*j - 4*o + 25, 0 = 3*j + o - 53. Is 5/((4/j)/4) a multiple of 17?
True
Let o(x) = 143*x + 155*x - 7 - 280*x - x**2. Let p = -3 - -11. Is o(p) a multiple of 24?
False
Let r be (-2)/(-1 - 2/(-3)). Let j be (-2)/3 + 532/r. Does 17 divide (-27)/45 - j/(-5)?
True
Is 34 a factor of (-2907)/9*90/(-9)?
True
Suppose 4*t = -1 + 5, c = 2*t + 14. Let y = -16 + c. Suppose -22 = -m - 2*g - 1, 3*m - g - 84 = y. Is m a multiple of 14?
False
Let l(j) = j**2 + 14*j - 16. Is 4 a factor of l(12)?
True
Let g(n) = -n**3 + 8*n**2 - 6*n. Suppose -5*o - 27 = -v, o = -0*o - 4. Suppose -2*u + v*u - 30 = 0. Is 9 a factor of g(u)?
True
Let i = 44 - 52. Let c(v) = -6*v. Does 6 divide c(i)?
True
Suppose 3*z - 2*w = z + 10, 4*z = w + 11. Suppose 8 = -z*a, -5*u + 11 = -a - 3. Suppose 2*g = 16 + u. Is g a multiple of 3?
True
Suppose 0 = 3*j + 81 + 207. Let k = j - -338. Suppose -50 + k = 4*q. Does 6 divide q?
True
Suppose -462 = -4*d + 3*q, -2*q - 61 = -4*d + 403. Is 9 a factor of d?
True
Suppose 6*j = 1105 + 23. Let v = -64 + j. Is v a multiple of 26?
False
Let i(o) = -3*o**3 + 14*o**2 + 6*o + 2. Is 13 a factor of i(-6)?
True
Let t be 6/24 + (-126)/(-8). Suppose 0 = 2*x + 8, -4*w = 3*x + t. Let u = 11 - w. Is u a multiple of 4?
True
Let m(u) = -32*u**3 - u**2 + 4*u + 5. Is m(-2) a multiple of 13?
False
Let v be (699/6 + 2)*4/6. Let y = v - 28. Is y a multiple of 22?
False
Let j be -1*21*6/9. Let i = 19 + j. Suppose 3*n + x - 66 = -2*x, -i*n - 4*x = -115. Is 9 a factor of n?
True
Let y(w) = 4*w + 30*w**2 - 3 + 1 + 13*w - 31*w**2. Is y(12) a multiple of 23?
False
Let h(q) = 80*q - 12. Does 17 divide h(1)?
True
Is (-24)/42 - 9*(-9670)/35 a multiple of 11?
True
Let i be 0/(-4 + 7) + 8. Let m be (-32)/12*(-138)/i. Suppose -z = 4*u - 6*z - m, 4*u - z - 38 = 0. Is 3 a factor of u?
True
Let j be ((-2)/4)/(1/36). Suppose o = -p - 4*p - 62, 42 = -4*p + 3*o. Does 16 divide (116/6)/(p/j)?
False
Let s(g) = 2*g**2 - 27*g + 43. Is 20 a factor of s(17)?
False
Let r(j) = -j**2 - 3*j - 2. Let p be 3 - ((0 - 4) + 9). Let u be r(p). Is u + -3 + 15 + -1 a multiple of 3?
False
Let v(t) = -46*t**3 - 1. Suppose -4 = -5*d + 11. Suppose -6 = -d*o, o = -b - 3*o + 7. Is v(b) a multiple of 15?
True
Let x = -84 - -292. Is 16 a factor of x?
True
Let q(a) = 22*a + 2. Let g be q(-2). Let t be ((-174)/145)/(3/(-2))*115. Let c = g + t. Is 17 a factor of c?
False
Let b = 1149 - 609. Does 44 divide b?
False
Suppose -2*u - 2*x = -222, 45*u = 49*u + 2*x - 452. Is 2 a factor of u?
False
Is 16 a factor of (5442/18)/((-1)/(-3))?
False
Let f(d) = 53*d**2 - 52*d - 330. Is 105 a factor of f(-6)?
True
Let w be ((-13)/(-4))/(8/32). Suppose -5*z + 216 = w*z. Is 4 a factor of z?
True
Let j(z) be the first derivative of -17*z**2/2 + 15*z - 12. Is j(-3) a multiple of 11?
True
Let i be (2/(-5) - (-12)/(-20))*-4. Suppose w = z + 129, i*z = 2*w + 48 - 314. Is w a multiple of 32?
False
Suppose -4*q + 5*q = 0. Let x be (-15 - -2)*(q - 1). Let i = x - -14. Does 10 divide i?
False
Suppose -5085 = -159*u + 156*u. Is 73 a factor of u?
False
Let q(w) = 2*w**2 - 4*w - 1. Let g be q(3). Let t(v) = v - 1. Let x be t(1). Suppose 0*n - g*a - 162 = -2*n, -4*a = x. Is 27 a factor of n?
True
Does 39 divide -265*(-1)/(7/7)?
False
Let r(f) = 2*f**3 - 11*f**2 + 11*f + 3. Is r(5) a multiple of 6?
False
Let v(r) = -r**2 + 36. Suppose -3*n = 2*n. Let c be v(n). Suppose -3*j + c + 0 = 0. Is j a multiple of 12?
True
Suppose -8*x + 2*r = -4*x - 346, -352 = -4*x - 4*r. Let a = x - 43. Is 7 a factor of a?
False
Let n = 171 + -101. Suppose 5*j = 5*g - n, -5*j - 9 = -2*g + 28. Is 8 a factor of g?
False
Let w(p) be the second derivative of -p**3/6 + 15*p**2/2 - 13*p. Let l be w(9). Is (44 + 0)/(-4 + l) a multiple of 22?
True
Suppose 4*t = 0, -8 = -2*p - 2*p - 5*t. Let k(j) = 10*j**2 + 5*j - 2. Let g be k(p). Let o = 123 - g. Is o a multiple of 8?
False
Let r = 9 + -16. Let g = 4 + r. Is 1/g + (-366)/(-18) a multiple of 6?
False
Let u = -1125 - -1799. Is u a multiple of 2?
True
Suppose -m - m + 138 = 0. Suppose -3*f - 11 = -v - f, m = 4*v - 3*f. Does 7 divide v?
True
Let h(r) = -r**3 - 8*r**2 + 10*r + 12. Let y be h(-9). Suppose 2 + y = p. Suppose b - 8 = a + 33, -3*b - p*a = -147. Is b a multiple of 11?
True
Let r be 1*-1 + 13 + -10. Let z be (-82 + r)/2 - -1. Let f = 75 + z. Does 12 divide f?
True
Let a(d) = -d**2 - 21*d + 14. Let o be a(-21). Suppose -4*i = -2*r + 2, 5*r = 3*i + 24 - 5. Suppose r*x + 8 = x, -o = -m + x. Is 6 a factor of m?
True
Let o be 0/(5*(-4)/(-10)). Suppose o = 3*t + 2*t - 660. Is t a multiple of 12?
True
Let q(f) = -2*f**3 + 37*f**2 - 11*f + 23. Is 7 a factor of q(18)?
False
Let d(s) be the third derivative of -s**6/120 + s**5/12 + s**4/24 + 2*s**3/3 + 6*s**2. Let k be d(5). Is (0 - k/(-3)) + 2 a multiple of 4?
False
Does 7 divide (2 - (-21)/(-9))/((-5)/6675)?
False
Let m(l) = -8*l + 3. Let v be m(-2). Let k = v + 13. Does 6 divide k?
False
Let g(t) = t + 8. Let x be g(-6). Suppose 0 = -2*c + k - 2*k + 30, 2*k - 28 = -x*c. Suppose 0 = 3*p - 2*p - c. Does 11 divide p?
False
Suppose -141 = 5*a - 8*a. Let n = a + 23. Is 5 a factor of n?
True
Suppose -570 - 1628 = -2*a. Is a a multiple of 23?
False
Let c(d) = -7*d**2 + 37*d - 1. Let t be c(5). Suppose 4*b - 468 = -t*b. Does 9 divide b?
True
Suppose -3*v + 15 = 2*v. Suppose 166 = -3*k - x, -k - v*x = k + 120. Let i = 79 + k. Is i a multiple of 18?
False
Let z(t) = 6*t**2 + 47*t - 23. Does 15 divide z(-14)?
True
Suppose -7*m + 75 = -387. Is m a multiple of 11?
True
Suppose -2*l + 2 - 4 = -2*j, -l + 5*j - 13 = 0. Suppose 0 = 3*x + l*b - 31, -7*b - 3 = -4*b. Does 3 divide x?
False
Let x = 14 - 12. Suppose 0 = -v + h + 37, 0*h = -x*h - 10. Is v a multiple of 29?
False
Let f be (-1438)/(-14) + (-6)/(-21). Suppose f = -3*z + 280. Is 10 a factor of z?
False
Let d = 360 - 199. Suppose -5*l + 7*l - 230 = 0. Suppose -d - l = -4*x. Is 18 a factor of x?
False
Let b = 301 - 2. Is b a multiple of 77?
False
Suppose -132*j - 1508 = -145*j. Does 58 divide j?
True
Suppose -4*m + 7*m - 156 = 0. Is 18 a factor of -1 + 3*(m - -2)?
False
Let p = -1181 - -1853. Suppose 6*i = f + i - 152, -p = -5*f + 3*i. Is f a multiple of 22?
True
Let q(f) = f**2 + 13. Let v be q(0). Let