-4*o - f*r + 296, 4*o - 238 = -r + 55. Suppose 95 = 2*s - o. Does 42 divide s?
True
Let t(s) = 78*s**2 - 94*s + 431. Is t(-19) a multiple of 243?
True
Let i(z) = 6*z**2 - 40*z + 305. Is 9 a factor of i(15)?
False
Let q be ((-1)/4)/((351/52)/(-27)). Let v(b) = 536*b**2 + b - 2. Is v(q) a multiple of 40?
False
Let j(m) = 61*m**3 + 9*m**2 + 43*m - 263. Does 34 divide j(5)?
False
Let k be (-16)/(-9) - 10/(-45). Let f be (-6)/16 - 722/(-304). Suppose -2*d + 3*d - f*u - 120 = 0, 380 = 3*d - k*u. Does 13 divide d?
True
Let y be 4 + (-5 - (-2 + 1)). Suppose -12 = -4*v - 2*h, -2*h + 4*h - 4 = y. Does 11 divide (-18)/(-27)*99*v?
True
Let v(t) = -272*t**3 - 2*t - 2. Let x(c) = c + 6. Let d be x(-7). Let j be v(d). Is (j/(-20) - 3)*-5 a multiple of 13?
False
Let r be ((-81)/9 - -3) + 11. Suppose -r*w = -27*w + 6468. Is 5 a factor of w?
False
Let k be -3 + 2/((-8)/(-12)). Suppose k = -5*c + c - 12. Is c*5/15 + -1 + 195 a multiple of 17?
False
Let q(z) = -79*z - 339 - 3*z - 10 - 108 + 49. Does 6 divide q(-9)?
True
Suppose 0*q + 10*q - 5511 - 489 = 0. Is 12 a factor of q?
True
Let f(s) = -5169*s**3 + 8*s**2 + 25*s + 16. Is f(-1) a multiple of 68?
True
Let p(y) = -4*y**3 - 5*y + 18876. Is 12 a factor of p(0)?
True
Let t be ((-19)/38)/((-1)/6). Suppose 3*f = t*w + 5982, 2*f - 4*w - 3733 = 253. Is 105 a factor of f?
True
Suppose 5*j = -5*m - 234 - 386, 2*m = 0. Let o = -117 - j. Let g(u) = 42*u + 5. Does 14 divide g(o)?
False
Let m = -85 + 162. Suppose -83*k + 84*k = 2*n + 151, 408 = 3*k + 3*n. Let b = k - m. Is b a multiple of 14?
False
Suppose 3*o + 15 = -4*n, 4*o + 2*n = 9*o + 51. Is 13 a factor of (618/(-42) - o)*(-35)/2?
False
Suppose -2330 = -7*l + 491. Let q = l + -118. Does 6 divide q?
False
Let t = -7 + 12. Suppose t*u = 3*v - 655, 445 = 2*v - 6*u + u. Does 15 divide v?
True
Suppose 291*h - 356*h + 195 = 0. Suppose -2*i - i = -303. Suppose h*m = -35 + i. Is m a multiple of 4?
False
Let a(z) = z + 9. Let u be a(0). Let m be 27/(-3)*(-2)/u. Suppose 5*s + 357 = 4*g, 4*g - m*s - 266 = g. Is g a multiple of 13?
False
Suppose b = 218 + 26. Let q be 1 - (-12 + -6 + 19). Suppose -4*a - b = -5*x - q*a, -5*x + 3*a = -243. Is x a multiple of 24?
True
Let g(k) = -k**3 + 1 - 1 - 6 - 12*k**2 - 4 + 6*k. Suppose 0*f + 39 = -3*f. Is g(f) a multiple of 22?
False
Let v(d) = d**3 + 13*d**2 - 12*d + 1. Let q be v(-14). Is (-276)/16*288/q a multiple of 22?
False
Suppose -42*b + 34937 + 88711 = 0. Is b a multiple of 184?
True
Let q(h) be the second derivative of 28*h**3/3 - 5*h**2 + 4*h + 3. Is q(4) a multiple of 6?
False
Let r(k) be the third derivative of k**4/4 - 5*k**3/2 + 30*k**2. Does 18 divide r(14)?
False
Is (-115)/((49/(-497))/7) - 3 a multiple of 14?
True
Let t(i) = -141*i - 244. Let a(g) = -141*g - 241. Let k(c) = -3*a(c) + 2*t(c). Is k(7) a multiple of 26?
True
Let t = 90 + -81. Let a = -24 + 33. Is (2*94/4)/(t/a) a multiple of 2?
False
Suppose 4*r - 10192 = 5*w - 38600, -3*w - 3*r + 17088 = 0. Does 39 divide w?
False
Let x be 1722/3 + -4 + -1. Let k = x - 335. Is k a multiple of 26?
True
Let l = 17712 + 5288. Is l a multiple of 100?
True
Let l be 39/33 + 2/(-11). Let p be (-37)/(-296) + (0 - (-1262)/16). Is -1*(l - 2)*p a multiple of 22?
False
Let q = 2255 + 3723. Does 61 divide q?
True
Suppose -18*l + 15*l - 3*s = -6000, -l + 2*s = -2012. Does 53 divide l?
False
Suppose -2*o = -2*u - 72, -2*u = -3*o + 2*o + 38. Let d = 34 - o. Suppose d = -0*g + 2*g - 4*v - 38, -4*g = 5*v - 102. Is g a multiple of 23?
True
Let m = 114530 - 77154. Is m a multiple of 256?
True
Let v = 1876 - 470. Suppose -236 = 3*z - v. Is z a multiple of 10?
True
Let w = 202 - -54. Suppose -4*l + w = -784. Is l a multiple of 13?
True
Let q = 6148 - 5357. Is q a multiple of 7?
True
Suppose 0 = 3*m - 9 - 3. Let d be (m/(-5))/(4389/(-4375) - -1). Suppose -4*g + d = 3*a, 7*g = -3*a + 2*g + 245. Is a a multiple of 10?
True
Does 118 divide (-33518)/(-10) - 32/(-160)?
False
Suppose 4*l + 0*v + 6 = 2*v, 5*l + 5 = 2*v. Suppose -4*t + 3*r - 9 = 0, t - 2*r - r = -9. Does 2 divide 14 + (t - l - (-14 - -10))?
False
Suppose -13*g + 9*g + 23106 = -114614. Is g a multiple of 11?
True
Let n be (2/(-6) + 2)*(3 - 0). Suppose -n*q - 5*i + 280 = 0, -q + 3*i = -6*q + 274. Is q a multiple of 15?
False
Let g = 5315 + -2130. Is 245 a factor of g?
True
Let r = 107320 - 51005. Does 11 divide r?
False
Suppose 3*a + 75 = 8*a. Suppose -4*w - a = -9*w. Suppose i - 249 = -3*t - i, -415 = -5*t - w*i. Does 15 divide t?
False
Suppose 10*p - 34*p + 71184 = 0. Is p a multiple of 5?
False
Let a(b) = -2*b**2 + 2*b + 1. Let s(k) = -10*k + 10. Let c(q) = -6*a(q) - s(q). Is c(11) a multiple of 14?
True
Let f(p) = -p**3 + p**2 - p + 1. Let h be f(1). Is 44 + h/(-5)*(-1)/2 a multiple of 11?
True
Is 0/82 - (2398 + 2)/(-3) a multiple of 17?
False
Suppose 4*h = -2*g + 10650, -7*g = -3*g - 2*h - 21280. Is g a multiple of 42?
False
Suppose 0 = -31*y + 16*y + 30. Suppose 0 = -y*z - 4*p + 502, -5*p + 721 = 3*z - 7*p. Is 9 a factor of z?
True
Let h = 12042 + 9123. Does 15 divide h?
True
Let y(z) = -44 + 31 - 4*z**2 - 19 + 5*z**2. Let c be -4*2 + 1/1. Does 7 divide y(c)?
False
Let g = 1899 + -1007. Suppose y - g = -2*c, -1759 = 4*y - 6*y + c. Is y a multiple of 23?
False
Let u = 6215 - 842. Does 4 divide u?
False
Let g be (-2 - -3)*(-1 - 2). Let o = 204 - 204. Is 19 + o - (g - 0)*1 a multiple of 11?
True
Let c = -34 + 98. Let r = c - -86. Let d = r + 10. Is d a multiple of 20?
True
Let o = -77 - -73. Does 3 divide (-620)/(-8) + o/8?
False
Suppose 3 = 2*a + m - 3, 0 = 5*m - 10. Is 18 a factor of a/44*-4 + (-5020)/(-22)?
False
Let q = 99 + -101. Let x be (3 + -1)*(q + (3 - 0)). Is 11 a factor of 94 - (x/5)/((-4)/20)?
False
Suppose 3*p + 0*p = 270. Suppose -2*z - 5*h = -7*h - 102, 5*h = z - 67. Let f = p - z. Does 3 divide f?
False
Let p be (-98)/(-21)*12/8. Suppose -323 = -p*i + 860. Is 19 a factor of i?
False
Suppose -3*k = -124 - 131. Let x = k - -152. Is x a multiple of 17?
False
Suppose -3*q = 5*o - 12729, o = -16 + 13. Does 18 divide q?
True
Suppose 13 = 5*k - u, 5*k = -0*k + 2*u + 16. Suppose -4*a + k*c = -246 + 648, 2*a + c = -211. Let s = a + 160. Does 10 divide s?
False
Let b(c) be the second derivative of 0 - 3*c + 3/2*c**2 + 1/3*c**4 + 5/6*c**3. Is b(-3) a multiple of 24?
True
Suppose 5992 = -7*g + 2*g + 78602. Does 53 divide g?
True
Let l(d) = -627*d - 274. Does 12 divide l(-8)?
False
Suppose -w = -4*y + 6*y - 1562, 0 = -2*y - 3*w + 1558. Suppose 2*z - 4*f - 736 = -188, -y = -3*z - 4*f. Is z a multiple of 31?
False
Let y(v) be the third derivative of -9*v**4/8 - 21*v**3 - 2*v**2 + 68*v. Does 12 divide y(-18)?
True
Suppose p = -a + 16745, a - 33*p + 28*p = 16763. Does 15 divide a?
False
Is ((-230)/(-15) - 13)/(2/390) a multiple of 13?
True
Let a(w) = -15*w - 241. Let l be a(29). Let y = -661 - l. Is y even?
False
Let t be (-2)/(-8)*2 - (-27)/6. Suppose 0 = -0*x - t*x + 105. Suppose -2*s + 9 = -x. Is 5 a factor of s?
True
Let k = -9394 - -10222. Does 46 divide k?
True
Let a = -6 + 67. Suppose -48 - a = -g. Let k = 173 - g. Is 16 a factor of k?
True
Let o(y) = 6*y + 9. Let f be o(5). Let w = -35 + f. Is (-32)/16 - (-2)/(w/50) a multiple of 18?
False
Does 61 divide 78864/14 - 258/(-301) - 3?
False
Let w(k) = -k**3 + 33*k**2 - 16*k - 71. Is w(20) a multiple of 5?
False
Let d = 5434 - 1098. Is d a multiple of 105?
False
Suppose 4*b - 159 = -143. Suppose -2*i = -0*i + 4*s - 652, s + 1322 = b*i. Is 55 a factor of i?
True
Let u(g) = -7*g - 74. Let s be u(-11). Let m be 0*2/6 - -4. Suppose -2*l + 5 = m*x - 95, 5*l + 88 = s*x. Is x even?
True
Suppose -2*g = -g + 52. Let p(j) = -7*j**2 - 8*j + 16. Let m be p(-3). Let y = m - g. Is y a multiple of 3?
False
Let s be (-2)/(5 - (0 - -5 - -1)). Suppose s*r = -3*m + 1125, 2*r + 5*m - 1115 = -0*r. Does 19 divide r?
True
Let l = 29 + -11. Let v be 0/(l/(-12)*4/(-6)). Suppose -2*g + 90 + 200 = -3*y, v = -g + 2*y + 145. Is 22 a factor of g?
False
Suppose -2*n - n + 8 = -2*x, -2*n + 4 = -x. Let l be 21 - n - (8 + -10). Suppose -11 = 2*h - l. Is 3 a factor of h?
True
Suppose 3*j = -5*l + 14903, 86*l - 89*l + 5*j = -8935. Is 23 a factor of l?
False
Suppose -b - 5*n = -29, -b + 4*n + 58 = 4*b. Does 5 divide 1 + b/(-6) - (-752)/6?
False
Is (877 + -17)*6/20*88 a multiple of 44?
True
Let n = 1227 + -753. Is n a