(w) = -w + 5. Let u be d(0). Suppose 0 = -2*c + k + 175, -4*c - 444 = -9*c - 4*k. Suppose y + c = u*y. Is y a multiple of 13?
False
Let p = 82 + -7. Is p a multiple of 16?
False
Let g(x) = -x**3 - 4*x**2 - 4*x + 7. Let s be g(-5). Suppose a - 46 = 2*f, -2*a - f = 3*f - s. Is a a multiple of 18?
True
Let o be (-2)/12 - 1/(-6). Suppose c = -o*c + 8. Is c a multiple of 5?
False
Let c(b) = 99*b**2 - 4*b - 3. Is 25 a factor of c(-1)?
True
Suppose 20*p = 15*p + 355. Is 18 a factor of p?
False
Let k = -5 - -8. Suppose 10 = q + q + k*b, -3*q + 3*b = 0. Suppose -5*n = -5*d + 145, q*d - 18 = -2*n + 60. Does 17 divide d?
True
Let m(c) be the first derivative of c**6/180 - c**4/6 + c**3/3 - 2. Let t(o) be the third derivative of m(o). Does 9 divide t(-3)?
False
Suppose -50*f = -52*f + 506. Is f a multiple of 54?
False
Let k(u) = u**2 + 6*u + 2. Let w be k(-6). Let y = w + 3. Is y a multiple of 5?
True
Let u be 2*3/(-12)*2. Let p be (1 + -2 + 1)/u. Let d = 7 - p. Is 4 a factor of d?
False
Let h(d) = -d**2 + 8*d + 2. Is h(5) a multiple of 17?
True
Let q(b) = b**3 - 6*b + 3 - 2 + 3*b**2 + 0. Let m be q(4). Suppose -m + 35 = -p. Is 18 a factor of p?
True
Let n be 0/1 - (-3 + -2). Let l(c) = -2*c + 5*c + n*c - 12 + c**2 - c. Is 5 a factor of l(-9)?
False
Suppose 0*h - 33 = -h. Suppose -5*t - 10 - 6 = -4*g, 0 = -5*g + 3*t + h. Is g a multiple of 3?
True
Let z(s) = s + 1. Let w be z(1). Let l = w - -1. Suppose l*d = -d + 52. Does 13 divide d?
True
Let l(p) = p**3 + 10*p**2 + 8*p + 6. Does 24 divide l(-8)?
False
Let w(o) = 61*o + 2. Let i be w(2). Suppose -5*j + 11 = -i. Suppose -j - 29 = -4*l. Is l a multiple of 7?
True
Is 19 a factor of (40/6)/((-2)/(-6))?
False
Suppose -2*r - 11 = -3. Let b be 1/(-4) + (-13)/r. Suppose 2*a + b*a = 50. Is a a multiple of 10?
True
Let p be (-3 - -12)*-1 + 2. Let a(f) = -f**3 - 5*f**2 + 6*f + 4. Does 15 divide a(p)?
True
Suppose -5*a = -3*a + 98. Let x = a + 91. Does 21 divide x?
True
Let l be (-6 + 6)/(0 - -2). Suppose 4*k = 3*y + 68, l = -5*y + 5*k - 43 - 62. Is 1/((10/y)/(-5)) a multiple of 4?
True
Suppose 3*v = -o + 29, 12 + 3 = v + 3*o. Is v a multiple of 9?
True
Suppose 3*z + 6*g = 2*g + 21, -4*z - 5*g + 27 = 0. Is z a multiple of 3?
True
Let d(l) = l**3 - 2*l**2 - 5*l + 2. Suppose -p + 20 = 16. Does 14 divide d(p)?
True
Let l = -2 - -7. Let u = l - 1. Is (u/5)/((-2)/(-5)) even?
True
Let a(y) = y**2 + 3*y + 2. Let i be a(-3). Suppose 52 = i*w - 0*w. Is w a multiple of 19?
False
Suppose -122 = -7*t + 46. Is t a multiple of 8?
True
Let i be (6 - 0)*1/3. Let c(q) = 5*q**2 + 2 - 2*q**2 + q**3 - 5*q**2 + 0*q**2 + 2*q. Is 6 a factor of c(i)?
True
Let b = -116 - -217. Does 6 divide b?
False
Let p be 2 + (1 - (-30)/3). Is 11 a factor of -1 + -3 + 2 + p?
True
Suppose 0 = -4*z + 5*l + 745, -178 - 7 = -z + l. Does 23 divide z?
False
Let f(i) = 2*i**2 - 8*i + 7. Let r be f(6). Let p = r - 8. Is 23 a factor of p?
True
Let b(c) = c**3 + 8*c**2 - 12*c - 9. Does 4 divide b(-9)?
False
Let n(p) = 17*p - 5. Is n(3) a multiple of 12?
False
Suppose 7*m + 5*o - 17 = 6*m, -2*m - 5*o + 29 = 0. Let l = m + -6. Is 6 a factor of l?
True
Let d be (-32)/(-4) + 2*-1. Does 17 divide (d/15)/(1/90)?
False
Let v = -17 - -129. Is v a multiple of 5?
False
Let l be 3 + (0 - -1 - 1). Suppose t = -2, -l*t - 35 = -2*h + 21. Is h a multiple of 10?
False
Suppose -25 = -5*z, 3*l = 2*z + 2 - 3. Suppose 0 = 4*i + 4*f - 64, -2*i + l*f + 6 = -21. Is i a multiple of 10?
False
Suppose 8*j + j - 540 = 0. Is j a multiple of 18?
False
Let l(b) = -b**2 + 7*b - 6. Let q be l(6). Suppose q = 3*h - 4*n - 20 - 3, -2*h + 22 = 4*n. Is 5 a factor of h?
False
Suppose -75*l = -79*l + 264. Is l a multiple of 18?
False
Suppose -17*p + 4*p = -78. Does 3 divide p?
True
Let g = 109 + -77. Suppose -g = -u + 4*f, -3*u + 84 = 2*u - f. Is u a multiple of 16?
True
Suppose 3*b = -2*g + 11 + 85, -5*g + 290 = -5*b. Is g a multiple of 18?
True
Let s(y) = -3*y + 3*y**2 + 4*y - 3*y + 4 - 2*y. Does 7 divide s(3)?
False
Suppose -5*v - 6 = -1. Let s = v - -1. Suppose s + 4 = m. Is 3 a factor of m?
False
Let a(h) = 2*h**2 + 5*h + 2. Let u be a(-3). Suppose -u*r + 7 = -4*z - 58, -4*z = -r + 13. Is r a multiple of 3?
False
Let x(u) = -u + 127. Let f be x(0). Suppose -4*p + 4*r = -0*p - 80, 5*p + 4*r = f. Is 17 a factor of p?
False
Let a = -47 + 95. Is 12 a factor of a?
True
Let n = -8 + 13. Let j = n + -3. Suppose 5*f - 2*h = 60, -23 - 10 = -j*f - h. Does 6 divide f?
False
Let d(x) = x**2 - 4*x - 27. Is 23 a factor of d(12)?
True
Let t(q) = -54*q**3 - q**2 - q. Let r be t(-1). Suppose 5*z + v + 3*v = r, 18 = 2*z - 2*v. Suppose o = -2*i + 23 - z, 0 = -2*o - 2*i + 28. Does 8 divide o?
False
Let h(c) = c + 4. Let i be h(0). Suppose i*n - 5*n = 0. Let k(t) = t + 10. Is k(n) a multiple of 10?
True
Let s be (-2)/6*2*-6. Suppose -s*i = -j - 32 - 11, 3*j = -i + 27. Is i a multiple of 10?
False
Let v be 4 + -1 - (-1 + -24). Suppose z - 5 = v. Does 11 divide z?
True
Let s(y) = -y**3 + 13*y**2 - 5*y + 5. Let w be s(11). Let n = -93 + w. Does 33 divide n?
True
Let f = 81 + -27. Suppose -f = -5*n + 21. Is 5 a factor of n?
True
Let x(u) = u**2 - 6*u + 5. Let y(d) = -d - 11. Let l be y(-9). Let z be l + 3 - (-10)/2. Does 3 divide x(z)?
False
Let m = -22 - -35. Is 13 a factor of m?
True
Suppose -420 = -3*b - 2*b. Let l = 123 - b. Is l a multiple of 10?
False
Let a(r) = -r**3 + 8*r**2 - 7*r + 2. Let w be a(7). Suppose 3*x - 65 = -w*x. Is 3 a factor of x?
False
Let n = -8 - -40. Is 3 a factor of n?
False
Suppose 944 = -0*m + 4*m. Let h = m - 119. Let j = 168 - h. Is j a multiple of 22?
False
Suppose -2*i - i + 45 = 0. Let o = -12 + i. Is 3 a factor of o?
True
Let n = -81 + 393. Is 12 a factor of n?
True
Let d be 55*(0 + 42/15). Let f = 217 - d. Does 11 divide f?
False
Suppose -5*f + 67 = -33. Is 6 a factor of f?
False
Suppose -728 = -13*k + 390. Does 31 divide k?
False
Suppose 0*s + 23 = s. Suppose s + 49 = 8*f. Is 2 a factor of f?
False
Let i(w) = w**3 + 4*w**2 - 7*w - 7. Let f be i(-5). Suppose 84 = 3*p - 3*x, 0 = -f*p + 5*x - 7 + 101. Is p a multiple of 14?
False
Let s(q) = 5*q**2 - 2*q - 8. Is s(6) a multiple of 40?
True
Suppose v + 1 = 2*v. Does 17 divide -1 - v*2*-26?
True
Let a(m) = -m + 8. Let o be 30/4*8/10. Let b be a(o). Suppose -b*i = -6*i + 12. Does 2 divide i?
False
Suppose 0 = 2*n - n. Suppose n = -3*o - 2*i + i - 16, 3*i = -2*o - 6. Let k(z) = z**3 + 7*z**2 + 7*z + 9. Is k(o) a multiple of 3?
True
Let s be 20/8*4*1. Let m be 45/s*(6 + -2). Suppose -j + 8 = -m. Is j a multiple of 13?
True
Let j(l) = -l**2 + l - 4. Let z be j(0). Let x = -56 + 90. Is (z - -1)*x/(-3) a multiple of 17?
True
Is 5 a factor of 3*(-3)/((-18)/20)?
True
Is 16 a factor of (2 - 6)/(1/(-4))?
True
Let p(s) = -2*s**3 - s**2 - 15*s - 12. Let a(y) = y**3 + 8*y + 6. Let o(v) = -11*a(v) - 6*p(v). Is 21 a factor of o(-4)?
False
Suppose -4*f + 4 = 4*i, -26 = -f + i + 3*i. Let r(l) = l**2 + 3*l - f + 2*l**2 + 6*l - 4*l**2. Is r(6) a multiple of 6?
True
Let l(s) = -5*s - 37. Does 8 divide l(-9)?
True
Let a(f) = 10 - 4*f - 8*f + 2*f**2 + f - 3*f**2. Is 19 a factor of a(-7)?
True
Suppose 0 = -5*d + 71 + 49. Suppose 6 = -2*y, 3*g + d = 5*g - 4*y. Does 6 divide g?
True
Let j(z) = -z**2 + 3*z + 2. Let d be j(2). Suppose 5*n = -y + 40, d*n + y + 6 = 39. Does 3 divide n?
False
Suppose -2*u - u = l - 64, 128 = 2*l - 2*u. Suppose 5*h + 62 = 2*m + h, -2*h = -2*m + l. Does 10 divide m?
False
Let y(v) = v**3 - 6*v**2 + 4*v + 6. Let k be y(5). Is ((-6)/3 - -45)/k a multiple of 15?
False
Let p(v) = v + 9. Let q be p(-9). Suppose -r = -g - 32, q*r = 4*r - 2*g - 136. Suppose m - r = -3*m. Does 6 divide m?
False
Let c(j) be the first derivative of 11*j**2 - 1. Is 9 a factor of c(1)?
False
Let z(l) = l**3 + 12*l**2 + 9*l - 14. Does 3 divide z(-11)?
False
Let p(i) = i**3 - i**2 + i - 4. Let x = 5 - 2. Is p(x) a multiple of 14?
False
Let s(d) = -12*d + 7. Let h be s(6). Let a = -27 - h. Does 11 divide a?
False
Let r = -102 - -68. Suppose -q - 12 = 7. Let x = q - r. Does 9 divide x?
False
Suppose 0 = -v - 3*v + 408. Suppose 5*t - v = -32. Is t a multiple of 14?
True
Let j(c) = c**3 - 15*c**2 - 8*c + 8. Is 13 a factor of j(16)?
False
Is ((-126)/(-35))/((-12)/(-640)) a multiple of 64?
True
Let j = -9 - -11. Suppose 0 = -3*y + 15, 5*m + j*y - 66 = 24. Does 16 divide