*o + 20*o + 630 = j. Does 18 divide o?
True
Suppose 0 = -5*t + g + 11179, 19*g - 20*g - 4471 = -2*t. Is t a multiple of 172?
True
Suppose z + 38 = -4*c, c - z + 16 = 2*z. Is 26/(-65) + 1 + (-1224)/c a multiple of 14?
False
Let p be (-2 + -60)/(3 - 8 - -4). Suppose -59*a = -p*a + 285. Is 28 a factor of a?
False
Let t be ((176/28)/4)/(3/21). Let h(j) = -j**2 + 23*j - 19. Is 11 a factor of h(t)?
False
Let n = 30089 + -22652. Is 28 a factor of n?
False
Is 40 a factor of -4*(-261859)/91*14/4?
False
Let y be (1 + 6/2 + -1)*-9. Let m be (326/6 + -2)/(9/y). Let h = 261 + m. Is 10 a factor of h?
False
Let a(x) = -2*x**2 - 175*x - 5. Is 22 a factor of a(-29)?
True
Let w(t) = t**3 + 4*t**2 - 12*t + 4. Let q be -2 + 1 - -5 - -1. Is w(q) a multiple of 9?
False
Suppose 0 = 477*w - 476*w - 9785. Does 70 divide w?
False
Suppose 4*k + 38*f - 39*f - 3 = 0, 4*k = -f - 3. Suppose k = 4*x - 388 - 56. Is x a multiple of 10?
False
Suppose 12633 - 40731 = -42*p. Suppose 660 = t + 3*f - f, t = f + p. Is t a multiple of 37?
True
Let z be (321/9)/((-2)/(-12)). Let f = -1217 + 2236. Suppose -7*r = z - f. Does 23 divide r?
True
Let q(w) = -30 - 19*w**3 - 1 - 37*w**2 - 8 - 44*w - 5 + 18*w**3. Does 22 divide q(-37)?
True
Let t be (-1432)/(-32) - 6/8. Let u = t - 50. Does 28 divide (-36)/3*28/u?
True
Let a(i) = i**3 + 3*i**2 - 5*i + 7. Let m be (8/32)/(1/5)*4. Is 11 a factor of a(m)?
False
Let p = 49 - 47. Suppose -3*t - 5*h - 13 = -68, -p*h - 42 = -2*t. Suppose 12*i - 14*i + t = 0. Is 5 a factor of i?
True
Let r = 4143 - -1025. Is r a multiple of 29?
False
Let w be (-8)/(-18) + 22496/333. Let x be 15 - (-3)/(3 + 0). Let y = w + x. Is y a multiple of 14?
True
Let r be 786/21 - 15/35. Suppose 4940 = r*k - 24*k. Does 16 divide k?
False
Suppose -27 = -5*h - 7. Suppose -h*u = 3*u - 42. Suppose u*x - 100 = x. Is x a multiple of 4?
True
Suppose 4*z = 2 - 18, s - 5 = -2*z. Suppose 2490 - 12435 = -s*x. Does 9 divide x?
True
Let t be (1/(-8)*4)/(1/(-116)). Let c = -72 + t. Is c*4/(-16)*(-2 - -16) a multiple of 3?
False
Suppose 4*j = 5*r + 25, 16*j - 14*j = 2*r + 12. Let g(s) = 3 + s**2 + s**2 - 1 - 18*s**3 + 3*s. Does 5 divide g(r)?
False
Suppose -4*v - 15854 = -2*t, 7906 = t + 14*v - 13*v. Is t a multiple of 41?
True
Let u(s) = -s**3 - 11*s**2 - 7*s - 21. Let c(t) = -2*t**3 - 23*t**2 - 13*t - 43. Let o(g) = -4*c(g) + 9*u(g). Let b = 139 - 146. Is 10 a factor of o(b)?
True
Let m = -8374 - -21518. Is m a multiple of 46?
False
Let w be (-9)/6 - (-2)/(4/151). Let t = w + 70. Does 12 divide t?
True
Let s(i) = 74*i**2 + 35*i - 489. Is 5 a factor of s(9)?
True
Let h = -84 + 3180. Does 12 divide h?
True
Let m be ((-633)/6)/((-3)/(-12)). Let c = m + 1148. Is 22 a factor of c?
True
Let d(r) = -6*r + 165. Let z be d(27). Suppose 0 = 4*c + z*c - 742. Is 11 a factor of c?
False
Let o = -6317 - -9237. Does 146 divide o?
True
Suppose -20*t - n - 2682 = -15*t, 2*t + 1078 = -3*n. Let j be 2/3 + 2/6. Is 16 a factor of (1/j)/((-8)/t)?
False
Suppose -2*r = 2*r - 6*r. Suppose 5*y + 2*v - 361 = r, -8*v = -4*v + 8. Is y a multiple of 5?
False
Suppose -q - 699 = -5*s + 643, 804 = 3*s - q. Suppose -s*r + 264*r + 4085 = 0. Is r a multiple of 12?
False
Suppose -35 - 20 = -2*m + 3*p, -p = -3. Let q = 10 - 7. Is 4 a factor of (q - 1)*(m + -12) + -3?
False
Let m = 865 - 465. Suppose -38*q + 43*q = m. Let z = -59 + q. Does 4 divide z?
False
Let q = 52 + 8. Is 10 a factor of q?
True
Suppose 485*m - 73773 = 444*m + 1220146. Is 15 a factor of m?
False
Is (2 - 1)/((910/27456)/35) a multiple of 3?
True
Suppose -32*m + 208491 - 77067 = 0. Does 80 divide m?
False
Suppose 4*o = 138 + 162. Suppose 5*t - o = 135. Does 8 divide t?
False
Let s = -49 - -52. Suppose 0 = -2*m - 4*l + 104, 0*m + 5*l = -s*m + 157. Let p = m - 32. Does 8 divide p?
False
Is ((-5)/(-10))/(9/(-45693))*2/(-1) a multiple of 163?
False
Suppose 716328 - 872675 = -52*u + 998053. Does 30 divide u?
True
Let j = 6198 + 4093. Is 14 a factor of j?
False
Let l be (-672)/10*(-10)/(-3). Let q = -71 - l. Is q a multiple of 26?
False
Let u be -3*(768/(-18))/(-1). Does 13 divide 8/(u/(-3460)) - 1/4?
False
Suppose z + 19 - 7 = 0. Let g be ((296/5)/(-2))/(z/420). Suppose g - 216 = 5*u. Is 9 a factor of u?
False
Let s = 47 - 42. Suppose -s*k = -114 - 276. Suppose 3*w + 2*c - 137 = 0, -w - 5*c - 15 = -k. Is w a multiple of 4?
False
Let u(t) = -38*t**3 - 5*t**2 + 8*t + 78. Does 17 divide u(-6)?
True
Let h(f) = 18*f**2 + 16*f + 1. Let i be h(-4). Let l = i + 123. Does 26 divide l?
False
Let w(z) = -2*z**2 - 43*z - 150. Let h be w(-17). Suppose -5 = 5*p, 0 = -4*j + 2*j + 4*p + 6. Suppose j = b + h*k - 9, -94 = -5*b - 4*k. Is b a multiple of 11?
True
Let j(z) be the second derivative of z**5/20 - 11*z**4/12 - 13*z**3/6 + 9*z**2 + 11*z. Let n be j(12). Suppose 0 = -n*b + 8*b - 256. Does 16 divide b?
True
Let k(u) = 19*u**2 - 14*u - 38. Let z(y) = 20*y**2 - 13*y - 36. Let r(g) = -5*k(g) + 6*z(g). Does 41 divide r(-4)?
False
Let u(n) = 2*n**2 + n - 5. Let h be u(2). Suppose -h*g = -17 - 3. Suppose g*p + 20 = 0, -5*t + 30 = -2*p - 55. Is 10 a factor of t?
False
Suppose 0 = -6*w + 3*w - c + 1027, -5*c + 5 = 0. Suppose 0 = 11*u - w - 934. Is 33 a factor of u?
False
Let v = 2273 + -495. Does 4 divide v?
False
Let f = 20 - 15. Suppose -2*j + 9 = f. Suppose j*m + 61 = 91. Is 3 a factor of m?
True
Let o = 19 - 19. Suppose -x = -o*z + 3*z - 23, -2*z = -5*x - 38. Suppose h - 5*w - z = 0, 0*h + 2*h = -2*w + 54. Is 14 a factor of h?
False
Let m = -394 + 397. Suppose 6*b = 4*b - 3*h + 1017, -m*b + 1506 = -2*h. Does 42 divide b?
True
Let v(w) = 59*w**2 + 30*w + 109. Is v(-18) a multiple of 37?
True
Suppose -159594 = 8*a - 51*a + 826654. Is 122 a factor of a?
True
Is (-2)/((-26)/(-41)) + 122/793 - -20882 a multiple of 89?
False
Suppose -z + 24 = 14. Let g(w) = -w**3 + 10*w**2 + 28*w + 17. Is 42 a factor of g(z)?
False
Suppose u - 12 = 2*m - 4*u, 0 = 4*m - 4*u. Suppose -5*z - m*b = -842, -z - 3*b + 58 + 106 = 0. Does 32 divide z?
False
Let p = 21634 - 21448. Does 93 divide p?
True
Let l(t) = 11*t**3 - t**2 - 6. Let u be l(3). Suppose -q + 3 = 0, 3*q + q = -5*r + u. Suppose 0 = -0*o - 2*o + c + 54, -4*c - r = -2*o. Is 4 a factor of o?
False
Does 5 divide (8 + 1685/(-10))*-14?
False
Let y be 3/(0 - -3) + 5. Suppose 0 = -2*d - 5*p, 3*p = -y*d + d. Suppose d = 4*n + 291 - 983. Is 34 a factor of n?
False
Suppose -147148 = -29*q + 138934 - 92942. Is 9 a factor of q?
True
Let p(l) = 49*l**3 - 4*l + 11. Let a be p(2). Let z = a - 254. Let j = z - 87. Is j a multiple of 17?
False
Does 6 divide 6/(-16) - 47131/(-8) - -7?
True
Does 45 divide 22856 - ((-10 - -6 - -4) + -4)?
True
Let i(f) = -5*f + 71. Let o(j) = -j**3 + 10*j**2 + 9*j + 15. Let w be o(11). Is i(w) a multiple of 8?
False
Suppose 0 = 5*r - 5, -37 = -4*n - r. Suppose -289 = -n*w + 1052. Let p = 224 - w. Is p a multiple of 25?
True
Suppose 97 = 2*v + 3*o, 2*o - 108 - 106 = -4*v. Is v a multiple of 28?
True
Let b(x) = 372*x**2 + 5*x + 146. Is 15 a factor of b(-6)?
False
Let i(r) be the first derivative of -r**4/4 + 14*r**3/3 + 5*r**2 - 9*r + 70. Does 29 divide i(11)?
True
Let k(x) = -2*x + 62. Suppose 5*b + 2*h - 80 = 0, 4*b - 27 = -4*h + 25. Let z be ((5 - 2) + (-96)/b)*-3. Is 6 a factor of k(z)?
True
Does 69 divide 4*-3 + (-342420)/(-130)?
True
Does 253 divide 266 - (-5 - (-288)/16)?
True
Let i be ((-4)/6)/((-2)/6). Suppose -2*p + 5*p - 288 = 0. Suppose -i*z = z - p. Is z a multiple of 4?
True
Does 191 divide 511537/57 - 32/(-12)?
True
Is (-180)/54*-6*(-904)/(-10) a multiple of 37?
False
Let m be (-430)/20*-2*2. Let n = 162 + m. Is n a multiple of 6?
False
Does 16 divide (-9073)/(-7) - (-2)/(-2)*39/273?
True
Suppose c + 5*h + 112 = 0, 5*c - 7*h + 11*h + 455 = 0. Is 35 a factor of 8/((-24)/35)*c?
True
Let m(l) = -20*l**3 - 7*l**2 + 18*l + 221. Does 71 divide m(-8)?
True
Let t(r) = 34*r + 11. Let d be t(-3). Does 30 divide 9364/26 + 14/d?
True
Let l(s) = -s**3 + 22*s**2 - 19*s + 20. Suppose 4*v + 0*v = 84. Let c be l(v). Suppose -2*z + 0*f - 2*f + c = 0, 0 = z - 4*f - 21. Is 8 a factor of z?
False
Suppose -4*s + 154 = 3*d, -5*s = -0*s + 2*d - 196. Suppose s*b = 17*b + 345. Does 5 divide b?
True
Suppose -17451 = -s + 14230 + 2168. Is s a multiple of 17?
False
Let l be (-2)/(6/144*4). Does 43 divide (-3 - (-33)/(-9))/(l/126)?
False
Let k be