y. Is (-148)/(-16) - m/(-8) a multiple of 5?
False
Let h = 38 - -7. Does 9 divide h?
True
Let k(r) = r + 3. Let y be k(-2). Is 14 - (2 - (-1)/y) a multiple of 11?
True
Suppose -3*y = -9 + 3. Is y/10 - 144/(-30) a multiple of 2?
False
Let d be ((-6)/(-1))/(3/2). Suppose -2*s = 3*s - 3*o, 4*o = -d*s + 32. Suppose -s*v = -6*v + 102. Does 17 divide v?
True
Let h(s) = -s**2 - 9*s - 4. Let f be h(-7). Is 262/f + 3/(-15) a multiple of 10?
False
Suppose -h - 5 = -3. Let x = 6 + -3. Is 12 - h - (x - 2) a multiple of 6?
False
Let i(t) = -t - 1. Let y(p) = -10. Suppose -1 = 3*j - 2*j. Let k(c) = j*y(c) + 10*i(c). Does 10 divide k(-2)?
True
Let u = 42 + -29. Suppose 3*q - 2*v = -13, -2*v - 10 = 2*q - 3*v. Let i = u + q. Is i a multiple of 6?
True
Let g(v) = -12*v - 3. Let b(j) = -j**3 + 3*j**2 + 2. Let h be b(3). Let s be (-1)/2 + (-5)/h. Is 20 a factor of g(s)?
False
Let p = -137 + 230. Suppose -3*h - 195 = -4*d, -2*d + 0*d + p = 3*h. Is d a multiple of 18?
False
Let c = -3 - -7. Suppose -t - 3*t - d = -7, d + 5 = 0. Suppose t*h - 4*h = -c. Does 4 divide h?
True
Let x = 1 - -4. Suppose 5*a + 45 = x*u, -u + 5*u - 5*a - 34 = 0. Is 3 a factor of u?
False
Let o = -6 + 5. Does 5 divide 1/((o/5)/(-1))?
True
Let f be -6*(-2)/6 - -47. Let d be (-35)/(-2)*(-12)/(-15). Is 11 a factor of 368/14 - d/f?
False
Suppose 4*p = -3*j - 20, -j + 0*j + 5 = -p. Suppose 2*v + 5*y - 24 = 0, -5*v + j*y + y + 60 = 0. Does 13 divide v - (-1 - -3 - 3)?
True
Let n(x) = 4*x**2 + 3*x - 1. Does 21 divide n(2)?
True
Let u(y) = y**3 - 5*y**2 - 8*y + 1. Let r be u(6). Let f = -41 - r. Let t = 70 + f. Is 18 a factor of t?
False
Let q(o) = 8*o - 1. Let w be q(-7). Let y = w - -110. Is 19 a factor of y?
False
Does 13 divide 387/(-12)*2/3*-6?
False
Suppose 4*a - 84 = n - 248, 0 = -4*n + 5*a + 689. Is n a multiple of 22?
True
Let g(m) be the first derivative of 1 - 3/2*m**2 + 5*m. Does 15 divide g(-5)?
False
Let v(c) = c**3 + c + 5. Is 5 a factor of v(0)?
True
Let m be (4 - 5)/((-1)/2). Does 8 divide (-272)/(-20) + m/5?
False
Suppose -3*w + 159 = -3*u, 3*u + 50 = 2*w - 57. Suppose 5*o = 2*d - 10 - 23, -4*d - 4*o + w = 0. Does 14 divide d?
True
Suppose 0*d + 6 = -3*d. Let o(y) be the first derivative of -y**4 - 2*y**3/3 - y**2/2 - 2*y + 1. Is 14 a factor of o(d)?
False
Suppose l - 12 = -2*l. Is 11 a factor of (-8)/(-16) - (-210)/l?
False
Let z = 4 - 6. Is z/(-4) - 78/(-12) a multiple of 7?
True
Let a(q) = -3*q - 21. Does 3 divide a(-13)?
True
Let t(o) = -o**3 - 31*o**2 - 29*o + 56. Is t(-30) a multiple of 26?
True
Let f = -167 - -304. Does 10 divide f?
False
Suppose -3*i = -2*n + 156, 4*n + 3*i - 268 = -2*i. Is 24 a factor of n?
True
Let q = -22 - -26. Suppose -4*m + 28 = -60. Let h = m - q. Is h a multiple of 5?
False
Suppose -4*x + 39 = 2*t + 7, -5*t + 94 = 3*x. Is 5 a factor of t?
True
Let p(g) = -g**2 + 12*g + 15. Suppose -x + 3 = 2*v + 2, -5*x + v = -60. Is p(x) a multiple of 7?
False
Does 14 divide (-5 - 1)*5*1/(-2)?
False
Suppose 7*c - 45 = 6*c. Is 15 a factor of c?
True
Is 3 a factor of (-4)/(-1) + (-14 - -13)?
True
Let q be 8/6*15/(-10). Is (-2 + -2)*(q + -1) a multiple of 6?
True
Suppose 2*l - 83 = b, 4*b - 2*b = 10. Is 22 a factor of l?
True
Let d = 9 + -7. Let l(a) = 14*a + 2. Is l(d) a multiple of 10?
True
Let v = 105 - 70. Is 7 a factor of v?
True
Let n = 9 - -48. Suppose m - n = -2*m. Suppose 4*v = -4*j + 3*v + m, 0 = 5*j - 3*v - 45. Is 3 a factor of j?
True
Suppose 3*i + 1 = 5*b + 3, 0 = -4*b - 4. Let d = 7 + i. Does 3 divide d?
True
Let v(l) = l**2 - 12*l - 14. Let a be v(14). Suppose 5*o - 361 = a. Does 13 divide o?
False
Let n(f) = -2*f + 31. Does 22 divide n(-22)?
False
Suppose -j - 3*j + 144 = 0. Is 18 a factor of j?
True
Let h = -43 + 84. Does 5 divide h?
False
Let g(u) = 2*u**2 + 5*u + 1. Let y = 5 + -5. Let c be (y - 3 - 2) + -2. Does 28 divide g(c)?
False
Let c(m) = m**3 - 4*m**2 - 10*m + 9. Is c(6) a multiple of 11?
False
Let u(y) = -y. Let i be u(4). Is 17 a factor of (33/(-4))/(1/i)?
False
Suppose x + 23 = -5*k + 65, -5*k = 3*x - 146. Suppose h + 3*r = 8*r + 64, x = h + r. Is h a multiple of 15?
False
Let c(q) = -q**3 + 9*q**2 + 6*q - 9. Does 31 divide c(5)?
False
Suppose -2*q + r = 0, 5*q + r = -2*r. Let p = -3 + q. Is 17 a factor of ((-17)/p)/((-1)/(-3))?
True
Suppose 26*y - 5103 = 17*y. Does 13 divide y?
False
Let j be 1/3 - 2/6. Let u = j - 4. Is 15 a factor of (14/u)/((-1)/12)?
False
Suppose -12 = 4*x, 4*h = -0*x - 5*x + 93. Suppose 2*w - c - c - 50 = 0, -w = -2*c - h. Does 17 divide w?
False
Let r(g) = 6*g + 1. Let m be r(-3). Is (-1 + m)/((-4)/6) a multiple of 9?
True
Let m(p) be the third derivative of -3*p**6/5 - p**4/24 - p**3/6 - 2*p**2. Let g be m(-1). Suppose -2*i + 6*i - g = 0. Does 7 divide i?
False
Let j be 1 - (-3 + 1 + 3). Suppose -w - n = -50, j*w + 5*n + 65 = 2*w. Is w a multiple of 11?
False
Let i = 28 + 66. Is 5 a factor of i?
False
Let q(v) = 22*v. Suppose -5*h = -3 - 2. Does 10 divide q(h)?
False
Suppose 0 = -7*l + 4*l + 126. Suppose -c + l = -39. Does 24 divide c?
False
Suppose c = 3*c - 186. Suppose 4*y + v = -v + 78, 4*y - c = 3*v. Is 21 a factor of y?
True
Let y = 0 + 5. Suppose 124 = 9*u - y*u. Is 10 a factor of u?
False
Let g = 11 + -8. Is 10 a factor of (-4 + g)*-29 - -2?
False
Let h(a) = -a**3 - 8*a**2 + a + 11. Let x be h(-8). Suppose j - x*j = 0. Suppose j = 5*i - 0*d - 4*d - 122, 0 = -3*i - 3*d + 57. Is i a multiple of 9?
False
Let i(k) = 29*k**3 + 1. Let w be i(1). Let h = 15 - 11. Suppose -5*m + 68 + w = 2*s, -2 = -m + h*s. Is 12 a factor of m?
False
Let g(t) = 26*t - 1. Let i be g(-1). Let w = i - -47. Is 15 a factor of w?
False
Suppose 0 = -2*y + 3*n + 230, 4*y - 6*n - 456 = -2*n. Is y a multiple of 4?
True
Suppose -2*v = v, -2*f = 5*v - 6. Suppose 12 = h + f*h. Suppose 2*g + p = 134, -8*g + 335 = -h*g + p. Is 25 a factor of g?
False
Let n(c) = 14*c**3 + c**3 - c**2 - 3*c**3. Let l be -2*(0 - 2) - 3. Is n(l) a multiple of 3?
False
Suppose -6 = 5*y - 16. Suppose 2*v - 42 = -2*n, n = 7*v - y*v - 75. Does 7 divide v?
False
Let t(z) = z - 13. Let q(g) = g - 6. Let i(y) = -5*q(y) + 2*t(y). Is i(-3) a multiple of 13?
True
Is 16 a factor of 1*(-256)/(0 - -4)*-1?
True
Suppose -2*i + 173 = -67. Does 12 divide i?
True
Suppose h - 8 = -h + v, -7 = -h - v. Suppose -4*p + 2*o = -8*p + 46, -p + 5*o = h. Is 5 a factor of p?
True
Suppose 4*u - 178 = 5*v - 22, 4*u - 196 = -5*v. Is u a multiple of 22?
True
Let w(g) = g**2 - 13*g - 21. Is 5 a factor of w(17)?
False
Let h(k) = k + 1. Let t be h(1). Suppose 0 = t*f - 34 - 20. Suppose -4*u - c = -f, -2*u - c + 9 = -2*c. Does 6 divide u?
True
Suppose -3*s + 111 = 4*y, -y - s - 3 + 30 = 0. Is 10 a factor of y?
True
Let a(h) = -6*h - 2. Let d(f) = f**3 + 11*f**2 + f + 8. Let m be d(-11). Let j be a(m). Does 9 divide (j - 6)/(1/2)?
False
Let p = 26 + -8. Does 5 divide (-4)/p + (-390)/(-54)?
False
Let p(j) = j**3 + 7*j**2 - 4*j - 1. Let m be p(-7). Suppose -5*u + 34 = -4*o, 2*u - 6*u = -3*o - m. Suppose 0*z + u = z. Does 3 divide z?
True
Suppose 5*k = -v - 7, 5*k + 1 = -5*v + 2*v. Is -3 + 67 + (-4 - k) a multiple of 14?
False
Let r = 31 + -6. Suppose 0 = -8*h + 3*h + r. Is 2 a factor of h?
False
Let l = 15 - 12. Suppose -6 = 5*m + 19, -5*m = 5*y. Suppose y*g = l*g + 82. Is g a multiple of 14?
False
Let s be 47 - (-1)/(3/(-6)). Let i = s - 5. Is i a multiple of 15?
False
Let w(u) = u**2 - 4*u + 2. Let v be w(4). Let n = -6 + v. Let h = 11 + n. Does 4 divide h?
False
Let x be ((-4)/4)/(1/19). Let h = 35 - x. Does 18 divide h?
True
Let t be (-16)/2 + 45/15. Is -2 + t/(-3)*21 a multiple of 11?
True
Let h(k) = k**3 + 10*k**2 + k + 10. Let f be h(-10). Suppose q + 3*v - 102 = 0, -q - 5*v + 83 + 25 = f. Suppose q = 3*g + 3. Does 10 divide g?
True
Let h(c) = 3*c - 24. Is 21 a factor of h(36)?
True
Let d(b) = -b**3 + b**2 + b. Let u(c) = -4*c**3 + c**2 + 2*c - 7. Let r(t) = -5*d(t) + u(t). Is r(5) a multiple of 3?
True
Let b(c) = -14*c + 10. Let k be b(-3). Suppose a - 4*h = -16 + k, 5*a - 5*h = 255. Is 14 a factor of a?
True
Let k(a) be the second derivative of -a**4/12 + a**3 - 3*a**2/2 + 2*a. Let d be k(2). Suppose -d*f + 6*n + 175 = n, 3*n = 5*f - 181. Is f a multiple of 14?
False
Suppose 100 = -2*j + 198. Does 8 divide j?
False
Suppose 0 = x + x + 6. Let r be (-40)/(-6)*x/(-2). Suppose r + 2 = v. Does 6 