o. Does 34 divide s?
False
Let s = 7568 + -7565. Suppose 2*l + 0*l = 0. Suppose -2*y - s*f = -144, 0 = 3*f - l*f. Does 17 divide y?
False
Let w be 6 - ((-1668)/(0 - 2))/(-2). Suppose 4*a = -b + 27 + w, -5*a + 445 = b. Does 29 divide b?
False
Suppose 20*u = -56*u + 205048. Is 6 a factor of u?
False
Let q(g) be the third derivative of g**6/120 - 7*g**5/15 - 7*g**4/24 - 19*g**3/3 + 82*g**2. Does 10 divide q(29)?
True
Let q(y) = 3*y**2 - 119*y - 587. Does 50 divide q(117)?
False
Suppose -x - 8 = -3*x. Suppose -x*k + 17 + 3 = 0. Let c(h) = 4*h**2 - 14*h + 15. Does 22 divide c(k)?
False
Let h(c) be the second derivative of c**3/2 + 24*c**2 + 8*c. Let v be h(-17). Let r(g) = -49*g - 2. Is r(v) a multiple of 29?
True
Let i be (41 - 2)/((-9)/(-78)). Suppose 0 = -k + i + 12. Does 14 divide k?
True
Suppose 103*c - 69*c + 188518 = 53*c. Does 9 divide c?
False
Suppose 5*y = -3*s + 5097, 27*y + 5065 = 32*y - 5*s. Is y a multiple of 15?
False
Let u(n) = -2*n**3 - 8*n**2 - 4*n + 8. Let o be u(-3). Suppose -m + 50 = -4*f, -164 = -5*m + o*f + 50. Is 21 a factor of m?
True
Let m(z) = 10*z**3 + 14*z**2 - 33*z + 1. Does 6 divide m(6)?
False
Does 39 divide ((-681)/18*-39)/((-27)/(-324))?
True
Let j = -46 - 53. Let w = -83 - j. Does 25 divide -10*2/(w/(-140))?
True
Does 14 divide (216776/147)/((-37)/(-6) + -1 - 5)?
True
Suppose -k = 16*k - 51. Suppose -5*x = 6*q - 8*q + 518, -k*q + 786 = -3*x. Does 8 divide q?
True
Suppose 24 = 4*n + 4*o, 16 - 13 = -3*o. Does 11 divide (n - 15)*2/(-8) - -724?
True
Suppose w + 5*m = -13, -3*w - m + 6 - 31 = 0. Let p be 8/3*(-12)/w. Suppose 5*c = 3*u - 0*c - 335, p*u - 495 = -3*c. Is 24 a factor of u?
True
Suppose 0 = -3*w - 5*x + 414, 2*x = -78*w + 83*w - 721. Let l = 353 - w. Is l a multiple of 42?
True
Let q = -7292 + 8068. Is 5 a factor of q?
False
Let y = -43785 - -62375. Is 45 a factor of y?
False
Suppose 1676821 + 3022315 = 231*s - 386329. Is 17 a factor of s?
True
Let n = 122 - 135. Let h = n - -158. Is 3 a factor of h?
False
Suppose -6*w + 4*w = -64. Does 34 divide w/(-6) + (-20)/(-15) + 854?
True
Suppose -66*b - 232345 = -64*b - 33*b. Is b a multiple of 27?
False
Suppose -2*o + 5*k = -4513, 604*o - 8999 = 600*o + k. Does 13 divide o?
True
Let f(p) = -20*p - 7. Let d be f(-2). Suppose -12*g - d = -15*g. Suppose -u - g = -67. Does 5 divide u?
False
Suppose -4*d = -s + 10, 0*s - 145 = -5*s + d. Is (s - 11)/(1/(-3)*-3) a multiple of 10?
False
Let h(l) = 41*l**2 - 63*l + 198. Is 118 a factor of h(-35)?
True
Suppose -2120 = -15*y + 5*y. Suppose -4*d = -y - 176. Is 13 a factor of d?
False
Let b(d) = -6*d + 14. Let f be b(5). Let i(u) = 6*u + 39. Let x be i(f). Let q = 165 + x. Is 36 a factor of q?
True
Let f(a) = a + 5. Let w be f(-2). Suppose -5*r + 5*x = -350, 8*r - w*r = -2*x + 371. Is 6 a factor of r?
False
Suppose -319 = 8*z - 1279. Let s = z + -97. Is 6 a factor of s?
False
Suppose -j + 3*x = -2*j + 18, -2*j + 2*x = -36. Let s be 4 + (-7)/(5 + 2). Is 25 a factor of (-172)/s*(-27)/j?
False
Suppose 13*m - 209082 = -13*m + 312582. Is 308 a factor of m?
False
Suppose -f = 7*f - 40. Let d(r) = -7*r**3 - 26*r**2 + 29*r + 33. Let v(m) = 4*m**3 + 13*m**2 - 15*m - 17. Let x(g) = f*v(g) + 3*d(g). Is 6 a factor of x(-14)?
True
Suppose -4*d - 7*d = -12749. Suppose 5*r - 3*l = d, 4*r + 2*l = -0*l + 914. Does 46 divide r?
True
Suppose -875*i + 75858 = -860*i - 29877. Is 7 a factor of i?
True
Let v be ((-4)/6)/((-6)/126). Suppose -6*x + v = 2. Does 17 divide (-2 + 3)/(x/34)?
True
Suppose b - 5*f = -21, -3*b - f + 27 = 2*f. Suppose -514 = -5*z + 3*m, 444 = b*z + m + 43. Is z a multiple of 3?
False
Suppose 0 = 4*t - 5*q + 3, 3*t + 4*q = 21. Let l be (2/t - 0)/(3/27). Suppose -2*i = l*i - 1872. Does 31 divide i?
False
Suppose 4*a = 2*b + 12, -5*a = -3 + 8. Let d be (-44)/b*(4 + -2). Suppose 3*i + 560 = d*i. Is i a multiple of 8?
False
Let l = 112 - 61. Let h = -6 + l. Is 10 a factor of h?
False
Let o = 139 - 134. Suppose -4*s = 4*a - 524, 8*a = 10*a + o*s - 274. Suppose a = 48*z - 47*z. Is z a multiple of 36?
False
Let x(d) = 169*d**2 - 49*d + 95. Is x(2) a multiple of 6?
False
Suppose -2*q = -2*v - 2, -3*v + 0*q = -4*q + 6. Suppose -v*i - 2*s + 260 = 2*i, s - 328 = -5*i. Let r = i + -33. Does 11 divide r?
True
Let d = -15863 + 30460. Is d a multiple of 120?
False
Let i(m) = 17*m**2 + 17 - 49*m**2 + 15*m**2 + 9*m**2 - 6*m - m**3. Let l be i(-8). Is 21 a factor of 0 + l - (0/(-2) - -2)?
True
Let c be (-7)/(-35) - (-9)/5. Suppose 4*y - c*y = -7*y. Suppose -k - 2*g + 72 = y, 2*k = g - 6*g + 144. Is 18 a factor of k?
True
Let q(f) = -8*f**3 + 10*f**2 + 3*f + 182. Let d(r) = 7*r**3 - 9*r**2 - 3*r - 183. Let t(l) = -7*d(l) - 6*q(l). Is 9 a factor of t(0)?
True
Let z = 194 - 192. Suppose -2*a = w - a - 259, z*a - 1304 = -5*w. Is w a multiple of 11?
False
Let z = -123 - -200. Suppose 0 = -83*u + z*u + 252. Does 42 divide u?
True
Suppose 33*a + 16651 = 192211. Is 95 a factor of a?
True
Let l = -128 - -195. Let r = l + -11. Suppose 0 = 2*k - 3*u + 7*u - r, 4*k - 117 = -3*u. Does 4 divide k?
False
Suppose -5*k - 4*r = -12, -k - 2*r + 0*r + 6 = 0. Let a be k*(-2 - 14/(-8)). Suppose 5*m - 5 = a, -4*g - 9 + 38 = 5*m. Does 6 divide g?
True
Let y(m) = 5*m**2 - 21. Let q = -115 + 117. Let w(r) = -10*r**2 + r + 43. Let d(o) = q*w(o) + 5*y(o). Is 6 a factor of d(4)?
False
Let l = -57 - -62. Let x(z) = 11*z**2 - 9*z + 40. Does 30 divide x(l)?
True
Let n = -4816 + 5548. Is 3 a factor of n?
True
Suppose b + 3*b + 3*l = 112, -5*b = -4*l - 109. Let g(v) = -17*v**2 + 3*v**3 - 49 - 22*v - 7*v**2 - 2*v**3. Is g(b) a multiple of 3?
False
Suppose 5*u - 4*v - 18 = 3*u, 9 = -2*u - 5*v. Suppose 0 = -4*c + 16, -104 = m + u*c - 439. Is 17 a factor of m?
True
Suppose -15 = -3*b, -4*s + 3*b + 2 + 3 = 0. Let n be 2/(-3) + 2440/15. Suppose -14*y = -s*y - n. Does 9 divide y?
True
Let x(z) = 1006*z**3 + 22*z**2 - 33*z - 6. Does 48 divide x(2)?
True
Suppose 5*u - 25 + 10 = 0. Let t(f) = -7*f**2 + 6*f**3 - 2*f**3 - 2*f**3 - f**u + 8. Is t(8) a multiple of 36?
True
Let m(j) = 77*j + 1. Let c = -5 + 7. Let t be m(c). Suppose -3*p - 3*r = -t - 43, 69 = p + 2*r. Is 21 a factor of p?
True
Suppose 13*u - 12*u = -72. Let n = u + 75. Suppose -n*z - 46 = -67. Is z a multiple of 7?
True
Suppose -p + 109447 = 551*d - 547*d, -4*d + 5*p = -109405. Is d a multiple of 30?
True
Suppose 3*x - 5*p = 6383, -61*p + 59*p - 8478 = -4*x. Does 92 divide x?
True
Let k = 10679 + 5134. Is 31 a factor of k?
False
Let c(i) be the third derivative of i**6/20 - i**5/6 + 5*i**4/12 - 2*i**3 + 57*i**2. Does 6 divide c(4)?
True
Is 3*(7/(-12))/(83/(-316396)) a multiple of 8?
False
Let h = 34 - 28. Let b be (-6)/((-1)/8*h). Does 7 divide (-10)/b + 1 + 1161/36?
False
Let i be (-246 + -2)*((-6)/4 + 0). Let a = 557 - i. Is 37 a factor of a?
True
Suppose p = -5*r - 3 - 7, 5*p + 2*r + 119 = 0. Let a = p - -55. Does 5 divide a - (1/(-3) - (-16)/(-6))?
False
Does 15 divide ((-15)/(-20))/((-64)/(-2816))?
False
Let f = 114 + -108. Let d(a) = 38*a + 52. Is 13 a factor of d(f)?
False
Let x = 20 - 18. Suppose 2*h + 0 - x = 0, 9 = -3*c - 3*h. Does 10 divide 102 + (-5)/(-10)*c?
True
Let a(t) = t**3 + 89*t**2 + 155*t + 424. Is 27 a factor of a(-86)?
False
Suppose -j = 5*a - 61577, 2*j - 3 = 3*j. Suppose 14*b + 2544 = a. Is b a multiple of 9?
False
Suppose 3*v = -4*v. Suppose 13 = -b - v. Is 16 a factor of 4/(12/9) - b?
True
Suppose 3*t + q + 1 - 13 = 0, -5*q = -2*t - 9. Suppose -5*o = 25, -5*j - 8 = t*o + 7. Suppose -5*d = 5*y - 340, 4*d - d - y - 184 = j. Is d a multiple of 6?
False
Suppose 50*x = 48*x - 1050. Let k = 1141 + x. Does 11 divide k?
True
Let v(i) = i**3 - 6*i**2 - 20. Let h be v(7). Let m = 35 - h. Does 6 divide m*((-23 + -1)/(-2) + 2)?
True
Let s = -61 - -101. Suppose s + 50 = -3*x. Is (6/(-54)*x)/(2/51) a multiple of 19?
False
Let f be (-1 - 0) + 3 + -2 + 10. Suppose -5*r + 8*g - 5*g = -71, 0 = -5*g - f. Does 13 divide r?
True
Let r(p) = 9*p + 3267. Is r(88) a multiple of 27?
False
Let b(i) be the third derivative of i**6/120 + 2*i**5/15 + 11*i**4/24 + i**3/2 - 2*i**2 - 6. Suppose 2*f + 30 = -3*f. Is b(f) a multiple of 3?
True
Suppose 7*j - 3*j - 16 = 0. Suppose -x + 4*i - 5 = 0, j*x - 16 = -i + 15. Suppose -x*w + 6*w + 3 = 0. Is 2 a factor of w?
False
Suppose 8*m - 750 = 522. Let b = m - -413. Is b a multiple of 2