vide s?
False
Let f = -908 + 1284. Let c = -229 + f. Is 21 a factor of c?
True
Let m(x) = x**2 - 11*x - 11. Let o be m(12). Let j(b) = 54*b - 2. Is 6 a factor of j(o)?
False
Let k be (18/(-10))/(2/10). Does 6 divide (-9)/(-1 - 2) - k?
True
Let r(b) = -b - 6. Let m be r(-11). Let y = -3 + 4. Suppose y + 86 = 5*f - l, 0 = 3*f - m*l - 39. Is f a multiple of 9?
True
Let a(p) = 3*p**2 + 51*p + 61. Is 20 a factor of a(-20)?
False
Suppose 12 = 6*i - 3*i. Let y(p) = 5*p - 2 - 2 + p - i. Is y(6) a multiple of 11?
False
Let a = 41 + 102. Let b = a + -24. Does 7 divide b?
True
Let d(x) = 2*x - 23. Let i be d(-5). Let q(p) = -p**3 + 9*p**2 - 8*p + 9. Let r be q(9). Let y = i - r. Is y a multiple of 9?
False
Suppose 0 = 4*s - 6 - 6. Let t(f) = -5*f + 10*f + 11*f - 2*f. Is 21 a factor of t(s)?
True
Let j(l) = -l**2 - 2*l - 1. Let w be j(-1). Suppose w*r - r - 47 = 0. Let b = -28 - r. Does 19 divide b?
True
Let y be 4885/75 - (-4)/(-30). Suppose -4*r - 5*c + y = 0, 4*c + c = -5*r + 85. Is 6 a factor of r/(-130) - (-316)/26?
True
Suppose 6*d = 8*d + f - 7, -2*d + 3*f - 5 = 0. Suppose -118*y = -121*y + 333. Is 8 a factor of (d/3)/(2/y)?
False
Let j be (-2 - -3)*(12 + 1). Suppose 14*z - j*z = -52. Let i = z - -101. Does 16 divide i?
False
Let b(v) be the third derivative of -11*v**4/24 + v**3/6 + v**2. Let s(f) = f**2 + 5*f + 5. Let x be s(-3). Does 12 divide b(x)?
True
Let f(g) = g**2 - 6*g + 5. Let o be f(6). Suppose -3*v - 2*v = o. Let p(c) = -72*c**3 + c**2 + c. Is p(v) a multiple of 18?
True
Let k(v) = -v**2 + 12*v + 14. Let u be 5*-1*(2 + -3). Suppose 4*o = -3*h + 5*h + 22, 41 = u*o + 2*h. Does 10 divide k(o)?
False
Suppose -66*u - 11663 = -48491. Does 18 divide u?
True
Suppose 4*b - 162 = -2*b. Is 4 a factor of b?
False
Let f(d) = -d**3 + 6*d**2 + 6*d + 4. Let s be f(7). Let j(g) be the first derivative of g**4/4 + 4*g**3/3 - g**2/2 - g - 14. Is j(s) a multiple of 2?
False
Let u(x) = -x**2 + 6*x - 3. Let h be u(5). Let b(v) be the second derivative of 7*v**4/12 + v**3/2 - 2*v**2 - 17*v + 2. Does 30 divide b(h)?
True
Suppose 2*h - 4666 = 2*o, 3*h + 537 = 4*o + 9864. Let k = -1168 - o. Is 29 a factor of k/12*(-18)/(-15)?
True
Does 15 divide 218/(-545) - 7694/(-10)?
False
Let a be 0/(1 + -1 - -2). Let u be (0/(-1))/((36/(-6))/(-6)). Suppose a = 3*d - 5*y - 57, -4*y = -u*y. Is 5 a factor of d?
False
Let t(x) = 87*x - 20. Let l(v) = 131*v - 30. Let g(m) = 5*l(m) - 7*t(m). Is 22 a factor of g(5)?
True
Does 68 divide (-30)/2*1445/(119/(-7))?
False
Suppose 2*a = -4*z + 346, 2*z - 161 = -0*z - 5*a. Is z a multiple of 8?
True
Let p be 12/(4*(-4)/(-8)). Let v(g) = 2 + 8*g + 3 + p - 5. Is 17 a factor of v(7)?
False
Let g be (6 + -1)*28/(-70). Let d(i) = -15*i - 2. Let v be d(g). Suppose v = 3*y - y. Is 7 a factor of y?
True
Is (63/(-15))/(5/(-50)) a multiple of 2?
True
Let l(p) = p - 1. Let b be l(-1). Let n(m) = m - 12 - 15 - 2*m**3 + 24 - 5*m - 2*m**2. Does 12 divide n(b)?
False
Suppose -3*x = -2*x - 3*n, 28 = 4*x - 5*n. Suppose x = -9*j + 13*j. Is j a multiple of 2?
False
Suppose 2*s - 3*t - 1 = -9, -5*t = -20. Let w(c) = -3*c**2 + s*c**2 + 79 - 13*c - 87. Is w(-11) a multiple of 7?
True
Let z be (-95)/(-4) - 4/(-16). Let o(i) = 2*i**2 - 10*i + 8. Let b be o(4). Suppose b = -c - c + z. Is c a multiple of 12?
True
Let c(a) be the third derivative of a**5/60 - a**4/6 - a**3/3 + 2*a**2. Let p be c(7). Let b = p + -1. Is 9 a factor of b?
True
Let c = 0 - -11. Let p(l) = -2 - 5 + c*l - 15*l. Is 8 a factor of p(-6)?
False
Suppose -9 = -3*i + 3*o + 3, 2*o = -4*i + 34. Let z(s) = 8*s. Is z(i) a multiple of 14?
True
Let f = 22 + -13. Let o be (f/(-4))/(6/688). Let t = -138 - o. Is 36 a factor of t?
False
Suppose 29 = -d + k, -d - 93 = 2*d + 3*k. Let z = 69 + d. Suppose -i - 2*i + z = 0. Is i a multiple of 5?
False
Let k(c) be the second derivative of -c**4/12 + 23*c**3/6 + 7*c**2/2 - 20*c. Is 17 a factor of k(7)?
True
Let v(c) = 2*c**2 + 13*c + 32. Let i be v(-6). Is (-4)/i - (-1328)/13 a multiple of 20?
False
Is 633 + (-6 - -1) + -2 + 4 a multiple of 14?
True
Is 30 a factor of (-4)/(-10) + (-10)/(300/(-5418))?
False
Let d = 13 + -10. Suppose -97 - 77 = -d*m. Is m a multiple of 12?
False
Suppose -10*w + 28 = -3*w. Suppose 4*t + 67 = 4*i - 197, -2*i + w*t = -124. Does 14 divide i?
True
Suppose w - 154 = 4*g + 234, -w + 390 = -3*g. Is 33 a factor of w?
True
Let b = -586 + 1626. Is b a multiple of 52?
True
Let x(h) = 4*h + 14. Let g be x(-8). Let t = g - -22. Does 2 divide t?
True
Let w(a) = -a**3 - a**2 + 1. Let g be ((2 - 2) + 3)*2. Let p(l) = -7*l**3 - 5*l**2 + l - 22. Let z(y) = g*w(y) - p(y). Is 14 a factor of z(0)?
True
Suppose -11*w + 42*w - 2790 = 0. Is w a multiple of 18?
True
Is ((18/(-5))/(-3))/(2/1310) a multiple of 56?
False
Let s(y) = 2*y - 21*y - 20 + 3*y**2 - 16*y - 5*y. Is 22 a factor of s(16)?
False
Let k = -77 - -70. Let u(x) = 4*x**2 + x + 31. Is u(k) a multiple of 20?
True
Let g = 14 + -11. Suppose 7*i - g*i = 140. Suppose 5*a - i = 65. Is 7 a factor of a?
False
Let t(c) = c**2 + 2 - 13 - 15*c - 3. Suppose -v = -5*z + 129 - 28, -2*v - 2 = 0. Is t(z) a multiple of 23?
False
Let g(v) be the third derivative of v**6/60 + v**5/15 - 5*v**4/12 - v**3/3 + 18*v**2. Is 12 a factor of g(5)?
False
Suppose 0 = 9*a - 0 - 18. Suppose -4*j - 74 = -r - 12, a*r - 59 = -5*j. Does 14 divide r?
True
Let m = 12 - -17. Suppose 151 = 4*z - m. Does 9 divide z?
True
Is (468/(-20) + 3)/((-2)/5) a multiple of 4?
False
Let u = -855 - -1392. Does 20 divide u?
False
Is (-42)/7 - (0 - 229) even?
False
Suppose -3*y + 640 = y. Is 38 a factor of (y/(-50))/(4/(-190))?
True
Let p be (-12)/(-7) + 18/63. Suppose 4*a = 5*z + 55, 0*z - 2*z = -p. Suppose 0 = n + 4*b - a, 0 = 5*n - n - b - 77. Is 5 a factor of n?
False
Let i = -17 - -21. Suppose o - 2*w = -6*w + 28, i = 4*w. Is 12 a factor of o?
True
Suppose 0 = 5*i - c + 9 - 24, 6 = 2*i - 4*c. Suppose -5*y + 639 = -i*j, 3*j - 522 = y - 5*y. Is 12 a factor of y?
False
Suppose 2*g = g - w + 5, 0 = -5*g - w + 13. Let v(m) = -4*m**2 + m**3 - 6 + 8*m + 0*m - m**g. Does 17 divide v(5)?
True
Is 551/12 + 26/312 a multiple of 23?
True
Suppose 0 = -4*k + 4*s + 4 + 24, 26 = 2*k - 5*s. Let f(a) = 5*a + 14. Is 17 a factor of f(k)?
False
Let t(m) be the second derivative of m**4/12 - 3*m**3 + 37*m**2/2 + 16*m. Is t(17) a multiple of 4?
True
Suppose -275 = -3*p - 2*q, 2*p = 39*q - 36*q + 192. Does 21 divide p?
False
Let i = 7625 + -4497. Does 17 divide i?
True
Let x = -811 - -1559. Is 11 a factor of x?
True
Suppose 3*w - 24 = g, -w + 0*g = -3*g. Let l(z) = 7*z + 12. Is l(w) a multiple of 25?
True
Let c = -4 - -8. Suppose 0 = 2*v + 4 + c. Does 5 divide 2/(v/(-5))*4?
True
Let i(z) = -7*z. Let c be i(-1). Suppose c*q = 4*q + 378. Suppose -3*y = -0*y - q. Does 14 divide y?
True
Let m be 8 + 0 + 0 + -1. Suppose g - t = 8, -2*t - 6 = -g + m. Is 2 a factor of g?
False
Let h(s) = -7*s + 1. Let i be h(-5). Is (-3 - i/8)*54/(-5) a multiple of 15?
False
Suppose -a + 0*y - 3 = 2*y, y + 4 = -3*a. Let g(c) = 2 - c**2 - 1 - 23*c**3 - 3*c**3 + 5*c**3 + c. Does 5 divide g(a)?
True
Let d(m) = -9*m - 14. Let z(t) = 1. Let b(u) = d(u) + 4*z(u). Let f = 902 + -907. Is b(f) a multiple of 7?
True
Suppose -2*f = -0*f - 24. Let b = f - 8. Suppose -b*h + 198 = -w, -5*w + 156 = 3*h - 2*w. Is h a multiple of 19?
False
Suppose -6*x - 6 = -8*x. Let k(w) = -10 + x*w + 6*w + 10. Is 18 a factor of k(4)?
True
Let b = 2599 + -1991. Does 19 divide b?
True
Let q(v) = -6*v. Is 30 a factor of q(-10)?
True
Let y be (0 - 20/(-2))/2. Let w(x) = 2*x**2 - x + 11. Let n be w(y). Let s = n - 16. Does 10 divide s?
True
Is (3/(-2))/((-393)/(-396) + -1) a multiple of 18?
True
Suppose 0 = 10*y + 44 - 204. Let l(t) be the second derivative of t**3/6 + 2*t. Does 16 divide l(y)?
True
Suppose -c - 2*z - 204 = 6, 2*z + 2 = 0. Let n = 413 + c. Is n a multiple of 41?
True
Suppose 0 = -5*x + 3*o + 74 + 146, -3*x = -3*o - 138. Let b = -115 - -132. Let d = x - b. Is 12 a factor of d?
True
Suppose 0 = -5*i - 0 + 15. Suppose i*w - 7*n - 7 = -2*n, w + 5*n - 9 = 0. Suppose -h - 43 = -4*v, -w*h + h = -3*v + 30. Is 4 a factor of v?
False
Let k = -11584 + 16853. Is 158 a factor of k?
False
Let t = -1905 - -1984. Is t a multiple of 6?
False
Let s(q) = -79*q + 17. Is 7 a factor of s(-2)?
True
Suppose 35*q - 36*q = -2*k - 