 Is (0 + (-6)/k)/((-11)/44) even?
True
Let b = 5735 - 4672. Does 18 divide b?
False
Suppose 0 = 2*u - 5*x - 3770, 5*u + 2*x - 7134 = 2320. Suppose 11*h = -3*h + u. Is 10 a factor of h?
False
Suppose -24 = -4*i, 0 = 3*a + 8*i - 13*i - 4083. Is a a multiple of 59?
False
Suppose 0 = 4*p + 82 - 94. Suppose 12*k - 411 = -j + 14*k, k = -p. Does 15 divide j?
True
Let i be (16 - 1)*(-9)/(-15). Suppose -i*l = -14 + 77. Let h = l + 20. Does 12 divide h?
False
Let t = 618 - 414. Suppose -5*k + t = -171. Is k a multiple of 5?
True
Suppose x + t + 4 = 43, 0 = -5*x + 5*t + 205. Is 1/5 + 26872/x a multiple of 14?
True
Suppose -7*g = -9*g - 54. Let s = g - -32. Suppose s*r - 150 = -r. Is r a multiple of 5?
True
Suppose -4*j = -4*f + 8, 4*f - 3*j - 2*j - 6 = 0. Suppose -2*x + 816 + 511 = -r, f*r - 1996 = -3*x. Is x a multiple of 8?
True
Let f be (32/(-3))/(-8) - (-848)/3. Suppose h = 2*w - f, -3*w + 8*w - 3*h - 708 = 0. Is w a multiple of 24?
True
Suppose 2*q + 4*z = 44698, -44*z + 89426 = 4*q - 46*z. Is q a multiple of 17?
True
Is (-4280848)/(-407) - (-112)/(-2072) even?
True
Suppose -64*i - 79590 = -78*i. Does 21 divide i?
False
Let r(k) = 15*k - 9. Let w = 5 - 3. Let f be 10 + 0*w/6. Is r(f) a multiple of 47?
True
Let t(z) = 3*z + 13. Let a be t(-21). Let m = a - -52. Suppose -5*w - 3*k = 2*k - 90, m*w + 3*k - 34 = 0. Is w a multiple of 5?
True
Let o(n) = -2*n**2 + 9*n + 17. Let d(g) be the third derivative of -g**5/60 + g**4/24 + g**3/6 + 3*g**2. Let w(q) = -6*d(q) + o(q). Is w(5) a multiple of 42?
True
Let r = 21893 + -2911. Does 7 divide r?
False
Let w(z) = -z**3 - 52*z**2 - 921*z. Is 10 a factor of w(-27)?
False
Let d = -355 - -352. Suppose 4 = k + 10. Is (-4 - (-4 - 76))*d/k a multiple of 20?
False
Suppose -18*u + 36789 - 5301 = 30*u. Does 118 divide u?
False
Suppose -135930 = -10*o - 335*o. Is o a multiple of 5?
False
Suppose -3*q = -2*a + 15694 + 29708, -q - 22698 = -a. Is 12 a factor of a?
True
Let v be 18/10 + (-5)/(-25). Suppose 0 = -5*b + v*t + 12, t = 4*b - 4*t + 4. Suppose 155 = b*i - 5*p, 0 = -2*i - 3*p - 17 + 78. Is 7 a factor of i?
True
Let g be 434/35 - 8/20. Suppose -g = 4*a, -3*a - a = -4*d + 112. Does 5 divide d?
True
Let c be (6/9)/((-1)/(-597)). Let d = -132 + c. Let p = -134 + d. Is p a multiple of 33?
True
Let r(v) = -13*v + 6. Let p = 56 - 62. Does 21 divide r(p)?
True
Let j = 65 - 62. Suppose -j*z = -4*s - 0*z + 16, 0 = 3*s + 5*z + 17. Does 9 divide ((-60)/16)/(s/(-12))?
True
Suppose -34203 = -5*c + 1839*t - 1836*t, 0 = -5*c + 2*t + 34202. Is c a multiple of 9?
True
Suppose 10*r - 9472 - 36938 = 0. Suppose -61*l + 64*l = r. Is 13 a factor of l?
True
Let r(j) = 10*j**2 - j - 301. Is 70 a factor of r(-20)?
False
Let c(s) = 131*s**2 - 12*s + 7. Let b be c(3). Let i = b - 748. Is i a multiple of 19?
False
Suppose b - 5*f - 6411 = 0, 0 = -5*b - 5*f + 27740 + 4105. Is b a multiple of 73?
False
Let a = 225 + -157. Let t = a + -65. Does 13 divide 0 + 173 - (-20)/(-15)*t?
True
Let j = 167 - 162. Suppose 8*l - j*l = 567. Does 7 divide l?
True
Let n(b) = -2*b**3 + 14*b**2 + 12*b + 7. Let z be n(9). Let t = -41 + z. Let u = 481 + t. Does 31 divide u?
False
Let r(a) be the first derivative of 2*a**3/3 - 5*a**2/2 - 16*a + 133. Does 24 divide r(8)?
True
Let o(f) = -2*f**3 + 8*f**2 - 3*f - 19. Let u be o(-7). Suppose -18*p = -19*p + u. Is p a multiple of 70?
False
Let s(p) = 34*p - 24. Let g(b) = -8*b + 6. Let m(d) = -18*g(d) - 4*s(d). Does 3 divide m(6)?
True
Suppose -4*y + 750 = 2*u, -3*u + 4*u = 2*y - 385. Let k be ((-7)/(-14))/(2/(-500)). Let d = y + k. Does 13 divide d?
True
Let k be 1*(99 + 4 - 2). Let f = k + -66. Suppose -17*d = -12*d - f. Is 5 a factor of d?
False
Let k(t) = 2*t + 17. Let y be k(4). Suppose -3*j - y + 6 = -4*v, 3*v - 3*j = 15. Suppose -v*p + 88 = h + h, 3*h - 132 = 2*p. Does 9 divide h?
False
Suppose -93*y = -90*y - 9. Suppose 4*f + 43 = y*d + 1120, -3*f + d + 809 = 0. Is 15 a factor of f?
True
Suppose 0 = 36*z - 219414 - 176151 - 896979. Is z a multiple of 22?
True
Let p(l) = -2*l + 36. Let q be p(22). Let b be (-1 - (-16 - -1)) + 10 + q. Suppose 18*k = b*k + 58. Is k a multiple of 6?
False
Suppose -41835 = -4*o + d, -16*d = -3*o - 12*d + 31360. Does 20 divide o?
True
Let k = -90905 + 127532. Does 45 divide k?
False
Let g be 12*12/(-78) - (-2)/(-13). Is g - (1840/(-5) - -6) a multiple of 24?
True
Suppose -4*s + 181 = -111. Let u = 83 - s. Suppose 0 = 15*c - u*c - 840. Does 42 divide c?
True
Let i(b) = -42*b**2 + 1387*b - 33. Let v be i(33). Let a(f) be the first derivative of -f**2/2 + 73*f - 1. Is a(v) a multiple of 14?
False
Let z(o) = -9 - 9 + 60*o**2 - 3 - 3 + 6*o - 6. Does 17 divide z(-5)?
False
Suppose -5*m + 2*r = -214, -r - 188 = -4*m - 5*r. Suppose 404 = 4*v - 4*h - m, -3*h = 0. Suppose 3*f = 4*c + 196, 4*c = 4*f - v - 156. Does 12 divide f?
True
Suppose n - 334 = -2*s, n = -5*s + 401 - 49. Does 6 divide n?
False
Suppose 0 = -5*r - 3*o + 30585, 63*r + 4*o + 30620 = 68*r. Is r a multiple of 24?
True
Let a(k) be the first derivative of -3*k**4/2 - 3*k**3 + 7*k**2 + 22*k + 213. Is a(-4) a multiple of 103?
True
Suppose -d - 1337 = 5*l + 2*d, -3*l = -d + 791. Suppose 0 = 4*k - 1135 - 417. Let a = l + k. Is a a multiple of 25?
False
Is (7 + 11 - 69)/(3/(-142)) a multiple of 71?
True
Is 5 a factor of (-3 - 88/(-11))*(-3)/(3/(-319))?
True
Let o be 2/4 - (-3)/18*33. Suppose 5*v = -10, -o*f + 3*v + 86 = -5*f. Is 4 a factor of f?
True
Let j(g) = g**3 + 23*g**2 + 8*g + 31. Let l be j(-24). Let d = l - -1871. Does 42 divide d?
True
Let c(s) = -s**3 - 3*s**2 + 2*s + 3. Let o be c(-6). Suppose 4*y + 4*a - 456 = -0*y, -2*y + 5*a + 228 = 0. Let g = y - o. Is 5 a factor of g?
True
Let u(d) = -d**3 - 10*d**2 + 13*d + 23. Let g be (-11)/(-2)*(-5)/(20/8). Let a be u(g). Is (a - (-8)/40)*10/4 a multiple of 2?
False
Suppose -9227 = -2*o - 4*u + 4289, 2*o + 5*u - 13513 = 0. Does 43 divide o?
False
Suppose 2*h = -3*x - 0 - 2, -x = 4*h + 14. Suppose 0 = -4*b - 3*q + 554, -2*q - 2 - x = 0. Is 28 a factor of b?
True
Suppose 0 = 101*i - 76*i - 906725. Is i a multiple of 14?
False
Suppose -y + 549 = -2*f, 2*f - 2*y - 57 = -607. Let r = 717 + f. Is 91 a factor of r?
False
Let i = 553 + -398. Let g = 820 - i. Is 48 a factor of g?
False
Suppose -4*h + 3*j = -h - 951, -3*j - 1273 = -4*h. Suppose -5*s + h = -5*r + 8*r, r - 3*s - 112 = 0. Does 5 divide r?
False
Suppose 2*j - 8*j - 156 = 0. Let t = -20 - j. Suppose -q + 7 = -t. Is q even?
False
Let c(y) = 7*y**3 - 4*y**2 + 9*y - 6. Let m(h) = 23*h**3 - 13*h**2 + 29*h - 18. Let f(t) = 7*c(t) - 2*m(t). Does 10 divide f(2)?
True
Let h(n) = 3*n**2 + 3*n - 7. Let c be h(-4). Let d = 27 - c. Does 13 divide (0 + 65/d)*(2 + -4)?
True
Let i be (9 - 0 - (3 - 0)) + 3. Suppose -1031 + 383 = -i*h. Is 4 a factor of h?
True
Suppose 0 = -v - 2, 5*v + 10 = 5*g. Suppose 0*h - s - 86 = 5*h, -5*h + 5*s - 110 = g. Let w(d) = d**2 + 4*d + 14. Is w(h) a multiple of 45?
False
Let o(n) = n**2 + 4*n + 3. Let t(x) = x**2 + 4*x - 5. Let m be t(-4). Let q be o(m). Let a(v) = v**2 - 6*v + 11. Is 9 a factor of a(q)?
True
Let k(j) = -j**2 - 3. Let w be k(0). Is w - 607/(-11) - 2/11 a multiple of 11?
False
Let j be 116/16 + 3/(-12). Let n(t) = -70*t + 12. Let d be n(j). Is 7/56 - d/16 a multiple of 10?
True
Let d = 4 - -1. Suppose -d*f - 3*r = 12 - 5, 3*r + 3 = -3*f. Does 24 divide 0 - 9*16/f?
True
Suppose -44 - 58 = -17*w. Is 25 a factor of -124*(w - 31/2)?
False
Suppose -311 = 2*w + 5*v + 177, 1254 = -5*w - 4*v. Let t = -164 - w. Let j = -40 + t. Does 10 divide j?
True
Suppose 343*p - 352*p + 298710 = 0. Does 101 divide p?
False
Suppose 9*b - 4*b - 9425 = -5*w, 0 = b + 4*w - 1888. Does 4 divide b?
True
Let n(l) = 16*l**2 + 36*l - 170. Is 19 a factor of n(18)?
True
Suppose 2*x - 2802 = 5*u, 4*x = -x - 5*u + 6970. Does 8 divide x*(-8)/(-32) - -2?
False
Let m(y) = y**2 - 3*y - 39. Suppose 5*i = 5*f - 35, f - 4*i + 0*i = 22. Let z(t) = 3*t**3 - t**2 - 4*t + 5. Let b be z(f). Is 14 a factor of m(b)?
False
Let x(a) = a**3 - 13*a**2 - 2*a + 130. Let v(m) = 17*m - 427. Let t be v(26). Does 22 divide x(t)?
True
Let a = 46 - 46. Suppose 2*m - 2*q - 60 = a, 150 = 3*m + 2*m + 2*q. Suppose 0 = -2*z + 2 + m. Is z a multiple of 4?
True
Let x be 63 + -3 + (-8)/4. Suppose u + 50 - x = 0. Is (u/(-20))/(1/(-45)) even?
True
Is 81 a factor of (