ide l?
False
Suppose 2*u - 7 = -5*i, -6 = -5*i - 0*i - u. Let w = 36 - 54. Is 2 a factor of (i - w/(-8))*-4?
False
Let q(m) = -m + 10. Let w = -18 - -11. Is 8 a factor of q(w)?
False
Suppose l = -3*l + 164. Is 19 a factor of l?
False
Let y = -2 - -4. Let i(w) = y*w - 2*w + 3*w. Is 10 a factor of i(8)?
False
Suppose -w + 20 = 5*h - 10*h, -3*w + 42 = 3*h. Let x be (-42)/((12/w)/2). Let v = x + 164. Is v a multiple of 22?
False
Let u(m) = -m**2 - 7*m - 1. Let o be u(-7). Does 32 divide 130/(-4)*(o - 1)?
False
Let l(f) = 2*f**3 + 7*f**2 - 3 + f**3 - 4*f**3 + 9*f. Is l(8) a multiple of 5?
True
Let u = 1 + -1. Suppose 3*c = -u*c + 27. Suppose -2 + c = h. Is h a multiple of 5?
False
Suppose 2*v = v + 2. Suppose 26 = w + 2*a - 2, 0 = -5*w - v*a + 116. Let p = 33 + w. Does 19 divide p?
False
Suppose -4*z - 281 = -3*a, z - 175 = 5*a - 615. Is a a multiple of 29?
True
Suppose p - 5*p + 120 = 4*j, 5*p = -j + 30. Is j a multiple of 5?
True
Let l be 0 - -80*1*3. Suppose 4*o - 2 = -18. Is 10 a factor of o/6 - l/(-9)?
False
Suppose -w - 2*i + 15 = -15, -3*w = -2*i - 58. Let z = -12 + w. Does 10 divide z?
True
Suppose -2*h = 2 - 10. Suppose -5*x - 2*o = -29, -x = x - 3*o - h. Suppose -x*q + 37 = 7. Is q a multiple of 6?
True
Suppose -34 = 5*b - v - 248, -3*b = -4*v - 125. Suppose 4*f + 3 = b. Is f a multiple of 5?
True
Suppose 0 = 5*o + 4*l - 9 + 35, 3*o - l = -2. Let i be (10/(-4))/(o/4). Suppose 0 = -5*u + 130 - i. Is 14 a factor of u?
False
Let r(p) = -23*p - 1. Let o be r(-1). Suppose -n + 3*n = -o. Let x = n + 28. Is x a multiple of 11?
False
Let g be -1*(-2 - (5 + -4)). Let k(m) = m**2 + 22. Let w be k(0). Suppose -3*c + 2*u = u - 86, c = -g*u + w. Is c a multiple of 8?
False
Let t(f) = -f**3 - 10*f**2 - 16*f - 5. Let l be t(-8). Let g be 0/(-1) + 36 - 1. Does 4 divide 2 + -1 - g/l?
True
Let k(q) = 4*q + 6. Is 7 a factor of k(9)?
True
Let s = -13 + 53. Does 10 divide s?
True
Let h(p) = -p**2 + 8 - 6*p + 3 - 2. Let w be h(-7). Is 20 a factor of (-1)/1*(-80)/w?
True
Suppose -d = 2*b - 55, -d = 4*d - b - 220. Suppose 1 = 2*v - d. Is v a multiple of 16?
False
Let d(y) = y**3 - 27*y**2 - 22*y + 21. Is d(28) a multiple of 9?
True
Does 15 divide (-5 - -9) + 86/1?
True
Suppose 0 = 5*h - 0*h - 225. Let i = h + -32. Is i a multiple of 13?
True
Suppose m = 5*m. Suppose m = 3*s + 6*v - 2*v - 68, -3*v - 3 = 0. Is 8 a factor of s?
True
Suppose -s = -h - 68, -2*h - 74 = -s - 4*h. Let f = s + -47. Is 9 a factor of f?
False
Let o = -7 + 23. Is 16 a factor of o?
True
Is (-12)/(-42) - 481/(-7) a multiple of 19?
False
Let k = 96 - 57. Does 13 divide k?
True
Suppose -g - 2*b = -14, -g + 2*b = -0*g + 6. Suppose -g*z + 31 + 5 = 0. Is 3 a factor of z?
True
Let o = 137 + -107. Is o a multiple of 6?
True
Let s(k) = -k**3 + k**2 - k + 4. Let d be s(0). Suppose d*f + 38 = 4*p + f, 0 = -2*p - 3*f + 28. Suppose 4*j = 45 + p. Does 14 divide j?
True
Suppose 0*q - 3*q - 4*r + 1 = 0, -3*r = -3. Let b = 4 + q. Is b even?
False
Let o(q) = 2*q**2 - 7*q - 18. Is 21 a factor of o(-4)?
True
Let w = -72 + 137. Is 19 a factor of w?
False
Let d(b) = -2*b**2 - 26*b + 11. Does 7 divide d(-12)?
True
Let n(z) = 5 - 3*z**2 - z + 4*z**2 - 1 - 5. Let p be ((-4)/6)/((-3)/18). Is 7 a factor of n(p)?
False
Suppose -s = -75 + 20. Is 18 a factor of s?
False
Suppose j - 8 - 32 = 0. Suppose q = -4*s + 35, 0*s = -2*q - 2*s + j. Does 8 divide q?
False
Let f be -2 - -41 - (-1 + 2). Let q = f - 16. Is q a multiple of 11?
True
Let j be (-12 - (0 - 3)) + 2. Let f(s) = s**2 + 3*s - 9. Does 19 divide f(j)?
True
Let l = 302 + -176. Suppose -10 + l = 2*m. Does 22 divide m?
False
Let g(c) = -161*c**2 - 1. Let t be g(1). Does 15 divide t/(-4) + (-2)/4?
False
Suppose 81 = 5*q + 3*b, 3*q + 5*b - 27 = 12. Does 18 divide q?
True
Let q(i) = -4*i**3 - i**2 + 1. Let z = 4 + -14. Let r = -11 - z. Does 4 divide q(r)?
True
Let v(n) = n**3 + 12*n**2 + 4*n - 1. Let i be v(-11). Is (-27)/(2 + i/(-32)) a multiple of 12?
True
Suppose 2*v + 63 = -v. Let h = -4 - v. Does 13 divide h?
False
Suppose -2*i + 8 = -2*q, 2*i - 3*q - 9 = -0*i. Suppose d = -d + 8, 3*b - i*d = -30. Does 15 divide (-86)/b + (-4)/(-6)?
True
Let y(z) be the third derivative of z**6/120 + z**5/20 + z**4/24 + z**2. Let i be y(-3). Is (-59)/i - (-4)/12 a multiple of 10?
True
Let o(f) = f**2 - f - 3. Does 23 divide o(9)?
True
Let x(s) = -s**2 + 5*s - 4. Let k be x(7). Let a = 15 - k. Is a a multiple of 11?
True
Let i = 10 - 5. Suppose 63 = 8*p - i*p. Is p a multiple of 19?
False
Suppose -4*x + x = -33. Let v = x + 7. Let w = v + 2. Does 8 divide w?
False
Suppose -w + 0*w + 45 = 3*d, 5*d = -5. Is w a multiple of 8?
True
Suppose -b = 4*b - 375. Is (3/9)/(1/b) a multiple of 9?
False
Let k = 18 - 45. Let y = k + 39. Does 12 divide y?
True
Suppose 2*n = -0*n + 4. Let b(d) = -d**2 + 2. Let u be b(n). Is 13 a factor of (u/3)/((-4)/114)?
False
Let u(d) = -d - 4. Let k be u(0). Let r be (4/k)/(1/(-2)). Suppose -2*q - 40 = -r*l, 3*l + 3*q - q = 50. Does 18 divide l?
True
Let o be (-4)/(-3)*(-81)/(-6). Is (-26)/(-4) + o/(-12) a multiple of 2?
False
Suppose -4*y = 3*z - 1034, -3*z - 3*y = 2*y - 1030. Is z a multiple of 15?
False
Does 21 divide 35/(-4)*(0 + -16 - -4)?
True
Suppose 66 = k - 4*g, -2*k + 0*g + 88 = 3*g. Suppose -s = 2*w + s - k, -w + 4*s = -10. Is w a multiple of 22?
True
Let b(m) = -m**2 - 3*m - 2. Let g be b(-3). Is 18 a factor of g/(1*(-4)/118)?
False
Let u = 0 - -2. Suppose -42 = -2*q - x, u*q + 4*x = 57 - 9. Is 10 a factor of q?
True
Suppose 0 = -4*y - 4*g - 12, 4*y - 5*g - 15 = 3*y. Suppose y = -4*t - 0*t + 96. Suppose 2*r - t = r. Is 14 a factor of r?
False
Suppose -2*j - 6 + 16 = 0. Let z be j/(1 - (-2 + 4)). Let i = z + 16. Is 11 a factor of i?
True
Suppose 0 = -5*i - 25, 6*i = -2*c + 3*i - 13. Is 2 a factor of 2/(c/(-3)*-1)?
True
Suppose 0*k + 3*k = 1020. Does 28 divide k/6 + 16/(-24)?
True
Let m(w) = 54*w. Is 27 a factor of m(1)?
True
Suppose -3*w + 6 = -0. Let o(i) = 23*i + 2. Does 20 divide o(w)?
False
Suppose -3*a + 12 = 0, -2*p + a + 164 = -4*a. Is 17 a factor of p?
False
Suppose -2*r + 16 = -0*r. Is 3 a factor of r?
False
Suppose 0 = -5*k - 25, -2*l = -4*k - 0*k - 12. Let i(m) = 2*m + 2. Let u be i(l). Does 5 divide (-15)/(2 - (-21)/u)?
True
Suppose -4*y = 4*y - 552. Is 34 a factor of y?
False
Suppose -2*k + 7 = -1. Let z = 29 + 24. Suppose -9*d = 3*o - k*d - 18, 3*d = 4*o - z. Is o a multiple of 6?
False
Let p = -5 + 44. Does 13 divide p?
True
Let p = -414 + 764. Does 50 divide p?
True
Suppose 3*c - 108 = c. Does 18 divide c?
True
Let y be (-1)/(-2) - (-35)/(-2). Let t = y - -89. Is t a multiple of 18?
True
Let j = 17 - 17. Suppose -4*q + 3*n + 99 = j, -2*q + 5*q + 3*n = 90. Is q a multiple of 9?
True
Let x be -7*3/6*12. Let b = -29 - x. Is b a multiple of 7?
False
Let h(i) = -153*i - 2. Is h(-1) a multiple of 23?
False
Let s(y) = 4*y - 3. Let p be s(2). Suppose -5*o = -5*z - 110, -p*o - z + 97 - 17 = 0. Is o a multiple of 5?
False
Let h(k) be the third derivative of k**4/24 + 4*k**3/3 + 3*k**2. Does 16 divide h(8)?
True
Let v = -4 + 5. Let r be (11/5 - v)*5. Suppose 2*b - r*b + 64 = 0. Is b a multiple of 12?
False
Suppose -3*s + 45 = -4*q - 29, 2*q - 5*s + 30 = 0. Let v be (64/q)/(4/30). Is (-2 + v)*2/(-4) a multiple of 4?
False
Suppose 0 - 4 = 4*q. Let g = q + 4. Is g even?
False
Suppose -5*s - 2 + 7 = 0. Let d = 20 + s. Is 7 a factor of d?
True
Let r = -118 + 231. Is r a multiple of 31?
False
Suppose -2*h = -2 - 2. Suppose -h*f = -5*b - 20 - 61, 4*f = -3*b + 97. Is f a multiple of 7?
True
Let z(d) be the second derivative of -d**4/12 - 17*d**3/6 - 4*d**2 + d. Is z(-16) a multiple of 8?
True
Let d(x) = -x**3 + 2*x**2 - x - 1. Let m be d(-2). Let v = 5 + m. Does 9 divide v?
False
Let a(h) = 5 - 4 - 2 - h + 5. Is 9 a factor of a(-11)?
False
Let f = -3 + 15. Does 12 divide f?
True
Let q = 8 + -8. Let x(u) = u**2 + u + 3. Let i be x(q). Suppose 0 = -i*l - 0*a - 3*a + 15, 15 = -3*a. Is l a multiple of 5?
True
Let x(s) = -2*s - 2. Let a be x(-6). Let t be (-4)/a - 24/(-10). Suppose -5*v + 88 = 3*z, -t*z - 19 = -5*v + 89. Does 10 divide v?
True
Let f = 141 - -76. Is f a multiple of 14?
False
Suppose -119 + 47 = -4*h. Let o = h + -1. Let x = 3 + o. Is x a multiple of 16?
False
Let k(n) = n**3 + 7*n**2 - 11*n + 4. Suppose -6*h = -2*h + 32. Is k(h) a multip