d(-4). Is 11 a factor of 8/(-6)*-12 - l?
False
Let r(c) = -c**3 + 4*c**2 + 6*c + 1. Let h = -8 + 13. Let d be r(h). Suppose -d*o = -3*l - o + 20, 0 = -3*l - 5*o + 40. Is l a multiple of 7?
False
Let i(b) = -b**2 + 13*b + 6. Let p be i(9). Suppose -2*l + 58 = -4*l. Let q = p + l. Is q a multiple of 6?
False
Let d(m) = -m**2 - 17*m + 3. Is d(-16) a multiple of 4?
False
Let i(t) = -2*t - 9. Let h be i(-7). Suppose 4*n - h*m + 12 = 38, -m + 2 = 0. Is 3 a factor of n?
True
Let i = 12 + -8. Suppose 0 = 4*d - 56 + i. Is d a multiple of 5?
False
Let u(g) = -2*g - 2. Suppose 4*d - 25 = -5*q + 41, 0 = 4*d - q - 54. Suppose -5*w - c = d, 4*c - 2 = -w - 1. Is u(w) even?
True
Suppose 12 = 5*c - 3. Let a = 15 - c. Is a a multiple of 5?
False
Let d be (3 - 1) + 0 + -2. Let c(x) = -24*x - 5. Let h be c(-5). Suppose d = -7*l + 2*l + h. Is 10 a factor of l?
False
Suppose 3 = 2*v - 1. Let m = -3 + v. Is (-111)/(-4) + m/(-4) a multiple of 13?
False
Let w(z) = -z**3 + 6*z**2 + 8*z. Let f be w(6). Suppose -h - f = 3*h. Is ((-64)/h)/(2/6) a multiple of 14?
False
Let s(r) = -r**3 - 8*r**2 + 8*r + 3. Let v be s(-9). Suppose -33 = -3*y + 3*l, -y + v + 9 = -3*l. Does 6 divide y?
True
Suppose 3*o + 12 = 6*o. Suppose -k = -o*k + 45. Does 12 divide k?
False
Let p = 5 + -9. Is 16 a factor of 2/(-8) - 129/p?
True
Let g(n) = -n**2 + 14*n + 17. Let i be g(15). Suppose i*c - 8 = c. Is c a multiple of 8?
True
Suppose -4*b - 2*w + 26 = 0, 3*b + 5*w - 20 = 3*w. Is b even?
True
Suppose 6*r - 82 = r - g, 2*r + 2*g - 36 = 0. Is r even?
True
Let r be 0*3/9 - -8. Suppose -a = -d - 3*a - r, -d - a = 9. Does 14 divide 15*(-2 - 32/d)?
False
Suppose 0 = -2*k - 2*z - 1 + 7, 3*k - 19 = -5*z. Suppose -r = 1 + 4. Let g = k - r. Does 2 divide g?
False
Let y = -17 + 29. Suppose -y = -4*w, -63 = -8*j + 4*j - 5*w. Is j a multiple of 7?
False
Suppose -4*m + 6 = -m. Suppose 2*p - 8 = s, 1 = m*p + 5*s - 19. Is p a multiple of 5?
True
Suppose -3*v + 508 = 5*x, 3*x - 2*v = 3*v + 332. Is 26 a factor of x?
True
Suppose 2 - 28 = 2*j. Let b(q) = q + 28. Is 5 a factor of b(j)?
True
Let n(m) = m + 8. Let b(s) = -s - 3*s + 2*s - 24. Let o(q) = -4*b(q) - 11*n(q). Is o(-7) a multiple of 13?
False
Let o = -1 + 5. Suppose -5*a - 178 = -3*w, 3*w - o*a - 232 = -w. Suppose 3*b = 0, b + w = l + l. Is l a multiple of 14?
True
Suppose 0 = -c - 3 + 6. Suppose -114 - 330 = -c*w. Suppose -5*z + 216 = 4*x, w = -0*z + 4*z - 3*x. Does 20 divide z?
True
Is 775/10 - (-2)/(-4) a multiple of 11?
True
Let p(f) = -f - 6. Let b be p(-8). Suppose b*i + 2*h - 40 = -0*i, 3*i - 3*h - 60 = 0. Is 6 a factor of i?
False
Does 23 divide 2/(-2)*(-24 + 1)?
True
Let f = -146 - -251. Is f a multiple of 14?
False
Suppose -7*v = -10*v + 15. Does 4 divide v?
False
Suppose t - 7 - 42 = 0. Does 13 divide t?
False
Suppose -3*d = -q - 32, 2*d = q - 0*q + 20. Suppose t - 18 = d. Is 15 a factor of t?
True
Let x be (-4)/(-14) + 63/(-49). Let u = 1 - x. Suppose 5*f + 5 = 0, j + 5*f - 15 = u*f. Is j a multiple of 9?
True
Suppose -12*m = -8*m - 32. Is m a multiple of 4?
True
Suppose -5*o - 44 = -6*o. Is o a multiple of 11?
True
Is 10 a factor of -2 + 1*60/1?
False
Let x = -2 - -3. Let z = 1 - x. Suppose 0 = 4*p - z*p - 12, 2*q + 5*p = 23. Is 4 a factor of q?
True
Let u be ((-756)/(-15) + -2)*5. Suppose -5*b = 2*j - u, 25 + 24 = b + j. Suppose 2*s - 24 = b. Does 18 divide s?
True
Suppose 2*b + 5*a = 31, 0*a = -2*b - 3*a + 41. Does 14 divide b?
True
Suppose 3*u = 6*u + 96. Let z = 54 + u. Is z a multiple of 6?
False
Let k(t) = -15*t**3 + t**2 - 1. Let a be k(-1). Suppose 3 = -c + a. Does 7 divide c?
False
Let o(n) = 39*n**3 - 4*n**2 - 3*n - 1. Let j be o(-2). Let q = 169 + j. Is 13 a factor of q/(-4) - 7/14?
False
Suppose -4*g + n = 10, 5*g + 4 = 3*n - 5. Let p be -3 - (-2 - (g - 2)). Let u(q) = -q**3 - 4*q**2 + 6*q. Is u(p) a multiple of 13?
False
Let k be (1/1 - 1)*1. Is 14 a factor of (5 + k)*28/10?
True
Suppose -3*o + 2*j = 26, -5*o = -2*o - 3*j + 30. Let s = 1 - o. Is s even?
False
Let l(y) = -4 + y - 3 + 7. Suppose 6*p = 3*p + 5*f - 6, p + 3 = 2*f. Does 3 divide l(p)?
True
Does 12 divide ((-1)/(-4))/1 + (-2349)/(-108)?
False
Let i(l) = -l**3 + 6*l**2 + 6*l + 1. Let y be i(7). Is 9 a factor of 100/y*15/(-10)?
False
Let n be 6/(-9) - 8/(-12). Is (0 - n) + -3 + 16 a multiple of 13?
True
Let r(u) = -5*u**3 + 2*u + 1. Let s be r(-3). Let x(b) = -7*b - 1. Let m be x(-1). Suppose -q - s = -m*q. Is q a multiple of 12?
False
Let o(g) = 3*g + 15. Is o(9) a multiple of 16?
False
Let u be (-96)/14*(-1 + 8). Let t = 87 + u. Does 13 divide t?
True
Is 48/14 - (-44)/77 - -24 even?
True
Let j(c) = -167*c**3 + 1. Does 21 divide j(-1)?
True
Let b(q) = q**2 - q. Let y be b(2). Suppose -h - y*d + 51 = 0, -h = -5*d + 29 - 87. Is h a multiple of 16?
False
Let u = -128 - -308. Is 34 a factor of u?
False
Suppose 4*p = -0*p + 60. Does 11 divide 70/6 - 10/p?
True
Is (3/1 - -102) + 0 a multiple of 19?
False
Let q be (-5)/(-10) + 43/2. Let c be (-1 - -1)/((-2)/(-1)). Suppose c = -3*d - 4*s + q, 5*d - s = -10 + 85. Does 5 divide d?
False
Let j(n) = 13*n**3 - 1. Suppose 0 = s, 5*s + 1 = -2*q + 3. Is j(q) a multiple of 4?
True
Suppose 8*q = 3*q + 150. Is 15 a factor of q?
True
Suppose -2*z - z - 24 = 0. Let s = 6 - z. Does 7 divide s?
True
Let z(d) = d**3 + d**2 - d + 7. Let o = -5 + 0. Let f be z(o). Does 6 divide f/(-14) + (-10)/35?
True
Let z be (4/6)/((-1)/6). Is 16 a factor of (-193)/(-4) + z/16?
True
Does 10 divide 134/8 - 16/(-64)?
False
Let p = 52 - 37. Suppose m + 3 = p. Is 4 a factor of m?
True
Let k = 5 - 4. Is 2/k*(-2 - -4) a multiple of 4?
True
Suppose -r - 3*o = 2*o - 278, 0 = 2*r + 2*o - 548. Is r a multiple of 21?
True
Let s be 1/6*10*-3. Let h be (18/(-12))/((-3)/(-60)). Is 3 a factor of ((-6)/s)/((-12)/h)?
True
Is 6 a factor of (-777)/(-6) - -1*(-1)/(-2)?
False
Let l = -51 - -85. Let c = l + -20. Is c a multiple of 7?
True
Let x be 4 + 1 + 2/(-1). Suppose 3*s + 0*s - x*l = 153, 0 = -s + 2*l + 55. Is s a multiple of 22?
False
Let f = -41 + 40. Let q(i) = -3*i + 4. Let b be q(-6). Let l = b - f. Is 11 a factor of l?
False
Suppose 0 = -4*f + 3*f + 4*q + 20, -3*f = -2*q - 70. Does 8 divide f?
True
Let p be -1 - (1 - (-2 - 50)). Let l = p - -90. Is l a multiple of 12?
True
Let a = -6 + 9. Suppose -3*y = a*r - 48, -12 = -2*r - 4*y + 30. Does 5 divide r?
False
Let h = -21 - -17. Is 43 + (-6 - (1 + h)) a multiple of 11?
False
Does 4 divide (2 + -3 + 5)*1?
True
Let s(c) = -c**3 - 5*c**2 + 7*c + 2. Let m be 38/(-6) + 1/3. Let w be s(m). Is (w - -2)/(2/(-16)) a multiple of 6?
False
Let p = 4 + 1. Suppose -3*m + 30 = -3*r, p*m + 11 = -r + 61. Suppose -4*b + 38 = m. Does 7 divide b?
True
Let s = -2 + 86. Does 21 divide s?
True
Let w = -16 - -39. Is w a multiple of 13?
False
Suppose -5*d + 2*b + 104 + 177 = 0, -236 = -4*d - 4*b. Let s = -35 + d. Is 11 a factor of s?
True
Suppose 3*t - 5 = 10, 2 = 4*r - 2*t. Let n be (16/r)/(4/(-36)). Does 12 divide (-1)/(-2)*n/(-1)?
True
Let d = -81 - -44. Let i = -20 - d. Is 7 a factor of i?
False
Let q be (-16)/20*10/(-4). Suppose 0 = 5*h - q*h + 30. Is 10 a factor of (0 - h)*(2 + 0)?
True
Let v(t) = -t**3 + 5*t**2 + 6*t + 5. Is 3 a factor of v(6)?
False
Does 3 divide 143/8 + 4/32?
True
Let m = 32 - 15. Suppose -5*g + 88 + m = 0. Is 7 a factor of g?
True
Suppose -2*i = -5*i - 4*g + 34, -4*i = -g - 20. Does 2 divide (-2)/(-3) - (-26)/i?
False
Let g(r) be the second derivative of r**5/20 + r**4/2 - 2*r**3/3 - r**2 + 2*r. Let j be (2 - 3)/((-2)/(-12)). Is g(j) a multiple of 22?
True
Let q be (-16)/6*9/(-4). Let m be (1 - -2)*40/q. Suppose d - m = -d. Is 4 a factor of d?
False
Let u = 54 + -27. Is u a multiple of 18?
False
Let o(l) = l**3 - 9*l**2 + 7*l + 8. Let y be o(8). Suppose -a + 5*a - 52 = y. Is a a multiple of 6?
False
Let f = -7 - -11. Suppose -f*d + 97 = -47. Is d a multiple of 18?
True
Let y(u) be the first derivative of u**5/10 + u**4/24 + u**2 - 1. Let b(n) be the second derivative of y(n). Is 8 a factor of b(-2)?
False
Let s = 403 - 255. Suppose 36 = x + 5*i - 1, 0 = -4*x + 3*i + s. Does 14 divide x?
False
Suppose -5*k + i = -702, -k - 4*i = k - 272. Does 20 divide k?
True
Let w(p) be the third derivative of p**5/30 - p**3/6 + 2*p**2. Is w(2) even?
False
Let f = -10 - -112. Is 34 a factor of f?
True
Suppose -2*d = -0*d - 28. Is 14