 = h + 56. Is h a multiple of 5?
False
Suppose -i + 10 - 2 = 0. Let v be (-3)/(1 - i/10). Is v/((-2)/2*1) a multiple of 9?
False
Let s = 261 + -173. Does 22 divide s?
True
Let y be ((-6)/4 + 1)*-10. Suppose 0 = 5*d + 2*o - 12 - 94, 0 = 3*d - y*o - 45. Is d a multiple of 10?
True
Let x = 27 + -25. Suppose -2*o + 3*k + 49 = -2, 5*o = -x*k + 156. Is 14 a factor of o?
False
Let r(l) = l**2 + 8*l. Let n be r(-9). Let h(x) = x**3 - 10*x**2 + 10*x. Is 9 a factor of h(n)?
True
Suppose 9*s - 699 = 327. Is s a multiple of 6?
True
Suppose 2*p - 18 = 2*d, -p + 0*p - 1 = -3*d. Suppose -3*w + 82 + p = 0. Does 18 divide w?
False
Suppose -4*k = 0, -q + 42 = -k - 43. Does 22 divide q?
False
Suppose 1 = o - 1. Suppose -4*q - o*u + 100 = 0, -q + u = -4*u - 14. Is q a multiple of 12?
True
Let v = -26 - -24. Does 27 divide 93 - (v + 5 - 1)?
False
Suppose o + 0*o = -13. Let k(h) = h + 21. Does 8 divide k(o)?
True
Suppose -l = 3*r - 111, l + 2*l + 111 = 3*r. Let s = 56 - r. Is 4 a factor of s?
False
Let p(h) = -17*h - 23. Is p(-5) a multiple of 15?
False
Let g be 1 + 0 - (1 - 2). Suppose -3*v + 7 = -t, v + 2*t = -v + g. Is v a multiple of 2?
True
Let y(u) = 7*u**2 - 3*u - 2. Is 35 a factor of y(-3)?
True
Suppose 2*f - 4*f = -66. Suppose b - f = -3. Is b a multiple of 15?
True
Suppose -2*u + 3*y = 2 - 18, -3*u - 10 = 4*y. Suppose 3*i - 90 = -u*i. Does 18 divide i?
True
Let j(w) = w**3 + 8*w**2 - 4*w - 4. Let k be j(-9). Let y = k - -88. Is y a multiple of 13?
True
Let a be (8/6)/((-4)/(-6)). Suppose 4*y = -l + 20 + 6, a*y = 3*l + 6. Is 6 a factor of 32*(1 - 3/y)?
False
Let f(a) = 61*a + 1. Is f(1) a multiple of 31?
True
Let t = -8 + 10. Suppose 55 = t*s - 29. Does 20 divide s?
False
Suppose -5*h - 4*r + 315 = -0*h, r - 300 = -5*h. Does 12 divide h?
False
Let u(k) be the third derivative of k**4/24 + 5*k**3/3 + k**2. Does 8 divide u(10)?
False
Suppose 0 = -2*f - 10, -3*w + f = w - 25. Suppose w*v = v + 144. Does 18 divide v?
True
Suppose 4*v - v - 84 = 0. Suppose -t + 2*h = 9 - v, 5*t = -5*h + 65. Suppose 0*z - 40 = -5*z - 3*k, t = -z + 4*k. Is z a multiple of 4?
False
Does 6 divide 372/15 + 2/10?
False
Suppose -3*d + 540 = 36. Suppose -5*v = -v - d. Suppose 3*b = -4*q + v, 2*q = 2*b - b - 14. Does 14 divide b?
True
Let z = -20 - -35. Is z a multiple of 5?
True
Let p(a) = -a**3 + 12*a**2 - 5*a - 15. Does 15 divide p(11)?
False
Let i = 2 + 3. Suppose -i*x + x = -16. Is x a multiple of 4?
True
Is 11 a factor of (213/10*4)/(10/25)?
False
Let l = 2 - -1. Suppose 2*m = 4*m - 28. Let r = m + l. Does 7 divide r?
False
Let x = 9 + -4. Suppose n + j + 21 = 80, 0 = -x*n + j + 265. Does 25 divide n?
False
Let b(o) = o - 5. Let c be b(11). Let m be 315/(-12) + c/(-8). Is 14 a factor of m/((-1)/1) + 1?
True
Suppose -5*j + 515 = -3*c - 12, -4*j + 5*c + 419 = 0. Suppose k + k = -2*d + 44, d - j = -5*k. Is 12 a factor of k?
False
Suppose -2*h = -8 - 0. Suppose -k - 2*g + 7 = 0, -3 = h*g + 1. Does 2 divide k?
False
Let l(z) = -6*z + 3*z**2 + 7*z - 2*z**2 + 55. Is l(0) a multiple of 20?
False
Suppose -3*z + z + 2*n = -12, 4*n = 5*z - 29. Suppose -z*r + v = -47, r + v = -3*r + 34. Does 8 divide 12/r*(-33)/(-2)?
False
Let w(v) = v**2 + 9*v - 27. Is w(-13) a multiple of 25?
True
Let q(a) = a**2 - 4*a + 12. Does 10 divide q(10)?
False
Suppose 0 = -3*o + 562 - 94. Suppose 4*k + o = 2*w, 0 = w - 0*k + 3*k - 103. Does 18 divide w?
False
Is 4 a factor of 0 + (-2)/(-1) + 20?
False
Let y(h) = 50*h. Let g be y(3). Suppose -t = -4*n + g, 180 = 5*n - 4*t - t. Does 19 divide n?
True
Let c(b) = b**3 - 7*b**2 - 5*b - 10. Suppose -3*h = u - 4*u - 15, 5*u - 7 = h. Is c(h) a multiple of 14?
True
Let b(q) = -11*q**3 + 21*q**2 + 19*q + 4. Let y(d) = -5*d**3 + 10*d**2 + 9*d + 2. Let j(a) = 4*b(a) - 9*y(a). Let z be j(5). Is 4 a factor of 1/2 + z/(-8)?
False
Let n = 281 + -173. Is n a multiple of 9?
True
Let h = 9 - 4. Let x(g) = g**3 - 3*g**2 - 4*g**2 + 0 - h*g + 3 + 2*g**2. Is x(6) a multiple of 4?
False
Suppose -g - 348 = -6*g - 3*v, 2*v - 208 = -3*g. Does 24 divide g?
True
Let c be (1 - 0)/(2/40). Suppose 9 = 3*k + 3*n, -n + c = -5*k + n. Does 7 divide (-20)/k - (2 + 1)?
True
Suppose 0 = 4*z - z. Suppose z = 5*a - 7*a + 38. Is a a multiple of 6?
False
Let u be (-6)/27 + (-11)/(-9). Does 8 divide u - 9/6*-26?
True
Let i(k) = k**2 - 3*k + 6. Let b be i(4). Suppose 4*d = -h + b, 3*h + 4*d + 4 = 9*d. Suppose 0 = -0*z - h*z - 6, 2*l = -4*z + 40. Does 9 divide l?
False
Suppose z + r - 66 = 0, 12 = -4*r + r. Is z a multiple of 14?
True
Suppose 0 = -4*m + 44 + 64. Does 15 divide m?
False
Let q(k) = -2*k**3 - k**2 - 2*k + 4. Let i be q(-3). Suppose 3*d - 3*b + 10 = 94, -i = -2*d + 3*b. Is 15 a factor of d?
False
Let v = -25 + 15. Is 8 a factor of (-45)/(-6)*(-32)/v?
True
Let n(k) = -4*k. Let r be n(-5). Is 13 a factor of (-2)/(-16)*26*r?
True
Does 9 divide 72/2 + -1 + -1?
False
Let f(x) = -x**3 - 2*x**2 + 10. Is f(-5) a multiple of 9?
False
Let r be (-1)/(-3*4/(-24)). Is 0 + 48 + r - 2 a multiple of 14?
False
Let l(i) = -i + 2. Let h be l(-3). Let k = 1 + h. Suppose -c - 125 = -k*c. Does 25 divide c?
True
Let k be ((-2)/4)/(2/(-24)). Let b(m) = 4*m - 3. Does 11 divide b(k)?
False
Let j = 209 - 183. Is 13 a factor of j?
True
Let n(a) = 2*a**3 - 2*a**2 + 2*a. Let o be n(2). Let f = 8 - o. Does 19 divide (1 + 1)*(-118)/f?
False
Let a(n) = 5*n + 1. Let g be a(7). Suppose -3*m + 2*d + 30 = 0, -2*m - 7*d = -3*d - g. Does 6 divide m?
True
Let u = 62 + -32. Is u a multiple of 15?
True
Suppose 0 = 18*g - 21*g + 18. Suppose 2*u + 4 = 3*u. Suppose 0 = -s + u*s - g. Is s a multiple of 2?
True
Suppose h = -3*l + 14, -4*l + 2*h = h - 28. Let x be 29/(-2) + (-2)/(-4). Let v = l - x. Is v a multiple of 8?
False
Suppose -3*l = -v + 33, -l + 49 = 3*v - 0*l. Is 9 a factor of v?
True
Let o(i) = 3*i**2 + 4*i - 3. Does 13 divide o(-4)?
False
Let d(z) = z**2 + 2*z + 18. Is 11 a factor of d(-8)?
True
Suppose 4*a + 3*m = 2, a - 4*m - 11 = -1. Suppose -3*k + a*k = 0. Suppose 3*p + n - 41 = -p, -5*p - 5*n + 70 = k. Is 3 a factor of p?
True
Let l(t) = -5*t**3 - t**2 - t - 1. Let g be l(-1). Suppose 4*w = 16 - g. Suppose 0 = 3*z - 2*c - 40, w*z - 2*c - 3*c = 28. Is 8 a factor of z?
True
Let r(d) = -21*d**3 - d**2 - d - 1. Let a(c) = -21*c**3 - c**2 - c - 1. Let u(z) = 7*a(z) - 6*r(z). Is u(-1) a multiple of 9?
False
Let g(w) = -6*w**2. Let m be g(1). Does 7 divide ((-42)/(-9))/((-2)/m)?
True
Suppose -4*i = -3*i + 32. Suppose 4*x = 3*s - 136 - 42, 2*x = 4*s - 234. Let a = s + i. Is 13 a factor of a?
True
Suppose 35 = -4*l - 181. Is (-16)/(-32) + l/(-4) a multiple of 14?
True
Let n(r) = r**2 + 3*r + 77. Is 30 a factor of n(0)?
False
Let q = -128 - -373. Does 49 divide q?
True
Let o = 51 - 27. Let n be o/9*(-6)/(-4). Suppose 33 = n*m + 4*a - 55, -4*a = -2*m + 74. Does 10 divide m?
False
Suppose 5*l + 2*d = -d + 672, -5*l + 679 = -4*d. Is 45 a factor of l?
True
Suppose 4*b - 20 = 0, -4*b - 12 = 3*u + 4. Let n(x) = -x**2 - 3*x + 2. Let v be n(-4). Let r = v - u. Does 4 divide r?
False
Suppose -74 = -j + 96. Is j a multiple of 34?
True
Is 3*(2/1 + 29) a multiple of 8?
False
Suppose 5*m - 67 = 123. Is 19 a factor of m?
True
Let d(i) = 4*i**2 + 4*i + 4. Is d(4) a multiple of 32?
False
Let c(b) = -b**2 - 10*b - 8. Let u be c(-6). Suppose 4*s = -u, -w - 4*w = -3*s - 47. Suppose 5*l + z + w - 52 = 0, -l + 3 = -z. Is 8 a factor of l?
True
Let j(h) = 19*h - 1. Let q be j(-1). Let p(d) = 2*d**2 - 3*d + 1. Let b be p(-3). Let g = q + b. Is 4 a factor of g?
True
Suppose c = -5, -2*z + 52 = -3*c - c. Is 14 a factor of z?
False
Let j(a) = a**2 + a - 3. Let b be j(2). Suppose b*t - 2*t + o - 45 = 0, 0 = -2*t - 4*o + 98. Does 10 divide t?
False
Let z(v) = -v**3 - 4*v**2 + 3*v - 4. Let t be z(-5). Does 15 divide (-80)/t*(-18)/8?
True
Let n(j) be the second derivative of j**4/24 + j**3 + j**2 + 2*j. Let o(t) be the first derivative of n(t). Does 6 divide o(6)?
True
Let r = 30 + -18. Let n = r + 35. Is 22 a factor of n?
False
Let i = 45 - -12. Is 14 a factor of i?
False
Let r be (-2)/6*(1 + -34). Let c = r - 6. Suppose 0*w - 3*w - 53 = -c*a, 2*a = w + 21. Is a a multiple of 7?
False
Let l = 26 + -7. Does 19 divide l?
True
Suppose -49 - 36 = 5*d. Let i = d + 24. Is 3 a factor of i?
False
Let z = -17 - -1. Let m = z + 38. Is 11 a factor of m?
True
Suppose -3*k 