uppose 4*y = 890 + 898. Let t = y - 226. Suppose 0 = -7*q + t + 115. Is q a multiple of 16?
True
Suppose 17*n - 21*n - 60 = 0. Let a(p) = p**3 + 14*p**2 - 16*p - 13. Let x be a(n). Suppose -3*y + 3 = 0, -4*w + x*y = -y - 373. Is w a multiple of 47?
True
Suppose -7*w + 6256 - 649 = 0. Suppose w = 4*l - 323. Is 34 a factor of l?
False
Is 84 a factor of (-134580)/(-60) - (1 - -4)?
False
Suppose 6*m - 47 = 13. Suppose m*r = -6*r. Suppose -5*t + d + r*d + 885 = 0, -10 = 2*d. Is t a multiple of 22?
True
Is 58 a factor of 77/2*(-17 - 27900/(-140))?
True
Suppose -220*k + 1570317 = -109*k. Does 43 divide k?
True
Let h(i) = 3*i + 9. Let o be h(-4). Let a be (4/12)/(o/171). Is 4/(-14) - 83/7*a a multiple of 34?
False
Suppose 2*c + 3*v - 1764 = 0, 0 = 4*c + 17*v - 13*v - 3528. Let l = -587 + c. Does 8 divide l?
False
Is (-108)/36*((-3604)/(-6))/(-2) a multiple of 2?
False
Suppose 5*t + 26763 - 3611 = i, 46349 = 2*i - t. Is 60 a factor of i?
False
Suppose -7*r + 436584 + 170316 = 21*r. Is r a multiple of 18?
False
Let y = 29 - -21. Let x(a) = 109*a + 75. Let h be x(-1). Let u = h + y. Does 3 divide u?
False
Is 9 a factor of (-40 + 4)/((-27)/7641)?
True
Let t = 0 - -3. Suppose 5*o - 495 - 177 = -t*b, 3*b - 276 = -2*o. Suppose 3*z = z + o. Does 9 divide z?
False
Let u be (-1298)/(-14) - 16/(-56). Suppose u = -4*i - 27. Does 8 divide ((-50)/(-15))/((-4)/i) + -1?
True
Let v = -28235 - -37253. Is v a multiple of 44?
False
Is 44 a factor of (256/(-28))/(9/(-609))*3?
False
Does 11 divide 1/(((-2202)/312)/((-120)/(-68)) + 4)?
False
Let v = -84 + 46. Let x = v - -67. Let a = x - -7. Does 9 divide a?
True
Let s(u) = 92*u - 29. Let i be s(2). Let t = i - -229. Is 16 a factor of t?
True
Let o = -57 - -60. Suppose 5*l + o*x = 1363, -5*x - 12 = -2*x. Is 11 a factor of l?
True
Suppose -g + 14 = 4*r, -g = -2*g - r + 5. Let u = 68 + g. Suppose -20 + u = 5*n. Is 2 a factor of n?
True
Let n = 232 - 231. Is n*3 - -4*1395/60 a multiple of 8?
True
Let u(y) = 9*y**2 - 8*y - 9. Let f be u(-5). Suppose f = 5*w - 984. Is 62 a factor of w?
True
Let y(w) be the third derivative of w**5/4 - w**4/24 - 3*w**3/2 - 27*w**2. Is 7 a factor of y(6)?
True
Let a(s) = -2*s**3 - 3*s**2 + 29*s + 12. Let t(g) = g**2 + 24*g + 87. Let k be t(-19). Is a(k) a multiple of 71?
False
Suppose y - 5*d + 43 = 0, 2*d = -y - 3*d - 63. Suppose -20*b + 378 = 4*c - 22*b, 5*c + 2*b - 441 = 0. Let w = c + y. Is w a multiple of 5?
False
Let b = 123638 + -63833. Does 168 divide b?
False
Let x = 38 + -111. Suppose 0 = -130*h + 131*h - 2*q + 10, -3*h - 4*q = 40. Let g = h - x. Is g a multiple of 6?
False
Let g(f) = -f**2 + 30*f - 3. Let j be 1/(30/65*(-1)/(-6)). Is 8 a factor of g(j)?
False
Let t = -1082 + 1082. Let m be 3/(2/(-8) - -1). Suppose t = g + m*g - 380. Does 16 divide g?
False
Suppose 4*d + 134 = c, 0 = -2*c + 6*c - 4*d - 500. Let m = -187 + c. Let y = 263 + m. Does 33 divide y?
True
Let f = 52269 + -27949. Is f a multiple of 16?
True
Let b = 110 + -101. Suppose 2*z = b*z + 7. Is z + 0 + 1 - (-3 + 0) a multiple of 3?
True
Let y be -8*(-2)/16*18. Let c(b) = 3*b**2 - 73*b + 51. Let x(n) = -n**2 + 24*n - 17. Let o(d) = 2*c(d) + 7*x(d). Is o(y) a multiple of 22?
False
Let m(r) = r**2 + 5*r - 10. Let l be m(-7). Suppose -2*a - 27 = -3*j + 47, 5*a + 199 = l*j. Let y = a - -71. Does 14 divide y?
True
Suppose -144*c + 293619 + 155661 = 0. Does 10 divide c?
True
Let w(v) = -4 + 20 + 21*v + 11*v - 34*v. Is w(0) a multiple of 16?
True
Let h(j) = -26*j**3 - j**2 + 36*j + 149. Is 21 a factor of h(-5)?
False
Let z(r) = 1025*r + 10. Let m be z(2). Suppose -3*t + h = -m, h + h - 689 = -t. Does 52 divide t?
False
Suppose -573*t + 576*t = -90. Does 21 divide 6/t + 1116/5?
False
Suppose 0 = o - 2*u - 50, -29*u - 5 = -28*u. Suppose -30*n = -o*n + 340. Is 10 a factor of n?
False
Suppose -4*m = -2*o - 35036, -m + 2705 = 3*o - 6026. Does 17 divide m?
True
Let p(i) = 23 + 20 + 48*i - 97 - 107. Is 4 a factor of p(5)?
False
Suppose -12 = -4*l + 5*x + 11, -l - 13 = 5*x. Let d be (8 + -7)*(-3 + l). Does 2 divide 56/((-20)/(-5)) - d?
False
Suppose -5*c + 5*j + 153 + 47 = 0, -j + 32 = c. Let z(n) = -5*n + 362. Does 13 divide z(c)?
True
Let k(y) = y - 5. Suppose -4*f - 4*j + 42 = j, 8 = 2*f - 4*j. Let b be k(f). Suppose 0 = -s + 3, -5*n - b*s = -205 + 56. Is n a multiple of 20?
False
Suppose -11509*z + 72896 = -11475*z. Does 5 divide z?
False
Is 43 a factor of -129*(151272/54)/(-22)?
True
Suppose 19*r - 35 = 3. Suppose -2*c - 198 = -2*k, -3*k - 4*c = -r*c - 302. Is k a multiple of 8?
False
Suppose m + 3 = -o - 12, -4*m + o = 60. Is (-1 - -61)*(-72)/m a multiple of 18?
True
Suppose 272498 - 912124 = -73*z. Is z a multiple of 26?
True
Let k = -177 + 258. Let d = k - 76. Suppose -3*i - 5*j = -4*i + 118, -4*j = d*i - 532. Is i a multiple of 18?
True
Let z(l) = -689*l**3 - l**2 - 12*l - 18. Is 66 a factor of z(-3)?
True
Let o(p) = -p**2 + 7*p + 7. Suppose 5*w - 19 = 16. Let l be o(w). Suppose 620 = 5*y + 4*t, 2*t = 5*y + l*t - 625. Does 10 divide y?
True
Let k be (12 - (-27573)/65) + 4/5. Suppose -5*p + 25 = -0*p. Suppose 2*d - 321 = -p*o - 48, -3*d = 2*o - k. Does 11 divide d?
False
Let k be (-356)/(-6) + 74/111. Suppose 3*s = -5*o + 179, k = 5*s - o - 257. Does 3 divide s?
True
Let f = 13023 - 4946. Is f a multiple of 124?
False
Let o(s) = -10*s**2 + 5*s - 15. Let i(d) = -d**2 + d - 1. Let t(j) = 22*i(j) - 2*o(j). Let q be t(7). Let w(x) = x**3 + 6*x**2 - 12*x + 2. Does 37 divide w(q)?
True
Suppose 2*v - 10039 = 4*j + 489, -4*j - 24 = 0. Is v a multiple of 101?
True
Suppose 5*k - 24401 + 111269 = n, 0 = 4*n - 25*k - 347517. Is 99 a factor of n?
True
Suppose -2*s = 3*g - 49824, -1023*s + 1018*s = -4*g + 66409. Is g a multiple of 46?
True
Let m(s) = s**2 + s - 9. Let u be m(3). Suppose 24 = -x - y + 130, u*y = 4*x - 459. Is 24 a factor of x/(-48)*-114 - 12/(-32)?
True
Let w be (22/(-10))/((-6)/(-15))*2. Let k = w + 11. Suppose y - 34 = 5*x, k*y + 62 = 3*y + 5*x. Does 6 divide y?
True
Let a(f) = 2*f**2 + 10*f + 6. Let i be a(-5). Let o be (-105)/2*i/(-5). Let y = o - 29. Does 9 divide y?
False
Let a(v) be the second derivative of -v**4/12 - v**3/6 + 2*v**2 - 45*v. Let l be a(-3). Is 3 a factor of l/(-10)*2 - (-396)/10?
False
Let s = 3572 - 306. Let x(v) = -9*v + 10*v**2 + 3276 - s - v**2 - v**3. Is x(5) a multiple of 13?
True
Let w be (-716)/17 - (-2)/17. Let c = w + 86. Is 4 a factor of c?
True
Let u(r) = r**3 + 6*r**2 - 9*r + 2. Suppose 0 = 4*s + 12 + 8. Let p be u(s). Suppose -t + 61 + p = 0. Is 19 a factor of t?
True
Does 11 divide 4/18 - 20678357/(-1449)?
False
Let q(t) = -t**3 - 21*t**2 + 18*t - 11. Is q(-22) a multiple of 3?
False
Suppose 1 = -5*r - 4, 0 = 4*z + 3*r - 9. Suppose t = 4*n - 137, 0*t = z*n + t - 101. Is n a multiple of 34?
True
Suppose 4*b - 22167 = -5*i, 2*i - 6849 = -2*b + 4233. Is 100 a factor of b?
False
Does 19 divide (2/(-4) + -1)/(-4 + (-287272)/(-71824))?
False
Does 15 divide 8 - -2351 - 42/(-6)?
False
Suppose 642 = 3*h + 3*n, -h + 3*n + 106 = -88. Is 3 a factor of h?
False
Suppose -o - 3*l + 358 + 109 = 0, 3*l = -4*o + 1913. Let i = o - 290. Suppose 2*r + 4*z - 58 = i, r - 115 = -4*z. Does 20 divide r?
False
Let q(p) = 102*p - 8. Suppose 30 = 3*j + 24. Let k be q(j). Suppose 256 = -6*x + 11*x + f, 3*f = -4*x + k. Is 13 a factor of x?
True
Suppose -2*v + 5*a = -11805, 2893 = 4*v + a - 20772. Does 7 divide v?
True
Suppose -277*r + 104404 = -274*r + 4*c, 8*r + c - 278488 = 0. Is 19 a factor of r?
False
Does 113 divide (4830/40)/21*424?
False
Is (0 + 4 - 6) + (-2 - 5) + 129 a multiple of 24?
True
Suppose -3*k = -3, -2*k - 430 - 54 = 3*s. Is 843/7 - (s/42)/(-9) a multiple of 10?
True
Let l = -176 - -96. Let d be 7137/(-30) + 4/(-40). Does 19 divide d/(-4) + -1 - (-120)/l?
True
Let x = 7 - 9. Let v be 10 - (1 + (-3 - x)). Let i(d) = 5*d - 33. Is i(v) a multiple of 2?
False
Let y be -376*(-4 - (-35)/10). Let l = -174 + y. Is 12 a factor of l?
False
Is (10 - 8)*((-6)/4)/(15/(-47965)) a multiple of 16?
False
Is 7/4 + 292649/388 even?
True
Let j(l) = -290*l**2 + 2*l. Let n be j(-2). Suppose 89 + 571 = -11*z. Does 10 divide n/z - 6/(-10)?
True
Let a = 265 + -126. Let d = a - 198. Let g = 104 + d. Does 9 divide g?
True
Let x = 291 + -288. Suppose -g = 6*k - 444, x*g - 1268 = -0*g - 2*k. Does 28 divide g?
True
Let c be (-