 y(x) = 5*x**3 - 2*x**3 + 0*x**3 - 4*x**3 - 3*x**2 - 5*x + 2. Is y(-4) a multiple of 14?
False
Let n(x) = -x**2 - 8*x - 6. Let a be n(-7). Is -3 - -27 - (a - -1) a multiple of 12?
False
Suppose 178 = 8*p - 6*p. Is p a multiple of 24?
False
Let k(n) = -n - 32. Let v(z) = -z - 32. Let p(a) = -5*k(a) + 4*v(a). Let m be p(0). Let f = -10 + m. Is 15 a factor of f?
False
Let w = 119 + -65. Is w a multiple of 14?
False
Suppose -4*v - v + 184 = -2*y, 5*v - 5*y = 175. Suppose -5*s = -9 - 1. Let k = s + v. Is 18 a factor of k?
False
Let j(s) = -2*s - 1. Let i be j(-1). Suppose 0 = -n - i. Is 14 a factor of 3/(n/((-28)/3))?
True
Does 18 divide -6*(-12)/14*(-294)/(-84)?
True
Let y = 7 + -14. Let u = y + 16. Is 9 a factor of u?
True
Let p(k) = -2*k**2 - 3*k - 2 + 5*k + 0*k + 6*k**2. Is p(-3) a multiple of 12?
False
Let a(k) = 74*k**2 + 2*k + 7. Is a(-2) a multiple of 15?
False
Suppose g + 2*z = 2*g - 8, -4*g = -4*z - 20. Suppose -5*m - 2 = g*b - 40, b = m - 2. Suppose 4*f + 22 = m*f. Does 7 divide f?
False
Suppose 2*x + 5*f = 113, -x = -0*x - 4*f - 24. Does 11 divide x?
True
Suppose -3*m = -2*m + 253. Let u = -88 - m. Suppose -5*g - u = -5*z, 3*z + 2*z - 125 = -5*g. Is z a multiple of 11?
False
Let b = 5 + 5. Is 4 a factor of b?
False
Suppose -3*v = -t + 66, -5*t = -2*v + 5*v - 366. Is t a multiple of 9?
True
Does 10 divide (-3 - (-11)/2)*4?
True
Let i(m) be the third derivative of 7*m**5/60 + m**4/6 + m**3/3 + 2*m**2. Let q be (4/10)/(2/(-10)). Is 11 a factor of i(q)?
True
Does 15 divide (12/3)/(8/44)?
False
Suppose -5*z + z - 60 = 0. Let j = 29 + z. Does 7 divide j?
True
Let l(b) = -b**2 + 11*b. Does 9 divide l(5)?
False
Let h(n) = n**2 - 14*n - 23. Is h(17) a multiple of 14?
True
Suppose 9*j - 50 = 4*j. Let l = 23 - j. Does 13 divide l?
True
Suppose 256 - 8 = 4*a. Is a a multiple of 25?
False
Suppose -8*v + 22 = -34. Is v a multiple of 3?
False
Let h(v) = -v**3 - 2*v**2 - 2*v + 6. Let s be h(-6). Suppose -26 + s = 4*p. Does 14 divide ((-5)/5)/((-1)/p)?
False
Let r(p) = p**2 - 7*p + 8. Let c be r(6). Suppose 8 = -2*k - c. Does 5 divide 1/(4/k - -1)?
True
Does 21 divide (36/(-30))/((-4)/320)?
False
Let y be (0/(-2))/((-6)/3). Suppose 2*j - 2 - 6 = y. Is 4 a factor of j?
True
Suppose 3*q - 238 + 25 = 0. Does 17 divide q?
False
Suppose 0 = -m + 40 - 4. Does 5 divide m?
False
Let g(f) = f**2 + f + 15. Let w be g(0). Let q be (-6)/w + (-407)/(-5). Suppose q = 5*o + 6. Does 9 divide o?
False
Suppose -2*o + 7*o = -5*m + 930, 3*m + o - 550 = 0. Does 18 divide m?
False
Let h be (12 - 0)/(0 - 1). Let f = 17 + h. Suppose f*y - 75 = 4*w, 4*w + 0*w = 3*y - 53. Is y a multiple of 6?
False
Let z(j) = -4*j**2 + 9*j + 5. Let p be z(-6). Let y = p - -288. Suppose 0 = -2*s - 3*s + y. Is s a multiple of 9?
False
Suppose -7*f = -2*o - 2*f + 9, -17 = -3*o + 4*f. Let w = 4 - 0. Suppose 0 = -2*k + 4, w*j - 3*k - o - 3 = 0. Is 2 a factor of j?
True
Let h(m) = -4*m - 8. Is 2 a factor of h(-5)?
True
Let x(f) = f**2 - 4*f - 6. Is 3 a factor of x(6)?
True
Let y(z) = -z**3 - z**2 - 2*z + 3. Let c be y(-3). Suppose 3*l = -0*l + c. Let d = 33 - l. Does 15 divide d?
False
Let d(c) be the third derivative of c**7/840 + c**6/240 + c**5/60 + c**4/24 + 2*c**2. Let v(z) be the second derivative of d(z). Is v(-2) a multiple of 8?
True
Is 27 a factor of 1/3 + 483/9?
True
Let r = -7 + 25. Is 14 a factor of r?
False
Suppose 5*p - 4 = -2*l, -p - 3*l = -1 - 5. Suppose -7*j + 2*j + x + 1232 = p, 0 = j + 5*x - 236. Does 11 divide (-4)/(-10) + j/10?
False
Suppose n = -2*b - b + 84, n - 2*b - 59 = 0. Is 2/8 + n/12 a multiple of 6?
True
Suppose 5*q = 25, -4*q = 5*t - 57 + 7. Does 12 divide ((-24)/10)/(t/(-105))?
False
Suppose 3*m + 2 = u, -5*m = -3*u + 2 + 4. Suppose -3*t = 3*c - 24, -u*t = 9*c - 4*c - 55. Is c a multiple of 8?
False
Suppose 3*l + 0 - 9 = 0. Suppose 22 = 2*d - 2*t, 5*d - t - 69 = -l*t. Does 13 divide d?
True
Suppose -4*l + 43 = 11. Suppose -5*p - l = 7, -4*u = 5*p - 57. Is u a multiple of 10?
False
Let o = 9 - 2. Suppose 4*f = -2*b + o + 29, -2*f = -b - 14. Suppose u - f = -u. Does 4 divide u?
True
Let t = -3 + 5. Let y = -6 + t. Is ((-26)/4)/(2/y) a multiple of 9?
False
Let i(o) be the second derivative of o**7/840 - o**6/72 - o**5/24 + o**4/6 + o**3/6 - o. Let b(c) be the second derivative of i(c). Is b(6) a multiple of 9?
False
Suppose -1093 + 1 = -6*z. Is z a multiple of 26?
True
Suppose -124 = -5*l + 36. Does 16 divide l?
True
Let h be 2 - (-2 + 0/(-3)). Suppose -10 = -h*i + 6. Suppose -4*w - 4 = x + w, -i*x + 3*w + 53 = 0. Does 7 divide x?
False
Let p(i) = i**2 - 11*i + 12. Let l be p(10). Suppose -v + 2*y + 8 = -6, -l*v + 2*y = -26. Let n = v - 0. Is 5 a factor of n?
False
Let i(y) = y**3 + 3*y**2 - 3*y - 1. Is i(5) a multiple of 27?
False
Suppose -4*k + 3*k = -88. Does 11 divide k?
True
Suppose -l + 199 - 40 = 0. Does 28 divide l?
False
Suppose -3 = o - 48. Is 12 a factor of o?
False
Let m be (0 - -1)/(7/(-7)). Does 5 divide (15 + (-2 - m))*1?
False
Suppose 2*r + 3*f = -1, 3*f + 7 = -2. Suppose 0 = o - 0*o - r. Suppose -1 = -i + 1, -2*u + o*i = -82. Is u a multiple of 15?
True
Let i(d) be the first derivative of d**2 + 3/4*d**4 - 4/3*d**3 + 1 + 0*d. Is 5 a factor of i(2)?
False
Suppose 12 = 4*k + 4*q, -4*q = -5*k - 0*k - 12. Let w = k - -3. Suppose -46 = -w*d + 38. Is 14 a factor of d?
True
Let k be (-19)/(-6) - (-12)/(-72). Suppose -k*f = -l + 4, -5 - 23 = -2*l + f. Does 6 divide l?
False
Let g(z) = -z**3 + 9*z - 4*z - z + 4 + 3*z**2. Let r be g(4). Suppose -r*y + 5*h + 30 = 0, 1 + 1 = h. Is y a multiple of 5?
True
Let f(g) = g**3 + 4*g**2 - 3*g + 4. Suppose 4*n + 0*n - 12 = 5*z, -z = n + 6. Is f(z) a multiple of 16?
True
Let d be ((-1)/1)/((-8)/152). Let q = d - 11. Is 3 a factor of q?
False
Let f(q) = 11*q**2. Is 4 a factor of f(-2)?
True
Let h(f) = 3*f**2 - f. Let g(i) = -i**2 + 12*i - 1. Let c be g(12). Let q be h(c). Suppose q*j - 15 = 41. Is j a multiple of 7?
True
Suppose -k = -4*k - 60. Is 2/(-2) - k/1 a multiple of 10?
False
Let f(n) = 12*n - 14. Is 17 a factor of f(6)?
False
Let r = -10 + 6. Let d be (-16)/3*(-6)/r. Let o = 8 - d. Is o a multiple of 8?
True
Is (-272)/(-6)*(-3)/(-2) a multiple of 20?
False
Let x be (-1 + 0)/((-4)/16). Suppose x*j = 10 + 86. Is 23 a factor of j?
False
Suppose -o + 86 = j, -j + 5 = -0. Does 9 divide o?
True
Is (-6)/(-27) - 712/(-36) a multiple of 6?
False
Let r be ((-12)/(-6))/((-1)/2). Is 2/r + 102/12 a multiple of 4?
True
Suppose -5*j - l + 29 = 0, 0*j + 16 = 3*j + 2*l. Let i be (-8)/6*j/4. Is 5 a factor of (i - -1)/(1/(-17))?
False
Is -96*((-44)/12 + 3) a multiple of 14?
False
Suppose 0 = -3*s - 5*r + 38, -3*r = -s + 6*s - 42. Let t(h) = h**3 - 4*h**2 - 5*h + 4. Is t(s) a multiple of 21?
False
Let a(x) = -77*x - 3. Let d be a(-2). Suppose -4*l - 2*s = -112, 41 = -4*l - s + d. Is l a multiple of 9?
True
Suppose 3 = 2*g - 3. Let t be 1/g - (-32)/12. Suppose -3*d - 2*y = -4*y - 34, -t*d - 3*y + 9 = 0. Is d a multiple of 4?
True
Let p = 307 - 136. Is 10 a factor of p?
False
Suppose 4*n + l = -3*l + 8, 3*n = -4*l + 5. Suppose 54 = n*b - 12. Is b a multiple of 11?
True
Suppose 2*r + 0 = 8. Suppose -r*d + 44 = -4. Does 7 divide d?
False
Let p = -20 + 68. Does 24 divide p?
True
Let q(m) be the first derivative of 15*m**2/2 + m - 5. Is q(1) a multiple of 16?
True
Suppose -4*m = 3*x - 294, -98 = -x + 5*m - 2*m. Is 14 a factor of x?
True
Is 3/2*400/6 - 0 a multiple of 10?
True
Suppose -4*g - 6 = -7*g. Let q = 4 - g. Suppose 5*z - q - 28 = 0. Does 4 divide z?
False
Suppose 4*p + 37 = 5*p. Let g = p + -25. Suppose 3*s + g = 0, s + 3*s = 4*d - 212. Is d a multiple of 18?
False
Suppose 70 = 4*t + t. Does 13 divide t?
False
Let y be 2/(1*(2 - 0)). Let k = 1 - y. Suppose -m - 4*m + 50 = k. Is m a multiple of 10?
True
Suppose 2*a - 5*c - 110 = -3*a, 0 = 4*a + 2*c - 76. Suppose 0*k + 4*l = -4*k + a, 12 = 4*k - 4*l. Is 2 a factor of k?
True
Suppose -s = 3*f - 86, -f = 4*f - s - 146. Suppose -f + 153 = 2*o + v, -o + 72 = 3*v. Is 20 a factor of o?
True
Suppose 0 = -14*c + 3*c + 473. Is 13 a factor of c?
False
Let l(i) = -i**3 + 9*i**2 + 5*i - 3. Is 6 a factor of l(9)?
True
Suppose 4*o + 5*t = 1304, 1304 = -o + 5*o + t. Does 12 divide o?
False
Let h(l) = -l**2 + 1. Let c(v) = -6*v**2 - v + 1. Let q(o) = -c(o) + 5*h(o). Is 10 a factor of q(-3)?
True
Le