 of 46?
False
Let c(y) = 17*y**2 - 9*y - 35. Is 41 a factor of c(8)?
False
Suppose 6*i = 194 + 172. Suppose -2*m + i - 22 = -v, 3*v - 9 = 0. Does 7 divide m?
True
Is 93/1 + (-6 + 3 - 2) a multiple of 33?
False
Suppose r = 3*b + 52 + 64, b = 1. Is 7 a factor of r?
True
Suppose -3*k = -y + 5 + 1, 0 = 3*k. Suppose -4*g + w + 105 = 0, 2*w = -0*w + y. Is 8 a factor of g?
False
Suppose -2*w - 2*c - 30 + 230 = 0, 3*w - c = 308. Let h = w + -29. Does 16 divide h?
False
Is 35 a factor of ((-245)/(-21))/(3/279)?
True
Let w(y) = -3 + 4 - 13*y - 1. Is w(-7) a multiple of 38?
False
Suppose -a + 44 = -25. Is a a multiple of 3?
True
Let h = -140 + 200. Let w(b) = -b**2 + 14*b + 35. Let y be w(16). Suppose h = y*v + v. Is 6 a factor of v?
False
Let m(x) = 10*x**2 - 7*x - 19. Does 4 divide m(-3)?
True
Let n(a) = 3*a**3 - 5*a**2 + 4*a - 3. Suppose 4*h - 68 = -5*d, -d + 5 = 1. Let x(o) = o**2 - 13*o + 15. Let u be x(h). Is n(u) a multiple of 18?
False
Let i = 4 - -2. Let r(d) = 4*d + 14. Is 11 a factor of r(i)?
False
Let w(d) be the third derivative of d**5/60 + d**4/24 + 5*d**3/6 + 3*d**2. Let s be w(0). Suppose 7*o = s*o + 146. Does 23 divide o?
False
Let w be (-2 + 13/3)/(2/360). Suppose 5*j = -0*j + w. Does 12 divide j?
True
Suppose -9*i + 5*i + 365 = 3*z, z + 4*i - 135 = 0. Does 23 divide z?
True
Let t(k) = k**3 + 3*k**2 - 5*k - 2. Let h be t(-4). Let c = 8 + -4. Suppose 5*u = -c*a + 2*u + 218, -h*a + 114 = -u. Is a a multiple of 11?
False
Suppose 2*d = -4, 0 = -3*n - 2*n + 5*d + 1135. Suppose 6*a = 3*a + n. Is 23 a factor of a?
False
Let l = -427 + 1202. Is 31 a factor of l?
True
Let l(c) be the first derivative of -c**3/3 + 3*c**2 + 13*c + 5. Let r be l(6). Let o = -2 + r. Is o a multiple of 11?
True
Suppose 2*h + 2*d - 3*d = 12, 0 = -4*h - 5*d + 52. Let r = -3 + h. Suppose r*w + j = 2*j + 484, -4*j - 112 = -w. Is 32 a factor of w?
True
Suppose -1931*q = -1938*q + 7938. Does 81 divide q?
True
Let f be (22/(-33))/((-1)/12). Suppose 3*i + 253 = f*i - 3*h, 5*h = 3*i - 155. Is i a multiple of 25?
True
Let l(j) be the third derivative of -j**5/60 + 3*j**3/2 - 8*j**2. Let n be l(0). Suppose 4*v - 7 = n. Is v even?
True
Suppose -121*i - 15936 = -133*i. Does 8 divide i?
True
Does 13 divide 10/((-20)/(-78))*4?
True
Let w(g) = -19*g + 1. Let d be w(1). Let n = d + 89. Does 9 divide n?
False
Suppose -3*p + p = 2*a - 1704, 0 = -5*a - 4*p + 4255. Does 7 divide a?
True
Suppose 0 = -10*r + 16*r + 2076. Let a = 506 + r. Is 10 a factor of a?
True
Let d be 14/56 + 2/(1 - 9). Does 10 divide (47 - 7)/(d - -1)?
True
Suppose 0 = -8*l - 3 + 75. Suppose l*v = 7*v + 168. Is v a multiple of 23?
False
Suppose -5*t - 5 = -5*c, 4*c - 11 = -c + 2*t. Let u = 13 + -13. Suppose -3*b = 3*x - 123, c*x = -u*b + b + 103. Is 12 a factor of x?
True
Let y = -5 + 9. Suppose -a - 132 = -6*a + 4*r, 2*r - y = 0. Is a a multiple of 7?
True
Let s = -417 - -624. Does 9 divide s?
True
Let t(b) = 3*b**2 - 48*b - 39. Let p(y) = 2*y**2 - 25*y - 19. Let d(q) = -5*p(q) + 3*t(q). Is 12 a factor of d(-8)?
False
Let o be 80/(-35) - 2/(-7). Let i be 1 - (-2 + o + 1). Suppose -5 = -i*h + 3. Is h even?
True
Let i(b) = -2*b**3 - b**2 + 5*b + 24. Does 6 divide i(-6)?
True
Let f = -7 - -50. Suppose 3*t - 94 + f = 0. Is t a multiple of 3?
False
Let k(r) be the first derivative of -r**2/2 + 87*r + 1. Is k(0) a multiple of 17?
False
Let n = 131 - 259. Let z = -78 - n. Let p = z - 27. Does 23 divide p?
True
Let q(u) = u**3 + 9*u**2 - 3*u - 13. Let r be q(-9). Is 14 a factor of 4/10*490/r?
True
Is ((-8)/(24/(-609)))/1 a multiple of 18?
False
Let k(h) = 333*h**3 + 2*h**2 - h + 1. Let t be k(1). Suppose -3*b + 5*v = -t, v + 275 - 40 = 2*b. Is b a multiple of 20?
True
Let n = -3265 - -5071. Is n a multiple of 38?
False
Let z = 2442 - 2084. Is z a multiple of 2?
True
Let d = -21 + -53. Let j = d - -154. Is j a multiple of 16?
True
Suppose 0 = -4*a + 7 + 1. Suppose -5*g - a*y = -132, -3*g + 80 = -0*y + y. Is 7 a factor of g?
True
Let b(z) = -7*z**2 + 49*z + 4. Suppose -4*m = -2*m - 12. Is b(m) a multiple of 23?
True
Let r(j) = -5*j**2 - 2*j + 4. Let z be r(-4). Let n = -20 - z. Is n a multiple of 12?
True
Let c(o) = -o**3 + 9*o**2 + 5*o. Let g be c(6). Let q(u) = u**3 + 9*u**2 + 13*u - 5. Let x be q(-7). Suppose -v - x*v = -g. Is 23 a factor of v?
True
Let h(z) = -3*z - 10. Let k(f) = -4*f - 11. Let s(b) = -3*h(b) + 2*k(b). Let o be s(-7). Let d = 16 + o. Does 17 divide d?
True
Let j be (-12)/9*3 + (-81)/3. Is (j - 15/5)*-5 a multiple of 34?
True
Suppose -5*y - 2*x + 20 = 0, -x + 20 = 5*y + 2*x. Suppose -3*n - 4 - 2 = 2*r, 8 = -3*r - y*n. Let l(j) = -j**3 + j + 90. Is l(r) a multiple of 30?
True
Suppose -5*f + d = -1363 - 597, -2*f = 2*d - 772. Is 2 a factor of f?
False
Suppose -1208 = 8*h - 1656. Is 7 a factor of h?
True
Suppose 5*i - 2*i - d = -14, 3*d = i + 18. Let k be (-4 + 1)*(58 - i). Let s = 288 + k. Is 23 a factor of s?
False
Suppose 2*r = 3*j - 51, r = -5*j - 4*r + 85. Suppose 3*g = j + 19. Does 2 divide g?
True
Let n be (-13)/(52/(-48)) - 4. Suppose -3*r + n = -7. Let i(l) = 2*l**2 - 7*l + 2. Does 3 divide i(r)?
False
Let k(o) be the second derivative of -o**5/20 - o**4/12 + o**3/6 - 7*o**2/2 + 2*o. Let s be k(0). Let r = 7 - s. Is 14 a factor of r?
True
Suppose f + 0*j - j - 25 = 0, 4*j - 32 = -2*f. Let d = 5 + f. Is 3 a factor of d?
True
Is 6 + (-7424)/(5 - 13) a multiple of 98?
False
Let l = -39 + 50. Suppose -5*q + 119 = -l. Is q a multiple of 13?
True
Let t be ((-8)/((-24)/9))/((-12)/8). Let p(v) be the third derivative of -v**4/12 + v**3 + 2*v**2. Does 10 divide p(t)?
True
Is 22 a factor of 6050/((-1)/(2/(-6)*3))?
True
Suppose 5*n - 10 = 4*d, 4 = 2*n + 4*d - 0. Suppose 0 = m + n*m - 117. Does 7 divide m?
False
Suppose 0 = -11*p + 32388 - 9321. Does 30 divide p?
False
Suppose 11*z + 3*n - 1789 = 6*z, z = 5*n + 369. Is 2 a factor of z?
False
Let v(p) = 1. Let s(w) = -w. Let k(g) = -s(g) + 2*v(g). Let c be k(3). Suppose 3*a - 31 = -2*a - 3*l, 2*a - 20 = -c*l. Is 4 a factor of a?
False
Suppose 8*s - 13*s = -15. Suppose 3*g = 4*n + 69 - 10, 5*n + 10 = 0. Suppose 0 = s*t - 4*u - g, 0 = -2*t - u + 2*u + 13. Is t a multiple of 5?
False
Suppose -q - 4*g = -57, 0*q + 4*q - 123 = 5*g. Suppose -4*u + u - 5*p = 23, 14 = -2*u - 3*p. Let l = q + u. Does 9 divide l?
True
Let d(j) = -6*j**2 - 2*j - 9. Let h(m) = m**2 - m. Let v(o) = -d(o) - 5*h(o). Does 3 divide v(-7)?
True
Let d = -26 - -16. Suppose 3*k + 47 = 5. Let h = d - k. Is 4 a factor of h?
True
Suppose -8*u - 1037 = -3469. Is 16 a factor of u?
True
Let r(z) = 4*z**3 - 8*z**2 - z - 3. Let n(s) = -9*s**3 + 16*s**2 + 3*s + 7. Let u(d) = -3*n(d) - 7*r(d). Is 8 a factor of u(4)?
True
Suppose 5*i = i - 8. Let n be (0 - i)*1 - 0. Suppose n*m - 190 = -0*m. Is m a multiple of 23?
False
Let k(f) = 20*f**2 - 2*f + 23. Let z(v) = 7*v**2 - v + 8. Let a be (8/(-2) + -13)/1. Let j(l) = a*z(l) + 6*k(l). Does 8 divide j(-6)?
True
Suppose -5*o + 2*j + 21 = 0, 0*o - 4*j = o + 9. Suppose -4*y + o*y + 186 = 0. Suppose 6*q - 9*q = -y. Does 16 divide q?
False
Let l(p) = 3*p**2 + 9*p - 9. Let w be l(-4). Is 47 a factor of (w + 4 + -5)*188?
True
Let a = -1014 + 1696. Is a a multiple of 11?
True
Is 3 a factor of 39*(-1)/((-8)/((-8)/(-3)))?
False
Let i(j) = 4*j**2 + 2*j - 2. Suppose -5*s + 0*s - 22 = -4*t, 0 = s + t - 1. Let b be i(s). Let d(c) = -c**2 + 13*c - 12. Does 5 divide d(b)?
False
Let x be (0 - -1)/((-3)/(-223 - -4)). Let a = x - 57. Is a a multiple of 8?
True
Suppose 5*h - 58 = -3*f + 134, h + 233 = 4*f. Suppose -71 = -j - f. Is 3 a factor of j?
True
Let n = -45 + 51. Suppose -n*i = -4*i - 196. Is i a multiple of 37?
False
Is 13 a factor of (-61 + 64)/(1/156)?
True
Let x be (-526)/(-10) + 18/45. Let j = x + -20. Is 11 a factor of j?
True
Let u = 980 + -818. Does 5 divide u?
False
Suppose -3*s + 3*l = -2*s - 27, -s - 2*l + 22 = 0. Let r(d) = d**2 - 20*d - 28. Is 9 a factor of r(s)?
False
Let v(b) = b**3 + 5*b**2 - b + 10. Let m be v(-5). Suppose -m - 6 = -w. Is w a multiple of 21?
True
Suppose 4*m + m - 5 = -5*l, l - 5*m = 13. Suppose -l*x + 8*x + 180 = 0. Let a = -20 - x. Is 16 a factor of a?
True
Let a(z) = 7 + 0*z - z**3 - z + 9*z**2 + 0*z. Let f be a(9). Does 23 divide 0/f + -10 + 95?
False
Let f = 750 + 151. Is 7 a factor of f?
False
Let l = -116 + 148. Does 32 divide l?
Tr