 Let a(l) = -4*l - 31. Let h be a(-6). Is 18 a factor of v(h)?
False
Let x be 2/8 - (-66)/24. Suppose x*k - 355 = 2*g - 6*g, -4*k - 235 = -3*g. Does 11 divide g?
False
Let i = 56 + -22. Suppose 4*l - 38 = i. Does 18 divide l?
True
Suppose 0 = 3*w + 4 + 11. Is 9 a factor of ((-19)/(-1) - w)/(2/6)?
True
Let v = -2903 + 4843. Is v a multiple of 29?
False
Let n = 729 - -292. Is 17 a factor of n?
False
Suppose 4*v + 3*n = 21, -5*v - 3 = -v - 5*n. Is 8 a factor of (132/18)/(v/27*1)?
False
Let h = -1 - -4. Let j(o) be the third derivative of o**6/60 - o**5/30 + 17*o**2 + 1. Is j(h) a multiple of 12?
True
Let l = 2368 + -3984. Is 4/5 - l/80 a multiple of 3?
True
Let l = 780 + 562. Does 69 divide l?
False
Does 6 divide (-2)/(-5*(-4)/(-5720))?
False
Let h be 2 - 0 - (1 - -98). Let p = 72 + -75. Is h/p + (-6)/(-9) a multiple of 11?
True
Let c(q) = -q. Let w(r) = 41*r - 2. Let t(d) = -2*c(d) - w(d). Let g be t(1). Let k = 94 + g. Is 28 a factor of k?
False
Let k(a) = -162*a**2 + 2*a + 163*a**2 + 8*a + 7. Is k(5) a multiple of 14?
False
Let r(u) = 285*u**2 + 3. Is r(-1) a multiple of 12?
True
Suppose 15*m - 16*m - 29 = 0. Let g = -92 + 177. Let l = g + m. Does 14 divide l?
True
Let t = -46 - -230. Is t a multiple of 5?
False
Let l = 1545 + -1540. Is l even?
False
Suppose 52*d - 242 = 51*d + 2*l, -5*d + 1204 = -4*l. Does 15 divide d?
True
Let t = 9 - 4. Let j(b) = 7*b**2 + 3*b + 6. Is j(t) a multiple of 45?
False
Let f = 7 - -14. Does 7 divide f?
True
Let p(v) = v**3 - 6*v**2 + 2*v + 1. Let t be p(6). Let j = t - 11. Suppose 0 = 3*x - 5*c - 94, x + j*c - 29 = 6. Is x a multiple of 10?
False
Suppose 175 = -3*d - 119. Let y = 133 - d. Does 33 divide y?
True
Let l(o) be the third derivative of o**6/120 - o**5/3 + o**4 + 25*o**3/6 + o**2. Let w(f) = -7*f - 93. Let y be w(-16). Does 23 divide l(y)?
False
Suppose -11*i + 9*i = -54. Suppose j + 179 = 5*t, t - 10 - i = -j. Is 10 a factor of t?
False
Let c(q) = 9*q**2 - 479*q - 9. Does 15 divide c(57)?
False
Let q(p) = 52*p**3 - 3*p**2 - p - 4. Let i be q(-3). Does 26 divide 6/14 + i/(-56)?
True
Does 26 divide (-2)/6 - 18154/(-174)?
True
Suppose 5*w - 6 = 2*w. Let b = w + 1. Suppose -b*q - 43 = -361. Is 28 a factor of q?
False
Suppose u + z - 3*z - 13 = 0, -4*u + 17 = -z. Let h = 3 + -1. Suppose 267 = u*k + 5*b, -h*b + 3*b + 81 = k. Is 14 a factor of k?
True
Does 17 divide -14 + 9 - -4 - -2296?
True
Let n(x) = -x**3 + 22*x**2 - 68*x - 2. Is n(12) a multiple of 17?
False
Suppose -3*y + 296 = i - 609, 0 = -2*i + 4. Is y a multiple of 3?
False
Let y(k) = -k**3 + 16*k**2 - k + 15. Suppose -9*h + 10*h = 16. Let o be y(h). Is 17 a factor of 58 - (-2)/(o + 2)?
False
Let l = 7257 + -3981. Is 21 a factor of l?
True
Suppose 2*b - 2 - 2 = 0, -1 = -x - 4*b. Let c(s) = -s**2 - 9*s - 11. Let f be c(x). Suppose -f*t + 39 = 3*r, 6 = -2*r - 4*t + 32. Is r a multiple of 7?
False
Suppose 2*r = -5*y + 120, -4*r - y = -164 - 94. Let g = 156 - r. Is g a multiple of 64?
False
Suppose 0 = 5*y - 5681 + 496. Does 32 divide y?
False
Let p be (-11)/((-88)/(-16)) - (-1 - -1). Let x(c) = -5*c**3 + 2*c + 1. Let h be x(-1). Does 12 divide ((-58)/4)/(p/h)?
False
Suppose 0 = -5*s + 9 - 49. Is s*((-6)/4)/((-7)/(-21)) a multiple of 18?
True
Suppose 3*q + 3*k = 3504, -q + 659 = -3*k - 529. Does 23 divide q?
True
Let i(c) = 2*c + 8. Let a = 119 - 64. Let m be 132/a*20/6. Is 12 a factor of i(m)?
True
Let t = 1293 - 827. Is t a multiple of 7?
False
Does 3 divide ((-6)/(-4))/(2337/1164 + -2)?
False
Let u(x) be the second derivative of -x**3/6 + x**2/2 + x. Is 3 a factor of u(-18)?
False
Let v = 190 - -104. Is v a multiple of 42?
True
Suppose -n - 52 + 304 = 0. Is n a multiple of 42?
True
Suppose -c + 4*x = -173 - 943, 3*c = -5*x + 3348. Does 62 divide c?
True
Let c(p) = p**2 - 5*p + 11. Let i be c(4). Does 11 divide 5/((-20)/(-16)) + i?
True
Suppose 5*b + 67 = 1997. Does 25 divide b?
False
Let m(q) be the third derivative of -q**6/120 + q**5/6 - q**4/3 - 4*q**3/3 + q**2. Let l(r) = r - 11. Let d be l(18). Is m(d) a multiple of 20?
False
Suppose 0 = 4*q + p - 14, q + 0*p = -4*p + 11. Suppose 2*v + q*v = -4*s + 104, 5*s = 3*v + 130. Does 3 divide s?
False
Let b = -501 + 560. Does 37 divide b?
False
Does 2 divide (45 - 0)*(-442)/(-170)?
False
Suppose 0 = 3*n - 8*n + 4*q + 356, -5*n = 5*q - 365. Suppose j - 45 = n. Does 13 divide j?
True
Suppose -2*w = -5*h + 185, 3*h + 3*w + 0*w - 111 = 0. Let t = h + -20. Suppose -t = -u + 19. Does 12 divide u?
True
Let a(x) = -x**3 - 19*x**2 + 18*x - 40. Let l be a(-20). Let i = 3 + -1. Suppose l = -3*c - i*c + 90. Is c a multiple of 8?
False
Let l be 101*(-8 + 12 - (5 + -2)). Let s = l - 62. Is 8 a factor of s?
False
Let t(f) = -f**3 - 4*f. Let m be 16 - 13 - (7 - 1). Is t(m) a multiple of 6?
False
Let p(u) = 2*u**2 + 102*u - 764. Is p(-85) a multiple of 38?
True
Suppose -2*j + 175 - 591 = -4*g, -4*j - 220 = -2*g. Let l = -22 + 70. Let p = g - l. Is p a multiple of 18?
True
Let h be (72 - 7) + 4/2. Suppose -y - x = -h, x - 135 = -4*y + 2*y. Is 9 a factor of y?
False
Suppose 2*s = 6*s - 20. Suppose 2*v = -4*g - 16, 0 = s*v - 0*g + 4*g + 64. Is 232/v*(1 - 3) a multiple of 8?
False
Let i = -21 - -21. Suppose i = 8*l - 9*l + 15. Is 7 a factor of l?
False
Is (-8 - (-1773)/(-45))/(4/(-20)) a multiple of 2?
False
Let o be ((-2205)/(-10))/9 + (-1)/(-2). Suppose -23*x - 28 = -o*x. Is x a multiple of 4?
False
Let h be (-15)/(-2)*72/27. Suppose 9*q = 4*q + h. Is q even?
True
Let s = 232 + 260. Does 20 divide s?
False
Let b(n) = -n**3 - n**2 - 3*n + 126. Is 8 a factor of b(0)?
False
Let r = -142 - -136. Is ((-72)/(-20))/(r/(-45)) a multiple of 6?
False
Is 14 a factor of (1428/255)/((-3)/(-1305)*2)?
True
Let b be 4/(-30) + 141/45. Suppose 1 = -b*c + 82. Is c a multiple of 9?
True
Suppose 3*f = -3*f + 144. Suppose f = -2*i + 146. Is 10 a factor of i?
False
Let q be (-24)/(-60) - (-4)/(-10). Suppose q*t + t - 112 = 0. Suppose g = 5*n - 379, 4*n - t - 197 = -5*g. Is 12 a factor of n?
False
Suppose 0 = 79*o - 84*o + 5*z + 6115, -5*z + 3661 = 3*o. Is 55 a factor of o?
False
Is 14 a factor of (72/20)/(414/410 + -1)?
False
Let z = 545 + -447. Does 7 divide z?
True
Let v = -10 - -13. Suppose 155 = v*h + 29. Is h a multiple of 14?
True
Suppose 0 = 2*l + 2*n - 32, -37 = -4*l + n + 42. Suppose 5*k - l = m - 2, -2*m + 18 = 3*k. Is 20 a factor of ((-2)/m)/((-2)/138)?
False
Let u = -120 - -164. Is u a multiple of 5?
False
Suppose 10388 = -21*h + 28*h. Is h a multiple of 53?
True
Let h(j) = 20 + 3*j**3 - 7 - 3*j**2 - 9 - 2*j - 7. Is 19 a factor of h(3)?
False
Suppose 0 = -4*q + q + 15. Suppose q*d - 29 = 226. Suppose j - d = -0*j. Does 17 divide j?
True
Suppose 5*w = k - 5*k + 1425, 12 = -4*w. Suppose -4*s + k = -0*s. Is 31 a factor of s?
False
Suppose o + 5*o - 1128 = 0. Does 47 divide o?
True
Suppose -4*x = 4*q - 32, -5*q + 4 + 0 = -4*x. Let y be 158*2/x + 2. Suppose -3*j + 66 + y = 0. Does 16 divide j?
False
Let a = -43 + 25. Does 9 divide ((-32)/(-18) - 2) + (-1030)/a?
False
Suppose 2*n - 488 = n. Suppose -3*p + 538 = 3*g + 2*p, 5*p = 3*g - n. Is g a multiple of 21?
False
Suppose 40 = 167*n - 163*n. Is 4 a factor of n?
False
Let k(f) = -9*f - 24. Let r(n) = -8*n - 23. Let i(s) = -4*k(s) + 5*r(s). Let g = -24 - -9. Is i(g) a multiple of 7?
False
Suppose 0 = -5*g + 3*g + 5*o + 15, 0 = -g + 3*o + 8. Suppose -2*y + g*y - 6 = 0. Suppose -4*d + 158 = -y*d. Is 30 a factor of d?
False
Let v(c) be the second derivative of -c**3/6 + 9*c**2/2 + 4*c. Let w be v(8). Does 14 divide 14 - (-1 - (w - 2))?
True
Suppose -114 + 12 = -3*h. Suppose 0 = -3*u + 5 + h. Does 3 divide u?
False
Let o = -21 - -196. Is 15 a factor of o?
False
Let l(h) = 3*h**3 - 4*h**2 + 6*h + 1. Let p be l(3). Suppose -8*c + 4*c = -p. Is 16 a factor of c?
True
Let w(a) = 23*a**2 - a - 1. Let t(v) = v**2 + 2*v - 7. Let z be t(-4). Let c be w(z). Is 8 a factor of c/(-14) - 67/(-2)?
True
Let f(i) = -1 - 4*i**2 - i**2 + 2*i**2 + 5*i + 2*i**2. Let v be f(4). Suppose 2*c + v - 93 = 0. Does 15 divide c?
True
Suppose -3*x - 5*i = -1064 - 365, -926 = -2*x + 2*i. Does 52 divide x?
True
Let p(h) = 1. Let k(f) = -f**2 - 8*f - 4. Let i(q) = -k(q) + 4*p(q). Let g be i(-8). Let r = 25 + g. Is 11 a factor of r?
True
Let y = 1297 + -1216. Does 7 divide y?
False
Let f(c) = c**3 + 19*c**2 + 12*c + 104. Is