vide d?
False
Let d(h) = 8*h**3 + h**2 - h - 1. Suppose -4*l + 5*v - 1 = -2*l, -5*l - 5*v = -15. Is d(l) a multiple of 13?
True
Let c(s) = 80*s - 29. Let d(j) = 53*j - 19. Let p(v) = -5*c(v) + 8*d(v). Let u be p(3). Suppose -2*b = 3*b - u. Is b a multiple of 13?
True
Suppose 7*z - 600 = -z. Does 9 divide z?
False
Let q(b) = -b**2 + 4*b + 5. Suppose 0 = -5*o + t + 15 + 2, 2*o - 2 = 2*t. Let i be q(o). Let y(n) = -n**3 + 7*n**2 - 6*n + 12. Does 8 divide y(i)?
True
Let f(l) = l**3 - 7*l**2 - 8*l. Let m be f(8). Suppose m = w + 3*w - 108. Is w a multiple of 9?
True
Suppose 0*d + 3*q = -d, 0 = 2*q + 2. Let r = -21 - -59. Suppose d*i - r - 49 = -5*w, 56 = 4*w - i. Does 4 divide w?
False
Suppose 20 = 7*f - 2*f. Let y(w) = w**2 + 2*w. Does 8 divide y(f)?
True
Suppose -5*u + 1094 = 4*f + 272, -5*u + 5*f + 840 = 0. Let n be (24/28)/((-2)/(-252)). Let x = u - n. Is x a multiple of 17?
False
Let b be (4 - 16*-2) + 4. Suppose 3*n - b - 13 = a, -2*n - 3*a = -17. Is 8 a factor of n?
True
Does 75 divide (1125/(-5))/(24/(-200))?
True
Suppose 4*h - 280 = -2*f + 4*f, f = h - 72. Suppose -4*o - h = -3*l + 2*l, -4*l + 311 = -3*o. Is l a multiple of 16?
True
Suppose 54*h - 59*h = -1890. Is 18 a factor of h?
True
Let c = -2181 - -3468. Does 83 divide c?
False
Let o = -278 + 458. Is o a multiple of 20?
True
Let v = -3475 + 5310. Does 71 divide v?
False
Let u(a) = -a**2 + 12*a + 15. Let t be u(13). Suppose t*l - 42 = -0*l. Is 18 a factor of l?
False
Let g(s) = -11*s**3 - 10 - 2*s**2 + 12 - 2*s**3. Let z be g(-2). Suppose 0 = 2*x - 3 - 1, 3*h - 5*x - z = 0. Is h a multiple of 12?
True
Suppose 2715 = 7*c - 1898. Is c a multiple of 3?
False
Let s(y) = 14*y - 50. Let p be s(5). Let r = 116 - p. Is 24 a factor of r?
True
Let y = 19 + -13. Let l be (-2361)/(-18) + (-1)/y. Suppose 0*o + 3*f + 57 = o, 3*o - f = l. Is 18 a factor of o?
False
Let j(x) = 19*x**2 - 27*x + 100. Is j(5) a multiple of 5?
True
Let d(w) be the third derivative of w**7/840 + w**6/40 + 2*w**5/15 + w**4/3 + 3*w**3/2 - 11*w**2. Let z(a) be the first derivative of d(a). Does 4 divide z(-6)?
True
Suppose -2*s - 5 = -3*s. Suppose -223 = -s*a - 2*q, 0 = 3*a + 2*q + 41 - 178. Does 43 divide a?
True
Let g be (-1 + 0)/((-2)/(-44)). Let m be (-1)/(-2)*g*-3. Suppose 2*w - 3*w = -m. Does 7 divide w?
False
Let s = 228 + -108. Does 18 divide s?
False
Let r = -1063 - -1280. Is 29 a factor of r?
False
Suppose 0 = -2*d - 4*h + 6, 0*d + 3*d = 5*h + 9. Suppose -2*t = -2*o + d*o - 318, 0 = -2*t - 3*o + 318. Is 12 a factor of t?
False
Suppose 2*z - 220 = -28. Let s = 98 + z. Is s a multiple of 17?
False
Let w(k) = k**3 - k**2 + k + 146. Let o be w(0). Suppose 36 = d - t, 3*d - o = -d + 3*t. Is 7 a factor of d?
False
Let z = -88 - -92. Does 51 divide z - (-7)/((-28)/(-312))?
False
Let q(n) = -n**3 + 9*n**2 - 14*n + 6. Let a(l) = -l + 11. Let o be a(5). Is q(o) a multiple of 15?
True
Let v(j) be the second derivative of 0 - 2*j + 1/3*j**4 + 5/6*j**3 - 2*j**2. Is 5 a factor of v(-3)?
False
Let k be 2/(-4)*0/(-1). Suppose k = n + 4*n - 25. Suppose 3*b = 4*l + 176, -5*b = -4*b + n*l - 46. Is b a multiple of 14?
True
Let l = -363 - -608. Does 36 divide l?
False
Suppose -4*i = x + 4*x - 555, -87 = -x + 4*i. Suppose 0 = -3*g + 6 + 3. Suppose 98 + 23 = g*u - 2*l, x = 3*u + 5*l. Does 13 divide u?
True
Let f be 21/(-28)*(16 - 0). Let n be f/6 + 1 + 109. Let o = -64 + n. Does 11 divide o?
True
Let o(x) = x**2 - 8*x. Let r be o(8). Does 37 divide r + (62 - (-4 - -6))?
False
Let w = 221 + 135. Is 25 a factor of w?
False
Suppose -4*k - c + 1347 = -52, 2*k - 689 = 3*c. Suppose -j = 3*t - k, -3*t + 2*t + j = -111. Is t a multiple of 5?
True
Suppose -3 = -t - 0. Suppose -t*w - w + 366 = 5*p, -p - 2 = 0. Is 13 a factor of w?
False
Let q = -57 - -62. Suppose -2*o + 52 = 3*a, 3*o + 63 = -q*a + 149. Is 4 a factor of a?
True
Let j = 4 + -2. Suppose -11*y + 14*y - 549 = -3*p, 5*p - 4*y - 870 = 0. Suppose 5*k + j*r - p = -0*k, -4*r = k - 32. Is k a multiple of 12?
True
Let m be 85/35 - (-3)/(-7). Suppose z = -i - 1, -4 = -5*z + z + 4*i. Suppose z = y - m*y + 30. Is 17 a factor of y?
False
Let v be (0*1/3)/(-3). Suppose -x - x + 70 = v. Let u = x + -25. Does 2 divide u?
True
Suppose -3*a + 2*j = -134, j - 140 = -3*a - 0*j. Suppose -3*q + 26 = -a. Suppose -29*o = -q*o - 55. Is 11 a factor of o?
True
Let m(q) = 7*q - 15. Suppose 0 = -s - 4*x - 1, 0 = 5*s + x - 27 - 6. Does 5 divide m(s)?
False
Suppose 0 = -3*q, 3*h - 3*q + 162 = -18. Let l(r) = -r**3 - 10*r**2 - 8*r - 1. Let t be l(-9). Is 2 a factor of (-2)/t + (-168)/h?
False
Let l(b) be the first derivative of 4*b + 1/3*b**3 + 4 + 2*b**2. Is 16 a factor of l(-6)?
True
Let w be (-3 + 4)/((-2)/(-12)). Let h(l) = l**3 - 6*l**2 - 3*l + 12. Let t(a) = a**3 - 6*a**2 - 3*a + 13. Let k(z) = -3*h(z) + 2*t(z). Is 4 a factor of k(w)?
True
Let p = 4 + 191. Does 8 divide p?
False
Let j = 130 + 434. Is 47 a factor of j?
True
Let z(t) be the second derivative of -t**6/360 + t**5/40 - t**4/4 - 2*t. Let j(l) be the third derivative of z(l). Does 2 divide j(-3)?
False
Let a(s) = -361*s - 47. Is 11 a factor of a(-4)?
True
Let z be 2/(-14) + 4/28. Let d be z + -1 + 1 + -2. Is 468/27 + d/6 a multiple of 17?
True
Suppose -2*l - 2*p + 1 = p, 0 = -2*l + 5*p + 9. Let u(w) = 2*w**2 - w + 7. Does 2 divide u(l)?
False
Let y(n) = -n**2 + 16*n - 1. Let u be y(16). Let k(t) = -22*t + 8. Is k(u) a multiple of 6?
True
Suppose 13*g - 6123 = 6903. Is 8 a factor of g?
False
Suppose -2*i + 1 = -7. Suppose -t + 0 = -i. Suppose -5*s + t*s = -81. Is s a multiple of 19?
False
Let p = 183 - -7. Suppose -4*b + 174 + p = 0. Is b a multiple of 21?
False
Let h(v) be the third derivative of v**5/60 - 2*v**3/3 - 4*v**2. Suppose -5*w = -z - 35, -5*w + 4*z - 2*z + 30 = 0. Does 20 divide h(w)?
True
Suppose -5*i + 4*l + 0*l + 143 = 0, -4*l = -i + 19. Suppose 5*a - 19 = i. Is a a multiple of 10?
True
Let t = 31 - 15. Let a be (t - 466)*(1 + -2). Suppose -2*c - 7 + 1 = 0, -5*h - 5*c + a = 0. Is 31 a factor of h?
True
Let j = 1295 + -758. Suppose -3*g + 270 + j = 0. Is 46 a factor of g?
False
Let u(l) = -2*l + 33. Suppose 0 = 2*f + 3*f. Let r be u(f). Suppose 4*t - r - 7 = -4*m, 32 = 4*m + 2*t. Does 4 divide m?
False
Suppose 5*d + 0*w + 2*w + 167 = 0, 4*w = -3*d - 89. Suppose -2*m - 162 = -28. Let q = d - m. Is q a multiple of 8?
True
Is ((-1035)/42*-8)/((-1)/(-7)) a multiple of 20?
True
Let o be -1*4 + (-60)/(-4). Let m(b) = 7*b + 9. Does 16 divide m(o)?
False
Let g(x) = -6*x**3 + x**2 + x + 1. Let t be g(-1). Let r = -287 - -2819. Is r/42 + (-2)/t a multiple of 15?
True
Is (6/10*2)/((-21)/(-4515)) a multiple of 46?
False
Let i(z) = z**2 - 14*z + 19. Let g(r) = 2*r**2 - 29*r + 39. Let l(w) = 2*g(w) - 5*i(w). Is 18 a factor of l(7)?
True
Suppose 0 = i - 3*n - 828, -25*i + 21*i = n - 3364. Is 28 a factor of i?
True
Let j(l) = -8*l**3 - 2*l**2 + 2*l. Let s be j(-2). Let o = s + -16. Does 9 divide o?
True
Suppose -3*v = 2*v + 3*x - 5, -2*v + x = -13. Suppose 0 = 2*o - v*o + 6. Suppose -4*c = 5*q - 280, o*c + 224 = 4*q - 2*c. Is q a multiple of 14?
True
Suppose 0 = o - 131 + 2. Does 20 divide o?
False
Let s(x) be the third derivative of x**5/60 + 5*x**4/12 - x**3/6 + 17*x**2. Is 38 a factor of s(-13)?
True
Let k be ((-2)/(-4))/((-5)/(-50)). Let l(u) = 10*u - 5. Let q be l(k). Suppose 5*j + 3*w - q = 0, 4*j + j + 5*w - 45 = 0. Is j a multiple of 9?
True
Let o = 16 + -14. Let w be 2/8 - 182/(-8). Suppose w = o*i - 15. Is 11 a factor of i?
False
Suppose 3*n - 114 = 3*d, -5*n + 84 = -3*n - 4*d. Does 17 divide n?
True
Suppose -37*x + 36*x + 276 = 0. Is 23 a factor of x?
True
Suppose -7 = x - 10, 3*d + 5*x = 1425. Is d a multiple of 10?
True
Suppose -r = 5*m, 4*r = 2*m + 15 + 51. Let p(f) = -29*f + 3*f + 1 - r*f + 0. Is 35 a factor of p(-2)?
False
Let a(t) = -7*t + 18. Does 27 divide a(-9)?
True
Let i = 15 + -10. Suppose -269 + 47 = -5*p + 3*k, i*p + 5*k = 230. Is 29 a factor of p?
False
Is 16 a factor of 2 + (1 - (-5 - 9))?
False
Let a be 58/(-3)*6/1. Let t = -80 - a. Is t a multiple of 11?
False
Suppose 0*m - 2*r + 9 = 3*m, -4*m - 5*r + 19 = 0. Suppose -2*u = -u - m. Does 5 divide (0 + u)/(4/20)?
True
Let l = 12 - 10. Suppose -12 = -l*q - q. Suppose -q*v + 445 = v. Does 27 divide v?
False
Let s(d) = -85*d - 110. Is 36 a factor of s(-21)?
False
Suppose w =