?
False
Suppose -7*r = 21, -4*u + 110282 + 25167 = 5*r. Does 14 divide u?
True
Let f be (1/(-2))/(2/16*-2). Suppose 5*x + 2*j = 945 + 385, -2*x = f*j - 526. Is 9 a factor of x?
False
Suppose -61*z + 63*z - 2062 = -l, -l + 6182 = 6*z. Is z a multiple of 103?
True
Suppose -15*g - 111925 = -26*g. Is g a multiple of 42?
False
Let g(o) = 27*o**2 - 22*o + 10. Is g(-19) a multiple of 21?
False
Let z(c) = 4*c**2 - 1. Let y be z(-1). Suppose -86 = -d - y*k, -15*d - 3*k = -12*d - 270. Is d a multiple of 12?
False
Suppose 3*i = 3*c + 1038 - 375, i + 5*c - 191 = 0. Suppose 1293*n - 1290*n = 0. Suppose -3*b = -n*b - i. Is 24 a factor of b?
True
Let u = 20383 - 10513. Does 42 divide u?
True
Suppose 44045 - 204201 - 199476 = -169*a. Is a a multiple of 38?
True
Is 171 a factor of -11 - 1 - (-2155 + 50)?
False
Let w be -13*(-1)/1 + 4/4. Suppose -6*s - 8 = -w. Is (-6105)/(-60) - s/(-4) a multiple of 16?
False
Suppose 9*c = 5*c + 8448. Suppose -75*o = -53*o - c. Does 8 divide o?
True
Let h(r) = -306*r - 855. Is h(-20) a multiple of 27?
True
Let g = -18951 + 31799. Does 8 divide g?
True
Suppose 5*v + 38864 = 4*d - d, -7*d + 4*v + 90744 = 0. Is d a multiple of 7?
False
Let w(m) = 21*m**3 + 8*m**2 - 77*m + 239. Is w(4) a multiple of 19?
False
Suppose -2*q + 52 = -122. Suppose -2046 = -q*z + 84*z. Is 64 a factor of z?
False
Suppose 3*m + c - 166 = -0*c, m + c = 54. Suppose 5*a = -2*x - 2*x + 108, 0 = 2*x + 3*a - m. Suppose 19*d - x*d + 72 = 0. Does 24 divide d?
True
Let a(w) be the second derivative of w**5/20 - w**4/6 - w**2 + w. Let y be 4 + (0 - -1 - (5 + -6)). Does 45 divide a(y)?
False
Suppose -3*i = 5*l - 15, -5*i = 5*l - 5 - 10. Suppose -2*r - w + 59 = -i*w, 4*r - 113 = -w. Is 27 a factor of r?
True
Is 14 a factor of (-10)/16 + 1 - (14269050/80)/(-37)?
False
Suppose -16*p = -11*p - 165. Let s(k) = -3*k + 5*k**2 + p*k**3 - 3 - 60*k**3 + 29*k**3. Does 6 divide s(3)?
False
Let j = -4801 + 7969. Does 99 divide j?
True
Is 24 a factor of (-15 + 16)*(6716 - 7)?
False
Let v = -47 + 53. Is 13 a factor of (-33)/9 - -4 - (-2056)/v?
False
Suppose -q - 608*x + 603*x + 4546 = 0, -3*q = -x - 13606. Does 252 divide q?
True
Let h(k) = -4*k**3 + 20*k**2 - 9*k + 11. Let b be h(5). Let m(r) = r**3 + 34*r**2 - 7*r - 15. Is 54 a factor of m(b)?
False
Suppose -1906*i + 1914*i - 45992 = 0. Is i a multiple of 7?
False
Suppose -2099 - 491 = -i + 410. Does 25 divide i?
True
Let o(k) = -73*k - 12. Let d be o(-4). Suppose 40*m = 36*m + d. Is m a multiple of 31?
False
Let u(y) = -17 - 33 - 54*y - 52*y. Is u(-5) a multiple of 15?
True
Suppose -5*d - 9 = -r - 4*d, 0 = -2*r + d + 15. Suppose -2*s + 7 + 1 = 0. Suppose -s*f - w = -r*w - 257, -5*f + 315 = -5*w. Does 29 divide f?
True
Suppose 0 = -18*z + 15*z + 3*f + 7341, 17169 = 7*z + f. Is z a multiple of 42?
False
Let l(w) = 6*w + 57. Let m be 4 - ((-2)/(-2) + -3) - -2. Does 9 divide l(m)?
False
Is 77 a factor of -12 - (0 + -23)*188?
True
Suppose -104*p - 62*p + 1869502 = -29*p. Is 7 a factor of p?
False
Suppose -21*j + 184199 = -331390 + 183054. Does 136 divide j?
False
Suppose -16*l + 313955 - 8755 = 0. Does 35 divide l?
True
Let w(s) = 8715*s - 3048. Is 42 a factor of w(8)?
False
Suppose 0 = -23*r + 18*r + 95. Suppose 4*i - 3*w = -r, -2*w - w = i - 14. Is i/((-2)/90)*(-9 - -10) a multiple of 15?
True
Does 12 divide (-628904)/(-15) + (-127)/(-1905)?
False
Let r(b) = b**3 + 3*b**2 + 6*b + 2127. Let a be r(0). Suppose -6*f + 1065 = 2*m - 9*f, -4*m + 3*f + a = 0. Does 9 divide m?
True
Let p = 50 - 46. Suppose -b = 2*y + 244, -p*b + y = 255 + 703. Let n = b - -339. Is 11 a factor of n?
True
Let r = -6811 - -11539. Does 144 divide r?
False
Suppose 3*j = 15 - 690. Let x be (-1)/4 + (j/12)/5. Is -8*-8*1/(-4)*x a multiple of 8?
True
Let v(c) = -c**2 + 13*c - 14. Suppose -2*p + 33 = p. Let i be v(p). Does 5 divide (-15)/(((-12)/64)/(2/i))?
True
Let f = -32 + 71. Let k = f - 42. Let m = k - -22. Is 4 a factor of m?
False
Let j(b) = -b - 13. Let g be j(-13). Suppose -4*q - x + 2435 = 0, 2*q + 4*x - 603 - 611 = g. Is 50 a factor of q?
False
Let f be 44 - 1 - (-7 + 3). Let i = 75 + f. Suppose 0 = -3*u - i + 212. Is u a multiple of 30?
True
Suppose -4*v + g = -9505, -1167 = -4*v - 4*g + 8313. Is v a multiple of 184?
False
Suppose -5*r = -h - 299, 437 = -5*h - 5*r - 1088. Let d = h - -485. Is d a multiple of 70?
False
Let x(m) = -m**2 - 131*m + 136. Let f be x(-132). Suppose 4*v = -4*r + 92, 3*r - 59 = 2*v - 3*v. Suppose f*l + 4*w - 93 + 13 = 0, r = l - w. Does 16 divide l?
False
Let u be (-1 - -1 - -2) + 1. Suppose o + 4*t - 22 = -o, 0 = u*o - 5*t. Suppose 4*q + 3*y - 144 = 66, -o*q - 2*y + 266 = 0. Is q a multiple of 8?
False
Let d be (-72)/(-36)*(3 - 1). Suppose 0 = -4*v + 3*s + 814 - 15, -4*s = -d*v + 796. Does 15 divide v?
False
Let j be ((-2)/(-11) + 1143/66)*8. Suppose 5*i + y = 175, -4*y = -4*i - 5*y + j. Is 5 a factor of i?
True
Let q be 1 - (6/9)/(20/(-90)). Suppose s - 76 = -0*s + 4*o, 0 = q*o - 8. Is s a multiple of 4?
True
Let s = 4 + -6. Is 166 + s + (-2)/(-1) a multiple of 7?
False
Suppose -6 = 2*r + r. Suppose 0 = -2*g - 2*g + 5*w + 1836, 3*g - 6*w = 1368. Is 23 a factor of ((-60)/(-50))/(g/230 + r)?
True
Let u = 235 - 142. Suppose 0 = -2*r + u + 77. Is r a multiple of 2?
False
Suppose 308*v - 420701 = 220116 - 178817. Does 50 divide v?
True
Is 14002 - (-140)/8*-4*10/100 a multiple of 45?
True
Let x(g) = 2*g**3 + 8*g**2 + 22*g - 8. Let f be x(11). Suppose 504 - f = -10*a. Does 21 divide a?
True
Suppose -4*b - 5*z + 11 = -42, -3*b - 5*z + 41 = 0. Suppose -4*g - 4*h = -b, 5*g = 4*h + 9 - 3. Suppose g*o = 5*u - 455, u = 2*u - o - 94. Does 11 divide u?
False
Is (-1)/(4/(-4))*((3465 - -11) + -7) even?
False
Let d be -1*4*1/(-2). Let q be (7 + -4 + -2)/(d/(-86)). Let p = q + 114. Does 9 divide p?
False
Let i(d) = 11*d - 36. Let n be i(4). Suppose -17*s + n = -16*s. Suppose g - 189 = -s*g. Is 7 a factor of g?
True
Let j = 4233 + 6299. Is 184 a factor of j?
False
Suppose -35*o + 310 = -40. Let u(v) = -v**3 + 17*v**2 - 16*v - 15. Let w(m) = -m**3 + 16*m**2 - 15*m - 16. Let j(y) = 5*u(y) - 6*w(y). Is j(o) a multiple of 4?
False
Suppose 102 = -5*r + 2*n + 5618, -5*r = 3*n - 5501. Is r a multiple of 5?
False
Let t be 2/(-4)*-538 + 5. Let k = 394 - t. Does 13 divide k?
False
Let v be -3*10/(-3) + -6 + 4. Suppose 534 = 2*b + 2*i, -4*b - 9*i = -v*i - 1080. Is 20 a factor of b?
False
Suppose 2*m = -7*m - 72. Let l be m + 3 + 6 + 2/2. Suppose l*g - q = 154, 2*q + q - 396 = -5*g. Is g a multiple of 13?
True
Let j = -105 + 60. Let y = j + 42. Does 3 divide (-2)/4 - 76/(-8) - y?
True
Suppose 62*h = 7*h - 1747 - 4963. Let j(v) = 15*v**2 - v. Let z be j(4). Let f = h + z. Is 19 a factor of f?
True
Let a = -12 - -14. Suppose 2*d = -4*p + 936, -10*p + 8*p = -a*d - 468. Is p a multiple of 9?
True
Let l(b) = 16*b**2 + 30*b + 152. Let u(h) = -3*h**2 - 6*h - 30. Let m(v) = -2*l(v) - 11*u(v). Is m(-19) a multiple of 21?
True
Let c(n) = 80*n**2 - 2*n + 3. Suppose 5*i - 20 = -5*u, i + 4*u + 5 - 12 = 0. Does 22 divide c(i)?
False
Suppose -104*g + 232683 = 17*g. Is g a multiple of 2?
False
Let a be (-4 + 615/(-20))*(3 - -9). Let r = a + 725. Is 7 a factor of r?
True
Let l = 13055 + -12456. Is l a multiple of 2?
False
Is 92 a factor of 11 - 5 - (-1 + -9*1177 + 2)?
False
Let w = 47098 + -23956. Is w a multiple of 133?
True
Is 13 a factor of 917680/64 + (-1)/((-8)/(-6))?
False
Let b(d) = -497*d - 452. Let t be b(6). Let y = -2202 - t. Is y a multiple of 22?
True
Let p(r) = -75*r**2 + 9*r + 14. Let a be p(-7). Is 18 a factor of 2/9 - a/9?
True
Suppose 3*u = -3*k - u + 35, -3*k + 5*u + 71 = 0. Suppose -k*g + 15*g = -1408. Does 44 divide g?
True
Let b be (0 - 7 - -4)/(-1). Suppose 35 = 8*c - b*c. Suppose c*u - 2*u = 40. Is 8 a factor of u?
True
Suppose 0 = -3*h + g + 1018, 2*h - 7*g = -4*g + 667. Let u = 793 + h. Suppose -2*r + 11*r = u. Is r a multiple of 32?
False
Suppose -4567 - 224968 = -145*r. Is r a multiple of 13?
False
Let r(p) = -4*p**3 + 8*p**2 + 15*p + 22. Suppose -24*c - 70 = 74. Does 82 divide r(c)?
False
Let r = 3570 + -3002. Let y be 99/21 + 4/14. Suppose -r = -y*u - 4*t + 342, 0 = t. Is 16 a factor of u?
False
Suppose -6*p + 30 = -36. Suppose -4*h - 14*o + p*o = 98, -65 = 3*h - 2*o. Let l = 2 - h. Is 5 a factor of l?
True
Let m be 707*((-1)/7)/((-5)/35). S