4)/(-8)). Suppose 5*l + j*q - 783 = 0, 3*q - 457 = -3*l - 2*q. Suppose 2*w = 5*w - l. Is 22 a factor of w?
False
Suppose -k + 6*k = 5*q - 3365, 2*q - 1343 = -k. Is 48 a factor of q?
True
Let t = -11 + -101. Let w be -7*(-1)/((-21)/108). Let p = w - t. Is p a multiple of 19?
True
Suppose 0 = -34*k + 14*k + 9780. Does 24 divide k?
False
Let s = -19 - -96. Suppose 0 = 4*v - 31 - s. Is v a multiple of 9?
True
Let i be (3 + -1)/((-14)/(-231)). Is (-2 - 2 - i)/(-1) a multiple of 14?
False
Suppose -k + 64 = 2*x, x - 134 = -2*k - 0*x. Does 9 divide k?
False
Let o be (-92)/3*(-42)/(-28). Let c be o/(-14) - (-18)/(-63). Suppose -3*l + 268 = -4*w, l + c*l = 4*w + 352. Does 28 divide l?
True
Let z(q) = -16*q + 42. Is z(-11) a multiple of 21?
False
Let w = 72 - 42. Let m = -15 + w. Is m a multiple of 2?
False
Let l(b) = 4*b - 4. Let d be l(-4). Is 8 a factor of (-4)/d + 1436/20?
True
Suppose 39 - 3 = 2*j. Let y = j + -7. Is y a multiple of 9?
False
Suppose 3*j + 3*a = 3750, -3*j + 14*a + 3742 = 13*a. Does 52 divide j?
True
Suppose 0 = 2*c - 8*c + 36. Suppose w - 2*o = -w + c, 3*o = 4*w - 12. Suppose -w*d + 9 = -63. Is d a multiple of 24?
True
Let j = 387 - 200. Let w = j - 107. Does 16 divide w?
True
Let w be (-156)/15 + 12/(-20). Let x = w - -11. Suppose 3*m - 5*m - 54 = -4*t, 3*t + 3*m - 54 = x. Is t a multiple of 2?
False
Let x = -9 + -13. Let z = 183 - 126. Let b = x + z. Does 35 divide b?
True
Suppose 19 = 7*a - 2. Suppose -86 = -h + 4*m, a*h + 0*m = -m + 245. Is h a multiple of 23?
False
Let c = 177 + 61. Is 4 a factor of (18/(-7))/((-51)/c)?
True
Let b be (-2)/(-3)*(-30)/4. Let q be (-1 - b) + 9 + -11. Suppose q*d = 4*d - 24. Is d a multiple of 6?
True
Suppose -5 - 111 = -4*z. Suppose z*y = 27*y + 122. Does 6 divide y?
False
Suppose 0*x - 18 = 3*x - 3*h, 5*h - 15 = 2*x. Let j(b) = b - 9. Let o be j(4). Does 3 divide 1/x + (-76)/o?
True
Let w(o) = 3*o - 7. Let t(c) = 8*c - 20. Let j(x) = 6*t(x) - 17*w(x). Let r be j(-2). Suppose -35 = -r*k + 3*g, 3*k - 39 = 2*g - 18. Is k even?
False
Suppose -2*f + 50 = -4*h, 0 = -4*f + 3*h - 8*h + 113. Is 33 a factor of (-8)/36 - (-1869)/f?
False
Suppose -2*x = -7*x + 1050. Let r be (-4)/3 - x/(-9). Let t = r - 1. Is t a multiple of 4?
False
Let l be (1/3)/(4/(-24)). Let g be 10/20 - 267/l. Let n = g - 82. Is n a multiple of 13?
True
Suppose -4*m = -2*h, 3 = -2*m - m + 3*h. Is 67 - m/(3 - 4) a multiple of 17?
True
Let x be ((-213)/3)/(2/6). Let q = -128 - x. Does 13 divide q?
False
Suppose -2*m + 24 = 4*m. Is m/8 - (-2)/(8/138) a multiple of 6?
False
Let c(p) = 2*p**2 + 96*p - 58. Does 59 divide c(-54)?
True
Let s = -297 + 530. Does 5 divide s?
False
Let j = -1 - 7. Let z = 13 + j. Suppose z*a = a + 104. Is a a multiple of 13?
True
Let x = -16 - -12. Does 2 divide (-30)/x*20/30?
False
Is (18/((-270)/(-195)))/((-2)/(-42)) a multiple of 31?
False
Let b(x) be the third derivative of x**4/6 - 5*x**3/6 - 2*x**2. Let k be b(2). Suppose 0 = k*j - 16 - 8. Is 2 a factor of j?
True
Suppose -61*j - 1176 = -64*j. Is 28 a factor of j?
True
Let j(b) = -b**2 - 31*b - 6. Let i(a) = 16*a + 3. Let q(c) = -7*i(c) - 4*j(c). Does 25 divide q(-6)?
True
Suppose s = 4, -a - 5*s = 2*a - 236. Does 11 divide (a/(-45))/(4/(-110))?
True
Let o = 141 + -49. Is 5 a factor of o?
False
Let q(j) = 2*j**2 + 9*j + 24. Let p be q(-12). Suppose 0 = f, -3*f + f + p = 4*u. Is u a multiple of 16?
False
Let c be (837/15)/(-3)*-5. Let u be c - (2 + -10)/2. Suppose -k + 5*h + u = 0, -2*k + 3*h = -6*k + 319. Does 17 divide k?
False
Suppose 53*b = 56*b - 603. Is b a multiple of 14?
False
Let q = -135 - -293. Is 9 a factor of q?
False
Let r(j) = 3111*j**3 + 2*j**2 + 24*j - 26. Does 32 divide r(1)?
False
Suppose 0 = -2*j + 24*j - 11946. Is 48 a factor of j?
False
Let s(v) = 2*v**2 - 15*v + 7. Is s(-7) a multiple of 10?
True
Let f(y) = -73*y - 88. Is f(-11) a multiple of 11?
True
Suppose -27 = -5*z - 7. Let p(u) = -u**3 + 4*u**2 - u + 9. Let b be p(z). Suppose 47 + 73 = b*w. Is 12 a factor of w?
True
Suppose o + 5 = -4*r, -16 = -2*o + 3*r + 2*r. Suppose 2*p = o*p + 4*u - 6, p - 5 = -3*u. Suppose 0 = -5*t - p*y + 20 + 58, y = -t + 18. Does 7 divide t?
True
Let o(a) = -a - 1. Let q be o(9). Let f be -298*(15/q - -1). Suppose 5*w + i - f = 0, 2*i - 8 = -0. Does 6 divide w?
False
Let q(k) = k**3 - 3*k**2 + 3*k + 1. Let s(z) = z + 1. Let g be s(4). Suppose -5*i + 21 = 4*c + 4, -5*i - g*c + 15 = 0. Does 17 divide q(i)?
False
Suppose -2*v + 24 = -3*k - k, 5*k = 20. Suppose -5*c = -v - 5. Is 6 a factor of 101/c - (-4)/(-20)?
False
Let z(s) = -s**2 - 4*s + 12. Let l be z(-6). Suppose l = -2*p - 3*b + 119, -3*p + 5*b = -278 + 71. Does 12 divide p?
False
Let a(y) = y - 3. Suppose 0 = -3*w - w. Let t be a(w). Is 4 + 5 + (t - -2) a multiple of 4?
True
Does 70 divide 24244/12 + (-8)/6 + 2?
False
Suppose 0 = -10*j + 616 + 15914. Does 30 divide j?
False
Let w be 2 + ((-3)/(-12))/(1/44). Suppose -w*v + 14*v - 54 = 0. Does 18 divide v?
True
Suppose -3*d = 5*f - 6*f - 28, 3*d + f = 32. Suppose 34 - d = a. Is a a multiple of 3?
True
Let z = 18 + -44. Let t = -20 - z. Does 6 divide t?
True
Does 71 divide (1 - (-3)/(-5)) + (-29299)/(-415)?
True
Let i = 3206 + -1344. Is 49 a factor of i?
True
Suppose -3*l = -4 + 7. Let k be -1 - (3 - (-2 - l)). Let o(s) = -s**3 - 3*s**2 - 2*s - 12. Is 24 a factor of o(k)?
True
Let w(m) = m**2 - 4*m + 93. Is w(-17) a multiple of 50?
True
Let h = -90 + 94. Suppose 0*s = -h*s + 96. Is s a multiple of 8?
True
Let b(o) = -16*o**3 - o**2 - o - 1. Let s be b(-1). Suppose 12 + 24 = 4*q. Let u = s - q. Is 6 a factor of u?
True
Is 16 a factor of -4 - ((-9)/(-6)*4 - 820)?
False
Let c(f) = -f - 1. Let a be c(-11). Suppose a + 20 = -6*i. Is (7 - i)*(-1)/(-4) a multiple of 2?
False
Let x(q) = 2*q**3 - 2*q + 1. Let f be x(1). Let r be 16*(-1 - f)/(-4). Let m = 20 - r. Does 12 divide m?
True
Suppose -6*f + 47 + 1333 = 0. Is f a multiple of 23?
True
Suppose -4*a = -t - 3*a + 79, 2*t - 5*a = 170. Suppose 41 = 4*p - t. Does 7 divide p?
False
Suppose -642 = -2*m + v, 7*m - 4*v = 5*m + 642. Is 27 a factor of m?
False
Suppose -6*i + 990 = k - 7*i, 4*k + 5*i = 3969. Does 14 divide k?
False
Suppose k + 4*k - 30 = 0. Let v = -3 + k. Suppose 7*c = v*c + 132. Is c a multiple of 11?
True
Let x be 3/((0 + 1)/14). Suppose 4 = -2*t, 2*w - x = -0*w + t. Suppose 0*y - k + w = y, 5*k = -2*y + 43. Is y a multiple of 12?
False
Suppose -3*b + 25 = -5*n, 0 = -8*b + 3*b - 4*n + 17. Let w(v) = -2*v**2 + 7*v. Let m be w(b). Is (-338)/(-5) + (-6)/m a multiple of 21?
False
Suppose 0 = 15*y - 22*y + 22932. Is y a multiple of 21?
True
Let r(w) = 22*w + 13. Let n be r(7). Suppose 4*v - n = 153. Suppose 2*x - v - 96 = 0. Does 26 divide x?
False
Is 5 a factor of (-2)/10 + 4/20 + 160?
True
Let j = 9 + -15. Let i(n) = -n + 24. Is i(j) a multiple of 6?
True
Let c(x) = 68*x - 187. Is 8 a factor of c(12)?
False
Let o(n) be the second derivative of -n**6/120 + n**5/10 + 5*n**3/6 + 5*n**2/2 - 4*n. Let y(u) be the first derivative of o(u). Does 18 divide y(5)?
False
Suppose 8*c = 189 - 21. Does 7 divide c?
True
Let s(q) = q**3 - 5*q**2 + 3*q + 1. Let j be s(5). Let g be (-8)/j - (-2)/4. Suppose -3*l - 5*m + 168 = g, 2*l = -3*l - 2*m + 280. Does 13 divide l?
False
Let b be 344/28 + 6/(-21). Suppose -b*r + 621 = -3*r. Does 11 divide r?
False
Let t = 56 - 54. Suppose -2*w = -2*i + 134, -4*i + t*w + w + 269 = 0. Is 7 a factor of i?
False
Suppose -2*y + 4*i + 12 = 0, 0 = 4*y + 4*i - 6*i - 36. Let p = 10 - y. Suppose 2*n - 3*a - 103 = p, n - 23 - 25 = -2*a. Is n a multiple of 25?
True
Let y be (-6)/(-16) + 24/(-64). Suppose -g + 3*g - 474 = y. Is g a multiple of 13?
False
Suppose -4*h + f - 10 = 6*f, 2*h + 3*f + 6 = 0. Let a be h/(-18) - -1*2. Suppose 20 = 4*m, -3*u = -8*u - a*m + 220. Is 11 a factor of u?
False
Let j = 1451 + -1009. Does 34 divide j?
True
Suppose 9 = x - 5*f, 0 = -3*x + 2*f + 2 + 12. Suppose -x*v = -4 - 16. Does 5 divide (3 - (v - 2)) + 15?
True
Let h(o) = 126*o**2 - o + 2. Suppose 8*n = -2*n + 10. Does 32 divide h(n)?
False
Let q(m) = -150*m + 269. Is q(-12) a multiple of 78?
False
Suppose 2*b = -y - 2*y + 8, 0 = -5*y + b + 35. Let t(f) = 2*f + 5. Let n be t(y). Suppose n = l - k, 31 - 7 = 2*l - 4*k. Is l a multiple of 10?
False
Is 3/(27/2) - (-22000)/144 a multiple of 9?
True
Let z(a) = -a*