 Suppose 4*h + 2*n = 54, 5*h - 2*n - x = n. Does 7 divide h?
True
Suppose 0 = -m - 3*a + 122, m + a = 2*a + 138. Let n = 214 - m. Does 17 divide n?
False
Suppose 3*t + 8 = 6*t + y, 0 = -4*t + y + 13. Suppose t*i - i - 72 = 0. Is i a multiple of 18?
True
Suppose 0 = 3*m - 4*m - 5*p + 28, m = 5*p + 8. Does 6 divide m?
True
Suppose 5*n - 3*j - 3 = 6, 0 = -n + 5*j - 7. Suppose 7 = -n*h - 5. Let o = h - -15. Is o a multiple of 11?
True
Let x be -20*(-2)/(-2) - -2. Let n = x - -25. Is n a multiple of 2?
False
Let r = 50 - -27. Does 10 divide r?
False
Let d(o) = -2*o - 4. Is d(-6) a multiple of 8?
True
Suppose 4*k + 20 = -k. Let i be ((-2)/k)/(3/6). Does 22 divide i/2 + 170/4?
False
Let i = -168 - -100. Is 28 a factor of (-14)/(-3 + i/(-24))?
True
Let j(o) = -o**3 + 4*o**2 + 3*o - 4. Let s be j(-4). Let p = -62 + s. Is 10 a factor of p?
True
Let k = 123 - -1. Suppose 0 = -4*o + 4*g + k, -5*o + g + 135 = -0*g. Does 16 divide o?
False
Suppose -14 + 209 = 3*n. Let o = n + -31. Does 17 divide o?
True
Is 13 a factor of (0 - 1)/((-2908)/(-728) + -4)?
True
Is ((-48)/56)/((-1)/7) a multiple of 2?
True
Let d be 9/15 - 4/(-10). Let v = d - -1. Suppose 2*i - 105 = -i + w, 0 = -i + v*w + 30. Does 20 divide i?
False
Suppose 2*f = 15 + 39. Let a = f + -3. Is a a multiple of 12?
True
Let o(q) = -q**3 + 4*q**2 + 5*q + 6. Let w be o(5). Suppose -3*i + w*i = 114. Does 18 divide i?
False
Let s = 20 + -1. Is 11 a factor of s?
False
Let h(m) be the second derivative of -1/2*m**2 + 0 - 1/6*m**3 - m + 5/6*m**4. Is h(2) a multiple of 18?
False
Let a(i) = i**3 + 9*i**2 - i - 7. Does 7 divide a(-8)?
False
Let d = -86 + 125. Is d a multiple of 13?
True
Let q(s) = 3*s**2 + s - 2. Does 4 divide q(-2)?
True
Let f be (2 - -2)/(-2 + 3). Suppose f*p - 26 = 3*p. Is 16 a factor of p?
False
Suppose 0 = 5*k + 5*m - 155, -6*k + 92 = -3*k + 2*m. Is k a multiple of 9?
False
Suppose 0 = j - 5*j + 20. Suppose -j*f + 225 = -6*d + d, 0 = 3*f + 4*d - 156. Is f a multiple of 16?
True
Suppose -z + 1 = -5*l, -3*l = l + 4*z + 20. Let x(u) = 79*u - 1. Let s be x(l). Let b = -40 - s. Is 16 a factor of b?
False
Let b(j) = j**3 + 10*j**2 - 2*j + 9. Let v = -10 + 0. Is b(v) a multiple of 14?
False
Does 13 divide ((-728)/(-32))/(1/4)?
True
Let q(k) = 286*k**3 + k**2 + k - 1. Is q(1) a multiple of 12?
False
Let l = -65 - -110. Let q = 0 + l. Is q a multiple of 13?
False
Let n be 53*(1 - (-8)/1). Suppose n + 743 = -5*l. Is l/(-10) - (-4)/(-10) a multiple of 11?
False
Suppose -13 = -4*o + 7, m + 2*o - 46 = 0. Let s = 20 - m. Let d = s + 73. Is 19 a factor of d?
True
Let q be ((-5)/(-4))/(17/68). Suppose 0 = -q*j - 5*l - 10, 5*j + 3*l = j - 3. Does 3 divide j?
True
Let x be (2/(2/3))/1. Let c(d) = -3 - d - 4*d**x + 5*d**3 + 2. Does 5 divide c(2)?
True
Let h(j) = 10*j - 3. Let w be h(3). Let g = -18 + w. Is g even?
False
Suppose -4*q + 11 = -9. Let c = q + -13. Does 14 divide (-8)/(-3)*(-42)/c?
True
Suppose -4*g - 24 = -2*f, f = 2*f - 4*g - 18. Suppose k = 2*x + 4*k - f, 2*x + 8 = 4*k. Suppose x*p - 2*p + 10 = 0. Does 5 divide p?
True
Let m(o) be the second derivative of o**4/12 + 5*o**3/6 - 3*o**2 - 4*o. Suppose 4*r - 7 + 35 = 0. Is m(r) a multiple of 3?
False
Suppose 0 = -i + 4 - 1. Let k(u) = 15*u - 3. Does 21 divide k(i)?
True
Let c(s) = 0 - 6 + 5 - 1 + 9*s**2. Does 17 divide c(-2)?
True
Suppose -3*b = -7 - 5. Suppose 90 = 5*y + 2*j, -4*j + 79 = b*y - j. Is 11 a factor of y?
False
Suppose -2 + 0 = -w. Is 65 + (0 - -1 - w) a multiple of 21?
False
Let v = -36 - -59. Is 7 a factor of v?
False
Let t = 172 - 88. Is 21 a factor of (4 - 3)*t/2?
True
Suppose 2 = -2*d + 12. Let a(f) = -f**3 - 5*f**2 + f + 3. Let r be a(-6). Suppose r = 4*x + 5*q, 1 = d*q - 4. Is 2 a factor of x?
False
Let l(a) = 3*a - 3. Suppose -3*d + 3 + 3 = 0. Does 3 divide l(d)?
True
Let m(v) = -21*v**2 - 5*v - 8. Let b be m(6). Let p be b/(-8) - 2/8. Suppose 0 = 4*y - 113 - p. Is 22 a factor of y?
False
Let t be (-6)/(-10) + (-92)/(-5). Let f = t + -3. Does 8 divide f?
True
Let o = 0 - 2. Let d = 5 - o. Does 5 divide (4 - d)*(-22)/6?
False
Suppose -2*s - 2*s + 408 = 0. Does 34 divide s?
True
Suppose -a + 5*d = 2*a - 17, 4*a = 2*d + 46. Is 5 a factor of a?
False
Let b be (-1 + 3 - 0) + -2. Suppose b = -3*j + j + 32. Is 5 a factor of j?
False
Suppose -3*i - 2*s + 52 = -143, -4*s = -3*i + 177. Suppose -5*y = -4*f - i, 3*y - f = 69 - 27. Is 6 a factor of y?
False
Let a(l) = 10*l**3 - l**2 - 5*l + 8. Does 7 divide a(2)?
False
Let m(u) = -15*u - 1. Is m(-5) a multiple of 8?
False
Let w(j) = -j**2 + j + 1. Let v be w(2). Let q be -2 + v/((-1)/4). Suppose -2*m = q*m - 112. Is m a multiple of 14?
True
Let n(k) = k + 9. Let a be n(-7). Let z be 1/(a*(-3)/(-24)). Is ((-1)/2)/(z/(-120)) a multiple of 15?
True
Let l(h) = 2*h**2 + h. Let p be l(2). Suppose p = -2*y + 44. Is 13 a factor of y?
False
Let p(t) be the second derivative of -2*t**3 + 1/20*t**5 + 2/3*t**4 - t + 0 - t**2. Is 11 a factor of p(-9)?
False
Suppose 0 = 4*l + l. Let f be 4/2 + l + 0. Suppose 3*z - f*a = 59 + 7, -2*z - a = -37. Is z a multiple of 10?
True
Let x(s) = s**2 + 4*s + 8. Let w be x(-8). Suppose 3*i + 2*y - 22 = w, 5*i - 96 = 4*y. Is 5 a factor of i?
True
Let s(z) = -12*z**3 + 17*z**2 - 6*z - 14. Let b(q) = -4*q**3 + 6*q**2 - 2*q - 5. Let d(k) = -17*b(k) + 6*s(k). Is 15 a factor of d(-2)?
False
Let s be 4/6*(-780)/(-8). Let c = -23 + s. Is 13 a factor of c?
False
Let z(h) = -h**2 - 7*h - 1. Let n be z(-6). Suppose -n*a - 13 = t, 0 = -2*t + t - 3*a - 5. Is 2 a factor of t?
False
Let w(y) = y**2 - y - 1. Let o(g) = -4*g**3 - 3*g**2 + 4*g + 5. Let x(z) = -o(z) - 5*w(z). Is 13 a factor of x(2)?
True
Suppose -w + 45 = -h, 4*w - 2*h - 1 - 185 = 0. Is w a multiple of 14?
False
Suppose 0 = -3*a - a + 16. Let h be (-615)/(-27) - a/(-18). Let t = h + -8. Is 10 a factor of t?
False
Let x = -99 + 174. Is x a multiple of 23?
False
Let f = -91 + 191. Does 20 divide f?
True
Let y(a) be the second derivative of a**5/20 - a**3/2 - 3*a**2/2 - 2*a. Let p be y(3). Suppose -4*r = -p - 77. Is r a multiple of 16?
False
Let a(n) = 25*n**2 - 8. Let d be a(-6). Let t(r) = 10*r - 2. Let g be t(2). Is 12 a factor of d/36 - (-4)/g?
False
Suppose 7*f - 100 = -30. Is f a multiple of 2?
True
Let k(l) = -6*l**3 - 14*l**2 + 16*l + 46. Let t(m) = m**3 + 3*m**2 - 3*m - 9. Let y(a) = -2*k(a) - 11*t(a). Is y(5) a multiple of 8?
False
Suppose -m - 2*w = 6, -m + 4*m - 3*w - 9 = 0. Suppose -o - 2*o + 207 = m. Let j = 105 - o. Does 13 divide j?
False
Let q be (8 + -2)/((-6)/4). Let n(h) = -4*h - 6. Is n(q) a multiple of 5?
True
Let z = -8 + 65. Let d = z + -41. Is d a multiple of 16?
True
Let g(q) = 2*q**3 - 7*q**2 - 3*q + 28. Is g(4) a multiple of 5?
False
Let p = 149 + -19. Is p a multiple of 9?
False
Let y be 1 - (-2 - -4 - 9). Suppose 4*r - 6*r + y = 0. Let a(z) = -z**3 + 6*z**2 - 5. Is a(r) a multiple of 22?
False
Suppose 106 = 3*o - 4*c, -o - 4*c = -33 - 13. Does 4 divide o?
False
Suppose -4*d + 5*l + 7 = -5, 0 = -l - 4. Is 4 a factor of (16/2)/d*-2?
True
Let z be (0/(-2))/((-2)/(-1)). Let r be z/((-2 - -3) + -3). Suppose r = 2*c - 18 - 30. Is c a multiple of 15?
False
Is (-6*(4 - 11) - -3) + -2 a multiple of 3?
False
Let q be (-13)/2 + (-6)/(-4). Let y(r) = -10*r. Let k be y(q). Let p = k + -36. Is p a multiple of 14?
True
Let n = 29 + 41. Is 14 a factor of n?
True
Suppose -3*z - 154 = -5*z. Is z a multiple of 14?
False
Let x(w) = -3*w**2 - 9*w. Let o(q) = 10*q**2 + 27*q. Let h(u) = 2*o(u) + 7*x(u). Let f be h(-9). Suppose f = v + 3*v - 152. Does 18 divide v?
False
Suppose 4*s + 8 = n - 0*n, 5*s + 17 = 3*n. Is 16 a factor of (-2)/(-2) + s + 60?
False
Suppose -w + m + 38 = 0, w + 3*m = -w + 66. Let x = w + 6. Is 21 a factor of x?
True
Suppose 5*q = 565 + 345. Does 14 divide q?
True
Suppose 138 = -2*b + 4*b. Is 3 a factor of b?
True
Suppose 5*h = 2*n - 1366, 5*h + 2*n + 133 + 1221 = 0. Is 20 a factor of ((-9)/12)/(4/h)?
False
Suppose 3*v - 6*v = -36. Let a = v + 12. Is 24 a factor of a?
True
Suppose -3*t = 12, -2*t - 3*t = 3*a + 14. Suppose -j = -a*j + 64. Is 18 a factor of j?
False
Let o = 3 - 2. Let k(m) = -1 - 3 + 3 + 11*m. Is k(o) a multiple of 10?
True
Suppose -5*r + 9 = -6. Suppose 0 = -3*m + m + 14. Suppose -m*k + 12 = -r*k. Is 2 a factor of k?
False
Suppose -m = -6*m - 2*s - 111, 2*s - 36 = 2*m. Let d 