= 110*y + 2*r + 41171. Is 53 a factor of y?
True
Let z(d) = 3*d**2 + 2*d + 1. Let y(b) = -b**2 + b + 1. Let l(i) = -2*y(i) + z(i). Let j be l(1). Suppose 0 = -g - 2, 2*g - 164 = -j*f. Does 11 divide f?
False
Let x(h) = -h**2 - h - 1. Let c(m) = m**3 + 4*m**2 + 6*m + 4. Let j(p) = -c(p) - 5*x(p). Is j(-3) a multiple of 10?
True
Let u = 29988 + -20364. Is u a multiple of 24?
True
Let t(c) be the second derivative of 51*c**5/5 + c**4/4 - c**3 + 2*c**2 + 76*c. Is t(1) a multiple of 3?
False
Let j = -167 + 169. Does 24 divide j - 0 - (-260 - 2)?
True
Suppose -5*o + 2263 + 4066 = 2*w, -5*w + 15830 = 14*o. Is w a multiple of 207?
False
Suppose p + 459 = -4*c + 7378, 1741 = c - 2*p. Let w = 119 + -105. Is c/21 + -4 + 50/w a multiple of 12?
False
Let u(r) = 10682*r + 936. Does 100 divide u(2)?
True
Suppose -3*j - 82*q = -79*q - 31536, 5*j - q = 52590. Does 56 divide j?
False
Let w be (3*3)/((-108)/(-8) + -12). Is 21/w + (-697)/(-2) a multiple of 9?
False
Let x be (-8)/(-20) + ((-62)/5 - 3). Does 32 divide (57/x*6)/(6/(-20))?
False
Suppose -3*s = -15, 5*q - 4*s = -1 - 9. Suppose 0 = -2*c + 2, 0 = -g + q*g - 2*c - 76. Is 12 a factor of g?
False
Let n(b) be the third derivative of b**7/90 + b**6/360 + 4*b**5/15 + 3*b**2. Let d(q) be the third derivative of n(q). Does 10 divide d(1)?
False
Let j be (1 + 40 - 0) + 2. Let h(y) = -37*y + 79. Let p be h(2). Suppose 3*f + n = 2*n + 21, p*f + n - j = 0. Is f a multiple of 2?
True
Is (0 - (-66758)/14) + (-84)/(-147) a multiple of 100?
False
Let i(q) = 5*q**3 - 101*q**2 - 35*q - 154. Does 50 divide i(24)?
True
Let j = 30 - 12. Suppose 17*z + 192 = j*z. Suppose -39*a - z = -43*a. Is 7 a factor of a?
False
Let g be (12/8)/((-6)/564). Let m = g - -345. Is m a multiple of 17?
True
Let n = -370 + 447. Is 44 - 0 - n/11 a multiple of 5?
False
Let h(k) = 16 - 6 - 12 + 3*k + 13*k**2. Is 24 a factor of h(2)?
False
Let h be (6 - 405/(-5)) + 7. Let l = h + -18. Is l a multiple of 10?
False
Let i be -1*0*2/4. Let p = 5 + i. Suppose 4*k + 58 = 4*q - 62, 4*q - 129 = -p*k. Does 5 divide q?
False
Let r(x) = x**3 - 5*x**2 + 5*x + 3. Let m be r(3). Let i be m + 3/(-4) + (-11)/(-4). Suppose -2*t - 158 = -3*y - 30, -2*t + 82 = i*y. Is 7 a factor of y?
True
Let j = 74 + -61. Let m(y) = 7*y - 53. Does 18 divide m(j)?
False
Let g(c) = -5*c - 177. Let r(f) = 2*f - 4. Let d(y) = -g(y) - 3*r(y). Is 7 a factor of d(11)?
False
Let q = 15094 - -32261. Does 77 divide q?
True
Let o(j) = 11*j - 9. Suppose -m + 2*i = -10, -4*m + 3*i + 37 = 2. Let t be o(m). Suppose 3*h - 41 = -4*x, -5*h - 4*x = -8*x - t. Does 5 divide h?
True
Let w be 0/(4/(-5) + (-23)/115). Suppose 1849 = 6*z - z - 3*v, -v - 3 = w. Is z a multiple of 16?
True
Suppose -n = -3*z + 114, -3*z + 60 + 66 = -5*n. Suppose t + 121 = m + z, 2*m - 5*t - 183 = 0. Is 10 a factor of m?
False
Does 15 divide (-520236)/(-33) - ((-1356)/132 - -10)?
True
Let r(j) be the second derivative of 7*j**4/12 - 16*j**3/3 + 47*j**2/2 - 2*j + 5. Is r(13) a multiple of 72?
False
Let v = 7087 - -1463. Is 114 a factor of v?
True
Suppose -8*g + 946 = 3*g. Suppose n = -44 + g. Is n even?
True
Suppose 0 = 3*i - 23 - 40. Suppose 0 = 4*v + v, -3*u - i = v. Let f = u + 19. Is f a multiple of 4?
True
Let x(b) = -5*b**2 - 8*b - 2. Let i be x(-2). Let c be ((-3)/2)/(3/i). Suppose 10 = c*l - 8. Is l a multiple of 6?
True
Let r be 5 + (-2 + 1840)*(-4)/8. Let l = 1307 + r. Is l a multiple of 17?
False
Let v = 11049 - 1318. Does 58 divide v?
False
Is 20 a factor of ((-5220)/6)/(1 - (-258)/(-240))?
True
Suppose 5*h = 9*h - 5*t + 14, 5*h + t + 3 = 0. Let v be 13785/15 - (1 - 0)*h. Suppose 0 = -16*k + 24*k - v. Is k a multiple of 23?
True
Let x(j) = j**2 + 2*j + 1. Let w be x(-1). Suppose w = -13*p + 83 + 8. Let z(n) = -n**3 + 8*n**2 - 6*n + 9. Is z(p) a multiple of 16?
True
Let j(s) = 32*s - 14. Let b(n) = -n**3 + 8*n**2 - 3*n - 19. Let d be b(7). Is 14 a factor of j(d)?
False
Let m be (-352)/(-10) + 2/(-10). Suppose 2*f - m = -5*f. Suppose 5*h - h - 2*z = 92, f*h - z - 118 = 0. Is 4 a factor of h?
True
Let p(n) = 2*n + 18. Let t be p(-7). Suppose -t*x = -3*v + 112, 3*v - 5*x = 2*v + 19. Does 7 divide (-4)/12 - 3/((-18)/v)?
True
Suppose 34 = 3*o + 22. Suppose -3*r + 26 = 2*r - b, 0 = -o*r - 3*b + 17. Is r/(-3 + -2) - -57 a multiple of 7?
True
Let r(y) = -2*y**2 - 19*y - 41. Let q be r(-4). Let m = 6 - 4. Suppose -3*d + m*i + 130 = 0, -q*i = -4*d - 0*i + 173. Does 4 divide d?
True
Let u = 6042 - 2886. Does 65 divide u?
False
Let t = -14543 + 19323. Does 45 divide t?
False
Let a(z) = -375*z - 1314. Is a(-25) a multiple of 15?
False
Let i(a) be the first derivative of 27*a**2/2 + 3*a - 75. Is i(4) a multiple of 3?
True
Let k be (351/26)/(1/10). Let w = -114 + k. Is w a multiple of 3?
True
Let c = 405 - 380. Is 7 a factor of ((-60)/c)/(5/(3 - 253))?
False
Let d(k) = -86*k + 489. Is 2 a factor of d(3)?
False
Let l(t) be the first derivative of -t**4/4 + 10*t**3/3 + 5*t**2/2 - 9*t + 7. Does 25 divide l(5)?
False
Suppose 4*f - 93 = 5*f + 5*a, 2*f + 3*a = -200. Let q(n) = 3*n**2 - 54*n + 74. Let p be q(15). Let t = p - f. Is 6 a factor of t?
True
Let m be -6*((-357)/(-2))/3. Let v = m + 787. Suppose -5*d = 5*i - v, -5 + 1 = -4*i. Is d a multiple of 9?
False
Let i = -331 - -334. Suppose 9*l = -4*r + 10*l + 2497, i*r - 1872 = l. Does 13 divide r?
False
Is 21 a factor of (-3645)/(-105) + -35 - 1*13528/(-14)?
True
Let i = -180 + 185. Suppose -k + 4*j + 429 + 357 = 0, 5*k - 3990 = i*j. Is 10 a factor of k?
False
Suppose d + 77 - 40 = 0. Let j = d - -52. Is 3 a factor of j?
True
Let k(q) = 17*q + 13. Let a be k(-4). Let z = -52 - a. Suppose 0*s = 5*s - i - 1542, z*s - 4*i - 932 = 0. Is s a multiple of 28?
True
Let g = -9011 - -15567. Does 4 divide g?
True
Let a(n) be the third derivative of n**4/8 + 32*n**3 + 1407*n**2. Let l = 2 + -2. Does 12 divide a(l)?
True
Let p be (1*(-8)/20)/((-1)/(-20)). Let h be (-4 + (-20)/p)*(-20)/6. Suppose 2*l - 2*t - 128 = t, 2*l = -h*t + 128. Does 16 divide l?
True
Suppose -218*q + 12718 - 2539 = -209*q. Is q a multiple of 87?
True
Let p be (-2 - -758) + (38 - 34). Does 69 divide (-14 + 7 - -6) + p?
True
Let n(l) = -l**2 - 5*l + 11. Let j be n(-6). Suppose b - 802 = -j. Does 64 divide b?
False
Suppose -3*n + 16 + 3 = -2*k, 5*k - 33 = -4*n. Let t(x) = 68*x**3 + 3*x**2 - 3*x + 2. Let m be t(2). Suppose -n*c = -13*c + m. Is 8 a factor of c?
False
Let r(u) = 106*u**2 - 89*u + 45. Is 4 a factor of r(-6)?
False
Suppose -19*k = -22*k. Suppose -3*o + 6*o + 2*b = 4, k = -2*o + 4*b - 8. Does 22 divide (-3950)/(-45) + ((-2)/(-9) - o)?
True
Let b(l) = -5*l - l - 4*l - l**2 - 7 + 2*l. Let x be b(-7). Suppose x*q + 2*q = 308. Is 22 a factor of q?
True
Suppose -5*l + 324 = -5*k - 191, -531 = -5*l + k. Let x = l + -79. Is 9 a factor of x?
False
Let t(j) = j**2 + 2*j + 2. Let p be t(-2). Suppose 6*h - p*h = 40. Suppose -5*g = 5*a - 0*a - 375, h = 2*a. Is 14 a factor of g?
True
Suppose -4*h + 96 = -104. Suppose 546 - h = 4*f. Let w = 63 + f. Is w a multiple of 15?
False
Does 300 divide 35464 + 210/168*(-72)/(-10)?
False
Suppose 95 = 3*r - 25. Let k = r - 40. Suppose w - 104 = -p + 25, 4*w - 5*p - 489 = k. Is 18 a factor of w?
True
Let n(p) = p**3 + 9*p**2 + 19*p + 8. Let c be 3 - 4 - 5 - 0. Let s be n(c). Suppose s*h - 334 = -m, -m = -4*h + 3*h + 161. Is h a multiple of 34?
False
Let i = -228 + 212. Does 11 divide ((-12)/i)/(3*(-3)/(-2412))?
False
Suppose -16 = -3*l + 26. Let x be ((-372)/l)/(1/(-7)). Let s = 399 - x. Does 13 divide s?
False
Let z(w) = 2*w**2 + 5*w - 36. Let i be z(-5). Let n = i + 249. Is n a multiple of 7?
True
Let j = 38 + -32. Is 10 a factor of (j/24)/(6/5688)?
False
Suppose 3*a - 13039 = 5*k, 44*a - 13033 = 41*a + 2*k. Is 56 a factor of a?
False
Let q be 120/25*(-5)/(-2). Suppose 4*b - q = b, -2*n - b = -140. Is 19 a factor of n?
False
Suppose 2*z + 11*c - 7*c - 23320 = 0, 3 = -c. Does 19 divide z?
True
Let a = 32408 + -25029. Is 11 a factor of a?
False
Let d be -3*(-3)/(-27) + 2758/(-6). Let i = 2144 + -1285. Let r = d + i. Is r a multiple of 60?
False
Suppose 28 = 90*c - 83*c. Suppose -822 = -4*r - 5*l, 370 = c*r - 4*l - 434. Is 15 a factor of r?
False
Let d(g) = -g**3 - 43*g**2 - 29*g + 111. Let s be d(-42). Let m = -349 - s. Is 2 a factor of m?
True
Suppose 3*a - 3*y - 24 = 0, -5*y - 34 = -5*a + 