(-18)/f?
False
Let u(p) = p**3 - 11*p**2 + 14*p - 19. Suppose 2 = v - 8. Is 7 a factor of u(v)?
True
Suppose -g + 87 = 13. Is 37 a factor of g?
True
Let o(t) = -t + 6. Is o(-3) a multiple of 8?
False
Suppose 53 = -4*t - 63. Let o = 20 + t. Let g = o - -35. Is 11 a factor of g?
False
Let p(d) be the second derivative of d**3/6 + 47*d**2/2 - d. Is p(0) a multiple of 28?
False
Suppose -2*n + 22 + 10 = 0. Suppose 2*k = -2*m - 2*m - n, 0 = -k + 2*m. Is 24 a factor of 140/6 - k/6?
True
Suppose 2*d + 21 = 5*d. Suppose -d*a + 220 = -2*a. Is 13 a factor of a?
False
Let v = 813 + -1164. Let s be (-1)/(-2) + v/(-6). Let a = -40 + s. Is a a multiple of 19?
True
Let n be (1 - 0)/(3/36). Let t be 62/8 - (-15)/(-20). Suppose -u + t = -n. Is u a multiple of 10?
False
Let r(k) = -3*k - 15. Is r(-9) a multiple of 12?
True
Let l(c) = c + 6 - 5 + 0. Let u be l(-3). Does 6 divide 3/(2*u/(-8))?
True
Let s(r) = r**2 + 6*r + 5. Let i be s(-4). Let h = i - -3. Let f = 14 - h. Does 7 divide f?
True
Suppose -4*d - 6 = 6. Does 19 divide 3 - (-2 - d) - -30?
False
Suppose 2*d + d = 15. Suppose t = -d + 27. Does 12 divide t?
False
Let k = -2 + 1. Let l = k - -9. Does 3 divide l?
False
Let c(g) = 60*g + 72. Does 18 divide c(6)?
True
Suppose -r + 11 = -4. Is 5 a factor of r?
True
Suppose -u = -5*m + 7, 4*u = -3*m + 2*u + 12. Is 4 + m*-1 + 16 a multiple of 9?
True
Suppose 2*b = 7*b - 680. Is 8 a factor of b?
True
Suppose -3*l - 66 = 39. Let z be l/(-15) - (-1)/(-3). Suppose -z*u + 5*c = -13, -2*c = u + 2*c - 26. Is u a multiple of 14?
True
Let s = -28 - -20. Let q(v) = v**2 + 6*v - 9. Is q(s) a multiple of 7?
True
Does 7 divide ((3 + -2)*7)/((-5)/(-55))?
True
Let c be 1 + -1 + (-6 - -12). Let g(n) = -n**3 + 7*n**2 - 5*n + 3. Does 9 divide g(c)?
True
Let x(z) be the third derivative of z**4/24 + 2*z**3 - 6*z**2. Let i(o) = -2*o**3 + 2*o**2 + 2*o - 3. Let v be i(2). Is 5 a factor of x(v)?
True
Suppose 4*o - 12 = -3*n + 66, 3*o = -2*n + 58. Is 13 a factor of o?
False
Let l(v) = 11*v + 1. Let n be 2 + (10/1)/(-2). Let s = 5 + n. Is l(s) a multiple of 9?
False
Let j(p) = -625*p**2 + 2*p - 1. Let q be j(2). Does 13 divide q/(-33) - (-2)/6?
False
Suppose t - 566 = -101. Is 12 a factor of (-3)/(-2) + t/10?
True
Suppose -5*q - 2*g + 183 - 47 = 0, 4*q = g + 114. Let o = q - 48. Is (-32)/o*5/2 a multiple of 4?
True
Let c(t) = t**3 - 29*t**2 + 30*t + 29. Is c(28) a multiple of 17?
True
Suppose u - 2 = 1. Suppose 4*i = 25 + 7. Is ((-30)/i)/(u/(-12)) a multiple of 5?
True
Suppose 2*b = 4*b - 80. Let d be (-2)/(-1) - 1*b. Let k = -22 - d. Is 6 a factor of k?
False
Let w be (-6)/(-4) - (-2)/4. Suppose 0 = 2*c - 3 + 1, -w*y - c + 395 = 0. Suppose q = -4*d + y, -3*d + q + 148 = 2*q. Is 18 a factor of d?
False
Suppose -o - 4 = -2*o. Let b = 2 - -2. Suppose g + t = b*g - 17, 3*t - 1 = -o*g. Does 4 divide g?
True
Let l = 3 - -5. Is l a multiple of 4?
True
Suppose -c + 5 = -0*c. Does 5 divide c?
True
Let i(u) = -u**3 + 4*u**2 - 4*u + 3. Let s be i(3). Suppose s*p + 2*p - 72 = 0. Is 12 a factor of p?
True
Let r(o) be the second derivative of o**4/3 + o**3/2 - 3*o**2/2 + o. Let g be r(-3). Suppose 0 = 3*z - 5*z + g. Does 8 divide z?
False
Let x be (3/(-6))/(1/4). Let w be x + (-5)/(5/(-6)). Let j(m) = 2*m**2 - 6*m + 4. Is j(w) a multiple of 12?
True
Suppose 0*c = -3*c + 87. Is c a multiple of 17?
False
Suppose 2*u - 5 = -3*u. Does 5 divide u + 2 + 8 + -1?
True
Suppose 3*f - 33 = 78. Suppose 32 = 2*n - 4*l, -3*n + f = -5*l - 7. Is n a multiple of 4?
True
Suppose -w = m - 19, 0 = -3*m - w - 17 + 76. Is 4 a factor of m?
True
Let v(u) = -11*u + 3 + 22*u - 20*u + 3*u**2. Is 22 a factor of v(6)?
False
Let g(o) = 8*o**3 + o**2 + o. Does 14 divide g(2)?
True
Let z(l) = 31*l**3 - 2*l**2 + 1. Is z(1) a multiple of 15?
True
Suppose -12 = -2*o + 8. Is 6/o - (-786)/15 a multiple of 17?
False
Suppose -4*p + 2*n + 97 = 29, 2*n + 51 = 3*p. Let c be (-4)/3*(-9)/2. Let v = c + p. Is v a multiple of 9?
False
Suppose -g + 2*g - 2*o = 22, 4*o - 40 = -4*g. Is g a multiple of 9?
False
Suppose -6*i + 4*i = -4. Suppose i = c - 8. Does 10 divide c?
True
Let c = -3 + 4. Does 12 divide (8/(-10))/(c/(-30))?
True
Let a(b) = b**2 - 6*b - 5. Let m be a(7). Suppose l + 53 - 146 = -3*j, -3*j = m*l - 93. Suppose -4*s + 4*d + j = -89, -2*s + 4*d = -60. Is s a multiple of 15?
True
Suppose -2*o - o + 663 = 0. Suppose 3*s = a + 143, 5*s + 5*a - 24 = o. Is s a multiple of 16?
True
Suppose 4*q = -3*k + 36, k + 7*q - 23 = 2*q. Does 8 divide k?
True
Let x = -41 + 48. Is x a multiple of 7?
True
Suppose 2*d - 4*n - 27 = 19, 3*d + 4*n - 119 = 0. Is d a multiple of 11?
True
Suppose 15 = 2*c - 4*h - 5, 2 = c - 4*h. Is 11 a factor of c?
False
Let w = 4 - 3. Let c(b) = 4*b**3 + b**2 + b - 1. Let j be c(w). Suppose 3*v - 5*r = -3*r + 30, j*v - 4*r = 50. Is v a multiple of 5?
True
Suppose a + 4*a - 160 = -5*n, n = 3*a - 76. Suppose -2*i + a + 45 = 0. Is i a multiple of 20?
False
Let h(c) = c**2 - 2*c. Let n be h(4). Let s be (n/12)/((-1)/(-3)). Suppose -5*u + 102 = -s*t, 0 = u - 3*t - 9 - 1. Is 6 a factor of u?
False
Let x(w) = 4*w**2 + 3*w + 1. Is x(-2) a multiple of 3?
False
Let a(b) = -9*b - 2. Does 26 divide a(-6)?
True
Is 10 a factor of -2 + 8 - (3 + -7)?
True
Let t = 3 - 5. Let a = t - 0. Let x = a - -16. Does 9 divide x?
False
Does 13 divide (-20)/(-90) - (464/(-9))/2?
True
Suppose 2*d = d + 46. Suppose -5*f + 9 = -11. Suppose 0 = 4*o + 2*n - d, 0*o = -5*o + f*n + 25. Is o a multiple of 9?
True
Suppose 252 = 5*n + 77. Is n a multiple of 12?
False
Let i(d) = -3*d + 1. Let q be i(-3). Let p = 1 + q. Is 11 a factor of p?
True
Let k(s) be the first derivative of s**4/4 - 2*s**3 + s**2/2 - s + 1. Let d be k(6). Suppose 5*j + d*w = 6 + 59, 4*w - 62 = -5*j. Is j a multiple of 5?
True
Suppose 3*c + 0*c - 114 = -4*s, -38 = -c - 5*s. Suppose 4*y = 2*y + c. Is 6 a factor of y?
False
Let j(m) = -26*m**3 - 3*m**2 + 2*m + 3. Let f(k) = 78*k**3 + 8*k**2 - 5*k - 8. Let g(c) = 3*f(c) + 8*j(c). Is 9 a factor of g(1)?
True
Does 15 divide (141/(-2))/((-6)/24)?
False
Let u = 119 - 5. Does 38 divide u?
True
Let q(s) = -3*s**3 - 1 + 4*s**2 + 4*s**3 - 2 + 0. Is q(-3) a multiple of 3?
True
Let y = 67 - -251. Is 53 a factor of y?
True
Suppose 2*t - 186 = 4*a, -t - 3*a = -0*t - 98. Is t a multiple of 26?
False
Let c(x) = -x**3 - 4*x**2 - 4*x - 1. Let w be c(-3). Suppose -2*j + 8 = w*j. Is j a multiple of 2?
True
Let x(r) = r**3 + 6*r**2 - 3*r - 1. Let n(d) = d**2 - 4*d + 3. Let z be n(3). Let p be (-6 - -5) + z + -5. Is x(p) a multiple of 6?
False
Let q = 7 - -20. Does 4 divide q?
False
Let p(i) = -16*i - 4 + 0 + 3. Does 18 divide p(-5)?
False
Suppose 0 = 3*o - 3*n - 612, 0 = o + 5*n - 218 + 32. Is o a multiple of 40?
False
Suppose -45 = -4*y + 83. Suppose 2*m + y = 6*m. Is m a multiple of 3?
False
Let m(r) = -r**3 + 2*r**2 + 2*r + 1. Let k be m(3). Does 9 divide 1 - -24 - k*1?
True
Let c(s) = -2 + 0 + 0*s**2 + 5*s**2. Suppose -v = -1 + 3. Does 13 divide c(v)?
False
Let b(p) = -13*p - 38. Does 10 divide b(-8)?
False
Let u = 170 + -54. Does 29 divide u?
True
Suppose 4*d + 10 = i, 5*d + 35 = 3*i + 2*i. Let t be 1*i/10*5. Suppose 0 = 3*r - 3*m + 5*m - 104, 0 = -r + t*m + 20. Is r a multiple of 12?
False
Let g = 22 + -5. Is g a multiple of 17?
True
Let a be (-3 - (-1 - 3)) + 2. Is (32/a)/((-3)/(-9)) a multiple of 16?
True
Let l(y) = -y**2 - 1. Let j(t) = 2*t**2 + 7*t. Let g = 4 - 3. Let b(a) = g*l(a) + j(a). Is 10 a factor of b(-9)?
False
Suppose -3*w + 106 + 22 = 2*t, -2*w - 3*t = -92. Does 20 divide w?
True
Suppose -10 + 1 = -3*a. Suppose a*s = -2*s. Is 19 a factor of s/3 + (-138)/(-2)?
False
Suppose -r + 2*r - 7 = 0. Let m(b) = b**3 + 5*b - 11*b**2 + r - 7*b + 2*b. Is m(11) a multiple of 7?
True
Is 8 a factor of (-93)/(-12) + (-2)/(-8)?
True
Suppose 4*k = -2 + 10. Suppose 0 = 5*h - 8 - k. Suppose -6 = -h*a + 8. Is a a multiple of 7?
True
Let m be (-4)/20 + (-502)/(-10). Suppose -l + 4 + 6 = 4*k, 4*k = l + 6. Suppose -l*w + 64 = -m. Is 19 a factor of w?
True
Is (10/3)/(66/54 + -1) a multiple of 4?
False
Let v(u) be the second derivative of u**4/12 - u**3/2 - u**2/2 + u. Let o be v(3). Let i(b) = 49*b**2 + b. Is i(o) a multiple of 24?
True
Let n(m) = -m**3 - 4*m**2 - 4*m - 3. Let q be n(-3). Suppose -4*s + 2*s + 4 = q. Suppose 67 = 5*o + 3*z, o + s*z = 2*o - 3. Is o a 