 Is 32 a factor of v?
True
Let z(m) = m. Let j be z(-4). Let v(l) be the third derivative of -l**4/12 - l**3/2 + l**2. Does 2 divide v(j)?
False
Let u = -3 + 5. Suppose -99 = -u*p - 23. Suppose 13 = n - p. Is 17 a factor of n?
True
Does 6 divide (-2*51/(-30))/((-2)/(-10))?
False
Is 9*(-92)/(-42)*7 a multiple of 23?
True
Let b be 1/(-3) - (-68)/(-12). Let s be (3 - 2)/((-2)/b). Is ((-9)/2)/s*-10 a multiple of 15?
True
Let z(g) = g**3 + 6*g**2 - 2. Let k be z(-6). Let f be 1 - 0 - 104/k. Is 14 a factor of f*(5 - 2)/3?
False
Suppose -4 - 4 = -4*w. Suppose w*g - 41 = 103. Suppose p = 4*p - g. Is 12 a factor of p?
True
Let u(c) = -c**3 - 2*c**2 - 5*c - 14. Is u(-4) a multiple of 28?
False
Suppose 0 = 3*w - 0*w - 15. Suppose 2*z + 3*z - 240 = 5*d, 0 = -w*z + 4*d + 239. Is z a multiple of 21?
False
Let p(u) = -u**3 + 3*u**2 + 3*u - 4. Does 2 divide p(3)?
False
Suppose 0 = -3*m + 5*m + 4*k - 44, -5*m + 4*k + 166 = 0. Is 3 a factor of m?
True
Let d = 36 - 4. Is 16 a factor of d?
True
Let o(g) = 6*g + g**2 - g**2 + g**2 + 9 - 3. Does 4 divide o(-7)?
False
Let i(l) = -6*l**2 + 2*l - 2. Let t(y) = 6*y**2 - 2*y + 2. Let s(p) = -p**2 - 1. Let q be s(-2). Let j(h) = q*i(h) - 4*t(h). Is j(2) a multiple of 11?
True
Let f(v) = v**2 - 12*v + 14. Does 14 divide f(16)?
False
Does 39 divide (46/(-6) + 3 - 4)*-27?
True
Is (5/(-10))/((-3)/612) a multiple of 30?
False
Let u(t) = -2*t**3 + 15*t**2 + 9*t + 2. Is u(8) a multiple of 8?
False
Suppose -45 = -5*k + 5*r, r + 8 = 4*k - 40. Let m = 20 - k. Let h = -3 + m. Is h a multiple of 4?
True
Suppose 0 = -q + 5*p + 26, 4*p + 9 - 30 = -3*q. Let z = 23 - q. Is 4 a factor of z?
True
Let a(p) = 2*p + 1 - 3 - 3*p - 4. Let y be a(-6). Suppose y*c + 140 = 5*c. Is c a multiple of 17?
False
Suppose -5*i = 13 - 33. Let f = i + -2. Suppose 5*h - 81 = -0*h + 3*b, -f*h = -3*b - 27. Is h a multiple of 11?
False
Let n(w) = w**2 + w - 1. Let f be n(-3). Suppose 3*k + r = 5*r + 18, -4*r - 38 = -f*k. Does 10 divide k?
True
Suppose 0*q + 10 = 5*q. Let n be q/5*(3 - -2). Suppose 5*u + 40 = 5*d, -n*d + 2*u - 23 = -3*d. Is d a multiple of 10?
False
Suppose 0 = -5*i - 20, 5*g + 48 - 18 = -5*i. Let h(w) = -3*w - 1. Let n be h(g). Suppose 3*s + 272 = n*o, 112 = 6*o - 4*o + 2*s. Is 17 a factor of o?
False
Let f be -20*-6*3/8. Let d = f - 25. Is 11 a factor of d?
False
Let g(a) be the third derivative of -a**6/120 + 2*a**5/15 - a**4/6 + 5*a**3/6 - 4*a**2. Does 10 divide g(7)?
False
Let l(q) = 6*q**3 - 2*q**2 + 2*q - 3. Is 11 a factor of l(2)?
False
Let t(p) = 6*p**2 + 14*p + 4. Let q(o) = -5*o**2 - 13*o - 4. Let s(a) = 5*q(a) + 4*t(a). Let g be s(-8). Suppose -66 + 14 = -g*h. Is h a multiple of 8?
False
Let y(z) = -z**3 + z**2 + 1. Let x be y(2). Let v be (0/2)/(3/x). Is (-1 - v/(-1))*-24 a multiple of 12?
True
Is 4 a factor of (-1)/(((-3)/(-3))/(-14))?
False
Suppose 8*g = 11*g - 63. Is g a multiple of 20?
False
Suppose 0 = -2*i + 6*i - 308. Does 24 divide i?
False
Let i be 2/(-24)*-3*-4. Let m(s) = -13*s**3 + s + 1. Is m(i) a multiple of 13?
True
Let i(w) = w**3 + 10*w**2 - w - 7. Let f be i(-10). Suppose -f*y = -59 - 49. Is y a multiple of 12?
True
Suppose 359 = 5*h + 2*u, -3*u + 8*u - 223 = -3*h. Is 12 a factor of h?
False
Let a(v) = -v**2 - 9*v - 6. Suppose -2*g = 4*y + 10 + 2, 3*g = -4*y - 20. Let q be a(g). Is 7 a factor of q/6 + (-164)/(-12)?
True
Let z(q) = -8*q**3 + q**2 + q - 1. Let x be z(1). Let r(p) = -2*p - 8 + 15 + 0*p. Is 7 a factor of r(x)?
True
Let j be 1519/21 + (-2)/(-3). Suppose -4*s = o + 171, s - o - 3*o = -30. Let m = s + j. Does 11 divide m?
False
Suppose 0 = -2*l + 60 + 36. Does 16 divide l?
True
Suppose 4*u + 205 = 5*y, -y + 65 = 2*u + 2*u. Is 9 a factor of y?
True
Let y = 6 - -4. Is 6 a factor of y?
False
Let w(g) = 27*g**2 - g. Suppose -4*o - 9 = -5*o. Let b(t) = t - 10. Let v be b(o). Is 16 a factor of w(v)?
False
Suppose 3*t + 14 = -1, -3*o + 5*t + 169 = 0. Does 8 divide o?
True
Let x be 4/(-8)*6 + 3. Suppose -2*l = -4*n - x*l + 92, -2*n + 46 = -5*l. Does 9 divide n?
False
Let t(d) = -d**3 - d**2 + d - 6. Is t(-3) a multiple of 2?
False
Suppose 62 - 24 = v. Suppose -40 = -3*h + v. Does 15 divide h?
False
Let q(c) = c**2 - 7*c. Let k be q(6). Is (k/(-8))/((-4)/(-368)) a multiple of 23?
True
Let g be 9/(-6)*10/(-3). Let z = -3 + 5. Suppose -5*c + g*i = -185, 5*c + i = z*i + 169. Is 15 a factor of c?
False
Let j(w) = 4*w**2 - w - 5. Is j(4) a multiple of 18?
False
Let x(j) = -j**3 - 2*j**2 + 8*j + 7. Is x(-5) a multiple of 14?
True
Let s = 99 - 51. Suppose 4*n = 4*u + 26 + 22, u + s = 5*n. Is n a multiple of 3?
True
Suppose -b + 24 = 3*b. Does 20 divide b/15 - 298/(-5)?
True
Let d be (1/(-2))/((-2)/40). Let c be (192/20)/(3/d). Suppose 0 = 4*t - 3*k - c - 28, 45 = 3*t + k. Does 15 divide t?
True
Is 2/(3 - 1005/336) a multiple of 28?
True
Let o(m) be the first derivative of m**6/180 - m**5/120 - m**4/12 + 4*m**3/3 + 3. Let y(c) be the third derivative of o(c). Is y(2) a multiple of 2?
True
Does 16 divide (((-148)/(-5))/(-4))/(7/(-35))?
False
Let w(x) = -6*x + 11. Is w(-18) a multiple of 13?
False
Suppose f = -5*v - f + 6, 4*f = 2*v + 12. Suppose -2*u + 18 + 20 = v. Does 7 divide u?
False
Let o(j) = -j + 1. Let l(s) = -9*s + 18. Let i(m) = -l(m) + 6*o(m). Let f be i(-9). Let q = -23 - f. Is q a multiple of 16?
True
Let d(y) = y**2 - y - 4. Let j be d(3). Suppose 0 = 4*i - j*z - 12, -5*i + 15 = -2*z - 2*z. Suppose 0 = 5*r + 20, -i*l + r = 4*r - 69. Does 12 divide l?
False
Let c be 201/39 + (-4)/26. Suppose -5*x + 4*f + 124 = 0, 122 = 5*x - c*f + 3*f. Does 10 divide x?
False
Let i be 0/((-5)/((-5)/(-2))). Let q(p) = -1 - 5*p + i*p + 2*p - 1. Is 13 a factor of q(-5)?
True
Suppose 4*w - 4 = 4*q, 2*w = -3*q - 2*w - 3. Let h = q - 1. Is (24/(-7))/(h/14) a multiple of 8?
True
Let d be 0 + (-2 - -2) - 2. Is (0 + -33)*d/3 a multiple of 11?
True
Suppose 0 = -3*j + 111 + 12. Is 11 a factor of j?
False
Suppose 2*g = -2*g + 56. Is g even?
True
Suppose 0*j + 4*j = 80. Let x = j - 11. Does 2 divide 6/x*9 - 1?
False
Let k(c) = -6*c**3 - c + 1. Let g be k(1). Is 3 a factor of -4*g*3/12?
True
Let m(a) = 2 - 8*a - 3 - 2*a**2 + 5*a**2 - a**2. Let b be m(6). Let f = -12 + b. Is f a multiple of 11?
True
Let f(i) = -i**3 - 5*i**2 - 3*i - 2. Let s = -20 - -15. Does 9 divide f(s)?
False
Suppose 53*q + 80 = 58*q. Is 4 a factor of q?
True
Let n(i) = 27*i + 10. Let t be n(8). Does 9 divide t/12 - (-1)/6?
False
Let r = 12 + -7. Is 3 a factor of r?
False
Let j = 10 - 7. Suppose -4 - 11 = -j*b. Suppose 3*i + 18 = 5*g + 104, -3*i + 106 = b*g. Is i a multiple of 13?
False
Let j(f) = f**3 + 19*f**2 + 17*f. Does 18 divide j(-18)?
True
Suppose 0 = 3*c - 7*c. Suppose -5*i + 8 + 7 = c, -3*a = -4*i - 39. Suppose 2*n = n + a. Does 10 divide n?
False
Does 12 divide (36/(-21))/((-2)/91)?
False
Suppose w + 1 = 4. Suppose -w*p = -10 - 41. Is 17 a factor of p?
True
Let j(y) = -y**3 - 5*y**2 + 13*y + 11. Is j(-8) a multiple of 10?
False
Suppose s - 3*s - 6 = 0. Let d be (-4)/s*15/10. Suppose -2*u + 88 = d*u. Is u a multiple of 9?
False
Suppose 2*q = 4*l - 200, -2*l - l + 198 = -2*q. Let b = 197 + q. Suppose 5 = -5*m + 6*m - 4*k, k + b = 5*m. Is m a multiple of 21?
True
Suppose -6*o = -8*o + 20. Is o a multiple of 3?
False
Let l = 85 + 50. Does 6 divide l?
False
Suppose 4*h - 7 = 9. Suppose h = -3*d - 26. Does 2 divide (-50)/(-5)*(-4)/d?
True
Let m(g) = g**2 - 6*g - 2. Let r be m(7). Suppose -r*t = p - 10*t - 72, 0 = 4*p + 3*t - 265. Is 19 a factor of p?
False
Is (-6)/12 + (-66)/(-4) a multiple of 4?
True
Suppose 4*n + 1 = 5*n. Let p be -4*(n/2 - -2). Is 4/p - 246/(-15) a multiple of 11?
False
Let k = -7 - -10. Suppose k*j - 111 = 21. Is j a multiple of 10?
False
Suppose -4*z - 6 = -2*z, 3*r + 3*z - 6 = 0. Suppose 23 = -r*s + 78. Does 11 divide s?
True
Let g(n) = -n**3 - 4*n**2 + 5*n - 6. Let h be g(-5). Let j = 17 + h. Is j a multiple of 11?
True
Let r be 156/9*6/4. Let d = r + -13. Is 13 a factor of d?
True
Let o(d) = d**2 + 3*d. Let y be o(-3). Suppose 3*b + 5*m - 33 = 7, -4*b - 5*m + 50 = y. Is b a multiple of 5?
True
Let s(w) be the second derivative of w**4/2 - w**3/3 + w**2/2 + w. Is s(1) a multiple of 3?
False
Suppose -r + 4*j = -0*j - 341, -1436 = -4*r - 2*j. Suppose -4*z + r = -z. Suppose -z = -4*q + 9. Does 16 divide q?
True
Let c(z) = -11*z**2 - 2*z + 