 0. Is y(f) a multiple of 27?
True
Let n(c) be the second derivative of 0*c**2 - 5*c - 7/6*c**3 + 0 - 1/20*c**5 - 7/12*c**4. Is 2 a factor of n(-6)?
True
Let n(o) = 2*o**2 - 10*o - 9. Let w be n(-1). Suppose 3*t = w*l + 885, -t + 3*l - l = -297. Is t a multiple of 53?
False
Let j be (-1 + 2/1)*69. Let o = -49 + j. Is 20 a factor of o?
True
Let a be 37 - (0 + 2) - (-6)/3. Suppose -l + 61 = 2*l + 2*r, 2*l - a = -5*r. Does 7 divide l?
True
Let x = -37 - 5. Let l = -28 - x. Let z = 12 + l. Does 14 divide z?
False
Suppose -5*m = -3565 - 3035. Suppose -5*a - m = -2*p, -3*a - 818 = -0*p + 4*p. Does 16 divide a/(-19) - (-3 - -1)?
True
Let v(f) = 2*f**2 - 2*f - 6. Let i be v(-5). Let d = i + -6. Suppose -2*g = -0*g - d. Is 12 a factor of g?
True
Is (-7)/(28/(-3540))*(-4)/(-10) a multiple of 10?
False
Suppose -x + 0*x = -3*d + 4, -2*d + 4 = 0. Does 12 divide (-448)/35*((-15)/x)/1?
True
Suppose -10 = 5*o + q - 2*q, -3*o - 6 = -5*q. Is 24 a factor of (-9 + 5 + o)/(1/(-24))?
True
Suppose -13*z = -19468 - 4244. Does 58 divide z?
False
Let h = 5 - 9. Let y be 4 - (8/h)/(-1). Suppose 4*r - y = 10. Is r a multiple of 2?
False
Suppose -3*d + 3409 = -v, -5*d + 5689 = -0*v + 2*v. Does 20 divide d?
False
Let v be (20/(-4) - -1) + 232. Suppose 3*m - 601 = -9*q + 4*q, 2*q - 5*m = v. Does 34 divide q?
False
Let c = -30 - -90. Let r be 2 + 2 + 4 + -6. Suppose r*u - c = -u. Is u a multiple of 6?
False
Suppose 3*r = -0*r + 9. Suppose -r = -4*g + 9. Suppose -26 = g*i - 5*i. Does 4 divide i?
False
Suppose -85 = 5*k + 60. Let b = 36 + k. Suppose 0 = -2*m - 4*l + 204, 3*l - b*l = -2*m + 228. Does 13 divide m?
False
Is 20 a factor of 3/(-6)*-1478 + (-21)/(-21)?
True
Suppose 3*d = 2*d - 4*m + 14, -2*d + 28 = m. Suppose p - 5 = -4*q + 7, -6 = -2*q - 2*p. Suppose -q = x - d. Is x a multiple of 2?
False
Is -1*62/6*-84 - 2 a multiple of 15?
False
Let i be 3*((-979)/(-165) + (-6)/10). Let f = 2 + 2. Suppose -i = -0*c - f*c. Is 4 a factor of c?
True
Let d(r) be the first derivative of 3*r - 1 - 3*r**2 - 1/3*r**3. Does 7 divide d(-4)?
False
Suppose 0 = 2*f + 6, -4576 = -5*k + 2*f - 5*f. Suppose -6*n + k + 475 = 0. Is 23 a factor of n?
False
Is 492/(-21)*(-8 - 9/(-2)) even?
True
Let r(z) = 2*z**2 + 68*z + 296. Is 73 a factor of r(-33)?
False
Let q = 357 - 38. Is q a multiple of 27?
False
Let q = -278 - -149. Let f = q + 228. Is 11 a factor of f?
True
Let d = -514 + 1882. Is 22 a factor of d?
False
Let i = 11 + -11. Suppose -2*g + g - 3 = i. Does 9 divide 720/50 - g/5?
False
Is ((-6510)/9)/((-4)/6) a multiple of 21?
False
Let v be 36/(-14)*28/(-6). Suppose -4*s + v = -f, 0 = s - 2*s + 4. Suppose 4*t - 92 = f*i, 3*t + 8*i - 3*i - 45 = 0. Is 14 a factor of t?
False
Let m(p) = -p**3 + 2*p**2 + p. Let i be m(2). Suppose -3*u + b = 5, 10 = i*u - 3*u + 2*b. Suppose u = 5*f, 5*x - 123 = f + 57. Is x a multiple of 12?
True
Let f = 68 - 63. Suppose -h + j - 25 = -79, j + f = 0. Does 7 divide h?
True
Let z(g) = 2*g + 361. Is z(0) a multiple of 13?
False
Let m = 36 - -83. Is 7 a factor of m?
True
Suppose -167 = -4*c + 473. Suppose 2*l = -68 + c. Is 5 a factor of l?
False
Let x = -5460 - -8785. Does 37 divide x?
False
Is 2/(-2 + (-168)/(-78)) even?
False
Suppose -x = -5*c + 172, 5*x + 725 = -0*c - 2*c. Let l = -60 - x. Is l a multiple of 17?
False
Let u = 13 - 13. Suppose u = -10*b + 2*b + 448. Let i = b + -20. Does 9 divide i?
True
Let o = -1224 + 2159. Does 20 divide o?
False
Let d(r) = r**3 - 10*r**2 + 6*r + 11. Does 27 divide d(11)?
False
Let c(i) be the second derivative of -i**3/2 + i**2/2 + 14*i. Is c(-7) a multiple of 22?
True
Suppose -3*h - 3*j = 93, -2*h + 4*j + 6 = 86. Let s = 61 + h. Is s a multiple of 6?
False
Is (5/(-3))/(2 + 5511/(-2754)) a multiple of 30?
True
Let n = -7 + 22. Suppose n = 5*u - 15. Is 12 a factor of 2/u*126/3?
False
Does 26 divide ((-12)/(-30))/(-2) - 31464/(-45)?
False
Let c(s) = -s**2 + 8*s - 9. Let j be c(6). Suppose -j*n + 18 = -3*t, 4*n - 24 = 4*t + n. Let q(o) = -o**2 - 7*o + 9. Is 3 a factor of q(t)?
True
Suppose -121 = -s - 3*o, 3*s - 86 - 244 = 2*o. Suppose -s = -v - 38. Is 18 a factor of v?
False
Let n(q) = 3*q - 3. Let o be n(-3). Is 8 a factor of (8/10)/(o/(-960))?
True
Suppose 576 = -0*q + 9*q. Is q a multiple of 44?
False
Suppose -c = 4, -2*n - 2*c + 186 = -3*c. Does 37 divide n?
False
Suppose -2 = 4*g + 22. Let m = 8 + g. Suppose -5*k = -m*n - 45 - 82, 0 = -4*n - 4. Is k a multiple of 8?
False
Suppose -20 = -0*y - 5*y. Suppose 3*c - n - 187 = 4*n, 103 = 2*c + n. Suppose c = y*h - h. Is 18 a factor of h?
True
Let v be (-22)/(-121) + (-106)/(-22). Suppose 0 = v*b - 3*g + 497, -g - 121 = b - 20. Does 11 divide b/(-3) + 7/(-21)?
True
Let l = 14 - -2. Does 12 divide (1/2)/(l/2656)?
False
Suppose 0 = 4*m + o - 12602, -25*m = -28*m + 3*o + 9444. Is m a multiple of 18?
True
Let r(m) = 112*m + 5. Let z be r(1). Is (z/3 + 3)*2 a multiple of 38?
False
Let q = 65 - -10. Let c be 7 - (-559)/(-78) - 323/6. Let a = c + q. Is 9 a factor of a?
False
Suppose 6 = -7*n + 10*n. Let q(w) = 3*w + 6. Let y be q(n). Suppose y*f - 11*f = 9. Does 8 divide f?
False
Let x = 512 + -114. Suppose 3*j = -5*d + x, 4*d = -2*j + 104 + 164. Is 18 a factor of j?
True
Suppose 10*x - 75 + 5 = 0. Suppose -9*b = -x*b - 190. Is b a multiple of 19?
True
Let q(y) = y**3 - 2*y**2 + 3*y. Let l be q(2). Let s be (-1)/((-1)/l*2). Let m = 23 + s. Is m a multiple of 5?
False
Let p = -11 + 21. Let y(d) = d + 11. Let v be y(p). Suppose -2*b - b + v = 0. Is b a multiple of 7?
True
Let n = 2 - -1. Suppose -c - 2*h = -24, 2*c + 4*h = 9*h + 48. Suppose n*d = 126 + c. Is 11 a factor of d?
False
Suppose 86 = 5*f + 4*s, -5*f - 9*s = -4*s - 85. Suppose -4*u = 3*o - 21, 4*u - f = -o - o. Suppose -5 = v, -u*l + 2*v - 150 = -7*l. Does 20 divide l?
True
Let s(q) = -q**3 + 8*q**2 + 11*q - 6. Let a be s(9). Suppose a*p = 8*p - 4. Does 2 divide 5/2 + p/(-2)?
False
Suppose o - 2 = 1. Let h(s) = s**3 - 4*s**2 + 4*s. Let k be h(o). Suppose -w + 32 = k*w. Does 4 divide w?
True
Let y(u) = 2*u + 3. Let n be y(6). Let a = n - 29. Does 19 divide 7/a*(-64 + 0)?
False
Suppose 0 = -h - 4*i + 6, 0*h = 2*h - 4*i + 12. Is 9 a factor of h + 24/14 + 2750/70?
False
Let w(k) = k**3 + 8*k**2 - 9*k + 4. Let j(c) = -c**3 - 3*c - 2. Let v be j(-3). Suppose 0 = -i + 5*f - v, 3*f - 43 = 2*i - 2*f. Does 4 divide w(i)?
True
Let t be 1*-8*24/(-48). Suppose 2*p - 209 = 5*f, t*p = -0*p - 2*f + 358. Suppose -4*d + p = 2*a, 2*d - d = -5*a + 5. Is d a multiple of 5?
True
Let r be 2386/6 + 10/30. Suppose r = 4*d - 190. Is d a multiple of 34?
False
Let x be ((-4)/5)/(12/(-30)). Suppose -77 = -i - 2*i - t, -t - 53 = -x*i. Is i a multiple of 4?
False
Suppose -4*q - 1158 = -p, 5*q = -10 + 5. Does 7 divide p?
False
Suppose -4*w + 11 = -1. Suppose -3*l - 1 - 2 = w*n, 0 = -2*n + 5*l + 5. Suppose -5*a = -5*d - 485, n = -a - 4*d - d + 127. Is 30 a factor of a?
False
Let b = 1025 - 692. Is b a multiple of 31?
False
Let w = -2 - 1. Let l(a) = 7*a**2 + a + 3. Does 21 divide l(w)?
True
Suppose 2*f - 2*j = 6, -f + 2*j = -0*f - 2. Suppose f*o - 227 = 3*a - 6*a, 0 = 4*o + 5*a - 229. Suppose m - o = -3*m. Is 7 a factor of m?
True
Suppose -14*r + 15 = -11*r. Suppose -3*q + 52 = r*d - 39, 64 = 2*q + 5*d. Is q a multiple of 27?
True
Suppose 3*a = 7 + 2, -3*z + 2*a + 492 = 0. Let c = z - 57. Is 21 a factor of c?
False
Let v = -1685 - -2565. Is v a multiple of 49?
False
Suppose 2*c - 2*o = -20, 32 = -3*c - 0*c + 4*o. Let m be 1/((14/c)/(-7)). Suppose m*z - 26 = 2. Is z even?
False
Let g be (8/(-20))/((-2)/10). Suppose 0 = -2*l + 2*k + 2, 5*l + g*k = -12 + 3. Let j = 26 + l. Does 7 divide j?
False
Let m = -78 - -84. Is 2 a factor of -5 + m + (-1 + 3)*1?
False
Let f(i) = i**3 + 1. Let h(b) = b**2 - 3*b - 3. Let r be h(4). Let c be f(r). Does 12 divide c/3 + (-70)/(-3)?
True
Suppose 978 = 5*n + 38. Let a = -132 + n. Is a a multiple of 9?
False
Let p(w) = -w + 10. Let r(m) = 2*m - 20. Let x(j) = 9*p(j) + 4*r(j). Does 8 divide x(-6)?
True
Suppose -5*d = d - 186. Suppose -209 - d = -5*f. Is 11 a factor of f?
False
Let i be 0/(-2*(4 + -3)). Suppose i = -2*q + 7*q - 2*p - 106, -5*q + 91 = 3*p. Is q a multiple of 20?
True
Let i be (3/1)/((-9)/6). Let m be (9/i)/((-4)/16). Suppose -k = -0*k - m. Is k a multiple of 9?
True
Let x(i) = -i**3 - 6*i**2 + 18*i + 15. Let n(b) = 3*b