= 0, -3*s + 3*l = 1416. Let q = s - -325. Let w = 281 + q. Does 51 divide w?
False
Let s(g) = -23*g - 3. Suppose -7 = 6*n + 23. Does 28 divide s(n)?
True
Suppose -2*q + 42 = 4*t, 3*q = -0*q + 3*t + 81. Let k = q + -21. Suppose 2*x = -x + 2*w + 228, x - 76 = -k*w. Does 19 divide x?
True
Let k(o) = 0 - 3 - 5*o + o**3 - o - 8*o**2 - 14. Let x be 3 + -6 + 5 - -7. Is k(x) a multiple of 4?
False
Does 7 divide 1606101/56 + -1 + 48/(-128)?
True
Let l be (-8 + 12)/((-90)/(-86) - 1). Suppose -2*b - l = -96. Suppose -3*p - 5*n + 501 = -0*p, -813 = -b*p - n. Does 29 divide p?
False
Suppose 25 = 9*i - 4*i, 0 = -5*k - 4*i + 2085. Does 9 divide k?
False
Suppose -39*a + 22595 = 5*k - 34*a, 18055 = 4*k + a. Does 47 divide k?
True
Suppose 5*u - 30 = 8*u. Let c be (u/(-5))/(0 + -1)*-2. Suppose k = -c*s + 625, 2*s - 257 = 5*k + 50. Does 26 divide s?
True
Let q = 11483 - 9761. Is q a multiple of 9?
False
Let w(y) = 2*y**2 - 29*y - 328. Is 14 a factor of w(-10)?
False
Let j = 11030 - -2140. Is j a multiple of 15?
True
Suppose v - 81 = -b, -3*b + 429 = 2*b - 3*v. Let q = b + 1066. Does 46 divide q?
True
Let j be (49/14)/((-2)/(-4)). Is 7 a factor of j + -5 + 301 - 5?
False
Let m be (-4)/6*(-666)/(-4). Let r = m + 116. Suppose -8*a - r*a = -2405. Is 37 a factor of a?
True
Let f = -23710 - -26110. Is f a multiple of 200?
True
Let y = 48053 - 28918. Does 16 divide y?
False
Is (7 - -1872) + (-12 - -9) a multiple of 14?
True
Let b(q) = 21*q - 81. Let f(a) = 5*a + 98. Let g be f(-18). Does 29 divide b(g)?
True
Let f be (-1)/((-42)/28*4/(-6)). Let m(q) = -26*q**3 - 2*q**2 - 2*q + 1. Let p be m(f). Suppose 3*s + n = 3*n + 69, -s + 2*n = -p. Is s even?
False
Let d = 235 - -93. Suppose -d = -9*t + 3317. Is t a multiple of 45?
True
Let k be 6/(-4 + 24/4). Suppose s + 5*y = -14, -k*s + 23 = -y + 1. Is 2 a factor of 1*s/(-4)*-8?
True
Let v be (-15 + 17)/((8/(-6))/(-4)). Let f be (-7)/((v/(-99))/((-10)/15)). Let q = -40 - f. Is q a multiple of 6?
False
Let u(t) = 1486*t - 3419. Is u(7) a multiple of 41?
False
Suppose -13*y + 11*y = -4. Let j(i) = -3*i + 5 + 180*i**3 + 2*i**2 - 177*i**3 - y*i. Is j(2) a multiple of 9?
True
Let r(n) = 11196*n**2 + 9*n - 28. Is 122 a factor of r(2)?
True
Let c(a) be the first derivative of a**3/3 + 13*a**2 + 84*a - 12. Is 2 a factor of c(-24)?
True
Let n = 56 - 75. Does 29 divide (248 - (-1 - -2)) + n + 17?
False
Suppose -6*b + 13 = -5. Is 2 a factor of ((-10)/(-4) - b)*74/(-1)?
False
Let m(n) be the first derivative of n**4/2 + 11*n**3 - 3*n**2/2 + 8*n + 2284. Let x = -26 - -10. Is 52 a factor of m(x)?
True
Let m = 71 - 43. Suppose -13 - 7 = 5*k - 5*s, -s = -2*k - 7. Is 3 a factor of (1 + k)*m/(-4)?
False
Let g = -28330 - -44530. Is g a multiple of 20?
True
Suppose -x = 4*l - 488, -l - 931 = -4*x + 2*x. Does 58 divide x?
False
Suppose 5*a - 76 = 4*i, -3*i - 52 = -4*a - 2*i. Suppose u = -2*u - a, -5*u - 62 = -h. Is 2 a factor of h?
True
Let y(h) = 172*h**2 - 9*h - 205. Is y(-8) a multiple of 75?
True
Suppose -2*l - 13 = -25. Suppose l = -11*y + 28. Does 23 divide 5 + 5 + (15 - y)?
True
Does 4 divide (-110)/(-165) + 23572/12?
False
Let l(b) be the first derivative of -b**4/4 + 5*b**3/3 - b**2 + 13*b + 68. Does 2 divide l(4)?
False
Suppose 0 = -5*l - 3*q + 18358, l = 17*q - 14*q + 3650. Is 14 a factor of l?
True
Is 69 a factor of (4 + 2 - 15) + 12 - -8883?
False
Suppose 4*a = -3*g + 8121 + 27162, -2*a = -g - 17639. Is 28 a factor of a?
True
Suppose 7*d + 1617 = 14*d. Suppose q = -4*g + 3*g - d, 1 = g. Let l = -112 - q. Is 19 a factor of l?
False
Let o be 9/45 + (-24)/(-5). Suppose 11*w - 781 - 3113 = 0. Suppose -o*v + w = v. Is 15 a factor of v?
False
Is (-9986)/(1 + (-12 - (-4 + -5))) a multiple of 14?
False
Suppose u - 21 + 19 = 0. Let f(q) be the third derivative of q**4/3 + q**3/2 + 24*q**2. Does 2 divide f(u)?
False
Suppose -3*w - f + 128 = 0, -5*w + 2*f + 172 = -34. Suppose 15 + 0 = 5*g. Suppose 96 + w = g*n. Is 17 a factor of n?
False
Suppose 27*h - 5854 = 3704. Is 59 a factor of h?
True
Let i(y) = 2*y**2 - 9*y + 11. Let o be i(3). Suppose 0 = -r - 3*r - o*d + 898, r - d = 226. Is 9 a factor of r?
True
Let w(q) be the third derivative of -3*q**4/8 + 14*q**3/3 + 36*q**2. Does 17 divide w(-8)?
False
Let m(k) = 93*k - 23. Let n be m(22). Suppose -7*y + n + 1001 = 0. Is y a multiple of 12?
True
Let v be -1 + 2 + -4 + -251. Let f = -133 - v. Suppose f = 5*k + 36. Does 9 divide k?
False
Let d(p) = -6308*p - 2100. Is d(-5) a multiple of 32?
True
Let u(f) = 326*f + 3780. Does 238 divide u(49)?
True
Suppose -10283 - 110222 = -25*m + 8645. Is m a multiple of 14?
True
Let w = 25788 - 13503. Is w a multiple of 13?
True
Let x = 22 + -20. Let r(q) = -3*q - 30. Let w be r(-9). Does 4 divide x - -8 - (-6)/w?
True
Let r(a) = a**3 - a - 6. Let s be r(6). Let y be s/(-16) - (-2)/(-8). Let i = 92 + y. Does 12 divide i?
False
Let q = -6129 - -6345. Does 27 divide q?
True
Let i(t) = 46*t - 77. Let p = -204 - -207. Is i(p) a multiple of 4?
False
Suppose 1 = -2*o - 3*i, -22*o - 2 = -26*o - 2*i. Is 13 a factor of (o - 65/25)*-195?
True
Let m(n) = -n**2 - n + 1. Suppose 3*x = -3, -3 = -b + 3*x - 5. Let h(d) = -d**3 - 6*d**2 + 5*d - 14. Let a(w) = b*m(w) - h(w). Does 7 divide a(-10)?
False
Suppose 6 = -3*w, -3*u - 280*w = -277*w - 21639. Is u a multiple of 8?
False
Suppose -3*d + 69666 = -3*z, d - 23220 = 732*z - 729*z. Is 23 a factor of d?
False
Suppose a - q = -2*q + 23, -3*q + 9 = 0. Suppose 0 = 2*r - 3*u + a, u + 12 = -2*r + 2*u. Is 2*1390/36 - r/(-18) a multiple of 16?
False
Let o be (2 - -13)/(12/(-100)). Is (5 - o/(-20))*(-44)/1 a multiple of 11?
True
Suppose 50*d - 33824 = -6*d. Is 8 a factor of d?
False
Let h(m) = 3*m**2 - 127*m + 9939. Is 51 a factor of h(52)?
False
Suppose 343589 = 46*k + 30053. Does 24 divide k?
True
Let s = 61 - 56. Suppose 5*f + 10 = 0, -87 = -s*a - 3*f + 667. Let u = 275 - a. Is 27 a factor of u?
False
Suppose -5*h + 2*j + 761 = -2*h, -4*h - 5*j + 1053 = 0. Let d = h + -99. Is 15 a factor of d?
False
Let s be 0/157 - (-3 - (0 - -1)). Let h = s + 170. Does 58 divide h?
True
Let b(o) = 639*o**2 - 33*o + 93. Does 23 divide b(4)?
False
Does 99 divide (-20)/(-45) + 82859/9?
True
Let s = -5 - -11. Suppose -4*g + 25 = -3. Let n = g + s. Is 13 a factor of n?
True
Let h be 4 + 4 + -6 + 0 + 3. Suppose -h*y - 5408 = -9*y. Is 30 a factor of y/6 + -3*6/(-27)?
False
Is 10 a factor of 21/((-294)/(-238)) + 263?
True
Let o(c) = -c**3 - 19*c**2 - 171*c + 29. Does 11 divide o(-12)?
False
Let y be 8/64*-10 + 6/(-8). Is 33*9/((-9)/y) even?
True
Suppose -10*a = 40*a - 138850. Is 62 a factor of a?
False
Let d(w) = w**3 - 11*w**2 + 35*w - 11. Let a be d(13). Let c = a + -506. Suppose -5*o + c = -o. Is 9 a factor of o?
False
Suppose w - 4*p = -2*w - 307, -4*p - 8 = 0. Is 8 a factor of (46/(-10))/(7/w)?
False
Suppose 0 = 3*a + 5*y + 8 - 13, 5*y = 2*a - 20. Suppose a*z = 10, -2*x = x + 5*z - 934. Is x a multiple of 44?
True
Suppose 2*b + 303 = -143. Let p = -126 - b. Suppose -v + 50 + p = l, 0 = 4*l + 20. Is v a multiple of 31?
False
Let g(d) be the second derivative of -d**5/20 + 4*d**4/3 - 11*d**3/3 - 3*d**2/2 + 2*d + 39. Does 13 divide g(10)?
True
Let c(l) = 10*l**2 - 2*l + 1. Let y be c(1). Suppose 0 = 4*t - y + 5. Does 15 divide 54/t*15/6 - 0?
True
Let n(d) = -4*d**3 - 25*d**2 - 7*d - 8. Let j be n(-6). Is 14 a factor of -13*2/j*125?
False
Let w be (-2 - 0) + 7/(28/(-52)). Suppose 0 = z - 5*a + 247, 0*z + 4*z + 988 = -4*a. Is 15 a factor of 5/w*(z + 1)?
False
Suppose -71*l - 95*l + 68479 = -254889. Is 3 a factor of l?
False
Suppose 0 = h + 6*h - h. Suppose h = n - 182 + 56. Is 21 a factor of n?
True
Let c(y) = -y**3 + 5*y**2 + 15*y - 5. Let q be c(7). Suppose -3*n + 2*r = -q*r - 64, 4*r = -4. Is n a multiple of 2?
True
Suppose -28787 = -3*l - 4307. Suppose x - l = -7*x. Suppose 4*i - 9*i = -x. Is i a multiple of 34?
True
Let x(l) = -84*l - 1311. Is x(-59) a multiple of 9?
True
Let z = -3713 + 3825. Does 7 divide z?
True
Let v be (-2)/(-5 + 2 - (-19)/7). Suppose o = -2 + v. Suppose o*r + 3*b = 7 + 118, 0 = -2*b - 10. Is 14 a factor of r?
True
Let a(z) = 70*z**2 - 40*z + 70. Is 30 a factor of a(5)?
True
Suppose -3*x + 17422 = -4*l, -10*x + 3*l - 5816 = -11*x. Is 16 a factor of x?
False
Is 2851004/3521*7/2 a multiple of 13?
True
Is 18390 + 4 + (-494)/26 a mul