853 = -5*c - 190, -3405 = -5*a - 4*c. Is 8 a factor of a?
False
Let v = 0 + 7. Suppose f = 3*t - v*t + 107, t + f = 29. Does 13 divide t?
True
Suppose -4*w - t + 2*t + 309 = 0, 3*t - 382 = -5*w. Is 7 a factor of w?
True
Let k(l) = -874*l - 217. Does 9 divide k(-3)?
False
Suppose -18153 - 8472 = -25*b. Is 15 a factor of b?
True
Let u(d) = -66*d**3 + 5*d**2 + 2*d + 2. Does 42 divide u(-2)?
True
Suppose 7*b + 45600 = 26*b. Is 20 a factor of b?
True
Suppose 5*b - 2*a - a - 30 = 0, 0 = -5*b - 3*a. Let o = 1 + b. Does 11 divide (0 - -31) + o + -2?
True
Is 4 a factor of (-13240)/(-28) + 25/((-1225)/42)?
True
Let a(w) = -3*w**3 + 2*w**2 + 3*w + 2. Let u be a(-1). Does 22 divide 0 - (-8)/u - -159?
False
Suppose -3*g - 6 = 3. Let d = g - -23. Is d a multiple of 5?
True
Suppose 5*p = 2*t + 471, -4*t = 4*p - 9*p + 467. Let u = -52 + 97. Suppose -u = -5*z + p. Is z a multiple of 7?
True
Let l = 387 - -7. Is 47 a factor of l?
False
Let d(u) be the third derivative of 0 - 1/2*u**3 - 2*u**2 + 0*u - 9/8*u**4. Does 39 divide d(-3)?
True
Let z(j) = -9*j**2 - 19*j + 3. Let b(t) = -4*t**2 - 9*t + 1. Let y(m) = -7*b(m) + 3*z(m). Let v be y(-8). Is (-10 - -6) + (v - 1) a multiple of 4?
False
Let n be 9/12 + (-1300)/(-16). Suppose -3*d + 2*a + n = -48, -2*d = 5*a - 93. Is 6 a factor of d?
False
Suppose 18*g = 11*g + 3220. Does 46 divide g?
True
Let i = 10 + -4. Suppose i = 2*f - 4*f. Is 13 a factor of ((-8)/f)/(2/21)?
False
Let x = 201 + 25. Is 23 a factor of 14/(-56) - (x/(-8) - 2)?
False
Is (-1066)/(-26) - (-2 + -2) a multiple of 2?
False
Let x = -26 + 28. Is 9 a factor of (252/(-30))/(x/(-5))?
False
Let u(i) = 5*i**2 + 4*i - 11. Suppose 102 = 2*p + 98. Is 3 a factor of u(p)?
False
Let a be 0*3*2/(-18). Is 23 a factor of (-15136)/(-110) + (a - (-2)/5)?
True
Suppose 0 = u + 938 - 2468. Suppose 2*i - u - 44 = 0. Suppose 5*b = i - 292. Is 33 a factor of b?
True
Suppose -25 = 5*o, -2*d + 35 + 49 = -2*o. Suppose -23 = -4*u + d. Is 2 a factor of u?
False
Suppose -18*u + 42941 = -3715. Is u a multiple of 18?
True
Let n(m) = -m**3 - 13*m**2 - 9*m - 21. Suppose -j - 9 = 4. Is 24 a factor of n(j)?
True
Suppose 23*x - 2209 = -24*x. Is x a multiple of 32?
False
Let x = -16 + 25. Let q be ((-168)/x)/7*-21. Let a = -14 + q. Does 14 divide a?
True
Suppose 4*s - 5 = -5*z, z - 3 = -3*z - 3*s. Let c = z + 6. Suppose 26 = 4*b + x, 2*b - c*x = -5*x + 10. Does 7 divide b?
True
Let j = 21 + -17. Suppose 0 = -3*x + 9, 2*a - 7 = -j*x + 3*x. Suppose -a*k = -k - 18. Is 18 a factor of k?
True
Let v = 15 - 10. Let u(k) = 3*k - 4. Let z be u(3). Suppose z*m + 42 = -5*a + 132, -40 = -5*a + v*m. Is 13 a factor of a?
True
Let i be (-3)/((-2)/((-128)/(-6))). Suppose -2*v - 4 = -i. Let g = 19 - v. Does 4 divide g?
False
Let z be (0 - -2) + (-2 - -1). Does 18 divide 73*(-2 - -7)*z/5?
False
Let q = -196 + 422. Suppose -2*o - 272 = -6*o. Suppose -4*j = -4*y - q + 26, -j = 5*y - o. Is j a multiple of 16?
False
Let s(r) = 2*r**2 + 6*r - 18. Let t be s(-5). Suppose 1620 = t*v + 7*v. Is 20 a factor of v?
True
Let a(o) = -7*o**3 + 3*o**2 + 3. Let c(x) = -3*x**3 + 2*x**2 + 2. Let n(q) = -2*a(q) + 5*c(q). Is n(-4) a multiple of 22?
True
Let k(x) = 528*x**2 + 3*x + 3. Does 24 divide k(-1)?
True
Let c(p) = -302*p - 2. Let b be c(-1). Suppose -x = 4*x - b. Does 9 divide x?
False
Let l(p) be the first derivative of -p**3/3 + 7*p**2/2 - 5*p - 1. Let h be l(5). Suppose 3 = h*n - 187. Is 13 a factor of n?
False
Suppose 0*l = 2*l - 8. Is 17 a factor of (-4)/18 - (l + (-731)/9)?
False
Is (-10 - 6)*85/(-2) a multiple of 44?
False
Let h(a) = a**2 - 2*a - 18. Let b(d) = d**3 - 6*d**2 - 15*d + 1. Let x be b(8). Is 4 a factor of h(x)?
False
Let l(u) be the third derivative of u**7/840 - u**6/40 + u**5/60 - u**4/8 + 2*u**3/3 - u**2. Let r(m) be the first derivative of l(m). Does 6 divide r(9)?
False
Let a = -8 + 12. Let p = 23 + a. Let r = p + -10. Is 7 a factor of r?
False
Let y(l) = -6*l**3 - 2*l**2 + 5*l + 7. Is 37 a factor of y(-2)?
True
Let z(m) = m**2 + 14*m - 6. Let d be z(-14). Let b be 0 - 0 - (d + 2). Suppose b*v - 6*v + 30 = 0. Does 5 divide v?
True
Suppose 2*x - 1 - 3 = 0. Let d(v) = v**3 - 8*v**2 + 6*v + 10. Let z be d(8). Suppose 3*t - x*b - z = 17, t - 12 = 5*b. Does 12 divide t?
False
Suppose 0 = 3*r - 3 - 3. Suppose -4*h + r*c = -0*c - 172, -5*h + 212 = -c. Let b = h + -7. Is 13 a factor of b?
False
Suppose 23*r - 22*r + b - 426 = 0, -4*r + 4*b = -1704. Does 40 divide r?
False
Let q(y) = 32*y**3 + 3*y + 7. Is 80 a factor of q(3)?
True
Let v = -838 + 1113. Is v a multiple of 25?
True
Suppose 0 = 3*c + 4*q - 16, 4*c + 8 = -c + 2*q. Suppose c*o = 2*o - 4*t - 52, -t = -5*o + 103. Suppose o + 100 = 4*h. Is h a multiple of 10?
True
Let k(l) = -l**3 - 42*l**2 - 44*l - 47. Does 4 divide k(-41)?
True
Let w(o) = 4*o**2 - o + 3. Suppose -5*d + 4*d = 0. Suppose -2*x - 3*f - 3 = d, -8 = x + 2*x + f. Is w(x) a multiple of 11?
False
Let a(o) = -o**3 + o + 2. Let b(k) = -k**3 + k + 4. Suppose 5*i + 10 = 3*i. Let t(u) = i*a(u) + 3*b(u). Is t(2) a multiple of 14?
True
Let o be 46/12 + (-2)/(48/(-4)). Suppose 127 = o*p + l + 28, 3*p + 5*l - 53 = 0. Is p a multiple of 13?
True
Suppose -5*r + 2*a = 6 - 38, -5*a = -2*r + 17. Let s = r - 8. Let f(b) = -22*b. Is 13 a factor of f(s)?
False
Let a(m) = m**3 - 9*m**2 - 13*m - 15. Is a(11) a multiple of 4?
True
Let i(m) = -2*m**3 - 23*m**2 - m + 17. Let c(n) = n**3 + 11*n**2 + n - 8. Let w(g) = 7*c(g) + 3*i(g). Let f be w(-7). Suppose -f = -k - k. Is 4 a factor of k?
True
Suppose -2*h = -2*b - 434, 2*h - 5*b + 1075 = 7*h. Does 27 divide h?
True
Let i(j) = 7*j**3 + 4*j - 8*j**2 - j**3 + 0*j**2 - 5*j**3 + 3. Let c be i(7). Does 19 divide (-366)/c + 4/(-3)?
True
Let c = 26 + -37. Let m = -15 - c. Is (-1)/m - 214/(-8) a multiple of 9?
True
Let k(z) = 7*z**2 + 3*z - 2. Suppose 5*u - 6 = 4. Does 8 divide k(u)?
True
Suppose -3*o - 1836 = -6363. Let w = o - 659. Does 17 divide ((-2)/(-5))/(10/w)?
True
Suppose -3 = -5*c - s + 41, s = -2*c + 17. Let a(n) = -n**3 + 9*n**2 + 6*n + 8. Let p be a(c). Does 11 divide p/6 - (-16)/24?
True
Let f(a) = -11*a - 134. Let w be f(-12). Let x(n) = -8*n**2 + n. Let o be x(1). Does 15 divide 626/14 + w/o?
True
Is (1 - 10)/(21/(-9513)) a multiple of 17?
False
Suppose 5*n + 512 = -1358. Let d = n - -156. Is 11 a factor of 2/(-4) + d/(-4)?
False
Let v be ((-3)/(-2))/(1/(-6)). Suppose -67*y = -69*y - 66. Let z = v - y. Is z a multiple of 9?
False
Let f = -1539 - -2196. Suppose 0 = -4*w - 5*w + f. Is w a multiple of 17?
False
Let k(b) = 2*b + 3. Let x be k(1). Suppose -30 = -x*q + 5*a + 5, 5*q = 2*a + 44. Suppose q*z - 12*z = -16. Is z a multiple of 8?
True
Suppose -j - 19*j + 12000 = 0. Is j a multiple of 20?
True
Let l(s) = 37*s - 27. Let k be l(6). Suppose -21*q = -18*q - k. Does 8 divide q?
False
Let o(z) = 12*z**3 + 88*z**2 + 2*z - 14. Is o(-7) a multiple of 30?
False
Suppose -40*a = -26*a - 26810. Does 18 divide a?
False
Let z = 5 + -3. Suppose 11 = -c - 3*d, 6*c + z*d = c - 68. Does 10 divide (-3 - c) + 1/(-1)?
True
Let i = -12 - -272. Is i a multiple of 3?
False
Let q(b) = -b**3 - 2*b**2 + 3*b - 1. Let w be q(1). Suppose -z - 5*l = 20, z + 2*l = -3*z - 26. Is ((-36)/(-5))/(w/z) a multiple of 18?
True
Let b = 240 - 127. Let h = b - 65. Is h a multiple of 6?
True
Let x(m) be the second derivative of -m**4/12 - 4*m**3/3 - 5*m**2 - 14*m. Let l be x(-6). Suppose -8*c + l*c + 48 = 0. Is 2 a factor of c?
True
Let p be 5 - 1 - (-1 - -5). Suppose z - 1 + p = 0, 4*k = -2*z + 242. Is 30 a factor of k?
True
Let g(c) be the third derivative of -c**6/120 - 11*c**5/60 + 5*c**3/2 - 9*c**2. Let j be (-2)/10 - (-864)/(-80). Is 11 a factor of g(j)?
False
Let w = -1 - 1. Let c be w*(-28)/(-8)*-1. Let a(r) = r - 2. Is a(c) a multiple of 3?
False
Let f = 19 + -33. Let c = f - -17. Suppose 5*k + 4*w = c*w + 274, 0 = k + 5*w - 74. Does 27 divide k?
True
Suppose t - 2 = -0. Let p = t + 6. Is 3 a factor of p?
False
Does 17 divide 0 - -267 - (-85)/17?
True
Let a = -56 + 59. Suppose -f = 3*o + a*f - 629, -5*o + f + 1010 = 0. Does 31 divide o?
False
Let v = 1 - -2. Suppose 4 = v*n - n. Suppose 5*a - 2*g - 234 = 0, -n*g = -5*a - 4*g + 246. Is 24 a factor of a?
True
Is 41 a factor of (4 - (-28)/(-8))*-6 + 946?
True
Suppose -9*v + 5*v + 12 = 0. Let i(n) = 6*n - 6. Does 2 divide i(v)?
