-118. Suppose j*v + v = -5*x + 24, -3*x = 5*v - 24. Is ((-30)/v)/5*-31 a multiple of 9?
False
Let r = 210 + -195. Let c = 4 + r. Is 3 a factor of c?
False
Suppose 14 + 28 = h. Let s = -33 + h. Let f(j) = j**2 + 5*j - 5. Is f(s) a multiple of 17?
False
Let u(m) = -14*m + 16. Is 4 a factor of u(-14)?
True
Let g(r) = -r**3 - 10*r**2 - 17*r - 17. Let o be g(-22). Is 28 a factor of ((-6)/(-8) - 1) + o/20?
True
Let z be (-68)/(1 - 5)*-3. Let a(q) = -q**3 + 17*q**2 + 8*q - 37. Let r be a(17). Let l = r + z. Is 12 a factor of l?
True
Let t be -4 - ((-10)/(-50) - 152/10). Suppose -t*v + 142 = -2146. Is 26 a factor of v?
True
Is 10427 - (2 - -8)/(12/(-6)) a multiple of 166?
False
Let v = -33583 + 66514. Is 44 a factor of v?
False
Let j be (-18)/27*-12*(-2)/(-4). Suppose 17 - 141 = -j*z. Suppose -3*l = -5*a - 104, 2*l - 55 = -5*a + z. Is l a multiple of 19?
True
Let t be ((-3)/(-2))/((-9)/84). Let l be 133/t*(1 - 19). Let h = l - 116. Is 13 a factor of h?
False
Let m(j) = -4*j - 9. Let q(v) = v**3 - 3*v**2 - 6*v + 2. Let o be q(5). Suppose o = -4*i - 62. Is 16 a factor of m(i)?
False
Let p(k) = k**3 - 5*k**2 + 5*k - 6. Let r be p(4). Let d be ((r/4)/1)/((-3)/48). Is 226/(8/(d/2)) a multiple of 27?
False
Let q = 2 + 1. Let k = -86 + 88. Suppose -v + k*a = -q*v + 396, 3*v + 5*a = 590. Is 20 a factor of v?
True
Let y = -82 - -120. Let h be (-1 - y)*3/(-1). Is h + 16/4 + 4 a multiple of 41?
False
Suppose -211*n - 1193201 + 4390406 = -851463. Does 36 divide n?
True
Let r(t) = -t**2 - 10*t + 30. Let h be r(-12). Suppose -10*f - h*f = -1696. Is f a multiple of 27?
False
Suppose -25*z = 53 + 72. Does 37 divide -5 + (491 - 3) - z?
False
Let n(g) = 18529*g**2 + 15*g + 17. Is n(-1) a multiple of 29?
True
Suppose -4*t - 49996 = -5*b, -4*b - 16*t = b - 50116. Is b a multiple of 164?
True
Suppose -5*l = 5*l - 30. Suppose 0 = -0*s + 5*s + 5*n - 2310, -l*s + 4*n + 1386 = 0. Does 42 divide s?
True
Does 54 divide 0 - (-750266)/77 - 8/(-28)?
False
Let h = 223 - 221. Let i be ((-72)/(-27))/((-4)/(-342)). Suppose -h*j + i = j. Does 9 divide j?
False
Does 64 divide (-96)/(-16 - 0) + 4986?
True
Does 8 divide -36*(7 - 1232/8 - 3*-3)?
True
Let l be 1 + 3 - (3 + 17). Let n = -14 - l. Suppose k + 3*w = 18, k + 4*w + 18 = n*k. Is k a multiple of 18?
True
Let x(h) = 13*h**3 - 9*h**2 - 3*h - 3. Let p be x(5). Suppose 4*m - 1134 - p = 0. Suppose -6*b + 199 = -m. Is b a multiple of 14?
False
Is 133 a factor of (38/14)/(167/188209)?
True
Let y(n) = 18*n + 184. Let c be y(-10). Suppose -r + 300 = c*r. Does 4 divide r?
True
Let a be (-2556)/10*11/((-154)/105). Suppose -2*u = 5*l - a, 2*u - 226 = 3*l - 1373. Is l a multiple of 13?
False
Let h(a) = a**3 - 6*a**2 - 8*a + 9. Let w be h(6). Let p = w - -41. Suppose -n + 129 = -2*o, -3*n = p*n - 4*o - 645. Is 29 a factor of n?
False
Let i = 112023 + -46279. Does 28 divide i?
True
Let q(n) = -978*n + 136. Is q(-5) a multiple of 20?
False
Let p be (-3)/(-18)*3*6. Suppose -p*o + 204 = 2*f - 590, 4*f = 5*o + 1544. Does 17 divide f?
True
Let j = 6452 + -2738. Is j a multiple of 5?
False
Let t = 20281 - 7288. Is 71 a factor of t?
True
Suppose 4*k - 12 = k - 3*q, 5*k - 3*q + 12 = 0. Suppose 2*f = -0*d - 4*d + 550, -2*d - 3*f + 281 = k. Is d a multiple of 7?
False
Is (8 - (-520)/(-30))*-3*60 a multiple of 84?
True
Suppose -79 = -18*i + 83. Suppose 3*n = 2*w + 1622, 4*n + 2703 = i*n - 3*w. Does 36 divide n?
True
Let f(v) be the third derivative of 11*v**7/280 + 4*v**5/15 + 16*v**2. Let i(j) be the third derivative of f(j). Is i(1) a multiple of 28?
False
Let s(m) = 31*m - 26*m - 5*m**2 - 9 + 6*m**2. Let c be s(-9). Suppose -8*h = h - c. Is h even?
False
Does 34 divide 7919 + (316/20 - 14)*(-10)/(-6)?
True
Suppose 4*s = 4*l + 25580 + 15916, -2*l + 10356 = s. Does 18 divide s?
True
Let q = -1113 - -1978. Suppose 6*t - 1397 - q = 0. Does 25 divide t?
False
Let x(z) be the third derivative of z**6/90 + z**5/12 + 7*z**4/24 + 5*z**3/2 + 3*z**2. Let w(g) be the first derivative of x(g). Is 13 a factor of w(-7)?
False
Suppose -82*z - 68*z + 204*z - 619164 = 0. Is z a multiple of 13?
True
Suppose 24 = -l - 15. Let i = l - -87. Does 12 divide i?
True
Suppose 9 = -4*b + 3*d, 2*b - b + 12 = 4*d. Suppose k + 2*x - 197 = 0, b = -3*k + 3*x + 292 + 263. Let g = k + -64. Is g a multiple of 8?
False
Suppose -2608*u = -2668*u + 49200. Is u a multiple of 21?
False
Let f = 13398 - 7816. Does 30 divide f?
False
Let l be 23 + 2 + 3 - 2. Suppose -l*p + 24*p = -552. Let a = p + -183. Is a a multiple of 27?
False
Let v(d) = -1702*d + 2431. Is 21 a factor of v(0)?
False
Suppose 0 = -3*p - 4*s, -s = -p + 4*s. Let n(m) = m**3 - m + 4. Let o be n(p). Suppose -u - 2*v = -3*u + 582, 5*u = -o*v + 1446. Is u a multiple of 10?
True
Let m = -203 + 209. Is 2805/m - (-42)/(-28) a multiple of 10?
False
Let v(y) = 18*y**2 + 38*y - 1092. Does 41 divide v(17)?
True
Let w(o) = -9*o**3 + 3*o**2 - 14*o + 59. Let q be w(4). Let f = -275 - q. Is f a multiple of 6?
False
Let m = -408 + 570. Is 8 a factor of m?
False
Let c(z) = 20*z - 88. Let b be c(3). Let l = 635 - b. Does 79 divide l?
False
Suppose 76980*h - 852680 = 76960*h. Does 12 divide h?
False
Let w(r) = -3*r + 52. Suppose 17 = t + 5*z, -2*t - 2*z = 2*t - 50. Is w(t) even?
True
Let w(s) be the third derivative of -9*s**6/40 - s**5/60 + s**4/8 - 5*s**3/6 + 32*s**2. Let f be w(2). Let v = 329 + f. Does 15 divide v?
False
Suppose 0*n = -12*n + 36720. Suppose -222*s - n = -228*s. Is s a multiple of 51?
True
Suppose -2*g + 4874 = 2*x + 3*g, g - 2 = 0. Suppose 80 = -8*w + x. Is 20 a factor of w?
False
Let s(j) be the first derivative of -j**4/4 - j**3/3 + j**2/2 + j - 32. Let a be s(-1). Suppose -19 = -i - a. Is 19 a factor of i?
True
Suppose -1193 + 18 = -5*x. Does 20 divide (-8)/(16/(-10)) + x?
True
Let u = 35057 - 30045. Does 4 divide u?
True
Suppose 9 = 4*x - 23. Suppose -3 = t - x. Suppose t*i = 4*i + 10. Does 4 divide i?
False
Suppose 2*t - 944 + 42 = 0. Suppose 0 = 3*d + 5*j - 757, -t = 3*d - 5*j - 1188. Is 15 a factor of d?
False
Suppose 13594 + 10650 = 3*m + 424. Does 16 divide m?
False
Suppose 405 = 3*h + 2*q, h - 5*q - 148 = -10*q. Let t = h - 46. Is 87 a factor of t?
True
Let r(a) = 406*a + 25. Let x be r(8). Suppose 1308 = -4*j - l + x, -5*j + 2445 = -l. Does 9 divide j?
False
Suppose -13*c - 9*c - 110 = 0. Does 2 divide (-2 - 13/c) + 994/35?
False
Let x = 94840 - 65539. Is 202 a factor of x?
False
Let y = 618 + 42. Does 66 divide y?
True
Suppose -2*y - 5*m + 143 = -y, 0 = 5*y - 3*m - 771. Let b = y - -77. Suppose -z = z - b. Is 24 a factor of z?
False
Let b = -61 + 70. Suppose 2*c - 1309 = b*c. Let h = 271 + c. Is 12 a factor of h?
True
Let q = 38 + -35. Let w(k) = 4 - 69*k**2 - q + 73*k**2. Is w(2) a multiple of 5?
False
Let f(u) = -u**2 - 3*u + 12. Let y be f(-7). Let d = y + 19. Suppose d*p - 141 - 290 = -4*l, 0 = -l + 2. Does 36 divide p?
False
Let f(u) = 2*u**3 - 29*u**2 - 219*u + 132. Is 41 a factor of f(35)?
False
Let a = 8834 - 733. Is a a multiple of 34?
False
Let z(l) = -118*l**3 - 3*l**2 - 9*l - 5. Let a be z(-3). Let k = -1903 + a. Does 7 divide k?
False
Let i = 10666 + -7771. Is i a multiple of 7?
False
Suppose -14*i = -10*i - 1760. Suppose 7*m - 11*m + i = 0. Is 22 a factor of m?
True
Let y(z) = -z**2 - 154*z - 1649. Is y(-56) a multiple of 82?
False
Let h(l) = -29*l**3 + l**2 - 9*l - 14. Is h(-3) a multiple of 14?
False
Suppose -148*g = -147*g - 25. Is 15 a factor of 164*(5 - g/10)?
False
Let t(v) = -v**2 - 83*v - 1450. Let q be t(-25). Let x(a) = a - 2. Let n be x(2). Is q + 232 + n + -2 a multiple of 24?
False
Suppose -9248 - 30599 = -2*j - a, -5*j + 3*a + 99645 = 0. Is j a multiple of 14?
False
Let y = -2089 + 2191. Is y a multiple of 34?
True
Let u be ((-4)/5)/((-24)/55140). Let h = u - 1104. Does 6 divide h?
False
Suppose -974*y + 966*y + 82600 = 0. Does 64 divide y?
False
Let t be 5/(-2)*(5 + (-1107)/5). Suppose -5*m = j - 583 - t, m = 5*j + 204. Does 28 divide m?
True
Is 4 - 5 - (22 + -4128) a multiple of 75?
False
Let p be 4/6 + -52*(-5)/60. Suppose 15*k - 50 = p*k. Does 5 divide (((-45)/6)/k)/((-1)/40)?
True
Let r = 69 + -43. Suppose 4*d + r = -34. Is 13 a factor of ((-108)/d)/6*25?
False
Let b(t) = 7 - 2*t**3 + 3*t + 3*t - 13*t**2 - 9*t**2 + 19*t**2. Let r be b(-4). Suppose 6*q - 5*q = r. Does 7 divide q?