de d(l)?
True
Let i(l) = 117*l**3 + 2*l + 1. Let u(n) = -n**3. Let m(x) = i(x) + 2*u(x). Let g be m(-1). Let r = 214 + g. Does 22 divide r?
False
Suppose g + 6*b + 25 = 3*b, -4*b - 12 = 0. Suppose -2*i - 65 = -5. Is 3 a factor of (g/20)/(4/i)?
True
Let c = 248 - -77. Is 5 a factor of c?
True
Let c(i) = 2*i - 6. Let u be c(5). Suppose 5*g = -4*z + 22, 4*z + 4*g - 23 = -z. Is (u - z)*180/3 a multiple of 15?
True
Let m(a) = a**2 + 8*a + 10. Suppose 4*z = 8 - 0. Suppose 2*w - 27 = 3*k - 2*w, -k + z*w = 9. Is 10 a factor of m(k)?
False
Let w(v) = -3*v - 2. Let u be w(2). Let p = 11 + u. Suppose 8*f - 115 = p*f. Does 9 divide f?
False
Suppose 2*k = k + 11. Let j(z) = z + 10. Does 21 divide j(k)?
True
Let u = 3390 + -1541. Does 28 divide u?
False
Let n(m) be the third derivative of 1/24*m**4 + 0 - 1/120*m**6 + 0*m + 7*m**2 + 1/10*m**5 + 2/3*m**3. Does 12 divide n(3)?
False
Let a = 21 - 27. Let f be (0 + (-1)/3)*a. Suppose -4*z - 5*o = -110, 2*z + f*z - 3*o - 94 = 0. Does 16 divide z?
False
Let v = 168 - 47. Is 45 a factor of v?
False
Let g = 280 - -458. Let f be (g/24)/((-6)/(-16)). Suppose -5*d - 2*t = -307, d - f = 4*t - 3. Is 21 a factor of d?
True
Let j = -1027 - -2215. Is 38 a factor of j?
False
Is 5 + -6 - (-2 + 37*-2) a multiple of 25?
True
Let o(w) = -w**3 - w**2 + 11*w - 7. Let c be o(-5). Let z = c - 30. Does 6 divide z?
False
Let h be 18/(-12)*6/(-9). Suppose -n = -4*q + 11 - h, -2*n - 2 = q. Suppose -g = -q*g + 54. Is g a multiple of 9?
True
Let o(j) = -j**3 + 2*j**2 - 16*j. Let r be o(-7). Suppose -7*h - r = -14*h. Is h a multiple of 17?
False
Let c(x) = x**2 + 6*x - 13. Let s be c(-8). Suppose g + g = -s*u, -3*u + g = -9. Is 1 - (-1 - u - 12) even?
True
Let b(o) = o**3 + 15*o**2 + 14*o. Let z be b(-14). Suppose -8*q + 1460 + 308 = z. Does 13 divide q?
True
Suppose 5*g - 51 = 244. Suppose -5*l + 3*l - 5*w = -47, 2*l + 3*w - 49 = 0. Let a = g - l. Does 15 divide a?
False
Suppose 0*g + 2*g = -4*k + 2, -5*k - 4 = -4*g. Suppose 2*l - 10 = -5*r - 54, 2*l - 4*r + 80 = k. Let j = -25 - l. Is 2 a factor of j?
False
Suppose -8 = -6*b + 2*b. Let p be (-3 - b)*(-2)/10. Let i = 6 - p. Is i a multiple of 3?
False
Suppose 0 = -6*p + 12 - 0. Does 11 divide (-220)/(-3) + p/(-6)?
False
Suppose 45*y - 49*y + 620 = 0. Does 9 divide y?
False
Suppose 0 = -5*s + z - 2*z + 12, -s = z - 4. Suppose h = 2*r - 8, 4*h - s*h + 1 = r. Suppose -r*g = -k - 154, 0*g - 2*k = 4*g - 112. Is 10 a factor of g?
True
Let q be 0/1 - (-32)/2. Let n be (-4)/6*(-648)/q. Suppose -123 - n = -5*z. Is z a multiple of 15?
True
Let f be 3/18 - (-39)/(-18). Let u(v) = 11*v**2 - 3*v - 1. Is 16 a factor of u(f)?
False
Suppose 5*d = -9*d + 28084. Does 34 divide d?
True
Let o(r) = 15*r**2 - 33*r + 22. Does 10 divide o(9)?
True
Suppose 3*u + 15 = -15. Let o = u - -14. Suppose 103 = 3*k + o. Is 11 a factor of k?
True
Is 14 a factor of (-82950)/(-38) - 192/(-1824)?
False
Suppose -31 = -z + p - 2, 2*p = -3*z + 62. Is 10/(-3)*z/(-16) a multiple of 4?
False
Let j(y) = -4*y**3 + 7*y**2 - 20*y + 8. Let h be j(6). Does 41 divide (-30 - h)*(-1 + (-6)/(-4))?
False
Let r be (0 - 148) + -5 + 7. Let c = r + 226. Let x = c - 32. Is 13 a factor of x?
False
Suppose 0 = 14*n - 8*n - 6. Does 7 divide (3/9 + 41/3)*n?
True
Let k(z) = -z**3 + 6*z**2 - 6*z + 3. Let o be k(5). Let y be (0*(-2)/4)/o. Suppose 2*f - 3*w - 28 = 0, y*f - f = -2*w - 15. Is 11 a factor of f?
True
Let i(q) = q + 10. Let k be i(0). Is 20 a factor of (k/4)/((-6)/(-252))?
False
Let z(x) be the third derivative of x**4/24 + 2*x**3/3 + 8*x**2. Let d be z(-4). Does 24 divide 12*3*2 + d?
True
Let p = 333 - 141. Is p a multiple of 14?
False
Let j(w) = 2*w**2 + 16*w - 6. Suppose -39 = 3*x - 3. Does 30 divide j(x)?
True
Let c = 693 + -314. Let i = c + -183. Is 49 a factor of i?
True
Suppose -8*l + 75 = -693. Is 16 a factor of l?
True
Is (-9 + 7)*(-1670)/4 a multiple of 31?
False
Suppose 0 = 5*g + p - 5467, 4*p - 3273 = -3*g + 7*p. Is g a multiple of 14?
False
Let i be 3 - -2 - (2 + -1). Suppose 4*v = -3*r + v + 21, 2*v = -4*r + 18. Suppose 3*t = -i*h - h + 47, -4*h + r*t = -42. Is h a multiple of 10?
True
Let w(b) = 9*b**2 - b + 1. Let j be w(1). Suppose 4 = c - 4*z - 5, z = c - j. Is 7 a factor of (1 - 11)/((-6)/c)?
False
Suppose 10 = 4*w + 2*l, 0*l = -5*l + 5. Let z be w - (3*-4 - -3). Suppose 0 = -2*s + 2*r + 22, z = -0*s + s - 2*r. Is s a multiple of 5?
False
Let j = -15 + 14. Let p = j + -1. Is 32/1 + (p - -5) a multiple of 9?
False
Let n(i) be the first derivative of -7*i**2 - i - 1/3*i**3 - 5. Is 22 a factor of n(-9)?
True
Let t = 946 + -419. Is t a multiple of 45?
False
Let w(a) = -a**3 + 7*a**2 + 8. Let h = -14 - -21. Let b be w(h). Does 12 divide 382/b - (-4)/16?
True
Let z be (6 - 1)*408/40. Does 13 divide (z/4)/(30/80)?
False
Is 222*(57/18 + -2) a multiple of 22?
False
Let k(d) = d**2 - 8*d. Suppose -4*a = 6 + 18. Is k(a) a multiple of 12?
True
Let s(h) = 13*h - 3. Let x be s(5). Let p = 104 - x. Suppose -116 - p = -2*k. Is 17 a factor of k?
False
Suppose -t - 15 = -3*k, -2*t - 15 = t - 3*k. Suppose -r - 5*c = -3*c - 117, t = -r + 4*c + 93. Is r a multiple of 16?
False
Is 19 a factor of (-399)/(-1) - (-15 - -14)?
False
Suppose n - 5 = 3. Is (2/(n/(-20)))/(1/(-3)) a multiple of 5?
True
Let r(p) = 3*p**3 + p - 4*p**3 - 6 + 9*p**2 - 2*p**3 + 2*p**3. Let f be r(9). Suppose f*w - x = 66, 0*x = -3*x. Is w a multiple of 13?
False
Is 3 a factor of -2*((-2 - -4) + (-630)/9)?
False
Let o(r) = -r**2 - r. Let a(h) = h**3 + 4*h**2 + 5*h + 1. Let f(t) = -2*a(t) - 9*o(t). Let z be f(2). Let w = z - -27. Is w a multiple of 11?
True
Suppose 0 = l - 2*o - 3, -4*l + 3*o + 9 = -2*o. Let p be -9*(0 - l)*2. Does 4 divide (-19)/(-4) - p/24?
True
Is (12 - 221/17)/((-1)/2184) a multiple of 26?
True
Let a = 1715 + 889. Is a a multiple of 62?
True
Suppose 3*f = -2*o + 74, 0 = -3*o - 2*o - 5*f + 175. Suppose -z + 17 = 2*i, 3*z - 4*i = -0*i + o. Is 4 a factor of z?
False
Suppose -3*b = -b - 2. Let y = 5 + b. Suppose y*k - 32 - 136 = 0. Is 7 a factor of k?
True
Let q(f) = -86*f - 3. Let r be q(-1). Suppose 5*h + r = 288. Is 6 a factor of h?
False
Let z(f) = 2*f + 128. Let v be z(0). Suppose 0 = -6*t - v + 422. Is t a multiple of 18?
False
Suppose 75 = -2*c - 3*h, 0 = -c - 2*h - 21 - 15. Let m = -81 - c. Let q = m + 74. Does 7 divide q?
True
Let u(o) = -2*o**2 - 9*o - 18. Let a(f) = 10*f - 10*f + 4 - 3 + f**2. Let w(p) = 3*a(p) + u(p). Is w(14) a multiple of 18?
False
Suppose 0*s + 591 = s - 4*h, 2*h - 609 = -s. Is s a multiple of 72?
False
Suppose 0 = -3*s + 7 + 29. Suppose z = s + 21. Suppose -4*q = z - 437. Does 31 divide q?
False
Let r(w) = -w**2 + 25*w + 86. Is r(27) a multiple of 9?
False
Let j be -311 - (0 + 1)/((-3)/6). Let b = -74 - j. Does 10 divide b?
False
Does 28 divide ((-5)/25 - (-8)/(-10))*-448?
True
Let r = 467 - 272. Suppose i - 72 = -4*f, i + 2*i = -5*f + r. Does 8 divide i?
False
Let u = 74 + 131. Let b = -71 + 73. Suppose 4*o - 62 = -p, -5*p - o + u = -b*o. Is p a multiple of 14?
True
Suppose -1036 = -2*p + 1356. Is p a multiple of 92?
True
Let g(x) = 10*x**3 + 3*x**2 + 9*x - 5. Let j be g(2). Let r be ((-1)/(-2) + 1)*14. Suppose s - j = -r. Does 11 divide s?
False
Suppose 5*n - h - 3 = 8, -n = 3*h + 1. Suppose 2*a = -3*s - 71, -n*a + 4*a + 5*s = -61. Let p = -15 - a. Does 14 divide p?
True
Suppose 137*m - 144*m = -182. Is m a multiple of 26?
True
Let j be (-6)/(-42) - (-2)/(-14). Suppose o + 3*q = 68, -160 = -2*o + 2*q - j*q. Is 11 a factor of o?
True
Suppose 4493 = 2*m + 5*b, 11*m - 9*m = b + 4511. Is m a multiple of 14?
True
Let k be 1 - (2 - 4) - (-96)/2. Let t = -31 + k. Is 8 a factor of t?
False
Let y(s) = 2*s**2 - 11*s - 32. Let d be y(-6). Let f = d - 16. Is f a multiple of 15?
True
Suppose 0 = 5*y - 0*y + 20. Let b(c) = -48*c**3 - 7*c + 9*c - 3 + 47*c**3. Does 23 divide b(y)?
False
Let h(d) = -21*d + 488. Is 30 a factor of h(-23)?
False
Let c(a) = -411*a - 83. Is c(-3) a multiple of 32?
False
Let i(t) = t**3 + t**2. Let l(s) = 3*s**3 + 8*s**2 + 2*s + 5. Let o(g) = -2*i(g) + l(g). Is o(-5) a multiple of 10?
True
Let z = -768 - -1388. Is z a multiple of 20?
True
Let f(j) be the second derivative of j**5/20 + 7*j**4/12 + 7*j**3/6 + 9*j**2/2 + 3*j. Let b be f(-6). Does 4 divide 10 - (12/b - 1)?
False
Suppose 1311 - 3231 = -5*i. Is i a mu