s 11 a factor of h?
False
Let n(u) be the second derivative of u**5/20 - 2*u**4/3 + u**3/6 - 7*u**2/2 - 2*u. Let m be n(6). Let i = m + 128. Does 17 divide i?
False
Let o(r) = r**3 - 3*r**2 + 5*r - 5. Let d be o(2). Suppose -d = -j + 76. Is j a multiple of 11?
True
Is 155 - (-1)/(3/15) a multiple of 10?
True
Let q(p) = -5*p**3 + 2*p**2 - 5*p - 8. Let h be q(-4). Suppose 0 = 6*z + 4 - h. Does 20 divide z?
True
Let p be (-3 - -2)*3*1. Let q = 9 - 3. Does 15 divide p*q*32/(-36)?
False
Let c(l) = 71*l + 64. Is 18 a factor of c(10)?
True
Let n(w) = -w**3 - 2*w**2 + 6*w + 2. Let t(p) = p**3 - 4*p**2 + p + 2. Let o be t(3). Let k be n(o). Is 0 + 62 - (k - 11) a multiple of 21?
True
Suppose -5*z + 1050 = 5*u, -262 = -4*u - 5*z + 579. Is 12 a factor of u?
False
Let k(o) = 11*o - 1. Let g be k(-4). Suppose -4*x - 2*p + 105 = -267, 279 = 3*x - 4*p. Let v = g + x. Does 24 divide v?
True
Does 12 divide 3261/21 - (-4)/(-14)?
False
Let z = 93 - 65. Let u = z + -26. Does 8 divide (-2737)/(-69) - u/(-6)?
True
Let f(q) be the third derivative of q**6/120 - q**5/30 + 17*q**3/2 + q**2 - 2*q. Is 17 a factor of f(0)?
True
Let a = -35 + 30. Let n = a + 37. Is 16 a factor of n?
True
Let l be 77/(-14) - 2/(-4). Let q be l*((-6)/(-2) - 2). Let j(f) = -f**3 - 4*f**2 - 10. Is 3 a factor of j(q)?
True
Suppose o + o = 0. Suppose o = -0*i + 3*i + 21. Let k = i - -13. Does 3 divide k?
True
Let o be (-9)/7 + 4/14. Let k be ((-840)/12)/(o/4). Suppose t - 6*t + k = 0. Is 14 a factor of t?
True
Let h be (-572)/(-39) + 4/(-6). Suppose -5*c - 19 = 4*d, 2*d + 0 = -c - 11. Is 3 a factor of 9*(h/d - -3)?
True
Let q be (189 - 10) + 0 + 0. Suppose -4*p = -635 + q. Let f = p - 75. Is f a multiple of 15?
False
Suppose v - 1993 = -4*n, -n + 4*v + 88 + 423 = 0. Let f = n + -281. Is 32 a factor of f?
False
Suppose 2900 = 4*w + w. Suppose -44 + 245 = -2*a + 5*y, 5*a + 3*y + w = 0. Let u = a - -183. Is 14 a factor of u?
True
Let p = -151 + 346. Let a = 280 - p. Is a a multiple of 11?
False
Suppose 0 = -2*i + 327 + 209. Is i a multiple of 67?
True
Suppose 0 = -17*z + 8394 + 4084. Is 17 a factor of z?
False
Suppose 4320 = f + h, -6*h + 7*h + 17260 = 4*f. Does 45 divide f?
False
Does 31 divide (-2)/(-4) - (-25740)/104?
True
Let z = 148 + -22. Is 12 a factor of z?
False
Let j be 3*(3 + (-1 - 0/(-2))). Let f(h) = -11 + 14*h + 8 + 0*h. Is f(j) a multiple of 20?
False
Suppose 2*h + 2*b = -h + 309, 0 = -b. Let y be 61 - -2*(-1 + 2). Let p = h - y. Is 10 a factor of p?
True
Suppose 10 - 1 = o + 2*p, -4*p + 8 = 0. Suppose 0 = o*m + 5, -2*m = -4*a - 4 + 42. Suppose 516 + a = 5*l. Does 35 divide l?
True
Suppose -22*l - 12512 = -38*l. Is l a multiple of 34?
True
Suppose -2*g + 5*p + 29 = 0, 4*g + 6*p - 4*p = -2. Suppose -g*c + 143 = 2*x - 5*x, -c = -2*x - 70. Does 19 divide c?
True
Let o = 12 + -12. Suppose -294 = -2*p + 3*x, -2*x = 3*p - o*p - 415. Suppose 0 = -2*z + 5*d + 63, 0 = -4*z + 2*d - 7*d + p. Is 17 a factor of z?
True
Let q be (-1 - (-948)/(-11)) + (-4)/(-22). Let b = 147 + q. Does 11 divide b?
False
Suppose 32*v - 27*v - 2400 = 0. Does 34 divide v?
False
Suppose 0 = f + 2*c - 47, 259 = -0*f + 5*f + 2*c. Let q = -15 + f. Is 17 a factor of q?
False
Let z(f) = f**3 - 11*f**2 - 4*f + 3. Suppose -52 = -4*a - 2*x, -2*a - 4*x + 29 = -3. Is 9 a factor of z(a)?
True
Let x be ((-24)/(-15))/(304/100 + -3). Suppose -33*v + x*v - 98 = 0. Is 14 a factor of v?
True
Does 7 divide 258/1419 - ((-80292)/22)/2?
False
Let r = 138 - 88. Suppose 0 = -4*g - 2*j + r, 3*j = -3*g + 22 + 11. Is g even?
True
Suppose -3*f = -4*f + 5*a + 14, -5*f - a = -174. Suppose -f = -4*u + 62. Let o = -9 + u. Does 8 divide o?
False
Let x be 3/(4/40*-2). Let i = -15 - x. Suppose i = -a, 52 = 4*p - 0*a - a. Is 5 a factor of p?
False
Let v be (14 - 4/2) + -2. Let n be (0 - -1)/((-2)/50). Is (v/n)/((-1)/80) a multiple of 8?
True
Suppose 2*n = -5*r + 28, -5*r = -n - 12 - 4. Is 2 a factor of n?
True
Suppose 4*g = -2*g. Suppose -205 = -2*s - g*z + 5*z, -s + 95 = -4*z. Let i = s - 73. Does 12 divide i?
False
Let o = 257 - 101. Suppose o = f + 42. Is 19 a factor of f?
True
Let d = 2112 - 1234. Is 34 a factor of d?
False
Let z = -1190 + 1974. Is 16 a factor of z?
True
Suppose 3*t + g = -3*g + 1435, 0 = -t + 5*g + 453. Does 35 divide t?
False
Suppose -3*x - 15 + 180 = 0. Suppose s = 6*o - 5*o - x, 3*s - 130 = -2*o. Is o a multiple of 8?
False
Let t(f) = 2*f**3 + 4*f**2 - f - 1. Let x be t(7). Let r = x - 516. Does 16 divide r?
False
Let t = 20 + -6. Let f = 16 - t. Suppose f*w - 90 = -w. Is 10 a factor of w?
True
Let p be (-2)/6 - 556/(-3). Suppose 0 = 2*o + 3*o - p. Let g = o + -24. Does 5 divide g?
False
Let g(h) = 6*h**3 + 2*h**2 + h - 7. Let o be g(3). Let m = 299 - o. Does 17 divide m?
False
Let h(p) = 3*p**3 + 9*p**2 + 7*p - 8. Let i(k) = k**3 + 1. Let u(r) = -h(r) + 2*i(r). Let w be u(-8). Suppose 0 = -w*c + 54 + 4. Is 14 a factor of c?
False
Let d = 13 + -9. Suppose -c = -3*c - 4, d*g = -5*c + 714. Suppose 5*w - g = -3*x - 0*w, x + 4*w = 51. Is 20 a factor of x?
False
Let h be (-2)/7 - (-550)/14. Suppose -3*f - 3*j = -h, -5*f - 2*j + 32 = -18. Is f a multiple of 8?
True
Let d(n) be the third derivative of -11*n**6/40 - n**5/60 - n**4/24 - 9*n**2. Is d(-1) a multiple of 11?
True
Suppose 3*r + g - 1013 = 0, -7*g - 326 = -r - 5*g. Is r a multiple of 28?
True
Suppose -3*w - 71 = -5*z + 24, -4*w = 2*z - 12. Suppose b - z = -2*k, -71 = -5*k + 2*b - 13. Does 3 divide k?
False
Is (7 - -1394) + -4 + 10 a multiple of 21?
True
Let f be ((-6)/4)/((-6)/4). Let i = f + -54. Let k = 115 + i. Does 12 divide k?
False
Does 16 divide ((-3)/2)/(12/(-1072))?
False
Let g = 184 + -16. Is g a multiple of 12?
True
Let z(q) = 2*q**2. Let c be z(6). Suppose -3*h + 2*w + 267 = -3*w, -4*w + c = h. Let f = h + 6. Does 18 divide f?
True
Let n = 312 + 1398. Does 30 divide n?
True
Let f(q) = -10 + 13 - 2*q + 7*q**2 - 8. Is f(4) a multiple of 9?
True
Suppose -3*w + 18 = -4*l - l, -2*l - 6 = -w. Is 3 a factor of w?
True
Let m = 360 - 160. Does 12 divide m?
False
Let j(m) = 9*m**2 + 6*m - 3. Does 12 divide j(-5)?
True
Let f = 24 - 18. Let h be (9/f)/((-4)/(-8)). Suppose 4*z = 3*r - 311, 4*r + h*z - 363 = -2*z. Does 30 divide r?
False
Suppose -54 = -0*y - 3*y. Let j = y + -15. Is (-1 + j)*305/10 a multiple of 22?
False
Let n(z) = z**3 + 2*z**2 + 3*z - 18. Is n(6) a multiple of 12?
True
Suppose -5*m + 1305 = 2*k - 155, -2*k - 2*m = -1448. Is 37 a factor of k?
False
Suppose 3*b + p + 12 = 2*p, 3*b - 3*p = -6. Let l be (-10)/4*12/b. Let f(w) = 2*w**2 - 3*w - 4. Is f(l) a multiple of 10?
True
Suppose 3*y = 22 + 47. Suppose k + 19 = -4*t, y = -3*k + k - 3*t. Is 9 a factor of (1/1)/(k/(-98))?
False
Suppose -5*v + 5*z + 244 = z, 4*z = -2*v + 92. Does 5 divide v?
False
Let j = 235 + -27. Let v = j + -39. Is v a multiple of 13?
True
Let k = 458 + -312. Is k a multiple of 8?
False
Let t(i) be the first derivative of -i**3/3 + 7*i + 6. Does 2 divide t(0)?
False
Let r = -5 + 6. Let z(y) = -3*y - y**2 - 9*y - 8 - r. Is z(-10) a multiple of 11?
True
Suppose 3*v + 21*l - 1710 = 19*l, -3*v = 5*l - 1710. Does 95 divide v?
True
Let x = 401 - 397. Is 4 a factor of x?
True
Let k = 3788 + -2132. Does 24 divide k?
True
Let t(o) = -21*o**3 - o**2 + 2*o - 1. Let d be t(1). Is 12 a factor of (-1624)/d - ((-4)/(-3))/(-2)?
False
Suppose -4*c - c + 140 = 4*d, 5*c - 20 = 0. Let b(h) = d - h - 4*h + h + 2*h. Is b(0) a multiple of 4?
False
Let a = 0 - -3. Suppose 2*m - 5*j - 138 = 0, -5*j - a - 7 = 0. Suppose -c + m = c. Is c a multiple of 14?
False
Let i(p) = p + 66. Is 12 a factor of i(35)?
False
Suppose -5*h = 3*o - h, -5*h + 31 = -4*o. Is ((-2)/o)/((-12)/(-4368)) a multiple of 14?
True
Let h = 79 + -53. Does 4 divide h?
False
Let t = 25 - 23. Suppose 4 = -t*j + 26. Does 5 divide j?
False
Suppose -r + 294 = -151. Suppose 3*j = r - 151. Suppose 94 = 5*s - 5*c + 3*c, -5*s = -4*c - j. Does 9 divide s?
True
Let o(y) be the first derivative of 7*y**3 - 2*y**2 + 8*y - 4. Does 21 divide o(2)?
True
Does 19 divide (-1)/((-45)/(-228) + (-5)/20)?
True
Let z(k) = k**2 + 15*k + 25. Let o be z(-14). Suppose 0 = -5*a + 6*a. Is o/22*(178 - a) a multiple of 25?
False
Let r be (6/4)/(13/(-26)). Let p(s) = -s**2 + 3*s - 1. Let w be p(2). Is 6 a factor of (w - -2)/r - -19?
True
Suppose -213*a = -224*a + 20064. Is a a