oes 2 divide v?
True
Let v be (-4 + 8)*(-4)/8. Let j(i) = -10*i**3 + 2*i**2 + 2*i + 1. Is 14 a factor of j(v)?
False
Let f(k) = 3*k**2 + 11*k + 16. Suppose 8*q + 42 + 22 = 0. Is f(q) a multiple of 15?
True
Suppose 162 = 2*z - 2*s, 0 = -2*z + z + 2*s + 81. Is 7 a factor of z?
False
Let d(u) = 11*u + 70 - 46 - 54. Does 7 divide d(11)?
True
Let p = 56 - 106. Let x = p - -199. Is 16 a factor of x?
False
Let z(m) = m + 2. Let x(v) = -3*v - 2. Let i(l) = x(l) - z(l). Is i(-3) even?
True
Is 33 a factor of -6*((-22048)/192 - (-4)/(-6))?
True
Let p = -8 - -11. Suppose -9*q - 4 = -13. Is 1/((p/54)/q) a multiple of 9?
True
Suppose 5*a - h = 305, 16*a - 13*a = -4*h + 160. Does 4 divide a?
True
Is 21 a factor of 44232/27 - 28/126?
True
Let l(o) = -10*o. Suppose -43 = 4*k - 8*w + 9*w, 2*w + 14 = -2*k. Is l(k) a multiple of 40?
True
Let s(u) = -11*u - 6. Let j be s(-4). Let x = 119 - j. Is 9 a factor of x?
True
Let b(p) = p**3 + 6*p**2 + 8*p - 6. Let z be b(5). Suppose 5*c = -2*i + 289, -5*c - 8 + z = -2*i. Is c a multiple of 13?
False
Does 6 divide (12/(-14))/((-104)/4732)?
False
Let j(f) = 7*f - 17 - 14*f + 10*f. Is 7 a factor of j(9)?
False
Let i = 28 - -32. Does 12 divide i?
True
Let j(v) = -v**3 - 6*v**2 + 3*v - 6. Let s be (24/10)/(6/20)*-1. Is j(s) a multiple of 7?
True
Suppose -4*y = -4*a - 3*y - 115, 0 = -2*a + 3*y - 55. Let q = a - -5. Is 50/6 - q/36 a multiple of 9?
True
Let d = 8 - 18. Let t = 12 + d. Suppose -t*l = -127 + 13. Is 30 a factor of l?
False
Does 14 divide ((-30)/(-18) - 3)*-24?
False
Suppose -3*p - 4*l = -1654, 2*p = -3*l + 660 + 441. Does 48 divide p?
False
Let t = 15 + -12. Let k be t/2 - (-91)/14. Does 15 divide 12/5*100/k?
True
Let g(d) = 77*d**2 - d - 8. Does 6 divide g(2)?
False
Let s be 12/9*2*-6. Let a = -21 - s. Does 14 divide -13*(-3 + (a - -2))?
False
Let k(s) be the first derivative of -s**3/3 + 11*s**2/2 + 8*s + 11. Does 4 divide k(8)?
True
Suppose 431 = -8*q - 889. Let l = q + 286. Is 16 a factor of l?
False
Suppose 3*s - s = -2*x + 2, -3*x - 9 = -s. Let d be 19/4 - (-33)/(-44). Suppose -b + 28 = s*i, b - 84 = -2*b + d*i. Is b a multiple of 28?
True
Let z(n) = n**2 + 2*n + 1. Let p be z(-4). Let l(c) = -4*c**2 - 5*c - 8*c + 26*c - 12*c + 5*c**2 + 2. Is l(p) a multiple of 23?
True
Let d = 92 + 64. Let m be 47/9 - 6/27. Suppose 0 = 2*s + f - d, 0 = m*s - 2*f - 2*f - 377. Does 11 divide s?
True
Is 20/6*(-132)/(-10) - -1 a multiple of 5?
True
Suppose 21*a - 27*a = -8814. Suppose k = 4*r - a, -8*k - 1825 = -5*r - 3*k. Is r a multiple of 56?
False
Let p = 5 - 0. Suppose -2*k + 2*d + 24 = 0, -k + 4*k = -p*d + 60. Let o = k + -11. Does 3 divide o?
False
Let x(q) = q**3 - 14*q**2 + 16*q - 13. Suppose -22 = -3*k + 17. Is x(k) a multiple of 13?
True
Suppose 2*q - 3*q = -23. Suppose -21*o + q*o = 68. Does 17 divide o?
True
Let b be (-9)/(5/((-15)/9)). Is 18 a factor of -3*(-1)/b - -107?
True
Suppose -20 = -3*n + 7*n, 4*n + 477 = f. Is f a multiple of 9?
False
Is (4 - -47)*16/6 a multiple of 8?
True
Let a = -509 - -509. Let x(o) = 2*o**2 + o + 1. Let c be x(-3). Suppose a = 4*q + c, f - 5 = -0*f - 3*q. Is 17 a factor of f?
True
Suppose v + 2*v - 54 = o, 3*o + 3*v = -138. Let c = -45 + 24. Let u = c - o. Is u a multiple of 7?
False
Suppose 3*t + y = 18, -6*t + 2*t + 2*y + 14 = 0. Suppose 96 = 3*l + 4*h, -t*l - h + 168 = 3*h. Is l a multiple of 18?
True
Let c(r) = 3*r**2 - 31*r - 6. Let h = 60 + -44. Is c(h) a multiple of 14?
True
Suppose 5*w - 2632 = -4*f, -5*w + 3*f + 1971 + 640 = 0. Suppose -5*r + w = 24. Does 20 divide r?
True
Let j(z) = -z**2 + 4*z + 2. Let g be j(4). Suppose g*l = -3*o + 287, -3*o + l + 284 = -0*l. Is 19 a factor of o?
True
Let p(m) = 2*m**2 - 76*m - 90. Is 39 a factor of p(41)?
True
Suppose -71*s - 40 = -67*s. Let a(z) = -8*z + 5. Let i be a(-5). Let d = i - s. Is 14 a factor of d?
False
Let u(s) = -14*s**3 + 4*s**2 + 2. Does 16 divide u(-3)?
True
Let r = -8 + 17. Let u(k) = k**3 - 9*k**2 + 3. Let n be u(r). Is 3 a factor of 0 + 1 + (n - -8)?
True
Let j(l) = -l**2 - 9*l - 12. Let d be j(-5). Let y(g) = 7*g - 16. Does 20 divide y(d)?
True
Let f(v) = -v**3 - 16*v**2 + 17*v - 72. Is 100 a factor of f(-19)?
False
Let h(d) = -d**3 - 7*d**2 + d - 1. Suppose 0 = -5*p, 5*p + 3 = 3*r + 24. Let t be h(r). Let a = t - -15. Is a even?
False
Let w be (16 + -1)*(-2)/(-6). Suppose -4*q - 3*o + 2 + 14 = 0, 0 = -w*o. Suppose 11 = 4*l - c, -3*l + q*c = -6*l + 13. Does 2 divide l?
False
Let g = -129 - -140. Suppose g*c - 572 = 9*c. Is c a multiple of 22?
True
Let r be (-2)/4 + 9/2. Let k be 19/r - (-1)/4. Let l = 32 - k. Is 9 a factor of l?
True
Suppose 65*n = 63*n - 28. Is (n/(-5))/(304/100 + -3) a multiple of 9?
False
Suppose w - 26 = 4*z + 262, 0 = 3*z. Is 24 a factor of w?
True
Let k(z) = -2*z**3 - 36*z**2 - 112*z - 16. Is 17 a factor of k(-16)?
False
Let t = -119 + 216. Is 9 a factor of t?
False
Let u = 435 - 85. Is u a multiple of 53?
False
Let u(m) = -7*m**2 + 208*m - 41. Is 16 a factor of u(17)?
True
Let x = -26 - -3. Let i = 122 + x. Let d = i + -69. Is 21 a factor of d?
False
Let z be (-582)/(-30) - 2/5. Suppose 91 - z = 2*p. Let n = p + -19. Is 17 a factor of n?
True
Let b be 4/22 + (-265)/(-55). Suppose g - 3740 = -5*u, b*u = -3*g + 3016 + 734. Suppose -7*n - 103 = -u. Is 23 a factor of n?
True
Let b be 0 - 2/(-6) - 88/(-33). Let v be 51/2*2 + -1. Suppose 3*f = -4*w + v + 5, -3*f = -b. Is w a multiple of 13?
True
Suppose -z = -511 + 226. Does 15 divide z?
True
Let j be 1/(6/(-4)) - (-875)/21. Suppose 936 = j*u - 38*u. Is u a multiple of 52?
True
Let o = 8 - -188. Suppose -3*c + o = -2*c + w, -2*w - 10 = 0. Suppose 4*g = c - 37. Does 7 divide g?
False
Let l = 154 - 81. Let o = l + -53. Is o a multiple of 4?
True
Does 72 divide (2016 - -1) + 11*(-22)/242?
True
Let a be 3 - (-4 - (3 - 7)). Suppose 2*w = -a*w + 285. Is 3 a factor of w/9 - (-1)/(-3)?
True
Is 30 a factor of ((-3492)/(-42))/((-2)/(-70))?
True
Let j(s) = 81*s**3 - 2*s**2 - s + 2. Is j(2) a multiple of 7?
False
Let f(x) = -3*x**3 + 2*x**2 + 3*x + 3. Let y(p) = -2*p + 8. Let j be y(-5). Let g be (-176)/99 + (-4)/j. Is 10 a factor of f(g)?
False
Let k = 1643 - 939. Does 22 divide k?
True
Let w be 36/15*(-10)/(-4). Suppose -s + w = -5. Let f = s - -31. Is 14 a factor of f?
True
Suppose 1371 = 3*j + 507. Suppose -32*c + 35*c = j. Does 24 divide c?
True
Suppose 3*n = g + 2, -n + 9 = 5*g + 3*n. Let b = 1 + g. Suppose 9 = 5*t - b*t. Is t a multiple of 3?
True
Suppose -6*b + 5*b + 27 = 0. Let m = b - 24. Suppose -4*i + 3*k + 96 = 0, i - 2*i + m*k + 33 = 0. Is 7 a factor of i?
True
Suppose 0 = 3*j - 147 - 12. Suppose -k + j = -3*b + 7*b, -5*k = -25. Is 2 a factor of b?
True
Suppose 19 = 2*m - 5*d, 3*m - 9 = d - 0. Suppose -m*i - 8 = 0, -g + 10 = -3*g - 5*i. Suppose 2*s = g*s - 84. Does 5 divide s?
False
Let i be (261/(-6))/(2/4). Let r(m) = -6*m - 2. Let k be r(-21). Let s = i + k. Is s a multiple of 18?
False
Let x(h) = 9*h**2 - 313*h - 5. Does 13 divide x(35)?
True
Let r(d) = -d**2 + d - 1. Let l(g) = 5*g**2 - 3*g - 144. Let m(s) = -l(s) - 6*r(s). Is m(0) a multiple of 30?
True
Suppose 6*l + 192 - 4632 = 0. Does 5 divide l?
True
Let x(c) = 2*c**3 - 76*c**2 + 81*c - 12. Is 19 a factor of x(37)?
True
Let y(w) = -34*w - 1. Suppose 0 = -7*c + 2*c - 50. Let f be ((-4)/c)/(30/(-75)). Is y(f) a multiple of 11?
True
Let u = 44 - 135. Let j = u + 131. Suppose 3*l - 5*l = -3*z - 39, 0 = -2*l + 2*z + j. Is l a multiple of 6?
False
Let b = 756 + -350. Does 5 divide b?
False
Does 14 divide 987/((-55)/(-10) - 3 - 1)?
True
Let l(s) = -s**2 + 10*s - 6. Let q be l(9). Suppose -q*r - 40 = -334. Does 21 divide r?
False
Let j be 12/(-114) + 3802/19. Suppose 40 = t - 10*f + 6*f, -2*f = -5*t + j. Is 5 a factor of t?
True
Suppose -2*x + 5*u = 14, 6*u = 4*x + 3*u. Suppose y - 10 = -4*w, -2*w - 24 - 6 = -x*y. Is 10 a factor of y?
True
Let x(u) = -u**3 - 2*u**2 + 12*u + 14. Let t be x(-4). Suppose 4*o = 3*j + 147, -2*o + 4*j + 85 = 19. Is o/6 + t/(-4) even?
False
Is 19 a factor of ((-279)/62)/(6/(-532))?
True
Let a = 11 + -22. Let f = 25 + a. Is f a multiple of 7?
True
Suppose 0 = 9*i + 17 - 44. Is 37 a factor of 37 - (i + -3)/(-5)?
True
Let b = 51 + -57. Is 20 a factor of 1/b - 2742/(-36)?
False
Let h be 5*(-2 + 1) - -5. Suppose h = -10*j - 11 + 1021. Is 59 a factor of j?
False
Let o = 