 l(-28) even?
False
Let d(c) = -c**3 + 9*c**2 + 4*c + 14. Let m = 14 + -21. Let f = m - -16. Is 10 a factor of d(f)?
True
Let l = -235 - -245. Is l even?
True
Let x be (-2)/(-9) + (-15534)/(-81). Let s = x - 84. Does 27 divide s?
True
Let k be (2*-1)/((-6)/15). Suppose -3*v + 11 - 64 = -2*x, -2*x + k*v + 63 = 0. Let c = x - 9. Is c a multiple of 4?
False
Suppose 6*y - 11*y + 5 = 0. Let i be (y - -1) + 13*9. Let j = i + -62. Is j a multiple of 13?
False
Let y(f) = -116*f - 8. Let i be y(-2). Suppose 12*s - 16*s + i = 0. Does 10 divide s?
False
Let u = 174 + -35. Suppose 4*s = 4, 4*m + u = -4*s + 367. Is m a multiple of 12?
False
Suppose 5*b - i + 54 = 0, b + 5 = -2*i + 3. Let l be 0*(0 + 5)/b. Suppose l = -2*f - 0*f + 54. Is 9 a factor of f?
True
Let s = -5 + 104. Let g = s + -68. Is g a multiple of 2?
False
Let w(y) = y - 2. Let a be w(3). Suppose -2*r - 19 = a. Let b(t) = -t**3 - 10*t**2 + 4. Is 4 a factor of b(r)?
True
Let s(k) = -12*k**2 - 4*k + 4. Let j be s(2). Is 6*2/6 - j a multiple of 13?
False
Does 32 divide 164/5 + (-15)/(450/24)?
True
Let y(o) = o**3 - 9*o**2 + 11*o - 4. Suppose -2 = -2*t - 8. Let r be t/12 - (-33)/4. Is 16 a factor of y(r)?
False
Let v = -16 + 17. Let x be (-7)/(((-3)/12)/v). Let n = 13 + x. Is 9 a factor of n?
False
Let a be 3/(-9)*3*-92. Suppose 2*i - 3*k = -100, i + 47 = -k - 8. Let p = i + a. Is p a multiple of 15?
False
Suppose -4*x - 8 = 0, i = 3*x + 30 + 22. Suppose 57 + i = t - 3*y, -5*t - y = -515. Is t a multiple of 36?
False
Let a be 3/2*20/6. Suppose -a*y = -99 - 201. Is 11 a factor of y?
False
Suppose 2*n + j - 1246 = -j, 0 = -n + 5*j + 599. Suppose n = 4*k - 3*b, -3*k + 461 = -b + 2*b. Is k a multiple of 14?
True
Let z = 2435 - 524. Is z a multiple of 49?
True
Let b be (-1)/(4/12) - -8. Suppose -b*t - 182 = -5*h - 57, -2*h - 3*t = -50. Does 5 divide h?
True
Let k be ((-12)/(-16))/(3/12). Suppose -u = 5*i - 347, 0 = 5*i - k*u + u - 356. Is i a multiple of 5?
True
Let a(d) = 9*d**2 + 4. Let h(j) = j**3 - 11*j**2 - 12*j + 2. Let w be h(12). Is 10 a factor of a(w)?
True
Suppose 3*s = s + 616. Does 8 divide (s/10 + -2)/(6/20)?
True
Let s be -2*6/(-24)*1*6. Suppose -h = 2*p - 13, 2*h = -5*p + 31 - 1. Suppose 3*u - u - 32 = 4*g, -s*u + h*g + 45 = 0. Is 3 a factor of u?
False
Suppose -2*j - 3679 = -5*j - 2*v, -5*j + 2*v = -6121. Does 35 divide j?
True
Let y = 18 + -10. Suppose 0*w = -y*w + 192. Does 4 divide w?
True
Let l(t) = t**3 + 6*t**2 + 8*t + 4. Let r be l(-4). Suppose -4*w + f + f = -38, -5*f - 47 = -r*w. Is 6 a factor of w?
False
Let g(q) = -q**3 + 15*q**2 + q - 11. Let c be (-4)/3 + (-49)/(-3). Let h be g(c). Suppose -5*r + 10*m - 5*m + 60 = 0, 44 = h*r - 5*m. Is 16 a factor of r?
True
Let c be 0 + 0 + -4 + 20. Let v(r) = -4*r**2 + 28*r**3 + 2 - c*r**3 - r + 2*r**2. Does 22 divide v(2)?
True
Let w = 32 - 138. Suppose 0 = -4*s + 2*s - 296. Let c = w - s. Is 15 a factor of c?
False
Let c(v) = 8*v**3 - v**2 - 4*v - 2. Let j be c(4). Suppose -3*u + 3*z + 316 = -158, 0 = 3*u - 4*z - j. Is 14 a factor of u?
True
Let r(p) = 511*p**2 + 37*p + 36. Does 10 divide r(-1)?
True
Let h = 1481 + -1091. Is 6 a factor of h?
True
Let p(x) be the first derivative of -x**3/3 - 3*x**2/2 - 1. Is p(-2) even?
True
Let h(g) = -g**3 - 14*g**2 + 16*g + 25. Let p be h(-15). Suppose -4*m = -m - 90. Let l = m - p. Is l a multiple of 10?
True
Let o(h) = -21*h - 56. Let z = -68 + 56. Does 28 divide o(z)?
True
Suppose 2 = -4*b + 42. Suppose 0 = -p - b + 30. Is 4 a factor of p?
True
Let l be ((-1)/4)/(5/(-60)). Suppose -2 = p - l. Let g(h) = 23*h**3 - 2*h + 1. Is 22 a factor of g(p)?
True
Is 7650/3 - (3 + 0) a multiple of 112?
False
Suppose -27*i = -30*i + 48. Suppose -i*y + 1694 = -5*y. Is 22 a factor of y?
True
Suppose 2*k + 13 = -2*a - 1, -5*k - 11 = -3*a. Let n be (-4)/(a + (-15)/(-6)). Suppose -r + 3*m = -n, 2*m - 8 = -2*r + r. Is r a multiple of 7?
False
Let k be 12/24 + 1211/2. Suppose -3*f = -4*s - k, s = -4*s - 4*f - 773. Let g = -87 - s. Does 22 divide g?
True
Let v(z) = z**2 - z. Let n(r) = r**3 + 7*r**2 - 4*r + 1. Let t(p) = -n(p) + 2*v(p). Let l(b) = b - 12. Let o be l(6). Is 13 a factor of t(o)?
False
Suppose 14 = -7*c - 0. Does 8 divide ((-12)/(-18))/(c/(-129))?
False
Suppose 10*y = -0*y - 60. Is 3 a factor of (y - (3 + -42)) + 3*-1?
True
Let h = -235 + 419. Is h a multiple of 46?
True
Let p(g) = g + 18. Suppose 0*b = b - 14. Let t = -14 + b. Is p(t) a multiple of 6?
True
Let i(s) = s**3 - 2*s + 144. Is i(0) a multiple of 8?
True
Let k = -3 + 9. Let b(z) = 1 + 1 - 1 - 2 - k*z. Is b(-5) a multiple of 7?
False
Suppose 0 = -2*u - 10, -3*s = -9*u + 4*u - 436. Is s a multiple of 30?
False
Let w(z) = -2*z**3 + 17*z**2 - 5*z + 12. Is 7 a factor of w(7)?
False
Is 15 a factor of (3 + -2 + -3007)/(-7 + 5)?
False
Suppose -18 = -12*a + 78. Is a a multiple of 7?
False
Is 21 a factor of (-23)/(-345) + 15207/45?
False
Let g = 107 + 19. Let i = g + 42. Does 21 divide i?
True
Let y be 14/28*-2*2. Let q(k) be the third derivative of -k**6/20 - k**5/15 - k**4/12 + k**3/3 - 2*k**2. Does 12 divide q(y)?
False
Let v(p) = p**3 + 4*p**2 - 8*p - 7. Let k = -22 - -17. Let d be v(k). Let z(x) = x**2 - 2*x + 10. Is z(d) a multiple of 21?
False
Suppose -5*g - 4*k = -175, -5*k = -3*g + 7*g - 149. Let r = g + -27. Suppose -3*d + q + 94 = -110, 0 = r*d + 3*q - 272. Is 12 a factor of d?
False
Suppose -4*u + 4*a = -a - 190, -4*u - a + 202 = 0. Does 21 divide u?
False
Let x(z) = 15*z. Suppose -2 = -3*h - 2*m, h + h = 4*m + 12. Suppose -4*c - 7 = 3*l, -3*l + h*l - 9 = 3*c. Is x(l) a multiple of 15?
True
Let u = 233 + -390. Let g = -106 - u. Is g a multiple of 17?
True
Let l(i) = -i**3 + 7*i**2 - 6*i + 3. Suppose -5*x - 4 = -x. Let b(y) = -5*y**3 + y**2 + y. Let j be b(x). Does 14 divide l(j)?
False
Let x(d) = d - 1. Let p be x(-5). Let n be (p/4)/((-18)/24). Suppose 0 = t + 5*v + n, -5*t + 2*v + 68 - 24 = 0. Is 4 a factor of t?
True
Let s(i) = -i**2 + 9*i - 13. Let c be s(6). Suppose -4*j + 8 = -8, 4*j = c*t - 324. Suppose 0*r - 3*z - 30 = -3*r, 3*z - t = -4*r. Does 13 divide r?
False
Is 357 + 20/(2 - 6) a multiple of 22?
True
Suppose -1 = -4*a + 7. Let r(c) = 21*c**2 - 2*c + 2. Let k be r(a). Let d = k - 56. Does 13 divide d?
True
Is 82/(9 - (-679)/(-77)) a multiple of 41?
True
Let z(b) = -7*b - 9. Is 54 a factor of z(-9)?
True
Suppose -13*g = -14*g - 2. Is 51*4/12 - g a multiple of 3?
False
Let q be ((-1)/(-2))/(2/356). Suppose 2*l - q - 23 = 0. Suppose -4*z = -428 + l. Is z a multiple of 27?
False
Suppose 5*u - 5*p = 45, -4*p + 0 = -5*u + 48. Suppose 30 + 14 = 11*b. Does 9 divide (-2 - b)/(u/(-40))?
False
Let v be -4*54/16*2. Let f = v + 49. Does 12 divide f?
False
Suppose -26 = -5*k + 74. Let z be (10/3)/(2/(-6)). Let i = k + z. Is 10 a factor of i?
True
Let t(o) = -22*o + 34. Does 10 divide t(-28)?
True
Suppose -5*l - 50 = -4*m, m + 32 = -2*l + 5*m. Let y(c) = -2*c - 1. Let d be y(l). Let u(v) = v**3 - 12*v**2 + 13*v. Is u(d) a multiple of 13?
False
Is 35 a factor of 12/(-3)*648/(-12)?
False
Suppose 20 = -137*x + 142*x. Suppose -x*z = -220 + 40. Is z a multiple of 8?
False
Let i = -854 + 1610. Suppose -3*y = -10*y + i. Does 22 divide y?
False
Let h = -18 - -51. Suppose -4*c = -2*p - 55 - h, 0 = -5*p + 3*c - 255. Does 18 divide p/4*(-4 - -2)?
False
Suppose 9*a + 465 = 114. Let x = 46 - a. Does 5 divide x?
True
Let p = 81 + 197. Is 64 a factor of p?
False
Suppose -60 = 3*u - 4*u - 4*d, -2*u = 2*d - 102. Suppose -2*x + u = -0*x. Suppose -x*v = -28*v + 228. Is 19 a factor of v?
True
Let m(r) = 3*r**3 + 8*r - 3. Does 20 divide m(5)?
False
Let y be 1 + (-5)/(25/(-20)). Suppose y*w - 10 = 15, 2*u - 5*w - 29 = 0. Let t = -10 + u. Does 4 divide t?
False
Suppose 0 = 3*q - y + 140 - 509, 5*q - 615 = 3*y. Suppose 0 = 5*i - q - 117. Does 17 divide i?
False
Suppose -2*t - 29*a = -30*a - 107, -5*t = -5*a - 260. Is 2 a factor of t?
False
Let q = -10 + 5. Let p = -3 - q. Is 28 a factor of -56*(-1)/p*2?
True
Suppose 0 = 6*v + 261 - 33. Let c = -23 - v. Is 8 a factor of c?
False
Let z = 111 + -71. Suppose -o + z = -0*o. Suppose 5*p - o = p. Is p a multiple of 3?
False
Suppose 4*y - 10 = 2*y. Let a(l) = -l**3 + 7*l**2 - 7*l + 6. Let r be a(y). Let z = r + -11. Is z a multiple of 10?
True
Let u(p) = 9*p - 2. Let v(t) = 26*t - 6. Let x(f) = 17*u(f) - 6*v(f). Is x(-2)