?
False
Let x(r) be the third derivative of -r**6/120 + r**5/6 + 11*r**4/24 + 2*r**3/3 - 14*r**2. Let w be x(11). Is 3 a factor of 14 - (3 - w/1)?
True
Let w(c) = -c**2 - 14*c + 12. Suppose 2*d + 20 = -2. Is w(d) a multiple of 10?
False
Suppose -5*v + l = -8, -2*l = -v - v. Let z(o) = 3*o**3 + 2*o**2 - o - 3. Is 12 a factor of z(v)?
False
Let x be (0/(-3))/(0 + -2). Suppose x = -12*k + 3*k + 1557. Does 25 divide k?
False
Let o = -1 + 5. Suppose 3*g - z = -o*z + 30, 4*g = 4*z + 72. Suppose 2*x = 14 + g. Is x a multiple of 14?
True
Does 57 divide ((3 + -2)/1)/(10/6030)?
False
Let g(s) = s**2 - s - 16. Let o be g(6). Let q = 17 + o. Is 30 a factor of q?
False
Suppose -10*j - 25 + 45 = 0. Suppose -60 = -i - 3*m, 0 = j*m - m - 5. Is i a multiple of 15?
True
Let p(d) = -109*d - 46. Let k(n) = 55*n + 23. Let l(x) = -5*k(x) - 2*p(x). Is l(-3) a multiple of 29?
False
Suppose 0 = 4*r + 3*f, 5*r - 4*f - 15 - 16 = 0. Is 10 a factor of (-34 - r)*(3 + -4)?
False
Is (-17232)/(-64) + 5/(-4) a multiple of 20?
False
Suppose 7*i + 5 = 19. Suppose y - 420 = -4*m, i*y + 3*m - 996 = -181. Suppose -13*u - y = -18*u. Is u a multiple of 20?
True
Let r be 33/4 + (-6)/(-8). Let v(t) = t**2 - 9*t. Let k be v(r). Suppose -2*z - z + 24 = k. Does 3 divide z?
False
Suppose 2*l + 2*a = 330, 0 = 4*l - 3*a + a - 642. Does 18 divide l?
True
Let r(q) = 4*q**3 + 3*q - 4. Let m(k) = -8*k**3 - 7*k + 9. Let w(x) = 4*m(x) + 9*r(x). Let i be w(2). Let n = i + -10. Is n a multiple of 5?
True
Suppose 4*l + y = 7435, 0 = 5*l + y - 3134 - 6161. Is l a multiple of 15?
True
Let f = -84 + 165. Is f even?
False
Let y = -3182 - -5727. Is 51 a factor of y?
False
Let u = 1034 - 674. Suppose -5*f - 161 = -3*o, u = 5*o - f + 121. Is o a multiple of 8?
False
Suppose -r - 117 = -2*i, -27 = -5*r - 12. Let a = i - -157. Suppose 5*c = -15, 2*z - c = 7*z - a. Does 11 divide z?
True
Let l(f) = -f - 6. Let i be l(-8). Let j(c) = 2*c + 23*c**3 - 3*c**i + 2*c**2 + 17*c**3 - 2. Is j(1) a multiple of 11?
False
Suppose -4*x - 4*f = 0, -5*x + 2*f + 18 + 3 = 0. Suppose 4*t + w = 80, -w + x*w - 80 = -4*t. Is 11 a factor of t?
False
Suppose -2*o + j = 5, 3*o + 2*j + 14 + 4 = 0. Let h(v) = v**3 + 6*v**2 + 2*v - 2. Is h(o) a multiple of 22?
True
Let f(j) = -3*j**3 - 3*j**2 + 4*j + 6. Suppose -3*z - 15 = 2*z. Is f(z) a multiple of 12?
True
Let h = -114 + 222. Suppose -3*p + 2*l + h = 0, -4*l - 121 = 5*p - 301. Is 18 a factor of p?
True
Suppose 2*o - 2*t = 6*o - 18, -o - t + 6 = 0. Suppose -o*m - 2*m = 0. Suppose 5*i = -m*i + 140. Does 16 divide i?
False
Suppose -45 = -5*g - 4*s, -2*s + 10 = -0*s. Does 3 divide 2944/40 - (-2)/g?
False
Let t be (-75)/(-5)*(-1 - -2). Let f(k) = -k**3 + 14*k**2 + 20*k - 15. Does 5 divide f(t)?
True
Suppose 4*i + 7100 = 14*i. Is 70 a factor of i?
False
Let v = -16 - -23. Let n = v - 7. Suppose 140 = 4*k - 5*i, n = 4*k - 2*i - 100 - 28. Is 6 a factor of k?
True
Suppose -5 - 2 = g + 3*k, -3*k = 6. Is ((-80)/6)/(g/6) a multiple of 22?
False
Suppose -234*j = -249*j + 21330. Does 12 divide j?
False
Suppose 7*t + 14 = 9*t. Suppose 76 = -3*x - i, 112 = -t*x + 3*x - 4*i. Let n = -9 - x. Does 4 divide n?
False
Let v(y) be the second derivative of 89*y**4/12 - y**2/2 + 3*y. Let b be v(2). Suppose -b = -5*g + 3*u, -u = -2*g + 184 - 43. Does 21 divide g?
False
Suppose 3*b + 2*x = 68, 5*b + 4*x = -0*b + 110. Is b a multiple of 3?
False
Suppose -5*l + 28 - 8 = 0. Suppose l*v - 174 = v. Does 29 divide v?
True
Let r = 506 - 230. Let p be (-3)/(2 + -3) - r. Does 10 divide 8*(p/(-12))/7?
False
Suppose n + 1872 = 10*n. Is n a multiple of 30?
False
Let a be 8 - (-1 - -5 - 2). Does 13 divide (2 - a) + 87 + -2?
False
Suppose 1 - 35 = -2*w. Let t = w - -15. Does 4 divide t?
True
Let u(p) = 24*p**2 - 6*p + 6. Is 8 a factor of u(1)?
True
Suppose 10*j = 9*j + 149. Suppose 3*u - 28 = j. Is 29 a factor of u?
False
Suppose -66 = -25*z + 31*z. Let p(n) = -n + 3. Is 6 a factor of p(z)?
False
Let r = -188 + 526. Does 13 divide r?
True
Suppose 0*x - 7*x + 490 = 0. Suppose -8*q + 3*q = -x. Is 14 a factor of q?
True
Let r be 4/(-10) - 2 - (-3)/(-5). Is 2/(-3) - (-4 + 365/r) a multiple of 25?
True
Let k(j) = j**3 + 2*j**2 - 1. Suppose 4*b + 0 = -12. Let y be (-4)/(-2 + b + 3). Is 14 a factor of k(y)?
False
Let h(k) = 2*k**2 + 24*k - 10. Let i be h(-12). Does 18 divide (-51)/(((-105)/i)/(-7))?
False
Let z = -2122 - -3335. Does 21 divide z?
False
Suppose 1570 = 5*i - 1470. Does 32 divide i?
True
Let r be (2 + -3)/(((-2)/(-74))/1). Let g = -19 - r. Is g even?
True
Suppose -2*m - f = -23, -4*m = -4*f + 39 - 115. Is 19 a factor of 3318/98 + 2/m?
False
Let s = 174 + -169. Suppose 4*k = 3*f + 4, 2*f - 3 - 1 = k. Suppose 2*d - s*z = d + 63, -2*d - k*z = -126. Is d a multiple of 21?
True
Suppose 0 = -r + 3*k + 9, 3*r = -2*k + 29 - 2. Let z = r - 9. Suppose -3*s - 45 = -3*f, -3*s = -z*s + 9. Is f a multiple of 8?
False
Let a(x) = -x**2 + 4*x + 15. Let i be a(0). Suppose 2*f + m - 13 = 0, f + f - i = m. Does 7 divide f?
True
Suppose z + z = 626. Suppose -3*s - v = -s - z, 4*s - 641 = -5*v. Does 14 divide s?
True
Suppose 48*p + 2*r = 44*p + 16602, -4*r = 4*p - 16592. Does 12 divide p?
False
Suppose -11*t + 6951 = -5930. Does 50 divide t?
False
Suppose 2*z = 3*w - 9 + 32, 0 = -2*z - 5*w - 1. Is 7 a factor of (-4 - -1) + z + -1 + 80?
False
Suppose 947 = 3*z - t, 7 - 306 = -z - 3*t. Suppose -9*u + 82 + z = 0. Is u a multiple of 11?
True
Suppose -5*d + k + 3*k - 2 = 0, 5*d - 2*k = 4. Suppose -232 - 324 = -5*s - p, d*s = 4*p + 218. Is s a multiple of 7?
False
Let l be 2*(-9)/(-6) + -2. Does 23 divide (-3 - -6 - l)/((-2)/(-107))?
False
Suppose 0*g = 3*g - 12. Suppose 0 = g*f - f + 483. Is 9/27 - f/3 a multiple of 18?
True
Let m(p) = -2*p**3 + 21*p**2 + 13*p + 19. Suppose -23*u + 27*u - 44 = 0. Is m(u) a multiple of 6?
False
Let t = 275 - 451. Is 22 a factor of (t + 0)/((-3)/3)?
True
Let h = 1914 - 810. Is 46 a factor of h?
True
Suppose 2685 + 2464 = 4*c + 5*p, 3*c - 4*p = 3885. Does 29 divide c?
False
Let k(p) = -4*p + 13. Let q be k(9). Let y = q + 5. Let u = 46 + y. Does 11 divide u?
False
Let f(s) = -5*s - 9. Let m(l) = -1. Let x(g) = f(g) + 5*m(g). Let n be x(-13). Suppose n + 20 = 3*a + 2*d, -4*d = -4*a + 68. Does 21 divide a?
True
Does 83 divide -68*(747/(-36) - 0)?
True
Let o(i) = i**2 + 9*i - 49. Let b be o(-10). Let f = b - -55. Is f a multiple of 16?
True
Suppose -5*r = -20, -3*t - 3*r = -16 + 4. Suppose 2*w - 129 = 3*b, t = -w - b - 6 + 63. Does 13 divide w?
False
Let a(q) = 2*q + 25. Let z be a(-12). Is 17 a factor of -46*2*(-2 + z) + 3?
False
Let d be (66/(-22))/((-3)/2). Let g = -2 - -92. Suppose d*s - 4*t - g = -0*s, -3*s = 3*t - 117. Is s a multiple of 18?
False
Suppose -2*m + 58 = 4*a, 58 = 2*m + 7*a - 2*a. Does 6 divide m?
False
Let s = 135 + 103. Does 3 divide s?
False
Suppose 0 = 2*w + 8. Let b be ((-3)/2)/((-1)/w). Let a = 11 - b. Does 14 divide a?
False
Suppose 12*m - 6196 - 128 = 0. Does 10 divide m?
False
Suppose 38 + 2 = 4*k. Let m be (-54)/(-30) - (-2)/k. Suppose m*q - 5*q + 27 = 0. Does 9 divide q?
True
Suppose 0 = -4*v + 13241 - 3725. Is v a multiple of 39?
True
Let l be 7/2 - (-7)/(-14). Suppose -l*u - 5 = -38. Is u a multiple of 3?
False
Let z(r) = -5*r**3 + r**2 - 3*r - 2. Let a = 29 - 17. Suppose -f - 3*c + 11 = 2, 3*c - a = 0. Does 31 divide z(f)?
False
Let z be (4 - 0/(-2))/1. Let p(i) = 6*i**2 + 7*i - 6. Is p(z) a multiple of 30?
False
Let r(x) = x**2 + x - 74. Let o be 50/(-15) + (-3)/(-9). Let h(p) = -2*p**2 - 2*p + 75. Let y(s) = o*r(s) - 2*h(s). Is 24 a factor of y(0)?
True
Let u(g) = -8*g - 2. Let n be u(-2). Suppose n*c - 5*c = 1080. Is c a multiple of 24?
True
Let a(g) = g**2 + 9*g + 2. Let k = -12 - -2. Let x be a(k). Does 23 divide x/(16/(-4)) - -49?
True
Suppose 4*i - 5*d - 1478 = 0, -1839 = -10*i + 5*i + 2*d. Is i a multiple of 31?
False
Let h(z) = 7*z - 6. Let t be h(4). Let y(v) = 1. Let g(n) = -13*n + 11. Let u(a) = t*y(a) - 2*g(a). Does 17 divide u(1)?
False
Let i(g) = 975 + 14*g + 4*g**2 - g**2 - 975. Is 20 a factor of i(-8)?
True
Let h be 2/9 + (150/27)/2. Suppose -2*a + 3*o + 157 = 0, h*a + 2*o - 162 = a. Is 16 a factor of a?
True
Let w(f) = -f**3 - 13*f**2 + 12*f - 20. Let o be ((-78)/(-18))/(1/3). Let r be (0 - 1)*(o - -1). Is w(r) a multiple of 8?
True
Is 29 a factor of ((-4)/(-18) 