et l(v) = 2*v**2 + 40*v + 2. Does 28 divide l(-23)?
True
Suppose 2*a + t = 2566, -a - 15*t + 1274 = -10*t. Does 9 divide a?
False
Let t(s) = 2*s**3 - 5*s**2 - 21*s - 14. Is t(7) a multiple of 35?
True
Let w = -40 + 57. Suppose w = 4*u - 3. Suppose -u*f + 232 - 22 = 0. Does 13 divide f?
False
Suppose 0 = -v + 106 + 94. Suppose 8*w = 3*w + v. Does 12 divide w?
False
Suppose z = 4*z + 2*y - 2818, 0 = 2*z + 4*y - 1876. Is z a multiple of 20?
True
Suppose 0 = 61*l - 99*l + 55556. Does 43 divide l?
True
Let n = -24 + 37. Let b = 16 - n. Suppose 4*k = 5*t - 358, -b*t - 4*k + 63 = -139. Does 13 divide t?
False
Let y be 1/((-15)/(-18))*65/(-26). Let c(t) be the second derivative of -7*t**3/2 + t. Is 11 a factor of c(y)?
False
Does 11 divide ((-54)/(-10))/((-7)/(-2310))?
True
Is 6/11 - 10080/(-33) a multiple of 6?
True
Let m(l) = 262*l**2 - 3*l - 1. Does 9 divide m(-1)?
False
Suppose -52*g = -55*g + 6, -5*t - 5*g + 300 = 0. Is 2 a factor of t?
True
Suppose 0*q + 825 = 5*q - 5*b, 0 = -q + 3*b + 159. Is 14 a factor of q?
True
Let n be -12 + 5 + 2/2. Does 23 divide 6/9*(-369)/n?
False
Suppose -7*s + 8*s - 96 = 0. Does 7 divide s/(-18)*(-180)/16?
False
Is (4/10*-1)/((-4)/360) a multiple of 3?
True
Let p(x) = 16*x**2 + 2*x - 8. Is p(-3) a multiple of 10?
True
Let w(i) = -176*i**3 - 3*i - 4. Is 25 a factor of w(-1)?
True
Let p(z) = -z + 130. Suppose 2*k = -2*k. Let q be p(k). Suppose -5*w - 4*s = s - q, -w = -s - 20. Is w a multiple of 5?
False
Let o(m) = -6*m - 2. Let i be o(3). Is 19 a factor of -3 - (-5)/(i/(-392))?
True
Suppose p + 0*p = -15. Let u be ((-27)/(-2))/((-18)/36). Let o = p - u. Does 6 divide o?
True
Let h = 64 + -60. Does 2 divide h?
True
Suppose 3*d + 7301 = 5*i, 0 = 3*i - d + 984 - 5367. Is 86 a factor of i?
True
Let y = -21 - -36. Let v = y + -15. Suppose p + 4*q = -7 + 34, v = -4*q. Is 7 a factor of p?
False
Let l(s) = -12*s + 28 + s**3 + 18 - 6*s**2 - 45. Is l(9) a multiple of 17?
True
Suppose 107*y = 132*y - 124750. Does 134 divide y?
False
Suppose f = 5*f + 60. Let t(u) = u**2 + 16*u + 23. Is t(f) a multiple of 6?
False
Let t = 535 + 917. Does 44 divide t?
True
Suppose -4636 = -3*r + 3*h - 1030, -3578 = -3*r - 4*h. Does 14 divide r?
False
Let b(v) = -59*v - 42. Is 10 a factor of b(-9)?
False
Let u be 2 - 1 - (-12 - 448). Suppose 0 = 3*t - u + 179. Is 11 a factor of t?
False
Let v = 22 + -17. Let n(g) = 3*g + 9. Let r be n(v). Let s = -16 + r. Is s a multiple of 3?
False
Suppose 4*z - 2 = 6. Suppose -z*j = -j. Suppose j = -g - 6 + 30. Does 8 divide g?
True
Suppose 7*s - 8*s - 5*v + 73 = 0, -4*v + 428 = 5*s. Is 88 a factor of s?
True
Let b(l) = 2*l**2 + 2*l. Suppose 0 = i - 2*i + 3. Suppose 5*x + i*r - 3 = 0, x + r - 4*r - 15 = 0. Does 8 divide b(x)?
True
Suppose -149 = -c - 3*z, 4*z = -4*c + z + 569. Does 23 divide c?
False
Let s(v) = -8*v**3 - 2*v**2 + 3*v + 408. Does 34 divide s(0)?
True
Let q(s) = -4*s**3 - 3*s**2 + 5*s + 3. Let a be q(-3). Let h = a + -48. Does 3 divide h?
True
Let b be ((-36)/(-45))/(2/5). Suppose 88 = 5*d + b*v, -4*d - v = 4*v - 67. Suppose d = 2*r + 4*o, 3*o + 32 + 7 = 2*r. Is 9 a factor of r?
False
Suppose 3*r + 82 + 26 = 0. Let l = r - -36. Suppose 5*b - 3*b = 4*p + 112, l = 2*b - 5*p - 110. Is 14 a factor of b?
False
Let b = 140 - 128. Is b a multiple of 4?
True
Suppose 2*v - 2*o = 1492, 13*v - 12*v + 2*o = 749. Does 3 divide v?
True
Suppose 6 = -0*h + 3*h. Let j(v) = -v**2 + 0*v**2 - 2 - h*v**3 + v**2. Is 7 a factor of j(-2)?
True
Let i(a) = -2*a**3 - 16*a**2 - 7*a - 24. Is 16 a factor of i(-8)?
True
Let f be 10/3 + (-5)/15. Suppose 3*y + 10 = -5*r + f, -2*y + 5*r + 37 = 0. Suppose -y*j - 318 = -804. Is j a multiple of 27?
True
Let d(w) = -w**3 - 6*w**2 - 9*w - 7. Let j = -50 + 45. Is 3 a factor of d(j)?
False
Is 9 a factor of 1*-12*(-5 + (-770)/20)?
True
Let x = 77 - 76. Let i(t) = 65*t**3 - 2*t**2 + 3*t - 2. Is i(x) a multiple of 32?
True
Suppose 3*h - 4*h - k + 1 = 0, -5*h - 3*k = -7. Suppose 2*s = 4*b + 116, 0*s = -h*s + 5*b + 121. Suppose -s = -t - t. Is 6 a factor of t?
True
Suppose -333 - 971 = -4*h. Let a = -223 + h. Is 22 a factor of a?
False
Let q = -10 + 16. Let c = 9 - q. Suppose 23 = k - 2*t, -4*k + c*k = 2*t - 19. Is 6 a factor of k?
False
Suppose 4*q + h = 5437, 1372 = q + 9*h - 13*h. Is q a multiple of 4?
True
Let b(x) = -x + 3. Let r be b(0). Suppose -385 = -r*o - 2*o. Is 31 a factor of o?
False
Let a be ((-345)/10)/((-2)/24). Let u = 601 - a. Suppose u = 5*p + 2. Does 15 divide p?
False
Suppose 4*j = p + 75, -4*j = -4*p - 0*p - 264. Let g(q) = -126*q - 1. Let t be g(-1). Let n = t + p. Is 39 a factor of n?
False
Let g(s) = 13*s**2 + 2*s - 18. Is 11 a factor of g(6)?
True
Suppose 0 = 3*b - 13 - 2. Suppose 11 - 1 = b*l. Suppose l*q + 9 - 73 = 0. Is 16 a factor of q?
True
Suppose -k - 65 = -3*v, 2*v - k + 40 = 4*v. Is 28 a factor of ((-315)/6)/(v/(-112))?
True
Is 63 a factor of ((-5175)/(-90))/(1/6)?
False
Let g be 4*2*(-2)/(-4). Suppose -20 = -4*i, -139 = -4*m - i + 22. Suppose -q + 5*n = q - 23, m = g*q - 3*n. Does 9 divide q?
True
Let p = 91 - 90. Let w(l) = 53*l + 5. Is w(p) a multiple of 16?
False
Let h = 160 - 81. Is 42 a factor of h?
False
Let f = 0 - -742. Suppose 4*o - 150 = -5*d + f, -544 = -3*d + 2*o. Is d a multiple of 12?
True
Let n(v) = -v**3 + 11*v**2 + 5*v + 13. Suppose 6*s = 7*s - 11. Is n(s) a multiple of 17?
True
Let z(k) = -k**2 + 6*k - 6. Let r be z(4). Let j(s) = -s - 2 + 5*s**2 + 6 - 11*s**2 + 9*s**r. Does 16 divide j(4)?
True
Suppose 4*y = -5*t - 16, 14 = -2*t - 5*y - 6. Suppose t = -3*h + 6 - 15. Is 17 a factor of h + 1 + 1 + 35?
True
Let a be 38/14 - 4/(-14). Suppose -5*k - 4*k = -333. Suppose a*g - k = 2. Does 7 divide g?
False
Does 27 divide (3/(-12)*2)/(2/(-4616))?
False
Let f(l) = -l**2 - 4. Let r be f(3). Let h = -10 - r. Suppose 0 = h*q + 2*d - 68, -2*q + d = 3*d - 48. Does 13 divide q?
False
Let i = -24 - -27. Does 12 divide 13 - (i - 2) - 0?
True
Let w(d) = 10*d**2 - 3*d + 24. Let b be w(4). Let h = -115 + b. Is h a multiple of 15?
False
Let k be 2613/(-7) + (-4)/(-14). Let a = k + 249. Let l = -48 - a. Is 28 a factor of l?
False
Let s = 327 - -51. Is 26 a factor of s?
False
Let w(c) = -25*c + 62. Suppose -4*s + 5*r + 0*r - 65 = 0, 4*s - 3*r = -55. Does 52 divide w(s)?
True
Suppose 0 = -r + 1, r = 4*j - 0*r + 5. Let n be 96 - (5 - (1 - j)). Suppose -4*d = -7*d - 3*m + 75, -3*m = -5*d + n. Is 15 a factor of d?
False
Let n = 396 - 277. Is 17 a factor of n?
True
Let k be (-2)/(-2) - (-10 - -6). Suppose -5*t + 15 = -k. Does 4 divide t?
True
Is 2 a factor of (-1 - -4 - 5)*(-54)/6?
True
Suppose -h = -103 - 82. Suppose 103 = 3*j - h. Is j a multiple of 8?
True
Let f be -2 - (-4)/((-8)/(-174)). Suppose -27 = y - f. Suppose -3*l + 2*l - 17 = -z, -y = -4*z + 2*l. Does 12 divide z?
True
Let v be 9/45 - (-333)/(-15). Let a(p) = -p**3 - 22*p**2 - 8*p. Is a(v) a multiple of 12?
False
Suppose -2*a - 3*b = 4 - 5, a = -2*b - 1. Let l = a - -83. Is 9 a factor of l?
False
Let f = -43 - -216. Suppose -4*m = -y - 707, 0*m + m + y - f = 0. Is 16 a factor of m?
True
Let m(n) = -429*n - 15. Let h be m(-7). Suppose -5*w - 3*y - h = -7*y, 5*y + 1215 = -2*w. Is (2/6)/((-8)/w) a multiple of 25?
True
Suppose -3*y + i = -6, -3*y = -2*i - 2 - 1. Is (y/(-9))/((-2)/312) a multiple of 34?
False
Let p = 19 + 51. Does 12 divide -3 - (114/(-5))/(21/p)?
False
Let f(d) = 4*d - 79. Let y be f(19). Suppose -3*l + 82 = -2. Let p = y + l. Does 4 divide p?
False
Let n(a) = 10*a + a**3 + 3 + 0*a**3 - 17*a**2 + 6*a**2. Let c be n(10). Suppose 8*q - c*q - 135 = 5*k, -2*k + 142 = 5*q. Does 7 divide q?
True
Let h(m) = m**2 - 4*m - 4. Suppose 4*x - 10 = -2*p, -5*x + 0 + 26 = -2*p. Let w be h(x). Is 20 a factor of (6/w)/((-10)/480)?
False
Let w(f) = -40*f - 6. Let i be w(-4). Let y = i + -80. Is y a multiple of 37?
True
Suppose 0 = 5*u - 7*u. Suppose -y = -u*i + i - 113, -2*i + 114 = y. Does 28 divide y?
True
Suppose -2*l + 7*l - 355 = 0. Let a = -47 + l. Is 24 a factor of a?
True
Suppose 0 = -12*x + 11*x - 24. Let l be 5792/x*9/(-6). Is 24/(-108) + l/9 a multiple of 10?
True
Does 50 divide ((-185892)/(-112))/((-6)/(-8))?
False
Suppose 4 = v, l = 2*v - 4*v + 11. Suppose -4*s = l*c - 53, -4*s - 10 = c - 33. Let j = -8 + c. Does 7 divide j?
True
Let b(n) = n - 6. Let v(i) = 3*i - 13. Let a(u) = 5*b(u) - 3*v(