 w be n(8). Let b = w - -280. Does 25 divide b?
False
Let l = -22061 + 61162. Does 35 divide l?
False
Let m(y) = 293*y - 144. Let a be m(7). Suppose a - 341 = 3*g. Does 29 divide g?
True
Suppose -531 = -5*y - 46. Suppose y = w - 94. Does 14 divide w?
False
Let z be (42/49)/((-2)/(-7)). Let o(l) = -10*l + z*l**3 - 2*l**3 + 13*l**2 + 0*l**3 - 2*l**3. Is 8 a factor of o(12)?
True
Let b(f) = f**2 - 17*f + 50. Let t be b(20). Let q be (-5)/(t/4) + (-65)/(-55). Does 7 divide (-1)/q + (-6 - -22) + -1?
True
Let k(g) = -312*g + 112. Does 3 divide k(-10)?
False
Let j = 16600 + -16525. Is 10 a factor of j?
False
Does 59 divide (-2015115)/(-345) + (-6)/207*-1*3?
True
Let k be ((-72)/10)/(3 - (-17127)/(-5710)). Is 10 a factor of k/(-228) - 6/57?
True
Suppose -2*c - 126002 = -34*c + 7502. Is c a multiple of 149?
True
Suppose -2*f - 5*c + 23 = 0, f + c - 2 = -2*f. Suppose 0 = 2*q - 0*q + 18. Is 17 a factor of f/q + (-9165)/(-135)?
True
Let k(c) = -c**3 + 21*c**2 - 18*c - 35. Let l be k(20). Suppose 3*n - q - 4050 = 0, -l*n + 6770 = 2*q + 3*q. Does 21 divide n?
False
Let j(k) = 2*k**3 - 11*k - 6. Let u be j(7). Suppose 6*d + u = 1983. Is 10 a factor of d?
True
Let d(s) = 46*s - 302. Let m be d(7). Suppose -m*t = -1903 - 437. Is t a multiple of 3?
True
Let v = 42 - 23. Let d(l) = -7*l + 0*l + 4*l + 9*l + v. Is d(5) a multiple of 34?
False
Let t = -28 - -28. Suppose t = -n - 3*h + 138, -5*h - 152 = 2*n - 424. Is 21 a factor of n?
True
Let n(x) = 119*x**2 - x. Let v be n(1). Suppose 388 - v = -6*k. Let c = k - -66. Is c a multiple of 7?
True
Is 26 a factor of ((-26)/(-8))/(2 + -3 + 42381/42364)?
False
Suppose 3*s + 61230 = 3*r, -3*s - 40817 = 8*r - 10*r. Does 149 divide r?
True
Suppose -2*s + 3 = 27. Let c be (s/24)/(2/(-116)). Let m = c - -7. Is m a multiple of 12?
True
Let i be ((-13)/(-3))/((-3)/(-18)). Suppose -609 = -i*w + 1263. Is w a multiple of 5?
False
Suppose 0 = 6*w - 173 + 77. Suppose 671 = w*p - 1441. Does 8 divide p?
False
Let z(k) be the first derivative of 12*k**2 - 86*k - 151. Is 11 a factor of z(10)?
True
Let f be (5 - 3) + (-3 - -3) + 0. Suppose 80 = f*z - z. Suppose 8*w + z = 408. Does 22 divide w?
False
Let x = -2126 - -2144. Suppose -2*q + 11 = n, -5*n + 7 = -4*n - 2*q. Suppose -x*o + 657 = -n*o. Is 4 a factor of o?
False
Let x be (5/(-40)*4)/((-2)/8). Suppose -r + 5*o + 3 = 0, -x*o - 2*o = -2*r + 6. Does 22 divide (-2 - -90) + 0/r?
True
Suppose 133*p = 100*p + 26928. Does 25 divide p?
False
Let z = 63 - -86. Let n = z + -17. Is 24 a factor of n?
False
Let o(m) = 37*m - 899. Does 47 divide o(84)?
True
Suppose -56 = 4*q + 76. Let m = q + 35. Suppose 5*g = n - 8, -m*n - 24 = -5*n - 2*g. Is 4 a factor of n?
True
Let g be (-1*(-1 - -2))/(5/(-1105)). Let q = g + -153. Does 17 divide q?
True
Let k = -39 + 41. Let u be 1/(-1) + (6 - k). Suppose u*r = -1 - 2, 3*z = r + 67. Does 17 divide z?
False
Let m(o) = -114*o + 145. Let j be m(-4). Suppose -3*q + j + 686 = 0. Is 33 a factor of q?
True
Suppose 18 = 4*h + 2. Suppose 4*y = 3*a - 837, -5*a = -h*a + 5*y - 279. Suppose -2*s + 413 = 3*v, -3*v = -v + 5*s - a. Is v a multiple of 23?
False
Suppose 3*p - 5 = -f + 7, -5*f = -3*p - 6. Suppose 5*y - 25 = f*b, 6*b + 24 = 2*y + 2*b. Suppose y*n + 4*d = 340, -4*d + 8*d - 850 = -5*n. Is n a multiple of 7?
False
Let m be 6/(-27) - (-2 + 4907/(-9)). Let d = -297 + m. Suppose 4*x = -x + d. Does 8 divide x?
False
Suppose j - p - p = 2, 3*j = p + 16. Suppose -j*r + 557 = 89. Is r a multiple of 9?
False
Let w be 22/12 + (-10)/540*-9. Suppose -w*g = 3*c - 582, 3*g + 3*c = 897 - 21. Does 55 divide g?
False
Suppose 0 = 56*f - 55*f - 2. Suppose p - 1638 = -f*p. Suppose -50*d + 44*d = -p. Is d a multiple of 13?
True
Let n be (3 - -3)/3 + 0. Let j be (-4)/34 + 682/17. Suppose -n = i - j. Is i a multiple of 34?
False
Let w(b) = 5*b**2 + 52*b + 419. Let j be w(-9). Suppose -345*p - 17930 = -j*p. Is p a multiple of 12?
False
Let k be 10/((-6)/(-6 - 36)). Suppose 60*v + 1310 = k*v. Does 68 divide v?
False
Let f be 7688/(-93)*9/(-2). Suppose 0 = 4*d - 4*i - f, 4*d - 3*i + 60 = 429. Is 10 a factor of d?
True
Suppose 73*v - 78*v + 65 = 0. Suppose -3*k - 64 = -v. Let z = 48 - k. Is 5 a factor of z?
True
Let x(m) = m**3 + 10*m**2 + 4*m - 20. Let p be x(-10). Is (-424)/(-5) - 12/p a multiple of 10?
False
Suppose 4*h = 47 + 37. Suppose -18*v = h*v - 2418. Is v a multiple of 16?
False
Let i(y) = 21*y**2 + 2*y - 4. Let g be i(-4). Suppose -32*o = -30*o - g. Suppose 3*c - o = -3*c. Does 17 divide c?
False
Is 5 + 9/((-72)/16) + 103 a multiple of 7?
False
Suppose -2*r + 5*j = 0, -3*r - 24 = r + 2*j. Let a = 8 + r. Suppose 202 = 5*c + 5*l - 18, 46 = c + a*l. Is c a multiple of 13?
False
Suppose -4*i + 20*i + 6773922 = 118*i. Is i a multiple of 47?
True
Let h = 430 - 422. Suppose h*y - 227 = 605. Is 4 a factor of y?
True
Let o(g) = -g**2 + 12*g + 17. Suppose 9*u - 4*u + 4*c + 28 = 0, 0 = -2*u + 4*c - 28. Let i = 21 + u. Is o(i) a multiple of 3?
False
Let d be -3 + 3 + -1 + 14. Suppose -28*p = 26 - 166. Let u = d + p. Is 9 a factor of u?
True
Suppose 4*m = -2*s + 54452, 6*s - 4*s = -5*m + 68065. Is 19 a factor of m?
False
Suppose 6*v - 26 = 142. Suppose -l - 175 = -4*z + v, 3*z = -5*l + 135. Does 5 divide z?
True
Does 8 divide 20798/4 - (26 + 742/(-28))?
True
Suppose 0 = 2*n + 3*o - 43363, -3*o - 108439 = 42*n - 47*n. Is 101 a factor of n?
False
Let w(d) be the third derivative of -d**4/24 + 2*d**3 - 89*d**2. Does 3 divide w(-6)?
True
Suppose -2*u = 5*d - 137, -u + 109 = 15*d - 11*d. Let x be ((-63)/d)/((-3)/(-9)). Let o = 12 + x. Does 4 divide o?
False
Let s(f) = 5*f**2 + 12*f + 7. Let g be s(-4). Suppose 0 = -161*n + 158*n + g. Is 13 a factor of n?
True
Let k = 107 - 127. Is (-3 - (-93)/6)*(-72)/k a multiple of 9?
True
Let i(z) = 2509*z - 13009. Is i(13) a multiple of 43?
True
Let z(t) = 2*t**2 + 12*t + 3. Let u be z(-6). Is -195*(u - (1 - -1))/(-1) a multiple of 24?
False
Let d = -26 - 86. Let y = d + 114. Let o(u) = 50*u**2 + 2*u - 6. Does 14 divide o(y)?
False
Is -12 + (-57)/19 + 16551 a multiple of 63?
False
Let v = -4153 - -4162. Let m(h) be the second derivative of 7*h**3/6 + 5*h**2 + h. Is m(v) a multiple of 7?
False
Suppose -2*t + 2082 = -3582. Does 12 divide t?
True
Suppose 108 = 9*k - 3*k. Suppose -k*y = -22*y. Does 3 divide ((-6)/(-9))/(y - 5/(-90))?
True
Suppose 3*y + 5*l - 39 = 0, -4 = 2*y + 2*l - 34. Let u be 0/((4 - 2)*1). Suppose u = -j + y + 32. Is 25 a factor of j?
True
Let v = -9409 + 27291. Is 246 a factor of v?
False
Suppose 6*t - 3*o + 34 = 2*t, 30 = -4*t + o. Let s = t + 8. Is 6 a factor of -18*(-2)/(-12)*(s + -9)?
True
Let o = 8157 - 5098. Is o a multiple of 17?
False
Suppose 2*d - 3 - 3 = 0, 4*u + 5*d = 31. Suppose -3*x + 1 + 1 = u*i, 2 = -4*i - 5*x. Suppose i*j + 3*j = 65. Is 3 a factor of j?
False
Suppose -69*q = 91*q - 1605266 + 45906. Is q a multiple of 11?
True
Let t(s) = -11*s - 3. Let o be t(-13). Suppose -5*n - 4*v - 274 = 0, -4*n - v - o - 77 = 0. Let m = n - -64. Does 5 divide m?
True
Let h = 36 - 20. Suppose -21*f = -h*f - 275. Suppose 19 = -x + f. Does 6 divide x?
True
Suppose 0 = 5*h - 13967 - 1373. Let o = h + -1817. Suppose 432 = -7*z + o. Does 28 divide z?
False
Suppose -4*x + 81 = -d, -9*x - 3*d - 43 = -11*x. Suppose -x*k + 21*k - 330 = 0. Does 10 divide k?
True
Is 59 a factor of (2 - (1 - 2))*(2185 + -67)?
False
Suppose -387 = -19*h + 12. Let v(g) = 4*g**2 + 2*g - 3. Let d be v(2). Let q = h + d. Is q a multiple of 19?
True
Let v be 1/(-5) - (5/(-25) + -4). Suppose 8*b - v*b - 224 = 0. Does 8 divide b?
True
Let k = 3151 + -1897. Is k a multiple of 24?
False
Suppose 156151 = 41*h - 34745. Does 48 divide h?
True
Suppose 0*v + 312 = 6*v. Let b = v + -16. Suppose -b*p = -32*p - 468. Is p a multiple of 39?
True
Let n be 1*(-12)/9*(-2853 - 3). Suppose 11*t - 7*t - n = 0. Suppose 0*c = 7*c - t. Is 34 a factor of c?
True
Let u(t) = -t**2 + 6*t + 59. Let s be u(11). Is 1 + s + -3 - -258 a multiple of 10?
True
Let w(b) = 2*b**2 - 51*b - 254. Suppose -5*t = -224 + 29. Is 6 a factor of w(t)?
False
Let v(d) = -2 + 0*d - 12 + 51*d + 1. Is 4 a factor of v(3)?
True
Is 61 a factor of 937692/(-140)*(-50)/15?
True
Let j(b) be the first derivative of 131*b**2/2 - 146*b - 26. Does 34 divide j(3)?
False
Let q be 105*(8/2)/4. Let v(m) = -10 + 2*m + 2 + q*m**2 + 10.