2. Let w(q) = -6*q**2 + 6*q + 4. Let d(o) = 2*t(o) - w(o). Does 20 divide d(x)?
False
Let c(m) be the third derivative of m**6/120 + m**5/5 - m**4/12 + m**3/2 - 15*m**2. Is c(-12) a multiple of 16?
False
Suppose -o + 34 = o. Let x = -1091 + 1110. Suppose -20*d = -x*d - o. Is 8 a factor of d?
False
Does 17 divide (-4)/(-10) + (-18816)/(-210)?
False
Suppose -3*v - v = 20. Suppose -2 = i - 43. Let g = i + v. Is g a multiple of 16?
False
Suppose 10*v + 5*k = 8*v + 3130, -4 = k. Is 63 a factor of v?
True
Let u(o) = -4*o + 30. Let j be u(7). Suppose -j*g = -10, 59 - 330 = -3*x + g. Is 10 a factor of x?
False
Let z = -15 - -16. Let o(m) = 268*m**2 - 1. Let a be o(z). Suppose a = 4*u - 5*g - 95, 287 = 3*u + 4*g. Does 31 divide u?
True
Let i be (-1 - (-4)/4)/1. Suppose i = -2*y + 5*y - 6. Does 8 divide 12/y*(-48)/(-18)?
True
Is 4/22 + 150696/264 a multiple of 23?
False
Let t be 1/(5/(-10)) + 4. Suppose -t*k + 48 = 6*k. Is k a multiple of 5?
False
Let p(a) = a**2 + 4. Let m be p(0). Suppose -m*t = -4*w, 3*t + 5*w = -0*w - 16. Let l(r) = 10*r**2. Is 20 a factor of l(t)?
True
Suppose 4 = -2*l + 4*l. Suppose g - 2*c = l, -4*g = -2*c + 4*c - 18. Is 22 + (4 + -4 - g) a multiple of 6?
True
Suppose -2*g - 874 = -4*h, -4*h - 3*g + 844 = g. Is 18 a factor of h?
True
Let y(i) = 3*i**2 - 11*i + 6. Let h be y(4). Suppose -h = 5*z - 260. Does 16 divide z?
False
Let j = -21 - -23. Suppose -5*p + 127 = -4*w - 133, 0 = -4*w - j*p - 260. Let s = -13 - w. Does 15 divide s?
False
Is 13 a factor of (683 + 12*2/4)*1?
True
Suppose -2*w - 1 = -4*l + 7, 5*l + 5*w - 25 = 0. Suppose l*q - 2*u = 720, 720 = -q + 4*q + u. Suppose -6*x + q = -x. Is x a multiple of 16?
True
Let t be (-1426)/(-115) - (2/5 + 0). Suppose 154 = t*x - x. Is x a multiple of 7?
True
Let l(r) = 40*r - 286. Does 3 divide l(12)?
False
Suppose -2*v - 5*b + 0*b + 2557 = 0, -5*b - 6375 = -5*v. Is 58 a factor of v?
True
Let t = -53 + 77. Suppose 3*z - 39 = -10*z. Is z/t - (-15)/8 a multiple of 2?
True
Suppose -3*r = 3*q - 2271, 2*r = -5*q - 0*q + 3782. Does 18 divide q?
True
Suppose 3611 = 10*t - 4789. Does 21 divide t?
True
Let z(p) = p**3 + 3*p**2 + 2*p + 6. Let s be z(-4). Let v = s - -20. Is 2 a factor of v?
True
Let t(y) = 5*y**2 - 23*y + 108. Does 40 divide t(18)?
False
Let h(r) = r**2 + 16*r - 174. Is h(14) a multiple of 76?
False
Let v(o) = o**2 + 3*o + 5. Let z be v(-4). Suppose -12 = z*f - 11*f. Suppose 144 = -2*r + f*r. Does 18 divide r?
True
Let h(l) = 3*l**3 - l**2 + 4*l + 1. Let k be h(3). Suppose 4*s = -3*y + 55 - 15, 3*s - k = -5*y. Is 4 a factor of y?
True
Suppose 4*v = 3*s + s, 2 = s. Suppose 0 = -2*w + 4*l + 12, v*l + 3*l + 20 = 3*w. Suppose -2*g = 4*f - 108, f + w = -f. Is 19 a factor of g?
False
Is 15 a factor of (-2)/((-30)/2697) - 1/(-5)?
True
Let h(z) = 8*z + 5*z**2 - 11 - 14*z + 2 + z**3. Let g be h(-6). Does 25 divide 50/((-6)/g*3)?
True
Let k be (-14)/(-7)*(-6)/(-4). Suppose 0 = 5*g - 2*o - 248, -k*o + 149 = 3*g - 4*o. Let t = 72 - g. Does 15 divide t?
False
Let h(m) = 7*m**2 + 4*m - 11. Is 60 a factor of h(-14)?
False
Let v(c) = c**3 + 3*c**2 - 1. Let j be v(-2). Suppose -1091 = -5*n - j*m, n - 864 = -3*n + 2*m. Is 16 a factor of n?
False
Let y be 56/(-12)*1/(6/(-27)). Suppose y*h - 456 = 9*h. Does 28 divide h?
False
Let h = 93 + -163. Let y = h + 146. Does 13 divide y?
False
Let p(y) = 14*y**2 - 16*y - 30. Is p(-7) a multiple of 64?
True
Let m = 5700 + -859. Does 47 divide m?
True
Let v(w) = 2*w**3 + 30*w**2 + 2*w + 35. Let g be v(-15). Let o(h) be the second derivative of h**5/20 - h**4/12 + h**3/6 - h**2/2 - h. Is o(g) a multiple of 26?
True
Let i(x) = -4*x - 4. Let d be i(5). Let h = -8 - d. Is h a multiple of 2?
True
Let p = -1162 + 4301. Is 17 a factor of p?
False
Suppose 0*i - 740 = -5*i. Suppose 2*j + c - 148 = 0, 2*j - i = -c - c. Does 33 divide j?
False
Let o be (-8)/((-1)/(1/(-2))). Suppose -109 + 43 = 3*j. Let f = o - j. Is 4 a factor of f?
False
Let t(d) = 9*d + 3. Let f be t(5). Let y(w) = 88*w**2 + w. Let s be y(-1). Let m = s - f. Is 12 a factor of m?
False
Let y = 3 - 3. Let a(b) = 10*b**3 + 2*b**2 - b. Let i be a(1). Does 8 divide (-42)/14 - (y - i)?
True
Let j = 84 - 80. Let z = j + 33. Is z a multiple of 37?
True
Suppose 2*d - 5*n = 448, -d - 6*n + 2*n = -224. Is 13 a factor of d?
False
Suppose -4 = a - 0*a. Let f = a + 41. Is f a multiple of 32?
False
Suppose -2*b - k = k + 14, -3*k - 24 = 4*b. Let v(s) = -9*s + 1. Is 7 a factor of v(b)?
True
Let n be ((-9)/6)/(6/(-496)). Suppose 3*d = -5*b + d + 188, -3*b = 4*d - n. Is b a multiple of 18?
True
Suppose -2*v - 111 = -2851. Is v a multiple of 16?
False
Is 506/4 + 57/(-38) a multiple of 7?
False
Suppose 4*l + 23 = -5. Let x = l + 14. Does 2 divide (-40)/(-6) + x/21?
False
Let a(s) = 9*s**2 - s - 9. Let k be a(3). Let g = 34 + k. Is g a multiple of 11?
False
Let a(k) = 3*k**3 + 5*k**2 + 7. Let v(w) = 2*w**2 - 14 - 7*w**3 + 4 - 5 - 13*w**2. Let f(g) = -5*a(g) - 2*v(g). Is 15 a factor of f(-5)?
True
Suppose -4*w = 0, -2*k + 11 = -2*w + 3. Suppose z = 5*z - u - 20, -2*u = 3*z - k. Suppose z*s = 8*s - 112. Is 11 a factor of s?
False
Is 59 a factor of (-64 - -62) + (1 - -523)?
False
Let k(q) = 7*q**2 + 1. Let r be k(-1). Is (r/16)/((-2)/(-240)) a multiple of 6?
True
Let i = -70 - -75. Let r(q) = 10*q + 3. Is r(i) a multiple of 9?
False
Let z(u) = -58*u - 28. Let n be z(-12). Suppose -13*d + 60 = -n. Is d a multiple of 8?
True
Let v(r) = r**3 - 9*r**2 + 19*r - 17. Is v(8) a multiple of 15?
False
Suppose 0 = 6*k + 6*k - 3744. Does 26 divide k?
True
Suppose 19*r = 35*r - 6272. Is r a multiple of 72?
False
Suppose 0 = -2*u + 5*b - 21, 2*u + 5*b = 49 - 20. Suppose 0 = 4*o - a - 309, -5*o + 164 + 226 = -u*a. Is 19 a factor of o?
True
Let a(n) = -3*n**2 - 28 + 7*n + 12*n + 2*n**2. Does 5 divide a(16)?
True
Suppose -k = -3*k + 12. Suppose -k*b + 2*b + 28 = 0. Suppose t + b - 112 = 0. Does 21 divide t?
True
Is 78/15*(214/4 + 4) a multiple of 47?
False
Suppose -36*y + 1209 = -31*y - 3*i, -y - 4*i + 228 = 0. Is y a multiple of 11?
False
Suppose -3*o + 969 = 5*z - 2*z, 4*z = -2*o + 1302. Suppose 0 = -5*h + 4*j + 407, 4*h - 5*j + j = z. Is h a multiple of 8?
False
Suppose -29*m + 44384 = 9*m. Is 65 a factor of m?
False
Suppose 0*k = 6*k - 66. Suppose 0 = -2*q + 7 - k. Does 2 divide (1/((-2)/60))/q?
False
Let u be 2/(((-5)/(-225))/((-1)/(-3))). Suppose u*q - 27*q = 300. Is 38 a factor of q?
False
Suppose 4*g - 2481 = -3*c - g, 3*c + g = 2493. Does 16 divide c?
True
Let a(g) = -2*g**2 + 6*g + 3. Let y be a(4). Let v = y + 19. Is 4 a factor of v?
False
Suppose 5*w - 476 = -2*j, 3*w + j + 0*j = 285. Suppose -22 = q - w. Is 18 a factor of q?
True
Let h = -670 + 234. Does 4 divide (-12)/(-66) + h/(-22)?
True
Suppose 4*t + k = -k - 426, 2*k = 2*t + 216. Let j = t + 171. Is 16 a factor of j?
True
Suppose -7*a + 6267 = 387. Is a a multiple of 28?
True
Suppose -44 - 3 = n - 4*u, -113 = 4*n - u. Let v = n - -99. Is v a multiple of 24?
True
Suppose 0 = -18*k + 24684 - 9222. Is 22 a factor of k?
False
Suppose -3*c = 3*p - 168, 3*p = -p + 4*c + 264. Suppose 317 - p = 2*t. Does 32 divide t?
True
Let i be (2 + -3)*5*1. Let s = i - -9. Suppose n - s = 0, -2*n - 2*n = 4*x - 32. Is x even?
True
Let y = -4685 + 6825. Is 10 a factor of y?
True
Let h = 276 - 186. Does 9 divide h?
True
Suppose -5*n - 24 = -3*n. Let r = n + 17. Is 33/2*(-3 + r) a multiple of 10?
False
Let o(k) = -k**2 - 13*k + 5. Let z be o(-13). Suppose 0 = 2*n + 3 + z. Let d(f) = -3*f**3 - 6*f**2 - 2*f - 3. Does 23 divide d(n)?
False
Let l(t) = -10*t - 18*t**2 - 7 + t**3 + 25*t**2 - 2*t + 6. Is l(-8) a multiple of 8?
False
Suppose -2*a = -139 - 83. Suppose -52*w + 2622 = -6*w. Let l = a - w. Is l a multiple of 24?
False
Let q(j) be the first derivative of 4*j**3/3 + 7*j**2/2 - 8*j - 13. Is 7 a factor of q(-4)?
True
Suppose 0 = -18*f - 0 + 36. Let p be 4/(2 - 0) - 1. Is ((-12)/(-8))/p*f even?
False
Let c(o) be the second derivative of -o**6/120 + 2*o**5/15 - 7*o**4/24 - 2*o**3 + 3*o**2 - 2*o. Let f(r) be the first derivative of c(r). Is 9 a factor of f(6)?
True
Suppose o + 2*o - 295 = -4*f, 3*f = -5*o + 235. Suppose -f = w - 3*w. Suppose w = 2*c - 5*j, 10 = c + 3*j + 2*j. Does 5 divide c?
True
Let i = 23 + -17. Is -1*335/(-10) + 3/i a multiple of 12?
False
Is 29 a factor of (-21658)/(-187