 = 4*b + 3*r - 117. Let m = 5 + b. Is 12 a factor of m?
False
Let w(g) = 4 + 0 + g + 2 + 4. Let x be w(10). Suppose 4*c - m = m + x, c + 2*m - 15 = 0. Is 2 a factor of c?
False
Let o = -430 - -565. Is 45 a factor of o?
True
Let d(m) be the first derivative of -m**3/3 - m**2 + 8*m - 3. Let o be d(-4). Suppose o = -3*p - 0*p + 240. Does 23 divide p?
False
Does 11 divide (-4 - (2 + -7))*(-1 - -5611)?
True
Let g(l) = -13*l**3 - 2*l**2 + 1. Let h be g(1). Is 34 a factor of 16/((20/h)/(-5))?
False
Let g = -58 + 31. Let a = g - -29. Suppose -a*u - 3*f = -80, 68 + 98 = 5*u - f. Does 8 divide u?
False
Is ((-363)/22)/(3*2/(-1756)) a multiple of 29?
False
Suppose -3*q = -3*o - 12, -1 = -3*q - 2*o + 1. Is 12 a factor of q/3 + -1 - (-103)/3?
False
Is 82 - (3 - (6 - 5)*-1) a multiple of 5?
False
Let t(q) = -15*q + 79. Does 9 divide t(-16)?
False
Suppose 3*f = f + 4*k - 172, -3*f + 5*k = 258. Let c be f/(-6) + 6/9. Let b = -1 + c. Is b a multiple of 3?
False
Let i be (-2)/(-6) + 2096/48. Let x = -21 + i. Suppose -5*y - 62 = -3*f, -5*y + x = 5*f - 27. Does 2 divide f?
True
Suppose 0*c - 7*c = -8722. Does 14 divide c?
True
Suppose -8*p - 8297 = -3*i - 3*p, -5*p - 5528 = -2*i. Is i a multiple of 12?
False
Let n(i) = 5*i**2 - 2*i + 1. Let r be n(2). Suppose -r*o + 12*o = -60. Does 18 divide ((-15)/(-4))/(o/224)?
False
Suppose -2 = -5*h + 8. Suppose 86 = 4*u - h*s - 50, -s = 4*u - 136. Is 8 a factor of u?
False
Let k be ((-10)/(-8))/((-4)/32). Let d = 4 - k. Is 2 a factor of d?
True
Suppose 4*o + 78 = 2*g, -6*o = -2*o - 20. Let d(r) = r**3 + 4*r**2 + 2. Let a be d(-4). Suppose -g = p - a*p. Is 7 a factor of p?
True
Let s(j) = j - 12. Let x(r) = r - 13. Let u(k) = -6*s(k) + 5*x(k). Let d(l) = -l + 8. Let a(y) = -3*d(y) + 2*u(y). Is a(12) a multiple of 2?
True
Let o(g) = -g + 7. Let k be o(5). Suppose k*x = 6*x. Suppose -5*v - 2*w + 140 = 0, x*v + 3*v = w + 84. Is 7 a factor of v?
True
Let w = -17 + 10. Let r = 3 - w. Is 3 a factor of r?
False
Suppose -23*a + 12*a - 110 = 0. Let p(h) be the second derivative of h**5/20 + 3*h**4/4 - 2*h**3 + 5*h**2/2 + h. Does 6 divide p(a)?
False
Suppose -5*h = -107 - 113. Let d = h - 20. Is 2/(-12) + 172/d a multiple of 4?
False
Suppose 280 - 22 = 5*u - 4*g, -g - 252 = -5*u. Suppose -u = -4*z + 30. Does 4 divide z?
True
Suppose 5*s + r - 637 = 0, -3*r = 3*s - 4*r - 379. Let y be s + (2 - 0)/(-2). Suppose -3*k - 2*a - y = -8*k, -108 = -4*k + 4*a. Does 9 divide k?
False
Let u be (-4)/(-24) + 2/(-12). Suppose u = 5*c - 5, -4*q + 6*c = 4*c - 190. Is 6 a factor of q?
True
Let m(d) be the first derivative of 10*d**3 + d**2 - d + 18. Is 4 a factor of m(1)?
False
Suppose -34*r + 36*r = -5*o + 1804, 5*o + 887 = r. Does 18 divide r?
False
Let p = -87 + 0. Let l be p/4 - (-2)/(-8). Does 10 divide (-1090)/(-55) - 4/l?
True
Let k(h) = -64*h + 873. Does 9 divide k(0)?
True
Let b = 433 - 219. Suppose -4*n = -5*c - 194, 4*n + 4*c - b = -c. Is n a multiple of 17?
True
Let c(i) = 9*i**2 + i - 4. Does 14 divide c(-6)?
False
Let q(j) = j**3 + 14*j**2 - 98*j - 26. Is 16 a factor of q(-16)?
False
Does 49 divide ((-172)/(-6))/(4/126)?
False
Suppose -6*d - 19 = -67. Suppose -d + 5 = 3*w. Does 31 divide 20/(-5) - (w + -89)?
False
Let s = 4919 - 3047. Is s a multiple of 39?
True
Suppose 7010 = 7*q + 1620. Is q a multiple of 22?
True
Let y(g) = -g - 3. Let x be y(-6). Let w(q) = q**2 - 5*q - 7. Let n be w(-5). Suppose -2*d - 134 = -3*k, x*k = 4*k + d - n. Is k a multiple of 11?
True
Let i(t) = t + 5. Let r be i(-9). Let j be 66/(-4)*r/(-2). Let v = 4 - j. Is 10 a factor of v?
False
Let s(w) = 70*w. Does 5 divide s(1)?
True
Let f(n) = -n**2 + 10*n - 22. Let t be f(6). Is 36 a factor of (t/(-4))/((-7)/2016)?
True
Let o be (-4)/18 - (5 + (-34208)/36). Suppose -3*j - 2*j - o = -5*z, 0 = -5*z + j + 957. Is z a multiple of 24?
True
Let k be 6/9*15*3. Suppose 4*v + k = 4*d + 114, 5 = v - 5*d. Is 20 a factor of v?
False
Suppose 0 = -34*r + 38*r - 688. Suppose 2*d + 4*g = 3*d - r, 2*d = 5*g + 329. Is d a multiple of 38?
True
Let y = 13851 - 9023. Is y a multiple of 17?
True
Let r be 27/(-45) + (-28)/(-5). Suppose 11 = 5*h + 1. Suppose -17 = -4*u - r*k + 2*k, 0 = -h*u + 4*k + 36. Is u a multiple of 4?
True
Let f(o) = 7*o**3 + o**2 + o - 1. Let n be f(1). Suppose -13*s = -n*s + 70. Let i = 78 - s. Does 21 divide i?
False
Suppose m + v = -64, 100 = -2*m + 3*v - 53. Is 10 a factor of (m/(-12))/((-4)/(-16))?
False
Suppose -2*y = 2*y + 124. Let w = -2 - y. Is 10 a factor of w?
False
Let g = 232 + -115. Does 9 divide g?
True
Is 12 a factor of 42/4*8*15/18?
False
Let j(v) = -96*v - 89. Does 25 divide j(-10)?
False
Let j = 479 + 3102. Is j a multiple of 41?
False
Does 11 divide -981*(4/(-5) - (-84)/630)?
False
Let p be (11 + -11)*(-2)/4. Suppose p = -0*i - 3*i + 84. Does 15 divide (-2)/7 - (-512)/i?
False
Is 54/42 + -1 - 922/(-7) a multiple of 11?
True
Let p(w) = -w**3 - 8*w**2 - 13*w - 6. Let s be p(-6). Suppose n - 46 - 8 = s. Is 5 a factor of n?
False
Let f(o) = -3*o - 12. Let g be f(-5). Suppose -2*d - g*d - 34 = -4*t, -t = 4*d + 44. Let w = 25 + d. Is w a multiple of 5?
True
Suppose 4*w - 2*p - 688 = 2*p, 4*w = -4*p + 648. Suppose -2*q + q = -w. Does 37 divide q?
False
Suppose 0*k - 204 = 4*k + 2*m, 4*k - m = -216. Let t = -21 - k. Does 8 divide t?
True
Suppose -196 = -6*s + 4*s. Let x = -3 + s. Does 14 divide x?
False
Suppose -7*r = -p - 2*r + 41, -3*p + 137 = -r. Is 30 a factor of p?
False
Let n(p) = -9*p + 57 - 57. Let h = 3 + -7. Is 9 a factor of n(h)?
True
Let s(a) be the second derivative of 13*a**4/2 + a**3/6 + a**2/2 + 3*a. Let r be (-2)/7 + (-36)/(-28). Is s(r) a multiple of 20?
True
Suppose -c + 4*c + 4 = s, -26 = -3*s - 5*c. Suppose 3*z = s*z + 3*r - 188, 5*z + r - 246 = 0. Suppose z = -n + 140. Does 15 divide n?
True
Let z = -1443 - -2174. Does 18 divide z?
False
Suppose 4*q - 22 = 3*q. Let j = -24 + q. Is j*(-3)/(-6) + 18 a multiple of 4?
False
Suppose 5*t - 4*t - 48 = 0. Suppose 0 = 2*j + o + 67, 0 = -2*j + 5*o - 1 - t. Let v = -15 - j. Is v a multiple of 3?
False
Is 55 a factor of 6/2 - (978 + -4)/(-2)?
False
Let s(a) = 4*a + 69. Let x be s(0). Let g = x + 28. Does 22 divide g?
False
Let l = 232 + 1278. Is l a multiple of 10?
True
Suppose -19 = -2*f - l, -3*l = 2*l + 5. Suppose -50 = -3*h - s, 3*h - s - 56 = -f. Does 2 divide h?
True
Is (23400/10)/9 - 0/1 a multiple of 26?
True
Let n(c) = -7*c**2 - 6*c + 137. Let b(y) = -8*y**2 - 7*y + 138. Let k(u) = -6*b(u) + 7*n(u). Does 37 divide k(0)?
False
Let q = 3110 + -2148. Suppose -4*f - q + 217 = -3*b, 0 = -f + 5. Does 18 divide b?
False
Let a = -672 + 682. Suppose 0 = 5*c + 11 - 56. Let v = c + a. Is 10 a factor of v?
False
Let f(t) be the third derivative of t**5/20 + t**4/8 - 2*t**3/3 - t**2. Is 8 a factor of f(3)?
True
Let b = -3282 - -4677. Is 93 a factor of b?
True
Suppose -a + 108 = 11*a. Is 5 a factor of (-4 - (-39)/a) + 357/9?
True
Let r(d) = -d**2 - 4*d + 8. Let c be r(-5). Suppose 2*x - c = 2*o + 23, 2*o + 44 = 3*x. Is x a multiple of 16?
False
Let z(y) = -3*y**3 + y**2 - y - 1. Let d be z(-1). Let c(s) = s**3 - s**2 - 11*s + 10. Is 10 a factor of c(d)?
False
Let a(u) = 2*u**2 - 2*u - 3. Suppose -197 = 7*y - 50. Let g = y - -27. Is a(g) a multiple of 14?
False
Let c be (-2)/3 + (-70)/(-15). Let l(w) = w**3 - 2*w**2 + 4*w - 6. Let s be l(c). Suppose 0 = -5*t + 4*y - y + 51, s = 3*t + 2*y. Is t a multiple of 6?
True
Let i(d) = -1 - d - d + d. Let g be i(5). Let s(b) = -7*b + 3. Is 22 a factor of s(g)?
False
Suppose -21*q + 16*q = 0. Suppose 2*y + y - 30 = q. Is y a multiple of 8?
False
Suppose -6*x - 249 = -2*n - 3*x, 0 = -3*x + 9. Let f = 183 - n. Is 10 a factor of f?
False
Let b(u) = 43*u + 7. Suppose 0 = 2*x - c - 8, 2*c + c = -6. Does 17 divide b(x)?
True
Suppose -1 = 4*m - 17. Suppose 3*u = -m*b - 8, 0 = 2*b - 3 - 5. Let i(y) = -y**3 - 9*y**2 - 10*y - 4. Does 6 divide i(u)?
True
Let z = 261 - 156. Is z a multiple of 11?
False
Let m(f) be the third derivative of -f**5/60 + 17*f**4/24 - 5*f**3 + 9*f**2. Does 10 divide m(12)?
True
Does 20 divide 4 + 6 + (229 - 19)?
True
Let t = 350 - 92. Let v be (t/(-8))/(3/(-8)). Suppose v + 186 = 4*b. Is 17 a factor of b?
True
Let w(c) = 93*c**2 - 3*c + 2. Let a be w(-2). Suppose 3*u - 7*u + a = 0. Is u a multiple of 6?
False
Suppose 821 = 7*h - 208. Does 10