 of 12?
False
Suppose -2*s = s. Suppose 5*i + 4*a - 128 = s, i + 4*a = -2*i + 72. Does 7 divide i?
True
Suppose 3 = k - 2. Suppose 15 = h + 2*b, 2*h - 3*h + 3*b = -k. Does 3 divide h?
False
Let a be 1 - (-2 + -2*12). Is 2/(-9) + 843/a a multiple of 9?
False
Suppose -4*t + t + 117 = 0. Does 8 divide t?
False
Let l(r) = -r + 1. Let o be l(-6). Let a = o + -4. Suppose 52 = 4*c - 2*c + 3*h, 5*c - 130 = -a*h. Is 9 a factor of c?
False
Is (-30)/6*1 - -61 a multiple of 56?
True
Let i(z) = 3*z**3 + 12*z**2 + 5*z - 6. Let u(s) = 2*s**3 + 11*s**2 + 5*s - 6. Let b(t) = 3*i(t) - 4*u(t). Does 11 divide b(9)?
False
Let i(l) = -l**3 - 7*l**2 - 7*l - 9. Let g be i(-6). Is 19 a factor of 186/g*(-3 - -2)?
False
Let u be (-2)/4*(-4 + 20). Let n = u - -41. Suppose 2*v - n = -v. Does 11 divide v?
True
Suppose -12*p + 68 = 8. Is p a multiple of 5?
True
Suppose 0 = m - 3*d - 27, 19 - 6 = m + 4*d. Does 7 divide m?
True
Suppose 9*g - 12*g = -78. Does 2 divide g?
True
Let o(n) = -2*n + 5. Does 9 divide o(-2)?
True
Suppose 2*t - 350 - 40 = 0. Let v = t + -114. Is 11 a factor of (1 - 2)/((-3)/v)?
False
Suppose -151 = -h - 11. Does 10 divide h?
True
Suppose 5*q + p = 21, p - 11 - 5 = -4*q. Suppose -q*r - 9 - 1 = 0. Does 10 divide (12/(-9))/(r/15)?
True
Let a = -10 - -3. Let y(k) be the second derivative of -k**5/20 - 7*k**4/12 - k**3/6 + 5*k**2 + k. Is 16 a factor of y(a)?
False
Suppose s + 3*s - 76 = 0. Let x be -2 + (-12)/((-3)/3). Let a = s - x. Does 9 divide a?
True
Let w(y) = 2*y**2 + 4*y - 1. Does 23 divide w(5)?
True
Let a = 17 - -71. Is a a multiple of 22?
True
Suppose 4*g + 5*r = 2*g + 172, -4*g + 396 = -3*r. Is g a multiple of 32?
True
Let a(i) = i**3 - 3*i**2 - 7*i. Let w be a(5). Is 9 a factor of ((-72)/(-40))/(1/w)?
True
Suppose 10 = z + 3*k - 7, 5*z = k + 53. Is 11 a factor of z?
True
Suppose -71 = -3*t + 5*n, -n + 139 = 5*t + n. Suppose -62 = -4*a - d - d, 2*a - 3*d = t. Does 11 divide a?
False
Let t = -5 + 11. Let h(j) = -j**3 + 9*j**2 - 6*j - 3. Is 15 a factor of h(t)?
False
Let v(x) = -68*x - 1. Let b be 1/(-4) - 12/16. Does 23 divide v(b)?
False
Let h be 2/(-10) - 66/(-30). Suppose 159 = 2*z + 3*z + h*q, 5*q + 114 = 4*z. Is z a multiple of 10?
False
Suppose 0 = -t - 4*t + 15. Suppose 0 = -4*p + 5*m + 140, -4*m + 76 = t*p + 2. Is 10 a factor of p?
True
Let p = 8 + -9. Let t be (-30)/6*1/p. Suppose 71 + 9 = t*c. Is c a multiple of 8?
True
Is -15*((-7)/(-5) - 3) a multiple of 12?
True
Let y = 22 - 7. Is y a multiple of 2?
False
Is 4 a factor of (7/2)/(1/10)?
False
Let i be ((-8)/(-3))/(1/18). Let o be (-1 - 6/(-3))*i. Let v = o - 17. Does 11 divide v?
False
Let l = 24 - 8. Does 8 divide l?
True
Let j be (-4)/(-10) + (-385)/25. Is 31 a factor of (-62)/(5/(j/2))?
True
Let w(k) = k**3 + 11*k**2 + 2*k - 23. Is w(-10) a multiple of 19?
True
Does 13 divide ((-18)/(-9))/((-1044)/525 - -2)?
False
Let d(z) = 4*z**2 + z + 2. Is d(2) a multiple of 4?
True
Suppose -2*p = 3*a + 276, -868 = 5*p - 4*a - 132. Let u be (p/(-15))/((-1)/(-5)). Suppose -c = -3*c + u. Is 12 a factor of c?
True
Suppose -5 = -q - 1, 5*h + 2*q = -22. Let u(c) = -3*c - 7. Is u(h) a multiple of 6?
False
Let c(m) = -6*m - 1. Let j be c(1). Let x = j - -3. Is 10 a factor of (3 + x)/(2/(-40))?
True
Let w be (6/9)/(2/(-51)). Let v = -7 - w. Is 5 a factor of v?
True
Suppose -q - 10 = 4*q. Is 8 a factor of (3/12)/(q/(-136))?
False
Suppose s + 1 + 9 = 5*w, 4*s + 5*w - 35 = 0. Suppose 2*i + 2*t + 81 = 5*i, -5*t + 135 = s*i. Does 15 divide i?
False
Suppose 6*k = k - 5. Let h be 0 + 10 + -2 - k. Let m = h - 5. Does 3 divide m?
False
Let a(v) = -24*v - 43. Is 11 a factor of a(-5)?
True
Suppose -4*w + r + 28 = 4*r, -2*w + 20 = 3*r. Suppose o - w*n - 3 = 21, -15 = 3*n. Suppose -2*j + o = -46. Does 25 divide j?
True
Let a(j) be the second derivative of -j**3/3 - j**2/2 - 4*j. Is a(-10) a multiple of 5?
False
Let y = -9 - -1. Let s = y + 56. Does 24 divide s?
True
Let c(m) = -m**2 - 13*m - 6. Suppose -5*n = -4*z + 51, 28 = -3*n - 4*z - 9. Is c(n) a multiple of 14?
False
Let v(u) = 4*u + 8. Let q be v(6). Suppose d = -d + q. Is d a multiple of 14?
False
Let c(a) = -a**2 - 3*a. Let t be c(-4). Let h(b) = -14*b - 4. Let k(p) = 15*p + 5. Let q(d) = 4*h(d) + 3*k(d). Is q(t) a multiple of 19?
False
Let p(r) = -8 - 2*r - 6*r + 7*r + 6*r. Does 8 divide p(8)?
True
Let y be ((-100)/6)/(3/(-9)). Suppose 3*n + 11 = y. Is 5 a factor of n?
False
Suppose 2*b + 2*b = -32. Let q(y) = y**3 + 8*y**2 - 2*y - 3. Is 5 a factor of q(b)?
False
Let q = 6 - 4. Suppose 0 = -q*p + 3 + 33. Does 9 divide p?
True
Let v = -33 - -17. Let n be (-216)/(-10) + 4/10. Let j = v + n. Is 3 a factor of j?
True
Let g be 0 - (2 - 0)/(-1). Suppose -6*i + g*i + 40 = 0. Is i a multiple of 5?
True
Let g be (4/3)/((-2)/(-24)). Suppose u + u = g. Is u a multiple of 8?
True
Suppose 0 = -6*o + 2*o + 20. Suppose 0 = o*c + b + 14 - 239, -4*b = -3*c + 112. Let g = c + -31. Is 13 a factor of g?
True
Let j = 2 - 3. Let c be j + (-15)/(6/2). Let d = 17 + c. Is 11 a factor of d?
True
Is ((-144)/(-27))/((-2)/(-6)) a multiple of 8?
True
Suppose c - 49 = -2*w, 2*w = 3*w + 2*c - 20. Is 6 a factor of w?
False
Suppose 54*d + 185 = 59*d. Is d a multiple of 2?
False
Suppose d = 4*d + 12. Does 17 divide 34/d*(-5 - -3)?
True
Let l(q) be the third derivative of q**5/30 + q**4/4 + 2*q**3/3 - 2*q**2. Let o be l(-4). Suppose -o - 33 = -3*g. Is 10 a factor of g?
False
Is 14 a factor of 43 + 6/3 + -3?
True
Suppose 0 = 4*y + 4*g - 176, 5*y + 0*g - 260 = 5*g. Is y a multiple of 12?
True
Suppose -v + 5*v = 5*p - 375, -p + 3*v + 64 = 0. Is p a multiple of 11?
False
Suppose 0*n - 3*n - 3*g = -318, 0 = -5*g - 5. Suppose -4*c = 5*y - 72, c - n = -4*c - 2*y. Does 7 divide c?
False
Let o = -8 - -6. Let h(w) = -w**2 - 5*w - 2. Does 4 divide h(o)?
True
Suppose -3*j - 5*s + 75 = 2*j, 3*s = -2*j + 31. Is j a multiple of 7?
True
Suppose 3 = -5*n - 2, w = -3*n + 45. Is w a multiple of 12?
True
Let g(t) = -t**2 - 16*t - 8. Is g(-14) a multiple of 10?
True
Suppose 0*k = -6*k + 48. Is 2 a factor of k?
True
Let o(r) = -r**3 - 8*r**2 - 7*r + 4. Suppose 3*s - s - 4 = 0. Suppose 2*k - 16 = 5*n + 17, 2 = -s*k. Is 2 a factor of o(n)?
True
Let p(r) = 17*r - 8. Let a(g) = -g**2 + 8*g + 4. Let v be a(8). Is p(v) a multiple of 20?
True
Suppose -3*w + 2*b = -3*b - 3, -5*b + 27 = 2*w. Let k(o) = o**2 - 5*o + 4. Is 4 a factor of k(w)?
False
Let b(q) be the third derivative of q**4/24 - 5*q**3/6 + 2*q**2. Suppose 2*i - 4 = 0, -i - 9 = -3*u + 19. Is b(u) a multiple of 5?
True
Let w = -76 - -127. Is 13 a factor of w?
False
Is 10 a factor of (-28)/(-7) - -1*50?
False
Suppose 2*y + 11 = 37. Is y a multiple of 9?
False
Suppose -6*h + h + 15 = 0. Suppose 4*r + x - 1 = 0, -3*r + 4*r + h = 3*x. Suppose r*a = a - 4. Is a a multiple of 2?
True
Let s(k) be the first derivative of -k**4/4 - 5*k**3/3 - 5*k**2/2 + 5*k - 2. Let c be s(-6). Let o = c - 43. Is 14 a factor of o?
True
Let d(z) = 6*z**2 - 17*z - 16. Is d(-4) a multiple of 28?
False
Let t = -12 + 26. Suppose -8*q = -118 - 402. Let w = q - t. Is w a multiple of 17?
True
Is 0 + 5 + -3 + 28 a multiple of 10?
True
Let i(y) = y**2 - 5*y + 4. Let b be i(7). Suppose 16 = -r + 4*n, 2*n = -2*r - 0*r + b. Is r even?
True
Let t be (1 + 1 - 3) + 38. Suppose 17 = k - 4*g, -4*g + t = 4*k + k. Does 3 divide k?
True
Let l be (0 + 1)*(-5 + 4). Let g be (l + (-10)/(-2))/1. Suppose -14 = -g*q + 3*q. Does 7 divide q?
True
Suppose 2*k - 56 = 4*h, 4*k - h = 9*k - 96. Is k a multiple of 5?
True
Let j = -100 + 154. Suppose 2*y - j = -y. Is y a multiple of 11?
False
Let l = -74 - -165. Does 13 divide l?
True
Suppose -y = 1, u + 0*y = -4*y + 144. Suppose -16*m - u = -20*m. Is 10 a factor of m?
False
Suppose 0 = -i - 3*n - 12, -4*n - 20 = -3*i + n. Suppose i + 2 = u - 5*q, 10 = u - q. Does 6 divide u?
True
Let w = 154 + -90. Does 4 divide w?
True
Suppose 36 = 12*r - 8*r. Does 2 divide r?
False
Let a = -137 - -94. Suppose 0 = 5*t - 8*t + 186. Let s = a + t. Does 19 divide s?
True
Let n = -7 - -11. Let b(a) = -a**3 + 3*a**2 + 5*a - 1. Let h be b(n). Suppose 0 = h*c + 2*c - 70. Is c a multiple of 14?
True
Suppose -4*s - 5*b - 13 = 0, 2*s - 3*s - 1 = -b. Let h = -9 - s. Is 5 a factor of (-37)/h - 10/35?
True
Suppose 0 = -4*m - 2*h + 190, -2*m = -3*m + 4*h + 52. Is 24 a factor of m?
True
Suppose b