 k(-7)?
True
Suppose 0 = 18*l - 282 - 240. Does 2 divide l?
False
Suppose -s - 1 = -5. Let l(h) = s*h + 7*h - 3*h - 2 + 4*h. Does 10 divide l(3)?
False
Let d(g) = 3*g**2 + 24*g - 4. Is 9 a factor of d(-12)?
False
Suppose -5*p + 2*p + 192 = -4*j, -5*p + 5*j = -320. Let b be p/6 - (-8)/(-12). Let x(a) = a**2 - 9*a + 6. Does 8 divide x(b)?
True
Let u(g) = -g**3 - g**2 - g - 1. Suppose -5*h + 24 = -2*k, -3*k + h - 6 = 4. Let z be u(k). Suppose 3*j - 135 = -z*m, 2*m + j = -m + 81. Does 23 divide m?
False
Let y = -23 + 46. Suppose -26*z = -y*z - 168. Is z a multiple of 16?
False
Let p = 793 - 65. Does 14 divide p?
True
Let o = 3 - -3. Let h be 10/(-15)*(-585)/6. Suppose -o*n + h = -n. Is n a multiple of 13?
True
Let l = -261 - -368. Suppose 9*d = 8*d + l. Is d a multiple of 18?
False
Let i = 38 - 58. Let g = i - -101. Is 21 a factor of g?
False
Let z = 335 + -99. Does 6 divide z?
False
Is 11 a factor of 147/28*-4*-11?
True
Is 33 a factor of -905*5*12/(-150)?
False
Let d be ((-66)/(-15) + -4)*1185. Suppose -2*l + 290 = l - 4*u, 2*u + d = 5*l. Suppose l + 36 = 5*r. Is 13 a factor of r?
True
Let f = 6493 - 3638. Is 35 a factor of f?
False
Let r(w) = w**3 - 12*w**2 + 13*w - 20. Let a be r(11). Suppose -2*y = a*n - 56, 5*y + 14 = -2*n + 85. Does 20 divide n?
False
Suppose -3*r + 1887 = 5*x, 3*r - 4*x - 1875 = -5*x. Does 16 divide r?
True
Let w(k) = 8*k - 13. Let r be w(2). Suppose -r*j + 81 = g, 29 - 82 = -2*j - g. Does 6 divide j?
False
Suppose 12 = -7*v + 5*v. Let r = 26 + v. Let c = 61 - r. Is c a multiple of 12?
False
Suppose -4*d = 19*d - 115. Is d a multiple of 2?
False
Let i = 64 + 4. Suppose 37 = 5*h - 183. Let n = i - h. Does 12 divide n?
True
Suppose 0 = 2*z - 2 - 2. Suppose -z*p + 4*p = 52. Is 26 a factor of p?
True
Is 13 a factor of 3*-2*5/(-30) - -632?
False
Suppose -4*c = 4 + 32. Let v be (-18)/c*(2 + 1). Suppose 2*y = -j + 181, -2*y + 187 = j - v*j. Is 12 a factor of y?
False
Suppose -4480 = 152*p - 166*p. Does 40 divide p?
True
Suppose -5*t - 4*w = 97, -2*w - 27 = -5*t - 106. Let z = t - -37. Does 10 divide z?
True
Let p = 0 - -3. Let s(y) be the first derivative of y**4/2 - y**3 - 3*y**2/2 + 2*y - 57. Does 18 divide s(p)?
False
Suppose 0 = 4*h - 9*h. Suppose h = -j - 2*j + 18. Is 2 a factor of j?
True
Let g(y) = -866*y - 9. Is g(-2) a multiple of 59?
False
Suppose 40*j - 33*j = 2023. Is j a multiple of 9?
False
Suppose 0 = -3*v + 63 - 42. Suppose 0*k - 1211 = -v*k. Is 7 a factor of k?
False
Let d(z) be the second derivative of 2*z**3 + 3*z**2 + 13*z. Is d(9) a multiple of 20?
False
Let d(g) = -45*g + 81. Let c(h) = -23*h + 41. Let v(s) = 5*c(s) - 2*d(s). Is v(-5) a multiple of 24?
True
Let d(z) = z**2 + z - 1. Let l be -10 + -1 - -3 - -3. Let y be d(l). Is (y/5)/((-2)/(-10)) a multiple of 19?
True
Let h = -121 - -121. Suppose h = -17*j + 13*j + 76. Is j a multiple of 19?
True
Let g(p) = -p**3 - 3*p**2 + 3*p + 2. Suppose 0 = -o + 2, b - 6 = -3*o - 2*o. Let u be g(b). Suppose -u = -l - 2. Is 4 a factor of l?
True
Suppose 1249 - 7666 = -9*i. Is i a multiple of 24?
False
Suppose -7*m + 47 + 44 = 0. Let l = 21 + m. Is l a multiple of 17?
True
Suppose 0 = -5*h - 2*h + 868. Suppose 0 = 2*t - 7*o + 4*o - h, -216 = -3*t - 3*o. Is t a multiple of 9?
False
Suppose 0 = 3*o - 2*b - 4142, -5*o + 4*b = b - 6902. Does 13 divide o?
True
Let n = 104 - 58. Suppose h - n = -11. Does 10 divide h?
False
Let s = -389 - -756. Is 4 a factor of s?
False
Let i be (700/(-60))/((-1)/33). Let j = i + -228. Is j a multiple of 16?
False
Let a(q) = 115*q**3 + 6*q - 9. Does 71 divide a(2)?
True
Suppose 5*g - 10*d - 123 = -6*d, -d = 3*g - 84. Does 4 divide g?
False
Suppose -8*g + 281 = -2727. Is 47 a factor of g?
True
Let t(a) = a**2 + 13*a + 2. Suppose 5*d = 3*w + 50, 28 = -3*w - w - 3*d. Let x be w/(-4)*48/20. Is 29 a factor of t(x)?
True
Let i(n) = n**3 - 25*n**2 - 44*n - 47. Is i(28) a multiple of 18?
False
Let w be -3 - ((-2)/3)/((-22)/(-165)). Let f = 14 - w. Does 12 divide f?
True
Let s = -173 - -268. Is s a multiple of 4?
False
Let v(n) = -n**2 - 11*n - 25. Let j be v(-7). Suppose z + 395 = j*g - z, 4*g = 3*z + 525. Does 10 divide g?
False
Let r(i) = 1. Let j(o) = 2*o - 20. Let t(k) = 3*j(k) - 12*r(k). Does 24 divide t(24)?
True
Suppose -3*n + 3*d - 2 = 1, 5*d - 13 = 3*n. Suppose -5*u = -2*s + 273, -5*s - n*u = -293 - 406. Does 30 divide s?
False
Let o = 0 - 6. Let m be 4/o*72/16. Is 7 a factor of 27/((-9)/m) - 2?
True
Suppose 45 = r + 8. Let u = 98 + -96. Suppose 5*n - r = u*p, -5*n + n - p + 27 = 0. Is 4 a factor of n?
False
Let z = -1092 + 2017. Is 9 a factor of z?
False
Is 169 a factor of (-213 - 29)*28/(-8)?
False
Let l(j) = -j**2 - 2*j + 37. Let z be l(-7). Suppose z*u = 2*w - 322, -4*w - u + 635 = 4*u. Does 32 divide w?
True
Let p = -528 - -893. Does 13 divide p?
False
Suppose 5*h = -39 + 209. Is h a multiple of 27?
False
Suppose -193*f + 192*f = -1597. Does 20 divide f?
False
Let f(m) = m**3 + 7*m**2 + 9*m. Let i be f(-7). Is (-2)/6*(-2 + (i - -5)) a multiple of 4?
True
Let q(a) = -7*a**2 + 5*a - 26. Let d(n) = 6*n**2 - 6*n + 27. Let k(w) = 6*d(w) + 5*q(w). Is k(13) a multiple of 33?
False
Let s be (-6)/1*(4 - 8). Suppose -3*w - 96 = -s. Let q = -8 - w. Is q a multiple of 12?
False
Suppose -1864 = -2*z - 424. Is z a multiple of 8?
True
Let c be -7*10/(-8)*-4. Let w = c + 77. Does 21 divide w?
True
Let f = 63 - 99. Let d = -10 - f. Is d a multiple of 4?
False
Suppose -4*a - 7 - 24 = -3*f, a + f = 1. Let m be ((-2)/a)/(2/(-4)). Does 14 divide (0 + -40)*(0 + m)?
False
Suppose 2*f + 2*q - 18 = -0*f, -5*q = -25. Let m(h) = h**2 + 8*h + 10. Let b be m(-8). Let g = b - f. Is 4 a factor of g?
False
Let l(f) = 2*f + 88. Is 2 a factor of l(-6)?
True
Let o be (-124)/(-7) + (-6)/(-21). Let w = 32 + o. Is 5 a factor of w?
True
Suppose -4*h + 4*i = -20, -h + 28 = -5*i + 11. Suppose -h*j - 2*j + 4*q = -596, 5*j = q + 741. Is 36 a factor of j?
False
Let k = -23 - -26. Let t = 17 + k. Is 5 a factor of t?
True
Suppose -22*u = -18*u - 80. Let b = u - 8. Does 10 divide ((-71)/(-2))/(6/b)?
False
Suppose 5*k - 4*y + 137 = -2*y, 37 = -k - 2*y. Let v be (-1)/(-3 - k/10). Suppose -8*t = -v*t + 20. Is t a multiple of 5?
True
Suppose 0*v - 4 = v, 0 = -5*s + v + 1429. Let g = s - 130. Is 31 a factor of g?
True
Let j = -1566 + 2590. Does 8 divide j?
True
Let y(i) be the third derivative of i**6/60 - i**5/12 + i**4/24 - i**2. Does 13 divide y(4)?
True
Let l = -23 - -28. Suppose 3*j - 21 = -a, 0*a - 147 = -l*a - j. Does 12 divide a?
False
Let v be 1107*((-8)/(-6) - (2 - 1)). Suppose -5*c - v = -2*p, -3*p - 5*c = -8*c - 549. Is p a multiple of 26?
True
Suppose 5*l - 409 = -3*n, l - 4*n - 9 = 59. Let x be 2*(-1)/((-2)/(-6)). Is (x/(-5))/(6/l) a multiple of 12?
False
Let a(x) = -3*x**2 + 154*x - 36. Is a(38) a multiple of 14?
True
Is ((-8)/12*1)/(18/(-8316)) a multiple of 14?
True
Let l(s) = -s**3 + 2*s**2 - s - 5. Let o be l(-4). Let m = o + -52. Let r = -7 + m. Does 13 divide r?
False
Does 68 divide (4 - -2) + (-2 - -472)?
True
Is 33 a factor of ((-222)/185)/(2/(-1190))?
False
Suppose 2 = -l + 3*k, 0 = -2*l - 5*k - 0*k + 18. Suppose 0 = -l*c + 2*v + v + 221, 4*c = -2*v + 226. Is c a multiple of 14?
True
Let t = 61 + -61. Suppose t = -q + 2*r + 102, q + 434 = 5*q + 5*r. Does 28 divide q?
False
Suppose 4*m + 0*m - 30 = -2*v, 5*v = -5*m + 50. Let b = -6 - -8. Suppose -m*x + h = -2*x - 177, 54 = x - b*h. Is x a multiple of 20?
True
Let a = -1084 + 1554. Is a a multiple of 41?
False
Let x(v) = -10*v**2 - 9*v + 6. Let p be x(4). Let q = 625 + p. Does 29 divide (q/20)/((-1)/(-4))?
True
Let r(g) = 46*g - 14. Does 8 divide r(16)?
False
Let k be ((-14)/6)/((40/(-315))/(-8)). Let d = k + 222. Is 15 a factor of d?
True
Suppose 373 + 59 = 3*w. Is w a multiple of 6?
True
Let j(z) = -z**3 + 10*z**2 - 12*z - 27. Let n be j(8). Suppose 0 = 5*d + 6 - 26. Let x = n + d. Is 7 a factor of x?
False
Let n(y) = 32*y + 18. Is 10 a factor of n(11)?
True
Suppose 0 = -t + 4, -5*l + 4*t + 136 + 208 = 0. Is l a multiple of 5?
False
Let b(z) = -z**3 + 3*z**2 + 2. Let j be b(3). Suppose 1 = -j*f + 7. Is f a multiple of 3?
True
Let q(d) = -5*d**2 + 7 - 3*d**2 + 10*d + 11*d**2 + 3. Is q(-4) a multiple of 3?
True
Let b be (-5)/(-10)*(1 - 151). Let v = b - -27. Is 5 a factor of 18/45 + v/(-5)?
True
Let p(f) = f - 1. S