 a factor of i(3)?
True
Let a = 1306 + 9312. Is 26 a factor of a?
False
Let q be (2/4)/((-15)/(-1020)). Let g = -60 + q. Let u = g - -38. Does 12 divide u?
True
Let s be (-2 - 1 - -3)/2. Suppose 3*o - 3*d - 1269 = s, 6*o - 2*o + 3*d - 1713 = 0. Suppose 0 = -k - k + 4*a + o, 4*k - 840 = 4*a. Does 18 divide k?
False
Let k(x) = -31*x + 203. Does 3 divide k(-4)?
True
Let h = 4569 + 71. Is h a multiple of 10?
True
Suppose -41 = -9*k - 14. Is k/18 - (-2 + (-9500)/24) a multiple of 69?
False
Let z(q) = 7*q**3 + 26*q**2 + 68*q - 341. Does 33 divide z(14)?
True
Suppose -5*h - 4*h + 50571 = 0. Suppose 0 = -6*o + a + 8421, a + 0*a - h = -4*o. Is o a multiple of 36?
True
Suppose 2*z + 2*z - 5*t + 206 = 0, 90 = -2*z - 4*t. Let p = z + 71. Suppose -17*d = -p*d + 390. Is d a multiple of 26?
True
Let m(v) = v**3 - 41*v**2 + 5*v + 36. Does 62 divide m(44)?
False
Suppose -528685 = -49*f + 57845. Does 29 divide f?
False
Suppose -2*c - 1534 = 5*a, 7*c - 12*c = 4*a + 1217. Let u = a + 397. Is u a multiple of 89?
True
Let g(i) = i**3 + 6*i**2 + 4*i + 2. Let w be g(-2). Suppose 5*a - 5 = w. Suppose 0 = a*t + 3, -4*n + 27 = -2*n - t. Is 13 a factor of n?
True
Suppose 7*s - 3*n + 473 = 8*s, 2*s + 4*n - 944 = 0. Suppose -9*f + p - s = -14*f, -f = -p - 88. Does 31 divide f?
True
Let t(g) = 7*g**2 + 14*g + 69. Let i(j) = -9*j**2 - 15*j - 70. Let b(x) = 2*i(x) + 3*t(x). Does 80 divide b(-17)?
False
Suppose 0 = -59*o + 54*o + 141*o - 578000. Does 17 divide o?
True
Does 71 divide ((-1381485)/(-28))/5 - (-5)/4?
True
Let y = -55 + 80. Suppose -106*x - y = -105*x. Let t = 41 + x. Is t a multiple of 8?
True
Let o(d) = -3*d**2 - 18*d + 38. Let k be o(-7). Suppose k*y = -2038 + 9586. Is 37 a factor of y?
True
Let z(t) = -t**2 - 23*t + 26. Let u be z(-24). Suppose 3*k - g = 739, 5*k + u*g + 2*g = 1226. Is 13 a factor of k?
False
Let z = -230 - -735. Let p = -85 + z. Does 28 divide p?
True
Suppose 116*k - 121*k - 3*p = -219098, -2*k - p = -87638. Is k a multiple of 8?
True
Suppose -4 - 2 = -g. Is (-302 + 10)/((-3)/g) a multiple of 16?
False
Let s = 6467 - 359. Does 12 divide s?
True
Let m = -309 + 242. Let i = m - -251. Does 23 divide i?
True
Let b = -53 + 57. Let u be b/(-18) + 86/(-18). Let f = 33 + u. Is f a multiple of 14?
True
Let r be (-1)/((-10)/4) - (-22)/(-55). Suppose 72*x - 67*x - 120 = r. Does 3 divide x?
True
Let g(o) = -9*o**2 - 14. Let m(k) = -2*k**2 + k. Let i(p) = -g(p) + 4*m(p). Does 37 divide i(6)?
True
Let y = 10471 + -5215. Is y a multiple of 15?
False
Let s(k) = 14*k - 129. Suppose 3*q = 4*u - 61, -16*q + 85 = 5*u - 11*q. Is s(u) a multiple of 14?
False
Let n(s) = 3*s**2 + 5*s - 8. Let u be n(-3). Let y(b) = 10*b + 65. Does 7 divide y(u)?
True
Is 12 a factor of (-31)/(-30) + 72/(-60) + (-4348825)/(-150)?
True
Suppose -4*x + 2*j - 1289 = 637, 2427 = -5*x - 4*j. Let n = x + 789. Is n a multiple of 18?
True
Let k be (-195)/26*(-8)/(-6). Let o(s) = 2*s + 19. Let m be o(k). Is 18 a factor of (-94)/m + (5 - 7)?
False
Let p(t) = t**2 + 10*t - 1. Let i be p(-9). Let n(s) be the second derivative of s**4/12 - 2*s**3 - 25*s**2/2 + 3*s - 111. Does 39 divide n(i)?
True
Let l(q) = -q**3 - 148*q**2 - 287*q + 501. Let d be l(-146). Let g(i) = -104*i**3 + 1. Let h be g(1). Let v = h - d. Does 18 divide v?
True
Let s(z) = 3*z**3 + 7*z**2 + 5*z - 4. Let y(o) = -2*o**3 - 4*o**2 - 2*o + 2. Let d = -71 + 66. Let l(x) = d*y(x) - 3*s(x). Is 6 a factor of l(4)?
True
Let m = -5042 - -12288. Is 30 a factor of m?
False
Suppose 0 = -n - 5*y + 1247, -2*y + 0 = 8. Is n a multiple of 8?
False
Let y = -91 + 88. Is 12 a factor of (1*y)/(60/(-1200))?
True
Suppose y = 5*y - 20. Suppose 2*r - 31 = -y*o - 0*o, 4 = -2*r + 2*o. Suppose b = -4*b + r*q + 36, -5*q + 60 = 5*b. Does 7 divide b?
False
Let r = -7 + 1. Let v(x) = 16*x + 231. Let n be v(-15). Does 11 divide r/n*3 - (7 + -116)?
False
Let h(f) = 8*f**3 - 2*f - 1. Let p be h(-1). Is 7 a factor of 4/(-6) + (49490/(-21))/p?
True
Suppose 15*z - 13*z - 544 = 0. Let y = 416 - z. Let l = -9 + y. Is l a multiple of 15?
True
Let x = 153 - 149. Suppose -6090 = -17*b - x*b. Is 29 a factor of b?
True
Does 10 divide (-587888)/(-49) - 5/(35/(-2))?
False
Let p = 88 + 175. Let j = p - 169. Is 8 a factor of j?
False
Let v(y) = 14*y - 5. Let l be v(1). Suppose 0 = -l*q - 387 + 4446. Is q a multiple of 11?
True
Let n(b) = 87*b**2 - b + 4. Let v be n(2). Suppose 3*h + 155 = -p, -2*p = -2*h - 2*h + v. Does 28 divide (-1 + p)*(-6)/9?
True
Suppose 14*u - 232068 = 216772. Is 229 a factor of u?
True
Let u be (25/(-2))/(((-18)/(-4))/(-9)). Suppose -5*i + 646 = 2*f, 4*i - 515 = -u*f + 24*f. Does 47 divide i?
False
Let c(s) = 473*s**3 + s**2 - 438*s + 1313. Is 107 a factor of c(3)?
False
Suppose 0 = 3*k - 3*j - 6480, 0 = 4*k - j + 8*j - 8717. Is k a multiple of 27?
False
Suppose -69*w = -329*w + 4271020. Is 98 a factor of w?
False
Suppose 14460 = 62*b - 45618. Does 57 divide b?
True
Let k(n) = 16*n - 61. Let o be (-4)/18 + (517/9)/11. Is 19 a factor of k(o)?
True
Let y(d) = 21*d**2 + 3*d - 2. Let l be y(9). Suppose -4*s + 6968 = 4*h, -14*s + l = -13*s - 3*h. Does 79 divide s?
True
Let a = 41185 - 16086. Does 19 divide a?
True
Suppose 3*k = 308*j - 307*j - 3310, -4*k - 16550 = -5*j. Is j a multiple of 14?
False
Let f(d) = -27*d - 16 - d**3 + 11 + 12*d**2 + 18 - 1 + 8. Is 3 a factor of f(8)?
True
Suppose -z + 18748 = 3*v, 3*v - 6*v = 3*z - 18756. Is 35 a factor of v?
False
Let v(h) = 204*h**2 - 21*h + 12. Does 21 divide v(4)?
True
Suppose -284*b + 283*b - 9687 = -2*r, 2*b = -3*r + 14548. Is r a multiple of 3?
False
Let o(x) = 82*x + 6. Let h be o(3). Suppose -m + 5*m = h. Let w = 82 + m. Does 21 divide w?
False
Let j(b) = -11*b**2 + 0*b**2 + 5*b + b**3 + 8952 - 8948. Is j(12) a multiple of 9?
False
Suppose 18727 = -37*a + 183377. Is 9 a factor of a?
False
Suppose 0 = x + 3*c + 29, 0 = 5*x - 3*x + c + 43. Is (-32)/x + -2 + (-282)/(-5) a multiple of 7?
True
Suppose -b + 201817 = -41*l + 46*l, -5*l - 4*b = -201793. Does 27 divide l?
True
Let v = -11910 - -12244. Does 3 divide v?
False
Let o be 14/35*5*-2. Is 39 a factor of -4 - (o/10 - (-8316)/(-35))?
True
Suppose -2*z + 25 = 43, -4*w = -4*z - 178728. Is w a multiple of 147?
False
Let u(s) = -s. Suppose -t + 3 + 0 = j, -15 = -4*j - 5*t. Let d be u(j). Suppose -c - 49 + 129 = d. Is 20 a factor of c?
True
Let l be ((-132)/(-24))/(1/254). Suppose -3*o - 4*u + l = 0, 4*o + 4*u - 2513 + 645 = 0. Is o a multiple of 36?
False
Suppose 5*g = 5, -18 = -4*p + 122*g - 120*g. Let q be 36/10 + (-2)/(-5). Suppose -y = -q*r - 47, 2*r = -p*y - 3*r + 210. Does 29 divide y?
False
Let j(q) = 5*q**2 + 169*q + 1028. Does 190 divide j(69)?
False
Let d = -3439 - -5661. Is d a multiple of 22?
True
Is 15 a factor of 91485/1070*(-2 - 88/(-6))?
False
Suppose -2*r + 2706 = -0*z + 4*z, 2*z - 1338 = 2*r. Suppose 110*y = 112*y - z. Does 16 divide y?
False
Let f be -255 + (20/(-1))/(-4). Let w = f + 150. Let j = w + 121. Is 3 a factor of j?
True
Let h be (-12)/10*(-15)/(-6) + -362. Let u = h + 653. Suppose u = 15*d - 7*d. Is d a multiple of 18?
True
Let w(f) = -f**2 + 6*f - 1. Let a be w(5). Suppose -2*q = 5*s, -a*q + 7*s = 2*s - 30. Suppose 3*r + q*c - 207 = 4*c, -3*c = -3*r + 207. Does 23 divide r?
True
Suppose 17*o - 32 - 19 = 0. Let f be 3 + -2 - (-12 + o). Suppose -f*y + 185 = -5*y. Is 10 a factor of y?
False
Suppose 15*z - 28*z = 637. Let c = 89 + z. Does 4 divide c?
True
Suppose c + 2988 = m - 6929, -2*m = 3*c - 19809. Is m a multiple of 21?
True
Let s(j) = -14*j**2 + 3*j - 2 + 2*j**3 - 4 + 2. Let h be s(7). Suppose -5*n = -h - 163. Is n a multiple of 12?
True
Let k = 29631 + -18156. Is k a multiple of 51?
True
Let b(t) = t + 3. Let w(j) = -j - 68. Let l(x) = -2*b(x) - w(x). Is 8 a factor of l(-10)?
True
Let d(f) = 81*f**2 - 8*f - 17. Is 2 a factor of d(-2)?
False
Suppose 2*j - 9*j - 42 = 0. Let n be 0*1/(3 + j). Let f(b) = b**3 + b**2 - 2*b + 50. Is f(n) a multiple of 8?
False
Suppose 72 = -3*g - 48. Suppose -8*o - 378 = -o. Let h = g - o. Does 6 divide h?
False
Suppose -6*w + 23*w = 24633. Does 21 divide w?
True
Let y(x) = -x**2 + 12*x - 36. Let q be y(6). Suppose -c = -l - 417, q*c + 4*l = -c + 432. Does 42 divide c?
True
Let i(p) = -8*p + 152. Suppose a = 13*a - 180. Is 32 a factor of i(a)?
True
Suppose -12 = -3*n, -3*n = -g - 3*g + 4976. Le