. Let j be y(-4). Let a(h) be the first derivative of 2*h**3/3 + h**2/2 - 4*h + 16. Does 9 divide a(j)?
False
Is 15 a factor of ((196/(-5))/7)/(2/(-10))?
False
Let d be (-6)/4*182/(-21). Let w = -8 + d. Suppose a - 2 - 2 = 2*z, w*z = 5*a - 40. Is 3 a factor of a?
True
Suppose -7*c + 8*c - 9 = 0. Suppose 36 = 4*v - k, -5*k + 0 = -v + c. Does 9 divide v?
True
Let v(r) be the second derivative of r**6/360 - r**5/120 - 5*r**3/6 - 5*r. Let t(d) be the second derivative of v(d). Does 14 divide t(-6)?
True
Suppose 4*d = 2*g + 1018, 0 = 3*d + g - 854 + 103. Does 14 divide d?
True
Does 19 divide (-17)/((-85)/3990)*(-2)/(-4)?
True
Let a be 7/49 - (-1)/(-7). Suppose -19*x + 14*x + 130 = a. Is 26 a factor of x?
True
Let l = -395 + 420. Is 14 a factor of l?
False
Suppose -6*m + 6 = -12. Does 6 divide (m/6 + 4)*4?
True
Let p(j) = j**3 - 12*j**2 - 13*j + 16. Suppose -5*y = -15, w - 58 = -3*w - 2*y. Is p(w) a multiple of 8?
True
Is (2 - (-3 + 4)) + 459 + 8 a multiple of 36?
True
Let p(m) = 5*m**2 - 3*m + 2. Let j(i) = -i**3 - 22*i**2 - 20*i + 25. Let g be j(-21). Is p(g) a multiple of 9?
False
Suppose -5130 = -3*d - 1236. Does 22 divide d?
True
Is 11 a factor of -3 + 1828/20 - 2/5?
True
Suppose 37*x - 308 = 35*x. Let a = x + -76. Is a a multiple of 6?
True
Suppose -4*n = -n + 4*j - 29, 0 = 4*n - 5*j - 18. Let a be 6 + n/((-28)/16). Suppose -d + a = -102. Is 37 a factor of d?
False
Let c be (-1 - -10)/(-8 - -9). Let u be (8 - 2) + -4 + c. Suppose -2*b + 15 = -u. Is 3 a factor of b?
False
Let k be 1/4 + 14/8. Let x = 47 + 13. Suppose -4*j = 5*b - x, -k*j + 5 = b - 1. Does 12 divide b?
False
Let c(a) = a**3 + 26*a**2 + 24*a - 12. Let w be c(-25). Does 39 divide (-2)/w - (-5178)/26?
False
Suppose 7*v = 4*v, 5*v = 3*a + 3. Let p(u) = 3*u**2 + 1. Let m be p(a). Is (-13)/m*(3 + -7) a multiple of 4?
False
Suppose 9 + 6 = 5*q, -g + 3*q + 15 = 0. Suppose g = 3*x - 9. Is x a multiple of 10?
False
Let y = -1319 - -2044. Is y a multiple of 78?
False
Suppose 11*q - 36 = 107. Is 2 a factor of q?
False
Let w(k) = 9*k + 402. Let j be w(-45). Let a be 19/(-3) - (-2)/6. Is (-16)/a - j/9 a multiple of 2?
False
Suppose 0 = -4*x + 3*x + 5. Let g(p) = 33*p + 12. Let j be g(x). Is 21 a factor of 2/(-3 - (-537)/j)?
False
Suppose -3*d - 353 - 715 = -3*n, -2*n = -5*d - 727. Suppose p + 5*h = -3*p + n, -333 = -4*p + h. Does 7 divide p?
True
Suppose 657*u - 661*u = -1652. Is 7 a factor of u?
True
Suppose 4*v - 4*o = -0*v + 16, -22 = -v - 5*o. Suppose 366 = v*a - 481. Is 6 a factor of a?
False
Let o(x) = 4*x**2 + 3*x. Does 51 divide o(12)?
True
Let h = -2 + 2. Suppose 3*l = -h + 9. Suppose l*a = a + 72. Is a a multiple of 12?
True
Let i(j) = -j**3 + 4*j**2 - 11*j + 9. Is i(-8) a multiple of 4?
False
Let v(i) = -i**3 - i. Let l be 4/16 + 26/(-8). Let d be v(l). Is 1/(-5) - (-366)/d a multiple of 6?
True
Let a = -1964 - -4064. Does 6 divide a?
True
Let z(x) = -3*x**2 - 3*x + 4. Let v be z(-5). Let b = 83 + v. Suppose 0*i + i - b = 0. Is 9 a factor of i?
True
Suppose 0 = 4*n + n - 3*c, c = 5*n - 10. Suppose 3*r - 76 = -2*j, 5*r + 4 = n*j + 118. Is 6 a factor of r?
True
Let f(s) be the second derivative of -6*s + 1/3*s**3 + 1/6*s**4 + 1/20*s**5 - s**2 + 0. Is 9 a factor of f(2)?
True
Let k(r) = 2*r**2 + 12*r + 7. Let a be k(-7). Is 6 a factor of a - 1/(2/4*1)?
False
Suppose 0 = 101*n - 94*n - 119. Does 12 divide n?
False
Suppose 2*f = 4*f + 4*o - 18, 72 = 4*f - o. Let r = f - 19. Let y = r - -13. Is 11 a factor of y?
True
Suppose -72*v + 3000 = -52*v. Does 5 divide v?
True
Let i(j) = -78*j + 1. Let x be i(-2). Suppose -5*d = -128 - x. Is 19 a factor of d?
True
Suppose -4*b + 7*b + 18 = 0. Let u(a) = a**2 - 6*a + 2. Let c be u(-5). Is 4 a factor of (c/b)/(1/(-2))?
False
Suppose 0 = -10*k + 17*k - 448. Is 64 a factor of k?
True
Suppose 2*n + 10 = 0, 0*t + n - 523 = -4*t. Suppose t = 18*b - 16*b. Is 11 a factor of b?
True
Let j(w) = -w**3 - 2*w**2 - w - 2. Let l = 3 - -2. Suppose -l*y + 6*y = -3. Does 5 divide j(y)?
True
Let n = 20 + -8. Suppose 3*d = d - 5*g - n, -12 = 3*g. Is d*9/24*20 a multiple of 29?
False
Let a = 15 - 13. Suppose 5*i - a*x = 270, -2*i - 2*x = -4*x - 114. Suppose 2*t - 3*s = 16 + 23, 0 = -3*t - 2*s + i. Does 9 divide t?
True
Let a(c) = -3*c - 6. Let s be a(-6). Suppose 8*q - 132 = 484. Suppose -n + q = s. Is n a multiple of 16?
False
Let j be (-259)/(-21) - -4 - 1/3. Let i = j + 11. Is i a multiple of 9?
True
Let u = -79 - -1333. Does 57 divide u?
True
Let y = -2 - -4. Suppose 0 = -2*s - y*s + 40. Suppose 0 = 2*q - s - 0. Does 2 divide q?
False
Let g(w) = -3*w**3 - 3*w**3 + 1 + 3*w + 1 + 4*w**3. Let b be g(-1). Let r(m) = 41*m - 2. Does 13 divide r(b)?
True
Suppose 2*z = -3*z + 15. Suppose -3*r + 305 = f, -f - z*f + 220 = 2*r. Does 25 divide r?
True
Let v = -2875 + 4570. Is 65 a factor of v?
False
Let g(o) = 4*o + 16. Let j be g(-8). Let w = j - -172. Is w a multiple of 23?
False
Suppose -2*c + 7 = -1. Is 26 a factor of ((-150)/c)/((-10)/20)?
False
Suppose -c + 3*b + 1936 = 0, -3*c - 11*b + 5753 = -9*b. Is 26 a factor of c?
False
Let c(z) = -z**2 - 13*z - 12. Let a be c(-15). Let s = 62 + a. Is 7 a factor of 45/s*(-128)/(-12)?
False
Let q(u) = 6*u**3 - u**2 + 1. Let h be q(2). Let g = h + -65. Let v = 26 - g. Does 14 divide v?
False
Is 8 a factor of (-198)/(4/3 + (-700)/336)?
True
Suppose 0 = 3*b + 2*d - 1119, -4*b + 383 = -3*b + 4*d. Is 35 a factor of b?
False
Suppose 5*a + 170 = 430. Suppose 4*d - 248 = -72. Let y = d + a. Does 24 divide y?
True
Suppose 13*l = 2196 + 7931. Is l a multiple of 32?
False
Suppose 0 = b + o + 1, -5*b - 3*o = 11 - 16. Suppose b*m - a - 1150 = -0*a, 3*m - 856 = 4*a. Does 16 divide m?
True
Let v = 813 - 435. Is v a multiple of 54?
True
Suppose 2*b = 5*b - 51. Suppose -3*g + 4*y + b = -1, -3*y - 9 = 0. Suppose 7 = f - 5*n, -53 = -2*f - g*n - 15. Does 17 divide f?
True
Suppose -4 = 2*u, -3*v + 2*u + 1558 = 3*u. Let p = v - 312. Does 43 divide p?
False
Let h = 57 + -64. Let y = h + 91. Is 6 a factor of y?
True
Let z = -365 - -542. Is 18 a factor of z?
False
Let d(g) = -g**2 - 3*g + 2. Let k be d(-3). Let f(c) = 6 + 9*c**2 + c - 8*c - 8*c**k. Is 24 a factor of f(9)?
True
Suppose 3*n - 48 = -3*b, -2*n - b + 96 = 3*n. Does 20 divide (-501)/(-5) + (-4)/n?
True
Let c(d) = -2*d - 23. Let t be c(-11). Let x(b) = -36*b + 2. Does 19 divide x(t)?
True
Suppose 26*w - 6048 = -28*w. Is 3 a factor of w?
False
Let d be (-110)/(-6) - (-22)/33. Suppose -h + 2*c = -7, -22 = -3*h - 4*c + d. Is 3 a factor of h?
False
Let r(o) = -2*o - 3. Let n be r(-5). Suppose n + 5 = -4*s. Let w(l) = l**3 + 4*l**2 + 3. Is w(s) a multiple of 6?
True
Suppose -2*r = r + 27. Let w(y) = -y**3 - 7*y**2 + 5*y - 13. Does 26 divide w(r)?
True
Is (-5)/(-4) + -1 + (-1212)/(-16) a multiple of 6?
False
Let i(s) be the second derivative of s**4/12 - s**3 + 7*s**2 - 9*s. Is 15 a factor of i(10)?
False
Suppose -v = 14*v - 1710. Does 6 divide v?
True
Let h(c) = -5*c**2 + 202*c + 41. Does 49 divide h(36)?
True
Let q(u) = u**2 + u - 5. Let n be q(-5). Suppose -10*m = -n*m + 1050. Suppose 72 = 2*t + 4*j, -2*t - 4*j + m = 3*t. Is t a multiple of 24?
False
Let g(k) = 5*k - 2. Let z be g(1). Suppose 0 = z*q + q + 56. Let b = 26 + q. Is b a multiple of 9?
False
Let j(d) = 7*d**3 - 2*d**2 - 3*d + 3. Let b(n) = n**2 - 17*n + 18. Suppose -3*c = -5*y - 0*c + 71, -2*y - 5*c + 47 = 0. Let q be b(y). Is j(q) a multiple of 15?
True
Let q(o) = o**3 - 20 - o + 14 + 18. Let g(f) = f - 9. Let z be g(9). Is 12 a factor of q(z)?
True
Let j(a) = -a**3 - 3 - a + 7 - 1 + 3*a. Does 8 divide j(-3)?
True
Let h(g) = -2*g**3 + 3*g**2 + 4*g + 4. Let s be ((-6)/(-3) - 3)*2. Is h(s) a multiple of 12?
True
Suppose 251 = -4*m + 67. Let w = m + 226. Is w a multiple of 36?
True
Suppose -12*s = 1301 - 12137. Does 60 divide s?
False
Let l(b) = b**3 + 10*b**2 + 8*b - 9. Suppose 0 = 4*c - 9 + 41. Does 11 divide l(c)?
True
Let x(s) = s + 2. Let b be x(6). Suppose 3*t = 5*t - b. Let d = t - -33. Is d a multiple of 14?
False
Suppose 0 = 5*a - 6*a - u + 923, 4*a - 3*u = 3699. Is a a multiple of 14?
True
Suppose 0*y = -y - 5*m + 6, -5*y = -m + 22. Let c(w) = 2*w**2 - 4*w - 5. Is c(y) a multiple of 12?
False
Suppose 0 = 13*w - 19*w - 858. Does 23 divide (-1 + w)*2/(-4)?
False
Suppose 7 = 4*d - 5, -2*d = 2*u - 1126. Is 20 a factor of u?
True