7222. Is q(0) a multiple of 63?
False
Suppose -182 = 41*v - 48*v. Suppose -14585 = -v*c + 12377. Does 25 divide c?
False
Let t = 9498 + -3800. Is t a multiple of 74?
True
Let x = -9 + 14. Suppose -2*i - 29 = -x*o, -2*o = 3*i - 0*o - 4. Is -3 - (i + 4 + -52) a multiple of 4?
False
Let n(h) = -h**3 + 16*h**2 + 10*h. Suppose 32*p - 12*p = 240. Is 29 a factor of n(p)?
True
Let b(f) = f**3 - 3*f**2 - 7*f + 13. Let s be b(7). Let v = 83 + s. Does 9 divide v?
True
Let m(c) = c**2 - 2*c - 9 + 3 - 10. Let k be m(7). Suppose 0 = 10*f - k*f + 1080. Is 8 a factor of f?
True
Let w = 4311 + -2050. Does 7 divide w?
True
Let v(p) be the second derivative of 47/2*p**2 + 29*p + 0 + 4/3*p**3 + 1/6*p**4. Is v(-5) a multiple of 6?
False
Suppose -56*d - 507 = -53*d. Let t = d - -269. Is 4 a factor of t?
True
Let j = -46 + 54. Let h(w) = -w**3 + 16*w**2 - 16*w - 6. Let m be h(j). Suppose 4*k + 5*k = m. Is k a multiple of 14?
True
Let k(i) = -912*i - 1630. Does 10 divide k(-6)?
False
Suppose 43*l - 86161 - 33971 = -28*l. Does 4 divide l?
True
Let p = 4 + 20. Suppose p = 9*b - 21. Suppose -b*h = k - 343, -11*h + 8*h = -5*k - 189. Is h a multiple of 34?
True
Let g be (10/(-3))/(-6 + 185/30). Is 13 a factor of (137 + g/(-5))*(-4)/(-6)?
False
Let c = 53 - -82. Suppose 3*s = -3*t + 5 + 1, 2*t = 5*s + 18. Suppose -i = -t*i - j + c, 2*j = 0. Is 7 a factor of i?
False
Let z(c) be the second derivative of c**3 + 0 + 13*c**2 + 1/12*c**4 - 5*c. Is 27 a factor of z(-11)?
True
Let r(h) = -12*h**3 + h**2 + 5*h - 4. Let b be r(3). Suppose -41*a + 16*a + 13150 = 0. Let q = a + b. Does 38 divide q?
False
Let x(y) = 3*y**2 + 7*y. Suppose -t = 4*a - 36, -3*a + 0*a + t + 27 = 0. Is 17 a factor of x(a)?
True
Let v(m) = 2*m**2 - 27*m - 17. Let l be v(14). Does 37 divide (l/9)/(7/(-1008))?
False
Suppose 2*j + 3*s - 172 = 277, 12 = 4*s. Is j a multiple of 21?
False
Let t be (16 + -14)/((-1)/(1*-2)). Suppose -18 = 5*f + 4*a + 17, -f - 31 = -t*a. Let d(k) = k**3 + 12*k**2 + 5*k - 9. Does 11 divide d(f)?
False
Suppose 0*g = -2*g + 54. Let s(t) = 2*t + 78. Let z be s(g). Suppose 18*a = 14*a + z. Is 20 a factor of a?
False
Let d = -5093 - -8168. Is 41 a factor of d?
True
Suppose -39*t + 41*t = 3*r + 4070, 2068 = t + 4*r. Is t a multiple of 7?
True
Suppose -2*l = s - 1552, -204*l = 2*s - 199*l - 3100. Is s a multiple of 20?
True
Let s = 5742 - 3432. Is s a multiple of 11?
True
Suppose 45450 = 40*o - 15*o. Does 173 divide o?
False
Is (3 + 5 + 20476)*90/40 a multiple of 19?
False
Suppose 0 = 15*t - 8654 - 196501. Does 11 divide t?
False
Let t = 73 + -71. Suppose -180 = -2*q - 2*p, q + t*p = 6*q - 464. Does 26 divide q?
False
Suppose 49*u = 105*u - 2338000. Is u a multiple of 280?
False
Is 37 a factor of (-44)/(((-10)/(-40))/(191/(-8)))?
False
Let d = -80 + 27. Let g = d + 165. Is 16 a factor of g?
True
Suppose -2*g + 23 = 3*n, -6*n + n + 8 = -g. Is (g - 13/5)*30 a multiple of 12?
True
Let c(y) = 10*y - 21. Let u be c(9). Is 3/(-6) - (-2)/(12/u) a multiple of 2?
False
Let z be (6 - (-155)/(-10))*6. Let a = 43 - z. Does 25 divide a?
True
Let u(j) = 7*j**2 - 135*j + 4470. Is u(76) a multiple of 21?
False
Let a be 391 - (45/(-36) - (-6)/(-8)). Let d = 117 + a. Does 34 divide d?
True
Suppose -199*x + 394630 = -279582. Is 68 a factor of x?
False
Let d(z) = -395*z + 949. Is d(-10) a multiple of 43?
False
Let r be ((-40)/(-70))/(1 - (-5)/(-7)). Suppose -3*d = -5*j - 27, 7 = -r*d - 4*j + 3. Suppose -d*f = -3*h + 226 + 844, -2*h = -5*f - 711. Does 43 divide h?
False
Let c(s) = -6*s**2 - 219*s + 13. Is 22 a factor of c(-25)?
True
Let x be 1 + -5 - (-10 - -1). Suppose 5*i - x = 0, -3*w - 5*i + 118 = -10*i. Let a = 81 - w. Is a a multiple of 10?
True
Does 14 divide -9 - 4/(52/(-37531))?
False
Is 2*(3285/6 - 9) even?
False
Suppose -4*v - 4*g - 24 = 0, 2*v + 5*g = -29 + 5. Let m be 0/((-21)/(-14) - 1/v). Suppose m = x - 4*j - 109 - 24, 331 = 2*x + 5*j. Does 44 divide x?
False
Suppose -9*n - 8*n + 201224 = -233483. Is n a multiple of 13?
True
Let x(d) = 31*d**2 + 4*d - 12. Suppose 0 = 3*r - 2 - 10. Let h be x(r). Suppose -520 = -4*w - 4*y, -5*w + h = 2*y - 135. Is 23 a factor of w?
False
Let l = 7296 - -909. Suppose l + 403 = 32*i. Is 62 a factor of i?
False
Suppose 5*q = 20, n + q - 5228 + 1160 = 0. Does 32 divide n?
True
Suppose 308057 = 46*y + 38267. Is 23 a factor of y?
True
Suppose -5*v - 5*j = -10, 2*v = 4*v - 2*j. Suppose 2*y - 3 = -v. Is (y/3)/(6/252) a multiple of 14?
True
Let f(t) = -14*t**3 + 5*t**2 + 21*t - 123. Is f(-6) a multiple of 34?
False
Let z(f) = 2*f**3 + 364*f**2 - 14*f + 82. Is z(7) a multiple of 60?
False
Let t(r) = 2111*r + 388. Does 119 divide t(1)?
True
Suppose 118*b - 250564 + 139267 - 139807 = 0. Is 14 a factor of b?
True
Suppose -4*b + x + 5721 = 0, x + 0*x - 1434 = -b. Does 25 divide b?
False
Suppose 22*x = d - 5627, 18*x - 5 = 23*x. Does 4 divide d?
False
Suppose -a + q + 112 = 4*a, 5*a + 5*q - 130 = 0. Suppose 18*m - a*m + 15 = 0. Suppose 0*t - 5*i = -m*t + 769, 5*t - 2*i = 1250. Is t a multiple of 31?
True
Let n = -41 - -111. Let l(v) = -2*v**2 - 8*v - 4. Let o be l(-5). Does 9 divide 261/5 + o/n?
False
Let h = -362 - -409. Is (44 - h) + (-135)/(-1) a multiple of 5?
False
Suppose 0 = 2*b + 10, 2*w + 0*b = -5*b - 35. Does 15 divide 2 + 0 - ((-154 - -8) + w)?
False
Let t be 48/10*(-325)/(-65). Does 8 divide 340/6*(4 + t/30)?
True
Suppose 0 = -4*v - 5*j + 25566, -2*j + 3*j + 6 = 0. Is 81 a factor of v?
True
Let f(w) = 74*w**2 - 212*w + 1454. Does 29 divide f(7)?
True
Is 12 a factor of 8 + (1729/7 - 7) - 6?
False
Suppose -5*c - 2*a + a + 2038 = 0, 9 = 3*a. Let f = -391 - c. Is (3/6)/((-3)/f) a multiple of 19?
True
Let y = 116423 - 63818. Does 18 divide y?
False
Suppose x = 2*x - 4. Suppose -2*n = -x*m - 63 + 7, 50 = -4*m - n. Let i = 28 + m. Is i a multiple of 15?
True
Let l = -1025 + 4265. Is l a multiple of 9?
True
Suppose 61*c - 74608 = 57*c - 2*l, 0 = 2*l - 12. Does 190 divide c?
False
Suppose 5*x - 40 = 0, 224*q + 4*x = 227*q - 56125. Does 28 divide q?
False
Let b be -2 - 1 - (-511)/(-7). Does 16 divide -4 + (b/57)/((-2)/780)?
False
Suppose -5*k = 2*i - 1, -k = -i - 0*i + 4. Suppose -i*b - 4*x + 1092 = -6*x, 5*b - 5*x = 1820. Is 14 a factor of b?
True
Let g = 14 + -18. Let n be (1884/(-16))/((-1)/g). Does 6 divide n/(-7) - (198/(-42) - -5)?
False
Is 14 a factor of -258*13*(-8)/(-12)*6/(-8)?
False
Let c(q) = -42*q**2 - 48*q + 6. Let g(i) = -6*i**2 - 7*i + 4. Let x(m) = -1. Let r(b) = -g(b) - 3*x(b). Let v(o) = -4*c(o) - 27*r(o). Is v(4) a multiple of 8?
False
Suppose 4*i - f - 261 = 0, -5*f = 3*i - 3*f - 182. Let l = -9 + i. Suppose 0 = 10*m - 5*m - l. Is 2 a factor of m?
False
Suppose 2*c - 4*c + 4796 = 2*l, 5*c + 15 = 0. Is l a multiple of 49?
True
Suppose -32 = -d + 5*x, -5*d - 3*x + 319 = 47. Suppose -4*i = i - 115. Let n = i + d. Does 25 divide n?
True
Let f = -7383 - -19991. Does 103 divide f?
False
Let u be (-4)/1 + 34 + -9. Suppose -4*y - 5*n = -145, 0 = -y - 3*n + u + 10. Is y a multiple of 2?
True
Suppose 4*j = -30 - 62. Suppose 3*h - 50 = 5*b, 5*b + 22 = -2*h - 3. Let q = b - j. Does 8 divide q?
True
Let r(c) = 2471*c + 235. Does 18 divide r(3)?
False
Let p(k) = 6*k - 1 + 1 - 2. Let w be p(13). Suppose -3*i + 52 = 5*y, -4*i - y + w = 4*y. Does 6 divide i?
True
Let z(j) = j + 6. Let w be z(5). Suppose -h + 16 + w = 0. Suppose 0 = -5*v + 48 + h. Is 12 a factor of v?
False
Let g(q) = 251*q - 15. Let x be g(4). Let y be ((-78)/(-3)*-1)/(2/x). Is 2 - (1/(-3) + y/39) a multiple of 27?
False
Let f(s) = -15*s**2 - 18*s - 40. Let o(i) = 5*i**2 + 6*i + 13. Let a(d) = 2*f(d) + 7*o(d). Let c = 8 - 10. Is a(c) a multiple of 3?
False
Let r(m) = -25*m - 27. Let g(u) = 12*u + 14. Let f(d) = -11*g(d) - 6*r(d). Is 4 a factor of f(0)?
True
Let y = 12793 - 5853. Is 34 a factor of y?
False
Suppose 168*o - 1595691 = 2743464 - 460035. Does 16 divide o?
False
Suppose -143 = 7*j + 179. Is 47 a factor of (-8176)/(-18) - j/(-207)?
False
Suppose 2*t + 3*g = 11, 3*t = 8*t + 4*g - 24. Let h(o) be the third derivative of o**5/12 - 5*o**4/24 - 3*o**3/2 - 2*o**2. Is 28 a factor of h(t)?
False
Let o(r) = -337*r**3 + 4*r**2 - 9*r + 4. Let i(z) = 3*z**2 + 3 - 5*z + 0 - 3*z + 0 - 337*z**3. Let d(u) = 6*i(u) - 5*o(u). Does 48 divide d(-1)?
True
Let f = -923 + 1942. Is f a multiple of 13?
False
Suppose 