= -d**3 + 6*d**2 - 6*d + 7. Let l be g(5). Suppose -l*u + 72 = u. Is u a multiple of 12?
True
Let c(v) = -v - 8. Let q be c(-7). Let l = q - 1. Let x = l - -17. Is 15 a factor of x?
True
Suppose 0 = t + 2*c - 6, 2*t - 6*c = -2*c - 28. Let v = t - -3. Let m = v + 13. Is m a multiple of 12?
True
Let a(y) = -y**2 - 7*y - 1. Let t be a(-6). Let v(g) = g**2 - 3*g + 5. Let k be v(t). Let m = -9 + k. Does 2 divide m?
True
Let j = -18 + 25. Let r(s) = -s**2 + 8*s. Does 4 divide r(j)?
False
Let g = 6 + -2. Let m = 0 + g. Suppose s + 45 = 2*l, -m*l = 6*s - 2*s - 60. Is 10 a factor of l?
True
Let p(l) = -27*l + 14. Let d(i) = 9*i - 5. Let y(w) = -8*d(w) - 3*p(w). Let b be y(-6). Let a = -32 - b. Is 12 a factor of a?
True
Suppose -4*o - o = -340. Suppose w + 2*u = -2*w + o, w - 2*u - 20 = 0. Is 11 a factor of w?
True
Let b be -3*(24/9 - 4). Suppose -338 = -5*x - 2*k - 105, -5*x + b*k + 239 = 0. Is 21 a factor of x?
False
Let r = -12 - -12. Suppose -3*f = -r*f - 132. Is 17 a factor of f?
False
Is (18/(-4))/(45/(-1200)) a multiple of 12?
True
Suppose -3*i + 7 = 1. Let s(j) = 4*j**2 - 2. Is s(i) a multiple of 8?
False
Let r(o) = o**2 + 3*o - 8. Let p be r(4). Let f = 4 + p. Is f a multiple of 12?
True
Suppose -3*v = -w - 6*v - 10, 5*w + v - 6 = 0. Suppose -2*k = -w*g + 34, k + 6 = 4*k. Does 10 divide g?
False
Suppose 4*s - 3*g - 153 = 0, 4*g = 3*s - 45 - 68. Is s a multiple of 5?
False
Let q(c) = 0*c**2 - c**2 + 3*c**2 + 4 + 6*c - c**2. Is 4 a factor of q(-6)?
True
Let m(w) = 4*w**3 - w**2 - 9*w + 4. Let i(x) = -7*x**3 + 3*x**2 + 17*x - 8. Let z(l) = -6*i(l) - 11*m(l). Let g = -5 - -1. Is 14 a factor of z(g)?
False
Suppose 5*r - 3 = 3*k, -5*k = 5*r - 9 - 26. Suppose 5*c + r*d - 146 = 0, 3*d + 16 + 34 = 2*c. Suppose -20 = -4*i + q, -q = 5*i - 3*q - c. Does 4 divide i?
True
Suppose -5*y - 2*t + 357 = 0, 0 = -4*y - t + 2*t + 283. Let l = y + 13. Is 21 a factor of l?
True
Let i = -46 + 45. Suppose 0*x = 3*x - 33. Let k = i + x. Does 6 divide k?
False
Let m = 158 - 78. Does 16 divide m?
True
Let t be -1 - (32/40 + 2/10). Let a = -3 + 5. Does 8 divide a + (t - 19/(-1))?
False
Suppose -4*o + p = 5*p - 4, -4 = 4*p. Let g = -39 - -68. Suppose -2*v - v + 6 = 5*c, o*v - 5*c - g = 0. Is 7 a factor of v?
True
Suppose 0 = 2*i - i + 3. Let f(s) = 4*s**2 + 2*s - 4. Does 7 divide f(i)?
False
Suppose -605 - 745 = -9*n. Does 15 divide n?
True
Let h = 33 - 20. Let s = 22 - h. Does 5 divide s?
False
Suppose 4*h - 77 + 245 = 0. Let i = -26 - h. Is i a multiple of 7?
False
Let n = 109 + -33. Let y(j) = j**2 + 5*j - 9. Let d be y(-7). Suppose 6*p - n = 2*p - 5*h, -82 = -d*p - 3*h. Is p a multiple of 7?
True
Suppose f = -4*f + 210. Is f a multiple of 21?
True
Let d(u) = u**3 - 10*u**2 + 2*u - 15. Let g be d(10). Let q(b) = -b**2 + 9*b - 7. Does 13 divide q(g)?
True
Suppose 3*i = i + 4. Suppose 2*o = -i*o. Suppose f - 2 = -o. Is 2 a factor of f?
True
Let r = 111 - 78. Is 8 a factor of r?
False
Suppose -5*v + 480 = -5*j, 4*j - 5*j = 0. Does 32 divide v?
True
Let l = 117 + 44. Is l a multiple of 23?
True
Suppose 0*f = 3*f. Let y(j) = -j**2 + 3. Is 2 a factor of y(f)?
False
Let c = 38 + -19. Suppose 0 = -2*r + c + 17. Is r a multiple of 9?
True
Let j(r) = -r**3 + 7*r**2 + 3. Let d be j(7). Suppose 0 = -d*w - 40 - 83. Does 14 divide -1*(-1 + w)/2?
False
Suppose -4*r + 2*g = -34, 3*g = 4*r - 2*r - 19. Is 2 a factor of r?
True
Suppose -7*z + 266 + 0 = 0. Is 11 a factor of z?
False
Suppose 2*n + 3*h - 4 = 0, 3*n = -5*h + 2*h + 6. Suppose n*u - 11 = -31. Let t = -6 - u. Is t a multiple of 4?
True
Suppose 0 = 2*v - 5*v - l + 55, -v + 9 = -2*l. Suppose 2*g = 0, -5*g + v + 37 = k. Is k a multiple of 18?
True
Let n(c) = -c**2 + 7*c + 1. Let t(u) = -5*u. Let r be t(-1). Is 11 a factor of n(r)?
True
Suppose 8*j = 2*j + 1050. Does 35 divide j?
True
Suppose -2*u + 6*u = 140. Let z = 121 - u. Is z a multiple of 23?
False
Let j(w) be the first derivative of w**5/20 - w**4/12 - w**3/2 - w**2/2 - 3. Let o(a) be the second derivative of j(a). Is o(-2) a multiple of 13?
True
Let f = 425 + -225. Does 10 divide f?
True
Let d(u) = 4*u + 2. Let s be d(2). Let o = s - -6. Is 8 a factor of o?
True
Is 7 a factor of 9 - -108 - (0 - 6)/3?
True
Does 4 divide 300/(-18)*(-12)/10?
True
Let t be 6/(-3) - (-2)/(-2). Let z be 2/t - 104/(-12). Let c(f) = -f**3 + 7*f**2 + 10*f - 10. Is c(z) even?
True
Suppose 0 = -3*r - 5*w + 21, -4*w + 3 = -9. Suppose 0 = 3*o - h - 6, 2*h + 4 = 4*o - r. Is 14 a factor of 156/(-9)*o/(-2)?
False
Let q = -237 - -361. Is 31 a factor of q?
True
Suppose 9*n - 12 = 3*n. Does 2 divide n?
True
Let d(l) = -l**3 + 6*l**2 + 7*l - 6. Let w be 42/(-24)*(-4)/1. Let o be d(w). Does 3 divide 3*((-34)/o - 3)?
False
Suppose -2*d + 60 = -5*s, -3*s - s = d - 30. Does 6 divide d?
True
Let z be -2*(2 + 14/(-4)). Suppose -z*m + 37 = -83. Is (12/10)/(3/m) a multiple of 16?
True
Let g(u) = -16*u + 22. Is g(-8) a multiple of 15?
True
Let p(i) = 6*i**2 - i. Let z = -3 - -7. Suppose 0 = -q, 3*b + 5*q = -b + z. Is p(b) a multiple of 5?
True
Let k(n) = -n**2 - n + 2. Let d(x) = 2*x + 4. Let z be d(-3). Let u be k(z). Suppose -2*m + 0*m + 42 = u. Is 14 a factor of m?
False
Let g be (-10)/8*(2 - 106). Suppose -u - 4 = -0*u - 5*b, -5*u - 5*b = -g. Does 9 divide u?
False
Let d = 159 + -89. Is 20 a factor of d?
False
Let w(o) = 4*o**2 + 14*o + 8. Is 11 a factor of w(-5)?
False
Is 13 a factor of (-12)/28 - 622/(-14)?
False
Let s = -51 + 53. Let b = 11 + -7. Suppose k + s - b = 0. Does 2 divide k?
True
Let t = 474 + -282. Is t a multiple of 34?
False
Suppose -3*y = -5*c - 4*y + 26, -3*c = -5*y - 38. Suppose 0 = -d - 2*d + c. Suppose -2*o - d*k + 3*k + 49 = 0, 5*o - 115 = k. Is o a multiple of 13?
False
Let h(f) = f**3 + 6*f**2 + 3*f + 1. Let u = 14 + -18. Is 19 a factor of h(u)?
False
Suppose -3*i + 4*c - 164 = -5*i, 4*i = 3*c + 273. Is 24 a factor of i?
True
Suppose r + 0*r - 7 = 0. Let b(p) = r - p**2 + 4*p - 4*p**2 - 5*p - p**3. Is 6 a factor of b(-5)?
True
Let z(x) = x**2 + 5*x + 10. Let f = 11 + -7. Suppose -2 = -3*c + f*s - 6, 2*s + 34 = -3*c. Is z(c) a multiple of 17?
True
Let g be (67/(-4))/(3/12). Let s = -46 - g. Is s a multiple of 9?
False
Let v(k) = k**3 + 6*k**2 + 5*k + 5. Let g be v(-5). Let q = 14 + g. Is 8 a factor of q?
False
Suppose 2*r + 17 = -5*a + 1147, -3*r = 3*a - 687. Is 32 a factor of a?
True
Let u(f) = 9*f + 10. Does 41 divide u(8)?
True
Suppose 100 = -5*x - 160. Let i = -16 - x. Does 18 divide i?
True
Let j(r) = r - 4. Let q be j(2). Let b(c) = 2*c - 8. Let v be b(6). Let o = v + q. Is 2 a factor of o?
True
Let f(a) = -26*a - 11. Is 15 a factor of f(-3)?
False
Let w = -144 + 28. Let c = -65 - w. Is 17 a factor of c?
True
Suppose -6 = -5*i + 39. Is 9 a factor of i?
True
Let j = -33 + 64. Is 18 a factor of j?
False
Suppose 2*b = -l - 3, -3*b + b - 3*l = 1. Does 21 divide (39/(-12) + b)*-4?
True
Suppose -24 = 2*a - 6*a. Is 5 a factor of 62/6 + a/(-18)?
True
Does 26 divide 6/(-9)*486/(-12)?
False
Suppose 10 = 2*h - 0*h. Let i(z) = z**2 - 4. Let k(j) = 2*j**2 - 7. Let r(s) = -11*i(s) + 6*k(s). Does 10 divide r(h)?
False
Let w(v) be the third derivative of -v**6/120 - v**5/5 - v**4/8 - 3*v**3 - 2*v**2. Is 9 a factor of w(-12)?
True
Let u(m) be the third derivative of m**8/10080 + m**7/1008 - m**6/720 + m**5/60 + 2*m**2. Let q(k) be the third derivative of u(k). Does 12 divide q(-5)?
True
Let f(j) be the third derivative of 5*j**4/24 + j**2. Let d be f(-1). Is d/(2 + 10/(-4)) a multiple of 7?
False
Let x be (-1)/7 - (-2368)/112. Let l(b) = b**3 + 7*b**2 + 3*b + 1. Let q be l(-4). Let z = q - x. Is 16 a factor of z?
True
Let f = -127 - -212. Does 13 divide f?
False
Let f(n) = n**3 - 5*n**2 - 3. Let w be f(6). Suppose -o + w = 3*o + z, 41 = 5*o + z. Is o a multiple of 4?
True
Let v(u) = u**2 - 3*u - 2. Let b be v(3). Let k be 1*b - 5*7. Let s = 85 + k. Is s a multiple of 21?
False
Let p = -48 - -129. Does 9 divide p?
True
Is 22/44*6*9 a multiple of 10?
False
Suppose -2*b + 2 = -b. Suppose b*y - y - 39 = 0. Does 13 divide y?
True
Suppose 2*g + 21 - 57 = 0. Suppose -3*q + 67 = -5*p, 4*p - g = -2*q + 12. Is q a multiple of 19?
True
Let p be (-1)/(6/(-8))*3. Suppose 3*v - 9 = -m, 3*m - 1 = -p*v - 2*m. Is 16 a factor of ((-6)/v)/(2/(-64))?
True
Let s be 12/(-8)*(-24)/9. Suppose -4*u - 5*i + 30 = -0*u, 3*u - 