
Suppose -9*i = 42*i - 101796. Does 12 divide i?
False
Let r(w) = -w**3 + 35*w**2 + 43*w - 167. Is r(19) a multiple of 27?
True
Suppose 2*j = -92 + 14. Let w(h) = 2*h - 46. Let u be w(6). Let i = u - j. Is i a multiple of 4?
False
Suppose -48522 - 191542 = -21*u - 23*u. Is 31 a factor of u?
True
Let g be -13 - -17 - (1 - -1). Suppose 0 = 4*w + g*h + 182, w + h + 137 = -2*w. Let u = 124 + w. Is u a multiple of 26?
True
Suppose 2*x + 5 = -3. Let h be 0/(-3*(-3 - x)). Suppose h = -4*u - n + 80, -5*n = u - 0 - 1. Is u a multiple of 7?
True
Let o(z) = z**3 - 20*z**2 + 22*z + 593. Is o(21) a multiple of 8?
True
Suppose -4*t + 23*b = 22*b - 55859, 0 = 5*t + 3*b - 69811. Does 35 divide t?
False
Let g(s) = -95*s - 3298. Is g(-66) a multiple of 40?
False
Let l be 96/(-128)*(-32)/6. Suppose 3*t = 5*w - 2598 - 288, -l*w + 5*t + 2301 = 0. Does 40 divide w?
False
Let j(a) = -7*a**2 + 18*a + 23. Let x(d) = -10*d**2 + 27*d + 35. Let s(o) = 7*j(o) - 5*x(o). Let y be s(5). Let i = -21 - y. Is 9 a factor of i?
False
Let g be (-1 + (-7)/(-2))/((-3)/(-6)). Suppose g*i = 88 + 32. Suppose -19*k - 140 = -i*k. Does 4 divide k?
True
Let m be ((-18)/8)/(8/((-64)/6)). Suppose -5*r + m*j + j + 638 = 0, 4*r - 3*j - 511 = 0. Is 9 a factor of r?
False
Let h = 1892 + -332. Is h a multiple of 15?
True
Let v = 5440 + -3730. Does 171 divide v?
True
Suppose -3*y = -2*t + 345, -5*y + 4*t = 2*t + 579. Let k = y - -796. Suppose 10*g = k - 79. Does 24 divide g?
False
Suppose z + 187 = 463. Let r = -135 + z. Is 44 a factor of r?
False
Let x = 279 - 283. Does 11 divide (2/x)/(12/24) - -584?
True
Let z(y) = -18*y**3 + 19*y**2 + 81*y + 60. Does 24 divide z(-12)?
True
Let u(s) = s**2 + 108*s + 867. Does 96 divide u(57)?
True
Let m = 4541 - 4409. Is 66 a factor of m?
True
Let j be (21 + -20)/(3/(-267)). Suppose 591 = 4*l + 135. Let z = l + j. Does 3 divide z?
False
Suppose 750*z = 752*z + 2*p - 65576, 0 = -z + 3*p + 32808. Is z a multiple of 17?
True
Suppose -69*r - 178*r + 623922 = 0. Is r a multiple of 14?
False
Suppose 356 = -4*n + 104. Let b = n - -66. Suppose -107 = -b*s - y - y, -173 = -5*s + 2*y. Is s a multiple of 9?
False
Let k be (-8)/((-4)/4*2). Suppose 4*n = -k*q + 9*n - 298, -3*q + 4*n = 223. Let w = q + 127. Does 19 divide w?
False
Suppose 3*m - 5*o = -4*o + 10, 4*m - 35 = -3*o. Let h(y) = 6*y**3 - m*y**3 - 65 - y + 94. Is 20 a factor of h(0)?
False
Suppose 0 = 16*i + 5*i - 84. Suppose -1676 = -i*j + 4*t, 4*j + 11*t - 1676 = 8*t. Is j a multiple of 17?
False
Suppose -4*g = 0, -97 = -3*i - 4*g + 1382. Is 17 a factor of i?
True
Let o(p) = p**2 + 52*p + 801. Is 75 a factor of o(144)?
True
Suppose -14*c + 25875 = -17119. Is 21 a factor of c?
False
Does 185 divide (-2794)/(-66)*30*29?
False
Let j(y) = 36*y**2 + 188*y + 57. Is 6 a factor of j(-17)?
False
Suppose -122706 = -3*k - 94*h + 98*h, -3*k + 2*h = -122724. Is 47 a factor of k?
False
Suppose -10 = 3*h - 19, x = -4*h + 152. Let j = 169 - x. Is 29 a factor of j?
True
Let u(p) = -156*p + 6137. Does 38 divide u(25)?
False
Does 13 divide 28 - 13 - 16 - -391?
True
Suppose -29614 = -70*a + 1186. Does 10 divide a?
True
Let c(u) be the first derivative of -94*u**3/3 + 3*u**2/2 - 3*u + 7. Let s be c(1). Let l = 214 + s. Is l a multiple of 15?
True
Is 6 a factor of (-4)/76 - 3749046/(-798)?
True
Let f be (-5)/(20/28) + 6. Does 2 divide (15 - 5) + 4/f?
True
Suppose 15 = 7*z - 4*z. Suppose f + 4*m - 26 = 0, -2*f + z*m - 2*m + 19 = 0. Let v = f - -1. Is v a multiple of 9?
False
Suppose 4*r = 4*y + 20080, 2*r - 228*y = -231*y + 10050. Is r a multiple of 69?
False
Let m = -2617 + 1784. Let p = m + 1561. Does 20 divide p?
False
Let n = 7 + -9. Is 13 a factor of n/(-3) - (-28)/12 - -172?
False
Let b(n) = 13*n + 206. Let g be b(-15). Suppose -5*k = -5*f + 5590, g*k - 6*k = -4*f + 4490. Does 32 divide f?
True
Let d(g) be the third derivative of 13*g**4/24 + 3*g**2. Let b be d(-1). Let r = 60 - b. Is 37 a factor of r?
False
Let m be (1/2)/(4/248). Let x = 120 - 118. Let f = x + m. Does 33 divide f?
True
Suppose 3*b + 367 = 94. Let a = 31 - b. Does 11 divide a - 8 - 4/1?
True
Let k = 22 + -16. Let l be ((-551)/(-1653))/(1/966). Suppose -50 = -k*x + l. Is x a multiple of 10?
False
Let d be 2/(-3) - (-114)/(-18). Let f be (10/1)/(9 + d). Suppose -v + 212 = -0*v + 5*k, -f*v = 3*k - 972. Is 16 a factor of v?
True
Is ((-180)/(-35))/(207/1575546) a multiple of 84?
True
Let z be -3 + -102*(-9)/((-54)/(-28)). Suppose 401 = 4*i - 3*g, 5*i - z = -2*g + 11. Suppose 44 + i = 2*l. Is 10 a factor of l?
False
Let c = 559 - -135. Is 36/60 - c/(-10) a multiple of 35?
True
Let h be (-1)/(63/168*(-4)/6). Suppose 4*r - 5*o - 961 = 0, 2*r - h*o = -5*o + 463. Is r a multiple of 32?
False
Let s(g) = -9*g**3 + 1 + 0 - g**2 + 10*g**3. Let h be s(2). Suppose 2*t - 6*q - 184 = -2*q, h*t = 4*q + 460. Is 38 a factor of t?
False
Let i(s) = -52*s**3 + 26*s**3 + 25*s**3 + 7. Let f be i(0). Suppose f*a + 320 = 8*a. Does 20 divide a?
True
Suppose -2*s + 37 = -545. Let r = s - -107. Is 22 a factor of r?
False
Suppose 3*k - 22 = m - 150, -6 = 3*k. Is -3*(-5)/(-3) + m even?
False
Let q(h) be the first derivative of h**3 - 6*h**2 - 30*h + 64. Is q(15) a multiple of 31?
True
Let s be (7569/6)/(26/(-8) + 4). Suppose 2*j - s + 434 = 0. Is j a multiple of 24?
True
Let o = -1747 - -2177. Does 10 divide o?
True
Let o be 2 + (-2 + (3 - 1))/2. Suppose 2*q - 5*q - 3 = 0, o*z + 3*q = 373. Let k = -121 + z. Does 15 divide k?
False
Let c(q) = 5*q**3 + 3*q**2 + 3*q - 3. Let n = -129 - -126. Let r be c(n). Let t = -40 - r. Is 16 a factor of t?
True
Suppose 166*q - 184*q = -9396. Does 9 divide q?
True
Let p = 22272 + -3198. Is 102 a factor of p?
True
Suppose k + 1 = 6. Suppose 0 = -k*z - 25, 0*s - s + 45 = -5*z. Suppose o - 4*o - 4*f + s = 0, -5*o - f + 56 = 0. Is 12 a factor of o?
True
Let d = 149 - 33. Let f = 138 - 148. Let i = f + d. Is i a multiple of 11?
False
Suppose -5*g + 30 = 0, 5*g = -103*w + 98*w + 28915. Is w a multiple of 22?
False
Let p = 269 - 266. Suppose 0 = 5*w - p*f - 305, -5*w + f - 5*f = -340. Is w a multiple of 4?
True
Suppose -218 = 4*z + 58. Let o = z - -72. Suppose 25 = o*d - 32. Is d a multiple of 5?
False
Let u be (-11)/44 + 5/4. Suppose -f = u, -3*a - 10 = f - 3*f. Let w = 72 + a. Is w a multiple of 5?
False
Suppose 5*g + 128 = 7*g. Let d = g - 37. Let c = d - -129. Is c a multiple of 12?
True
Let x(r) = -36*r - 26. Let z(o) = 3*o + 2. Let y(g) = -x(g) - 6*z(g). Does 5 divide y(12)?
True
Let n(s) = -6*s**3 - s**2 - s. Let l be n(-1). Suppose h - 18 = 3*d, h - 4*h = 3*d + l. Suppose 5*b - 591 = -h*i - 186, i - 124 = 2*b. Does 11 divide i?
False
Let h(g) = 2*g + 0*g + 132 + 8*g - 15*g. Is 48 a factor of h(-20)?
False
Suppose 9*q - 64 = q. Suppose a = -0*a - 5*r - q, 2*r = -a - 2. Suppose 5*j - 72 = -a*u + 48, -5*u - 2*j = -258. Does 25 divide u?
True
Let c(z) = z**3 + 6*z**2 - 6*z + 17. Suppose -3*b = -5*m - 35, 2*m - b + 15 = 1. Let y be c(m). Suppose 0*s - y*s + 280 = 0. Is s a multiple of 28?
True
Let y = 16927 + 7696. Does 90 divide y?
False
Let w(v) = 3*v**2 - 39*v + 485. Is w(19) even?
False
Let m = -20075 + 28877. Is m a multiple of 45?
False
Suppose -607*v + 4080 = -471*v. Is 13 a factor of v?
False
Suppose 3355 = 5*z - 2*v, -2*v + 661 - 2 = z. Let l = z + -264. Suppose 5*j + l = 5*q, 2*j - 51 = -q - 3*j. Is q a multiple of 9?
False
Suppose 0 = 2*c + 3*n - 4, -3*c - 3*n + 6 = -0*n. Suppose c*y = y. Is y*(-3)/(-6) + 112*1 a multiple of 8?
True
Let x be 1832/(-6) - 4/6. Let p = -174 - x. Suppose 4*w - 2*w - 2*u = p, 0 = -5*w + u + 346. Is w a multiple of 5?
True
Let o be (-124)/(-28) - 9/21. Suppose -5*t = -k - 4*k + 235, 3*k = o*t + 142. Is 2 a factor of k?
True
Let c(x) = -x**2 - 7*x - 3. Let w be c(-6). Suppose 3*q + 4*m - 28 = 2*m, q - w*m = 13. Suppose -2*g + q = -0, 4*t = -2*g + 666. Is t a multiple of 16?
False
Is 30 a factor of (7 - 2)/(2 - 5) + 137745/27?
True
Suppose -5198 = 5*m - 5193, 3*d = 4*m + 56410. Is d a multiple of 17?
True
Let z be 6692/14 - (2 + -8). Suppose -961 = -17*l + z. Is l a multiple of 12?
False
Let q(w) = 6*w - 75. Let v be q(14). Suppose -v*t + 288 = -6*t. Does 23 divide t?
False
Let r be (3 - (-5)/(-5)) + -2. Suppose o - 9*o + 3640 = r. Is o a multiple of 40?
False
Let f(x) be the first derivative of 7*x**2 - 42*x - 1. Let b be (