6?
True
Let p = 24 + -55. Let j = -3 - p. Is 11 a factor of j?
False
Let b be (-12844)/(-195) - (-4)/30. Suppose 0*t + 5*h = 3*t - 104, 2*t = 4*h + b. Is 13 a factor of t?
False
Suppose 13*n - 2519 = -569. Is n even?
True
Let y(f) = f**3 + 12*f**2 - 13*f + 2. Let k be y(-13). Suppose k*s = 7*s - 585. Is s a multiple of 28?
False
Let i(v) = -376*v - 26. Is i(-2) a multiple of 9?
False
Let r(c) = -9*c + 2. Let p(b) = -1. Let w(g) = 6*p(g) + r(g). Suppose 34 = -11*m - 21. Does 9 divide w(m)?
False
Let j(f) = -f**3 + 21*f**2 + 11*f + 140. Is j(18) a multiple of 5?
True
Let k(d) = -3 + 3*d**2 - 2*d + d - d**3 + 3*d - 5*d**2. Let i be k(-3). Suppose -3*t - 3*t + 114 = i. Is 19 a factor of t?
True
Let m = -10 + 27. Is 0 + 2 + (m - 0) a multiple of 19?
True
Suppose -8 = 2*l - 0*l - 5*v, 4 = 2*v. Let q be 33/l*22/33. Suppose -3*p + 2*p = -q. Is 22 a factor of p?
True
Suppose 6*z = 2*z - 120. Is (-3036)/(-40) + (-3)/z a multiple of 12?
False
Let w = -106 - -32. Let f = 170 + w. Does 12 divide f?
True
Let w be (-2 + 314/10)*5*1. Suppose m - 24 = -3*y + w, m = -5*y + 177. Does 13 divide m?
False
Suppose 4*z - 2*z = 0. Let m be (-16)/((1 - z)*1). Does 10 divide (-292)/m + 3/(-12)?
False
Let s be 3/(-9)*-9*5/(-5). Is 12 a factor of ((-13)/(-1))/(s/(-18))?
False
Suppose -5*t = -1164 - 6. Does 13 divide t?
True
Let b(i) = -i**3 + 8*i**2 - 3*i - 1. Let d(o) = o**3 - 9*o**2 - 2*o + 5. Let s be d(9). Let j = s + 20. Is 7 a factor of b(j)?
False
Let p = 2199 + -1177. Does 10 divide p?
False
Suppose 2*s - 39 = -u, 5*s - 104 = -4*u - 2. Is s a multiple of 2?
True
Let r be 2/3*(-12)/(-4). Let j be 1 - -2 - (1 - r). Suppose -j = 4*v - 44. Does 3 divide v?
False
Suppose -v + 176 = -4*u, -2*v - u + 332 = -5*u. Is 4 a factor of v?
True
Let m(v) = 2*v - 20. Let x be 10 - ((0 - -3) + 1). Suppose x*q - 60 = 2*q. Is m(q) a multiple of 2?
True
Let s be (-11 - -7) + (-1 - -11). Let a be s*2/(-4) - -24. Suppose -r - 2*d + 5 = -18, -r + a = d. Is r a multiple of 5?
False
Let b = 41 - 15. Let q(u) = 2*u + b - 27 + 21. Does 10 divide q(0)?
True
Suppose -62*k + 57*k = -20. Let b = -4 - -6. Suppose k*t - 3 + 1 = 2*y, 0 = b*y - 5*t + 6. Is y a multiple of 4?
False
Let l = -150 + 883. Suppose -3*h = -9, y - 6*y + l = h. Does 15 divide y?
False
Let u be 0 + -3 + 22 - -3. Let q = -6 + 74. Let i = q + u. Is i a multiple of 15?
True
Let g be -2 + 3 + 2 - -1. Let i be (-2118)/(-3)*2/g. Suppose i = 4*v - 19. Is 30 a factor of v?
False
Let x be (-1)/(-1 - ((-1335)/(-670) - 3)). Let v = 190 + x. Is v a multiple of 3?
False
Suppose 2*z - 4*u - 88 = 0, 5*z + 4*u - 96 - 110 = 0. Suppose 2*c = 5*c - z. Suppose -4*w + c + 122 = -4*a, 3*w - 4*a = 104. Is w a multiple of 11?
False
Let l = -1294 + 2680. Is l a multiple of 7?
True
Suppose -12*f = -10*f - 232. Suppose 9 = 5*a + 5*b - f, -5*a = -3*b - 85. Does 5 divide a?
True
Let g(x) = x**2 + 12*x - 8. Let c = 11 - 5. Let o be -13 - (3 - c)/(-3). Is g(o) a multiple of 4?
True
Let g be (4 - 0/(-2))/(4/(-24)). Let c = g - -68. Does 17 divide c?
False
Suppose 5*f = 9 + 86. Let p(q) = -6 - f*q + 5 - 3. Is 17 a factor of p(-2)?
True
Suppose 5*x = 159 + 161. Is x a multiple of 16?
True
Let v be ((-1)/(-2))/((-1)/(-416)). Let f = v + 68. Does 46 divide f?
True
Is ((-19)/(190/(-1908)))/(3/10) a multiple of 51?
False
Let r(s) = -11*s**2 - 2*s - 7. Let y(q) = -22*q**2 - 3*q - 14. Let w(o) = -5*r(o) + 2*y(o). Is w(-4) a multiple of 13?
False
Let s(z) = 3*z**3 - 2*z**2 - z + 1410. Is s(0) a multiple of 47?
True
Let i(t) = 24*t - 823. Does 15 divide i(44)?
False
Let g(s) = 2*s - 21. Let m be g(10). Let p(o) = -46*o**3 + 2*o**2 - 2. Is p(m) a multiple of 6?
False
Let s(d) = 2*d**2 - d - 3. Let z be s(3). Suppose c + 3*c - z = k, -2*c + 42 = -5*k. Does 12 divide (-94)/(-8) - 2/k?
True
Let p = -154 - -284. Let w = -91 + p. Is w a multiple of 12?
False
Suppose -14*l = 1127 + 1085. Let d = 221 + l. Does 11 divide d?
False
Suppose w - 5*s = -w + 25, 5*w - 16 = -3*s. Suppose -6*f + 65 = -w*f. Is 28 a factor of f?
False
Suppose 3706*l + 25800 = 3716*l. Is 101 a factor of l?
False
Let m(s) = 55*s**2 + s - 6. Does 24 divide m(2)?
True
Let d(l) = -149*l + 118. Does 10 divide d(-8)?
True
Let j(k) = -2*k**3 - 7*k**2 + 25*k + 19. Is 68 a factor of j(-8)?
False
Suppose 0 = -h - 3*d - 161 + 3391, 0 = 3*h + 3*d - 9690. Is 128 a factor of h?
False
Suppose -5*f - 12 = -x, f = 4*x - 0*f - 143. Does 37 divide x?
True
Let s be 18/81 - 1814/(-18). Suppose -79 - s = -4*h. Is h a multiple of 8?
False
Suppose -4*w = 4*r - 20, 5*w - 3*r = 17 + 16. Let m be w/(70/36 + -2). Does 5 divide (3/3)/((-4)/m)?
False
Suppose -3*a + 441 = -0*a. Is 28 a factor of (1*4)/(7/a)?
True
Suppose c - 2*v - 227 = 0, 6*c - 686 = 3*c + 5*v. Let b = c - 37. Let x = -139 + b. Is 19 a factor of x?
False
Let o = -331 + 858. Does 26 divide o?
False
Let q be (-6 - -7)/((-1)/(-102)). Suppose 5*k + f = 2*k + 151, 2*k + 2*f - q = 0. Suppose -7 = 2*s + r - 37, r + k = 3*s. Does 8 divide s?
True
Let x(s) = 2*s. Let u be x(2). Suppose u*i + 50 = -14. Let j = i - -58. Is j a multiple of 9?
False
Let j = -79 + 190. Let r = j + -18. Does 55 divide r?
False
Let z = 56 - 57. Is z/(-2) - (-1915)/10 a multiple of 24?
True
Let p be 5*(14*2)/((-50)/(-15)). Let v = -91 - -127. Suppose n - 5*o - v + 0 = 0, -p = -n + 2*o. Is 19 a factor of n?
False
Let s(j) be the second derivative of 14*j**3/3 + j**2 + 10*j. Is s(1) a multiple of 12?
False
Let r(v) = -2*v - 6. Let u = -20 - -12. Let a be r(u). Suppose -d = 4*b + b - a, d - 2*b = 24. Is d a multiple of 10?
True
Is 23 a factor of 369 - ((-4)/1 + (-125)/(-25))?
True
Suppose 2*m + 3*j = 8*j + 447, -5*j = -3*m + 683. Suppose -21*d = -23*d + m. Does 11 divide d?
False
Suppose -2*b = -5*b + 498. Is b a multiple of 15?
False
Let v(n) = 18*n**3 + 15*n**2 - 22*n + 64. Is 17 a factor of v(6)?
False
Let p = -17 + 9. Does 4 divide (9/6)/((-3)/p)?
True
Let a = 48 + -54. Is 3 a factor of 16 + a/6 + 3?
True
Suppose -3*f - p = -1076 - 3543, 2*p + 1542 = f. Is 22 a factor of f/24 + ((-21)/(-18))/(-7)?
False
Let s = -39 - 25. Suppose 24*g + 485 = 19*g. Let j = s - g. Is j a multiple of 33?
True
Let z(h) = 5*h**2 + 19*h + 4. Is z(-8) a multiple of 38?
False
Let q(z) = -z**3 - 11*z**2 + 10*z + 20. Is q(-17) a multiple of 100?
False
Let w(k) = -54*k + 83. Is w(-4) a multiple of 23?
True
Let t(o) be the second derivative of o**7/1260 - 11*o**6/720 + 7*o**5/120 + 5*o**4/12 + 2*o. Let g(c) be the third derivative of t(c). Is 14 a factor of g(7)?
True
Is (-5)/((-20)/3896) + (4 - -2) a multiple of 10?
True
Suppose 789 + 499 = f. Is f a multiple of 27?
False
Suppose -4*q - 2*o + 4299 - 193 = 0, 3*q = 2*o + 3090. Is q a multiple of 39?
False
Let v = -24 - 161. Let z = v - -424. Is z a multiple of 38?
False
Does 23 divide (-2)/((((-4)/46)/(-2))/(-29))?
True
Let n = -16 + -19. Let c = n + 113. Does 14 divide c?
False
Suppose 0 = 8*c - c - 28. Suppose 0 = -v - 4*v + 5, 0 = -d + c*v + 19. Does 21 divide d?
False
Let w(c) = 10*c + 11. Let s(i) = -11*i - 12. Let p(h) = -6*s(h) - 7*w(h). Let g be p(-2). Suppose g*d + 24 = 7*d. Is 3 a factor of d?
True
Suppose -3*w + 0*w + 504 = 0. Suppose -8*o = -10*o + w. Let p = o + -21. Does 13 divide p?
False
Suppose 16 = -35*q + 39*q, -i + 5*q + 724 = 0. Is 56 a factor of i?
False
Suppose -4*j + 8 + 4 = 0. Suppose -z - 6 = -j. Is 12 a factor of ((-20)/z)/((-16)/(-48))?
False
Suppose 4*m + 267 = 3*h, 0 = 2*h + 2*m - 245 + 81. Let z = h - 50. Is (30/z)/((-6)/(-56)) a multiple of 3?
False
Let g = -43 - -31. Let a = 29 - g. Is 41 a factor of a?
True
Let s = -11 - -15. Let k be (-12)/(-9) - (-4 - (-22)/(-6)). Suppose -v + 27 = s*b, 2*b + v = 2*v + k. Is 3 a factor of b?
True
Suppose 0 = -z + 5*x + 1, 5*z - x = -0*z + 29. Suppose z + 0 = 3*h. Is 17 a factor of h + (-1 - -3) + 92?
False
Let a(s) = -s**3 - 3*s**2 - 14*s + 218. Is 70 a factor of a(-11)?
False
Let v = 10 + -17. Let q be (42/4)/v*-76. Suppose 0 = -s - 2*s + q. Does 19 divide s?
True
Is 24 a factor of (125 + 2)/(2 + 10/(-6))?
False
Let u(w) = 18*w - 16. Let y be u(10). Let k = y - 96. Is 17 a factor of k?
True
Let f(x) = x**3 + 7*x**2 - 5*x - 4. Let c be f(-5). Suppose 2*q = -2*q + 3*s - 59, -c = 5*q - s. Let p = 26 + q. Is 6 a factor of p?
True
Let c = -39 - -134. Suppose 0*r + 55 = -r. Let s = c + r. Is 10 a factor of s