5)/((-2)/14). Let t(k) = -k**3 - 6*k**2 + 6*k + 7. Does 7 divide t(c)?
True
Suppose 0 = 6*s - 2*s - 4*t, 3*s - 2 = t. Suppose s = 2*l - 59. Does 15 divide l?
True
Let t be (2 + -5)/((-12)/8). Suppose 4*v = -3*d + 137, t*d - 55 = v + 40. Does 12 divide d?
False
Let g(k) = k + 1. Let q be g(1). Suppose v - 20 = q*m, m = 3*m. Does 6 divide v?
False
Let h be (4/(-2) - -2)/1. Suppose 3*f = -h*f + 60. Suppose 0*d + d - 27 = -5*g, d = 2*g + f. Is 13 a factor of d?
False
Let p be (18/(-8))/(2/(-8)). Suppose -3*g = -z + 8, 4*g - z + p = -1. Let w = 5 + g. Does 2 divide w?
False
Suppose -216 = -8*j + 2*j. Does 18 divide j?
True
Suppose 0 = -2*m + 3*m - 34. Suppose 4*l - m + 10 = 0. Suppose -3*i = -l*i + 39. Does 13 divide i?
True
Let n be -1 - 0 - (5 + -11). Suppose 4*j = n*j - 38. Is 19 a factor of j?
True
Suppose 3 + 3 = 5*d + l, -3*l - 2 = 5*d. Let i = d - 2. Suppose s - 50 = -i*s. Does 18 divide s?
False
Suppose 0 = h - 3*f - 180, -f = 3*h - 5*f - 525. Is 9 a factor of h?
True
Suppose 2*n + 3 - 76 = -3*c, 3*n + c = 120. Suppose 96 = 4*d + 5*r, 3*d - 2*r - n = 2*r. Does 12 divide d?
False
Suppose 9 = -2*z - 2*s + 249, 2*s = -z + 124. Suppose y - z = -3*y. Is 17 a factor of 2 + y + 3 + 0?
True
Let n be (6/(3/(-1)))/(-2). Is (2 + n)/((-9)/(-66)) a multiple of 11?
True
Let x(l) = -l**3 - 6*l**2 - l + 1. Let a be x(-6). Suppose 3*k - a = 35. Is 10 a factor of k?
False
Suppose 161 = 4*m + 17. Is (4/6)/(1/m) a multiple of 12?
True
Suppose -3*r - 45 = -6*r. Is 15 a factor of r?
True
Suppose 5*x - u + 2 = 16, 2*u + 12 = 2*x. Suppose 18 = -0*d - 4*d - 2*n, -x*d + n - 3 = 0. Is 3 a factor of (5/(-3))/(1/d)?
False
Let z(u) = -2*u + 25. Is 3 a factor of z(0)?
False
Let p(t) = 2*t**3 - 6*t**2 + 4*t - 4. Let n be p(4). Let k = 64 - n. Does 13 divide k?
False
Let x = -28 + 94. Is 14 a factor of x?
False
Suppose -2*s + 240 = 2*s. Does 20 divide s?
True
Let t(f) = 8*f**2 + 2*f + 1. Let u be (-3)/3 - (-3)/(-3). Is t(u) a multiple of 12?
False
Is 46 a factor of ((-12)/10)/(57/(-4370))?
True
Let z(b) = -b**3 - 11*b**2 - 12*b - 6. Suppose 0*k - 20 = 2*k. Is z(k) a multiple of 14?
True
Let x(n) = -7*n + 5. Is 16 a factor of x(-5)?
False
Suppose -x = -2*x + 7. Suppose -y + 4 = 0, 3*l + y = 36 + x. Is 9 a factor of l?
False
Let a be 3/(-6) - 39/(-2). Let p = a - 13. Is 3 a factor of p?
True
Let z(v) = 3*v**3 - 5*v**2 + v - 9. Does 27 divide z(5)?
False
Let g = 30 + -21. Does 7 divide g?
False
Let z(w) = 7*w**3 + 2*w**2 - 1. Does 11 divide z(2)?
False
Let q be 1 + 6/(-9)*-6. Suppose 4*m - 3*m - 26 = 4*k, -k = q*m - 46. Does 15 divide (m/(-6))/(1/(-15))?
False
Suppose 0 = -5*m - 4*j + 91, -j - 15 - 24 = -2*m. Suppose -3*y - m + 46 = 0. Does 8 divide y?
False
Let l = 3 - 3. Suppose 4*i - 4*d = -l*d + 36, -i + 19 = 4*d. Is i a multiple of 10?
False
Is 2 a factor of (24/1 + 0)*54/81?
True
Let t(f) = -f**2 - 6*f - 3. Let b be t(-5). Suppose -5*k = -3*k - b. Is 12 - (k + -2)*3 a multiple of 7?
False
Is 8/(-20) + 13/(-5) - -129 a multiple of 14?
True
Let b = -17 + -18. Let h = b - -78. Does 14 divide h?
False
Let q be 4/(-6) + 364/6. Let w be q/18 - (-4)/6. Suppose 2*d - p - 22 = 0, w*d - 26 = 2*d + 3*p. Is 10 a factor of d?
True
Let d(m) = 2*m - 8 - 4 + 0 - 3*m. Let k be d(-9). Let n = 11 + k. Does 4 divide n?
True
Suppose -2 + 8 = 3*p. Let t be (-48)/9*(-3)/p. Is (t/3)/((-1)/(-3)) a multiple of 4?
True
Let i = -50 - -116. Is 11 a factor of i?
True
Suppose 5*k = k + 8. Suppose 4*d - k = 2*d. Is 15 a factor of (-2)/((-1)/d) - -27?
False
Suppose 2*t - o = -t - 3, t = o - 3. Suppose -3*s + 2*s + 5 = t. Let v(a) = 2*a - 4. Is v(s) a multiple of 4?
False
Let v(w) = -11*w**3 + w. Is v(-1) a multiple of 10?
True
Let r be 1 + -315 + -1 - 0. Does 4 divide r/(-36) + (-2)/(-8)?
False
Suppose 4*a = -8 + 84. Is 19 a factor of a?
True
Let f be 2/(-6) - 3/(-9). Let w(x) = -x + 26. Is w(f) a multiple of 18?
False
Suppose 3*a - 4*a + 7 = 0. Let z = -4 + a. Suppose -9 = -r + 5*y, y = r - z*y - 14. Does 17 divide r?
True
Let z(w) = -w**3 + 3*w**2 + 2*w + 1. Let t be z(3). Let j = 2 + t. Does 9 divide j?
True
Suppose -5*c - 3*r + 15 = -2*r, 0 = 3*c - 3*r - 9. Is 28 a factor of 3 - c*(-2 + -25)?
True
Let c = 0 + 90. Let d = 162 - c. Is d a multiple of 36?
True
Suppose 0 = -5*c + 28 + 62. Is 14 a factor of 56/(-6)*c/(-12)?
True
Let p(o) = o**2 - 3. Suppose x = 3*x + 6. Does 6 divide p(x)?
True
Let s be 39/9 + 1/(-3). Does 9 divide 54/(-4)*s/(-3)?
True
Suppose 0 = -g + 3*g + 3*q - 5, 0 = -2*q - 2. Suppose -g*l = c - 19, 3 + 62 = 3*c + 4*l. Does 17 divide c?
False
Let a(s) = 2*s**3. Let h be a(1). Suppose -12 = -h*z + 6. Is 6 a factor of z?
False
Suppose y + y + 2*f = -4, 0 = -2*y - 5*f - 13. Let r(v) = 2*v**3 + 2*v**2 - 1. Is r(y) even?
False
Let p(c) = c + 1. Let x(m) = m**2 + 9*m - 1. Let h(s) = 2*p(s) - x(s). Let t(q) = -q**2 + q. Let v be t(3). Is h(v) a multiple of 5?
False
Let s(x) = -51*x - 9. Let b(y) = 13*y + 2. Let f(r) = 15*b(r) + 4*s(r). Is 16 a factor of f(-4)?
False
Let n = -119 - -315. Is n a multiple of 49?
True
Let g = 7 + 8. Is g a multiple of 15?
True
Suppose -4*k = 3*s - 431, -3*s = 4*k - 6*s - 401. Is k a multiple of 14?
False
Suppose z = -16 + 73. Is 19 a factor of z?
True
Let p = 3 - 2. Let q = p + 5. Does 6 divide q?
True
Let u = 4 + -4. Suppose -3*d = -u*d - 39. Is 4 a factor of d?
False
Suppose h - 11 = -1. Let w = h + -7. Is 3 a factor of w?
True
Does 11 divide (-6 + 5)/(3/(-48))?
False
Suppose -2*l - 2 = -6. Let q be 0/(l/(-6)*-3). Is (q - -20)/(3 - 2) a multiple of 12?
False
Suppose 15*y = 17*y - 196. Does 19 divide y?
False
Let c(x) be the third derivative of 35*x**4/12 + x**3/3 - 7*x**2. Is 36 a factor of c(1)?
True
Let z(g) = -6 + 6 - 1 + g. Let q be z(6). Suppose u - 2*u = -3*s - 22, q*u - 110 = 2*s. Does 11 divide u?
True
Suppose 238 = -0*n + 2*n. Suppose a = 3*k - n, a = -5*k + 39 + 162. Is k a multiple of 13?
False
Let x = 1 + 2. Suppose 3*s + 6 = 2*w - x, 4*s + 4*w = -12. Is 39 + -1 + (s - -3) a multiple of 15?
False
Suppose 3*s = 5 + 1. Suppose 3*m = -s*m + 195. Does 12 divide m?
False
Let c(f) = f**2 + 3*f - 4. Let v be c(5). Suppose 0 = 2*j - 0*j - v. Is j a multiple of 11?
False
Suppose -t + 5 = 3. Let s be (0 + 0/t)/1. Suppose d + 4*d = -q + 20, -5*q - 2*d + 31 = s. Is q a multiple of 2?
False
Let v be 812/(-20) + 2/(-5). Is (-1 + v)*2/(-4) a multiple of 7?
True
Let n be (11 - 1) + (5 - 3). Let c = n + -4. Is c a multiple of 6?
False
Let m = 21 + -11. Let n = -4 + m. Is 2 a factor of n?
True
Is 21 - 8/4*-1 a multiple of 23?
True
Let z(l) = 7*l + 1. Let x be z(-2). Is 7 a factor of x/(-1) + 7/7?
True
Let i(y) = -y**3 - 2*y**2 - y + 2. Suppose 4*j + 14 = 3*c, -2*j = -4*c + 2*j + 12. Let d be i(c). Suppose 9*n - 190 = d*n. Does 19 divide n?
True
Is 18 a factor of (-1085)/(-30) + 1/(-6)?
True
Is (-4 + (-10)/(-3) + 3)*18 a multiple of 14?
True
Let c(h) = -h**2 - 16*h + 1. Does 17 divide c(-10)?
False
Let i = 127 - 76. Does 17 divide i?
True
Let l = -2 + 5. Suppose l*q = 2*q. Suppose q*z = z - 8. Does 4 divide z?
True
Let y be 0*3/(-6) + 2. Let k be (-166)/6 - y/6. Let z = -8 - k. Is z a multiple of 8?
False
Suppose 2*k - 3 = 5. Let m(l) = 2*l**2 + 2*l + 3. Let s be m(-3). Let o = s - k. Does 11 divide o?
True
Let i(t) = 78*t**3 - t**2 + 1. Does 14 divide i(1)?
False
Let o = 114 + -54. Is o a multiple of 30?
True
Let d(h) = h**3 + 7*h**2 - 8*h - 5. Let j be d(-8). Let b = 5 + j. Suppose b = o + 2*o + 5*n - 102, n + 142 = 5*o. Is o a multiple of 14?
False
Let r = -6 + 80. Is 18 a factor of r?
False
Let y = -125 - -175. Does 10 divide y?
True
Suppose 0 = -0*j + 3*j + 198. Let v = 121 + j. Is 25 a factor of v?
False
Let f = 0 - -8. Suppose p - f = 4. Is 6 a factor of p?
True
Suppose -3*o + 5*o = -4*a + 78, -a + 22 = o. Does 17 divide a?
True
Let y = -18 + 20. Suppose n = 2 + 1. Suppose 0 = -n*j + l + 75, -y*j + 3*l = 31 - 88. Does 12 divide j?
True
Let v(i) = 1. Let p(q) = -4*q - 8. Let m(j) = p(j) + 6*v(j). Does 6 divide m(-2)?
True
Let x(w) be the first derivative of 17*w**2/2 + w - 1. Suppose 8*y + 25 = 5*l + 4*y, 2*y + 13 = 3*l. Is 9 a factor of x(l)?
True
Let m = 50 - 30. Does 4 divide m?
True
Is (-4*3/(-2))/((-8)/(-140)) a multiple of 21?
True
Let k be 31/6 + (-8)/48. Suppose k*p - 5*y = 290, 5 = 4*y - 3. Does 30 divide p?
True
Let o(h) = h**3 - 7*h**2 - 10*h 