(l) = -2*l. Let m be x(3). Is 9 a factor of 24 + m*1/(-2)?
True
Let h = 91 - 70. Is h a multiple of 5?
False
Let z(f) = f + 62. Suppose 5*m - 25 = 3*c, 3*m - 25 = -4*c - 2*m. Let g be z(c). Suppose -3*q - 2*q - 3*r = -g, -3*r = -4*q + 55. Is q a multiple of 13?
True
Let u(k) = 13*k - 25. Does 4 divide u(10)?
False
Suppose 0 = -l + 5*s + 101, -146 = -2*l - 0*s - 4*s. Is l a multiple of 9?
True
Let d = -56 + 82. Let p be 2/5 + d/10. Suppose 185 = p*l + 2*l. Does 15 divide l?
False
Let v be 1 + -5*(2 - -2). Let a = 5 - v. Is 24 a factor of a?
True
Let j(c) = c**2 + 4*c - 11. Let u(w) = -w**2 + 2*w. Let z be u(-2). Let l be j(z). Let m = 38 - l. Does 17 divide m?
True
Let k be 10/4*(-8)/(-10). Let q = 4 + k. Is q a multiple of 6?
True
Let f be (-2)/3 + (-10)/(-15). Is (105/5)/(f - -1) a multiple of 21?
True
Let z = -68 + 239. Let d(y) = -y**3 - 11*y**2 + 10*y + 12. Let v be d(-12). Suppose 0*u = m + 2*u - v, 4*m - z = u. Does 16 divide m?
False
Suppose -k - 3*a + 7*a + 191 = 0, 3*k + 4*a = 653. Is 13 a factor of k?
False
Let q(a) = a**3 + a**2 - 5*a - 2. Let y be q(-3). Let w(n) = -n**3 - 2*n**2 + 4*n - 2. Let b be w(y). Suppose -b - 17 = -5*c. Is c a multiple of 7?
True
Suppose 4*v + 215 = 579. Is v a multiple of 14?
False
Suppose 10 = 3*q - r, q + 3*r + r + 1 = 0. Is 3 a factor of q?
True
Suppose 3*k + 5*q - 25 = 0, 4*k + q + 2*q = 15. Suppose 2*d - 10 = 0, k = f + 6*d - 3*d - 25. Does 5 divide f?
True
Let t(a) be the second derivative of -a**3/2 + 9*a**2/2 + 6*a. Is 13 a factor of t(-9)?
False
Suppose -65 = -g + 6*g. Let l = g + 9. Does 13 divide l/10 + (-304)/(-10)?
False
Let c(j) be the second derivative of -j + 0 - 2*j**2 + 1/2*j**3. Does 17 divide c(7)?
True
Suppose 0 = -2*m + 10, -m + 78 = -5*k + 13. Let h(l) = -6*l - 4. Is h(k) a multiple of 34?
True
Let y be 493/(-8) - 9/24. Let u = y - -110. Is 16 a factor of u?
True
Does 15 divide ((-118)/(-10) + -1)/((-2)/(-10))?
False
Let s = -4 - -8. Let x be (4/(-3))/(s/(-6)). Let l = 4 + x. Is l a multiple of 4?
False
Suppose 14 = -0*a + 2*a. Let n(r) = 6 - 100*r + 101*r - 3. Is 10 a factor of n(a)?
True
Let m = -88 + 124. Is 12 a factor of m?
True
Is (-670)/(-7) - 20/(-70) a multiple of 32?
True
Let l = -10 - -30. Let o = l + -3. Does 17 divide o?
True
Let k(c) = c**2 - 4*c + 8. Let u be k(7). Let m = u - -7. Does 12 divide m?
True
Let u(l) = -l**2 - 3*l - 1. Let s be u(-2). Let p = 5 - s. Is 2 a factor of p?
True
Let c = -2 + 2. Suppose c*z + 4*z = 3*n - 128, 5*n + 4*z = 160. Suppose -t + 24 = -5*x, 0 = 5*t - 5*x - n - 24. Is t a multiple of 3?
True
Suppose -33 = -2*a - 4*n - 197, 3*a - n + 260 = 0. Is 4 a factor of a/(-7) - 12/42?
True
Let d = -17 - -126. Is d a multiple of 39?
False
Let d = -5 + 10. Let u = -46 + d. Let a = 71 + u. Does 20 divide a?
False
Let c be (-3 - 3)/3*-6. Suppose -2*q = -3*q + c. Is q a multiple of 4?
True
Does 16 divide 64/1 + 3/1?
False
Let o be (-12)/2 - (16 + -11). Suppose 50 = 2*s - i, -2*s + 5*s + i = 70. Let w = o + s. Is w a multiple of 6?
False
Let p(b) = b**2 - 7*b + 3. Let z be p(4). Let t = -6 - z. Is 3 a factor of t?
True
Let b(r) = r**3 - 4*r**2 - 6*r + 6. Let w be b(5). Is 6 a factor of ((-8)/16)/(w/(-32))?
False
Suppose 5*f + 14 - 4 = 0. Is 13 a factor of -4*11/f - 2?
False
Let i(d) = -3*d - 4. Let c be i(-5). Let k = -7 + c. Is 4 a factor of k?
True
Let t = -2 - -7. Suppose 0 = 2*n + n - 9. Suppose n*y = t*f - f - 61, 23 = 2*f + y. Is f a multiple of 7?
False
Is 10 a factor of 24/(-32) + 83/4?
True
Let g(f) be the third derivative of f**6/120 - 3*f**5/20 + f**4/12 + 11*f**3/6 - 7*f**2. Does 10 divide g(9)?
False
Let a(y) = 12*y**2 - 15*y + 11. Let i(f) = -6*f**2 + 8*f - 6. Let c(h) = 3*a(h) + 5*i(h). Let v be c(3). Suppose v = 5*d - 33. Is d a multiple of 15?
True
Let l(v) = -5*v**3 + 3*v**2 + 4*v + 3. Is l(-2) a multiple of 8?
False
Let k(u) = u + 3. Let w be k(0). Suppose w*y - y - 80 = 0. Is y a multiple of 20?
True
Let j(z) = -4*z**2 + 3*z + 9. Let a(s) = -8*s**2 + 6*s + 19. Let m(r) = -3*a(r) + 7*j(r). Let v be m(-4). Let q = v + 116. Is 19 a factor of q?
False
Let q = 304 - 212. Let m = q + -56. Is m a multiple of 12?
True
Let c(z) = 2*z**2 + 5*z - 4. Let b = 1 - 6. Is c(b) a multiple of 8?
False
Suppose -4*i + 130 = -3*i + 4*o, -2*i + 260 = 5*o. Is i a multiple of 34?
False
Let r(l) be the third derivative of l**5/60 + l**4/12 - l**3 + 3*l**2. Is 9 a factor of r(-6)?
True
Let l = 88 + -43. Does 5 divide l?
True
Suppose -d = -5*b + 3, -5*b + 4 - 19 = 5*d. Let x = d + 5. Is x even?
True
Let t(l) = l**3 - 4*l - 6. Is 11 a factor of t(5)?
True
Suppose 4*f + f + 4*z + 160 = 0, 0 = -3*z. Let p = f + 65. Let k = -22 + p. Is 11 a factor of k?
True
Is (83 - 3) + -3 + 3 a multiple of 20?
True
Let p(t) = t**2 + 10*t + 4. Let v be p(-12). Suppose 0 = -2*y - 0*y + 28. Let m = v - y. Is m a multiple of 7?
True
Suppose -6*q - r + 33 = -4*q, -15 = 3*r. Is 12 a factor of q?
False
Let f be (-8)/36 - (-112)/18. Is (f/2)/((-12)/(-16)) a multiple of 4?
True
Suppose 0 = 5*j - 22 - 43. Is j a multiple of 11?
False
Let i(l) = -53*l - 1. Let a be i(-1). Is (8/4 - -1) + a a multiple of 23?
False
Suppose -9*c = 10*c - 1729. Is c a multiple of 13?
True
Suppose -4*o + 332 = -3*i, 2*i = -3*i - 20. Does 41 divide o?
False
Suppose 2*c + 0*c - m - 322 = 0, 4*c + 2*m - 636 = 0. Does 16 divide c?
True
Is ((-72)/(-10))/(6/120*3) a multiple of 6?
True
Suppose -2*l - 16 = -s, -8*l + 3*l = 5*s - 5. Suppose -s*g + 40 = -g. Does 4 divide g?
True
Suppose 0 = -o - 4*u - 14, o - 3*u + 9 = 5*o. Let i be o*-3*(-96)/27. Suppose -j - k = -i, -j + 9 = 3*k - 61. Is j a multiple of 23?
False
Let y(m) = -2*m**3 - m**2 + 5*m + 3. Is 12 a factor of y(-3)?
False
Suppose -5*p - 105 = -305. Is p a multiple of 12?
False
Let b(n) = 5*n - 1. Let h be b(-1). Let s(p) = p**3 + 6*p**2 - 2*p - 6. Let v be s(h). Is -1 + 10*9/v a multiple of 14?
True
Let y = 86 - 56. Is y a multiple of 15?
True
Suppose -m - 255 = -2*m - 2*u, -2*m - 3*u = -510. Is m a multiple of 13?
False
Let d(f) = -3*f + 48. Is 8 a factor of d(7)?
False
Let w = 52 - 25. Is 14 a factor of w?
False
Let n be (-32)/24*(-3)/2. Is (-4)/n*(1 - 3) a multiple of 4?
True
Let r = -286 - -631. Suppose -5*q = -4*w - r, q - 5*w - 102 = -12. Does 17 divide q?
False
Let y = 6 - -2. Does 4 divide y?
True
Suppose -54*d + 78 = -51*d. Is d a multiple of 26?
True
Let j = -6 - -9. Does 23 divide -3*(1 + (-29)/j)?
False
Let f be ((-18)/(-15))/((-1)/(-5)). Let n = -3 + f. Suppose -n*s = 3*g - 36, 2*s + 5*g - 10 = 8. Is 7 a factor of s?
True
Let u = -7 - -8. Is 3 a factor of u*6*2/4?
True
Let q(r) = -5*r - 3. Suppose 5*d + 2*n + 22 = -n, -n - 6 = d. Let z be q(d). Suppose 2*v - 15 = z. Is v a multiple of 3?
False
Suppose n + 6 = 4*n. Suppose -3*t + 82 = n*t + 4*k, -61 = -5*t + 3*k. Does 11 divide t?
False
Suppose 17*i - 12*i - 895 = 0. Does 17 divide i?
False
Let m be ((-42)/8)/(9/24). Let a be (-592)/m + (-2)/7. Let s = a + -29. Does 13 divide s?
True
Let d = -65 + 116. Is 17 a factor of d?
True
Let m(p) = 4*p - 11. Let g(v) = -3*v + 10. Let h(z) = -6*g(z) - 5*m(z). Is h(-6) a multiple of 6?
False
Let z be (-130)/(-14) - (-6)/(-21). Let s = 13 + z. Suppose -8 = -5*b + s. Does 3 divide b?
True
Suppose -8*c + 7*c = 0. Suppose c = -0*f - f + 3. Is 2 a factor of f?
False
Let i(y) = -y**3 - 4*y**2 + y + 4. Suppose r = -0*r - 6. Let u be i(r). Suppose -4*v + u = v. Is 7 a factor of v?
True
Suppose 2*f = 9*f - 616. Does 22 divide f?
True
Let b be (-6)/(-15) + (-2)/5. Suppose -42 = -5*v + 73. Suppose b = -2*z + v + 7. Is 11 a factor of z?
False
Let z(q) = 2*q**2 - 2*q - 1. Let a be z(5). Suppose 3*r = -0*r + 3*c + 45, r + 5*c = a. Is 19 a factor of r?
True
Suppose -4*t - 7 + 287 = 0. Suppose -6*w = -w - t. Is 7 a factor of w?
True
Suppose -x + 5*m = -20 - 48, -5*x - m + 236 = 0. Suppose -x = -12*u + 9*u. Is 10 a factor of u?
False
Suppose -5*r + 849 = 3*z, -3*r + 2*r + 156 = -4*z. Is r a multiple of 14?
True
Suppose 4*y - 77 - 3 = 0. Suppose -2*c + y = -4*c. Does 9 divide (-4)/c - 166/(-10)?
False
Suppose 0 = 5*w - 3 - 27. Let a(b) = 3*b + 10. Let f(n) = -3*n - 9. Let z(u) = w*f(u) + 5*a(u). Is z(-5) a multiple of 8?
False
Let q = 564 - 336. Is q a multiple of 30?
False
Let q(t) = 2*t**3 - t**3 + t + 0*t**3 - 10*t**2 + 6 + 0*t**3. Let h be q(10). Suppose 71 - h = 5*p. 