- r. Is 9 a factor of m?
True
Is 4 a factor of ((-63)/(-56))/9 + 1965/24?
False
Let c(i) = i**3 + 6*i**2 - 63*i + 309. Is 3 a factor of c(15)?
True
Suppose -17*j + 18*j - 5 = 0. Suppose 3*m = j*d - 5685, 0*d - m = 2*d - 2285. Does 12 divide d?
True
Let m be (20392/12 + -1)*3. Suppose -m - 7505 = -18*n. Is 28 a factor of n?
True
Let n(i) be the first derivative of i**3/3 + 7*i**2 - 24*i - 1. Let q(v) = -v**3 - 2*v**2 + 9*v - 14. Let f be q(-4). Does 15 divide n(f)?
False
Let b be ((-357)/(-14))/(2/(-64)*3). Let r be b/(-46) + (-4)/(-46). Is 45 a factor of (3/((-18)/4))/(r/(-1899))?
False
Suppose 27 = 4*f - 3*o, -f = -4*f + 4*o + 22. Suppose -5913 = -f*i - 243. Is 45 a factor of i?
True
Let p = 108 - 106. Suppose 2*r + r - 3*v - 180 = 0, -3*r = -p*v - 183. Is r a multiple of 9?
True
Suppose -3*u = -k - 188, 0 = -5*u - 0*k - k + 300. Suppose -67 = -p - u. Suppose 14*b - 13*b = p. Is b a multiple of 5?
False
Suppose 3*v - 3*a = 654, -6 = 3*a - 0. Is 25 a factor of v?
False
Let b = -14574 - -15690. Is b a multiple of 6?
True
Let z = -65 + 70. Suppose -k + z = 9. Let q(s) = 4*s**2 + 2*s + 9. Is 13 a factor of q(k)?
True
Let w = 53 - 217. Let r = w - -195. Is r a multiple of 2?
False
Suppose -39*x - 2*x + 47322 = -8*x. Is 35 a factor of x?
False
Let q(f) = 20*f + 35. Let j be q(-16). Let o = j + 523. Is 34 a factor of o?
True
Suppose 2*y - 5 - 1 = 0. Suppose 2*s - 2*u = 14, -y*s + 2*u - 63 = -8*s. Suppose 4*v = 121 + s. Does 11 divide v?
True
Let j(y) = -11*y - 8 - 2 - 5 + 13*y**2 + 2*y**3. Let f be j(-7). Suppose 400 = -8*w + f*w. Is w a multiple of 16?
True
Let t be (1/(-2))/(1689/(-846) - -2). Let g = t + 141. Suppose -3*v = -b - 690, g*b = v + b - 230. Is 44 a factor of v?
False
Let s = 278 - 277. Let m(g) = 29*g + 29. Is m(s) a multiple of 25?
False
Let t be (-9)/3 - -61 - -2. Let h = t + -55. Suppose -y = 3*k - 76, 2*y - 28 - 120 = -h*k. Does 16 divide y?
True
Let b(z) = -5*z**2 + 4*z - 1 + 4*z**3 + z**2 - 3*z**3 - 21*z. Does 24 divide b(8)?
False
Does 10 divide 2 - -2872 - (-14 - -25 - 7)?
True
Is -4 + (-2 + 1296)*(26 + -9) a multiple of 237?
False
Let a = -6220 + 10550. Is a a multiple of 9?
False
Let i(y) = 11*y**2 + 6*y + 17854. Is i(0) a multiple of 226?
True
Let c = -247 - -145. Let q = c - -120. Let s(r) = -r**2 + 28*r - 12. Does 27 divide s(q)?
False
Suppose -4*c - 4 + 12 = 0. Suppose 2*g = -c*t + 94 + 34, 0 = 3*g - 2*t - 172. Does 5 divide g?
True
Suppose 5*c = 779*s - 774*s - 11490, 3*c + 9190 = 4*s. Is s a multiple of 14?
True
Suppose 14*g = 1824 + 32686. Suppose 20*h - 1075 = g. Is 44 a factor of h?
False
Let k = 227 + -182. Let s(c) = 2*c**3 - 2*c**2 - 2*c - 1. Let a be s(-2). Let j = a + k. Does 4 divide j?
True
Let b = -123 + 126. Suppose 0 = b*p - k - 512, -4*p - k = k - 696. Is p a multiple of 5?
False
Suppose 94*a - 73*a = -42. Let m be (-26)/1 - (1 + -2). Does 6 divide a/10 + (-1455)/m?
False
Let v(f) = 3*f**3 + 7*f**2 + 7*f - 1. Let h be v(-4). Is 12 a factor of (-7 + 6)/(1/h)?
False
Is 2/(-4)*(-120)/690 + 485758/23 a multiple of 84?
False
Let f be (-136)/(-16)*(-2 - -14). Let l = -35 + f. Is 11 a factor of l?
False
Suppose 4 = 5*k + 5*n - 21, -3*k + 2*n = 0. Suppose -k*u = -11*u + 747. Is u a multiple of 5?
False
Let g(j) = 253*j**2 - 88*j + 1. Is g(-6) a multiple of 23?
True
Let q = -17 - -21. Suppose 2*t + 4*c = 52, -2*c + q + 2 = 0. Is 13 a factor of t?
False
Let z = 2661 + -1193. Let m = z - 852. Suppose 10*i - 3*i - m = 0. Does 22 divide i?
True
Let n(m) = 12*m**2 + 4*m - 24. Let c be n(6). Suppose 0 = d + 4*d + 2*b - 1065, c = 2*d + 2*b. Does 12 divide d?
False
Let r be 35/(14 + -7) - 5. Suppose -8*g = -r*g - 9920. Is 45 a factor of g?
False
Suppose -d = -2*t - 27 + 24, -3*d - 15 = 0. Let x(a) = -38*a - 37. Does 10 divide x(t)?
False
Let f(k) = -k**2 - 10*k - 18. Let v be f(-11). Let p = v - -48. Suppose 0 = 3*z + p - 115. Is 32 a factor of z?
True
Let p be (32 - 27) + 6612/3. Suppose -5*m + 1262 = 2*s, 4*s + m - p = 351. Does 6 divide s?
False
Let f be (4/5 + 0)*(-40)/(-16). Is -1 + ((-1062)/(-9) - f) a multiple of 23?
True
Is 6 a factor of 3399/(-618)*(-46796)/22?
False
Suppose -3*x + 2*x - 2 = 0. Let l be x/(-6) + 804/54*3. Let o = l + 14. Is o a multiple of 30?
False
Let d = 15066 - 10239. Is d a multiple of 3?
True
Let g(u) = -2*u - 19. Let q(v) = 2*v + 20. Let r(d) = -4*g(d) - 5*q(d). Let k(h) = -h - 24. Let o(i) = -3*k(i) + 2*r(i). Is 9 a factor of o(11)?
False
Let f = 43 + -43. Suppose 0 = -2*x - 10, f = -g - 8*x + 3*x - 20. Suppose k - 5 + 0 = 0, 4*k + 120 = g*y. Is y a multiple of 28?
True
Suppose 0 = 2*w - w - 4*k - 117, k - 377 = -3*w. Suppose -3*x + 136 = -5*a, -a + 361 - w = 5*x. Is x a multiple of 5?
False
Is 67110/(-3)*(-2)/20 a multiple of 40?
False
Let f be -2*(-4)/(-24) + (-3)/(-9). Suppose -12*n + 11*n + 7 = f. Suppose 0 = -q + n + 65. Is q a multiple of 8?
True
Suppose 0 = 8*n - 742 - 1706. Let y = n - 187. Suppose -y = -4*d - d + 3*u, 5*d - 129 = -2*u. Is d a multiple of 3?
False
Is (1 - -3)/(2 - 17535/8778) a multiple of 9?
False
Let u(r) = 23*r**3 + 3*r**2 - r - 1. Let q be u(1). Let f(k) = -k**2 - 2*k + 6. Let s be f(-4). Is 12 a factor of (-445)/s - 12/q?
False
Let l be (-39)/(-4)*16/3. Suppose 0 = 3*i + b - l, 5*i - 105 = 5*b - 3*b. Does 2 divide i?
False
Let a(t) = t**3 - 2*t - 1. Let f be a(4). Suppose b + 5*l - 95 = 0, 0 = -2*b + 2*l - f + 221. Let n = b + 170. Is 15 a factor of n?
True
Let p = 79 - 73. Is 7 a factor of 1144/p - (8 + 44/(-6))?
False
Is 10 a factor of (-24)/(((-27)/42)/((-10398)/(-7))) - -4?
True
Let l = -82 - -136. Suppose 2*b - 54 - l = 0. Suppose 8*x - 26 = b. Is x a multiple of 4?
False
Let z(f) = -64*f - 577. Is z(-34) a multiple of 15?
False
Let s(d) = 3*d**2 - 8*d - 12. Let x be 2/(-7) - (33/7 + -5). Suppose -2*q + 5 - 15 = x. Does 17 divide s(q)?
False
Suppose 5*o - 3*o - 60 = -2*u, 10 = -2*o. Suppose -10*x + u = -3*x. Is (x/(-10) - 0)*-88 a multiple of 29?
False
Let y(x) = -215*x + 46. Let w(i) = 432*i - 92. Let k(q) = 2*w(q) + 5*y(q). Is k(-2) a multiple of 55?
False
Let k(m) be the second derivative of 5*m**3/2 + 31*m**2/2 - 2*m + 16. Is k(0) a multiple of 8?
False
Let v = 2250 + -1410. Is v a multiple of 3?
True
Suppose 3*w + r = 1663, -w - 559 = -2*w + 2*r. Let x = 780 - w. Is x a multiple of 25?
True
Suppose 41*f + 402597 - 2078245 - 126015 = 0. Is 95 a factor of f?
False
Let b(d) = 8*d**2 + 54*d + 466. Does 2 divide b(-24)?
True
Suppose -s = -4*y - 5057 - 2799, 5*y + 23596 = 3*s. Is 30 a factor of s?
False
Let i(x) = x**2 - 9*x + 25. Let m be i(4). Suppose -670 = -0*g - m*g. Let w = g - 78. Is 28 a factor of w?
True
Let o be (-48)/40 - (-21)/5. Suppose 0 = -n - 0*n + 81. Suppose o = -h + n. Is 17 a factor of h?
False
Let w(u) = u**3 - 14*u**2 - 40*u + 67. Let d be w(28). Suppose -23*j + d + 3072 = 0. Is 6 a factor of j?
False
Let z = 807 + 429. Suppose 5*a - z = -36. Is 8 a factor of a?
True
Suppose 5*z = -2*g - 44, -4*g + 4*z = -0*g + 60. Let m be -22*(12/(-8))/(-1). Let i = g - m. Is 4 a factor of i?
True
Let g(i) be the first derivative of 2*i**3/3 + 7*i**2 + 60*i - 100. Is g(14) a multiple of 72?
True
Let a = -258 - -52. Let t = a + 284. Does 39 divide t?
True
Let h(g) = 9 - 161*g - 6 - 9. Let x be h(-2). Let c = x + -66. Does 42 divide c?
False
Let v be (-9)/36 - (-1810)/8 - -3. Let u = 239 - v. Is 5 a factor of u?
True
Let l be (-28)/(-21)*21/2. Suppose 0 = -2*i - 16 + l. Let k(f) = 43*f**2 - 2*f + 1. Does 23 divide k(i)?
True
Let i(n) = -n**3 + 7*n**2 + 5*n + 9. Let r be -7 - -5 - -2 - -6. Let b be i(r). Suppose -2*q + b = 11. Does 5 divide q?
False
Suppose -3*j = -5*c - 15, j = -c - c - 6. Suppose -2*o + 61 + 45 = j. Is 2 a factor of o?
False
Let o(i) = -i**3 + 2*i - 5. Let z(b) = b**3 + b**2 - b + 4. Let s be z(-4). Let u be (s/25)/((-4)/(-10)). Is 9 a factor of o(u)?
False
Suppose 0 = 5*d - 9*d + h + 186, 5*d = 4*h + 238. Suppose 3*j - d = 68. Is j a multiple of 2?
True
Let r = -2 + 5. Let p = -1212 - -1216. Suppose -568 = -r*v - 2*m, 0 = -p*v + 3*v + 4*m + 208. Is 36 a factor of v?
False
Let x be (-2)/(-4)*(80 - -14). Let j(k) = k + 3. Let h be j(-2). Let m = x + h. Is m a multiple of 16?
True
Let i = -25 + 74. Suppose 4*d - 1 = 11, 91 = -4*v + 5*d. Let u = i + v. Does 10 divide u?
True
Let u = 31 - 19. Let g = 32 - u. Is 2 a factor of (28/(-